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

The Coder's Path to Wealth and Independence

by Mark Beckner ...

Developers, programmers, technical architects, and consultants: You are highly skilled and have deep commitment to your craft as well as the motivation to excel. It’s time to step away from the perceived security of a full-time salaried position, or a marginally successful solo business, and step into a world of freedom, independence, and wealth. With your current technical skills, and an open ... Read more

RM 152.79

Developers, programmers, technical architects, and consultants: You are highly skilled and have deep commitment to your craft as well as the motivation to excel. It’s time to step away from the perceived security of a full-time salaried position, or a marginally successful solo business, and step into a world of freedom, independence, and wealth. With your current technical skills, and an open
... Read more
Models, Mindsets, Meta: The What, the How, and the Why Not?

Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

Edited by Tiziana Margaria, Susanne Graf, Kim G. Larsen ...

Series series Computer Science (R0)
This Festschrift volume is published in honor of Bernhard Steffen, Professor at the Technical University of Dortmund, on the occasion of his 60th birthday. His vision as well as his theoretical and practical work span the development and implementation of novel, specific algorithms, and the establishment of cross-community relationships with the effect to obtain simpler, yet more powerful ... Read more

RM 206.89

This Festschrift volume is published in honor of Bernhard Steffen, Professor at the Technical University of Dortmund, on the occasion of his 60th birthday. His vision as well as his theoretical and practical work span the development and implementation of novel, specific algorithms, and the establishment of cross-community relationships with the effect to obtain simpler, yet more powerful
... Read more
Formal Techniques for Safety-Critical Systems

5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers

Edited by Cyrille Artho, Peter Csaba Ölveczky ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 5th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2016, held in Tokyo, Japan, in November 2016.The 9 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 23 submissions. The papers are organized in topical sections on specification and verification; ... Read more

RM 206.89

This book constitutes the refereed proceedings of the 5th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2016, held in Tokyo, Japan, in November 2016.The 9 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 23 submissions. The papers are organized in topical sections on specification and verification;
... Read more
Speech and Language Processing for Human-Machine Communications

Proceedings of CSI 2015

Edited by S. S. Agrawal, Poonam Bansal, Ritika Wason, Amita Devi ...

Series series Springer Nature Proceedings excluding Computer Science
This volume comprises the select proceedings of the annual convention of the Computer Society of India. Divided into 10 topical volumes, the proceedings present papers on state-of-the-art research, surveys, and succinct reviews. The volumes cover diverse topics ranging from communications networks to big data analytics, and from system architecture to cyber security. This volume focuses on Speech ... Read more

RM 372.39

This volume comprises the select proceedings of the annual convention of the Computer Society of India. Divided into 10 topical volumes, the proceedings present papers on state-of-the-art research, surveys, and succinct reviews. The volumes cover diverse topics ranging from communications networks to big data analytics, and from system architecture to cyber security. This volume focuses on Speech
... Read more
Einführung in JavaFX

Moderne GUIs für RIAs und Java-Applikationen

by Ralph Steyer ...

Series series Computer Science and Engineering (German Language)
Das JavaFX-Framework gibt es schon seit einigen Jahren, hat aber mit den ersten Versionen fast nur noch den Namen gemeinsam. Mit der Version 2 hat JavaFX einen festen und ausgereiften Stand erreicht und wird als die kommende Technologie im Java-Umfeld angesehen, um leistungsfähige und moderne grafische Benutzeroberflächen (GUI) erstellen zu können. Dieses Buch stellt Ihnen dazu eine Vielzahl an ... Read more

RM 73.39

Das JavaFX-Framework gibt es schon seit einigen Jahren, hat aber mit den ersten Versionen fast nur noch den Namen gemeinsam. Mit der Version 2 hat JavaFX einen festen und ausgereiften Stand erreicht und wird als die kommende Technologie im Java-Umfeld angesehen, um leistungsfähige und moderne grafische Benutzeroberflächen (GUI) erstellen zu können. Dieses Buch stellt Ihnen dazu eine Vielzahl an
... Read more
Formal Techniques for Safety-Critical Systems

4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers

Edited by Cyrille Artho, Peter Csaba Ölveczky ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 4th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2015, held in Paris, France, in November 2015.The 15 revised full papers presented together with one invited talk and two tool papers were carefully reviewed and selected from 41 submissions. The papers are organized in topical sections on timed systems; railway ... Read more

RM 206.89

This book constitutes the refereed proceedings of the 4th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2015, held in Paris, France, in November 2015.The 15 revised full papers presented together with one invited talk and two tool papers were carefully reviewed and selected from 41 submissions. The papers are organized in topical sections on timed systems; railway
... 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

RM 110.19

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
Pro CDI 2 in Java EE 8

An In-Depth Guide to Context and Dependency Injection

by Jan Beernink, Arjan Tijms ...

Series series Professional and Applied Computing (R0)
In Pro CDI 2 in Java EE 8, use CDI and the CDI 2.0 to automatically manage the life cycle of your enterprise Java, Java EE, or Jakarta EE application’s beans using predefined scopes and define custom life cycles using scopes. In this book, you will see how you can implement dynamic and asynchronous communication between separate beans in your application with CDI events.The authors explain how to ... Read more

RM 220.39

In Pro CDI 2 in Java EE 8, use CDI and the CDI 2.0 to automatically manage the life cycle of your enterprise Java, Java EE, or Jakarta EE application’s beans using predefined scopes and define custom life cycles using scopes. In this book, you will see how you can implement dynamic and asynchronous communication between separate beans in your application with CDI events.The authors explain how to
... Read more
PROGRAMMING IN C# 10 - Basic Techniques

by Mario De Ghetto ...

Do you want to learn the basic techniques for programming in C# 10 and gain enough knowledge to start creating your own applications? Do you want to know how .NET 6.0, the compiler, Garbage Collector and Visual Studio 2022 work? Do you want to start laying the foundation for your new profession in software development? Or do you simply need to pass college exams in computer science or computer ... Read more

RM 58.29 or Free with Kobo Plus

Do you want to learn the basic techniques for programming in C# 10 and gain enough knowledge to start creating your own applications? Do you want to know how .NET 6.0, the compiler, Garbage Collector and Visual Studio 2022 work? Do you want to start laying the foundation for your new profession in software development? Or do you simply need to pass college exams in computer science or computer
... Read more
Beginning Application Lifecycle Management

by Joachim Rossberg ...

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 ... Read more

RM 240.69

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
... Read more
R for Cloud Computing

An Approach for Data Scientists

by A Ohri ...

R for Cloud Computing looks at some of the tasks performed by business analysts on the desktop (PC era) and helps the user navigate the wealth of information in R and its 4000 packages as well as transition the same analytics using the cloud. With this information the reader can select both cloud vendors and the sometimes confusing cloud ecosystem as well as the R packages that can help process ... Read more

RM 219.29

R for Cloud Computing looks at some of the tasks performed by business analysts on the desktop (PC era) and helps the user navigate the wealth of information in R and its 4000 packages as well as transition the same analytics using the cloud. With this information the reader can select both cloud vendors and the sometimes confusing cloud ecosystem as well as the R packages that can help process
... Read more
Python for Beginners

Learn It as Easy as Pie

by Yatin Bayya ...

Whether you are an absolute beginner or an experienced programmer, learn Python programming in a simple, concise, and straightforward manner. Learn to build four smashing projects: a calculator, a drawing app, a login system, and a notes app. This book will walk you through the first steps of becoming a programmer as easy as pie. ... Read more

RM 26.77 or Free with Kobo Plus

Whether you are an absolute beginner or an experienced programmer, learn Python programming in a simple, concise, and straightforward manner. Learn to build four smashing projects: a calculator, a drawing app, a login system, and a notes app. This book will walk you through the first steps of becoming a programmer as easy as pie.
... Read more
Functional Data Structures and Algorithms

A Proof Assistant Approach

by Tobias Nipkow ...

Series 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 ... Read more

RM 167.59

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
... Read more
ISO 27001:2022 - Explications

Système de Management de la Sécurité de l'Information - Guide Pratique

by Dr. William F. Harrington ...

Title: ISO 27001:2022 - ExplicationsSubtitle: Système de Management de la Sécurité de l'Information - Guide PratiqueIntroduction:"ISO 27001:2022 - Explications" est un guide pratique complet dédié à la norme ISO 27001:2022, offrant une analyse approfondie et des explications claires sur le Système de Management de la Sécurité de l'Information (SMSI). Ce livre est destiné à tous les professionnels ... Read more

RM 254.79

Title: ISO 27001:2022 - ExplicationsSubtitle: Système de Management de la Sécurité de l'Information - Guide PratiqueIntroduction:"ISO 27001:2022 - Explications" est un guide pratique complet dédié à la norme ISO 27001:2022, offrant une analyse approfondie et des explications claires sur le Système de Management de la Sécurité de l'Information (SMSI). Ce livre est destiné à tous les professionnels
... 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
Modelling to Program

Second International Workshop, M2P 2020, Lappeenranta, Finland, March 10–12, 2020, Revised Selected Papers

Edited by Ajantha Dahanayake, Oscar Pastor, Bernhard Thalheim ...

Series series Computer Science (R0)
This book constitutes revised selected papers from the Second International Workshop on Modelling to Program, M2P 2020, held in Lappeenranta, Finland, in March 2020.The 10 papers presented were thoroughly reviewed and selected from 24 submissions. The papers provide a discussion on novel approaches to programming based on modelling approaches such as model-driven development (MDE, MDA, MDD) and ... Read more

RM 221.29

This book constitutes revised selected papers from the Second International Workshop on Modelling to Program, M2P 2020, held in Lappeenranta, Finland, in March 2020.The 10 papers presented were thoroughly reviewed and selected from 24 submissions. The papers provide a discussion on novel approaches to programming based on modelling approaches such as model-driven development (MDE, MDA, MDD) and
... Read more
Programming Languages and Systems

32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings

Edited by Thomas Wies ...

Series Book 13990 - Lecture Notes in Computer Science
This open access book constitutes the proceedings of the 32nd European Symposium on Programming, ESOP 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023.The 20 regular papers presented in this volume were carefully reviewed and selected from 55 submissions. They deal with fundamental issues in ... Read more

