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

Foundations of Software Science and Computation Structures

22nd International Conference, FOSSACS 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 Mikołaj Bojańczyk, Alex Simpson ...

Series series Springer Nature Proceedings Computer Science
This open access book constitutes the proceedings of the 22nd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2019.The 29 papers presented in this volume were carefully reviewed and selected from ... Read more

Free

This open access book constitutes the proceedings of the 22nd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2019.The 29 papers presented in this volume were carefully reviewed and selected from
... Read more
Logic Programming with Prolog

by Max Bramer ...

Series series Computer Science (R0)
Logic Programming is the name given to a distinctive style of programming, very different from that of conventional programming languages such as C++ and Java. By far the most widely used Logic Programming language is Prolog. Prolog is a good choice for developing complex applications, especially in the field of Artificial Intelligence.Logic Programming with Prolog does not assume that the reader ... Read more

PHP2,582.99

Logic Programming is the name given to a distinctive style of programming, very different from that of conventional programming languages such as C++ and Java. By far the most widely used Logic Programming language is Prolog. Prolog is a good choice for developing complex applications, especially in the field of Artificial Intelligence.Logic Programming with Prolog does not assume that the reader
... Read more
Programming Languages and Systems

27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Edited by Amal Ahmed ...

Series series Springer Nature Proceedings Computer Science
This open access book constitutes the proceedings of the 27th European Symposium on Programming, ESOP 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018.The 36 papers presented in this volume were carefully reviewed and selected from 114 submissions. The papers are organized in topical sections ... Read more

Free

This open access book constitutes the proceedings of the 27th European Symposium on Programming, ESOP 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018.The 36 papers presented in this volume were carefully reviewed and selected from 114 submissions. The papers are organized in topical sections
... Read more
Clean C++20

Sustainable Software Development Patterns and Best Practices

by Stephan Roth ...

Series series Professional and Applied Computing (R0)
Write maintainable, extensible, and durable software with modern C++. This book, updated for the recently released C++20 standard, is a must for every developer, software architect, or team leader who is interested in well-crafted C++ code, and thus also wants to save development costs. If you want to teach yourself about writing better C++ code, Clean C++20 is exactly what you need. It is written ... Read more

PHP2,836.79

Write maintainable, extensible, and durable software with modern C++. This book, updated for the recently released C++20 standard, is a must for every developer, software architect, or team leader who is interested in well-crafted C++ code, and thus also wants to save development costs. If you want to teach yourself about writing better C++ code, Clean C++20 is exactly what you need. It is written
... Read more
Logic, Rationality, and Interaction

7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings

Edited by Patrick Blackburn, Emiliano Lorini, Meiyun Guo ...

Series series Springer Nature Proceedings excluding Computer Science
This LNCS book is part of the FOLLI book series and constitutes the proceedings of the 7th International Workshop on Logic, Rationality, and Interaction, LORI 2019, held in Chongqing, China, in October 2019.The 31 papers presented in this book were carefully reviewed and selected from 56 submissions. They focus on the following topics: agency; argumentation and agreement; belief revision and ... Read more

PHP3,228.89

This LNCS book is part of the FOLLI book series and constitutes the proceedings of the 7th International Workshop on Logic, Rationality, and Interaction, LORI 2019, held in Chongqing, China, in October 2019.The 31 papers presented in this book were carefully reviewed and selected from 56 submissions. They focus on the following topics: agency; argumentation and agreement; belief revision and
... Read more
Learn RStudio IDE

Quick, Effective, and Productive Data Science

by Matthew Campbell ...

Series series Professional and Applied Computing (R0)
Discover how to use the popular RStudio IDE as a professional tool that includes code refactoring support, debugging, and Git version control integration. This book gives you a tour of RStudio and shows you how it helps you do exploratory data analysis; build data visualizations with ggplot; and create custom R packages and web-based interactive visualizations with Shiny. In addition, you will ... Read more

PHP2,836.79

Discover how to use the popular RStudio IDE as a professional tool that includes code refactoring support, debugging, and Git version control integration. This book gives you a tour of RStudio and shows you how it helps you do exploratory data analysis; build data visualizations with ggplot; and create custom R packages and web-based interactive visualizations with Shiny. In addition, you will
... Read more
C++ 2013 for C# Developers

by Dean C. Wills ...

Series series Professional and Applied Computing (R0)
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

PHP3,802.39

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
Service-Oriented Computing – ICSOC 2017 Workshops

ASOCA, ISyCC, WESOACS, and Satellite Events, Málaga, Spain, November 13–16, 2017, Revised Selected Papers

