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

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
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
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
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
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
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
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
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
Writing a C Compiler

Build a Real Programming Language from Scratch

by Nora Sandler ...

A fun, hands-on guide to writing your own compiler for a real-world programming language.Compilers are at the heart of everything programmers do, yet even experienced developers find them intimidating. For those eager to truly grasp how compilers work, Writing a C Compiler dispels the mystery. This book guides you through a fun and engaging project where you’ll learn what it takes to compile a ... Read more

₹2,649.80

A fun, hands-on guide to writing your own compiler for a real-world programming language.Compilers are at the heart of everything programmers do, yet even experienced developers find them intimidating. For those eager to truly grasp how compilers work, Writing a C Compiler dispels the mystery. This book guides you through a fun and engaging project where you’ll learn what it takes to compile a
... Read more
Pro Spring Boot 3

An Authoritative Guide with Best Practices

by Felipe Gutierrez ...

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

Was ₹3,030.23 Now ₹2,426.07

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
... Read more
Mastering WebGL: Crafting Advanced 3D Web Experiences

WebGL Wizadry

by Kameron Hussain, Frahaan Hussain ...

Series series WebGL Wizadry
"Mastering WebGL: Crafting Advanced 3D Web Experiences" is an indispensable resource for any web developer or graphic designer looking to elevate their skill set in the realm of advanced 3D web graphics. WebGL, the web-based graphics library, has revolutionized how we experience graphics on the web, and this book serves as your comprehensive guide to mastering its potential.Starting with a brief ... Read more

₹831.00

"Mastering WebGL: Crafting Advanced 3D Web Experiences" is an indispensable resource for any web developer or graphic designer looking to elevate their skill set in the realm of advanced 3D web graphics. WebGL, the web-based graphics library, has revolutionized how we experience graphics on the web, and this book serves as your comprehensive guide to mastering its potential.Starting with a brief
... Read more
Concurrency, Security, and Puzzles

Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday

Edited by Thomas Gibson-Robinson, Philippa Hopcroft, Ranko Lazić ...

Series series Computer Science (R0)
This festschrift was written in honor of Andrew William (Bill) Roscoe on the occasion of his 60th birthday, and features tributes by Sir Tony Hoare, Stephen Brookes, and Michael Wooldridge. Bill Roscoe is an international authority in process algebra, and has been the driving force behind the development of the FDR refinement checker for CSP. He is also world renowned for his pioneering work in ... Read more

₹3,360.63

This festschrift was written in honor of Andrew William (Bill) Roscoe on the occasion of his 60th birthday, and features tributes by Sir Tony Hoare, Stephen Brookes, and Michael Wooldridge. Bill Roscoe is an international authority in process algebra, and has been the driving force behind the development of the FDR refinement checker for CSP. He is also world renowned for his pioneering work in
... Read more
MATLAB Machine Learning

by Michael Paluszek, Stephanie Thomas ...

Series series Professional and Applied Computing (R0)
This book is a comprehensive guide to machine learning with worked examples in MATLAB. It starts with an overview of the history of Artificial Intelligence and automatic control and how the field of machine learning grew from these. It provides descriptions of all major areas in machine learning.The book reviews commercially available packages for machine learning and shows how they fit into the ... Read more

₹3,030.23

This book is a comprehensive guide to machine learning with worked examples in MATLAB. It starts with an overview of the history of Artificial Intelligence and automatic control and how the field of machine learning grew from these. It provides descriptions of all major areas in machine learning.The book reviews commercially available packages for machine learning and shows how they fit into the
... Read more
R Data Science Quick Reference

A Pocket Guide to APIs, Libraries, and Packages

by Thomas Mailund ...

Series series Professional and Applied Computing (R0)
In this handy, practical book you will cover each concept concisely, with many illustrative examples. You'll be introduced to several R data science packages, with examples of how to use each of them.In this book, you’ll learn about the following APIs and packages that deal specifically with data science applications: readr, dibble, forecasts, lubridate, stringr, tidyr, magnittr, dplyr, purrr, ... Read more

₹3,030.23

In this handy, practical book you will cover each concept concisely, with many illustrative examples. You'll be introduced to several R data science packages, with examples of how to use each of them.In this book, you’ll learn about the following APIs and packages that deal specifically with data science applications: readr, dibble, forecasts, lubridate, stringr, tidyr, magnittr, dplyr, purrr,
... Read more
Mastering GameMaker: A Journey from Novice to Expert

by Kameron Hussain, Frahaan Hussain ...

"Mastering GameMaker: A Journey from Novice to Expert" is the definitive guide for anyone aspiring to master the art of game development using the renowned GameMaker Studio. Whether you're an absolute beginner or an intermediate user looking to refine your skills, this book offers a comprehensive and engaging path to becoming an expert in one of the most user-friendly game development platforms ... Read more

₹828.00

"Mastering GameMaker: A Journey from Novice to Expert" is the definitive guide for anyone aspiring to master the art of game development using the renowned GameMaker Studio. Whether you're an absolute beginner or an intermediate user looking to refine your skills, this book offers a comprehensive and engaging path to becoming an expert in one of the most user-friendly game development platforms
... Read more
OpenGL to WebGL: Bridging the Graphics Divide

by Kameron Hussain, Frahaan Hussain ...

"OpenGL to WebGL: Bridging the Graphics Divide" is an authoritative guide for developers and programmers looking to transition from the traditional OpenGL framework to the web-based WebGL for graphics programming. This comprehensive book provides a deep dive into the intricacies of both OpenGL and WebGL, offering insights into their similarities and differences, and the unique opportunities each ... Read more

₹834.00

"OpenGL to WebGL: Bridging the Graphics Divide" is an authoritative guide for developers and programmers looking to transition from the traditional OpenGL framework to the web-based WebGL for graphics programming. This comprehensive book provides a deep dive into the intricacies of both OpenGL and WebGL, offering insights into their similarities and differences, and the unique opportunities each
... Read more
Beginning Haskell

A Project-Based Approach

by Alejandro Serrano Mena ...

Series series Professional and Applied Computing (R0)
Beginning Haskell provides a broad-based introduction to the Haskell language, its libraries and environment, and to the functional programming paradigm that is fast growing in importance in the software industry. The book takes a project-based approach to learning the language that is unified around the building of a web-based storefront. Excellent coverage is given to the Haskell ecosystem and ... Read more

₹3,360.63

Beginning Haskell provides a broad-based introduction to the Haskell language, its libraries and environment, and to the functional programming paradigm that is fast growing in importance in the software industry. The book takes a project-based approach to learning the language that is unified around the building of a web-based storefront. Excellent coverage is given to the Haskell ecosystem and
... Read more
Foundational Java

Key Elements and Practical Programming

by David Parsons ...

Series series Computer Science (R0)
This book presents a guide to the core features of Java – and some more recent innovations – enabling the reader to build skills and confidence though tried-and-trusted stages, supported by exercises that reinforce key learning points. All of the most useful and commonly applied Java syntax and libraries are introduced, along with many example programs that can provide the basis for more ... Read more

₹5,380.79

This book presents a guide to the core features of Java – and some more recent innovations – enabling the reader to build skills and confidence though tried-and-trusted stages, supported by exercises that reinforce key learning points. All of the most useful and commonly applied Java syntax and libraries are introduced, along with many example programs that can provide the basis for more
... Read more
NASA Formal Methods

8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings

Edited by Sanjai Rayadurgam, Oksana Tkachuk ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 8th International Symposium on NASA Formal Methods, NFM 2016, held in Minneapolis, MN, USA, in June 2016.The 19 full and 10 short papers presented in this volume were carefully reviewed and selected from 70 submissions. The papers were organized in topical sections named: requirements and architectures; testing and run-time enforcement; theorem proving ... Read more

