Rakuten Kobo

Computational Science – ICCS 2025 Workshops

25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part II

Edited by Maciej Paszynski, Amanda S. Barnard, Yongjie Jessica Zhang ...

Series Book 2 - Springer Nature Proceedings Computer Science
The 6-volume set constitutes the workshop proceedings of the 25th International Conference on Computational Science, ICCS 2025, which took place in Singapore, Singapore, during July 7–9, 2025.The 137 full papers and 32 short papers presented in these proceedings were carefully reviewed and selected from 322 submissions. The papers are organized in the following topical sections:Volume I:Advances ... Read more

$89.09 USD

The 6-volume set constitutes the workshop proceedings of the 25th International Conference on Computational Science, ICCS 2025, which took place in Singapore, Singapore, during July 7–9, 2025.The 137 full papers and 32 short papers presented in these proceedings were carefully reviewed and selected from 322 submissions. The papers are organized in the following topical sections:Volume I:Advances
... Read more
Computational Science – ICCS 2025 Workshops

25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part V

Edited by Maciej Paszynski, Amanda S. Barnard, Yongjie Jessica Zhang ...

Series Book 5 - Springer Nature Proceedings Computer Science
The 6-volume set constitutes the workshop proceedings of the 25th International Conference on Computational Science, ICCS 2025, which took place in Singapore, Singapore, during July 7–9, 2025.The 137 full papers and 32 short papers presented in these proceedings were carefully reviewed and selected from 322 submissions. The papers are organized in the following topical sections:Volume I:Advances ... Read more

$89.09 USD

The 6-volume set constitutes the workshop proceedings of the 25th International Conference on Computational Science, ICCS 2025, which took place in Singapore, Singapore, during July 7–9, 2025.The 137 full papers and 32 short papers presented in these proceedings were carefully reviewed and selected from 322 submissions. The papers are organized in the following topical sections:Volume I:Advances
... Read more
Formal Methods for Industrial Critical Systems

30th International Conference, FMICS 2025, Aarhus, Denmark, August 27–28, 2025, Proceedings

Edited by Anne Remke, Bernhard Steffen ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 30th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2025, held in Aarhus, Denmark, during August 27–28, 2025.The 13 full papers included in this book together with 2 invited papers were carefully reviewed and selected from 25 submissions. The papers have been organized in the following topical sections: verification; ... Read more

$58.49 USD

This book constitutes the proceedings of the 30th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2025, held in Aarhus, Denmark, during August 27–28, 2025.The 13 full papers included in this book together with 2 invited papers were carefully reviewed and selected from 25 submissions. The papers have been organized in the following topical sections: verification;
... Read more
The Convergence of Artificial Intelligence (AI) and 6G Communication Networks: The Needs and Implications

by Pethuru Raj, Muthu Ramachandran, Usha Sakthivel, N Susila, Vijayan Asari ...

Series Book 139 - Advances in Computers
Advances in Computers, Volume 139 focuses on the convergence of Artificial Intelligence (AI) and 6G communication networks, addressing key advancements and implications across various fields. It explores cybersecurity challenges in 5G networks, solutions for 5G performance evaluation, and the transition to 5G-Advanced. The role of AI in enhancing 6G network performance, resource allocation, and ... Read more

$163.79 USD

Advances in Computers, Volume 139 focuses on the convergence of Artificial Intelligence (AI) and 6G communication networks, addressing key advancements and implications across various fields. It explores cybersecurity challenges in 5G networks, solutions for 5G performance evaluation, and the transition to 5G-Advanced. The role of AI in enhancing 6G network performance, resource allocation, and
... Read more
NASA Formal Methods

17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11–13, 2025, Proceedings

Edited by Aaron Dutle, Laura Humphrey, Laura Titolo ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 17th International Symposium on NASA Formal Methods, NFM 2025, held in Hampton Roads, VA, USA in June 2025.The 20 full papers and 4 short papers presented in the proceedings were carefully reviewed and selected from 74 submissions. They focus on formal techniques for software and system assurancefor applications in space, aviation, robotics, and other ... Read more

$143.09 USD

This book constitutes the proceedings of the 17th International Symposium on NASA Formal Methods, NFM 2025, held in Hampton Roads, VA, USA in June 2025.The 20 full papers and 4 short papers presented in the proceedings were carefully reviewed and selected from 74 submissions. They focus on formal techniques for software and system assurancefor applications in space, aviation, robotics, and other
... Read more
Discrete Mathematics for Data Science

by Jack Pope ...

Discrete Mathematics for Data Science provides an early course in both Data Science and Discrete Mathematics, focusing on how a deeper understanding of the former can unlock a more effective implementation of the latter. Students of Data Science come from a variety of disciplines, with Business, Statistics, Computer Science, Economics, and Psychology among the departments offering courses on the ... Read more

$73.99 USD

Discrete Mathematics for Data Science provides an early course in both Data Science and Discrete Mathematics, focusing on how a deeper understanding of the former can unlock a more effective implementation of the latter. Students of Data Science come from a variety of disciplines, with Business, Statistics, Computer Science, Economics, and Psychology among the departments offering courses on the
... Read more
Data Science With R Programming

by Zane Everett ...

Overloaded with Excel's limits and Python's steep curve, staring at messy datasets that refuse to yield insights while your analysis grinds to a halt? You're a career-switcher or analyst poised for data dominance, but fragmented R tutorials drown you in code without context, leaving stats foggy, plots pixelated, and ML models mythical—your resume gathering dust. What if you could command Data ... Read more

$6.99 USD or Free with Kobo Plus

Overloaded with Excel's limits and Python's steep curve, staring at messy datasets that refuse to yield insights while your analysis grinds to a halt? You're a career-switcher or analyst poised for data dominance, but fragmented R tutorials drown you in code without context, leaving stats foggy, plots pixelated, and ML models mythical—your resume gathering dust. What if you could command Data
... Read more
Advances in Practical Applications of Agents, Multi-Agent Systems, and Computational Social Science: The PAAMS Collection

23rd International Conference, PAAMS 2025, Lille, France, June 25–27, 2025, Proceedings

Edited by Philippe Mathieu, Fernando De la Prieta ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 23rd International Conference on Practical applications of Agents and Multi-Agent Systems, PAAMS 2025, held in Lille, France, during June 25–27, 2025.The 27 full papers and 9 short papers included in this book were carefully reviewed and selected from 57 submissions. The PAAMS 2025 proceedings focus on application and validation of agent-based ... Read more

$67.49 USD

This book constitutes the refereed proceedings of the 23rd International Conference on Practical applications of Agents and Multi-Agent Systems, PAAMS 2025, held in Lille, France, during June 25–27, 2025.The 27 full papers and 9 short papers included in this book were carefully reviewed and selected from 57 submissions. The PAAMS 2025 proceedings focus on application and validation of agent-based
... Read more
How Software Fails

The Hidden Laws of Complex Systems

by Engin Yöyen ...

How Software Fails: A Field Guide to Understanding Complex System DisastersWhy Systems Break in Ways Their Creators Never Imagined.Software failures aren't accidents, they're inevitabilities. In a universe governed by probability rather than certainty, even cosmic rays from distant stars can flip bits in computer memory, causing election machines to miscount votes or video game characters to jump ... Read more

$18.77 USD or Free with Kobo Plus

How Software Fails: A Field Guide to Understanding Complex System DisastersWhy Systems Break in Ways Their Creators Never Imagined.Software failures aren't accidents, they're inevitabilities. In a universe governed by probability rather than certainty, even cosmic rays from distant stars can flip bits in computer memory, causing election machines to miscount votes or video game characters to jump
... Read more
Real-Time System Controls: Implementing Low-Latency Applications and Industrial Automation on Linux

Embedded Engineering Essentials

by Marcus Valeon ...

Series series Embedded Engineering Essentials
Transform Linux into a Precision Real-Time Controller for Industrial AutomationAre you ready to harness the full power of Linux for mission-critical industrial control systems? This comprehensive guide takes you from fundamental concepts to production-ready implementations of deterministic, low-latency automation controllers.Master the Complete Real-Time Linux StackThis book provides everything ... Read more

$5.99 USD or Free with Kobo Plus

Transform Linux into a Precision Real-Time Controller for Industrial AutomationAre you ready to harness the full power of Linux for mission-critical industrial control systems? This comprehensive guide takes you from fundamental concepts to production-ready implementations of deterministic, low-latency automation controllers.Master the Complete Real-Time Linux StackThis book provides everything
... Read more
Database and Expert Systems Applications

36th International Conference, DEXA 2025, Bangkok, Thailand, August 25–27, 2025, Proceedings, Part I

Edited by Robert Wrembel, Gabriele Kotsis, A Min Tjoa, Ismail Khalil ...

Series Book 1 - Springer Nature Proceedings Computer Science
The two-volume set LNCS 16046-16047 constitutes the proceedings of the 36th International Conference on Database and Expert Systems Applications, DEXA 2025, held in Bangkok, Thailand, in August 25–27, 2025.The 35 full and 22 short papers presented in this set together with 3 invited talks were carefully reviewed and selected from 123 submissions. They were organized in topical sections as follows ... Read more

$67.49 USD

The two-volume set LNCS 16046-16047 constitutes the proceedings of the 36th International Conference on Database and Expert Systems Applications, DEXA 2025, held in Bangkok, Thailand, in August 25–27, 2025.The 35 full and 22 short papers presented in this set together with 3 invited talks were carefully reviewed and selected from 123 submissions. They were organized in topical sections as follows
... Read more
Software Architecture. ECSA 2025 Tracks and Workshops

Limassol, Cyprus, September 15–19, 2025, Proceedings

Edited by Domenico Bianculli, Hassan Sartaj, Vasilios Andrikopoulos, Cesare Pautasso, Tommi Mikkonen, Jennifer Perez, Tomáš Bureš, Martina De Sanctis, Henry Muccini, Elena Navarro, Mohamed Soliman, Uwe Zdun ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the tracks and workshops which complemented the 19th European Conference on Software Architecture, ECSA 2025, held in Limassol, Cyprus, during September 15–19, 2025.The 13 full papers and 19 short papers presented in this volume were carefully reviewed and selected from 56 submissions.They are grouped into the following topics: Tools and Demos; ... Read more

$58.49 USD

This book constitutes the refereed proceedings of the tracks and workshops which complemented the 19th European Conference on Software Architecture, ECSA 2025, held in Limassol, Cyprus, during September 15–19, 2025.The 13 full papers and 19 short papers presented in this volume were carefully reviewed and selected from 56 submissions.They are grouped into the following topics: Tools and Demos;
... Read more
IBM Rational Unified Process Reference and Certification Guide: Solution Designer (RUP)

Solution Designer (RUP)

by Ahmad K. Shuja, Jochen Krebs ...

Series series IBM Press
The Only Official RUP® Certification Prep Guide and Compact RUP ReferenceThe IBM® Rational Unified Process® has become the de facto industry-standard process for large-scale enterprise software development. The IBM Certified Solution Designer - IBM Rational Unified Process V7.0 certification provides a powerful way for solutions developers to demonstrate their proficiency with RUP.The first and ... Read more

$43.19 USD

The Only Official RUP® Certification Prep Guide and Compact RUP ReferenceThe IBM® Rational Unified Process® has become the de facto industry-standard process for large-scale enterprise software development. The IBM Certified Solution Designer - IBM Rational Unified Process V7.0 certification provides a powerful way for solutions developers to demonstrate their proficiency with RUP.The first and
... Read more
Analysis and Design of Advice

by Ivan Jureta ...

Series series Computer Science (R0)
Advice involves recommendations on what to think; through thought, on what to choose; and via choices, on how to act. Advice is information that moves by communication, from advisors to the recipient of advice.Ivan Jureta offers a general way to analyze advice. The analysis applies regardless of what the advice is about and from whom it comes or to whom it needs to be given, and it concentrates on ... Read more

$49.49 USD

Advice involves recommendations on what to think; through thought, on what to choose; and via choices, on how to act. Advice is information that moves by communication, from advisors to the recipient of advice.Ivan Jureta offers a general way to analyze advice. The analysis applies regardless of what the advice is about and from whom it comes or to whom it needs to be given, and it concentrates on
... Read more
Windows PowerShell Desired State Configuration Revealed

by Ravikanth Chaganti ...

Series series Professional and Applied Computing (R0)
Desired State Configuration (DSC) is a powerful configuration management platform that makes it easier than ever to perform cross-platform configuration management of your infrastructure, whether on-premise or in the cloud. DSC provides the management platform and Application Programming Interface (API) that can be used with any programming language. Windows PowerShell Desired State Configuration ... Read more

$44.99 USD

Desired State Configuration (DSC) is a powerful configuration management platform that makes it easier than ever to perform cross-platform configuration management of your infrastructure, whether on-premise or in the cloud. DSC provides the management platform and Application Programming Interface (API) that can be used with any programming language. Windows PowerShell Desired State Configuration
... Read more
Cybersecurity, IoT, Data Science and Digital Forensics

First International Conference, CIDDF 2025, The Woodlands, TX, USA, October 2-4, 2025, Proceedings

Edited by Van Vung Pham, Bing Zhou, Ford Lumban Gaol, Tokuro Matsuo ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the first International Conference on Cybersecurity, IoT, Data Science and Digital Forensics, CIDDF 2025, held in The Woodlands, Texas, USA, during October 2–4, 2025.The 13 full papers and one short paper included in this book were carefully reviewed and selected from 29 submissions. These papers focused on topics such as digital forensics and ... Read more

$125.09 USD

This book constitutes the refereed proceedings of the first International Conference on Cybersecurity, IoT, Data Science and Digital Forensics, CIDDF 2025, held in The Woodlands, Texas, USA, during October 2–4, 2025.The 13 full papers and one short paper included in this book were carefully reviewed and selected from 29 submissions. These papers focused on topics such as digital forensics and
... Read more
Critical Information Infrastructures Security

20th International Conference, CRITIS 2025, Jönköping, Sweden, October 21–23, 2025, Revised Selected Papers

Edited by Erik Bergström, Bernhard Hämmerli, Agnieszka Kitkowska, Joakim Kävrestad ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 20th International Conference on Critical Information Infrastructures Security, CRITIS 2025, held in Jönköping, Sweden, during October 21–23, 2025.The 22 full papers presented in this volume were carefully reviewed and selected from 38 submissions. They were grouped into the following topics: Methods & Practice; Power Grids; Security and Safety ... Read more

$71.99 USD

This book constitutes the refereed proceedings of the 20th International Conference on Critical Information Infrastructures Security, CRITIS 2025, held in Jönköping, Sweden, during October 21–23, 2025.The 22 full papers presented in this volume were carefully reviewed and selected from 38 submissions. They were grouped into the following topics: Methods & Practice; Power Grids; Security and Safety
... Read more
Model-Driven Domain Analysis and Software Development: Architectures and Functions

Edited by Janis Osis, Erika Asnina ...

Software developers use different techniques for identification and specification of a domain’s characteristics and requirements for a planned application. The importance of this step cannot be understated as it is impossible to be highly efficient with a weak beginning, even with a strong end of the software development life cycle. Model-Driven Domain Analysis and Software Development: ... Read more

$152.99 USD

Software developers use different techniques for identification and specification of a domain’s characteristics and requirements for a planned application. The importance of this step cannot be understated as it is impossible to be highly efficient with a weak beginning, even with a strong end of the software development life cycle. Model-Driven Domain Analysis and Software Development:
... Read more
Project Manager

Gestire il caos creativo, eliminare lo stress e aumentare l’efficienza

by Giulia Bezzi ...

l project management è la chiave per migliorare la produttività. In questo manuale Giulia Bezzi mostra come cambiare l'approccio al lavoro sia la strada per renderlo più efficiente ed efficace, perché è grazie a buoni project manager che la vita in azienda diventa meno stressante e più remunerativa. Dalla gestione del caos creativo all'adozione di nuovi metodi di collaborazione fino al ... Read more

$23.99 USD

l project management è la chiave per migliorare la produttività. In questo manuale Giulia Bezzi mostra come cambiare l'approccio al lavoro sia la strada per renderlo più efficiente ed efficace, perché è grazie a buoni project manager che la vita in azienda diventa meno stressante e più remunerativa. Dalla gestione del caos creativo all'adozione di nuovi metodi di collaborazione fino al
... Read more
Il mito delle giornate-uomo

Saggi sull'ingegneria del software

by Frederick P. Brooks Jr. ...

Pochi libri sulla progettazione e lo sviluppo di software sono influenti e senza tempo come questo. Frederick P. Brooks, Jr. fornisce nozioni puntuali unite a considerazioni che fanno riflettere componendo un corpus di conoscenze utili a chiunque debba gestire progetti di varia complessità. Il testo, frutto dell'incredibile esperienza dell'autore maturata in IBM, è stato rivisto vent'anni dopo la ... Read more

$20.99 USD

Pochi libri sulla progettazione e lo sviluppo di software sono influenti e senza tempo come questo. Frederick P. Brooks, Jr. fornisce nozioni puntuali unite a considerazioni che fanno riflettere componendo un corpus di conoscenze utili a chiunque debba gestire progetti di varia complessità. Il testo, frutto dell'incredibile esperienza dell'autore maturata in IBM, è stato rivisto vent'anni dopo la
... Read more
Automated Reasoning

13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part I

Edited by Armin Biere, Carsten Lutz, Sara Negri ...

Series Book 1 - Springer Nature Proceedings Computer Science
This open access set, LNAI 16688-16689, constitutes the proceedings of the 13th International Joint Conference, IJCAR 2026, held in Lisbon, Portugal, during July 26–29, 2026.The 41 full research papers and 8 short papers included in these two volumes were carefully reviewed and selected from 112 submissions. The papers cover the following topical sections:Part I: Theorem Proving and Automation; ... Read more

Free

This open access set, LNAI 16688-16689, constitutes the proceedings of the 13th International Joint Conference, IJCAR 2026, held in Lisbon, Portugal, during July 26–29, 2026.The 41 full research papers and 8 short papers included in these two volumes were carefully reviewed and selected from 112 submissions. The papers cover the following topical sections:Part I: Theorem Proving and Automation;
... Read more
Optimizing Object Pascal: Proven Techniques for Improving Memory Usage and Execution Speed

by Marcus Elvin ...

Unlock the True Power of Native Object PascalIs your Object Pascal application suffering from silent memory leaks, sluggish execution, or multithreading bottlenecks? Modern hardware is faster than ever, yet unoptimized code can still cripple your software's scalability and responsiveness.Optimizing Object Pascal is the definitive guide for intermediate and advanced developers who maintain real ... Read more

$5.99 USD or Free with Kobo Plus

Unlock the True Power of Native Object PascalIs your Object Pascal application suffering from silent memory leaks, sluggish execution, or multithreading bottlenecks? Modern hardware is faster than ever, yet unoptimized code can still cripple your software's scalability and responsiveness.Optimizing Object Pascal is the definitive guide for intermediate and advanced developers who maintain real
... Read more
Practical Playwright Test

Next-Generation Web Testing and Automation

by Jean-François Greffier ...

Series series Professional and Applied Computing (R0)
Gain cutting-edge skills in crafting reliable, efficient end-to-end tests with Playwright Test. This book is your comprehensive guide to Playwright Test that will help you to create and debug blazing fast tests, and integrate and customize Playwright Test to fit your testing needs.The book begins with an introduction to Playwright and teaches you the fundamentals of how to write tests efficiently. ... Read more

$53.99 USD

Gain cutting-edge skills in crafting reliable, efficient end-to-end tests with Playwright Test. This book is your comprehensive guide to Playwright Test that will help you to create and debug blazing fast tests, and integrate and customize Playwright Test to fit your testing needs.The book begins with an introduction to Playwright and teaches you the fundamentals of how to write tests efficiently.
... Read more
软件工程项目开发实践——手把手教你掌握13个精彩案例设计

by 陈星，汪璟玢，周咏杰，郑晶晶 ...

本书主要从总述和案例分析两方面入手，介绍软件工程项目案例。本书选取了不同种类的案例进行分析，包括基于代码分析的系统UML图生成案例、电影推荐系统案例、数据采集器案例、Magic图像处理小程序案例等。案例分析由引言、相关背景、功能介绍、系统实现和小结五个方面组成，全面地分析项目案例。本书中的案例“程序理解初探：以基于代码分析的系统UML图生成为例”入选福建省专业学位研究生优秀教学案例。本书的读者对象为学生和老师，学生可以通过这本书学习如何设计和实现项目，老师可以通过这本书更好地将具体案例和教学结合在一起。 ... Read more

$11.84 USD

本书主要从总述和案例分析两方面入手，介绍软件工程项目案例。本书选取了不同种类的案例进行分析，包括基于代码分析的系统UML图生成案例、电影推荐系统案例、数据采集器案例、Magic图像处理小程序案例等。案例分析由引言、相关背景、功能介绍、系统实现和小结五个方面组成，全面地分析项目案例。本书中的案例“程序理解初探：以基于代码分析的系统UML图生成为例”入选福建省专业学位研究生优秀教学案例。本书的读者对象为学生和老师，学生可以通过这本书学习如何设计和实现项目，老师可以通过这本书更好地将具体案例和教学结合在一起。
... 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: