Globalized Peripheries : Central Europe and the Atlantic World, 1680-1860
Jutta Wimmler
Download - Immediately Available
Format: eBook (PDF)
Transactions on Foundations for Mastering Change I
Bernhard Steffen
Download - Immediately Available
Format: eBook (PDF)
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Pa
Tiziana Margaria
Download - Immediately Available
Format: eBook (PDF)
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016,
Tiziana Margaria
Download - Immediately Available
Format: eBook (PDF)
Correct System Design : Recent Insights and Advances
Ernst-Rudiger Olderog
Download - Immediately Available
Format: eBook (PDF)
Leveraging Applications of Formal Methods : First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers
Tiziana Maragria
Download - Immediately Available
Format: eBook (PDF)
Leveraging Applications of Formal Methods, Verification, and Validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings
Tiziana Margaria
Download - Immediately Available
Format: eBook (PDF)
Leveraging Applications of Formal Methods, Verification, and Validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings
Tiziana Margaria
Download - Immediately Available
Format: eBook (PDF)
Leveraging Applications of Formal Methods, Verification and Validation : Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings
Tiziana Margaria
Download - Immediately Available
Format: eBook (PDF)
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014,
Tiziana Margaria
Download - Immediately Available
Format: eBook (PDF)
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Procee
Tiziana Margaria
Download - Immediately Available
Format: eBook (PDF)
Verification, Model Checking, and Abstract Interpretation : 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings
Bernhard Steffen
Download - Immediately Available
Format: eBook (PDF)
Leveraging Applications of Formal Methods, Verification and Validation : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I
Tiziana Margaria
Download - Immediately Available
Format: eBook (PDF)
Leveraging Applications of Formal Methods, Verification and Validation : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
Tiziana Margaria
Download - Immediately Available
Format: eBook (PDF)
Leveraging Applications of Formal Methods, Verification, and Validation : International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 201
Reiner Hahnle
Download - Immediately Available
Format: eBook (PDF)