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
Rails 5 Revealed

by Alan Bradburne ...

This short early adopter book details both how you'll upgrade existing web applications from Rails 4.2 to 5 and how to create new applications in Rails 5. The headline features, Rails API and Action Cable are each looked at in detail, building small example projects to demonstrate how to build a JSON API and add real-time interactions in order to create a single-page application.All the breaking ... Read more

RM 82.69

This short early adopter book details both how you'll upgrade existing web applications from Rails 4.2 to 5 and how to create new applications in Rails 5. The headline features, Rails API and Action Cable are each looked at in detail, building small example projects to demonstrate how to build a JSON API and add real-time interactions in order to create a single-page application.All the breaking
... Read more
Theoretical Aspects of Computing - ICTAC 2015

12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings

Edited by Martin Leucker, Camilo Rueda, Frank D. Valencia ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 12th International Colloquium on Theoretical Aspects of Computing, ICTAC 2015, held in Cali, Colombia, in October 2015.The 25 revised full papers presented together with 7 invited talks, 3 tool papers, and 2 short papers were carefully reviewed and selected from 93 submissions. The papers cover various topics such as algebra and category theory ... Read more

RM 209.59

This book constitutes the refereed proceedings of the 12th International Colloquium on Theoretical Aspects of Computing, ICTAC 2015, held in Cali, Colombia, in October 2015.The 25 revised full papers presented together with 7 invited talks, 3 tool papers, and 2 short papers were carefully reviewed and selected from 93 submissions. The papers cover various topics such as algebra and category theory
... Read more
Verification, Model Checking, and Abstract Interpretation

17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings

Edited by Barbara Jobstmann, K. Rustan M. Leino ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 17th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2016, held in St. Petersburg, FL, USA, in January 2016. The 24 full papers together with 2 invited talks and 1 abstract presented were carefully reviewed and selected from 67 submissions.VMCAI provides topics including: program verification, model ... Read more

RM 209.59

This book constitutes the refereed proceedings of the 17th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2016, held in St. Petersburg, FL, USA, in January 2016. The 24 full papers together with 2 invited talks and 1 abstract presented were carefully reviewed and selected from 67 submissions.VMCAI provides topics including: program verification, model
... Read more
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures

Edited by Marco Bernardo, Rocco De Nicola, Jane Hillston ...

Series series Computer Science (R0)
This book presents 8 tutorial lectures given by leading researchers at the 16th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2016, held in Bertinoro, Italy, in June 2016.SFM 2016 was devoted to the Quantitative Evaluation of Collective Adaptive Systems and covered topics such as self-organization in distributed systems, ... Read more

RM 209.59

This book presents 8 tutorial lectures given by leading researchers at the 16th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2016, held in Bertinoro, Italy, in June 2016.SFM 2016 was devoted to the Quantitative Evaluation of Collective Adaptive Systems and covered topics such as self-organization in distributed systems,
... Read more
Trends in Functional Programming

16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers

Edited by Manuel Serrano, Jurriaan Hage ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed revised selected papers of the 16th International Symposium on Trends in Functional Programming, TFP 2015, held in Sophia Antipolis, France, in June 2015. The 8 revised full papers included in this volume were carefully and selected from 26 submissions. TFP is an international forum for researchers with interests in all aspects of functional ... Read more

RM 167.69

This book constitutes the thoroughly refereed revised selected papers of the 16th International Symposium on Trends in Functional Programming, TFP 2015, held in Sophia Antipolis, France, in June 2015. The 8 revised full papers included in this volume were carefully and selected from 26 submissions. TFP is an international forum for researchers with interests in all aspects of functional
... Read more
Euro-Par 2016: Parallel Processing

22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings

Edited by Pierre-François Dutot, Denis Trystram ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 22nd International Conference on Parallel and Distributed Computing, Euro-Par 2016, held in Grenoble, France, in August 2016.The 47 revised full papers presented together with 2 invited papers and one industrial paper were carefully reviewed and selected from 176 submissions. The papers are organized in 12 topical sections: Support Tools and ... Read more

RM 209.59

This book constitutes the refereed proceedings of the 22nd International Conference on Parallel and Distributed Computing, Euro-Par 2016, held in Grenoble, France, in August 2016.The 47 revised full papers presented together with 2 invited papers and one industrial paper were carefully reviewed and selected from 176 submissions. The papers are organized in 12 topical sections: Support Tools and
... Read more
Graph Transformation

15th International Conference, ICGT 2022, Held as Part of STAF 2022, Nantes, France, July 7–8, 2022, Proceedings

Edited by Nicolas Behr, Daniel Strüber ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 15th International Conference on Graph Transformation, ICGT 2022, which took place Nantes, France in July 2022.The 10 full papers and 1 tool paper presented in this book were carefully reviewed and selected from 19 submissions. The conference focuses on describing new unpublished contributions in the theory and applications of graph ... Read more

RM 230.59

This book constitutes the refereed proceedings of the 15th International Conference on Graph Transformation, ICGT 2022, which took place Nantes, France in July 2022.The 10 full papers and 1 tool paper presented in this book were carefully reviewed and selected from 19 submissions. The conference focuses on describing new unpublished contributions in the theory and applications of graph
... Read more
Trends in Functional Programming

20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12–14, 2019, Revised Selected Papers

Edited by William J. Bowman, Ronald Garcia ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed revised selected papers of the 20th International Symposium on Trends in Functional Programming, TFP 2019, held in Vancouver, Canada, in June 2019. The 6 revised full papers were selected from 11 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

RM 209.59

This book constitutes the thoroughly refereed revised selected papers of the 20th International Symposium on Trends in Functional Programming, TFP 2019, held in Vancouver, Canada, in June 2019. The 6 revised full papers were selected from 11 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
Artificial Intelligence in Music, Sound, Art and Design

9th International Conference, EvoMUSART 2020, Held as Part of EvoStar 2020, Seville, Spain, April 15–17, 2020, Proceedings

Edited by Juan Romero, Anikó Ekárt, Tiago Martins, João Correia ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 9th European Conference on Artificial Intelligence in Music, Sound, Art and Design, EvoMUSART 2020, held as part of Evo*2020, in Seville, Spain, in April 2020, co-located with the Evo*2020 events EuroGP, EvoCOP and EvoApplications.The 15 revised full papers presented were carefully reviewed and selected from 31 submissions. The papers cover a ... Read more

RM 209.59

This book constitutes the refereed proceedings of the 9th European Conference on Artificial Intelligence in Music, Sound, Art and Design, EvoMUSART 2020, held as part of Evo*2020, in Seville, Spain, in April 2020, co-located with the Evo*2020 events EuroGP, EvoCOP and EvoApplications.The 15 revised full papers presented were carefully reviewed and selected from 31 submissions. The papers cover a
... Read more
OpenMP: Portable Multi-Level Parallelism on Modern Systems

16th International Workshop on OpenMP, IWOMP 2020, Austin, TX, USA, September 22–24, 2020, Proceedings

Edited by Kent Milfeld, Bronis R. de Supinski, Lars Koesterke, Jannis Klinkenberg ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 16th International Workshop on OpenMP, IWOMP 2020, held in Austin, TX, USA, in September 2020. The conference was held virtually due to the COVID-19 pandemic.The 21 full papers presented in this volume were carefully reviewed and selected for inclusion in this book. The papers are organized in topical sections named: performance methodologies; ... Read more

RM 314.49

This book constitutes the proceedings of the 16th International Workshop on OpenMP, IWOMP 2020, held in Austin, TX, USA, in September 2020. The conference was held virtually due to the COVID-19 pandemic.The 21 full papers presented in this volume were carefully reviewed and selected for inclusion in this book. The papers are organized in topical sections named: performance methodologies;
... Read more
Formal Methods for Industrial Critical Systems

27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings

Edited by Jan Friso Groote, Marieke Huisman ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022, which took place in Warsaw, Poland, in September 2022.The 13 full papers included in this book were carefully reviewed and selected from 22 submissions. They were organized in topical sections as follows: Certification; industrial use cases; testing and ... Read more

RM 293.49

This book constitutes the proceedings of the 27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022, which took place in Warsaw, Poland, in September 2022.The 13 full papers included in this book were carefully reviewed and selected from 22 submissions. They were organized in topical sections as follows: Certification; industrial use cases; testing and
... Read more
Search-Based Software Engineering

11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings

Edited by Shiva Nejati, Gregory Gay ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 11th International Symposium on Search-Based Software Engineering, SSBSE 2019, held in Tallinn, Estonia, in August/September 2019.The 9 research papers and 3 short papers presented together with 1 keynote and 1 challenge paper were carefully reviewed and selected from 28 submissions. SSBSE is a research area focused on the formulation of ... Read more

RM 209.59

This book constitutes the refereed proceedings of the 11th International Symposium on Search-Based Software Engineering, SSBSE 2019, held in Tallinn, Estonia, in August/September 2019.The 9 research papers and 3 short papers presented together with 1 keynote and 1 challenge paper were carefully reviewed and selected from 28 submissions. SSBSE is a research area focused on the formulation of
... Read more
Metaprogramming Elixir

Write Less Code, Get More Done (and Have Fun!)

by Chris McCord ...

Write code that writes code with Elixir macros. Macros make metaprogramming possible and define the language itself. In this book, you'll learn how to use macros to extend the language with fast, maintainable code and share functionality in ways you never thought possible. You'll discover how to extend Elixir with your own first-class features, optimize performance, and create domain-specific ... Read more

RM 45.29

Write code that writes code with Elixir macros. Macros make metaprogramming possible and define the language itself. In this book, you'll learn how to use macros to extend the language with fast, maintainable code and share functionality in ways you never thought possible. You'll discover how to extend Elixir with your own first-class features, optimize performance, and create domain-specific
... Read more
Opa: Up and Running

Rapid and Secure Web Development

by Henri Binsztok, Adam Koprowski, Ida Swarczewskaja ...

Want to simplify web development? This hands-on book shows you how to write frontend and backend code simultaneously, using the Opa framework. Opa provides a complete stack for web application development, including a web server, database engine, distribution libraries, and a programming language that compiles to JavaScript.You’ll learn step-by-step how to use Opa by building two projects through ... Read more

RM 53.69

Want to simplify web development? This hands-on book shows you how to write frontend and backend code simultaneously, using the Opa framework. Opa provides a complete stack for web application development, including a web server, database engine, distribution libraries, and a programming language that compiles to JavaScript.You’ll learn step-by-step how to use Opa by building two projects through
... Read more
Automated Reasoning with Analytic Tableaux and Related Methods

26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings

Edited by Cláudia Nalon, Renate A. Schmidt ...

Series series Springer Nature Proceedings Computer Science
This book contains the proceedings of the 26th International Conference on Automated Reasoning with Analytics Tableaux and Related Methods, TABLEAUX 2017, held in Brasília, Bazil, in September 2017.The 19 contributed papers presented in this volume were carefully reviewed and selected from 27 submissions.They are organized in topical sections named: Sequent systems; tableaux; transitive closure ... Read more

RM 272.49

This book contains the proceedings of the 26th International Conference on Automated Reasoning with Analytics Tableaux and Related Methods, TABLEAUX 2017, held in Brasília, Bazil, in September 2017.The 19 contributed papers presented in this volume were carefully reviewed and selected from 27 submissions.They are organized in topical sections named: Sequent systems; tableaux; transitive closure
... Read more
Building Web Applications with Visual Studio 2017

Using .NET Core and Modern JavaScript Frameworks

by Philip Japikse, Kevin Grossnicklaus, Ben Dewey ...

Series series Professional and Applied Computing (R0)
Learn how to build web applications from three Microsoft MVPs. After building the data application layer using Entity Framework Core and a RESTful service using ASP.NET Core, you will then build the client side web application three ways: first, using ASP.NET Core, then using Angular 2, and, finally, using React. You will be able to compare and contrast these UI frameworks and select the best one ... Read more

RM 207.69

Learn how to build web applications from three Microsoft MVPs. After building the data application layer using Entity Framework Core and a RESTful service using ASP.NET Core, you will then build the client side web application three ways: first, using ASP.NET Core, then using Angular 2, and, finally, using React. You will be able to compare and contrast these UI frameworks and select the best one
... Read more
Modern X86 Assembly Language Programming

Covers x86 64-bit, AVX, AVX2, and AVX-512

by Daniel Kusswurm ...

Series Book 512 - Professional and Applied Computing (R0)
Gain the fundamentals of x86 64-bit assembly language programming and focus onthe updated aspects of the x86 instruction set that are most relevant to applicationsoftware development. This book covers topics including x86 64-bit programming andAdvanced Vector Extensions (AVX) programming.The focus in this second edition is exclusively on 64-bit base programming architectureand AVX programming. ... Read more

RM 246.89

Gain the fundamentals of x86 64-bit assembly language programming and focus onthe updated aspects of the x86 instruction set that are most relevant to applicationsoftware development. This book covers topics including x86 64-bit programming andAdvanced Vector Extensions (AVX) programming.The focus in this second edition is exclusively on 64-bit base programming architectureand AVX programming.
... Read more
Formal Modeling and Analysis of Timed Systems

15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings

Edited by Alessandro Abate, Gilles Geeraerts ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 15th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2017, held in Berlin, Germany, in September 2017.The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in modelling and analysis of ... Read more

RM 209.59

This book constitutes the refereed proceedings of the 15th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2017, held in Berlin, Germany, in September 2017.The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in modelling and analysis of
... Read more
Game Development with Construct 2

From Design to Realization

by LEE STEMKOSKI, Evan Leider ...

Series series Professional and Applied Computing (R0)
Design and create video games using Construct 2. No prior experience is required.Game Development with Construct 2 teaches you to create 12 different game projects from a variety of genres, including car racing and tower defense to platformer and action-adventure. The software is user friendly and powerful, and the games you create can be exported to run on the web, desktop computers, and ... Read more

RM 246.89

Design and create video games using Construct 2. No prior experience is required.Game Development with Construct 2 teaches you to create 12 different game projects from a variety of genres, including car racing and tower defense to platformer and action-adventure. The software is user friendly and powerful, and the games you create can be exported to run on the web, desktop computers, and
... Read more
JSON Quick Syntax Reference

by Wallace Jackson ...

Series series Professional and Applied Computing (R0)
This compact syntax reference covers syntax and parameters central to JSON object definitions. You’ll learn the syntax used in the JSON object definition language, logically organized by topical chapters, and getting more advanced as chapters progress, covering structures and file formats which are best for use with HTML5. Furthermore, the JSON Quick Syntax Reference includes the key factors ... Read more

RM 223.29

This compact syntax reference covers syntax and parameters central to JSON object definitions. You’ll learn the syntax used in the JSON object definition language, logically organized by topical chapters, and getting more advanced as chapters progress, covering structures and file formats which are best for use with HTML5. Furthermore, the JSON Quick Syntax Reference includes the key factors
... Read more
Object-Oriented Technology

by Suad Alagić ...

Series series Computer Science (R0)
The core idea of this book is that object– oriented technology is a generic technology whose various technical aspects can be presented in a unified and consistent framework. This applies to both practical and formal aspects of object-oriented technology. Course tested in a variety of object-oriented courses, numerous examples, figures and exercises are presented in each chapter.The approach in ... Read more

RM 167.69

The core idea of this book is that object– oriented technology is a generic technology whose various technical aspects can be presented in a unified and consistent framework. This applies to both practical and formal aspects of object-oriented technology. Course tested in a variety of object-oriented courses, numerous examples, figures and exercises are presented in each chapter.The approach in
... 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

RM 95.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
C++ 14 Quick Syntax Reference

Second Edition

by Mikael Olsson ...

Series series Professional and Applied Computing (R0)
This updated handy quick C++ 14 guide is a condensed code and syntax reference based on the newly updated C++ 14 release of the popular programming language. It presents the essential C++ syntax in a well-organized format that can be used as a handy reference.You won’t find any technical jargon, bloated samples, drawn out history lessons, or witty stories in this book. What you will find is a ... Read more

RM 111.69

This updated handy quick C++ 14 guide is a condensed code and syntax reference based on the newly updated C++ 14 release of the popular programming language. It presents the essential C++ syntax in a well-organized format that can be used as a handy reference.You won’t find any technical jargon, bloated samples, drawn out history lessons, or witty stories in this book. What you will find is a
... 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

Rails 5 Revealed

Theoretical Aspects of Computing - ICTAC 2015

Verification, Model Checking, and Abstract Interpretation

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

Trends in Functional Programming

Euro-Par 2016: Parallel Processing

Graph Transformation

Trends in Functional Programming

Artificial Intelligence in Music, Sound, Art and Design

OpenMP: Portable Multi-Level Parallelism on Modern Systems

Formal Methods for Industrial Critical Systems

Search-Based Software Engineering

Metaprogramming Elixir

Opa: Up and Running

Automated Reasoning with Analytic Tableaux and Related Methods

Building Web Applications with Visual Studio 2017

Modern X86 Assembly Language Programming

Formal Modeling and Analysis of Timed Systems

Game Development with Construct 2

JSON Quick Syntax Reference

Object-Oriented Technology

C++17 Quick Syntax Reference

C++ 14 Quick Syntax Reference