Rakuten Kobo

Domain Engineering

Product Lines, Languages, and Conceptual Models

Edited by Arnon Sturm, Tony Clark, Sholom Cohen, Jorn Bettin, Iris Reinhartz-Berger ...

Series series Computer Science (R0)
Domain engineeringis a set of activities intended to develop, maintain, and manage the creation and evolution of an area of knowledge suitable for processing by a range of software systems. It is of considerable practical significance, as it provides methods and techniques that help reduce time-to-market, development costs, and project risks on one hand, and helps improve system quality and ... Read more

$49.49 USD

Domain engineeringis a set of activities intended to develop, maintain, and manage the creation and evolution of an area of knowledge suitable for processing by a range of software systems. It is of considerable practical significance, as it provides methods and techniques that help reduce time-to-market, development costs, and project risks on one hand, and helps improve system quality and
... Read more
Enhanced Building Information Models

Using IoT Services and Integration Patterns

by Umit Isikdag ...

Series series Computer Science (R0)
This book explains how to combine and exploit sensor networks and internet-of-things (IoT) technologies and Web-service design patterns to enrich and integrate Building Information Models (BIMs). It provides approaches and software architectures for facilitating the interaction with (and between) BIMs through Web services, and for enabling and facilitating the fusion of the information residing in ... Read more

$49.49 USD

This book explains how to combine and exploit sensor networks and internet-of-things (IoT) technologies and Web-service design patterns to enrich and integrate Building Information Models (BIMs). It provides approaches and software architectures for facilitating the interaction with (and between) BIMs through Web services, and for enabling and facilitating the fusion of the information residing in
... Read more
Hardware and Software: Verification and Testing

11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings

Edited by Nir Piterman ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 11th International Haifa Verification Conference, HVC 2015, held in Haifa, Israel, in November 2015.The 17 revised full papers and 4 invited talks presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on hybrid systems; tools; verification of robotics; symbolic execution; model ... Read more

$49.49 USD

This book constitutes the refereed proceedings of the 11th International Haifa Verification Conference, HVC 2015, held in Haifa, Israel, in November 2015.The 17 revised full papers and 4 invited talks presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on hybrid systems; tools; verification of robotics; symbolic execution; model
... Read more
Benchmarking Peer-to-Peer Systems

Understanding Quality of Service in Large-Scale Distributed Systems

Edited by Wolfgang Effelsberg, Ralf Steinmetz, Thorsten Strufe ...

Series series Computer Science (R0)
Peer-to-peer systems are now widely used and have become the focus of attention for many researchers over the past decade. A number of algorithms for decentralized search, content distribution, and media streaming have been developed. This book provides fundamental concepts for the benchmarking of those algorithms in peer-to-peer systems. It also contains a collection of characteristic ... Read more

$44.99 USD

Peer-to-peer systems are now widely used and have become the focus of attention for many researchers over the past decade. A number of algorithms for decentralized search, content distribution, and media streaming have been developed. This book provides fundamental concepts for the benchmarking of those algorithms in peer-to-peer systems. It also contains a collection of characteristic
... Read more
Design Patterns in Modern C++20

Reusable Approaches for Object-Oriented Software Design

by Dmitri Nesteruk ...

Series series Professional and Applied Computing (R0)
Apply the latest editions of the C++ standard to the implementation of design patterns. As well as covering traditional design patterns, this book fleshes out new design patterns and approaches that will be useful to modern C++ developers. Author Dmitri Nesteruk presents concepts as a fun investigation of how problems can be solved in different ways, along the way using varying degrees of ... Read more

$40.49 USD

Apply the latest editions of the C++ standard to the implementation of design patterns. As well as covering traditional design patterns, this book fleshes out new design patterns and approaches that will be useful to modern C++ developers. Author Dmitri Nesteruk presents concepts as a fun investigation of how problems can be solved in different ways, along the way using varying degrees of
... Read more
Finite Difference Methods,Theory and Applications

6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers

Edited by Ivan Dimov, István Faragó, Lubin Vulkov ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Finite Difference Methods, FDM 2014, held in Lozenetz, Bulgaria, in June 2014.The 36 revised full papers were carefully reviewed and selected from 62 submissions. These papers together with 12 invited papers cover topics such as finite difference and combined finite difference methods ... Read more

$49.49 USD

This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Finite Difference Methods, FDM 2014, held in Lozenetz, Bulgaria, in June 2014.The 36 revised full papers were carefully reviewed and selected from 62 submissions. These papers together with 12 invited papers cover topics such as finite difference and combined finite difference methods
... Read more
Algorithmic Aspects of Cloud Computing

5th International Symposium, ALGOCLOUD 2019, Munich, Germany, September 10, 2019, Revised Selected Papers

Edited by Ivona Brandic, Thiago A. L. Genez, Ilia Pietri, Rizos Sakellariou ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed post-conference proceedings of the 5th International Symposium on Algorithmic Aspects of Cloud Computing, ALGOCLOUD 2019, held in Munich, Germany, in September 2019.The 8 revised full papers were carefully reviewed and selected from 16 submissions. The aim of the symposium is to present research activities and results on topics related to algorithmic, design, and ... Read more

$53.99 USD

This book constitutes the refereed post-conference proceedings of the 5th International Symposium on Algorithmic Aspects of Cloud Computing, ALGOCLOUD 2019, held in Munich, Germany, in September 2019.The 8 revised full papers were carefully reviewed and selected from 16 submissions. The aim of the symposium is to present research activities and results on topics related to algorithmic, design, and
... Read more
Arbeit 4.0 – Digitalisierung, IT und Arbeit

IT als Treiber der digitalen Transformation

Edited by Josephine Hofmann ...

Series series Computer Science and Engineering (German Language)
Die Digitalisierung transformiert die Arbeitswelt in vieler Hinsicht: Arbeitsplätze werden zunehmend mobil und flexibel, Arbeitsprozesse durch Algorithmen gesteuert, Roboter sind die neuen „Kollegen“ in der Industrie und im Dienstleistungssektor. Dieser Band der „Edition HMD“ erörtert viele zentrale Fragen rund um die Transformation der Arbeitswelt von heute und morgen.In ihren Beiträgen über den ... Read more

$53.99 USD

Die Digitalisierung transformiert die Arbeitswelt in vieler Hinsicht: Arbeitsplätze werden zunehmend mobil und flexibel, Arbeitsprozesse durch Algorithmen gesteuert, Roboter sind die neuen „Kollegen“ in der Industrie und im Dienstleistungssektor. Dieser Band der „Edition HMD“ erörtert viele zentrale Fragen rund um die Transformation der Arbeitswelt von heute und morgen.In ihren Beiträgen über den
... Read more
Perception, Representations, Image, Sound, Music

14th International Symposium, CMMR 2019, Marseille, France, October 14–18, 2019, Revised Selected Papers

Edited by Richard Kronland-Martinet, Sølvi Ystad, Mitsuko Aramaki ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 14th International Symposium on Perception, Representations, Image, Sound, Music, CMMR 2019, held in Marseille, France, in October 2019.The 46 full papers presented were selected from 105 submissions. The papers are grouped in 9 sections. The first three sections are related to music information retrieval, computational musicology and ... Read more

$116.09 USD

This book constitutes the refereed proceedings of the 14th International Symposium on Perception, Representations, Image, Sound, Music, CMMR 2019, held in Marseille, France, in October 2019.The 46 full papers presented were selected from 105 submissions. The papers are grouped in 9 sections. The first three sections are related to music information retrieval, computational musicology and
... Read more
Quantitative Evaluation of Systems

17th International Conference, QEST 2020, Vienna, Austria, August 31 – September 3, 2020, Proceedings

Edited by Marco Gribaudo, David N. Jansen, Anne Remke ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 17th International Conference on Quantitative Evaluation Systems, QEST 2020, held in Vienna, Austria, in August/September 2020.The 12 full papers presented together with 7 short papers were carefully reviewed and selected from 42 submissions. The papers cover topics such as classic measures involving performance and reliability, quantification of ... Read more

$49.49 USD

This book constitutes the proceedings of the 17th International Conference on Quantitative Evaluation Systems, QEST 2020, held in Vienna, Austria, in August/September 2020.The 12 full papers presented together with 7 short papers were carefully reviewed and selected from 42 submissions. The papers cover topics such as classic measures involving performance and reliability, quantification of
... Read more
Static Analysis

