Rakuten Kobo

Foundations and Frontiers in Software Engineering

Proceedings of 15th Computer Science On-line Conference 2026, Volume 5

Edited by Radek Silhavy, Petr Silhavy ...

Series series Springer Nature Proceedings excluding Computer Science
This proceedings book aim to support academic discussion, interdisciplinary cooperation, and the dissemination of high-quality scientific results. Recent developments in computing, software systems, artificial intelligence, data-driven methods, and digital technologies continue to influence research, industry, education, and public administration. This book presents selected contributions that ... Read more

$224.99 USD

This proceedings book aim to support academic discussion, interdisciplinary cooperation, and the dissemination of high-quality scientific results. Recent developments in computing, software systems, artificial intelligence, data-driven methods, and digital technologies continue to influence research, industry, education, and public administration. This book presents selected contributions that
... Read more
Ruby on Rails for Agile Web Development

A Hands-on Guide to Building Dynamic and Efficient Web Applications (English Edition)

by SAJJAD UMAR ...

Master the Art of Agile Development with Ruby on RailsBook DescriptionDiscover the power of Ruby on Rails web development framework, through the pages of "Ruby on Rails for Agile Web Development". This book combines the robustness of Rails with the agility of development methodologies like Scrum and Kanban to help you efficiently build high-performing web applications.Starting with an overview of ... Read more

$29.95 USD or Free with Kobo Plus

Master the Art of Agile Development with Ruby on RailsBook DescriptionDiscover the power of Ruby on Rails web development framework, through the pages of "Ruby on Rails for Agile Web Development". This book combines the robustness of Rails with the agility of development methodologies like Scrum and Kanban to help you efficiently build high-performing web applications.Starting with an overview of
... Read more
System Innovation in an AI-Driven World

Applied System Innovation XII

Edited by Artde Donald Kin-Tak Lam, Siu-Tsen Shen, Stephen D. Prior, Sheng-Joue Young, Liang-Wen Ji ...

Series series Smart Science, Design & Technology
As Artificial Intelligence fundamentally restructures contemporary socio-technical infrastructure, reductive technological paradigms fail to capture emerging institutional complexities. System Innovation in an AI-Driven World establishes a rigorous theoretical framework for transitioning from discrete algorithmic deployment to comprehensive systemic transformation. This volume equips scholars and ... Read more

$224.99 USD

As Artificial Intelligence fundamentally restructures contemporary socio-technical infrastructure, reductive technological paradigms fail to capture emerging institutional complexities. System Innovation in an AI-Driven World establishes a rigorous theoretical framework for transitioning from discrete algorithmic deployment to comprehensive systemic transformation. This volume equips scholars and
... Read more
Intelligent Computer Mathematics

13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings

Edited by Christoph Benzmüller, Bruce Miller ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 13th International Conference on Intelligent Computer Mathematics, CICM 2020, held in Bertinoro, Italy, in July 2020*.The 15 full papers, 1 invited paper and 2 abstracts of invited papers presented were carefully reviewed and selected from a total of 35 submissions. The papers focus on advances in automated theorem provers and formalization, ... Read more

$49.99 USD

This book constitutes the refereed proceedings of the 13th International Conference on Intelligent Computer Mathematics, CICM 2020, held in Bertinoro, Italy, in July 2020*.The 15 full papers, 1 invited paper and 2 abstracts of invited papers presented were carefully reviewed and selected from a total of 35 submissions. The papers focus on advances in automated theorem provers and formalization,
... Read more
Qualität in IT-Architekturen

Management

Edited by Mirko Schrempp ...

Series Book 50 - shortcuts
Qualität von IT-Architekturen ist heute so wichtig wie in der Vergangenheit. Es ist jedoch ungleich schwieriger geworden sie zu erreichen. In der schnelllebigen IT-Industrie ist der Anspruch Qualität zu schaffen vorhanden, aber die Herausforderungen sind eigentlich nur noch im internationalen Zusammenspiel zu meistern. Es steigt die Anzahl der Rahmenrichtlinien, Normen und internationalen ... Read more

$3.99 USD or Free with Kobo Plus

Qualität von IT-Architekturen ist heute so wichtig wie in der Vergangenheit. Es ist jedoch ungleich schwieriger geworden sie zu erreichen. In der schnelllebigen IT-Industrie ist der Anspruch Qualität zu schaffen vorhanden, aber die Herausforderungen sind eigentlich nur noch im internationalen Zusammenspiel zu meistern. Es steigt die Anzahl der Rahmenrichtlinien, Normen und internationalen
... Read more
Moderne Webanwendungen mit AngularJS

by Philipp Tarasiewicz, Robin Böhm ...

Series Book 102 - shortcuts
AngularJS ist ein JavaScript-Framework für die Konzeption moderner Webanwendungen. Der shortcut soll die Leser an die Entwicklung mit AngularJS heranführen und einen Teil der Tool-Chain, u. a. das Konzept der Direktiven, vorstellen. Zu diesem Zweck wird ein kleines Projekt mit AngularJS entwickelt, eine einfache Anwendung zur Visualisierung eines dreidimensionalen Würfels. In den Kapiteln zwei und ... Read more

$4.99 USD or Free with Kobo Plus

AngularJS ist ein JavaScript-Framework für die Konzeption moderner Webanwendungen. Der shortcut soll die Leser an die Entwicklung mit AngularJS heranführen und einen Teil der Tool-Chain, u. a. das Konzept der Direktiven, vorstellen. Zu diesem Zweck wird ein kleines Projekt mit AngularJS entwickelt, eine einfache Anwendung zur Visualisierung eines dreidimensionalen Würfels. In den Kapiteln zwei und
... Read more
From the Web to the Grid and Beyond

Computing Paradigms Driven by High-Energy Physics

Edited by René Brun, Federico Carminati, Giuliana Galli Carminati ...

Series series Physics and Astronomy (R0)
Born after World War II, large-scale experimental high-energy physics (HEP) has found itself limited ever since by available accelerator, detector and computing technologies. Accordingly, HEP has made significant contributions to the development of these fields, more often than not driving their innovations. The invention of the World Wide Web at CERN is merely the best-known example out of many. ... Read more

$49.99 USD

Born after World War II, large-scale experimental high-energy physics (HEP) has found itself limited ever since by available accelerator, detector and computing technologies. Accordingly, HEP has made significant contributions to the development of these fields, more often than not driving their innovations. The invention of the World Wide Web at CERN is merely the best-known example out of many.
... Read more
Java EE Testing mit Arquillian

by Christian Heinemann, Bernd Müller ...

Series Book 82 - shortcuts
Mit Arquillian sind Integrationstests ebenso einfach handhabbar wie Unit-Tests. Arquillian ist aufgrund der Flexibilität, die sich aus In-Container-Tests und Micro-Deployments ergibt, für eine Vielzahl von automatisierten Testformen geeignet. Das reicht von Unit Tests über Integrationstests bis hin zu Akzeptanz- und Performanztests. Das erste Kapitel gibt u.a. eine Einführung in das Testen von ... Read more

$3.99 USD or Free with Kobo Plus

Mit Arquillian sind Integrationstests ebenso einfach handhabbar wie Unit-Tests. Arquillian ist aufgrund der Flexibilität, die sich aus In-Container-Tests und Micro-Deployments ergibt, für eine Vielzahl von automatisierten Testformen geeignet. Das reicht von Unit Tests über Integrationstests bis hin zu Akzeptanz- und Performanztests. Das erste Kapitel gibt u.a. eine Einführung in das Testen von
... Read more
Agile Leadership

by Dr. Kevin Duffy ...

Agile Leadership: Mastering Trust, Empathy, and Empowerment for Organizational SuccessIn a rapidly evolving world, traditional leadership methods often fall short. Agile Leadership offers a fresh approach to navigating change, emphasizing adaptability, collaboration, and resilience. Grounded in the TEE Philosophy—Trust, Empathy, and Empowerment—this book provides leaders with actionable strategies ... Read more

$9.99 USD or Free with Kobo Plus

Agile Leadership: Mastering Trust, Empathy, and Empowerment for Organizational SuccessIn a rapidly evolving world, traditional leadership methods often fall short. Agile Leadership offers a fresh approach to navigating change, emphasizing adaptability, collaboration, and resilience. Grounded in the TEE Philosophy—Trust, Empathy, and Empowerment—this book provides leaders with actionable strategies
... Read more
Service-Oriented and Cloud Computing

9th IFIP WG 6.12 European Conference, ESOCC 2022, Wittenberg, Germany, March 22–24, 2022, Proceedings

Edited by Fabrizio Montesi, George Angelos Papadopoulos, Wolf Zimmermann ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 8th IFIP WG 2.14 European Conference on Service-Oriented and Cloud Computing, ESOCC 2022, held in Wittenberg, Germany, in March 2022. The 6 full and 2 short papers presented in this volume were carefully reviewed and selected from 17 submissions. ... Read more

$80.99 USD

This book constitutes the refereed proceedings of the 8th IFIP WG 2.14 European Conference on Service-Oriented and Cloud Computing, ESOCC 2022, held in Wittenberg, Germany, in March 2022. The 6 full and 2 short papers presented in this volume were carefully reviewed and selected from 17 submissions.
... Read more
Time Predictions

Understanding and Avoiding Unrealism in Project Planning and Everyday Life

by Torleif Halkjelsvik, Magne Jørgensen ...

Series series Economics and Finance (R0)
This book is published open access under a CC BY 4.0 license.Predicting the time needed to complete a project, task or daily activity can be difficult and people frequently underestimate how long an activity will take. This book sheds light on why and when this happens, what we should do to avoid it and how to give more realistic time predictions. It describes methods for predicting time usage in ... Read more

Free

This book is published open access under a CC BY 4.0 license.Predicting the time needed to complete a project, task or daily activity can be difficult and people frequently underestimate how long an activity will take. This book sheds light on why and when this happens, what we should do to avoid it and how to give more realistic time predictions. It describes methods for predicting time usage in
... Read more
The Coder Cafe

by Teiva Harsanyi ...

Great software developers—even the proverbial greybeards—get a little better every day by adding knowledge and skills continuously. This new book invites you to share a cup of coffee with senior Google engineer Teiva Harsanyi as he shows you how to make your code more readable, use unit tests as documentation, reduce latency, navigate complex systems, and more.The book introduces vital software ... Read more

$50.99 USD

PRE-ORDER

Great software developers—even the proverbial greybeards—get a little better every day by adding knowledge and skills continuously. This new book invites you to share a cup of coffee with senior Google engineer Teiva Harsanyi as he shows you how to make your code more readable, use unit tests as documentation, reduce latency, navigate complex systems, and more.The book introduces vital software
... Read more
ਪ੍ਰੋਜੈਕਟ ਪ੍ਰਬੰਧਨ — ਸਫਲਤਾ ਦੇ ਸਿਧਾਂਤ ਅਤੇ ਅਮਲ

by ਹਰਜੀਤ ਸਿੰਘ ਮਾਵੀ ...

ਇਹ ਕਿਤਾਬ ਪੰਜਾਬੀ ਭਾਸ਼ਾ (ਗੁਰਮੁਖੀ ਲਿਪੀ) ਵਿੱਚ ਪ੍ਰੋਜੈਕਟ ਪ੍ਰਬੰਧਨ ਦੇ ਮੂਲ ਅਸੂਲਾਂ ਨੂੰ ਕਵਰ ਕਰਦੀ ਹੈ। ... Read more

$2.99 USD

ਇਹ ਕਿਤਾਬ ਪੰਜਾਬੀ ਭਾਸ਼ਾ (ਗੁਰਮੁਖੀ ਲਿਪੀ) ਵਿੱਚ ਪ੍ਰੋਜੈਕਟ ਪ੍ਰਬੰਧਨ ਦੇ ਮੂਲ ਅਸੂਲਾਂ ਨੂੰ ਕਵਰ ਕਰਦੀ ਹੈ।
... Read more
Perspectives of System Informatics

11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers

Edited by Alexander K. Petrenko, Andrei Voronkov ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 11th International Andrei P. Ershov Informatics Conference, PSI 2017, held in Moscow, Russia, in June 2017.The 31 full papers presented in this volume were carefully reviewed and selected from 57 submissions. The papers cover various topics related to the foundations of program and system development and analysis, programming methodology and ... Read more

$49.99 USD

This book constitutes the refereed proceedings of the 11th International Andrei P. Ershov Informatics Conference, PSI 2017, held in Moscow, Russia, in June 2017.The 31 full papers presented in this volume were carefully reviewed and selected from 57 submissions. The papers cover various topics related to the foundations of program and system development and analysis, programming methodology and
... Read more
Artificial Intelligence

16th Russian Conference, RCAI 2018, Moscow, Russia, September 24-27, 2018, Proceedings

Edited by Sergei O. Kuznetsov, Gennady S. Osipov, Vadim L. Stefanuk ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 16th Russian Conference on Artificial Intelligence, RCAI 2018, Moscow, Russia, in September 2018.The 22 full papers presented along with 4 short papers in this volume were carefully reviewed and selected from 75 submissions. The conference deals with a wide range of topics, including data mining and knowledge discovery, text mining, reasoning, decision ... Read more

$49.99 USD

This book constitutes the proceedings of the 16th Russian Conference on Artificial Intelligence, RCAI 2018, Moscow, Russia, in September 2018.The 22 full papers presented along with 4 short papers in this volume were carefully reviewed and selected from 75 submissions. The conference deals with a wide range of topics, including data mining and knowledge discovery, text mining, reasoning, decision
... Read more
Quantitative Evaluation of Systems

15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings

Edited by Annabelle McIver, Andras Horvath ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 15th International Conference on Quantitative Evaluation Systems, QEST 2018, held in Beijing, China, in September 2018.The 24 full papers presented were carefully reviewed and selected from 51 submissions. The papers cover topics in the field of quantitative evaluation and verification of computer systems and networks through stochastic models and ... Read more

$49.99 USD

This book constitutes the proceedings of the 15th International Conference on Quantitative Evaluation Systems, QEST 2018, held in Beijing, China, in September 2018.The 24 full papers presented were carefully reviewed and selected from 51 submissions. The papers cover topics in the field of quantitative evaluation and verification of computer systems and networks through stochastic models and
... Read more
Integrated Formal Methods

14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings

Edited by Carlo A. Furia, Kirsten Winter ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 14th International Conference on Integrated Formal Methods, IFM 2018, held in Maynooth, Ireland, in September 2018.The 17 full papers and 5 short papers presented together with 3 invited talks were carefully reviewed and selected from 60 submissions. The conference covers a broad spectrum of topics: from language design, to verification and ... Read more

$49.99 USD

This book constitutes the refereed proceedings of the 14th International Conference on Integrated Formal Methods, IFM 2018, held in Maynooth, Ireland, in September 2018.The 17 full papers and 5 short papers presented together with 3 invited talks were carefully reviewed and selected from 60 submissions. The conference covers a broad spectrum of topics: from language design, to verification and
... Read more
Security and Cryptography for Networks

11th International Conference, SCN 2018, Amalfi, Italy, September 5–7, 2018, Proceedings

Edited by Dario Catalano, Roberto De Prisco ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 11th International Conference on Security and Cryptography for Networks, SCN 2018, held in Amalfi, Italy, in September 2018.The 30 papers presented in this volume were carefully reviewed and selected from 66 submissions. They are organized in topical sections on signatures and watermarking; composability; encryption; multiparty computation; anonymity ... Read more

$49.99 USD

This book constitutes the proceedings of the 11th International Conference on Security and Cryptography for Networks, SCN 2018, held in Amalfi, Italy, in September 2018.The 30 papers presented in this volume were carefully reviewed and selected from 66 submissions. They are organized in topical sections on signatures and watermarking; composability; encryption; multiparty computation; anonymity
... Read more
Código sintético: el arte de orquestar agentes de IA: arquitectura, economía y criterio de ingeniería en la era multiagente

by Sergio Perez Ruiz ...

¿Cómo construir sistemas de Inteligencia Artificial que no colapsen a escala empresarial?En la era de la IA agéntica, la verdadera ventaja competitiva no radica en consumir modelos de lenguaje, sino en orquestarlos con criterio de ingeniería, resiliencia y eficiencia económica.Código sintético es la guía arquitectónica definitiva para desarrolladores senior, líderes técnicos y arquitectos de ... Read more

$9.99 USD or Free with Kobo Plus

¿Cómo construir sistemas de Inteligencia Artificial que no colapsen a escala empresarial?En la era de la IA agéntica, la verdadera ventaja competitiva no radica en consumir modelos de lenguaje, sino en orquestarlos con criterio de ingeniería, resiliencia y eficiencia económica.Código sintético es la guía arquitectónica definitiva para desarrolladores senior, líderes técnicos y arquitectos de
... Read more
Introdução à Inteligência Artificial

by Topin ...

Introdução à Inteligência Artificial apresenta uma descrição objetiva mas detalhada dos tipos de IA, bem como dos conceitos Machine Learning, Redes Neurais e Deep Learning. Além disso, o eBook promove uma visão geral das aplicações da tecnologia em diversos setores, suas perspectivas para o futuro e principais desafios. Garanta já o seu e conheça mais sobre o promissor universo da Inteligência ... Read more

$3.99 USD or Free with Kobo Plus

Introdução à Inteligência Artificial apresenta uma descrição objetiva mas detalhada dos tipos de IA, bem como dos conceitos Machine Learning, Redes Neurais e Deep Learning. Além disso, o eBook promove uma visão geral das aplicações da tecnologia em diversos setores, suas perspectivas para o futuro e principais desafios. Garanta já o seu e conheça mais sobre o promissor universo da Inteligência
... Read more
Leveraging Applications of Formal Methods, Verification and Validation. Bridging Gaps between Software and System Contracts

13th International Symposium, ISoLA 2026, Kos, Greece, October 24–28, 2026, Proceedings, Part III

Edited by Tiziana Margaria, Bernhard Steffen ...

Series Book 3 - Springer Nature Proceedings Computer Science
The open access ISoLA 2026 proceedings constitutes contributions of the associated events held at the 13th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2026, which took place in Kos, Greece, in October 2026.ISoLA 2026 provides a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the ... Read more

Free

The open access ISoLA 2026 proceedings constitutes contributions of the associated events held at the 13th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2026, which took place in Kos, Greece, in October 2026.ISoLA 2026 provides a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the
... Read more
DevOps

Wie IT-Projekte mit einem modernen Toolset und der richtigen Kultur gelingen

by Sujeevan Vijayakumaran ...

Bauen Sie ein solides Fundament auf und gehen Sie die DevOps-Transformation in Ihrem Team anDevOps verspricht eine neue Kultur der Zusammenarbeit sowie bessere Prozesse und Workflows. So liefern Sie Änderungen schneller aus und sorgen für kürzere Feedback-Schleifen zwischen Usern, Operations und Devolpern. In zahlreichen Projekten hat Sujeevan Vijayakumaran gelernt, was in der Entwicklung und im ... Read more

$31.99 USD

Bauen Sie ein solides Fundament auf und gehen Sie die DevOps-Transformation in Ihrem Team anDevOps verspricht eine neue Kultur der Zusammenarbeit sowie bessere Prozesse und Workflows. So liefern Sie Änderungen schneller aus und sorgen für kürzere Feedback-Schleifen zwischen Usern, Operations und Devolpern. In zahlreichen Projekten hat Sujeevan Vijayakumaran gelernt, was in der Entwicklung und im
... Read more
Enterprise AI Observability and Monitoring

Monitoring, Governing Production AI Systems

by Jordan Louis-Charles ...

Enterprise AI Observability and Monitoring is the engineering manual for the people responsible for keeping production AI systems trustworthy after the deployment pipeline finishes. Written for staff and principal ML engineers, ML platform engineers, SREs on AI on-call, MLOps and AIOps practitioners, and the architects who own observability strategy across an enterprise AI portfolio, the book ... Read more

$9.99 USD

Enterprise AI Observability and Monitoring is the engineering manual for the people responsible for keeping production AI systems trustworthy after the deployment pipeline finishes. Written for staff and principal ML engineers, ML platform engineers, SREs on AI on-call, MLOps and AIOps practitioners, and the architects who own observability strategy across an enterprise AI portfolio, the book
... Read more
Arduino Music and Audio Projects

by Mike Cook ...

Series series Professional and Applied Computing (R0)
This book is for musical makers and artists who want to gain knowledge and inspiration for your own amazing creations. “Grumpy Mike” Cook, co-author of several books on the Raspberry Pi and frequent answerer of questions of the Arduino forums, brings you a fun and instructive mix and simple and complex projects to help you understand how the Arduino can work with the MIDI system to create musical ... Read more

$71.99 USD

This book is for musical makers and artists who want to gain knowledge and inspiration for your own amazing creations. “Grumpy Mike” Cook, co-author of several books on the Raspberry Pi and frequent answerer of questions of the Arduino forums, brings you a fun and instructive mix and simple and complex projects to help you understand how the Arduino can work with the MIDI system to create musical
... 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: