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

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
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
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
Instant Buildroot

by Daniel Manchón Vizuete ...

Filled with practical, step-by-step instructions and clear explanations for the most important and useful tasks. A concise guide full of step-by-step recipes to help you learn how to generate and configure an embedded Linux system using Buildroot.Instant Buildroot is for developers who want to know how to use Buildroot tools to generate and configure their own embedded system. It is assumed that ... Read more

₹187.00

Filled with practical, step-by-step instructions and clear explanations for the most important and useful tasks. A concise guide full of step-by-step recipes to help you learn how to generate and configure an embedded Linux system using Buildroot.Instant Buildroot is for developers who want to know how to use Buildroot tools to generate and configure their own embedded system. It is assumed that
... Read more
C++ 2013 for C# Developers

by Dean C. Wills ...

C++ 2013 for C# Developers provides a fast-track to C++ proficiency forthose already using the C# language at an advanced level. Beginning with a detailed explanation of the mechanics of C++'s execution sequence, its grammar, syntax and data access you'll quickly learn the similarities and differences between C++ and C#.The second and third partsof the of the book are devoted to a detailed deep ... Read more

₹4,030.87

C++ 2013 for C# Developers provides a fast-track to C++ proficiency forthose already using the C# language at an advanced level. Beginning with a detailed explanation of the mechanics of C++'s execution sequence, its grammar, syntax and data access you'll quickly learn the similarities and differences between C++ and C#.The second and third partsof the of the book are devoted to a detailed deep
... Read more
Thinking with Diagrams

Edited by Alan F. Blackwell ...

This book provides an introductory overview of the rapid growth in interdisciplinary research into Thinking with Diagrams. Diagrammatic representations are becoming more common in everyday human experience, yet they offer unique challenges to cognitive science research. Neither linguistic nor perceptual theories are sufficient to completely explain their advantages and applications. These research ... Read more

₹9,411.67

This book provides an introductory overview of the rapid growth in interdisciplinary research into Thinking with Diagrams. Diagrammatic representations are becoming more common in everyday human experience, yet they offer unique challenges to cognitive science research. Neither linguistic nor perceptual theories are sufficient to completely explain their advantages and applications. These research
... Read more
Essential Visual J++ 6.0 fast

How to develop Java applications and applets with Visual J++

by John Cowell ...

Series series Essential Series
Java is an object oriented language which allows you to create interactive Web pages, or to write applications which will run on any computer. Visual J++ gives you access to the power of Java with all the benefits of a modern visual development environment, for fast programming, and debugging. If you are new to Java or are an existing Java programmer who wants to switch to Visual J++, this book ... Read more

₹3,360.63

Java is an object oriented language which allows you to create interactive Web pages, or to write applications which will run on any computer. Visual J++ gives you access to the power of Java with all the benefits of a modern visual development environment, for fast programming, and debugging. If you are new to Java or are an existing Java programmer who wants to switch to Visual J++, this book
... Read more
Learning Java with Games

by Chong-wei Xu ...

Series series Computer Science (R0)
This innovative approach to teaching Java language and programming uses game design development as the method to applying concepts.Instead of teaching game design using Java, projects are designed to teach Java in a problem-solving approach that is both a fun and effective. Learning Java with Games introduces the concepts of Java and coding; then uses a project to emphasize those ideas. It does ... Read more

₹4,370.71

This innovative approach to teaching Java language and programming uses game design development as the method to applying concepts.Instead of teaching game design using Java, projects are designed to teach Java in a problem-solving approach that is both a fun and effective. Learning Java with Games introduces the concepts of Java and coding; then uses a project to emphasize those ideas. It does
... Read more
Guide to ILDJIT

by Simone Campanoni ...

Series series Computer Science (R0)
This book is a guide to getting started with ILDJIT, a compilation framework designed to be both easily extensible and easily configurable. Within this framework, it is possible to build a tool-chain by customizing ILDJIT for specific purposes. Customizations can be used within both static and dynamic compilers already included in the framework without adaptations. Moreover, customizations allow ... Read more

₹3,360.63

This book is a guide to getting started with ILDJIT, a compilation framework designed to be both easily extensible and easily configurable. Within this framework, it is possible to build a tool-chain by customizing ILDJIT for specific purposes. Customizations can be used within both static and dynamic compilers already included in the framework without adaptations. Moreover, customizations allow
... Read more
NASA Formal Methods

10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings

Edited by Aaron Dutle, César Muñoz, Anthony Narkawicz ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 10th International Symposium on NASA Formal Methods, NFM 2018, held in Newport News, VA, USA, in April 2018.The 24 full and 7 short papers presented in this volume were carefully reviewed and selected from 92 submissions. The papers focus on formal techniques and other approaches for software assurance, their theory, current capabilities and limitations ... Read more

₹3,360.63

This book constitutes the proceedings of the 10th International Symposium on NASA Formal Methods, NFM 2018, held in Newport News, VA, USA, in April 2018.The 24 full and 7 short papers presented in this volume were carefully reviewed and selected from 92 submissions. The papers focus on formal techniques and other approaches for software assurance, their theory, current capabilities and limitations
... Read more
Software Engineering and Formal Methods

17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings

Edited by Peter Csaba Ölveczky, Gwen Salaün ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019, held in Oslo, Norway, in September 2019.The 27 full papers presented were carefully reviewed and selected from 89 submissions. The papers cover a large variety of topics, including testing, formal verification, program analysis, runtime verification, malware ... Read more

₹3,360.63

This book constitutes the refereed proceedings of the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019, held in Oslo, Norway, in September 2019.The 27 full papers presented were carefully reviewed and selected from 89 submissions. The papers cover a large variety of topics, including testing, formal verification, program analysis, runtime verification, malware
... Read more
Formal Methods and Software Engineering

17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings

Edited by Michael Butler, Sylvain Conchon, Fatiha Zaïdi ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 17th International Conference on Formal Engineering Methods, ICFEM 2015, held in Paris, France, in November 2015. The 27 revised full papers presented were carefully reviewed and selected from 82 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state of ... Read more

₹3,360.63

This book constitutes the refereed proceedings of the 17th International Conference on Formal Engineering Methods, ICFEM 2015, held in Paris, France, in November 2015. The 27 revised full papers presented were carefully reviewed and selected from 82 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state of
... Read more
Google Bard: Navigating the Age of Information

by Kameron Hussain, Frahaan Hussain ...

In "Google Bard: Navigating the Age of Information," readers are introduced to the revolutionary world of AI as embodied by Google's Bard. This comprehensive guide delves into the technological advancements and challenges of the information age, offering a detailed exploration of how artificial intelligence like Bard is reshaping our interaction with digital data and transforming societal norms ... Read more

₹835.00

In "Google Bard: Navigating the Age of Information," readers are introduced to the revolutionary world of AI as embodied by Google's Bard. This comprehensive guide delves into the technological advancements and challenges of the information age, offering a detailed exploration of how artificial intelligence like Bard is reshaping our interaction with digital data and transforming societal norms
... Read more
Virtual Networks Unlocked: Your Guide to Azure Connectivity

by Kameron Hussain, Frahaan Hussain ...

Unlock the full potential of Microsoft Azure's networking capabilities with Virtual Networks Unlocked: Your Guide to Azure Connectivity. This comprehensive and practical guide walks you through every critical aspect of Azure Virtual Networking, making it an essential companion for IT professionals, cloud architects, and network engineers aiming to design, implement, and manage cloud-connected ... Read more

₹855.00 or Free with Kobo Plus

Unlock the full potential of Microsoft Azure's networking capabilities with Virtual Networks Unlocked: Your Guide to Azure Connectivity. This comprehensive and practical guide walks you through every critical aspect of Azure Virtual Networking, making it an essential companion for IT professionals, cloud architects, and network engineers aiming to design, implement, and manage cloud-connected
... Read more
Future Data and Security Engineering

4th International Conference, FDSE 2017, Ho Chi Minh City, Vietnam, November 29 – December 1, 2017, Proceedings

Edited by Josef Küng, Roland Wagner, Erich J. Neuhold, Makoto Takizawa, Tran Khanh Dang, Nam Thoai ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the Third International Conference on Future Data and Security Engineering, FDSE 2016, held in Can Tho City, Vietnam, in November 2016.The 28 revised full papers and 7 short papers presented were carefully reviewed and selected from 128 submissions.The accepted papers were grouped into the following sessions:Advances in query processing and ... Read more

₹3,360.63

This book constitutes the refereed proceedings of the Third International Conference on Future Data and Security Engineering, FDSE 2016, held in Can Tho City, Vietnam, in November 2016.The 28 revised full papers and 7 short papers presented were carefully reviewed and selected from 128 submissions.The accepted papers were grouped into the following sessions:Advances in query processing 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
OpenMP: Conquering the Full Hardware Spectrum

15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedings

Edited by Xing Fan, Bronis R. de Supinski, Oliver Sinnen, Nasser Giacaman ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 15th International Workshop on Open MP, IWOMP 2019, held in Auckland, New Zealand, in September 2019.The 22 full papers presented in this volume were carefully reviewed and selected for inclusion in this book. The papers are organized in topical sections named: best paper; tools, accelerators, compilation, extensions, tasking, and using OpenMP. ... Read more

₹4,436.79

This book constitutes the proceedings of the 15th International Workshop on Open MP, IWOMP 2019, held in Auckland, New Zealand, in September 2019.The 22 full papers presented in this volume were carefully reviewed and selected for inclusion in this book. The papers are organized in topical sections named: best paper; tools, accelerators, compilation, extensions, tasking, and using OpenMP.
... 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
High Performance Computing

ISC High Performance 2018 International Workshops, Frankfurt/Main, Germany, June 28, 2018, Revised Selected Papers

Edited by Rio Yokota, Michèle Weiland, John Shalf, Sadaf Alam ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed post-conference proceedings of 13 workshops held at the 33rd International ISC High Performance 2018 Conference, in Frankfurt, Germany, in June 2018: HPC I/O in the Data Center, HPC-IODC 2018; Workshop on Performance and Scalability of Storage Systems, WOPSSS 2018; 13th Workshop on Virtualization in High-Performance Cloud Computing, VHPC 2018; Third International ... Read more

₹3,360.63

This book constitutes the refereed post-conference proceedings of 13 workshops held at the 33rd International ISC High Performance 2018 Conference, in Frankfurt, Germany, in June 2018: HPC I/O in the Data Center, HPC-IODC 2018; Workshop on Performance and Scalability of Storage Systems, WOPSSS 2018; 13th Workshop on Virtualization in High-Performance Cloud Computing, VHPC 2018; Third International
... Read more
Computer Aided Verification

29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II

Edited by Rupak Majumdar, Viktor Kunčak ...

Series Book 2 - Springer Nature Proceedings Computer Science
The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th International Conference on Computer Aided Verification, CAV 2017, held in Heidelberg, Germany, in July 2017.The total of 50 full and 7 short papers presented together with 5 keynotes and tutorials in the proceedings was carefully reviewed and selected from 191 submissions.The CAV conference series is ... Read more

₹3,360.63

The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th International Conference on Computer Aided Verification, CAV 2017, held in Heidelberg, Germany, in July 2017.The total of 50 full and 7 short papers presented together with 5 keynotes and tutorials in the proceedings was carefully reviewed and selected from 191 submissions.The CAV conference series is
... Read more
Software Engineering for Resilient Systems

9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4–5, 2017, Proceedings

Edited by Alexander Romanovsky, Elena A. Troubitsyna ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the International Workshop on Software Engineering for Resilient Systems, SERENE 2017, held in Geneva; Switzerland, in September 2017.The 11 papers presented together with 2 invited talks were carefully reviewed and selected from 16 submissions. They cover the following areas: modeling and specification; safety and security; fault tolerance, ... Read more

₹3,360.63

This book constitutes the refereed proceedings of the International Workshop on Software Engineering for Resilient Systems, SERENE 2017, held in Geneva; Switzerland, in September 2017.The 11 papers presented together with 2 invited talks were carefully reviewed and selected from 16 submissions. They cover the following areas: modeling and specification; safety and security; fault tolerance,
... Read more
The Cloud Puzzle Solved: Azure Design Patterns

by Kameron Hussain, Frahaan Hussain ...

Unravel the complexities of cloud architecture with The Cloud Puzzle Solved: Azure Design Patterns, a comprehensive guide crafted for modern developers, architects, and tech leaders looking to master Microsoft Azure. This book demystifies the vast landscape of Azure by breaking it down into proven design patterns that solve real-world problems with clarity and precision.Whether you're designing ... Read more

₹853.00 or Free with Kobo Plus

Unravel the complexities of cloud architecture with The Cloud Puzzle Solved: Azure Design Patterns, a comprehensive guide crafted for modern developers, architects, and tech leaders looking to master Microsoft Azure. This book demystifies the vast landscape of Azure by breaking it down into proven design patterns that solve real-world problems with clarity and precision.Whether you're designing
... Read more
PHP Mastery: Crafting Dynamic Web Solutions

by Kameron Hussain, Frahaan Hussain ...

"PHP Mastery: Crafting Dynamic Web Solutions" is an authoritative guide that delves into the intricate world of PHP, a dominant server-side scripting language pivotal in web development. This comprehensive resource is tailored for both novice and experienced programmers looking to deepen their understanding of PHP and its powerful capabilities in creating dynamic, robust web applications.Starting ... Read more

₹831.00

"PHP Mastery: Crafting Dynamic Web Solutions" is an authoritative guide that delves into the intricate world of PHP, a dominant server-side scripting language pivotal in web development. This comprehensive resource is tailored for both novice and experienced programmers looking to deepen their understanding of PHP and its powerful capabilities in creating dynamic, robust web applications.Starting
... 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

Scala Programming for Big Data Analytics

Pivotal Certified Professional Core Spring 5 Developer Exam

Mastering UI/UX Design: Theoretical Foundations and Practical Applications

Instant Buildroot

C++ 2013 for C# Developers

Thinking with Diagrams

Essential Visual J++ 6.0 fast

Learning Java with Games

Guide to ILDJIT

NASA Formal Methods

Software Engineering and Formal Methods

Formal Methods and Software Engineering

Google Bard: Navigating the Age of Information

Virtual Networks Unlocked: Your Guide to Azure Connectivity

Future Data and Security Engineering

Coordination Models and Languages

OpenMP: Conquering the Full Hardware Spectrum

Interactive Theorem Proving

Conceptual Modeling

High Performance Computing

Computer Aided Verification

Software Engineering for Resilient Systems

The Cloud Puzzle Solved: Azure Design Patterns

PHP Mastery: Crafting Dynamic Web Solutions