Marcello Bonsangue – författare
Visar alla böcker från författaren Marcello Bonsangue. Handla med fri frakt och snabb leverans.
10 produkter
Theory and Practice of Formal Methods
Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
Av Erika Ábrahám, Marcello Bonsangue m. fl.
Häftad, 2016
566 kr
Lägg i varukorg
This Festschrift volume has been published in honor ofFrank de Boer, on the occasion of his 60th birthday.Frank S. de Boer is a prominent member of the research community in formalmethods and theoretical computer science. A brief look at his lengthypublication list reveals a broad area of interest …
Theory and Practice of Formal Methods
Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
Av Einar Broch Johnsen, Marcello Bonsangue m. fl.
E-bok, 2016
755 kr
Lägg i varukorg
This Festschrift volume has been published in honor ofFrank de Boer, on the occasion of his 60th birthday. Frank S. de Boer is a prominent member of the research community in formalmethods and theoretical computer science. A brief look at his lengthypublication list reveals a broad area of interest …
It's All About Coordination
Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab
Av Frank de Boer, Marcello Bonsangue m. fl.
Häftad, 2018
566 kr
Lägg i varukorg
This Festschrift volume has been published to celebrate the lifelong scientific achievements of Farhad Arbab on the occasion of his retirement from the Centre of Mathematics and Computer Science (CWI).Over the years Farhad Arbab has sucessfully been engaged in scientific explorations in various …
It's All About Coordination
Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab
Av Jan Rutten, Marcello Bonsangue m. fl.
E-bok, 2018
739 kr
Lägg i varukorg
This Festschrift volume has been published to celebrate the lifelong scientific achievements of Farhad Arbab on the occasion of his retirement from the Centre of Mathematics and Computer Science (CWI). Over the years Farhad Arbab has sucessfully been engaged in scientific explorations in various …
Formal Methods for Components and Objects
First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures
Av Frank S.de Boer, Marcello Bonsangue m. fl.
Häftad, 2003
566 kr
Lägg i varukorg
Largeandcomplexsoftwaresystemsprovidethenecessaryinfrastuctureinall- dustries today. In order to construct such large systems in a systematic manner, the focus in the development methodologies has switched in the last two decades from functional issues to structural issues: both data and functions …
Formal Methods for Components and Objects
First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures
Av Willem-Paul de Roever, Susanne Graf m. fl.
E-bok, 2003
739 kr
Lägg i varukorg
Largeandcomplexsoftwaresystemsprovidethenecessaryinfrastuctureinall- dustries today. In order to construct such large systems in a systematic manner, the focus in the development methodologies has switched in the last two decades from functional issues to structural issues: both data and functions …
Data Science and Artificial Intelligence
Third International Conference, DSAI 2025, Peradeniya, Sri Lanka, November 19–21, 2025, Proceedings
Av Chutiporn Anutariya, Marcello Bonsangue m. fl.
Häftad, 2025
846 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the Third International Conference on Data Science and Artificial Intelligence, DSAI 2025, held in Peradeniya, Sri Lanka, during November 19-21,2025.The 22 full papers and 4 invited talks were included in this book were carefully reviewed and …
Data Science and Artificial Intelligence
Third International Conference, DSAI 2025, Peradeniya, Sri Lanka, November 19-21, 2025, Proceedings
Av Hakim Usoof, Amalka Pinidiyaarachchi m. fl.
E-bok, 2025
1056 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the Third International Conference on Data Science and Artificial Intelligence, DSAI 2025, held in Peradeniya, Sri Lanka, during November 19-21,2025.The 22 full papers and 4 invited talks were included in this book were carefully reviewed and …
Artificial Intelligence Logic and Applications
5th International Conference, AILA 2025, Xi'an, China, August 16–17, 2025, Proceedings
Av Marcello Bonsangue, Yixiang Chen
Häftad, 2026
846 kr
Lägg i varukorg
This book constitutes the proceedings of the 5th International Conference on Artificial Intelligence Logic and Applications, AILA 2025, held in Xi'an, China, during August 16–17, 2025.The 12 full papers and 6 short papers presented in this volume were carefully reviewed and selected from 34 …
Artificial Intelligence Logic and Applications
5th International Conference, AILA 2025, Xi'an, China, August 16-17, 2025, Proceedings
Av Yixiang Chen, Marcello Bonsangue
E-bok, 2026
1091 kr
Lägg i varukorg
This book constitutes the proceedings of the 5th International Conference on Artificial Intelligence Logic and Applications, AILA 2025, held in Xi'an, China, during August 16–17, 2025.The 12 full papers and 6 short papers presented in this volume were carefully reviewed and selected from 34 …
