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

- Includes eBooks
  
  Includes audiobooks
  
  Includes 30 hours of listening time
  
  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
  
  Includes eBooks
  
  Includes audiobooks
  
  Includes 30 hours of listening time
  
  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

Includes eBooks

Includes audiobooks

Includes 30 hours of listening time

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

Includes eBooks

Includes audiobooks

Includes 30 hours of listening time

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

Integrated Formal Methods

12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

Edited by Erika Ábrahám, Marieke Huisman ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 12th International Conference on Integrated Formal Methods, IFM 2016, held in Reykjavik, Iceland, in June 2016.The 33 papers presented in this volume were carefully reviewed and selected from 99 submissions. They were organized in topical sections named: invited contributions; program verification; probabilistic systems; concurrency; safety and ... Read more

PHP5,166.59

This book constitutes the refereed proceedings of the 12th International Conference on Integrated Formal Methods, IFM 2016, held in Reykjavik, Iceland, in June 2016.The 33 papers presented in this volume were carefully reviewed and selected from 99 submissions. They were organized in topical sections named: invited contributions; program verification; probabilistic systems; concurrency; safety and
... 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

PHP3,228.89

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
Software Development, Design and Coding

With Patterns, Debugging, Unit Testing, and Refactoring

by John F. Dooley ...

Series series Professional and Applied Computing (R0)
Learn the principles of good software design, and how to turn those principles into great code. This book introduces you to software engineering — from the application of engineering principles to the development of software. You'll see how to run a software development project, examine the different phases of a project, and learn how to design and implement programs that solve specific problems. ... Read more

PHP4,224.79

Learn the principles of good software design, and how to turn those principles into great code. This book introduces you to software engineering — from the application of engineering principles to the development of software. You'll see how to run a software development project, examine the different phases of a project, and learn how to design and implement programs that solve specific problems.
... Read more
Language Server Protocol and Implementation

Supporting Language-Smart Editing and Programming Tools

by Nadeeshaan Gunasinghe, Nipuna Marcus ...

Series series Professional and Applied Computing (R0)
Understand the important aspects of implementing a production-grade language server in support of language-smart tools such as code editors and other programming utilities. This book shows you how to create a single implementation of a language server that can be used by multiple tools, enabling you to do the job once in a way that can be shared and reused.This book covers the language server ... Read more

PHP3,440.09

Understand the important aspects of implementing a production-grade language server in support of language-smart tools such as code editors and other programming utilities. This book shows you how to create a single implementation of a language server that can be used by multiple tools, enabling you to do the job once in a way that can be shared and reused.This book covers the language server
... Read more
High Performance Computing

ISC High Performance 2017 International Workshops, DRBSD, ExaComm, HCPM, HPC-IODC, IWOPH, IXPUG, P^3MA, VHPC, Visualization at Scale, WOPSSS, Frankfurt, Germany, June 18-22, 2017, Revised Selected Papers

Edited by Julian M. Kunkel, Rio Yokota, Michela Taufer, John Shalf ...

Series series Springer Nature Proceedings Computer Science
This book constitutes revised selected papers from 10 workshops that were held as the ISC High Performance 2017 conference in Frankfurt, Germany, in June 2017.The 59 papers presented in this volume were carefully reviewed and selected for inclusion in this book. They stem from the following workshops:Workshop on Virtualization in High-Performance Cloud Computing (VHPC)Visualization at Scale: ... Read more

PHP3,228.89

This book constitutes revised selected papers from 10 workshops that were held as the ISC High Performance 2017 conference in Frankfurt, Germany, in June 2017.The 59 papers presented in this volume were carefully reviewed and selected for inclusion in this book. They stem from the following workshops:Workshop on Virtualization in High-Performance Cloud Computing (VHPC)Visualization at Scale:
... Read more
Beginning IntelliJ IDEA

Integrated Development Environment for Java Programming

by Ted Hagos ...

Series series Professional and Applied Computing (R0)
Get started quickly with IntelliJ, from installation to configuration to working with the source code and more. This tutorial will show you how to leverage IntelliJ’s tools to develop clean, efficient Java applications.Author Ted Hagos will first walk you through buidling your first Java applications using IntelliJ. Then, he’ll show you how to analyze your application, top to bottom; using version ... Read more

PHP3,440.09

Get started quickly with IntelliJ, from installation to configuration to working with the source code and more. This tutorial will show you how to leverage IntelliJ’s tools to develop clean, efficient Java applications.Author Ted Hagos will first walk you through buidling your first Java applications using IntelliJ. Then, he’ll show you how to analyze your application, top to bottom; using version
... Read more
Swift 2 for Absolute Beginners

by Gary Bennett, Brad Lees ...

Series series Professional and Applied Computing (R0)
Swift 2 for Absolute Beginners is perfect for those with no programming background, those with some programming experience but no object-oriented experience, or those that have a great idea for an app but haven’t programmed since school, and it is now updated for Swift 2.Gary Bennett and Brad Lees are full-time professional iOS developers and have developed a broad spectrum of apps for Fortune 500 ... Read more

PHP2,389.19

Swift 2 for Absolute Beginners is perfect for those with no programming background, those with some programming experience but no object-oriented experience, or those that have a great idea for an app but haven’t programmed since school, and it is now updated for Swift 2.Gary Bennett and Brad Lees are full-time professional iOS developers and have developed a broad spectrum of apps for Fortune 500
... Read more
Selenium WebDriver Recipes in C#

Second Edition

by Zhimin Zhan ...

Series series Professional and Applied Computing (R0)
Solve your Selenium WebDriver problems with this quick guide to automated testing of web applications with Selenium WebDriver in C#. Selenium WebDriver Recipes in C#, Second Edition contains hundreds of solutions to real-world problems, with clear explanations and ready-to-run Selenium test scripts that you can use in your own projects.You'll learn:How to locate web elements and test functions for ... Read more

PHP3,440.09

Solve your Selenium WebDriver problems with this quick guide to automated testing of web applications with Selenium WebDriver in C#. Selenium WebDriver Recipes in C#, Second Edition contains hundreds of solutions to real-world problems, with clear explanations and ready-to-run Selenium test scripts that you can use in your own projects.You'll learn:How to locate web elements and test functions for
... Read more
Beginning R

An Introduction to Statistical Programming

by Larry Pace, Joshua Wiley ...

Series series Professional and Applied Computing (R0)
Beginning R, Second Edition is a hands-on book showing how to use the R language, write and save R scripts, read in data files, and write custom statistical functions as well as use built in functions. This book shows the use of R in specific cases such as one-way ANOVA analysis, linear and logistic regression, data visualization, parallel processing, bootstrapping, and more. It takes a hands-on, ... Read more

PHP4,828.79

Beginning R, Second Edition is a hands-on book showing how to use the R language, write and save R scripts, read in data files, and write custom statistical functions as well as use built in functions. This book shows the use of R in specific cases such as one-way ANOVA analysis, linear and logistic regression, data visualization, parallel processing, bootstrapping, and more. It takes a hands-on,
... Read more
Artificial Intelligence and Soft Computing

20th International Conference, ICAISC 2021, Virtual Event, June 21–23, 2021, Proceedings, Part II

Edited by Leszek Rutkowski, Rafał Scherer, Marcin Korytkowski, Witold Pedrycz, Ryszard Tadeusiewicz, Jacek M. Zurada ...

Series Book 2 - Springer Nature Proceedings Computer Science
The two-volume set LNAI 12854 and 12855 constitutes the refereed proceedings of the 20th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2021, held in Zakopane, Poland, in June 2021. Due to COVID 19, the conference was held virtually.The 89 full papers presented were carefully reviewed and selected from 195 submissions. The papers included both traditional artificial ... Read more

PHP7,104.19

The two-volume set LNAI 12854 and 12855 constitutes the refereed proceedings of the 20th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2021, held in Zakopane, Poland, in June 2021. Due to COVID 19, the conference was held virtually.The 89 full papers presented were carefully reviewed and selected from 195 submissions. The papers included both traditional artificial
... Read more
Beginning Jakarta EE

Enterprise Edition for Java: From Novice to Professional

by Peter Späth ...

Series series Professional and Applied Computing (R0)
Build Java-based enterprise applications using the open source Eclipse Jakarta EE platform. This feature-packed book teaches you enterprise Java development top to bottom. It covers Java web-tier development using servlets, JavaServer Faces (JSF), RESTful applications, and JSON. You’ll also cover Java data-tier development using persistence and transaction handling, messaging services, remote ... Read more

PHP3,440.09

Build Java-based enterprise applications using the open source Eclipse Jakarta EE platform. This feature-packed book teaches you enterprise Java development top to bottom. It covers Java web-tier development using servlets, JavaServer Faces (JSF), RESTful applications, and JSON. You’ll also cover Java data-tier development using persistence and transaction handling, messaging services, remote
... Read more
Grundkurs Compilerbau

by Uwe Meyer ...

Compiler anschaulich und modern erklärtEin Compiler sorgt dafür, dass der Quellcode eines Programms so übertragen wird, dass ein Computer in der Lage ist, die Anweisungen zu verstehen und auszuführen. Der Compilerbau ist eine der ältesten Disziplinen der Informatik, ohne Compiler gäbe es keine Programmiersprachen, Frameworks oder Anwendungen. In diesem Fachbuch aus der Reihe »Informatik verstehen« ... Read more

PHP1,931.29

Compiler anschaulich und modern erklärtEin Compiler sorgt dafür, dass der Quellcode eines Programms so übertragen wird, dass ein Computer in der Lage ist, die Anweisungen zu verstehen und auszuführen. Der Compilerbau ist eine der ältesten Disziplinen der Informatik, ohne Compiler gäbe es keine Programmiersprachen, Frameworks oder Anwendungen. In diesem Fachbuch aus der Reihe »Informatik verstehen«
... Read more
C++/CLI Primer

For .NET Development

by Vivek Ragunathan ...

Series series Professional and Applied Computing (R0)
Enter a world of hardcore back-end, server-side enterprise programming on the .NET platform. This book presents some of the important aspects of the C++/CLI language that often become a barrier preventing programmers from exploring further. The C++/CLI Primer is a powerful but compact book that will guide you through that barrier.Many of today's complex transactions and enterprise applications ... Read more

PHP1,465.19

Enter a world of hardcore back-end, server-side enterprise programming on the .NET platform. This book presents some of the important aspects of the C++/CLI language that often become a barrier preventing programmers from exploring further. The C++/CLI Primer is a powerful but compact book that will guide you through that barrier.Many of today's complex transactions and enterprise applications
... Read more
Advanced Finite Element Simulation with MSC Marc

Application of User Subroutines

by Andreas Öchsner, Zia Javanbakht ...

Series series Engineering (R0)
This book offers an in-depth insight into the general-purpose finite element program MSC Marc, which is distributed by MSC Software Corporation. It is a specialized program for nonlinear problems (implicit solver) which is common in academia and industry. The primary goal of this book is to provide a comprehensive introduction to a special feature of this software: the user can write user ... Read more

PHP5,812.49

This book offers an in-depth insight into the general-purpose finite element program MSC Marc, which is distributed by MSC Software Corporation. It is a specialized program for nonlinear problems (implicit solver) which is common in academia and industry. The primary goal of this book is to provide a comprehensive introduction to a special feature of this software: the user can write user
... Read more
Reversible Computation

8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings

Edited by Simon Devitt, Ivan Lanese ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 8th International Conference on Reversible Computation, RC 2016, held in Bologna, Italy, in July 2016.The 18 full and 5 short papers included in this volume were carefully reviewed and selected from 38 submissions. The papers are organized in topical sections named: process calculi; reversible models; programming languages; quantum computing; ... Read more

PHP3,228.89

This book constitutes the refereed proceedings of the 8th International Conference on Reversible Computation, RC 2016, held in Bologna, Italy, in July 2016.The 18 full and 5 short papers included in this volume were carefully reviewed and selected from 38 submissions. The papers are organized in topical sections named: process calculi; reversible models; programming languages; quantum computing;
... Read more
Formal Techniques for Safety-Critical Systems

6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers

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

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 6th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2018, held in Gold Coast, Australia in November 2018.The 10 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections on analysis and ... Read more

PHP3,228.89

This book constitutes the refereed proceedings of the 6th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2018, held in Gold Coast, Australia in November 2018.The 10 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections on analysis and
... Read more
Modern X86 Assembly Language Programming

32-bit, 64-bit, SSE, and AVX

by Daniel Kusswurm ...

Series series Professional and Applied Computing (R0)
Modern X86 Assembly Language Programming shows the fundamentals of x86 assembly language programming. It focuses on the aspects of the x86 instruction set that are most relevant to application software development. The book's structure and sample code are designed to help the reader quickly understand x86 assembly language programming and the computational capabilities of the x86 platform.Please ... Read more

PHP3,198.49

Modern X86 Assembly Language Programming shows the fundamentals of x86 assembly language programming. It focuses on the aspects of the x86 instruction set that are most relevant to application software development. The book's structure and sample code are designed to help the reader quickly understand x86 assembly language programming and the computational capabilities of the x86 platform.Please
... Read more
Practical C++ Design

From Programming to Architecture

by Adam B. Singer ...

Series series Professional and Applied Computing (R0)
Go from competent C++ developer to skilled designer or architect using this book as your personal C++ design master class. Updated for the C++20 standard, this title will guide you through the design and implementation of an engaging case study that forms the backdrop for learning the art of applying design patterns and modern C++ techniques to create a high quality, robust application.Starting ... Read more

PHP2,836.79

Go from competent C++ developer to skilled designer or architect using this book as your personal C++ design master class. Updated for the C++20 standard, this title will guide you through the design and implementation of an engaging case study that forms the backdrop for learning the art of applying design patterns and modern C++ techniques to create a high quality, robust application.Starting
... Read more
Formal Aspects of Component Software

12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers

Edited by Christiano Braga, Peter Csaba Ölveczky ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the revised selected papers from the 12th International Conference on Formal Aspects of Component Software, FACS 2015, held in Niterói, Brazil, in October 2015.The 15 full papers and 2 invited papers presented in this volume were carefully reviewed and selected from 33 submissions. They are organized in topical sections, namely quality of service to withstand faults, ... Read more

PHP3,228.89

This book constitutes the revised selected papers from the 12th International Conference on Formal Aspects of Component Software, FACS 2015, held in Niterói, Brazil, in October 2015.The 15 full papers and 2 invited papers presented in this volume were carefully reviewed and selected from 33 submissions. They are organized in topical sections, namely quality of service to withstand faults,
... Read more
Evaluation of Novel Approaches to Software Engineering

12th International Conference, ENASE 2017, Porto, Portugal, April 28–29, 2017, Revised Selected Papers

Edited by Ernesto Damiani, George Spanoudakis, Leszek Maciaszek ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed proceedings of the 12th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2017, held in Porto, Portugal, in April 2017.The 12 full papers presented were carefully reviewed and selected from 102 submissions. The mission of ENASE is to be a prime international forum to discuss and publish research findings and IT ... Read more

PHP3,228.89

This book constitutes the thoroughly refereed proceedings of the 12th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2017, held in Porto, Portugal, in April 2017.The 12 full papers presented were carefully reviewed and selected from 102 submissions. The mission of ENASE is to be a prime international forum to discuss and publish research findings and IT
... Read more
Microservices From Day One

