Rakuten Kobo

Shopping Cart

Item(s) unavailable for purchase

Please review your cart. You can remove the unavailable item(s) now or we'll automatically remove it at Checkout.

itemsitem

- Unlimited access to eBooks
  
  Unlimited access to audiobooks
  
  No commitment, cancel anytime at kobo.com/account/subscriptions
  
  Get 1 credit every month for the audiobook of your choice
  
  No commitment, cancel anytime at kobo.com/account/subscriptions
  
  Unlimited access to eBooks
  
  Unlimited access to audiobooks
  
  No commitment, cancel anytime at kobo.com/account/subscriptions
  Audiobook
  by ,
  
  Available:
  
  . No commitment, cancel anytime at kobo.com/account/subscriptions.
  
  Pre-order
  1 audiobook monthly
  
  + FREE 30-day trial
  
  Special Offer
  
  Get 1 credit every month to exchange for an audiobook of your choice
  
  *No commitment, cancel anytime
  
  FREE

itemsitem

Unlimited access to eBooks

Unlimited access to audiobooks

No commitment, cancel anytime at kobo.com/account/subscriptions

Get 1 credit every month for the audiobook of your choice

No commitment, cancel anytime at kobo.com/account/subscriptions

Unlimited access to eBooks

Unlimited access to audiobooks

No commitment, cancel anytime at kobo.com/account/subscriptions
Audiobook
by ,

Available:
. No commitment, cancel anytime at kobo.com/account/subscriptions.

Pre-order
1 audiobook monthly

+ FREE 30-day trial

Special Offer

Get 1 credit every month to exchange for an audiobook of your choice

*No commitment, cancel anytime

FREE

Recommended For You

Build Your Own Programming Language

by affan shaikhsurab ...

Ever dreamed of crafting your own programming language—without drowning in complex theory?In a world where AI is transforming the way we write code, simplicity and abstraction are the future. This book takes a powerful idea—building your own programming language—and breaks it down into easy, beginner-friendly steps, all using the language you already love: Python.About the Author:At ... ... Read more

₹65.00 or Free with Kobo Plus

Ever dreamed of crafting your own programming language—without drowning in complex theory?In a world where AI is transforming the way we write code, simplicity and abstraction are the future. This book takes a powerful idea—building your own programming language—and breaks it down into easy, beginner-friendly steps, all using the language you already love: Python.About the Author:At ...
... Read more
Practical TLA+

Planning Driven Development

by Hillel Wayne ...

Series series Professional and Applied Computing (R0)
Learn how to design complex, correct programs and fix problems before writing a single line of code. This book is a practical, comprehensive resource on TLA+ programming with rich, complex examples. Practical TLA+ shows you how to use TLA+ to specify a complex system and test the design itself for bugs.You’ll learn how even a short TLA+ spec can find critical bugs. Start by getting your feet wet ... Read more

₹3,030.23

Learn how to design complex, correct programs and fix problems before writing a single line of code. This book is a practical, comprehensive resource on TLA+ programming with rich, complex examples. Practical TLA+ shows you how to use TLA+ to specify a complex system and test the design itself for bugs.You’ll learn how even a short TLA+ spec can find critical bugs. Start by getting your feet wet
... Read more
Scala Programming for Big Data Analytics

Get Started With Big Data Analytics Using Apache Spark

by Irfan Elahi ...

Series series Business and Management (R0)
Gain the key language concepts and programming techniques of Scala in the context of big data analytics and Apache Spark. The book begins by introducing you to Scala and establishes a firm contextual understanding of why you should learn this language, how it stands in comparison to Java, and how Scala is related to Apache Spark for big data analytics. Next, you’ll set up the Scala environment ... Read more

₹2,359.99

Gain the key language concepts and programming techniques of Scala in the context of big data analytics and Apache Spark. The book begins by introducing you to Scala and establishes a firm contextual understanding of why you should learn this language, how it stands in comparison to Java, and how Scala is related to Apache Spark for big data analytics. Next, you’ll set up the Scala environment
... Read more
Mastering UI/UX Design: Theoretical Foundations and Practical Applications

by Kameron Hussain, Frahaan Hussain ...

"Mastering UI/UX Design: Theoretical Foundations and Practical Applications" is a comprehensive guide for anyone looking to deepen their understanding of user interface (UI) and user experience (UX) design. This book delves into the core principles and theories that underpin effective UI/UX design, offering readers a solid foundation to build upon. It seamlessly bridges the gap between theory and ... Read more

₹837.00

"Mastering UI/UX Design: Theoretical Foundations and Practical Applications" is a comprehensive guide for anyone looking to deepen their understanding of user interface (UI) and user experience (UX) design. This book delves into the core principles and theories that underpin effective UI/UX design, offering readers a solid foundation to build upon. It seamlessly bridges the gap between theory and
... Read more
Pivotal Certified Professional Core Spring 5 Developer Exam

A Study Guide Using Spring Framework 5

by Iuliana Cosmina ...

Series series Professional and Applied Computing (R0)
Pass the Pivotal Certified Professional exam for Core Spring, based on the latest Spring Framework 5, using source code examples, study summaries, and mock exams. This book now includes WebFlux, reactive programming, and more found in Spring 5. You'll find a descriptive overview of certification-related Spring modules and a single example application demonstrating the use of all required Spring ... Read more

₹6,721.27

Pass the Pivotal Certified Professional exam for Core Spring, based on the latest Spring Framework 5, using source code examples, study summaries, and mock exams. This book now includes WebFlux, reactive programming, and more found in Spring 5. You'll find a descriptive overview of certification-related Spring modules and a single example application demonstrating the use of all required Spring
... Read more
Introduction to React

by Cory Gackenheimer ...

Series series Professional and Applied Computing (R0)
Introduction to Reactteaches you React, the JavaScript framework created by developers at Facebook, to solve the problem of building complex user interfaces in a consistent and maintainable way. React.js shrugs away common front-end conventions in an effort to make things more efficient - use Introduction to React to learn about this framework and more today.Get to know the React API and it’s ... Read more

₹1,887.99

Introduction to Reactteaches you React, the JavaScript framework created by developers at Facebook, to solve the problem of building complex user interfaces in a consistent and maintainable way. React.js shrugs away common front-end conventions in an effort to make things more efficient - use Introduction to React to learn about this framework and more today.Get to know the React API and it’s
... Read more
Mastering Rust: The Ultimate Starter Guide

by Dan Miller ...

Ready to dive into Rust but not sure where to start? Mastering Rust: The Ultimate Starter Guide by Dan Miller is your comprehensive companion on this exciting journey. Dan's unique approach to writing makes learning Rust a personable and rewarding experience.What sets this guide apart is its focus on practical application. You'll not only learn the "how" but also the "why," gaining insights into ... Read more

₹173.00 or Free with Kobo Plus

Ready to dive into Rust but not sure where to start? Mastering Rust: The Ultimate Starter Guide by Dan Miller is your comprehensive companion on this exciting journey. Dan's unique approach to writing makes learning Rust a personable and rewarding experience.What sets this guide apart is its focus on practical application. You'll not only learn the "how" but also the "why," gaining insights into
... Read more
Practical C++ Financial Programming

by Carlos Oliveira ...

Series series Professional and Applied Computing (R0)
Practical C++ Financial Programming is a hands-on book for programmers wanting to apply C++ to programming problems in the financial industry. The book explains those aspects of the language that are more frequently used in writing financial software, including the STL, templates, and various numerical libraries. The book also describes many of the important problems in financial engineering that ... Read more

₹5,711.19

Practical C++ Financial Programming is a hands-on book for programmers wanting to apply C++ to programming problems in the financial industry. The book explains those aspects of the language that are more frequently used in writing financial software, including the STL, templates, and various numerical libraries. The book also describes many of the important problems in financial engineering that
... Read more
Data Parallel C++

Programming Accelerated Systems Using C++ and SYCL

by James Reinders, Ben Ashbaugh, James Brodman, Michael Kinsner, John Pennycook, Xinmin Tian ...

Series series Professional and Applied Computing (R0)
"This book, now in is second edition, is the premier resource to learn SYCL 2020 and is the ONLY book you need to become part of this community." Erik Lindahl, GROMACS and Stockholm UniversityLearn how to accelerate C++ programs using data parallelism and SYCL.This open access book enables C++ programmers to be at the forefront of this exciting and important development that is helping to push ... Read more

Free

"This book, now in is second edition, is the premier resource to learn SYCL 2020 and is the ONLY book you need to become part of this community." Erik Lindahl, GROMACS and Stockholm UniversityLearn how to accelerate C++ programs using data parallelism and SYCL.This open access book enables C++ programmers to be at the forefront of this exciting and important development that is helping to push
... Read more
Java Design Patterns

A Hands-On Experience with Real-World Examples

by Vaskaran Sarcar ...

Series series Professional and Applied Computing (R0)
Use the step-by-step approach of this book to learn and implement design patterns in real-world applications. It focuses on classical design patterns with Java 17 and Eclipse (2021-09). In addition to Gang of Four (GoF) design patterns, the book covers popular and alternative design patterns and includes criticisms of design patterns in a chapter on anti-patterns.The book is divided into four ... Read more

₹4,370.71

Use the step-by-step approach of this book to learn and implement design patterns in real-world applications. It focuses on classical design patterns with Java 17 and Eclipse (2021-09). In addition to Gang of Four (GoF) design patterns, the book covers popular and alternative design patterns and includes criticisms of design patterns in a chapter on anti-patterns.The book is divided into four
... Read more
Crafting Interpreters

by Robert Nystrom ...

Despite using them every day, most software engineers know little about how programming languages are designed and implemented. For many, their only experience with that corner of computer science was a terrifying "compilers" class that they suffered through in undergrad and tried to blot from their memory as soon as they had scribbled their last NFA to DFA conversion on the final exam.That ... Read more

₹3,355.00 or Free with Kobo Plus

Despite using them every day, most software engineers know little about how programming languages are designed and implemented. For many, their only experience with that corner of computer science was a terrifying "compilers" class that they suffered through in undergrad and tried to blot from their memory as soon as they had scribbled their last NFA to DFA conversion on the final exam.That
... Read more
Language Constructs for Describing Features

Proceedings of the FIREworks workshop

Edited by Stephen Gilmore, Mark Ryan ...

A feature is a small modification or extension of a system which can be seen as having a self-contained functional role, such as Call Forwarding, Automatic Call back and Voice Mail in telephone services, to which users can subscribe. Feature interaction happens when one feature modifies or subverts the operation of another, and this problem has received a great deal of attention from industry and ... Read more

₹3,360.63

A feature is a small modification or extension of a system which can be seen as having a self-contained functional role, such as Call Forwarding, Automatic Call back and Voice Mail in telephone services, to which users can subscribe. Feature interaction happens when one feature modifies or subverts the operation of another, and this problem has received a great deal of attention from industry and
... Read more
Multi-Paradigm Programming using C++

by Dirk Vermeir ...

An Introduction to Multi-Paradigm Programming using C++ is a self-contained reference book for those studying and using C++. Starting from scratch, Dirk Vermeir explains the idea of address, value and type in C++ before quickly moving on to cover the more important aspects of the language such as classes, templates, generic programming and inheritance. He includes recent developments in C++, such ... Read more

₹6,721.27

An Introduction to Multi-Paradigm Programming using C++ is a self-contained reference book for those studying and using C++. Starting from scratch, Dirk Vermeir explains the idea of address, value and type in C++ before quickly moving on to cover the more important aspects of the language such as classes, templates, generic programming and inheritance. He includes recent developments in C++, such
... Read more
Formal Verification of Just-in-Time Compilation

by Aurèle Barrière ...

Series series ACM Books
This book outlines a methodology to develop formally verified Just-in-Time compilers. Just-in-Time compilation is a technique to execute programs, where execution is interleaved with optimizations of the program itself. These compilers often produce fast executions, so much so that their use has grown greatly for dynamic programming languages. Most modern web browsers today use Just-in-Time ... Read more

₹3,764.90

This book outlines a methodology to develop formally verified Just-in-Time compilers. Just-in-Time compilation is a technique to execute programs, where execution is interleaved with optimizations of the program itself. These compilers often produce fast executions, so much so that their use has grown greatly for dynamic programming languages. Most modern web browsers today use Just-in-Time
... Read more
Topics in Theoretical Computer Science

Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings

Edited by Mohammad Reza Mousavi, Jiří Sgall ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the Second IFIP WG 1.8 International Conference on Topics in Theoretical Computer Science, TTCS 2017, held in Tehran, Iran, in September 2017.The 8 papers presented in this volume were carefully reviewed and selected from 20 submissions. They were organized in topical sections named: algorithms and complexity; and logic, semantics, and programming ... Read more

₹3,360.63

This book constitutes the refereed proceedings of the Second IFIP WG 1.8 International Conference on Topics in Theoretical Computer Science, TTCS 2017, held in Tehran, Iran, in September 2017.The 8 papers presented in this volume were carefully reviewed and selected from 20 submissions. They were organized in topical sections named: algorithms and complexity; and logic, semantics, and programming
... Read more
Einführung in die Bash

Konzepte, Kommandos und Programmierung

by Peter Mandl ...

Series series Computer Science and Engineering (German Language)
Das Buch vermittelt praktisch verwertbare Shell-Kenntnisse mit einem Fokus auf Bash unter Linux. Neben den grundlegenden Konzepten werden die wichtigsten Bash-Kommandos für die Dateibearbeitung, die Vergabe von Rechten und die Prozessverwaltung knapp und prägnant erläutert. Die Kommandos werden mit vielen Übungen praktisch erprobt. Erste Shell-Programme können nach kurzer Zeit eigenständig ... Read more

₹1,136.33

Das Buch vermittelt praktisch verwertbare Shell-Kenntnisse mit einem Fokus auf Bash unter Linux. Neben den grundlegenden Konzepten werden die wichtigsten Bash-Kommandos für die Dateibearbeitung, die Vergabe von Rechten und die Prozessverwaltung knapp und prägnant erläutert. Die Kommandos werden mit vielen Übungen praktisch erprobt. Erste Shell-Programme können nach kurzer Zeit eigenständig
... Read more
JAVA Aufgaben und Übungen

Aufgaben, Lösungen, PAP und Struktogramme für den IT-Unterricht

by Erich J. Schreiber ...

Series series Computer Science and Engineering (German Language)
Dieses Lehrbuch erklärt grundlegende JAVA-Konzepte mit Hilfe von zahlreichen Beispielen und Aufgabenstellungen. Insgesamt sind über 100 Aufgaben vorhanden mit Lösungen im Quellcode (Source). Das Buch bietet ebenfalls Präsentationsvorlagen, die auf die Syntax der Programmanweisungen eingehen.Zu der Planung von Software gehört die UML (Unified Modeling Language), eine grafische Modellierungssprache. ... Read more

₹2,265.59

Dieses Lehrbuch erklärt grundlegende JAVA-Konzepte mit Hilfe von zahlreichen Beispielen und Aufgabenstellungen. Insgesamt sind über 100 Aufgaben vorhanden mit Lösungen im Quellcode (Source). Das Buch bietet ebenfalls Präsentationsvorlagen, die auf die Syntax der Programmanweisungen eingehen.Zu der Planung von Software gehört die UML (Unified Modeling Language), eine grafische Modellierungssprache.
... Read more
Rigorous State-Based Methods

11th International Conference, ABZ 2025, Düsseldorf, Germany, June 10–13, 2025, Proceedings

Edited by Michael Leuschel, Fuyuki Ishikawa ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 11th International Conference on Rigorous State-Based Methods, ABZ 2025, held in Düsseldorf, Germany, during June 10–13, 2025.The 10 full papers, 4 short papers, 2 PhD Symposium papers and 5 case study papers presented in this book were carefully reviewed and selected from 33 submissions. The proceedings also contain one invited talk in full ... Read more

₹8,741.43

This book constitutes the refereed proceedings of the 11th International Conference on Rigorous State-Based Methods, ABZ 2025, held in Düsseldorf, Germany, during June 10–13, 2025.The 10 full papers, 4 short papers, 2 PhD Symposium papers and 5 case study papers presented in this book were carefully reviewed and selected from 33 submissions. The proceedings also contain one invited talk in full
... Read more
Maîtriser le Développement d'Applications Mobiles : De Swift à Kotlin, une Approche Complète

Un Guide Pratique pour Créer des Applications Mobiles Modernes sur iOS et Android

by YVES SITBON ...

Ce livre est un guide complet destiné aux développeurs cherchant à exceller dans la création d'applications mobiles sur les plateformes iOS et Android. Couvrant les langages de programmation Swift et Kotlin, ainsi que les frameworks tels que Flutter, ce livre offre une exploration détaillée des meilleures pratiques, des outils essentiels et des techniques avancées nécessaires pour réussir dans le ... Read more

₹1,292.47 or Free with Kobo Plus

Ce livre est un guide complet destiné aux développeurs cherchant à exceller dans la création d'applications mobiles sur les plateformes iOS et Android. Couvrant les langages de programmation Swift et Kotlin, ainsi que les frameworks tels que Flutter, ce livre offre une exploration détaillée des meilleures pratiques, des outils essentiels et des techniques avancées nécessaires pour réussir dans le
... Read more
Interactive Theorem Proving

8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings

Edited by Mauricio Ayala-Rincón, César A. Muñoz ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 8th International Conference on Interactive Theorem Proving, ITP 2017, held in Brasilia, Brazil, in September 2017.The 28 full papers, 2 rough diamond papers, and 3 invited talk papers presented were carefully reviewed and selected from 65 submissions. The topics range from theoretical foundations to implementation aspects and applications in ... Read more

₹3,360.63

This book constitutes the refereed proceedings of the 8th International Conference on Interactive Theorem Proving, ITP 2017, held in Brasilia, Brazil, in September 2017.The 28 full papers, 2 rough diamond papers, and 3 invited talk papers presented were carefully reviewed and selected from 65 submissions. The topics range from theoretical foundations to implementation aspects and applications in
... Read more
Conceptual Modeling

36th International Conference, ER 2017, Valencia, Spain, November 6–9, 2017, Proceedings

Edited by Heinrich C. Mayr, Giancarlo Guizzardi, Hui Ma, Oscar Pastor ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 35th International Conference on Conceptual Modeling, ER 2017, held in Valencia, Spain, in November 2017.The 28 full and 10 short papers presented together with 1 full 6 keynotes were carefully reviewed and selected from 153 submissions.This events covers a wide range of following topics: Conceptual Modeling Methodology, Conceptual Modeling and ... Read more

₹3,360.63

This book constitutes the refereed proceedings of the 35th International Conference on Conceptual Modeling, ER 2017, held in Valencia, Spain, in November 2017.The 28 full and 10 short papers presented together with 1 full 6 keynotes were carefully reviewed and selected from 153 submissions.This events covers a wide range of following topics: Conceptual Modeling Methodology, Conceptual Modeling and
... Read more
Coordination Models and Languages

20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings

Edited by Giovanna Di Marzo Serugendo, Michele Loreti ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 20th International Conference on Coordination Models and Languages, COORDINATION 2018, held in Madrid, Spain, in June 2018, as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018.The 12 full papers included in this volume were carefully reviewed and selected from 26 submissions. The papers cover a wide ... Read more

₹3,360.63

This book constitutes the proceedings of the 20th International Conference on Coordination Models and Languages, COORDINATION 2018, held in Madrid, Spain, in June 2018, as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018.The 12 full papers included in this volume were carefully reviewed and selected from 26 submissions. The papers cover a wide
... Read more
Unifying Theories of Programming

7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings

Edited by Pedro Ribeiro, Augusto Sampaio ...

Series series Springer Nature Proceedings Computer Science
This volume contains papers presented at UTP 2019, the 7th International Symposium on Unifying Theories of Programming, held in Porto, Portugal, on the 8th of October 2019. This edition of the UTP symposium is in honor of Sir Tony Hoare, on the occasion of his 85th birthday. The papers contained in this volume were invited, and friendly refereed, original contributions sought from the UTP ... Read more

₹3,360.63

This volume contains papers presented at UTP 2019, the 7th International Symposium on Unifying Theories of Programming, held in Porto, Portugal, on the 8th of October 2019. This edition of the UTP symposium is in honor of Sir Tony Hoare, on the occasion of his 85th birthday. The papers contained in this volume were invited, and friendly refereed, original contributions sought from the UTP
... Read more
Accelerator Programming Using Directives

8th International Workshop, WACCPD 2021, Virtual Event, November 14, 2021, Proceedings

Edited by Sridutt Bhalachandra, Christopher Daley, Verónica Melesse Vergara ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 8th International Workshop on Accelerator Programming Using Directives, WACCPD 2021, which took place in November 2021. The conference was held as hybrid event.WACCPD is one of the major forums for bringing together users, developers, and the software and tools community to share knowledge and experiences when programming emerging complex parallel ... Read more

₹3,700.47

This book constitutes the proceedings of the 8th International Workshop on Accelerator Programming Using Directives, WACCPD 2021, which took place in November 2021. The conference was held as hybrid event.WACCPD is one of the major forums for bringing together users, developers, and the software and tools community to share knowledge and experiences when programming emerging complex parallel
... Read more

Rakuten Kobo

eReaders

Apps

Accessories

Shopping Cart

You're getting the VIP treatment!

Your Shopping Cart is empty

Available:

1 audiobook monthly

+ FREE 30-day trial

Available:

1 audiobook monthly

+ FREE 30-day trial

Recommended For You

Compilers eBooks

Build Your Own Programming Language

Practical TLA+

Scala Programming for Big Data Analytics

Mastering UI/UX Design: Theoretical Foundations and Practical Applications

Pivotal Certified Professional Core Spring 5 Developer Exam

Introduction to React

Mastering Rust: The Ultimate Starter Guide

Practical C++ Financial Programming

Data Parallel C++

Java Design Patterns

Crafting Interpreters

Language Constructs for Describing Features

Multi-Paradigm Programming using C++

Formal Verification of Just-in-Time Compilation

Topics in Theoretical Computer Science

Einführung in die Bash

JAVA Aufgaben und Übungen

Rigorous State-Based Methods

Maîtriser le Développement d'Applications Mobiles : De Swift à Kotlin, une Approche Complète

Interactive Theorem Proving

Conceptual Modeling

Coordination Models and Languages

Unifying Theories of Programming

Accelerator Programming Using Directives