27th International Symposium, SAS 2020, Virtual Event, November 18–20, 2020, Proceedings

Edited by David Pichardie, Mihaela Sighireanu ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 27th International Symposium on Static Analysis, SAS 2020, held in Chicago, IL, USA, in November 2020.The 14 regular papers presented in this book together with 2 invited talks and 1 extended abstract, were carefully reviewed and selected from 34 submissions.The papers cover topics such as abstract domains; abstract interpretation; automated ... Read more

$71.99 USD

This book constitutes the refereed proceedings of the 27th International Symposium on Static Analysis, SAS 2020, held in Chicago, IL, USA, in November 2020.The 14 regular papers presented in this book together with 2 invited talks and 1 extended abstract, were carefully reviewed and selected from 34 submissions.The papers cover topics such as abstract domains; abstract interpretation; automated
... Read more
Digitalization Across Organizational Levels

New Frontiers for Information Systems Research

Edited by Jens Dibbern, Jens Förderer, Thomas Kude, Franz Rothlauf, Kai Spohrer ...

Series series Business and Management (R0)
This book covers a broad range of topics related to digitalization. Specifically, it views digitalization across different organizational levels, such as the level of individuals, teams, processes, firms, and ecosystems.It includes a collection of recent research and reflections on the topic that helps to understand the technological foundations of digitalization and its impacts. It also reflects ... Read more

$143.09 USD

This book covers a broad range of topics related to digitalization. Specifically, it views digitalization across different organizational levels, such as the level of individuals, teams, processes, firms, and ecosystems.It includes a collection of recent research and reflections on the topic that helps to understand the technological foundations of digitalization and its impacts. It also reflects
... Read more
Artificial Intelligence Applications and Innovations. AIAI 2022 IFIP WG 12.5 International Workshops

MHDW 2022, 5G-PINE 2022, AIBMG 2022, ML@HC 2022, and AIBEI 2022, Hersonissos, Crete, Greece, June 17–20, 2022, Proceedings

