Rakuten Kobo

A Journey from Process Algebra via Timed Automata to Model Learning

Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday

Edited by Nils Jansen, Mariëlle Stoelinga, Petra van den Bos ...

Series series Computer Science (R0)
This Festschrift, dedicated to Frits W. Vaandrager on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. Frits has been a Professor of Informatics for Technical Applications at Radboud University Nijmegen since 1995, where his research focuses on formal methods, concurrency theory, verification, model checking, and automata learning.The volume contains ... Read more

$49.49 USD

This Festschrift, dedicated to Frits W. Vaandrager on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. Frits has been a Professor of Informatics for Technical Applications at Radboud University Nijmegen since 1995, where his research focuses on formal methods, concurrency theory, verification, model checking, and automata learning.The volume contains
... Read more
Formal Methods. FM 2019 International Workshops

Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I

Edited by Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas ...

Series Book 1 - Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal Verification for Software Dependability, AFFORD 2019; 8th International Symposium From Data to Models and ... Read more

$49.49 USD

This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal Verification for Software Dependability, AFFORD 2019; 8th International Symposium From Data to Models and
... Read more
Advances in Cryptology – CRYPTO 2020

40th Annual International Cryptology Conference, CRYPTO 2020, Santa Barbara, CA, USA, August 17–21, 2020, Proceedings, Part II

Edited by Daniele Micciancio, Thomas Ristenpart ...

Series Book 2 - Springer Nature Proceedings Computer Science
Conference on Cryptologic Research, CRYPTO 2020, which was held during August 17–21, 2020. Crypto has traditionally been held at UCSB every year, but due to the COVID-19 pandemic it will be an online event in 2020.The 85 papers presented in the proceedings were carefully reviewed and selected from a total of 371 submissions. They were organized in topical sections as follows:Part I: Security ... Read more

$98.09 USD

Conference on Cryptologic Research, CRYPTO 2020, which was held during August 17–21, 2020. Crypto has traditionally been held at UCSB every year, but due to the COVID-19 pandemic it will be an online event in 2020.The 85 papers presented in the proceedings were carefully reviewed and selected from a total of 371 submissions. They were organized in topical sections as follows:Part I: Security
... Read more
Flutter For Dummies

by Barry Burd ...

**Create awesome iOS and Android apps with a single tool! **Flutter is an app developer’s dream come true. With Google’s open source toolkit, you can easily build beautiful apps that work across platforms using a single codebase. This flexibility allows you to get your work out to the widest possible audience. With Flutter already being used by thousands of developers worldwide in a market where ... Read more

$18.00 USD

**Create awesome iOS and Android apps with a single tool! **Flutter is an app developer’s dream come true. With Google’s open source toolkit, you can easily build beautiful apps that work across platforms using a single codebase. This flexibility allows you to get your work out to the widest possible audience. With Flutter already being used by thousands of developers worldwide in a market where
... Read more
Fundamentals of Software Engineering

by Mohapatra Hitesh ...

Practical Handbook to understand the hidden language of computer hardware and softwareDESCRIPTIONThis book teaches the essentials of software engineering to anyone who wants to become an active and independent software engineer expert. It covers all the software engineering fundamentals without forgetting a few vital advanced topics such as software engineering with artificial intelligence, ... Read more

$15.29 USD

Practical Handbook to understand the hidden language of computer hardware and softwareDESCRIPTIONThis book teaches the essentials of software engineering to anyone who wants to become an active and independent software engineer expert. It covers all the software engineering fundamentals without forgetting a few vital advanced topics such as software engineering with artificial intelligence,
... Read more
Learn C++ for Game Development

by Bruce Sutherland ...

Series series Professional and Applied Computing (R0)
If you’re new to C++ but understand some basic programming, then Learn C++ for Game Development lays the foundation for the C++ language and API that you’ll need to build game apps and applications.Learn C++ for Game Development will show you how to:Master C++ features such as variables, pointers, flow controls, functions, I/O, classes, exceptions, templates, and the Standard Template Library (STL ... Read more

$71.99 USD

If you’re new to C++ but understand some basic programming, then Learn C++ for Game Development lays the foundation for the C++ language and API that you’ll need to build game apps and applications.Learn C++ for Game Development will show you how to:Master C++ features such as variables, pointers, flow controls, functions, I/O, classes, exceptions, templates, and the Standard Template Library (STL
... Read more
Intelligent Technologies and Applications

Second International Conference, INTAP 2019, Bahawalpur, Pakistan, November 6–8, 2019, Revised Selected Papers

Edited by Imran Sarwar Bajwa, Tatjana Sibalija, Dayang Norhayati Abang Jawawi ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the Second International Conference on Intelligent Technologies and Applications, INTAP 2019, held in Bahawalpur, Pakistan, in November 2019.The 60 revised full papers and 6 revised short papers presented were carefully reviewed and selected from 224 submissions. Additionally, the volume presents 1 invited paper. The papers of this volume are ... Read more

$89.09 USD

This book constitutes the refereed proceedings of the Second International Conference on Intelligent Technologies and Applications, INTAP 2019, held in Bahawalpur, Pakistan, in November 2019.The 60 revised full papers and 6 revised short papers presented were carefully reviewed and selected from 224 submissions. Additionally, the volume presents 1 invited paper. The papers of this volume are
... Read more
Serverless Integration Design Patterns with Azure

Build powerful cloud solutions that sustain next-generation products

by Abhishek Kumar, Srinivasa Mahendrakar ...

A practical guide that helps you progress to using modern integration methods and leverage new cloud capability modelsKey FeaturesDesign critical hybrid integration solutions for your organizationGain in-depth knowledge of how to build cloud-native integration solutionsLeverage cognitive services to build smart cloud solutionsBook DescriptionWith more enterprises adapting cloud-based and API-based ... Read more

$34.19 USD or Free with Kobo Plus

A practical guide that helps you progress to using modern integration methods and leverage new cloud capability modelsKey FeaturesDesign critical hybrid integration solutions for your organizationGain in-depth knowledge of how to build cloud-native integration solutionsLeverage cognitive services to build smart cloud solutionsBook DescriptionWith more enterprises adapting cloud-based and API-based
... Read more
Notifications in iOS 11

Learn how to show local notifications in iOS 11 with Swift 4

by J.D Gauchat ...

Learn how to generate local notifications from your iOS applications. After reading this guide, you will know how to schedule and display local notifications to the user, how to respond to system notifications, and how to communicate objects with each other using custom notifications and Key/Value observers.Table of ContentsNOTIFICATIONSNotification CenterSystem NotificationsUser NotificationsUser ... Read more

$2.84 USD or Free with Kobo Plus

Learn how to generate local notifications from your iOS applications. After reading this guide, you will know how to schedule and display local notifications to the user, how to respond to system notifications, and how to communicate objects with each other using custom notifications and Key/Value observers.Table of ContentsNOTIFICATIONSNotification CenterSystem NotificationsUser NotificationsUser
... Read more
Intelligent Robotics and Applications

16th International Conference, ICIRA 2023, Hangzhou, China, July 5–7, 2023, Proceedings, Part II

Edited by Huayong Yang, Honghai Liu, Jun Zou, Zhouping Yin, Lianqing Liu, Geng Yang, Xiaoping Ouyang, Zhiyong Wang ...

Series Book 2 - Springer Nature Proceedings Computer Science
The 9-volume set LNAI 14267-14275 constitutes the proceedings of the 16th International Conference on Intelligent Robotics and Applications, ICIRA 2023, which took place in Hangzhou, China, during July 5–7, 2023.The 413 papers included in these proceedings were carefully reviewed and selected from 630 submissions. They were organized in topical sections as follows:Part I: Human-Centric ... Read more

$80.09 USD

The 9-volume set LNAI 14267-14275 constitutes the proceedings of the 16th International Conference on Intelligent Robotics and Applications, ICIRA 2023, which took place in Hangzhou, China, during July 5–7, 2023.The 413 papers included in these proceedings were carefully reviewed and selected from 630 submissions. They were organized in topical sections as follows:Part I: Human-Centric
... Read more
Google Apps Script For Beginners: The Ultimate Step-By-Step Guide To Mastering Google Sheets To Creating Scripts, Automating Tasks, Building Applications For Enhanced Productivity

by Voltaire Lumiere ...

Google Apps Script For Beginners: The Ultimate Step-By-Step Guide To Mastering Google Sheets To Creating Scripts, Automating Tasks, Building Applications, And Extending Google Workspace For Enhanced ProductivityThis book is for you if you're an application developer who doesn't know how to use App Script and would like to learn how to create apps from scratch using Google Apps script.A cloud-based ... Read more

$9.99 USD or Free with Kobo Plus

Google Apps Script For Beginners: The Ultimate Step-By-Step Guide To Mastering Google Sheets To Creating Scripts, Automating Tasks, Building Applications, And Extending Google Workspace For Enhanced ProductivityThis book is for you if you're an application developer who doesn't know how to use App Script and would like to learn how to create apps from scratch using Google Apps script.A cloud-based
... Read more
Internet of Things – ICIOT 2022

7th International Conference, Held as Part of the Services Conference Federation, SCF 2022, Honolulu, HI, USA, December 10–14, 2022, Proceedings

Edited by Bedir Tekinerdogan, Yingwei Wang, Liang-Jie Zhang ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 7th International Conference on Internet of Things, ICIOT 2022, held in Honolulu, USA, as part of SCF 2022, during December 10-14, 2022.The 9 full papers presented in this volume were carefully reviewed and selected from 17 submissions.The conference Internet of Things (ICIOT 2022) covers state-of-the-art technologies and best practices of Internet of ... Read more

$53.99 USD

This book constitutes the proceedings of the 7th International Conference on Internet of Things, ICIOT 2022, held in Honolulu, USA, as part of SCF 2022, during December 10-14, 2022.The 9 full papers presented in this volume were carefully reviewed and selected from 17 submissions.The conference Internet of Things (ICIOT 2022) covers state-of-the-art technologies and best practices of Internet of
... Read more
Modern DevOps Practices

Implement, secure, and manage applications on the public cloud by leveraging cutting-edge tools

by Gaurav Agarwal ...

Enhance DevOps workflows by integrating the functionalities of Git, Docker, Kubernetes, Argo CD, Ansible, Terraform, Istio, and more with the help of practical examples and expert tipsKey FeaturesExplore containers as a service (CaaS) and infrastructure automation in the public cloudSecure and ship software continuously to production with DevOps, GitOps, SecOps, and automationOperate distributed ... Read more

$37.79 USD or Free with Kobo Plus

Enhance DevOps workflows by integrating the functionalities of Git, Docker, Kubernetes, Argo CD, Ansible, Terraform, Istio, and more with the help of practical examples and expert tipsKey FeaturesExplore containers as a service (CaaS) and infrastructure automation in the public cloudSecure and ship software continuously to production with DevOps, GitOps, SecOps, and automationOperate distributed
... Read more
Systems, Software and Services Process Improvement

32nd European Conference, EuroSPI 2025, Riga, Latvia, September 17–19, 2025, Proceedings, Part I

Edited by Murat Yilmaz, Paul Clarke, Andreas Riel, Richard Messnarz, Mikus Zelmenis, Ivi Anna Buce ...

Series Book 1 - Springer Nature Proceedings Computer Science
The two-volume set CCIS 2657 + 2658 constitutes the refereed proceedings of the 32nd European Conference on Systems, Software and Services Process Improvement, EuroSPI 2025, held in Riga, Latvia, during September 17-19, 2025.The 42 papers included in these proceedings were carefully reviewed and selected from 72 submissions. They were organized in topical sections as follows:Part I: SPI and ... Read more

$116.09 USD

The two-volume set CCIS 2657 + 2658 constitutes the refereed proceedings of the 32nd European Conference on Systems, Software and Services Process Improvement, EuroSPI 2025, held in Riga, Latvia, during September 17-19, 2025.The 42 papers included in these proceedings were carefully reviewed and selected from 72 submissions. They were organized in topical sections as follows:Part I: SPI and
... Read more
MongoDB Essentials

A quick introduction

by The MongoDB Team ...

Get started fast with MongoDB architecture, core operations, and AI-powered tools for building intelligent applications Free with your book: DRM-free PDF version + access to Packt's next-gen Reader\*Key FeaturesQuickly grasp the MongoDB architecture and distributed design principlesLearn practical data modeling, CRUD operations, and aggregation techniquesExplore AI-enabled tools for building ... Read more

$22.79 USD or Free with Kobo Plus

Get started fast with MongoDB architecture, core operations, and AI-powered tools for building intelligent applications Free with your book: DRM-free PDF version + access to Packt's next-gen Reader\*Key FeaturesQuickly grasp the MongoDB architecture and distributed design principlesLearn practical data modeling, CRUD operations, and aggregation techniquesExplore AI-enabled tools for building
... Read more
Das ultimative Buch über Point & Click-Adventures

by Joerg Burbach ...

Series series Computer Science and Engineering (German Language)
Point & Click-Adventures sind mehr als nostalgisches Rätseln – sie sind interaktive Erzählkunst.Dieses Buch beleuchtet das Genre aus gestalterischer, narrativer und medienkultureller Perspektive. Es verbindet persönliche Anekdoten mit fundierter Analyse, deckt Designprinzipien, historische Entwicklungen und aktuelle Remakes ab. Es zeigt so, wie Adventures Lernprozesse, Kreativität und ... Read more

$28.49 USD

Point & Click-Adventures sind mehr als nostalgisches Rätseln – sie sind interaktive Erzählkunst.Dieses Buch beleuchtet das Genre aus gestalterischer, narrativer und medienkultureller Perspektive. Es verbindet persönliche Anekdoten mit fundierter Analyse, deckt Designprinzipien, historische Entwicklungen und aktuelle Remakes ab. Es zeigt so, wie Adventures Lernprozesse, Kreativität und
... Read more
High-Performance Computing Systems and Technologies in Scientific Research, Automation of Control and Production

14th International Conference, HPCST 2024, Barnaul, Russia, May 17–18, 2024, Revised Selected Papers

Edited by Vladimir Jordan, Ilya Tarasov, Ella Shurina, Nikolay Filimonov, Vladimir Faerman ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the revised selected papers of the 14th International Conference on High-Performance Computing Systems and Technologies in Scientific Research, Management and Production Automation, HPCST 2024, held in Barnaul, Russia, during May 17–18, 2024.The 19 full papers included in this book were carefully reviewed and selected from 79 submissions. They are organized into the following ... Read more

$71.99 USD

This book constitutes the revised selected papers of the 14th International Conference on High-Performance Computing Systems and Technologies in Scientific Research, Management and Production Automation, HPCST 2024, held in Barnaul, Russia, during May 17–18, 2024.The 19 full papers included in this book were carefully reviewed and selected from 79 submissions. They are organized into the following
... Read more
Advanced Research in Technologies, Information, Innovation and Sustainability

5th International Conference, ARTIIS 2025, Cartagena de Indias, Colombia, October 21–23, 2025, Revised Selected Papers, Part III

Edited by Teresa Guarda, Filipe Portela, Maria Fernanda Augusto, Jairo R. Coronado-Hernández ...

Series Book 3 - Springer Nature Proceedings Computer Science
This three-volume set constitutes the revised selected papers from the 5th International Conference on Advanced Research in Technologies, Information, Innovation and Sustainability 2025, ARTIIS 2025, held in Cartagena de Indias, Colombia, during October 21–23, 2025.The 91 full papers and 10 short papers included in these proceedings were carefully reviewed and selected from 266 submissions. These ... Read more

$89.09 USD

This three-volume set constitutes the revised selected papers from the 5th International Conference on Advanced Research in Technologies, Information, Innovation and Sustainability 2025, ARTIIS 2025, held in Cartagena de Indias, Colombia, during October 21–23, 2025.The 91 full papers and 10 short papers included in these proceedings were carefully reviewed and selected from 266 submissions. These
... Read more
Java Message Service

by David A Chappell, Richard Monson-Haefel ...

This book is a thorough introduction to Java Message Service (JMS), the standard Java application program interface (API) from Sun Microsystems that supports the formal communication known as "messaging" between computers in a network. JMS provides a common interface to standard messaging protocols and to special messaging services in support of Java programs. The messages exchange crucial data ... Read more

$20.19 USD

This book is a thorough introduction to Java Message Service (JMS), the standard Java application program interface (API) from Sun Microsystems that supports the formal communication known as "messaging" between computers in a network. JMS provides a common interface to standard messaging protocols and to special messaging services in support of Java programs. The messages exchange crucial data
... Read more
Mathematics and Programming for Machine Learning with R

From the Ground Up

by William Claster ...

Based on the author’s experience in teaching data science for more than 10 years, Mathematics and Programming for Machine Learning with R: From the Ground Upreveals how machine learning algorithms do their magic and explains how these algorithms can be implemented in code. It is designed to provide readers with an understanding of the reasoning behind machine learning algorithms as well as how to ... Read more

$76.99 USD

Based on the author’s experience in teaching data science for more than 10 years, Mathematics and Programming for Machine Learning with R: From the Ground Upreveals how machine learning algorithms do their magic and explains how these algorithms can be implemented in code. It is designed to provide readers with an understanding of the reasoning behind machine learning algorithms as well as how to
... Read more
ServiceNow for IT Service Management: Manage, Transform, and Deliver IT Operations and Services with Incident, Problem and Change Management Using ServiceNow and ITSM Framework

by Mohammad Khaleelullah ...

Master IT Service Management with Real-World ServiceNow Expertise.Key Features● Comprehensive ITSM concepts explained with real-world context and use cases.● In-depth ServiceNow guidance to implement and optimize IT workflows.● Practical process coverage: Incident, Problem, Change and Request Fulfilment.● Step-by-step guidance to align IT services with business goals.Book DescriptionServiceNow has ... Read more

$19.95 USD or Free with Kobo Plus

Master IT Service Management with Real-World ServiceNow Expertise.Key Features● Comprehensive ITSM concepts explained with real-world context and use cases.● In-depth ServiceNow guidance to implement and optimize IT workflows.● Practical process coverage: Incident, Problem, Change and Request Fulfilment.● Step-by-step guidance to align IT services with business goals.Book DescriptionServiceNow has
... Read more
Machine Learning in Production

From Models to Products

by Christian Kastner ...

A practical and innovative textbook detailing how to build real-world software products with machine learning components, not just models.Traditional machine learning texts focus on how to train and evaluate the machine learning model, while MLOps books focus on how to streamline model development and deployment. But neither focus on how to build actual products that deliver value to users. This ... Read more

$49.99 USD

A practical and innovative textbook detailing how to build real-world software products with machine learning components, not just models.Traditional machine learning texts focus on how to train and evaluate the machine learning model, while MLOps books focus on how to streamline model development and deployment. But neither focus on how to build actual products that deliver value to users. This
... Read more
Active Inference

6th International Workshop, IWAI 2025, Montreal, QC, Canada, October 15–17, 2025, Revised Selected Papers

Edited by Mahault Albarracin, David Benrimoh, Christopher L. Buckley, Pablo Lanillos, Riddhi J. Pitliya, Hideaki Shimazaki, Ivilin Peev Stoianov, Tim Verbelen, Martijn Wisse ...

Series series Springer Nature Proceedings excluding Computer Science
This book constitutes revised selected papers from the 6th International Workshop on Active Inference, IWAI 2025, held in Montreal, Canada, during October 15-17, 2025.The 24 full papers included in this book were carefully reviewed and selected from 76 submissions. They were organized in topical sections as follows: Models of Decision Making; Forney Style Factor Graphs; Fundamental Active ... Read more

$76.49 USD

This book constitutes revised selected papers from the 6th International Workshop on Active Inference, IWAI 2025, held in Montreal, Canada, during October 15-17, 2025.The 24 full papers included in this book were carefully reviewed and selected from 76 submissions. They were organized in topical sections as follows: Models of Decision Making; Forney Style Factor Graphs; Fundamental Active
... Read more
Innovations for Community Services

25th International Conference, I4CS 2025, Munich, Germany, June 11–13, 2025, Proceedings

Edited by Sebastian Zielinski, Gerald Eichler, Christian Erfurth, Günter Fahrnberger ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 25th International Conference on Innovations for Community Services, I4CS 2025, held in Munich, Germany, during June 11–13, 2025.The 21 full papers presented in this book together with 3 short papers were carefully reviewed and selected from 55 submissions.They are organized in topical sections as follows: recognition and verification; ... Read more

$89.09 USD

This book constitutes the refereed proceedings of the 25th International Conference on Innovations for Community Services, I4CS 2025, held in Munich, Germany, during June 11–13, 2025.The 21 full papers presented in this book together with 3 short papers were carefully reviewed and selected from 55 submissions.They are organized in topical sections as follows: recognition and verification;
... Read more

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

Software Development eBooks

Show: