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

NASA Formal Methods

11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings

Bewerkt door Julia M. Badger, Kristin Yvonne Rozier ...

Serie series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 11th International Symposium on NASA Formal Methods, NFM 2019, held in Houston, TX, USA, in May 2019.The 20 full and 8 short papers presented in this volume were carefully reviewed and selected from 102 submissions. The papers focus on formal verification, including theorem proving, model checking, and static analysis; advances in automated theorem ... Meer lezen

68,89 €

This book constitutes the proceedings of the 11th International Symposium on NASA Formal Methods, NFM 2019, held in Houston, TX, USA, in May 2019.The 20 full and 8 short papers presented in this volume were carefully reviewed and selected from 102 submissions. The papers focus on formal verification, including theorem proving, model checking, and static analysis; advances in automated theorem
... Meer lezen
Python Programming for Beginners

The Complete Guide to Mastering Python in 10 Days with Guiding Exercises – Top Secret Coding Tips, Well-detailed Examples and Outputs, with Questions and Answers for Each Chapter. The Ultimate Python Crash Course for Dummies. Computer science

door C J Smith ...

THE EASIEST PYTHON PROGRAMMING BOOK EVERLooking to learn Python programming in a beginner-friendly way? Look no further than "Python Programming for Beginners" by Musa Usman! This comprehensive guide covers everything you need to know about Python, from the basics of data types and control structures to advanced topics like object-oriented programming and multithreading. With clear explanations, ... Meer lezen

9,09 € of Gratis met Kobo Plus

THE EASIEST PYTHON PROGRAMMING BOOK EVERLooking to learn Python programming in a beginner-friendly way? Look no further than "Python Programming for Beginners" by Musa Usman! This comprehensive guide covers everything you need to know about Python, from the basics of data types and control structures to advanced topics like object-oriented programming and multithreading. With clear explanations,
... Meer lezen
Testing Software and Systems

29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings

Bewerkt door Nina Yevtushenko, Ana Rosa Cavalli, Hüsnü Yenigün ...

Serie series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 29th IFIP WG 6.1 International Conference on Testing Software and Systems ICTSS 2017, held in St. Petersburg, Russia, in October 2017.The 18 full papers and 4 short papers presented were carefully reviewed and selected from 41 submissions. The topics of the volume cover model based testing; test derivation and monitoring; fault localization and ... Meer lezen

52,99 €

This book constitutes the refereed proceedings of the 29th IFIP WG 6.1 International Conference on Testing Software and Systems ICTSS 2017, held in St. Petersburg, Russia, in October 2017.The 18 full papers and 4 short papers presented were carefully reviewed and selected from 41 submissions. The topics of the volume cover model based testing; test derivation and monitoring; fault localization and
... Meer lezen
Inductive Logic Programming

29th International Conference, ILP 2019, Plovdiv, Bulgaria, September 3–5, 2019, Proceedings

Bewerkt door Dimitar Kazakov, Can Erten ...

Serie series Springer Nature Proceedings Computer Science
This book constitutes the refereed conference proceedings of the 29th International Conference on Inductive Logic Programming, ILP 2019, held in Plovdiv, Bulgaria, in September 2019.The 11 papers presented were carefully reviewed and selected from numerous submissions. Inductive Logic Programming (ILP) is a subfield of machine learning, which originally relied on logic programming as a uniform ... Meer lezen

52,99 €

This book constitutes the refereed conference proceedings of the 29th International Conference on Inductive Logic Programming, ILP 2019, held in Plovdiv, Bulgaria, in September 2019.The 11 papers presented were carefully reviewed and selected from numerous submissions. Inductive Logic Programming (ILP) is a subfield of machine learning, which originally relied on logic programming as a uniform
... Meer lezen
Pro Spring Boot 3

An Authoritative Guide with Best Practices

door Felipe Gutierrez ...

Serie series Professional and Applied Computing (R0)
This book will teach you how to build complex Spring applications and microservices out of the box, with minimal concern over things like configurations. Pro Spring Boot 3 will show you how to fully leverage Spring Boot 3's robust features and how to apply them to create enterprise-ready applications, microservices, and web/cloud applications that just work.Special focus is given to what's been ... Meer lezen

49,52 €

This book will teach you how to build complex Spring applications and microservices out of the box, with minimal concern over things like configurations. Pro Spring Boot 3 will show you how to fully leverage Spring Boot 3's robust features and how to apply them to create enterprise-ready applications, microservices, and web/cloud applications that just work.Special focus is given to what's been
... Meer lezen
Master Python Without Prior Experience

door CodeCraft Dynamics ...

This comprehensive Python programming guide seamlessly transitions you from fundamental concepts to advanced topics, ensuring a deep comprehension of the Python language. Discover the essence of programming and Python, unraveling the significance of programming, the allure of Python, and the essential steps to configure your Python environment.Embark on a journey through Python essentials like ... Meer lezen

2,99 € of Gratis met Kobo Plus

This comprehensive Python programming guide seamlessly transitions you from fundamental concepts to advanced topics, ensuring a deep comprehension of the Python language. Discover the essence of programming and Python, unraveling the significance of programming, the allure of Python, and the essential steps to configure your Python environment.Embark on a journey through Python essentials like
... Meer lezen
Raspberry Pi GPU Audio Video Programming

door Jan Newmarch ...

Serie series Professional and Applied Computing (R0)
Delve into the Broadcom VideoCore GPU used on the Raspberry Pi and master topics such as OpenGL ES and OpenMAX. Along the way, you’ll also learn some Dispmanx, OpenVG, and GPGPU programming.The author, Jan Newmarch bumped into a need to do this kind of programming while trying to turn the RPi into a karaoke machine: with the CPU busting its gut rendering MIDI files, there was nothing left for ... Meer lezen

79,25 €

Delve into the Broadcom VideoCore GPU used on the Raspberry Pi and master topics such as OpenGL ES and OpenMAX. Along the way, you’ll also learn some Dispmanx, OpenVG, and GPGPU programming.The author, Jan Newmarch bumped into a need to do this kind of programming while trying to turn the RPi into a karaoke machine: with the CPU busting its gut rendering MIDI files, there was nothing left for
... Meer lezen
Software Engineering and Formal Methods

14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings

Bewerkt door Rocco De Nicola, Eva Kühn ...

Serie series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 14th International Conference on Software Engineering and Formal Methods, SEFM 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016.The 20 full and 5 short papers presented in this volume were carefully reviewed and selected from 88 submissions. They were organized in topical sections named: concurrency and non-interference; program ... Meer lezen

52,99 €

This book constitutes the proceedings of the 14th International Conference on Software Engineering and Formal Methods, SEFM 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016.The 20 full and 5 short papers presented in this volume were carefully reviewed and selected from 88 submissions. They were organized in topical sections named: concurrency and non-interference; program
... Meer lezen
The Joys of Hashing

Hash Table Programming with C

door Thomas Mailund ...

Serie series Professional and Applied Computing (R0)
Build working implementations of hash tables, written in the C programming language. The new and revised Second Edition has been enhanced with simplified code and more comprehensive explanations, aimed at improving clarity and comprehension while exploiting the latest features in C programming.This book starts with simple first attempts devoid of collision resolution strategies. It then progresses ... Meer lezen

54,47 €

Build working implementations of hash tables, written in the C programming language. The new and revised Second Edition has been enhanced with simplified code and more comprehensive explanations, aimed at improving clarity and comprehension while exploiting the latest features in C programming.This book starts with simple first attempts devoid of collision resolution strategies. It then progresses
... Meer lezen
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

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

NASA Formal Methods

Python Programming for Beginners

Testing Software and Systems

Inductive Logic Programming

Pro Spring Boot 3

Master Python Without Prior Experience

Raspberry Pi GPU Audio Video Programming

Software Engineering and Formal Methods

The Joys of Hashing

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