Build robust and scalable software from the start

by Tim Schmelmer, Cloves Carneiro Jr. ...

Series series Professional and Applied Computing (R0)
Learn what a microservices architecture is, its advantages, and why you should consider using one when starting a new application. The book describes how taking a microservices approach from the start helps avoid the complexity and expense of moving to a service-oriented approach after applications reach a critical code base size or traffic load.Microservices from Day One discusses many of the ... Read more

PHP3,198.49

Learn what a microservices architecture is, its advantages, and why you should consider using one when starting a new application. The book describes how taking a microservices approach from the start helps avoid the complexity and expense of moving to a service-oriented approach after applications reach a critical code base size or traffic load.Microservices from Day One discusses many of the
... Read more
Logic Programming and Nonmonotonic Reasoning

18th International Conference, LPNMR 2026, Klagenfurt, Austria, September 7–11, 2026, Proceedings

Edited by Wolfgang Faber, Martin Gebser, Yanhong Annie Liu ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 18th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2026, held in Klagenfurt, Austria, during September 7–11, 2026.The 28 full papers and 4 short papers included in this book were carefully reviewed and selected from 46 submissions. The papers presented at the conference covered various topics focusing on design ... Read more

PHP4,714.39

This book constitutes the refereed proceedings of the 18th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2026, held in Klagenfurt, Austria, during September 7–11, 2026.The 28 full papers and 4 short papers included in this book were carefully reviewed and selected from 46 submissions. The papers presented at the conference covered various topics focusing on design
... Read more
PHP 7 Zend Certification Study Guide

Ace the ZCE 2017-PHP Exam

by Andrew Beak ...

Series series Professional and Applied Computing (R0)
Improve your programming knowledge and become Zend Certified. This book closely follows the ZCE2017-PHP exam syllabus and adds important details that help candidates to prepare for the test.Zend Certification is an industry recognized standard for PHP engineers. It is very difficult to pass the examination without extensive preparation. Unlike other books on PHP, this book is very focused on ... Read more

PHP3,440.09

Improve your programming knowledge and become Zend Certified. This book closely follows the ZCE2017-PHP exam syllabus and adds important details that help candidates to prepare for the test.Zend Certification is an industry recognized standard for PHP engineers. It is very difficult to pass the examination without extensive preparation. Unlike other books on PHP, this book is very focused on
... Read more
Software Technologies

12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24–26, 2017, Revised Selected Papers

Edited by Enrique Cabello, Jorge Cardoso, Leszek A. Maciaszek, Marten van Sinderen ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Joint Conference on Software Technologies, ICSOFT 2017, held in Madrid, Spain, in July 2017.The 17 revised full papers and 24 short papers presented were carefully reviewed and selected from 85 submissions. The topics covered in the papers include: software quality and metrics; software testing and ... Read more

PHP3,228.89

This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Joint Conference on Software Technologies, ICSOFT 2017, held in Madrid, Spain, in July 2017.The 17 revised full papers and 24 short papers presented were carefully reviewed and selected from 85 submissions. The topics covered in the papers include: software quality and metrics; software testing 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

Integrated Formal Methods

Tests and Proofs

Software Development, Design and Coding

Language Server Protocol and Implementation

High Performance Computing

Beginning IntelliJ IDEA

Swift 2 for Absolute Beginners

Selenium WebDriver Recipes in C#

Beginning R

Artificial Intelligence and Soft Computing

Beginning Jakarta EE

Grundkurs Compilerbau

C++/CLI Primer

Advanced Finite Element Simulation with MSC Marc

Reversible Computation

Formal Techniques for Safety-Critical Systems

Modern X86 Assembly Language Programming

Practical C++ Design

Formal Aspects of Component Software

Evaluation of Novel Approaches to Software Engineering

Microservices From Day One

Logic Programming and Nonmonotonic Reasoning

PHP 7 Zend Certification Study Guide

Software Technologies