Rakuten Kobo

Winkelwagen

Artikel(en) niet beschikbaar voor aankoop

Bekijk je winkelwagentje. Je kunt de niet-beschikbare artikelen nu verwijderen of we verwijderen ze bij de kassa automatisch.

artikelenartikel

- Inclusief eBooks
  
  Inclusief luisterboeken
  
  Inclusief 30 uur luistertijd
  
  Zonder verplichtingen, annuleer op elk moment via kobo.com/account/subscriptions
  
  Ontvang elke maand 1 credit voor een luisterboek naar keuze
  
  Zonder verplichtingen, annuleer op elk moment via kobo.com/account/subscriptions
  
  Inclusief eBooks
  
  Inclusief luisterboeken
  
  Inclusief 30 uur luistertijd
  
  Zonder verplichtingen, annuleer op elk moment via kobo.com/account/subscriptions
  Luisterboek
  door ,
  
  Verkrijgbaar:
  
  . Zonder verplichtingen, annuleer op elk moment via kobo.com/account/subscriptions.
  
  Reserveren
  1 audioboek per maand
  
  + Probeer het 30 dagen gratis
  
  Speciale aanbieding
  
  Ontvang elke maand 1 credit om in te wisselen voor een audioboek naar keuze
  
  *Geen verplichtingen, annuleren kan altijd
  
  GRATIS

artikelenartikel

Inclusief eBooks

Inclusief luisterboeken

Inclusief 30 uur luistertijd

Zonder verplichtingen, annuleer op elk moment via kobo.com/account/subscriptions

Ontvang elke maand 1 credit voor een luisterboek naar keuze

Zonder verplichtingen, annuleer op elk moment via kobo.com/account/subscriptions

Inclusief eBooks

Inclusief luisterboeken

Inclusief 30 uur luistertijd

Zonder verplichtingen, annuleer op elk moment via kobo.com/account/subscriptions
Luisterboek
door ,

Verkrijgbaar:
. Zonder verplichtingen, annuleer op elk moment via kobo.com/account/subscriptions.

Reserveren
1 audioboek per maand

+ Probeer het 30 dagen gratis

Speciale aanbieding

Ontvang elke maand 1 credit om in te wisselen voor een audioboek naar keuze

*Geen verplichtingen, annuleren kan altijd

GRATIS

Aanbevolen voor jou

Theory and Practice of Model Transformation

10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings

Bewerkt door Esther Guerra, Mark van den Brand ...

Serie series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 10th International Conference on Model Transformation, ICMT 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017.The 9 full papers and 2 short papers were carefully reviewed and selected from 31 submissions. The papers are organized in the following topical sections: transformation paradigms, languages, algorithms and strategies; ... Meer lezen

52,99 €

This book constitutes the refereed proceedings of the 10th International Conference on Model Transformation, ICMT 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017.The 9 full papers and 2 short papers were carefully reviewed and selected from 31 submissions. The papers are organized in the following topical sections: transformation paradigms, languages, algorithms and strategies;
... Meer lezen
Intelligent Computer Mathematics

11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings

Bewerkt door Florian Rabe, William M. Farmer, Grant O. Passmore, Abdou Youssef ...

Serie series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 11th International Conference on Intelligent Computer Mathematics, CICM 2018, held in Hagenberg, Austria, in August 2018.The 23 full papers presented were carefully reviewed and selected from a total of 36 submissions. The papers focos on the Calculemus, Digital Mathematics Libraries, and Mathematical Knowledge Management tracks which also ... Meer lezen

52,99 €

This book constitutes the refereed proceedings of the 11th International Conference on Intelligent Computer Mathematics, CICM 2018, held in Hagenberg, Austria, in August 2018.The 23 full papers presented were carefully reviewed and selected from a total of 36 submissions. The papers focos on the Calculemus, Digital Mathematics Libraries, and Mathematical Knowledge Management tracks which also
... Meer lezen
Formal Languages and Compilation

door Stefano Crespi Reghizzi, Luca Breveglieri, Angelo Morzenti ...

Serie series Computer Science (R0)
This classroom-tested and clearly-written textbook presents a focused guide to the conceptual foundations of compilation, explaining the fundamental principles and algorithms used for defining the syntax of languages, and for implementing simple translators.This significantly updated and expanded third edition has been enhanced with additional coverage of regular expressions, visibly pushdown ... Meer lezen

95,39 €

This classroom-tested and clearly-written textbook presents a focused guide to the conceptual foundations of compilation, explaining the fundamental principles and algorithms used for defining the syntax of languages, and for implementing simple translators.This significantly updated and expanded third edition has been enhanced with additional coverage of regular expressions, visibly pushdown
... Meer lezen
Trends in Functional Programming

17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers

Bewerkt door David Van Horn, John Hughes ...

Serie series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 17th International Conference on Trends in Functional Programming, TFP 2016, held in College Park, USA, in June 2016.The 10 full papers presented in this volume were carefully reviewed and selected from 18 submissions. The papers were organized in topical sections named: implementation techniques; types and verification; and programming. ... Meer lezen

52,99 €

This book constitutes the refereed proceedings of the 17th International Conference on Trends in Functional Programming, TFP 2016, held in College Park, USA, in June 2016.The 10 full papers presented in this volume were carefully reviewed and selected from 18 submissions. The papers were organized in topical sections named: implementation techniques; types and verification; and programming.
... Meer lezen
Tools for High Performance Computing 2011

Proceedings of the 5th International Workshop on Parallel Tools for High Performance Computing, September 2011, ZIH, Dresden

Bewerkt door Michael M. Resch, Holger Brunst, Matthias S. Müller, Wolfgang E. Nagel ...

Serie series Springer Nature Proceedings Computer Science
The proceedings of the 5th International Workshop on Parallel Tools for High Performance Computing provide an overview on supportive software tools and environments in the fields of System Management, Parallel Debugging and Performance Analysis. In the pursuit to maintain exponential growth for the performance of high performance computers the HPC community is currently targeting Exascale Systems. ... Meer lezen

95,39 €

The proceedings of the 5th International Workshop on Parallel Tools for High Performance Computing provide an overview on supportive software tools and environments in the fields of System Management, Parallel Debugging and Performance Analysis. In the pursuit to maintain exponential growth for the performance of high performance computers the HPC community is currently targeting Exascale Systems.
... Meer lezen
Theory and Practice of Formal Methods

Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

Bewerkt door Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen ...

Serie series Computer Science (R0)
This Festschrift volume has been published in honor of Frank de Boer, on the occasion of his 60th birthday.Frank S. de Boer is a prominent member of the research community in formal methods and theoretical computer science. A brief look at his lengthy publication list reveals a broad area of interest and a versatile modus operandi with: logic and constraint programming; deductive proof systems, ... Meer lezen

52,99 €

This Festschrift volume has been published in honor of Frank de Boer, on the occasion of his 60th birthday.Frank S. de Boer is a prominent member of the research community in formal methods and theoretical computer science. A brief look at his lengthy publication list reveals a broad area of interest and a versatile modus operandi with: logic and constraint programming; deductive proof systems,
... Meer lezen
C++ Standard Library Quick Reference

door Marc Gregoire, Peter Van Weert ...

Serie series Professional and Applied Computing (R0)
This quick reference is a condensed guide to the essential data structures, algorithms, and functions provided by the C++ Standard Library. Used by millions of C++ programmers on a daily basis, the C++ Standard Library features core classes for strings, I/O streams, and various generic containers, as well as a comprehensive set of algorithms to manipulate them. In recent years, the C++11 and C++14 ... Meer lezen

26,73 €

This quick reference is a condensed guide to the essential data structures, algorithms, and functions provided by the C++ Standard Library. Used by millions of C++ programmers on a daily basis, the C++ Standard Library features core classes for strings, I/O streams, and various generic containers, as well as a comprehensive set of algorithms to manipulate them. In recent years, the C++11 and C++14
... Meer lezen
Tools and Algorithms for the Construction and Analysis of Systems

22nd International Conference, TACAS 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

Bewerkt door Marsha Chechik, Jean-François Raskin ...

Serie series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 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 44 full papers presented in this volume were carefully reviewed and selected from ... Meer lezen

52,99 €

This book constitutes the proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 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 44 full papers presented in this volume were carefully reviewed and selected from
... Meer lezen
Programming Language Concepts

door Peter Sestoft ...

Serie series Computer Science (R0)
This book uses a functional programming language (F#) as a metalanguage to present all concepts and examples, and thus has an operational flavour, enabling practical experiments and exercises. It includes basic concepts such as abstract syntax, interpretation, stack machines, compilation, type checking, garbage collection, and real machine code. Also included are more advanced topics on ... Meer lezen

56,17 €

This book uses a functional programming language (F#) as a metalanguage to present all concepts and examples, and thus has an operational flavour, enabling practical experiments and exercises. It includes basic concepts such as abstract syntax, interpretation, stack machines, compilation, type checking, garbage collection, and real machine code. Also included are more advanced topics on
... Meer lezen
Beginning Django

Web Application Development and Deployment with Python

door Daniel Rubio ...

Discover the Django web application framework and get started building Python-based web applications. This book takes you from the basics of Django all the way through to cutting-edge topics such as creating RESTful applications. Beginning Django also covers ancillary, but essential, development topics, including configuration settings, static resource management, logging, debugging, and email. ... Meer lezen

39,21 €

Discover the Django web application framework and get started building Python-based web applications. This book takes you from the basics of Django all the way through to cutting-edge topics such as creating RESTful applications. Beginning Django also covers ancillary, but essential, development topics, including configuration settings, static resource management, logging, debugging, and email.
... Meer lezen
Formal Methods and Software Engineering

24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21–24, 2023, Proceedings

Bewerkt door Yi Li, Sofiène Tahar ...

Serie series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 24th International Conference on Formal Methods and Software Engineering, ICFEM 2023, held in Brisbane, QLD, Australia, during November 21–24, 2023.The 13 full papers presented together with 8 doctoral symposium papers in this volume were carefully reviewed and selected from 34 submissions, the volume also contains one invited paper. The conference ... Meer lezen

68,89 €

This book constitutes the proceedings of the 24th International Conference on Formal Methods and Software Engineering, ICFEM 2023, held in Brisbane, QLD, Australia, during November 21–24, 2023.The 13 full papers presented together with 8 doctoral symposium papers in this volume were carefully reviewed and selected from 34 submissions, the volume also contains one invited paper. The conference
... Meer lezen
Java Journey: From Basics To Mastery

door Oryndalex Varnikar ...

Hey, you. Yes, you. The brave soul holding (or eyeing) this book. Welcome to Java Journey: From Basics to Mastery!I'm Oryndalex Varnikar, your guide, fellow code explorer, and occasionally sarcastic narrator on this wild ride through the glorious jungle that is Java programming. Whether you're a total newbie who thinks "JVM" sounds like a space satellite, or you've dabbled in Java just enough to ... Meer lezen

25,99 € of Gratis met Kobo Plus

Hey, you. Yes, you. The brave soul holding (or eyeing) this book. Welcome to Java Journey: From Basics to Mastery!I'm Oryndalex Varnikar, your guide, fellow code explorer, and occasionally sarcastic narrator on this wild ride through the glorious jungle that is Java programming. Whether you're a total newbie who thinks "JVM" sounds like a space satellite, or you've dabbled in Java just enough to
... Meer lezen
Integration of Constraint Programming, Artificial Intelligence, and Operations Research

16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4–7, 2019, Proceedings

Bewerkt door Louis-Martin Rousseau, Kostas Stergiou ...

Serie series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 16th International Conference on Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2019, held in Thessaloniki, Greece, in June 2019.The 34 full papers presented together with 9 short papers were carefully reviewed and selected from 94 submissions. The conference brings together interested researchers from ... Meer lezen

52,99 €

This book constitutes the proceedings of the 16th International Conference on Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2019, held in Thessaloniki, Greece, in June 2019.The 34 full papers presented together with 9 short papers were carefully reviewed and selected from 94 submissions. The conference brings together interested researchers from
... Meer lezen
Advanced Topics in C

Core Concepts in Data Structures

door Noel Kalicharan ...

Serie series Professional and Applied Computing (R0)
C is the most widely used programming language of all time. It has been used to create almost every category of software imaginable and the list keeps growing every day. Cutting-edge applications, such as Arduino, embeddable and wearable computing are ready-made for C.Advanced Topics In C teaches concepts that any budding programmer should know. You'll delve into topics such as sorting, searching, ... Meer lezen

79,25 €

C is the most widely used programming language of all time. It has been used to create almost every category of software imaginable and the list keeps growing every day. Cutting-edge applications, such as Arduino, embeddable and wearable computing are ready-made for C.Advanced Topics In C teaches concepts that any budding programmer should know. You'll delve into topics such as sorting, searching,
... Meer lezen
Beginning Application Lifecycle Management

door Joachim Rossberg ...

Serie series Professional and Applied Computing (R0)
Beginning Application Lifecycle Management is a guide to an area of rapidly growing interest within the development community: managing the entire cycle of building software. ALM is an area that spans everything from requirements specifications to retirement of an IT-system or application. Because its techniques allow you to deal with the process of developing applications across many areas of ... Meer lezen

62,40 €

Beginning Application Lifecycle Management is a guide to an area of rapidly growing interest within the development community: managing the entire cycle of building software. ALM is an area that spans everything from requirements specifications to retirement of an IT-system or application. Because its techniques allow you to deal with the process of developing applications across many areas of
... Meer lezen
MATLAB Programming for Numerical Analysis

door Cesar Lopez ...

Serie series Professional and Applied Computing (R0)
MATLAB is a high-level language and environment for numerical computation, visualization, and programming. Using MATLAB, you can analyze data, develop algorithms, and create models and applications. The language, tools, and built-in math functions enable you to explore multiple approaches and reach a solution faster than with spreadsheets or traditional programming languages, such as C/C++ or Java ... Meer lezen

52,49 €

MATLAB is a high-level language and environment for numerical computation, visualization, and programming. Using MATLAB, you can analyze data, develop algorithms, and create models and applications. The language, tools, and built-in math functions enable you to explore multiple approaches and reach a solution faster than with spreadsheets or traditional programming languages, such as C/C++ or Java
... Meer lezen
SSA-based Compiler Design

Bewerkt door Fabrice Rastello, Florent Bouchez Tichadou ...

Serie series Computer Science (R0)
This book provides readers with a single-source reference to static-single assignment(SSA)-based compiler design. It is the first (and up to now only) book that coversin a deep and comprehensive way how an optimizing compiler can be designed usingthe SSA form. After introducing vanilla SSA and its main properties, the authorsdescribe several compiler analyses and optimizations under this form. ... Meer lezen

90,09 €

This book provides readers with a single-source reference to static-single assignment(SSA)-based compiler design. It is the first (and up to now only) book that coversin a deep and comprehensive way how an optimizing compiler can be designed usingthe SSA form. After introducing vanilla SSA and its main properties, the authorsdescribe several compiler analyses and optimizations under this form.
... Meer lezen
Trends in Functional Programming

16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers

Bewerkt door Manuel Serrano, Jurriaan Hage ...

Serie series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed revised selected papers of the 16th International Symposium on Trends in Functional Programming, TFP 2015, held in Sophia Antipolis, France, in June 2015. The 8 revised full papers included in this volume were carefully and selected from 26 submissions. TFP is an international forum for researchers with interests in all aspects of functional ... Meer lezen

42,39 €

This book constitutes the thoroughly refereed revised selected papers of the 16th International Symposium on Trends in Functional Programming, TFP 2015, held in Sophia Antipolis, France, in June 2015. The 8 revised full papers included in this volume were carefully and selected from 26 submissions. TFP is an international forum for researchers with interests in all aspects of functional
... Meer lezen
Functional Data Structures and Algorithms

A Proof Assistant Approach

door Tobias Nipkow ...

Serie series ACM Books
This book is an introduction to data structures and algorithms for functional programming languages, with a focus on proofs. Starting with sorting and searching, it moves on to priority queues and advanced design and analysis techniques: dynamic programming, amortized analysis, splay trees, skew heaps and pairing heaps. The final part of the book covers a number of selected fun topics: graph ... Meer lezen

40,00 €

This book is an introduction to data structures and algorithms for functional programming languages, with a focus on proofs. Starting with sorting and searching, it moves on to priority queues and advanced design and analysis techniques: dynamic programming, amortized analysis, splay trees, skew heaps and pairing heaps. The final part of the book covers a number of selected fun topics: graph
... Meer lezen
Open Source Software for Digital Forensics

Bewerkt door Ewa Huebner, Stefano Zanero ...

Serie series Springer Nature Proceedings Computer Science
Open Source Software for Digital Forensics is the first book dedicated to the use of FLOSS (Free Libre Open Source Software) in computer forensics. It presents the motivations for using FLOSS applications as tools for collection, preservation and analysis of digital evidence in computer and network forensics. It also covers extensively several forensic FLOSS tools, their origins and evolution.Open ... Meer lezen

148,39 €

Open Source Software for Digital Forensics is the first book dedicated to the use of FLOSS (Free Libre Open Source Software) in computer forensics. It presents the motivations for using FLOSS applications as tools for collection, preservation and analysis of digital evidence in computer and network forensics. It also covers extensively several forensic FLOSS tools, their origins and evolution.Open
... Meer lezen
Beginning Java 8 Games Development

door Wallace Jackson ...

Serie series Professional and Applied Computing (R0)
Beginning Java 8 Games Development, written by Java expert and author Wallace Jackson, teaches you the fundamentals of building a highly illustrative game using the Java 8 programming language. In this book, you'll employ open source software as tools to help you quickly and efficiently build your Java game applications. You'll learn how to utilize vector and bit-wise graphics; create sprites and ... Meer lezen

52,49 €

Beginning Java 8 Games Development, written by Java expert and author Wallace Jackson, teaches you the fundamentals of building a highly illustrative game using the Java 8 programming language. In this book, you'll employ open source software as tools to help you quickly and efficiently build your Java game applications. You'll learn how to utilize vector and bit-wise graphics; create sprites and
... Meer lezen
Critical Systems: Formal Methods and Automated Verification

Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings

Bewerkt door Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp ...

Serie series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and the 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, held in Pisa, Italy, in September 2016.The 11 full papers and 4 short papers presented together with one invited talk were carefully reviewed and selected from ... Meer lezen

52,99 €

This book constitutes the refereed proceedings of the Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and the 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, held in Pisa, Italy, in September 2016.The 11 full papers and 4 short papers presented together with one invited talk were carefully reviewed and selected from
... Meer lezen
AIxIA 2020 – Advances in Artificial Intelligence

XIXth International Conference of the Italian Association for Artificial Intelligence, Virtual Event, November 25–27, 2020, Revised Selected Papers

Bewerkt door Matteo Baldoni, Stefania Bandini ...

Serie series Springer Nature Proceedings Computer Science
This book constitutes the refereed post proceedings of the XIXth International Conference of the Italian Association for Artificial Intelligence, AIxIA 2020, held in Milano, Italy, in November 2020.Due to the COVID-19 pandemic, the conference was "rebooted"/ re-organized w.r.t. the original format.The 27 full papers were carefully reviewed and selected from 89 submissions. The society aims at ... Meer lezen

95,39 €

This book constitutes the refereed post proceedings of the XIXth International Conference of the Italian Association for Artificial Intelligence, AIxIA 2020, held in Milano, Italy, in November 2020.Due to the COVID-19 pandemic, the conference was "rebooted"/ re-organized w.r.t. the original format.The 27 full papers were carefully reviewed and selected from 89 submissions. The society aims at
... Meer lezen
Principles of Package Design

Creating Reusable Software Components

door Matthias Noback ...

Serie series Professional and Applied Computing (R0)
Apply design principles to your classes, preparing them for reuse. You will use package design principles to create packages that are just right in terms of cohesion and coupling, and are user- and maintainer-friendly at the same time.The first part of this book walks you through the five SOLID principles that will help you improve the design of your classes. The second part introduces you to the ... Meer lezen

79,25 €

Apply design principles to your classes, preparing them for reuse. You will use package design principles to create packages that are just right in terms of cohesion and coupling, and are user- and maintainer-friendly at the same time.The first part of this book walks you through the five SOLID principles that will help you improve the design of your classes. The second part introduces you to the
... Meer lezen

Kobo Rakuten

eReaders

Apps

Accessoires

Winkelwagen

Je krijgt de VIP-behandeling!

Je winkelwagen is leeg

Verkrijgbaar:

1 audioboek per maand

+ Probeer het 30 dagen gratis

Verkrijgbaar:

1 audioboek per maand

+ Probeer het 30 dagen gratis

Aanbevolen voor jou

eBooks in de categorie Compilers

Theory and Practice of Model Transformation

Intelligent Computer Mathematics

Formal Languages and Compilation

Trends in Functional Programming

Tools for High Performance Computing 2011

Theory and Practice of Formal Methods

C++ Standard Library Quick Reference

Tools and Algorithms for the Construction and Analysis of Systems

Programming Language Concepts

Beginning Django

Formal Methods and Software Engineering

Java Journey: From Basics To Mastery

Integration of Constraint Programming, Artificial Intelligence, and Operations Research

Advanced Topics in C

Beginning Application Lifecycle Management

MATLAB Programming for Numerical Analysis

SSA-based Compiler Design

Trends in Functional Programming

Functional Data Structures and Algorithms

Open Source Software for Digital Forensics

Beginning Java 8 Games Development

Critical Systems: Formal Methods and Automated Verification

AIxIA 2020 – Advances in Artificial Intelligence

Principles of Package Design