₹4,370.71

This book constitutes the proceedings of the 8th International Symposium on NASA Formal Methods, NFM 2016, held in Minneapolis, MN, USA, in June 2016.The 19 full and 10 short papers presented in this volume were carefully reviewed and selected from 70 submissions. The papers were organized in topical sections named: requirements and architectures; testing and run-time enforcement; theorem proving
... Read more
Tests and Proofs

14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings

Edited by Wolfgang Ahrendt, Heike Wehrheim ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as part of the 4th World Congress on Formal Methods 2020, Bergen, Norway, in June 2020.The 7 regular papers, 1 short paper and 2 demonstration papers presented in this volume were carefully reviewed and selected from 209 submissions. The TAP conference promotes research in ... Read more

₹3,360.63

This book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as part of the 4th World Congress on Formal Methods 2020, Bergen, Norway, in June 2020.The 7 regular papers, 1 short paper and 2 demonstration papers presented in this volume were carefully reviewed and selected from 209 submissions. The TAP conference promotes research in
... Read more
Java üben mit dem Plotter

Ein Überblick für Studierende und Einsteiger

by Stephan Euler ...

Series series Computer Science and Engineering (German Language)
Dieses essential zeigt, wie man in Java-Anwendungen mit dem Plotter grafische Darstellungen erzeugen kann. Mit dem Plotter-Objekt – angelehnt an den Stiftplotter, der sich mit Steuerbefehlen über Papier bewegt – wird eine einfache Schnittstelle zur grafischen Programmierung angeboten. Bereits beim Einstieg in die Programmierung entstehen so erste grafische Darstellungen wie z.B. Funktionsverläufe ... Read more

₹391.76

Dieses essential zeigt, wie man in Java-Anwendungen mit dem Plotter grafische Darstellungen erzeugen kann. Mit dem Plotter-Objekt – angelehnt an den Stiftplotter, der sich mit Steuerbefehlen über Papier bewegt – wird eine einfache Schnittstelle zur grafischen Programmierung angeboten. Bereits beim Einstieg in die Programmierung entstehen so erste grafische Darstellungen wie z.B. Funktionsverläufe
... Read more
Formal Methods and Software Engineering

18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings

Edited by Kazuhiro Ogata, Mark Lawford, Shaoying Liu ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 18th International Conference on Formal Engineering Methods, ICFEM 2016, held in Tokyo, Japan, in November 2016. The 27 revised full papers presented together with three invited talks were carefully reviewed and selected from 64 submissions. The conference focuses in all areas related to formal engineering meth-ods, such as veriﬁcation and ... Read more

₹3,360.63

This book constitutes the refereed proceedings of the 18th International Conference on Formal Engineering Methods, ICFEM 2016, held in Tokyo, Japan, in November 2016. The 27 revised full papers presented together with three invited talks were carefully reviewed and selected from 64 submissions. The conference focuses in all areas related to formal engineering meth-ods, such as veriﬁcation and
... 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

Practical TLA+

Scala Programming for Big Data Analytics

Mastering UI/UX Design: Theoretical Foundations and Practical Applications

Mastering Rust: The Ultimate Starter Guide

Java Design Patterns

Practical C++ Financial Programming

Crafting Interpreters

Introduction to React

Pivotal Certified Professional Core Spring 5 Developer Exam

Data Parallel C++

Writing a C Compiler

Pro Spring Boot 3

Mastering WebGL: Crafting Advanced 3D Web Experiences

Concurrency, Security, and Puzzles

MATLAB Machine Learning

R Data Science Quick Reference

Mastering GameMaker: A Journey from Novice to Expert

OpenGL to WebGL: Bridging the Graphics Divide

Beginning Haskell

Foundational Java

NASA Formal Methods

Tests and Proofs

Java üben mit dem Plotter

Formal Methods and Software Engineering