Edited by Ilias Maglogiannis, Lazaros Iliadis, John Macintyre, Paulo Cortez ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of five International Workshops held as parallel events of the 18th IFIP WG 12.5 International Conference on Artificial Intelligence Applications and Innovations, AIAI 2022, virtually and in Hersonissos, Crete, Greece, in June 2022: the 11th Mining Humanistic Data Workshop (MHDW 2022); the 7th 5G-Putting Intelligence to the Network Edge Workshop (5G ... Read more

$116.09 USD

This book constitutes the refereed proceedings of five International Workshops held as parallel events of the 18th IFIP WG 12.5 International Conference on Artificial Intelligence Applications and Innovations, AIAI 2022, virtually and in Hersonissos, Crete, Greece, in June 2022: the 11th Mining Humanistic Data Workshop (MHDW 2022); the 7th 5G-Putting Intelligence to the Network Edge Workshop (5G
... Read more
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

4th International Conference, RSSRail 2022, Paris, France, June 1–2, 2022, Proceedings

Edited by Simon Collart-Dutilleul, Anne E. Haxthausen, Thierry Lecomte ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 4th International Conference on Reliability, Safety, and Security of Railway Systems, RSSRail 2022, held in Paris, France, in June 2022.The 16 full papers presented in this book were carefully reviewed and selected from numerous submissions. They cover a range of topics including railways system and infrastructure advance modelling; scheduling ... Read more

$62.99 USD

This book constitutes the refereed proceedings of the 4th International Conference on Reliability, Safety, and Security of Railway Systems, RSSRail 2022, held in Paris, France, in June 2022.The 16 full papers presented in this book were carefully reviewed and selected from numerous submissions. They cover a range of topics including railways system and infrastructure advance modelling; scheduling
... Read more
Networked Systems

9th International Conference, NETYS 2021, Virtual Event, May 19–21, 2021, Proceedings

Edited by Karima Echihabi, Roland Meyer ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the revised selected papers of the 9th International Conference on Networked Systems, NETYS 2021, held virtually in May 2021.The 15 revised full papers and 2 short papers presented were carefully reviewed and selected from 32 submissions. The papers are organized in the following thematic blocks: distributed systems, blockchain, and verification. ... Read more

$71.99 USD

This book constitutes the revised selected papers of the 9th International Conference on Networked Systems, NETYS 2021, held virtually in May 2021.The 15 revised full papers and 2 short papers presented were carefully reviewed and selected from 32 submissions. The papers are organized in the following thematic blocks: distributed systems, blockchain, and verification.
... Read more
Link Technology to Your Long-Term Business Goals

How to Use Technology to Mobilize Your People, Strategy and Operations

by Praz ...

Series series Business and Management (R0)
Link the use of technology with long-term business goals to optimize the core elements in your organization: people, strategy, and operations. This book will show you how effective planning of processes and execution of strategies with the help of technology can bring about an organization-wide increase in productivity and performance.Business environments have grown increasingly competitive. ... Read more

$40.49 USD

Link the use of technology with long-term business goals to optimize the core elements in your organization: people, strategy, and operations. This book will show you how effective planning of processes and execution of strategies with the help of technology can bring about an organization-wide increase in productivity and performance.Business environments have grown increasingly competitive.
... Read more
Intelligent Robotics and Applications

15th International Conference, ICIRA 2022, Harbin, China, August 1–3, 2022, Proceedings, Part I

Edited by Honghai Liu, Zhouping Yin, Lianqing Liu, Li Jiang, Guoying Gu, Xinyu Wu, Weihong Ren ...

Series Book 1 - Springer Nature Proceedings Computer Science
The 4-volume set LNAI 13455 - 13458 constitutes the proceedings of the 15th International Conference on Intelligent Robotics and Applications, ICIRA 2022, which took place in Harbin China, during August 2022.The 284 papers included in these proceedings were carefully reviewed and selected from 442 submissions. They were organized in topical sections as follows: Robotics, Mechatronics, Applications ... Read more

$107.09 USD

The 4-volume set LNAI 13455 - 13458 constitutes the proceedings of the 15th International Conference on Intelligent Robotics and Applications, ICIRA 2022, which took place in Harbin China, during August 2022.The 284 papers included in these proceedings were carefully reviewed and selected from 442 submissions. They were organized in topical sections as follows: Robotics, Mechatronics, Applications
... Read more
Attacks and Defenses for the Internet-of-Things

5th International Workshop, ADIoT 2022, Copenhagen, Denmark, September 30, 2022, Revised Selected Papers

Edited by Wenjuan Li, Steven Furnell, Weizhi Meng ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the post-conference proceedings of the 5th International Workshop on Attacks and Defenses for Internet-of-Things, ADIoT 2022, held in conjunction with ESORICS 2022, in Copenhagen, Denmark, in September 30, 2022, in hybrid mode.The 7 full papers and 3 short papers were carefully reviewed and selected from 18 submissions.This workshop focuses on IoT attacks and defenses and ... Read more

$53.99 USD

This book constitutes the post-conference proceedings of the 5th International Workshop on Attacks and Defenses for Internet-of-Things, ADIoT 2022, held in conjunction with ESORICS 2022, in Copenhagen, Denmark, in September 30, 2022, in hybrid mode.The 7 full papers and 3 short papers were carefully reviewed and selected from 18 submissions.This workshop focuses on IoT attacks and defenses and
... Read more
Software Verification

12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, Revised Selected Papers

Edited by Maria Christakis, Nadia Polikarpova, Parasara Sridhar Duggirala, Peter Schrammel ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 12th International Conference on Verified Software, VSTTE 2020, and the 13th International Workshop on Numerical Software Verification, NSV 2020, held in Los Angeles, CA, USA, in July 2020. Due to COVID-19 pandemic the conference was held virtually.The 13 papers presented in this volume were carefully reviewed and selected from 21 submissions. ... Read more

$49.49 USD

This book constitutes the refereed proceedings of the 12th International Conference on Verified Software, VSTTE 2020, and the 13th International Workshop on Numerical Software Verification, NSV 2020, held in Los Angeles, CA, USA, in July 2020. Due to COVID-19 pandemic the conference was held virtually.The 13 papers presented in this volume were carefully reviewed and selected from 21 submissions.
... Read more
Entwicklung von Methoden zur abstrakten Modellierung von Automotive Systems-on-Chips

by Aljoscha Kirchner ...

Series series Computer Science and Engineering (German Language)
Diese Open-Access-Publikation bietet zu Beginn einen Einblick in die Grundlagen der modellbasierten Systementwicklung. Dabei analysiert die Publikation aktuell bestehende methodische Defizite in der Automotive System-on-Chip (SoC) Entwicklung. Anschließend beschreibt die Publikation, eine neue modellbasierte Entwicklungsmethode, mit deren Hilfe es ermöglicht wird die wachsenden Herausforderungen ... Read more

Free

Diese Open-Access-Publikation bietet zu Beginn einen Einblick in die Grundlagen der modellbasierten Systementwicklung. Dabei analysiert die Publikation aktuell bestehende methodische Defizite in der Automotive System-on-Chip (SoC) Entwicklung. Anschließend beschreibt die Publikation, eine neue modellbasierte Entwicklungsmethode, mit deren Hilfe es ermöglicht wird die wachsenden Herausforderungen
... Read more
Intelligent Robotics and Applications

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

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

Series Book 4 - 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

$89.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
Konzeption und Umsetzung automatisierter Softwaretests

Testautomatisierung zur Optimierung von Testabdeckung und Softwarequalität

by Frank Witte ...

Series series Computer Science and Engineering (German Language)
Für die erfolgreiche Umsetzung von Testautomatisierung im Unternehmen wird konkrete Hilfestellung geboten. Das Buch geht auf unterschiedliche Formen und Ausprägungen der Testautomatisierung, ihre Chancen und Risiken und ihren Einsatz in der betrieblichen Praxis ein. Dabei werden sowohl die Auswirkungen auf andere Bereiche (z.B. Anforderungsmanagement, Releasemanagement, Entwicklung) als auch ... Read more

$40.49 USD

Für die erfolgreiche Umsetzung von Testautomatisierung im Unternehmen wird konkrete Hilfestellung geboten. Das Buch geht auf unterschiedliche Formen und Ausprägungen der Testautomatisierung, ihre Chancen und Risiken und ihren Einsatz in der betrieblichen Praxis ein. Dabei werden sowohl die Auswirkungen auf andere Bereiche (z.B. Anforderungsmanagement, Releasemanagement, Entwicklung) als auch
... Read more
Pomodoro Technique: Mastering Productivity With the Pomodoro Technique (The Complete Guide to the Pomodoro Technique for Focus and Productivity)

by Steven Barraza ...

Discover the pomodoro technique—a time-tested method for maximizing focus, efficiency, and accomplishment. Dive into the history, principles, and science behind the technique, gaining invaluable insights into how to work smarter, not harder. From setting up your workspace to choosing tasks suitable for pomodoro sessions, you'll learn practical strategies for integrating pomodoro seamlessly into ... Read more

$2.99 USD or Free with Kobo Plus

Discover the pomodoro technique—a time-tested method for maximizing focus, efficiency, and accomplishment. Dive into the history, principles, and science behind the technique, gaining invaluable insights into how to work smarter, not harder. From setting up your workspace to choosing tasks suitable for pomodoro sessions, you'll learn practical strategies for integrating pomodoro seamlessly into
... Read more
Aprende a programar desde 0

by Juan Araya ...

¿Quieres aprender a programar desde cero y crear tus propias aplicaciones?Este libro fue diseñado para llevarte desde los fundamentos esenciales de la programación hasta la construcción de aplicaciones prácticas con interfaces gráficas, paso a paso y sin rodeos. El libro contiene mas de 70 ejercicios explicados paso a paso y mas de 30 ejercicios propuestos con solucionario.Aprenderás tres de los ... Read more

$7.00 USD or Free with Kobo Plus

¿Quieres aprender a programar desde cero y crear tus propias aplicaciones?Este libro fue diseñado para llevarte desde los fundamentos esenciales de la programación hasta la construcción de aplicaciones prácticas con interfaces gráficas, paso a paso y sin rodeos. El libro contiene mas de 70 ejercicios explicados paso a paso y mas de 30 ejercicios propuestos con solucionario.Aprenderás tres de los
... 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: