Rakuten Kobo

Distributed Computing and Internet Technology

17th International Conference, ICDCIT 2021, Bhubaneswar, India, January 7–10, 2021, Proceedings

Edited by Diganta Goswami, Truong Anh Hoang ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 17th International Conference on Distributed Computing and Internet Technology, ICDCIT 2020, held in Bhubaneswar, India, in January 2021.The 13 full papers presented together with 4 short papers were carefully reviewed and selected from 99 submissions. The papers were organized in topical sections named: invited talks, cloud computing and networks, ... Read more

$49.49 USD

This book constitutes the proceedings of the 17th International Conference on Distributed Computing and Internet Technology, ICDCIT 2020, held in Bhubaneswar, India, in January 2021.The 13 full papers presented together with 4 short papers were carefully reviewed and selected from 99 submissions. The papers were organized in topical sections named: invited talks, cloud computing and networks,
... Read more
The Evolution of Pervasive Information Systems

Edited by Manuele Kirsch Pinheiro, Carine Souveyet, Philippe Roose, Luiz Angelo Steffenel ...

Series series Computer Science (R0)
This book covers several aspects related the evolution of Information Systems into Pervasive Information Systems. New IT trends have an important impact on IT infrastructures, which become increasingly heterogeneous, flexible, and dynamic. These new trends are transforming Information Systems into what we call Pervasive Information Systems. The purpose of this book is to combine “state-of-the-art” ... Read more

$170.09 USD

This book covers several aspects related the evolution of Information Systems into Pervasive Information Systems. New IT trends have an important impact on IT infrastructures, which become increasingly heterogeneous, flexible, and dynamic. These new trends are transforming Information Systems into what we call Pervasive Information Systems. The purpose of this book is to combine “state-of-the-art”
... 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
Runtime Verification

21st International Conference, RV 2021, Virtual Event, October 11–14, 2021, Proceedings

Edited by Lu Feng, Dana Fisman ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 21st International Conference on Runtime Verification, RV 2021, held virtually during October 11-14, 2021.The 11 regular papers and 7 short/tool/benchmark papers presented in this book were carefully reviewed and selected from 40 submissions. Also included is one tutorial paper.The RV conference is concerned with all aspects of monitoring and ... Read more

$76.49 USD

This book constitutes the refereed proceedings of the 21st International Conference on Runtime Verification, RV 2021, held virtually during October 11-14, 2021.The 11 regular papers and 7 short/tool/benchmark papers presented in this book were carefully reviewed and selected from 40 submissions. Also included is one tutorial paper.The RV conference is concerned with all aspects of monitoring and
... Read more
Theory of Cryptography

18th International Conference, TCC 2020, Durham, NC, USA, November 16–19, 2020, Proceedings, Part II

Edited by Rafael Pass, Krzysztof Pietrzak ...

Series Book 2 - Springer Nature Proceedings Computer Science
This three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed proceedings of the 18th International Conference on Theory of Cryptography, TCCC 2020, held in Durham, NC, USA, in November 2020.The total of 71 full papers presented in this three-volume set was carefully reviewed and selected from 167 submissions. Amongst others they cover the following topics: study of known paradigms ... Read more

$49.49 USD

This three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed proceedings of the 18th International Conference on Theory of Cryptography, TCCC 2020, held in Durham, NC, USA, in November 2020.The total of 71 full papers presented in this three-volume set was carefully reviewed and selected from 167 submissions. Amongst others they cover the following topics: study of known paradigms
... Read more
Reachability Problems

16th International Conference, RP 2022, Kaiserslautern, Germany, October 17–21, 2022, Proceedings

Edited by Anthony W. Lin, Georg Zetzsche, Igor Potapov ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 15th International Conference on Reachability Problems, RP 2022, held in Kaiserslautern, Germany, in October 2022.The 8 full papers presented were carefully reviewed and selected from 14 submissions. In addition, 3 invited papers were included in this volume. The RP proceedings cover topics such as reachability for infinite state systems; ... Read more

$53.99 USD

This book constitutes the refereed proceedings of the 15th International Conference on Reachability Problems, RP 2022, held in Kaiserslautern, Germany, in October 2022.The 8 full papers presented were carefully reviewed and selected from 14 submissions. In addition, 3 invited papers were included in this volume. The RP proceedings cover topics such as reachability for infinite state systems;
... Read more
Genetic Programming

25th European Conference, EuroGP 2022, Held as Part of EvoStar 2022, Madrid, Spain, April 20–22, 2022, Proceedings

Edited by Eric Medvet, Gisele Pappa, Bing Xue ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 25th European Conference on Genetic Programming, EuroGP 2022, held as part of Evo*2021, as Virtual Event, in April 2022, co-located with the Evo*2022 events, EvoCOP, EvoMUSART, and EvoApplications. The 12 revised full papers and 7 short papers presented in this book were carefully reviewed and selected from 35 submissions. The wide range of ... Read more

$62.99 USD

This book constitutes the refereed proceedings of the 25th European Conference on Genetic Programming, EuroGP 2022, held as part of Evo*2021, as Virtual Event, in April 2022, co-located with the Evo*2022 events, EvoCOP, EvoMUSART, and EvoApplications. The 12 revised full papers and 7 short papers presented in this book were carefully reviewed and selected from 35 submissions. The wide range of
... Read more
Leveraging Applications of Formal Methods, Verification and Validation. Practice

11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part IV

Edited by Tiziana Margaria, Bernhard Steffen ...

Series Book 4 - Springer Nature Proceedings Computer Science
This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022.The contributions in the four-volume set are organized according to the following topical sections: specify this - bridging gaps between program ... Read more

$62.99 USD

This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022.The contributions in the four-volume set are organized according to the following topical sections: specify this - bridging gaps between program
... Read more
NASA Formal Methods

15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings

Edited by Kristin Yvonne Rozier, Swarat Chaudhuri ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 15th International Symposium on NASA Formal Methods, NFM 2023, held in Houston, Texas, USA, during May 16-18, 2023.The 26 full and 3 short papers presented in this volume were carefully reviewed and selected from 75 submissions.The papers deal with advances in formal methods, formal methods techniques, and formal methods in practice. ... Read more

$89.09 USD

This book constitutes the proceedings of the 15th International Symposium on NASA Formal Methods, NFM 2023, held in Houston, Texas, USA, during May 16-18, 2023.The 26 full and 3 short papers presented in this volume were carefully reviewed and selected from 75 submissions.The papers deal with advances in formal methods, formal methods techniques, and formal methods in practice.
... Read more
HCI for Cybersecurity, Privacy and Trust

5th International Conference, HCI-CPT 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23–28, 2023, Proceedings

Edited by Abbas Moallem ...

Series series Springer Nature Proceedings Computer Science
This proceedings, HCI-CPT 2023, constitutes the refereed proceedings of the 5th International Conference on Cybersecurity, Privacy and Trust, held as Part of the 24th International Conference, HCI International 2023, which took place in July 2023 in Copenhagen, Denmark.The total of 1578 papers and 396 posters included in the HCII 2023 proceedings volumes was carefully reviewed and selected from ... Read more

$107.09 USD

This proceedings, HCI-CPT 2023, constitutes the refereed proceedings of the 5th International Conference on Cybersecurity, Privacy and Trust, held as Part of the 24th International Conference, HCI International 2023, which took place in July 2023 in Copenhagen, Denmark.The total of 1578 papers and 396 posters included in the HCII 2023 proceedings volumes was carefully reviewed and selected from
... Read more
Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops

DECSoS, MAPSOD, DepDevOps, USDAI, and WAISE, York, UK, September 7, 2021, Proceedings

Edited by Ibrahim Habli, Mark Sujan, Simos Gerasimou, Erwin Schoitsch, Friedemann Bitsch ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2021, the 40th International Conference on Computer Safety, Reliability and Security, which took place in York, UK, in September 2021.The 26 regular papers included in this volume were carefully reviewed and selected from 34 submissions. The workshops included in this volume are:DECSoS 2021: 16th Workshop on ... Read more

$80.09 USD

This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2021, the 40th International Conference on Computer Safety, Reliability and Security, which took place in York, UK, in September 2021.The 26 regular papers included in this volume were carefully reviewed and selected from 34 submissions. The workshops included in this volume are:DECSoS 2021: 16th Workshop on
... Read more
Caixa de ferramentas da Arquitetura de Software

Como tornar suas aplicações mais escaláveis, confiáveis e seguras

by Eduardo Felipe Zambom Santana ...

No desenvolvimento de qualquer aplicação, a Arquitetura de Software emerge como a pedra fundamental que sustenta o edifício digital. Enquanto muitos desenvolvedores focam exclusivamente no código, a verdadeira maestria está na compreensão e implementação de estruturas arquiteturais sólidas. À medida que uma aplicação se expande, enfrentando desafios como a gestão de grandes volumes de dados, a ... Read more

$9.99 USD or Free with Kobo Plus

No desenvolvimento de qualquer aplicação, a Arquitetura de Software emerge como a pedra fundamental que sustenta o edifício digital. Enquanto muitos desenvolvedores focam exclusivamente no código, a verdadeira maestria está na compreensão e implementação de estruturas arquiteturais sólidas. À medida que uma aplicação se expande, enfrentando desafios como a gestão de grandes volumes de dados, a
... Read more
Agile Processes – Agile Teams

by Eckhart Hanser ...

Series series Computer Science (R0)
The book briefly and concisely describes the current agile process models in software development. After a short introduction to the historical development, it explores, starting from the Agile Manifesto and the first agile models Extreme Programming (XP) and Crystal, current representatives such as Scrum, Kanban, and DevOps in more detail. The focus is on the process flow, team roles, and ... Read more

$49.49 USD

The book briefly and concisely describes the current agile process models in software development. After a short introduction to the historical development, it explores, starting from the Agile Manifesto and the first agile models Extreme Programming (XP) and Crystal, current representatives such as Scrum, Kanban, and DevOps in more detail. The focus is on the process flow, team roles, and
... Read more
Software Testing Strategies: Unit Testing, Integration Testing, and CI/CD Pipelines for Rust Projects

by Jasper Holt ...

Stop guessing if your Rust code works. Prove it.The Rust compiler is famous for its strict memory safety and thread guarantees. But compiling successfully is only the first step. The compiler does not know your business logic, and it cannot prevent logical flaws, API integration failures, or race conditions in production. To build truly resilient software, you need a robust, automated testing ... Read more

$5.99 USD or Free with Kobo Plus

Stop guessing if your Rust code works. Prove it.The Rust compiler is famous for its strict memory safety and thread guarantees. But compiling successfully is only the first step. The compiler does not know your business logic, and it cannot prevent logical flaws, API integration failures, or race conditions in production. To build truly resilient software, you need a robust, automated testing
... Read more
Web Dynpro ABAP − 100 Tipps & Tricks

by Dominik Ofenloch ...

Über dieses BuchWenn es darum geht, komplexe Benutzeroberflächen mit Web Dynpro ABAP effizient zu gestalten, kann Ihnen kaum einer etwas vormachen. Doch trotz Ihrer Erfahrung fragen Sie sich ab und zu, ob sich manche Aufgaben nicht noch besser lösen lassen? Die 100 Expertentipps in diesem Buch zeigen Ihnen, wie’s geht! Blättern Sie ein wenig und lesen Sie zum Beispiel, wie Sie Swap Root Element ... Read more

$42.19 USD

Über dieses BuchWenn es darum geht, komplexe Benutzeroberflächen mit Web Dynpro ABAP effizient zu gestalten, kann Ihnen kaum einer etwas vormachen. Doch trotz Ihrer Erfahrung fragen Sie sich ab und zu, ob sich manche Aufgaben nicht noch besser lösen lassen? Die 100 Expertentipps in diesem Buch zeigen Ihnen, wie’s geht! Blättern Sie ein wenig und lesen Sie zum Beispiel, wie Sie Swap Root Element
... Read more
THE AI READY CLASSROOM

Preparing Educators for the Future of Learning

by Matthew J. Welker ...

Series series The AI-Ready Education Series
THE AI READY CLASSROOMPreparing Educators for the Future of LearningBy Matthew J. Welker, Ed.D.Artificial intelligence is already reshaping classrooms. The question is no longer whether it will influence education but whether educators are prepared to use it well.The AI Ready Classroom provides a clear, grounded framework for understanding what AI means for teaching, learning, and educational ... Read more

$1.99 USD

THE AI READY CLASSROOMPreparing Educators for the Future of LearningBy Matthew J. Welker, Ed.D.Artificial intelligence is already reshaping classrooms. The question is no longer whether it will influence education but whether educators are prepared to use it well.The AI Ready Classroom provides a clear, grounded framework for understanding what AI means for teaching, learning, and educational
... Read more
Digital Farming

Case Studies and Applications of IoT and AI in Agricultural Industry

Edited by T. Chandrakumar, Bhisham Sharma, Subrata Chowdhury, Khaled Rabie ...

Series series Chapman & Hall/CRC Internet of Things
This book explores IoT-based ecosystems and AI-driven automation in agriculture to provide solutions for intelligent farming systems and precision agriculture techniques. It provides a comprehensive view of emerging technologies’ integration and the resultant impact on the farming ecosystem. Real-world case studies and examples of IoT and AI applications in agriculture are included to show how IoT ... Read more

$218.99 USD

PRE-ORDER

This book explores IoT-based ecosystems and AI-driven automation in agriculture to provide solutions for intelligent farming systems and precision agriculture techniques. It provides a comprehensive view of emerging technologies’ integration and the resultant impact on the farming ecosystem. Real-world case studies and examples of IoT and AI applications in agriculture are included to show how IoT
... Read more
Serverless Design Patterns and Best Practices

Build, secure, and deploy enterprise ready serverless applications with AWS to improve developer productivity

by Brian Zambrano ...

Get started with designing your serverless application using optimum design patterns and industry standard practicesKey FeaturesLearn the details of popular software patterns and how they are applied to serverless applicationsUnderstand key concepts and components in serverless designsWalk away with a thorough understanding of architecting serverless applicationsBook DescriptionServerless ... Read more

$37.99 USD or Free with Kobo Plus

Get started with designing your serverless application using optimum design patterns and industry standard practicesKey FeaturesLearn the details of popular software patterns and how they are applied to serverless applicationsUnderstand key concepts and components in serverless designsWalk away with a thorough understanding of architecting serverless applicationsBook DescriptionServerless
... Read more
AI for Smart, Secure, and Sustainable Systems

Edited by Mashael M. Asiri ...

Artificial Intelligence (AI) transforms the way modern systems are designed, operated, and maintained, enabling higher levels of intelligence, security, and sustainability. By leveraging machine learning, data analytics, and automated decision-making, AI-powered systems can optimize resource utilization, predict and prevent failures, and enhance operational efficiency across various domains, ... Read more

$202.49 USD

Artificial Intelligence (AI) transforms the way modern systems are designed, operated, and maintained, enabling higher levels of intelligence, security, and sustainability. By leveraging machine learning, data analytics, and automated decision-making, AI-powered systems can optimize resource utilization, predict and prevent failures, and enhance operational efficiency across various domains,
... Read more
Handbook of Research on Technological Developments for Cultural Heritage and eTourism Applications

Edited by João M. F. Rodrigues, Célia M.Q. Ramos, Pedro J. S. Cardoso, Cláudia Henriques ...

Tourism is one of the most rapidly evolving industries of the 21st century. The integration of technological advancements plays a crucial role in the ability for many countries, all over the world, to attract visitors and maintain a distinct edge in a highly competitive market. The Handbook of Research on Technological Developments for Cultural Heritage and eTourism Applications is a pivotal ... Read more

$251.99 USD

Tourism is one of the most rapidly evolving industries of the 21st century. The integration of technological advancements plays a crucial role in the ability for many countries, all over the world, to attract visitors and maintain a distinct edge in a highly competitive market. The Handbook of Research on Technological Developments for Cultural Heritage and eTourism Applications is a pivotal
... Read more
Technology Engineering and Management in Aviation: Advancements and Discoveries

Edited by Evon Abu-Taieh, Asim El Sheikh, Mostafa Jafari ...

As computer and information systems technology advances, industries such as aviation stand to benefit from the overwhelming new advances in hardware, software, and best practices. Technology Engineering and Management in Aviation: Advancements and Discoveries details the essential new developments in technology and management in the aviation industry. Specific and important advances in navigation, ... Read more

$166.49 USD

As computer and information systems technology advances, industries such as aviation stand to benefit from the overwhelming new advances in hardware, software, and best practices. Technology Engineering and Management in Aviation: Advancements and Discoveries details the essential new developments in technology and management in the aviation industry. Specific and important advances in navigation,
... Read more
Model-Based Design for Effective Control System Development

by Wei Wu ...

Control systems are an integral aspect of modern society and exist across numerous domains and applications. As technology advances more and more, the complexity of such systems continues to increase exponentially. Model-Based Design for Effective Control System Development is a critical source of scholarly information on model-centric approaches and implementations for control and other similar ... Read more

$157.49 USD

Control systems are an integral aspect of modern society and exist across numerous domains and applications. As technology advances more and more, the complexity of such systems continues to increase exponentially. Model-Based Design for Effective Control System Development is a critical source of scholarly information on model-centric approaches and implementations for control and other similar
... Read more
ITIL® 4 Foundation Courseware - English

by Van Haren Learning Solutions a.o. ...

Besides the ITIL® 4 Foundation Courseware - English (ISBN: 978 94 018 0394 6) publication you are advised to obtain the ITIL® 4 - A Pocket Guide (ISBN: 978 94 018 0439 4). The course is designed as an introduction to ITIL 4 and enables you to understand a new way to look at IT Service Management through a Service Value System (SVS). ITIL 4 provides an end-to-end picture of what means to contribute ... Read more

$39.99 USD or Free with Kobo Plus

Besides the ITIL® 4 Foundation Courseware - English (ISBN: 978 94 018 0394 6) publication you are advised to obtain the ITIL® 4 - A Pocket Guide (ISBN: 978 94 018 0439 4). The course is designed as an introduction to ITIL 4 and enables you to understand a new way to look at IT Service Management through a Service Value System (SVS). ITIL 4 provides an end-to-end picture of what means to contribute
... Read more
ITIL® 4 Specialist High Velocity IT (HVIT) Kursunterlagen

by Maria Rickli ...

ITIL®4 Specialist: High Velocity IT erforscht die Konvergenz zwischen Business und IT und bietet Kandidaten einen spezialisierten Einblick in die Art und Weise, wie digitale Organisationen und digitale Betriebsmodelle in einer schnelllebigen Umgebung funktionieren. Durch das Hervorheben des Unterschiedes zwischen IT-Transformation und digitaler Transformation, ermöglicht das Modul ITIL 4 ... Read more

$115.99 USD or Free with Kobo Plus

ITIL®4 Specialist: High Velocity IT erforscht die Konvergenz zwischen Business und IT und bietet Kandidaten einen spezialisierten Einblick in die Art und Weise, wie digitale Organisationen und digitale Betriebsmodelle in einer schnelllebigen Umgebung funktionieren. Durch das Hervorheben des Unterschiedes zwischen IT-Transformation und digitaler Transformation, ermöglicht das Modul ITIL 4
... 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: