Jump to main content

yr 〜
yr

Search results 35

Wann war Arabien? : Historische Zeiterfahrungen im Kontext einer Forschungsreise (1761-1767)

Wann war Arabien? : Historische Zeiterfahrungen im Kontext einer Forschungsreise (1761-1767)
Digital電子書籍・電子雑誌図書
2021
Available onlineNational Diet Library
  • Author HeadingHähnle

Fundamental Approaches to Software Engineering

Fundamental Approaches to Software Engineering
Digital電子書籍・電子雑誌図書
2019
Available onlineNational Diet Library

Formal methods for components and objects : 11th international symposium, FMCO 2012 : Bertinoro, Italy, September 24-28, 2012 : revised lectures : Sep 2012, Bertinoro, Italy. (Lecture Notes in Computer Science ; 7866. State-of-the-Art Survey)

Formal methods for components and objects : 11th international symposium, FMCO 2012 : Bertinoro, Italy, September 24-28, 2012 : revised lectures : Sep 2012, Bertinoro, Italy. (Lecture Notes in Computer Science ; 7866. State-of-the-Art Survey)
Paper図書
Springerc2013.<M17-14-730>
National Diet Library
  • Author Heading..., Elena, 1981- Hähnle, Reiner. Boer, Frank S. de. B...

Tests and proofs : second international conference, TAP 2008 : Prato, Italy, April 9-11, 2008 : proceedings. : Apr 2008, Prato, Italy. (Lecture Notes in Computer Science ; 4966)

Tests and proofs : second international conference, TAP 2008 : Prato, Italy, April 9-11, 2008 : proceedings. : Apr 2008, Prato, Italy. (Lecture Notes in Computer Science ; 4966)
Paper図書
Springerc2008.<M17-08-1257>
National Diet Library
  • Author HeadingBeckert, Bernhard. Hähnle, Reiner. TAP 2008 (2008 : Pra...

Automated reasoning : 5th international joint conference, IJCAR 2010 : Edinburgh, UK, July 16-19, 2010 : proceedings. : 2010 federated logic conference : CASC-J5: 5th IJCAR ATP system competition : 7th international termination competition : Jul 2010, Edinburgh, UK. (Lecture Notes in Computer Science ; 6173. Lecture Notes in Artificial Intelligence)

Automated reasoning : 5th international joint conference, IJCAR 2010 : Edinburgh, UK, July 16-19, 2010 : proceedings. : 2010 federated logic conference : CASC-J5: 5th IJCAR ATP system competition : 7th international termination competition : Jul 2010, Edinburgh, UK. (Lecture Notes in Computer Science ; 6173. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2010.<M17-11-149>
National Diet Library
  • Author Heading...Giesl, Jürgen. Hähnle, Reiner. IJCAR 2010 (2010 : E...

Formal methods for executable software models : 14th international school on formal methods for the design of computer, communication, and software systems, SFM 2014 : Bertinoro, Italy, June 16-20, 2014 : advanced lectures : Jun 2014, Bertinoro, Italy. (Lecture Notes in Computer Science ; 8483. Tutorial)

Formal methods for executable software models : 14th international school on formal methods for the design of computer, communication, and software systems, SFM 2014 : Bertinoro, Italy, June 16-20, 2014 : advanced lectures : Jun 2014, Bertinoro, Italy. (Lecture Notes in Computer Science ; 8483. Tutorial)
Paper図書
Springer[2014]<M17-15-592>
National Diet Library

Gesammelte Essays 2., unveränd. Aufl

Gesammelte Essays 2., unveränd. Aufl
Paper図書
Robert Müller ; mit einem Nachwort von Hans Heinz Hahnl ; herausgegeben von Michael Matthias SchardtIgel Verlag Literatur & Wissenschaft2011
Other Libraries in Japan

Tests and proofs : second international conference, TAP 2008, Prato, Italy, April 9-11, 2008 : proceedings

Tests and proofs : second international conference, TAP 2008, Prato, Italy, April 9-11, 2008 : proceedings
Paper図書
Bernhard Beckert, Reiner Hähnle (eds.)Springerc2008
Other Libraries in Japan
  • Author HeadingTAP Beckert, Bernhard Hähnle, Reiner

Theorem proving with analytic tableaux and related methods : 4th international workshop, TABLEAUX '95 Schloss Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings / Peter Baumgartner, Reiner Hähnle, Joachim Posegga (eds.). (Lecture notes in computer science ; 918. Lecture notes in artificial intelligence)

Theorem proving with analytic tableaux and related methods : 4th international workshop, TABLEAUX '95 Schloss Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings / Peter Baumgartner, Reiner Hähnle, Joachim Posegga (eds.). (Lecture notes in computer science ; 918. Lecture notes in artificial intelligence)
Paper図書
Springer-Verlagc1995.<M15-A9719>
National Diet Library
  • Author Heading...artner, Peter. Hähnle, Reiner. Posegga, Joachim.

Handbook of tableau methods

Handbook of tableau methods
Paper図書
edited by Marcello D'Agostino ... [et al.]Kluwer Academicc2010
Other Libraries in Japan
  • Note (General)...Gabbay, Reiner Hähnle, Joachim Posegga
  • Author HeadingD'Agostino, Marcello Gabbay, Dov M. Hähnle, Reiner Posegga, Joachim

Verification of object-oriented software : the KeY approach

Verification of object-oriented software : the KeY approach
Paper図書
Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt (eds.) ; foreword by K. Rustan M. LeinoSpringerc2007
Other Libraries in Japan
  • Author HeadingBeckert, Bernhard Hähnle, Reiner Schmitt, P. H. (Peter...

FLÜSSIGPHASENOXIDATION VON 1,2-DICHLOR-3-METHYL-1-BUTEN

FLÜSSIGPHASENOXIDATION VON 1,2-DICHLOR-3-METHYL-1-BUTEN
Paper博士論文
Hähnle, Joachim.UNIVERSITÄT FRIDERICIANA KARLSRUHE1984.<M-DIGK-3441>
National Diet Library
  • Author HeadingHähnle, Joachim.

Automated deduction in multiple-valued logics

Automated deduction in multiple-valued logics
Paper図書
Reiner HähnleClarendon Press1993
Other Libraries in Japan
  • Author HeadingHähnle, Reiner

Theorem proving with analytic tableaux and related methods : 4th International Workshop, TABLEAUX '95, Schloß Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings

Theorem proving with analytic tableaux and related methods : 4th International Workshop, TABLEAUX '95, Schloß Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings
Paper図書
Peter Baumgartner, Reiner Hähnle, Joachim Posegga (eds.)Springer Verlagc1995
Other Libraries in Japan
  • Author HeadingTABLEAUX Baumgartner, Peter Hähnle, Reiner Posegga, Joachim

Wiener Lust : eine Anthologie österreichischer erotischer Literatur 2. Aufl

Wiener Lust : eine Anthologie österreichischer erotischer Literatur 2. Aufl
Paper図書
herausgegeben und eingeleitet von Hans Heinz HahnlKremayr & Scheriauc1993
Other Libraries in Japan

Der Barbar : Roman

Der Barbar : Roman
Paper図書
Robert Müller ; herausgegeben und mit einem Nachwort versehen von Hans Heinz HahnlIgel Verlag Literatur1993
Other Libraries in Japan

Das Salzburger Mozart-Denkmal : eine Dokumentation (bis 1845) zur 150-Jahre-Enthüllungsfeier

Das Salzburger Mozart-Denkmal : eine Dokumentation (bis 1845) zur 150-Jahre-Enthüllungsfeier
Paper図書
von Rudolph Angermüller ; mit einem kunsthistorischen Beitrag von Adolf HahnlInternationale Stiftung Mozarteum1992
Other Libraries in Japan

Gesammelte Essays

Gesammelte Essays
Paper図書
Robert Müller ; mit einem Nachwort von Hans Heinz Hahnl ; herausgegeben von Michael Matthias SchardtIgel Verlag Literatur1995
Other Libraries in Japan

Vergessene Literaten : fünfzig österreichische Lebensschicksale

Vergessene Literaten : fünfzig österreichische Lebensschicksale
Paper図書
Hans Heinz HahnlÖsterreichischer Bundesverlagc1984
Other Libraries in Japan

Shakespeares Hund : Gedichte Erstausg

Shakespeares Hund : Gedichte Erstausg
Paper図書
Hans Heinz HahnlG. Graslc1983
Other Libraries in Japan
RSS