Foundations of Software Science and Computation Structures : 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022,
Patricia Bouyer
Download - Immediately Available
Format: eBook (PDF)
Programming Languages and Systems : 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, A
Ilya Sergey
Download - Immediately Available
Format: eBook (PDF)
Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Dana Fisman
Download - Immediately Available
Format: eBook (PDF)
Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Dana Fisman
Download - Immediately Available
Format: eBook (PDF)
Transactions on Modularity and Composition I
Shigeru Chiba
Download - Immediately Available
Format: eBook (PDF)
The Future Internet : Future Internet Assembly 2011: Achievements and Technological Promises
John Domingue
Download - Immediately Available
Format: eBook (PDF)
The Future Internet : Future Internet Assembly 2012: From Promises to Reality
Federico Alvarez
Download - Immediately Available
Format: eBook (PDF)
Telecommunication Economics : Selected Results of the COST Action IS0605 Econ@Tel
Antonis M. Hadjiantonis
Download - Immediately Available
Format: eBook (PDF)
Bisociative Knowledge Discovery : An Introduction to Concept, Algorithms, Tools, and Applications
Michael R. Berthold
Download - Immediately Available
Format: eBook (PDF)
The Future Internet : Future Internet Assembly 2013: Validated Results and New Horizons
Alex Galis
Download - Immediately Available
Format: eBook (PDF)
Medical Imaging Systems : An Introductory Guide
Andreas Maier
Download - Immediately Available
Format: eBook (PDF)
Enhanced Living Environments : Algorithms, Architectures, Platforms, and Systems
Ivan Ganchev
Download - Immediately Available
Format: eBook (EPUB)
Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Tomas Vojnar
Download - Immediately Available
Format: eBook (EPUB)
Programming Languages and Systems : 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, A
Peter Muller
Download - Immediately Available
Format: eBook (PDF)
Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Armin Biere
Download - Immediately Available
Format: eBook (PDF)
Fundamental Approaches to Software Engineering : 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Irelan
Heike Wehrheim
Download - Immediately Available
Format: eBook (PDF)
Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Armin Biere
Download - Immediately Available
Format: eBook (PDF)
Fundamental Approaches to Software Engineering : 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg Cit
Esther Guerra
Download - Immediately Available
Format: eBook (PDF)
Foundations of Software Science and Computation Structures : 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021,
Stefan Kiefer
Download - Immediately Available
Format: eBook (PDF)
Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Jan Friso Groote
Download - Immediately Available
Format: eBook (PDF)
Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Jan Friso Groote
Download - Immediately Available
Format: eBook (PDF)
Programming Languages and Systems : 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, L
Nobuko Yoshida
Download - Immediately Available
Format: eBook (PDF)