登入選單
Google圖書搜尋
Das Bild Des Pantokrator
出版1966
ISBN
OCLC:921050458
Der Gartenplaner
作者
Peter Wirth
出版2001
ISBN
3800132621 / 9783800132621
Old-Growth
作者
Peter Weltner
出版2019-04-14
ISBN
0578475073 / 9780578475073
Regional Profile
作者
Jörn Harfst / Christoph Bieberstein / Peter Wirth
出版2009
ISBN
OCLC:780898499
Post-mining Regions in Central Europe
作者
Peter Wirth / Barbara Černič Mali / Wolfgang Fischer
出版2012
ISBN
3865812945 / 9783865812940
主題
Abandoned mined lands reclamation
Theophylacti Simocattae historiae [gr.] Ed. Carolu...
作者
Theophylactus Simocatta
出版Walter de Gruyter, 1972
ISBN
3110407434 / 9783110407433
Grundlagen Der Mathematik I: I. part A. Prefaces a...
作者
David Hilbert / Paul Bernays
出版2011
ISBN
1848900333 / 9781848900332
主題
Logic, Symbolic and mathematical
Chronicon
作者
Georgius (Hamartolus.)
出版1978
ISBN
OCLC:630461803
Inductive Theorem Proving in Theories Specified by...
作者
Claus-Peter Wirth / Ulrich Kühler
出版1999
ISBN
OCLC:863995775
Lim+, Δ+ [delta+], and Non-permutability of Β-step...
作者
Claus-Peter Wirth
出版2004
ISBN
OCLC:1186262480
Lim +, [delta]+, and Non-permutability of [beta]-s...
作者
Claus-Peter Wirth
出版2005
ISBN
OCLC:254999527
Lim+, D+ [delta+], and Non-permutability of [beta]...
作者
Claus-Peter Wirth
出版2004
ISBN
OCLC:181479741
Descente Infinie + Deduction
作者
Claus-Peter Wirth
出版2000
ISBN
OCLC:248376737
Progress in Computer-assisted Inductive Theorem Pr...
作者
Claus-Peter Wirth
出版2006
ISBN
OCLC:180967774
Constructor-based inductive validity in positive/n...
作者
Claus-Peter Wirth
出版1993
ISBN
OCLC:165080116
Regional Opening Workshops
作者
Jörn Harfst / Gerd Lintz / Peter Wirth
出版2009
ISBN
OCLC:814145296
Scientific concept of the ReSOURCE project
作者
Jörn Harfst / Peter Wirth / Gerd Lintz / Barbara Černič Mali / Katja Klančišar / Naja Marot
出版2009
ISBN
OCLC:780887852
Syntactic Confluence Criteria for Positive
作者
Claus-Peter Wirth
出版1995
ISBN
OCLC:60285749
Strengths, Weaknesses, Opportunities and Threats o...
作者
Jörn Harfst / Christoph Bieberstein / Gerd Lintz / Peter Wirth
出版2010
ISBN
OCLC:780899759
Georgii Acropolitae Opera
作者
Georgius Acropolita / Theodorus Scutariotes / August Heisenberg / Peter Wirth
出版1978
ISBN
OCLC:829428172
Syntactic Confluence Criteria for Positive-, Negat...
作者
Claus-Peter Wirth
出版1995
ISBN
OCLC:863996104
Chronicon: Textum genuinum usque ad Vespasiani imp...
作者
Georgius (monachus.)
出版1978
ISBN
OCLC:4960930
主題
Byzantine Empire
Consistency of Recursive Definitions Via Shallow C...
作者
Claus-Peter Wirth
出版2006
ISBN
OCLC:181557079
Chronicon: Textum genuinum inde a Vespasiani imper...
作者
Georgius (monachus.)
出版1978
ISBN
OCLC:4960930
主題
Byzantine Empire
Conditional Equational Specifications of Data Type...
作者
Ulrich Kühler / Claus-Peter Wirth
出版1999
ISBN
OCLC:863996283
A constructor-based approach for positive negative...
作者
Claus-Peter Wirth / Bernhard Gramlich
出版1992
ISBN
OCLC:165385966
Transnational Recommendations on Strategy Developm...
作者
Jörn Harfst / Peter Wirth / Christoph Bieberstein / David Osebik / Naja Marot / Barbara Černič Mali / Katja Klančišar
出版2011
ISBN
OCLC:814146946
Conditional Equational Specifications of Data Type...
作者
Ulrich Kühler / Claus-Peter Wirth
出版1996
ISBN
OCLC:59619008
Chronicon
作者
Georgius (Hamartolus.)
出版1978
ISBN
OCLC:499272107
Opera
作者
Georgius (Acropolita.) / August Heisenberg / Peter Wirth
出版1978
ISBN
OCLC:214984380