Showing
1 - 12
results of
12
for search '
Hähnle, Reiner
'
Skip to content
Library Home
Start Over
Research Databases
E-Journals
Course Reserves
Library Home
Login to library account
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Language
Library Catalog
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Find
Advanced Search
|
Browse
|
Search Tips
Author
Hähnle, Reiner
Showing
1 - 12
results of
12
for search '
Hähnle, Reiner
'
, query time: 0.05s
Narrow Search
Sort
Relevance
Newest
Oldest
Call Number
Author
Title
Select all entries on the page
Email
Export
Print
Save
Select result number 1
1
Tests and Proofs Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings edited by Bernhard Beckert, Reiner Hähnle.
Published 2008
Other Authors:
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 2
2
Automated Reasoning 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings edited by Jürgen Giesl, Reiner Hähnle.
Published 2010
Other Authors:
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 3
3
Theorem Proving with Analytic Tableaux and Related Methods 4th International Workshop, TABLEAUX-95, Schloß Rheinfels, St. Goar, Germany, May 7 - 10, 1995. Proceedings edited by Peter Baumgartner, Reiner Hähnle, Joachim Posegga.
Published 1995
Other Authors:
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 4
4
Machine Learning for Dynamic Software Analysis: Potentials and Limits International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers edited by Amel Bennaceur, Reiner Hähnle, Karl Meinke.
Published 2018
Other Authors:
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 5
5
Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20... edited by Reiner Hähnle, Wil van der Aalst.
Published 2019
Other Authors:
“…
Hähnle, Reiner
…”
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 6
6
Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino edited by Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt.
Published 2007
Other Authors:
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 7
7
Deductive software verification: future perspectives : reflections on the occasion of 20 years of KeY Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich (eds.).
Published 2020
Other Authors:
Click for online access
eBook
Save to List
Saved in:
Select result number 8
8
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,... edited by Reiner Hähnle, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, Bernhard Steffen.
Published 2012
Other Authors:
“…
Hähnle, Reiner
…”
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 9
9
Handbook of Tableau Methods edited by M. D'Agostino, Dov M. Gabbay, Reiner Hähnle, J. Posegga.
Published 1999
Other Authors:
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 10
10
Formal Methods for Components and Objects 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures edited by Elena Giachino, Reiner Hähnle, Frank S. de Boer, Marcello M. Bonsangue.
Published 2013
Other Authors:
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 11
11
The logic of software : a tasting menu of formal methods : essays dedicated to Reiner Hähnle on the occasion of his 60th birthday Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen (eds.).
Published 2022
Other Authors:
“…
Hähnle, Reiner
…”
Click for online access
eBook
Save to List
Saved in:
Select result number 12
12
Deductive Software Verification – The KeY Book From Theory to Practice edited by Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich.
Published 2016
Other Authors:
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select all entries on the page
Email
Export
Print
Save
Search Tools:
Get RSS Feed
Email this Search
Related Subjects
Electronic resources (E-books)
Artificial intelligence
Software engineering
Computer logic
Mathematical logic
Computers
Programming languages (Electronic computers)
Computer system failures
Application software
Architecture, Computer
Computer communication systems
Computer programming
Computer science—Mathematics
Computer simulation
Computer software
Computers and civilization
Data mining
Information storage and retrieval
Logic
Logic design
Pattern recognition
Verification
artificial intelligence