Browse Results

Showing 2,876 through 2,900 of 61,736 results
Title Author ISBN Copyright Features Action
Vermögen und Möglichkeit: Die Lehre des Aristoteles und die Debatte in der analytischen Philosophie 3059172 Ursula Wolf 9783476051226 2020 Contains images
Vermin, Victims and Disease: British Debates over Bovine Tuberculosis and Badgers 5919635 Angela Cassidy 9783030191863 2019 Contains images
Vermessen des beruflichen Wissens: Welches Wissen ist das Fundament des beruflichen Könnens? 4298495 Felix Rauner Martin Ahrens 9783658343439 2021 Contains images
Verlorene Wirklichkeiten: Über die ungewollte Erosion unseres Denkraumes durch Naturwissenschaft und Technik 4790058 Gerhard Fasching 9783709165607 1996
Verkörperungen: (Post-)Phänomenologische Untersuchungen zwischen erziehungswissenschaftlicher Theorie und leiblichen Praxen in pädagogischen Feldern (Phänomenologische Erziehungswissenschaft #9) 3052936 Malte Brinkmann 9783658274917 2019 Contains images
Verknüpfte Welten: Notizen aus 235 Ländern und Territorien – Band 1 (1960-1999) 4396870 Ludger Kühnhardt 9783658338053 2021 Contains images
Verknüpfte Welten: Notizen aus 235 Ländern und Territorien – Band 2 (2000-2020) 4977878 Ludger Kühnhardt 9783658338077 2022 Contains images
Verified Software: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings (Lecture Notes in Computer Science #6217) 4681021 Gary T. Leavens Peter O'Hearn Sriram K. Rajamani 9783642150579 2010
Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers (Lecture Notes in Computer Science #9971) 2853736 Sandrine Blazy Marsha Chechik 9783319488691 2016 Contains images
Verified Software: 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers (Lecture Notes in Computer Science #8164) 2865789 Ernie Cohen Andrey Rybalchenko 9783642541087 2014
Verified Software: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers (Lecture Notes in Computer Science #8471) 2817907 Dimitra Giannakopoulou Daniel Kroening 9783319121543 2014 Contains images
Verified Software: 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers (Lecture Notes in Computer Science #9593) 2839456 Arie Gurfinkel Sanjit A. Seshia 9783319296135 2016 Contains images
Verified Software: 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings (Lecture Notes in Computer Science #7152) 4803455 Rajeev Joshi Peter Müller Andreas Podelski 9783642277054 2012
Verified Software: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings (Lecture Notes in Computer Science #5295) 4676158 Natarajan Shankar Jim Woodcock 9783540878735 2008
Verificationism: Its History and Prospects (Philosophical Issues in Science) 3507747 C.J. Misak 9781134800353 1995
Verificationism: Its History and Prospects (Philosophical Issues in Science) 3509164 C.J. Misak 9781134800346 1995 Contains images
Verification of Sequential and Concurrent Programs (Texts in Computer Science) 4782648 Krzysztof R. Apt Frank S. de Boer Ernst-Rüdiger Olderog 9781848827455 2009
Verification of Sequential and Concurrent Programs (Texts in Computer Science) 3794809 Krzysztof R. Apt Ernst-Rüdiger Olderog 9781475727142 1997
Verification of Sequential and Concurrent Programs (Monographs in Computer Science) 3797241 Krzysztof R. Apt Ernst-Rüdiger Olderog 9781475743760 1991
Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series) 4624897 Klaus Schneider 9783662107782 2004
Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino (Lecture Notes in Computer Science #4334) 4759783 Bernhard Beckert Reiner Hähnle Peter H. Schmitt 9783540690610 2007
Verification, Model Checking, and Abstract Interpretation: 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings (Lecture Notes in Computer Science #10145) 2238939 Ahmed Bouajjani David Monniaux 9783319522340 2017 Contains images
Verification, Model Checking, and Abstract Interpretation: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings (Lecture Notes in Computer Science #10747) 2257420 Isil Dillig Jens Palsberg 9783319737218 2018
Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings (Lecture Notes in Computer Science #8931) 2882229 Deepak D'Souza Akash Lal Kim Gulstrand Larsen 9783662460818 2015
Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings (Lecture Notes in Computer Science #13182) 4425489 Bernd Finkbeiner Thomas Wies 9783030945831 2022 Contains images

Refine Search

Showing 2,876 through 2,900 of 61,736 results