Free

This open access book constitutes the proceedings of the 32nd European Symposium on Programming, ESOP 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023.The 20 regular papers presented in this volume were carefully reviewed and selected from 55 submissions. They deal with fundamental issues in
... Read more
Fundamental Approaches to Software Engineering

22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Edited by Reiner Hähnle, Wil van der Aalst ...

Series series Springer Nature Proceedings Computer Science
This book is Open Access under a CC BY licence.This book constitutes the proceedings of the 22nd International Conference on Fundamental Approaches to Software Engineering, FASE 2019, which took place in Prague, Czech Republic in April 2019, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.The 24 papers presented in this volume were carefully reviewed ... Read more

Free

This book is Open Access under a CC BY licence.This book constitutes the proceedings of the 22nd International Conference on Fundamental Approaches to Software Engineering, FASE 2019, which took place in Prague, Czech Republic in April 2019, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.The 24 papers presented in this volume were carefully reviewed
... Read more
Programming Languages and Systems

28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Edited by Luís Caires ...

Series series Springer Nature Proceedings Computer Science
This open access book constitutes the proceedings of the 28th European Symposium on Programming, ESOP 2019, which took place in Prague, Czech Republic, in April 2019, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. ... Read more

Free

This open access book constitutes the proceedings of the 28th European Symposium on Programming, ESOP 2019, which took place in Prague, Czech Republic, in April 2019, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.
... Read more
Computer Aided Verification

31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

Edited by Isil Dillig, Serdar Tasiran ...

Series Book 1 - Springer Nature Proceedings Computer Science
This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019.The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following topical ... Read more

Free

This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019.The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following topical
... Read more
Inductive Logic Programming

31st International Conference, ILP 2022, Windsor Great Park, UK, September 28–30, 2022, Proceedings

Edited by Stephen H. Muggleton, Alireza Tamaddoni-Nezhad ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 31st International Conference on Inductive Logic Programming, ILP 2022, held during September 28-30, 2022.The 11 regular papers presented in this book were carefully reviewed and selected from 26 submissionsThe papers in these proceedings represent the diversity and vitality in present ILP research, including statistical relational learning, ... Read more

RM 243.39

This book constitutes the refereed proceedings of the 31st International Conference on Inductive Logic Programming, ILP 2022, held during September 28-30, 2022.The 11 regular papers presented in this book were carefully reviewed and selected from 26 submissionsThe papers in these proceedings represent the diversity and vitality in present ILP research, including statistical relational learning,
... Read more
C# 7 Quick Syntax Reference

A Pocket Guide to the Language, APIs, and Library

by Mikael Olsson ...

Series Book 7 - Professional and Applied Computing (R0)
This quick C# 7 guide is a condensed code and syntax reference to the C# programming language, updated with the latest features of C# 7.3 for .NET and Windows 10. It presents the essential C# 7 syntax in a well-organized format that can be used as a handy reference.In the C# 7 Quick Syntax Reference, you will find a concise reference to the C# language syntax: short, simple, and focused code ... Read more

RM 110.19

This quick C# 7 guide is a condensed code and syntax reference to the C# programming language, updated with the latest features of C# 7.3 for .NET and Windows 10. It presents the essential C# 7 syntax in a well-organized format that can be used as a handy reference.In the C# 7 Quick Syntax Reference, you will find a concise reference to the C# language syntax: short, simple, and focused code
... Read more
Verified Software: Theories, Tools, and Experiments

7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers

Edited by Arie Gurfinkel, Sanjit A. Seshia ...

Series series Springer Nature Proceedings Computer Science
This volume constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2015, held in July 2015 in San Francisco, CA, USA.The 12 revised full papers presented were carefully revised and selected from 25 submissions.The goal of this conference is to advance the state of the art in the science and ... Read more

RM 206.89

This volume constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2015, held in July 2015 in San Francisco, CA, USA.The 12 revised full papers presented were carefully revised and selected from 25 submissions.The goal of this conference is to advance the state of the art in the science and
... Read more
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

Edited by Marsha Chechik, Jean-François Raskin ...

Series 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 ... Read more

RM 206.89

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
... 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

The Coder's Path to Wealth and Independence

Models, Mindsets, Meta: The What, the How, and the Why Not?

Formal Techniques for Safety-Critical Systems

Speech and Language Processing for Human-Machine Communications

Einführung in JavaFX

Formal Techniques for Safety-Critical Systems

Introduction to React

Pro CDI 2 in Java EE 8

PROGRAMMING IN C# 10 - Basic Techniques

Beginning Application Lifecycle Management

R for Cloud Computing

Python for Beginners

Functional Data Structures and Algorithms

ISO 27001:2022 - Explications

Data Parallel C++

Modelling to Program

Programming Languages and Systems

Fundamental Approaches to Software Engineering

Programming Languages and Systems

Computer Aided Verification

Inductive Logic Programming

C# 7 Quick Syntax Reference

Verified Software: Theories, Tools, and Experiments

Tools and Algorithms for the Construction and Analysis of Systems