Edited by Lars Braubach, Juan M. Murillo, Nima Kaviani, Manuel Lama, Loli Burgueño, Naouel Moha, Marc Oriol ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the revised selected papers of the scientific satellite events that were held in conjunction with the 15th International Conference on Service-Oriented Computing, ICSOC 2017, held in Málaga, Spain, in November 2017.The ICSOC 2017 workshop track consisted of three workshops on a wide range of topics that fall into the general area of service computing:ASOCA 2017: The Second ... Read more

PHP3,228.89

This book constitutes the revised selected papers of the scientific satellite events that were held in conjunction with the 15th International Conference on Service-Oriented Computing, ICSOC 2017, held in Málaga, Spain, in November 2017.The ICSOC 2017 workshop track consisted of three workshops on a wide range of topics that fall into the general area of service computing:ASOCA 2017: The Second
... Read more
Hardware and Software: Verification and Testing

12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings

Edited by Roderick Bloem, Eli Arbel ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 12th International Haifa Verification Conference, HVC 2016, held in Haifa, Israel in November 2016. The 13 revised full papers and one tool paper presented were carefully reviewed and selected from 26 submissions. They are dedicated to advance the state of the art and state of the practice in verification and testing and are discussing future ... Read more

PHP3,228.89

This book constitutes the refereed proceedings of the 12th International Haifa Verification Conference, HVC 2016, held in Haifa, Israel in November 2016. The 13 revised full papers and one tool paper presented were carefully reviewed and selected from 26 submissions. They are dedicated to advance the state of the art and state of the practice in verification and testing and are discussing future
... Read more
Model-Based Systems Engineering with OPM and SysML

by Dov Dori ...

Series series Computer Science (R0)
Model-Based Systems Engineering (MBSE), which tackles architecting and design of complex systems through the use of formal models, is emerging as the most critical component of systems engineering. This textbook specifies the two leading conceptual modeling languages, OPM—the new ISO 19450, composed primarily by the author of this book, and OMG SysML. It provides essential insights into a domain ... Read more

PHP4,197.69

Model-Based Systems Engineering (MBSE), which tackles architecting and design of complex systems through the use of formal models, is emerging as the most critical component of systems engineering. This textbook specifies the two leading conceptual modeling languages, OPM—the new ISO 19450, composed primarily by the author of this book, and OMG SysML. It provides essential insights into a domain
... Read more
Applied Reconfigurable Computing. Architectures, Tools, and Applications

17th International Symposium, ARC 2021, Virtual Event, June 29–30, 2021, Proceedings

Edited by Steven Derrien, Frank Hannig, Pedro C. Diniz, Daniel Chillet ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 17th International Symposium on Applied Reconfigurable Computing, ARC 2021, held as a virtual event, in June 2021.The 14 full papers and 11 short presentations presented in this volume were carefully reviewed and selected from 40 submissions. The papers cover a broad spectrum of applications of reconfigurable computing, from driving assistance, data and ... Read more

PHP3,228.89

This book constitutes the proceedings of the 17th International Symposium on Applied Reconfigurable Computing, ARC 2021, held as a virtual event, in June 2021.The 14 full papers and 11 short presentations presented in this volume were carefully reviewed and selected from 40 submissions. The papers cover a broad spectrum of applications of reconfigurable computing, from driving assistance, data and
... Read more
The Unified Process for Practitioners

Object-Oriented Design, UML and Java

by John Hunt ...

Series series Computer Science (R0)
This is the twelfth volume in the rapidly expanding Springer Practitioner Series, and the third authored or co-.authored by John Hunt, the others being Key java (with A. McManus) and java for Practitioners. As with all John Hunt's books, this book is written in a clear, concise, comprehensible style. The demands on software development continue to exceed satisfactory delivery. There are many ... Read more

PHP5,166.59

This is the twelfth volume in the rapidly expanding Springer Practitioner Series, and the third authored or co-.authored by John Hunt, the others being Key java (with A. McManus) and java for Practitioners. As with all John Hunt's books, this book is written in a clear, concise, comprehensible style. The demands on software development continue to exceed satisfactory delivery. There are many
... Read more
Structured Object-Oriented Formal Language and Method

Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers

Edited by Zhenhua Duan, Shaoying Liu ...

Series series Springer Nature Proceedings Computer Science
This book constitutes revised selected papers from the Third International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2013, held in Queenstown, New Zealand, in October 2013. The 13 papers presented in this volume were carefully reviewed and selected from 22 submissions. They are organized in topical sections on testing and verification, simulation and model ... Read more

PHP3,228.89

This book constitutes revised selected papers from the Third International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2013, held in Queenstown, New Zealand, in October 2013. The 13 papers presented in this volume were carefully reviewed and selected from 22 submissions. They are organized in topical sections on testing and verification, simulation and model
... Read more
SSA-based Compiler Design

Edited by Fabrice Rastello, Florent Bouchez Tichadou ...

Series series Computer Science (R0)
This book provides readers with a single-source reference to static-single assignment(SSA)-based compiler design. It is the first (and up to now only) book that coversin a deep and comprehensive way how an optimizing compiler can be designed usingthe SSA form. After introducing vanilla SSA and its main properties, the authorsdescribe several compiler analyses and optimizations under this form. ... Read more

PHP5,489.49

This book provides readers with a single-source reference to static-single assignment(SSA)-based compiler design. It is the first (and up to now only) book that coversin a deep and comprehensive way how an optimizing compiler can be designed usingthe SSA form. After introducing vanilla SSA and its main properties, the authorsdescribe several compiler analyses and optimizations under this form.
... Read more
Formal Methods for Industrial Critical Systems

28th International Conference, FMICS 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings

Edited by Alessandro Cimatti, Laura Titolo ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 28th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2023, held in Antwerp, Belgium, during September 20–22, 2023.The 14 full papers included in this book were carefully reviewed and selected from 24 submissions.The papers focus on development and application of formal methods in industry. FMICS is a platform for ... Read more

PHP4,197.69

This book constitutes the proceedings of the 28th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2023, held in Antwerp, Belgium, during September 20–22, 2023.The 14 full papers included in this book were carefully reviewed and selected from 24 submissions.The papers focus on development and application of formal methods in industry. FMICS is a platform for
... Read more
TouchDevelop

Programming on the Go

by Nigel Horspool, Nikolai Tillmann, Judith Bishop ...

"The book is great! It's clear and easy to read, with loads of examples that showed my students what to do."-- Larry Snyder, Emeritus Professor, University of Washington, Department of Computer Science and Engineering“Having the TouchDevelop book available made our events so much easier. Students could figure things out for themselves with help from the book.”-- Jennifer Marsman, Microsoft ... Read more

Free

"The book is great! It's clear and easy to read, with loads of examples that showed my students what to do."-- Larry Snyder, Emeritus Professor, University of Washington, Department of Computer Science and Engineering“Having the TouchDevelop book available made our events so much easier. Students could figure things out for themselves with help from the book.”-- Jennifer Marsman, Microsoft
... Read more
Foundational Java

Key Elements and Practical Programming

by David Parsons ...

Series series Computer Science (R0)
Java is now well-established as one of the world’s major programming languages, used in everything from desktop applications to web-hosted applications, enterprise systems and mobile devices. Java applications cover cloud-based services, the Internet of Things, self-driving cars, animation, game development, big data analysis and many more domains.The second edition of Foundational Java: Key ... Read more

PHP3,874.79

Java is now well-established as one of the world’s major programming languages, used in everything from desktop applications to web-hosted applications, enterprise systems and mobile devices. Java applications cover cloud-based services, the Internet of Things, self-driving cars, animation, game development, big data analysis and many more domains.The second edition of Foundational Java: Key
... Read more
C++17 Quick Syntax Reference

A Pocket Guide to the Language, APIs and Library

by Mikael Olsson ...

Series series Professional and Applied Computing (R0)
This quick C++17 guide is a condensed code and syntax reference to the popular programming language, fully updated for C++17. It presents the essential C++ syntax in a well-organized format that can be used as a handy reference.In the C++17 Quick Syntax Reference, you will find short, simple, and focused code examples. This book includes a well laid out table of contents and a comprehensive index ... Read more

PHP1,465.19

This quick C++17 guide is a condensed code and syntax reference to the popular programming language, fully updated for C++17. It presents the essential C++ syntax in a well-organized format that can be used as a handy reference.In the C++17 Quick Syntax Reference, you will find short, simple, and focused code examples. This book includes a well laid out table of contents and a comprehensive index
... Read more
Python Unit Test Automation

Practical Techniques for Python Developers and Testers

by Ashwin Pajankar ...

Series series Professional and Applied Computing (R0)
Quickly learn how to automate unit testing of Python 3 code with Python 3 automation libraries, such as doctest, unittest, nose, nose2, and pytest.This book explores the important concepts in software testing and their implementation in Python 3 and shows you how to automate, organize, and execute unit tests for this language. This knowledge is often acquired by reading source code, manuals, and ... Read more

PHP2,232.89

Quickly learn how to automate unit testing of Python 3 code with Python 3 automation libraries, such as doctest, unittest, nose, nose2, and pytest.This book explores the important concepts in software testing and their implementation in Python 3 and shows you how to automate, organize, and execute unit tests for this language. This knowledge is often acquired by reading source code, manuals, and
... Read more
Guide to Assembly Language

A Concise Introduction

by James T. Streib ...

Series series Computer Science (R0)
This concise guide is designed to enable the reader to learn how to program in assembly language as quickly as possible. Through a hands-on programming approach, readers will also learn about the architecture of the Intel processor, and the relationship between high-level and low-level languages.This updated second edition has been expanded with additional exercises, and enhanced with new material ... Read more

PHP3,228.89

This concise guide is designed to enable the reader to learn how to program in assembly language as quickly as possible. Through a hands-on programming approach, readers will also learn about the architecture of the Intel processor, and the relationship between high-level and low-level languages.This updated second edition has been expanded with additional exercises, and enhanced with new material
... Read more
Trends in Functional Programming

19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018, Revised Selected Papers

Edited by Michał Pałka, Magnus Myreen ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed revised selected papers of the 19th International Symposium on Trends in Functional Programming, TFP 2018, held in Gothenburg, Sweden, in June 2018. The 7 revised full papers were selected from 13 submissions and present papers in all aspects of functional programming, taking a broad view of current and future trends in the area. It aspires to be a ... Read more

PHP3,551.79

This book constitutes the thoroughly refereed revised selected papers of the 19th International Symposium on Trends in Functional Programming, TFP 2018, held in Gothenburg, Sweden, in June 2018. The 7 revised full papers were selected from 13 submissions and present papers in all aspects of functional programming, taking a broad view of current and future trends in the area. It aspires to be a
... Read more
Being Agile

Your Roadmap to Successful Adoption of Agile

by Mario E. Moreira ...

Series series Professional and Applied Computing (R0)
Being Agile is your roadmap to successfully transforming your organization to an Agile culture. Veteran agile coach Mario Moreira teaches new adopters how to implement a robust Agile framework to derive from it the maximum business benefit in terms of customer value, revenue, and employee engagement.Agile is a ubiquitous watchword in the corporate world, but only a minority of companies understand ... Read more

PHP3,198.49

Being Agile is your roadmap to successfully transforming your organization to an Agile culture. Veteran agile coach Mario Moreira teaches new adopters how to implement a robust Agile framework to derive from it the maximum business benefit in terms of customer value, revenue, and employee engagement.Agile is a ubiquitous watchword in the corporate world, but only a minority of companies understand
... Read more
Guide to Scientific Computing in C++

by Joe Pitt-Francis, Jonathan Whiteley ...

Series series Computer Science (R0)
This easy-to-read textbook/reference presents an essential guide to object-oriented C++ programming for scientific computing. With a practical focus on learning by example, the theory is supported by numerous exercises.Features: provides a specific focus on the application of C++ to scientific computing, including parallel computing using MPI; stresses the importance of a clear programming style ... Read more

PHP2,130.89

This easy-to-read textbook/reference presents an essential guide to object-oriented C++ programming for scientific computing. With a practical focus on learning by example, the theory is supported by numerous exercises.Features: provides a specific focus on the application of C++ to scientific computing, including parallel computing using MPI; stresses the importance of a clear programming style
... Read more
Essential Dynamic HTML fast

by Aladdin Ayesh ...

Series series Computer Science (R0)
Essential Dynamic HTML fast provides a step-by-step approach to discovering DHTML and its techniques - everything you need to know from standard HTML tags to Layers and DOM (Document Object Model). You'll learn everything you need to know to build a dynamic web site - starting from choosing which font to use, to using dynamic positioning and contents, and how to incorporate audio, video and ... Read more

PHP1,810.49

Essential Dynamic HTML fast provides a step-by-step approach to discovering DHTML and its techniques - everything you need to know from standard HTML tags to Layers and DOM (Document Object Model). You'll learn everything you need to know to build a dynamic web site - starting from choosing which font to use, to using dynamic positioning and contents, and how to incorporate audio, video 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

Foundations of Software Science and Computation Structures

Logic Programming with Prolog

Programming Languages and Systems

Clean C++20

Logic, Rationality, and Interaction

Learn RStudio IDE

C++ 2013 for C# Developers

Service-Oriented Computing – ICSOC 2017 Workshops

Hardware and Software: Verification and Testing

Model-Based Systems Engineering with OPM and SysML

Applied Reconfigurable Computing. Architectures, Tools, and Applications

The Unified Process for Practitioners

Structured Object-Oriented Formal Language and Method

SSA-based Compiler Design

Formal Methods for Industrial Critical Systems

TouchDevelop

Foundational Java

C++17 Quick Syntax Reference

Python Unit Test Automation

Guide to Assembly Language

Trends in Functional Programming

Being Agile

Guide to Scientific Computing in C++

Essential Dynamic HTML fast