Rakuten Kobo

Indkøbskurv

Vare(r) ikke tilgængelig til køb

Gennemgå din indkøbskurv. Du kan fjerne de(n) tilgængelige vare(r) nu, ellers fjerner vi det automatisk ved kassen.

varervare

- Ubegrænset adgang til e-bøger
  
  Ubegrænset adgang til lydbøger
  
  Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions
  
  Få 1 kredit hver måned til en lydbog efter eget valg
  
  Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions
  
  Ubegrænset adgang til e-bøger
  
  Ubegrænset adgang til lydbøger
  
  Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions
  lydbog
  af ,
  
  Ledig:
  
  . Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions.
  
  Forudbestilling
  1 lydbog om måneden
  
  + GRATIS 30-dages prøve
  
  Særtilbud
  
  Få 1 kredit hver måned til at bytte til en lydbog efter eget valg
  
  *Ingen forpligtelse, annuller når som helst
  
  GRATIS

varervare

Ubegrænset adgang til e-bøger

Ubegrænset adgang til lydbøger

Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions

Få 1 kredit hver måned til en lydbog efter eget valg

Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions

Ubegrænset adgang til e-bøger

Ubegrænset adgang til lydbøger

Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions
lydbog
af ,

Ledig:
. Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions.

Forudbestilling
1 lydbog om måneden

+ GRATIS 30-dages prøve

Særtilbud

Få 1 kredit hver måned til at bytte til en lydbog efter eget valg

*Ingen forpligtelse, annuller når som helst

GRATIS

Anbefalet til dig

Graph Transformation

13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25–26, 2020, Proceedings

Redigeret af Fabio Gadducci, Timo Kehrer ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 13th International Conference on Graph Transformation, ICGT 2020, in Bergen, Norway, in June 2020.*The 16 research papers and 4 tool paper presented in this book were carefully reviewed and selected from 40 submissions. One invited paper is also included. The papers deal with the following topics: theoretical advances; application domains; and ... Læs mere

466,97 kr.

This book constitutes the refereed proceedings of the 13th International Conference on Graph Transformation, ICGT 2020, in Bergen, Norway, in June 2020.*The 16 research papers and 4 tool paper presented in this book were carefully reviewed and selected from 40 submissions. One invited paper is also included. The papers deal with the following topics: theoretical advances; application domains; and
... Læs mere
Formal Methods for Industrial Critical Systems

24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings

Redigeret af Kim Guldstrand Larsen, Tim Willemse ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 24th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2019, held in Amsterdam, The Netherlands, in August 2019.The 9 regular papers presented in this volume were carefully reviewed and selected from 15 submissions. The conference also featured invited talks by Jaco van de Pol (Aarhus University, and Twente University), ... Læs mere

466,97 kr.

This book constitutes the proceedings of the 24th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2019, held in Amsterdam, The Netherlands, in August 2019.The 9 regular papers presented in this volume were carefully reviewed and selected from 15 submissions. The conference also featured invited talks by Jaco van de Pol (Aarhus University, and Twente University),
... Læs mere
Options and Derivatives Programming in C++

Algorithms and Programming Techniques for the Financial Industry

af CARLOS OLIVEIRA ...

Serier serie Professional and Applied Computing (R0)
Learn how C++ is used in the development of solutions for options and derivatives trading in the financial industry. As an important part of the financial industry, options and derivatives trading has become increasingly sophisticated. Advanced trading techniques using financial derivatives have been used at banks, hedge funds, and pension funds. Because of stringent performance characteristics, ... Læs mere

497,51 kr.

Learn how C++ is used in the development of solutions for options and derivatives trading in the financial industry. As an important part of the financial industry, options and derivatives trading has become increasingly sophisticated. Advanced trading techniques using financial derivatives have been used at banks, hedge funds, and pension funds. Because of stringent performance characteristics,
... Læs mere
More Math Into LaTeX

af George Grätzer ...

Serier serie Computer Science (R0)
For over two decades, this comprehensive manual has been the standard introduction and complete reference for writing articles and books containing mathematical formulas. If the reader requires a streamlined approach to learning LaTeX for composing everyday documents, Grätzer’s © 2014 Practical LaTeX may also be a good choice.In this carefully revised fifth edition, the Short Course has been ... Læs mere

793,91 kr.

For over two decades, this comprehensive manual has been the standard introduction and complete reference for writing articles and books containing mathematical formulas. If the reader requires a streamlined approach to learning LaTeX for composing everyday documents, Grätzer’s © 2014 Practical LaTeX may also be a good choice.In this carefully revised fifth edition, the Short Course has been
... Læs mere
Learning Groovy 3

Java-Based Dynamic Scripting

af Adam L. Davis ...

Serier serie Professional and Applied Computing (R0)
Start building powerful apps that take advantage of the dynamic scripting capabilities of the Groovy language, including what's new in Groovy version 3.0. This book covers Groovy fundamentals, such as installing Groovy, using Groovy tools, and working with the Groovy Development Kit (GDK). You'll also learn more advanced aspects of Groovy, such as using Groovy design patterns, writing DSLs in ... Læs mere

497,51 kr.

Start building powerful apps that take advantage of the dynamic scripting capabilities of the Groovy language, including what's new in Groovy version 3.0. This book covers Groovy fundamentals, such as installing Groovy, using Groovy tools, and working with the Groovy Development Kit (GDK). You'll also learn more advanced aspects of Groovy, such as using Groovy design patterns, writing DSLs in
... Læs mere
Beginning Rust

From Novice to Professional

af Carlo Milanesi ...

Serier serie Professional and Applied Computing (R0)
Learn to program with Rust in an easy, step-by-step manner on Unix, Linux shell, macOS and the Windows command line. As you read this book, you’ll build on the knowledge you gained in previous chapters and see what Rust has to offer.Beginning Rust starts with the basics of Rust, including how to name objects, control execution flow, and handle primitive types. You’ll see how to do arithmetic, ... Læs mere

497,51 kr.

Learn to program with Rust in an easy, step-by-step manner on Unix, Linux shell, macOS and the Windows command line. As you read this book, you’ll build on the knowledge you gained in previous chapters and see what Rust has to offer.Beginning Rust starts with the basics of Rust, including how to name objects, control execution flow, and handle primitive types. You’ll see how to do arithmetic,
... Læs mere
Advanced SDL Game Engineering: Expert Techniques for Professional Developers

af Kameron Hussain, Frahaan Hussain ...

"Advanced SDL Game Engineering: Expert Techniques for Professional Developers" is an essential guide for seasoned game developers and engineers looking to master the complexities of game development using Simple DirectMedia Layer (SDL). This comprehensive resource delves deep into advanced techniques and strategies that are crucial for creating professional-grade games.With a focus on the ... Læs mere

64,08 kr. eller Gratis med Kobo Plus

"Advanced SDL Game Engineering: Expert Techniques for Professional Developers" is an essential guide for seasoned game developers and engineers looking to master the complexities of game development using Simple DirectMedia Layer (SDL). This comprehensive resource delves deep into advanced techniques and strategies that are crucial for creating professional-grade games.With a focus on the
... Læs mere
Digital Electronics for Musicians

Build Intuitive Electronics and Electroacoustic Music Interfaces

af Alexandros Drymonitis ...

Serier serie Professional and Applied Computing (R0)
Dive into the world of computer music and physical computing and stay ahead of the melodic curve. This book is aimed at adventurous musicians who want to learn about music programming with Arduino, sensors, and Pure Data, and how to make new interfaces and instruments with that knowledge.In this updated version, you can expect a wave of updates that bring the content in sync with the latest tech ... Læs mere

523,76 kr.

Dive into the world of computer music and physical computing and stay ahead of the melodic curve. This book is aimed at adventurous musicians who want to learn about music programming with Arduino, sensors, and Pure Data, and how to make new interfaces and instruments with that knowledge.In this updated version, you can expect a wave of updates that bring the content in sync with the latest tech
... Læs mere
Build iOS Database Apps with Swift and SQLite

af Kevin Languedoc ...

Serier serie Professional and Applied Computing (R0)
Discover the essential concepts and new iOS 10 SDK and Swift 3 programming language APIs to build iPhone and iPad database driven applications using the defacto standard for data storage for mobile apps, SQLite.You will learn about SQL operations, such as selecting, inserting, updating and deleting data using various data types like text, numerical types, images and even audio/video data. After ... Læs mere

322,92 kr.

Discover the essential concepts and new iOS 10 SDK and Swift 3 programming language APIs to build iPhone and iPad database driven applications using the defacto standard for data storage for mobile apps, SQLite.You will learn about SQL operations, such as selecting, inserting, updating and deleting data using various data types like text, numerical types, images and even audio/video data. After
... Læs mere
Rules and Reasoning

Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings

Redigeret af Christoph Benzmüller, Francesco Ricca, Xavier Parent, Dumitru Roman ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2018, held in Luxembourg during September 2018. This is the second conference of a new series, joining the efforts of two existing conference series, namely “RuleML” (International Web Rule Symposium) and “RR” (Web Reasoning and Rule Systems).The 10 full research papers presented together ... Læs mere

466,97 kr.

This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2018, held in Luxembourg during September 2018. This is the second conference of a new series, joining the efforts of two existing conference series, namely “RuleML” (International Web Rule Symposium) and “RR” (Web Reasoning and Rule Systems).The 10 full research papers presented together
... Læs mere
Accelerator Programming Using Directives

5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedings

Redigeret af Sunita Chandrasekaran, Guido Juckeland, Sandra Wienke ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed post-conference proceedings of the 5th International Workshop on Accelerator Programming Using Directives, WACCPD 2018, held in Dallas, TX, USA, in November 2018.The 6 full papers presented have been carefully reviewed and selected from 12 submissions. The papers share knowledge and experiences to program emerging complex parallel computing systems. They are ... Læs mere

466,97 kr.

This book constitutes the refereed post-conference proceedings of the 5th International Workshop on Accelerator Programming Using Directives, WACCPD 2018, held in Dallas, TX, USA, in November 2018.The 6 full papers presented have been carefully reviewed and selected from 12 submissions. The papers share knowledge and experiences to program emerging complex parallel computing systems. They are
... Læs mere
Graph Transformation

19th International Conference, ICGT 2026, Held as Part of STAF 2026, Rennes, France, July 1–2, 2026, Proceedings

Redigeret af Blair Archibald, Oszkár Semeráth ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 19th International Conference on Graph Transformation, ICGT 2026, held in Rennes, France, during July 1–2, 2026.The 9 full papers and 4 short papers included in this book were carefully reviewed and selected from 19 submissions. The topics of the accepted papers cover a wide spectrum including new approaches to hypergraphs, improvements to the ... Læs mere

532,35 kr.

This book constitutes the refereed proceedings of the 19th International Conference on Graph Transformation, ICGT 2026, held in Rennes, France, during July 1–2, 2026.The 9 full papers and 4 short papers included in this book were carefully reviewed and selected from 19 submissions. The topics of the accepted papers cover a wide spectrum including new approaches to hypergraphs, improvements to the
... Læs mere
Evaluation of Novel Approaches to Software Engineering

12th International Conference, ENASE 2017, Porto, Portugal, April 28–29, 2017, Revised Selected Papers

Redigeret af Ernesto Damiani, George Spanoudakis, Leszek Maciaszek ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed proceedings of the 12th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2017, held in Porto, Portugal, in April 2017.The 12 full papers presented were carefully reviewed and selected from 102 submissions. The mission of ENASE is to be a prime international forum to discuss and publish research findings and IT ... Læs mere

466,97 kr.

This book constitutes the thoroughly refereed proceedings of the 12th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2017, held in Porto, Portugal, in April 2017.The 12 full papers presented were carefully reviewed and selected from 102 submissions. The mission of ENASE is to be a prime international forum to discuss and publish research findings and IT
... Læs mere
Pass AZ-900 Fast: The Ultimate Study Guide

af Kameron Hussain, Frahaan Hussain ...

Pass AZ-900 Fast: The Ultimate Study Guide is your streamlined path to passing the Microsoft Azure Fundamentals certification exam (AZ-900) on your first try. Whether you're new to cloud computing or need a refresher, this guide cuts through the noise to deliver exactly what you need—fast.Crafted for busy professionals, students, and aspiring IT pros, this study guide covers all AZ-900 exam ... Læs mere

64,08 kr. eller Gratis med Kobo Plus

Pass AZ-900 Fast: The Ultimate Study Guide is your streamlined path to passing the Microsoft Azure Fundamentals certification exam (AZ-900) on your first try. Whether you're new to cloud computing or need a refresher, this guide cuts through the noise to deliver exactly what you need—fast.Crafted for busy professionals, students, and aspiring IT pros, this study guide covers all AZ-900 exam
... Læs mere
Fundamentals of Java Programming

af Mitsunori Ogihara ...

Serier serie Computer Science (R0)
Making extensive use of examples, this textbook on Java programming teaches the fundamental skills for getting started in a command-line environment. Meant to be used for a one-semester course to build solid foundations in Java, Fundamentals of Java Programming eschews second-semester content to concentrate on over 180 code examples and 250 exercises.Key object classes (String, Scanner, ... Læs mere

466,97 kr.

Making extensive use of examples, this textbook on Java programming teaches the fundamental skills for getting started in a command-line environment. Meant to be used for a one-semester course to build solid foundations in Java, Fundamentals of Java Programming eschews second-semester content to concentrate on over 180 code examples and 250 exercises.Key object classes (String, Scanner,
... Læs mere
Azure Networking Essentials: Master VNETs, VPNs & More

af Kameron Hussain, Frahaan Hussain ...

Unlock the full potential of Azure networking with Azure Networking Essentials: Master VNETs, VPNs & More—your comprehensive guide to designing, deploying, and managing secure, scalable cloud networks.Whether you're a cloud architect, network engineer, or IT professional, this book delivers a deep dive into Azure's networking capabilities, offering hands-on guidance and practical insights. ... Læs mere

64,08 kr. eller Gratis med Kobo Plus

Unlock the full potential of Azure networking with Azure Networking Essentials: Master VNETs, VPNs & More—your comprehensive guide to designing, deploying, and managing secure, scalable cloud networks.Whether you're a cloud architect, network engineer, or IT professional, this book delivers a deep dive into Azure's networking capabilities, offering hands-on guidance and practical insights.
... Læs mere
Using the C++ Standard Template Libraries

af Ivor Horton ...

Serier serie Professional and Applied Computing (R0)
Using the C++ Standard Template Libraries is a contemporary treatment that teaches the generic programming capabilities that the C++ 14 Standard Library provides. In this book, author Ivor Horton explains what the class and function templates available with C++ 14 do, and how to use them in a practical context.You'll learn how to create containers, and how iterators are used with them to access, ... Læs mere

584,85 kr.

Using the C++ Standard Template Libraries is a contemporary treatment that teaches the generic programming capabilities that the C++ 14 Standard Library provides. In this book, author Ivor Horton explains what the class and function templates available with C++ 14 do, and how to use them in a practical context.You'll learn how to create containers, and how iterators are used with them to access,
... Læs mere
Automated Reasoning

8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings

Redigeret af Nicola Olivetti, Ashish Tiwari ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 8th International Joint Conference on Automated Reasoning, IJCAR 2016, held in Coimbra, Portugal, in June/July 2016. IJCAR 2014 was a merger of three leading events in automated reasoning, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems) and TABLEAUX (International ... Læs mere

747,20 kr.

This book constitutes the refereed proceedings of the 8th International Joint Conference on Automated Reasoning, IJCAR 2016, held in Coimbra, Portugal, in June/July 2016. IJCAR 2014 was a merger of three leading events in automated reasoning, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems) and TABLEAUX (International
... Læs mere
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II

Redigeret af Tiziana Margaria, Bernhard Steffen ...

Serier Bog 2 - Springer Nature Proceedings Computer Science
The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, held in Imperial, Corfu, Greece, in October 2016.The papers presented in this volume were carefully reviewed and selected for inclusion in the proceedings. Featuring a track introduction to each ... Læs mere

466,97 kr.

The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, held in Imperial, Corfu, Greece, in October 2016.The papers presented in this volume were carefully reviewed and selected for inclusion in the proceedings. Featuring a track introduction to each
... Læs mere
Introduction to Compiler Construction in a Java World

af Bill Campbell, Swami Iyer, Bahar Akbal-Delibas ...

Immersing students in Java and the JVM, this text enables a deep understanding of the Java programming language and its implementation. It focuses on design, organization, and testing, helping students learn good software engineering skills and become better programmers. By working with and extending a real, functional compiler, students develop a hands-on appreciation of how compilers work, how ... Læs mere

1.065,41 kr.

Immersing students in Java and the JVM, this text enables a deep understanding of the Java programming language and its implementation. It focuses on design, organization, and testing, helping students learn good software engineering skills and become better programmers. By working with and extending a real, functional compiler, students develop a hands-on appreciation of how compilers work, how
... Læs mere
Computer Graphics for Java Programmers

af Kang Zhang, Leen Ammeraal ...

Serier serie Computer Science (R0)
This third edition covers fundamental concepts in creating and manipulating 2D and 3D graphical objects, including topics from classic graphics algorithms to color and shading models. It maintains the style of the two previous editions, teaching each graphics topic in a sequence of concepts, mathematics, algorithms, optimization techniques, and Java coding.Completely revised and updated according ... Læs mere

625,77 kr.

This third edition covers fundamental concepts in creating and manipulating 2D and 3D graphical objects, including topics from classic graphics algorithms to color and shading models. It maintains the style of the two previous editions, teaching each graphics topic in a sequence of concepts, mathematics, algorithms, optimization techniques, and Java coding.Completely revised and updated according
... Læs mere
Introduction to Automata Theory and Formal Languages

A Logic Building and Problem-solving Approach

af Amol M. Jagtap, Gautami G. Shingan ...

This book provides a structured introduction to automata theory, bridging theoretical foundations with practical applications. Designed for students, researchers, and professionals, this book explores fundamental concepts like deterministic and non-deterministic finite automata, context-free grammars, pushdown automata, and Turing machines. It emphasises problem-solving, critical thinking, and ... Læs mere

893,20 kr.

This book provides a structured introduction to automata theory, bridging theoretical foundations with practical applications. Designed for students, researchers, and professionals, this book explores fundamental concepts like deterministic and non-deterministic finite automata, context-free grammars, pushdown automata, and Turing machines. It emphasises problem-solving, critical thinking, and
... Læs mere
SOFSEM 2018: Theory and Practice of Computer Science

44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018, Proceedings

Redigeret af A Min Tjoa, Ladjel Bellatreche, Stefan Biffl, Jan van Leeuwen, Jiří Wiedermann ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 44th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2018, held in Krems, Austria, in January/February 2018.The 48 papers presented in this volume were carefully reviewed and selected from 97 submissions. They were organized in topical sections named: foundations of computer science; software ... Læs mere

466,97 kr.

This book constitutes the refereed proceedings of the 44th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2018, held in Krems, Austria, in January/February 2018.The 48 papers presented in this volume were carefully reviewed and selected from 97 submissions. They were organized in topical sections named: foundations of computer science; software
... Læs mere
Fundamental Approaches to Software Engineering

19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Redigeret af Perdita Stevens, Andrzej Wąsowski ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 19th International Conference on Fundamental Approaches to Software Engineering, FASE 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016.The 23 full papers presented in this volume were carefully reviewed and selected from 90 submissions. They ... Læs mere

466,97 kr.

This book constitutes the proceedings of the 19th International Conference on Fundamental Approaches to Software Engineering, FASE 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016.The 23 full papers presented in this volume were carefully reviewed and selected from 90 submissions. They
... Læs mere

Kobo Rakuten

e-læsere

Apps

Tilbehør

Indkøbskurv

Du får VIP-behandling!

Din indkøbskurv er tom

Ledig:

1 lydbog om måneden

+ GRATIS 30-dages prøve

Ledig:

1 lydbog om måneden

+ GRATIS 30-dages prøve

Anbefalet til dig

Udarbejdere e-bøger

Graph Transformation

Formal Methods for Industrial Critical Systems

Options and Derivatives Programming in C++

More Math Into LaTeX

Learning Groovy 3

Beginning Rust

Advanced SDL Game Engineering: Expert Techniques for Professional Developers

Digital Electronics for Musicians

Build iOS Database Apps with Swift and SQLite

Rules and Reasoning

Accelerator Programming Using Directives

Graph Transformation

Evaluation of Novel Approaches to Software Engineering

Pass AZ-900 Fast: The Ultimate Study Guide

Fundamentals of Java Programming

Azure Networking Essentials: Master VNETs, VPNs & More

Using the C++ Standard Template Libraries

Automated Reasoning

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

Introduction to Compiler Construction in a Java World

Computer Graphics for Java Programmers

Introduction to Automata Theory and Formal Languages

SOFSEM 2018: Theory and Practice of Computer Science

Fundamental Approaches to Software Engineering