Home Advanced Search
Advanced Search - Page 1
Hardware and Software: Verification and Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
- English
- Year: 2013
- Author: Michael Codish, Yoav Fekete, Amit Metodi (auth.), Valeria Bertacco, Axel Legay (eds.)
Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I
- English
- Year: 2017
- Author: Axel Legay, Tiziana Margaria (eds.)
Post-Silicon and Runtime Verification for Modern Processors
- English
- Year: 2010;2011
- Author: Wagner, Ilya;Bertacco, Valeria
Language and Translation in Postcolonial Literatures
- EPUB
- English
- Year: 2013
- Author: Bertacco, Simona;
Model Checking Software: 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings
- English
- Year: 2019
- Author: Fabrizio Biondi, Thomas Given-Wilson, Axel Legay
Risks and Security of Internet and Systems: 11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papers
- English
- Year: 2017
- Author: Frédéric Cuppens, Nora Cuppens, Jean-Louis Lanet, Axel Legay (eds.)
La souveraineté monétaire dans les Pays-Bas méridionaux XVIe-XIXe siècle French
- French
- Author: Marie-Laure Legay
Die Siyakat Schrift in der türkischen Finanzverwaltung. II. Faksimiles [low quality scans]
- German
- Year: 1955
- Author: Lajos Fekete