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.99 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

Big Data: Concepts, Methodologies, Tools, and Applications

Edited by Information Resources Management Association ...

The digital age has presented an exponential growth in the amount of data available to individuals looking to draw conclusions based on given or collected information across industries. Challenges associated with the analysis, security, sharing, storage, and visualization of large and complex data sets continue to plague data scientists and analysts alike as traditional data processing ... Read more

$2,051.99 USD

The digital age has presented an exponential growth in the amount of data available to individuals looking to draw conclusions based on given or collected information across industries. Challenges associated with the analysis, security, sharing, storage, and visualization of large and complex data sets continue to plague data scientists and analysts alike as traditional data processing
... Read more
Computer Engineering: Concepts, Methodologies, Tools and Applications

Edited by Information Resources Management Association ...

Computer engineering refers generally to the field that integrates hardware design, production, and implementation, and it combines the expertise of practitioners in electrical, software, and hardware engineering. Computer Engineering: Concepts, Methodologies, Tools, and Applications is a broad, multi-volume collection of the best recent works published under the umbrella of computer engineering. ... Read more

$1,754.99 USD

PRE-ORDER

Computer engineering refers generally to the field that integrates hardware design, production, and implementation, and it combines the expertise of practitioners in electrical, software, and hardware engineering. Computer Engineering: Concepts, Methodologies, Tools, and Applications is a broad, multi-volume collection of the best recent works published under the umbrella of computer engineering.
... 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 Technologies

20th International Conference, ICSOFT 2025, Bilbao, Spain, June 10–12, 2025, Revised Selected Papers

Edited by Massimo Mecella, Arend Rensink, Leszek Maciaszek ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed post proceedings of the 20th International Conference on Software Technologies, ICSOFT 2025, held in Bilbao, Spain, during June 10–12, 2025.The 6 full papers and 3 short papers included in this book were carefully reviewed and selected from 78 submissions. They were organized into topical sections as follows: Software Engineering and Systems Development; and ... Read more

$58.49 USD

This book constitutes the refereed post proceedings of the 20th International Conference on Software Technologies, ICSOFT 2025, held in Bilbao, Spain, during June 10–12, 2025.The 6 full papers and 3 short papers included in this book were carefully reviewed and selected from 78 submissions. They were organized into topical sections as follows: Software Engineering and Systems Development; and
... 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

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

Big Data: Concepts, Methodologies, Tools, and Applications

Computer Engineering: Concepts, Methodologies, Tools and Applications

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 Technologies

Software Architecture

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