Home Advanced Search
Advanced Search - Page 1
Verification, Model Checking, and Abstract Interpretation: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings
- English
- Year: 2018
- Author: Isil Dillig,Jens Palsberg (eds.)
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
- English
- Year: 2019
- Author: Isil Dillig, Serdar Tasiran
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
- English
- Year: 2019
- Author: Isil Dillig, Serdar Tasiran
Static Analysis: 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings
- English
- Year: 2009
- Author: Rastislav Bodik (auth.), Jens Palsberg, Zhendong Su (eds.)
Schafkopfen ist kein Glücksspiel: Ihre Gewinnchancen bei Sauspiel, Wenz, Solo und Tout
- AZW3
- German
- Year: 2013
- Author: Dillig, Stefan
Security and Interorganizational Networks in Peace Operations
- English
- Year: 2022
- Author: Isil Akbulut-Gok
Studies in Modern Childhood: Society, Agency, Culture
- English
- Year: 2005
- Author: Jens Qvortrup (eds.)
A Combined Data and Power Management Infrastructure: For Small Satellites
- English
- Year: 2013
- Author: Jens Eickhoff (auth.), Jens Eickhoff (eds.)
Rhetorical Audience Studies and Reception of Rhetoric: Exploring Audiences Empirically
- English
- Year: 2018
- Author: Jens E. Kjeldsen (eds.)