Rakuten Kobo

Skip side bar filters

Journeys Between Formal Methods and the Railway Industry

Essays Dedicated to Alessandro Fantechi on the Occasion of His 70th Birthday

Edited by Maurice H. ter Beek, Stefania Gnesi, Anne E. Haxthausen, Laura Semini ...

Series series Computer Science (R0)
Alessandro Fantechi earned a Laurea Degree in Computer Science from the University of Pisa and a Diploma from the Scuola Normale Superiore di Pisa, both in 1978. He has lectured at the University of Florence for decades on the foundations of Computer Science and Software Engineering, where he was also responsible for the curriculum of the PhD school in Information Engineering, coordinator of the ... Read more

$98.09 USD

Alessandro Fantechi earned a Laurea Degree in Computer Science from the University of Pisa and a Diploma from the Scuola Normale Superiore di Pisa, both in 1978. He has lectured at the University of Florence for decades on the foundations of Computer Science and Software Engineering, where he was also responsible for the curriculum of the PhD school in Information Engineering, coordinator of the
... Read more
Quality of Information and Communications Technology

17th International Conference on the Quality of Information and Communications Technology, QUATIC 2024, Pisa, Italy, September 11–13, 2024, Proceedings

Edited by Antonia Bertolino, João Pascoal Faria, Patricia Lago, Laura Semini ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 17th International Conference on the Quality of Information and Communications Technology, QUATIC 2024, held in Pisa, Italy, during September 11–13, 2024.The 34 full and short papers of QUATIC 2024 included in this book were carefully reviewed and selected from 49 submissions.QUATIC is a forum for disseminating advanced methods, techniques and tools to ... Read more

$143.09 USD

This book constitutes the proceedings of the 17th International Conference on the Quality of Information and Communications Technology, QUATIC 2024, held in Pisa, Italy, during September 11–13, 2024.The 34 full and short papers of QUATIC 2024 included in this book were carefully reviewed and selected from 49 submissions.QUATIC is a forum for disseminating advanced methods, techniques and tools to
... Read more
From Software Engineering to Formal Methods and Tools, and Back

Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

Edited by Maurice H. ter Beek, Alessandro Fantechi, Laura Semini ...

Series series Computer Science (R0)
This volume was published in honor of Stefania Gnesi’s 65th birthday. The Festschrift volume contains 32 papers written by close collaborators and friends of Stefania and was presented to her on October 8, 2019 one-day colloquium held in Porto, Portugal,The Festschrift consists of eight sections, seven of which reflect the main research areas to which Stefania has contributed. Following a survey ... Read more

$49.49 USD

This volume was published in honor of Stefania Gnesi’s 65th birthday. The Festschrift volume contains 32 papers written by close collaborators and friends of Stefania and was presented to her on October 8, 2019 one-day colloquium held in Porto, Portugal,The Festschrift consists of eight sections, seven of which reflect the main research areas to which Stefania has contributed. Following a survey
... Read more

Technologies and Applications for Big Data Value

Edited by Edward Curry, Sören Auer, Arne J. Berre, Andreas Metzger, Maria S. Perez, Sonja Zillner ...

Series series Computer Science (R0)
This open access book explores cutting-edge solutions and best practices for big data and data-driven AI applications for the data-driven economy. It provides the reader with a basis for understanding how technical issues can be overcome to offer real-world solutions to major industrial areas.The book starts with an introductory chapter that provides an overview of the book by positioning the ... Read more

Free

This open access book explores cutting-edge solutions and best practices for big data and data-driven AI applications for the data-driven economy. It provides the reader with a basis for understanding how technical issues can be overcome to offer real-world solutions to major industrial areas.The book starts with an introductory chapter that provides an overview of the book by positioning the
... Read more
Artificial Intelligence in Manufacturing

Enabling Intelligent, Flexible and Cost-Effective Production Through AI

Edited by John Soldatos ...

This open access book presents a rich set of innovative solutions for artificial intelligence (AI) in manufacturing. The various chapters of the book provide a broad coverage of AI systems for state of the art flexible production lines including both cyber-physical production systems (Industry 4.0) and emerging trustworthy and human-centered manufacturing systems (Industry 5.0). From a technology ... Read more

Free

This open access book presents a rich set of innovative solutions for artificial intelligence (AI) in manufacturing. The various chapters of the book provide a broad coverage of AI systems for state of the art flexible production lines including both cyber-physical production systems (Industry 4.0) and emerging trustworthy and human-centered manufacturing systems (Industry 5.0). From a technology
... Read more
Open Source Systems: Towards Robust Practices

13th IFIP WG 2.13 International Conference, OSS 2017, Buenos Aires, Argentina, May 22-23, 2017, Proceedings

Edited by Federico Balaguer, Roberto Di Cosmo, Alejandra Garrido, Fabio Kon, Gregorio Robles, Stefano Zacchiroli ...

Series series Springer Nature Proceedings Computer Science
This book is open access under a CC BY license.This book constitutes the refereed proceedings of the 13th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2017, held in Buenos Aires, Argentina, in May 2017.The 16 revised full papers and 3 short papers presented were carefully reviewed and selected from 32 submissions. The papers cover a wide range of topics related to free, libre, ... Read more

Free

This book is open access under a CC BY license.This book constitutes the refereed proceedings of the 13th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2017, held in Buenos Aires, Argentina, in May 2017.The 16 revised full papers and 3 short papers presented were carefully reviewed and selected from 32 submissions. The papers cover a wide range of topics related to free, libre,
... Read more
Applying Artificial Intelligence in Cybersecurity Analytics and Cyber Threat Detection

Edited by Shilpa Mahajan, Mehak Khurana, Vania Vieira Estrela ...

APPLYING ARTIFICIAL INTELLIGENCE IN CYBERSECURITY ANALYTICS AND CYBER THREAT DETECTIONComprehensive resource providing strategic defense mechanisms for malware, handling cybercrime, and identifying loopholes using artificial intelligence (AI) and machine learning (ML)Applying Artificial Intelligence in Cybersecurity Analytics and Cyber Threat Detection is a comprehensive look at state-of-the-art ... Read more

$103.00 USD

APPLYING ARTIFICIAL INTELLIGENCE IN CYBERSECURITY ANALYTICS AND CYBER THREAT DETECTIONComprehensive resource providing strategic defense mechanisms for malware, handling cybercrime, and identifying loopholes using artificial intelligence (AI) and machine learning (ML)Applying Artificial Intelligence in Cybersecurity Analytics and Cyber Threat Detection is a comprehensive look at state-of-the-art
... 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
Software Architecture

19th European Conference, ECSA 2025, Limassol, Cyprus, September 15–19, 2025, Proceedings

Edited by Vasilios Andrikopoulos, Cesare Pautasso, Nour Ali, Jacopo Soldani, Xiwei Xu ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 19th European Conference on Software Architecture, ECSA 2025, held in Limassol, Cyprus, during September 15–19, 2025.The 18 full papers and 9 short papers presented in this volume were carefully reviewed and selected from 80 submissions.They are grouped into the following topics: Architectures for MLOps; Large Language Models in Software ... Read more

$71.99 USD

This book constitutes the refereed proceedings of the 19th European Conference on Software Architecture, ECSA 2025, held in Limassol, Cyprus, during September 15–19, 2025.The 18 full papers and 9 short papers presented in this volume were carefully reviewed and selected from 80 submissions.They are grouped into the following topics: Architectures for MLOps; Large Language Models in Software
... Read more
Software Architecture. ECSA 2023 Tracks, Workshops, and Doctoral Symposium

Istanbul, Turkey, September 18–22, 2023, Revised Selected Papers

Edited by Bedir Tekinerdoğan, Romina Spalazzese, Hasan Sözer, Silvia Bonfanti, Danny Weyns ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the tracks and workshops which complemented the 17th European Conference on Software Architecture, ECSA 2023, held in Istanbul, Turkey, in September 2023.The 29 full papers included in this book were carefully reviewed and selected from 32 submissions. They were organized in topical sections as follows: AMP; CASA; DE & I Track; DeMeSSA; FAACS; ... Read more

$67.49 USD

This book constitutes the refereed proceedings of the tracks and workshops which complemented the 17th European Conference on Software Architecture, ECSA 2023, held in Istanbul, Turkey, in September 2023.The 29 full papers included in this book were carefully reviewed and selected from 32 submissions. They were organized in topical sections as follows: AMP; CASA; DE & I Track; DeMeSSA; FAACS;
... Read more
Next-Gen Digital Services. A Retrospective and Roadmap for Service Computing of the Future

Essays Dedicated to Michael Papazoglou on the Occasion of His 65th Birthday and His Retirement

Edited by Marco Aiello, Athman Bouguettaya, Damian Andrew Tamburri, Willem-Jan van den Heuvel ...

Series series Computer Science (R0)
This book is a festschrift in honour of Mike Papazoglou’s 65th birthday and retirement. It includes 20 contributions from leading researchers who have worked with Mike in his more than 40 years of academic research. Topics are as varied as Mike’s and include service engineering, service management, services and human, IoT, and data-driven services. ... Read more

$49.49 USD

This book is a festschrift in honour of Mike Papazoglou’s 65th birthday and retirement. It includes 20 contributions from leading researchers who have worked with Mike in his more than 40 years of academic research. Topics are as varied as Mike’s and include service engineering, service management, services and human, IoT, and data-driven services.
... Read more
Management of Digital EcoSystems

16th International Conference, MEDES 2024, Naples, Italy, November 18–20, 2024, Proceedings

Edited by Richard Chbeir, Ernesto Damiani, Schahram Dustdar, Yannis Manolopoulos, Elio Masciari, Evaggelia Pitoura, Antonio Rinaldi ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 16th International Conference on Management of Digital EcoSystems, MEDES 2024, held in Naples, Italy, during November 2024.The 23 full papers and 10 Short papers included in this book were carefully reviewed and selected from 65 submissions. They were organized in topical sections as follows: Energy and Environment; Recommendation Systems; Social ... Read more

$89.09 USD

This book constitutes the proceedings of the 16th International Conference on Management of Digital EcoSystems, MEDES 2024, held in Naples, Italy, during November 2024.The 23 full papers and 10 Short papers included in this book were carefully reviewed and selected from 65 submissions. They were organized in topical sections as follows: Energy and Environment; Recommendation Systems; Social
... Read more

Rakuten Kobo

eReaders

Apps

Accessories

What is Kobo Super Points?

Reward Yourself

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

Top Series in United States

Computer Science (R0)

Springer Nature Proceedings Computer Science

Journeys Between Formal Methods and the Railway Industry

Quality of Information and Communications Technology

From Software Engineering to Formal Methods and Tools, and Back

People who read these also enjoyed

Technologies and Applications for Big Data Value

Artificial Intelligence in Manufacturing

Open Source Systems: Towards Robust Practices

Applying Artificial Intelligence in Cybersecurity Analytics and Cyber Threat Detection

Software Architecture. ECSA 2025 Tracks and Workshops

Software Architecture

Software Architecture. ECSA 2023 Tracks, Workshops, and Doctoral Symposium

Next-Gen Digital Services. A Retrospective and Roadmap for Service Computing of the Future

Management of Digital EcoSystems

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

Top Series in United States

Computer Science (R0)

Springer Nature Proceedings Computer Science

Show:

People who read these also enjoyed