Jump to main content

yr 〜
yr

Search results 29

Mathematical logic 3rd ed

Mathematical logic 3rd ed
Paper図書
Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang ThomasSpringerc2021
Other Libraries in Japan
  • Author HeadingEbbinghaus, Heinz-Dieter Flum, Jörg Thomas, Wolfgang

Mathematical logic : pbk 3rd ed

Mathematical logic : pbk 3rd ed
Paper図書
Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang ThomasSpringerc2021
Other Libraries in Japan
  • Author HeadingEbbinghaus, Heinz-Dieter Flum, Jörg Thomas, Wolfgang

Automata, languages and programming : 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009 : proceedings pt. 1 pt. 2

Automata, languages and programming : 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009 : proceedings pt. 1 pt. 2
Paper図書
Susanne Albers ... [et al.] (eds.)Springerc2009
Other Libraries in Japan
  • Author Heading...tseas, Sotiris Thomas, Wolfgang

STACS 2007 : 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007 : proceedings

STACS 2007 : 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007 : proceedings
Paper図書
Wolfgang Thomas, Pascal Weil (eds.)Springerc2007
Other Libraries in Japan
  • Author HeadingSymposium on Theoretical Aspects of Computer Science Thomas, Wolfgang Weil, Pascal

STACS 2006 : 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006 : proceedings

STACS 2006 : 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006 : proceedings
Paper図書
Bruno Durand, Wolfgang Thomas (eds.)Springerc2006
Other Libraries in Japan
  • Author HeadingSymposium on Theoretical Aspects of Computer Science Durand, Bruno Thomas, Wolfgang

Automata logics, and infinite games : a guide to current research

Automata logics, and infinite games : a guide to current research
Paper図書
Erich Grädel, Wolfgang Thomas, Thomas Wilke (eds.)Springerc2002
Other Libraries in Japan
  • Author HeadingGrädel, Erich Thomas, Wolfgang Wilke, Thomas

Foundations of software science and computation structures : second international conference, FOSSACS '99, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings

Foundations of software science and computation structures : second international conference, FOSSACS '99, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings
Paper図書
Wolfgang Thomas (ed.)Springerc1999
Other Libraries in Japan
  • Author HeadingFOSSACS Thomas, Wolfgang European Conferences on Theor...

Computer science logic : 11th International Workshop, CSL '97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers

Computer science logic : 11th International Workshop, CSL '97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers
Paper図書
Mogens Nielsen, Wolfgang Thomas (eds.)Springerc1998
Other Libraries in Japan
  • Author Heading...n, M. (Mogens) Thomas, Wolfgang European Association for Comp...

Mathematical logic : us : gw 2nd ed., corrected second printing

Mathematical logic : us : gw 2nd ed., corrected second printing
Paper図書
H.-D. Ebbinghaus, J. Flum, W. ThomasSpringer-Verlag1996, c1994
Other Libraries in Japan
  • Author HeadingEbbinghaus, Heinz-Dieter Flum, Jörg Thomas, Wolfgang

Mathematical logic : us : gw : [pbk.] 2nd ed

Mathematical logic : us : gw : [pbk.] 2nd ed
Paper図書
H.-D. Ebbinghaus, J. Flum, W. ThomasSpringer-Verlagc1994
Other Libraries in Japan
  • Author HeadingEbbinghaus, Heinz-Dieter Flum, Jörg Thomas, Wolfgang

STACS 2007 : 24th annual symposium on theoretical aspects of computer science : Aachen, Germany, February 22-24, 2007 : proceedings. : Feb 2007, Aachen, Germany. (Lecture Notes in Computer Science ; 4393)

STACS 2007 : 24th annual symposium on theoretical aspects of computer science : Aachen, Germany, February 22-24, 2007 : proceedings. : Feb 2007, Aachen, Germany. (Lecture Notes in Computer Science ; 4393)
Paper図書
Springerc2007.<M17-07-1192>
National Diet Library
  • Author HeadingThomas, Wolfgang, 1947- Weil, Pascal. Symposiu...

STACS 2006 : 23rd annual symposium on theoretical aspects of computer science : Marseille, France, February 23-25, 2006 : proceedings. : Feb 2006, Marseille, France. (Lecture Notes in Computer Science ; 3884)

STACS 2006 : 23rd annual symposium on theoretical aspects of computer science : Marseille, France, February 23-25, 2006 : proceedings. : Feb 2006, Marseille, France. (Lecture Notes in Computer Science ; 3884)
Paper図書
Springerc2006.<M17-06-1711>
National Diet Library
  • Author HeadingDurand, Bruno. Thomas, Wolfgang, 1947- Symposium on Theoretic...

Einführung in die mathematische Logik 3., vollständig überarbeitete und erweiterte Auflage

Einführung in die mathematische Logik 3., vollständig überarbeitete und erweiterte Auflage
Paper図書
von Heinz-Dieter Ebbinghaus, Jörg Flum und Wolfgang Thomasc1992
Other Libraries in Japan
  • Author HeadingEbbinghaus, Heinz-Dieter Flum, Jörg Thomas, Wolfgang

SENSITIVITÄTSANALYSE EINES VERKEHRSPLANUNGSMODELLS

SENSITIVITÄTSANALYSE EINES VERKEHRSPLANUNGSMODELLS
Paper博士論文
Thomas, Wolfgang.UNIVERSITÄT FRIDERICIANA KARLSRUHE1974.<M-DIGK-2436>
National Diet Library
  • Author HeadingThomas, Wolfgang.

POSTOPERATIVE WUNDKOMPLIKATIONEN

POSTOPERATIVE WUNDKOMPLIKATIONEN
Paper博士論文
Thomas, Wolfgang.Ludwig-Maximilians-Universität München1973.<M-DIGM-191>
National Diet Library
  • Author HeadingThomas, Wolfgang.

Late Cretaceous (Maestrichtian) Calcareous Nannoplankton Biogeography with Emphasis on Events Immediately Preceding the Cretaceous/Paleocene Boundary

Late Cretaceous (Maestrichtian) Calcareous Nannoplankton Biogeography with Emphasis on Events Immediately Preceding the Cretaceous/Paleocene Boundary
Microform博士論文
Ehrendorfer, Thomas Wolfgang.Massachusetts Institute of Technology1993.<LS-DI-MIT-93-085>
National Diet Library
  • Author HeadingEhrendorfer, Thomas Wolfgang.

Einführung in die mathematische Logik 2. überarbeitete Aufl

Einführung in die mathematische Logik 2. überarbeitete Aufl
Paper図書
von Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang ThomasWissenschaftliche Buchgesellschaft1986
Other Libraries in Japan
  • Author HeadingEbbinghaus, Heinz-Dieter Flum, Jörg Thomas, Wolfgang

Mathematical logic : us : gw

Mathematical logic : us : gw
Paper図書
H.-D. Ebbinghaus, J. Flum, W. ThomasSpringer-Verlagc1984
Other Libraries in Japan
  • Author HeadingEbbinghaus, Heinz-Dieter Flum, Jörg Thomas, Wolfgang

Über Zerlegungen von Drehungen des 5-dimensionalen Raumes

Über Zerlegungen von Drehungen des 5-dimensionalen Raumes
Paper図書
von Wolfgang Thomas[Technische Universität Carolo-Wilhelmina]1980
Other Libraries in Japan
  • Author HeadingThomas, Wolfgang

Groups : topological, combinatorial and arithmetic aspects : pbk

Groups : topological, combinatorial and arithmetic aspects : pbk
Paper図書
edited by T.W. MüllerCambridge University Press2004
Other Libraries in Japan
  • Author HeadingMüller, T. W. (Thomas Wolfgang)
RSS