登入選單
Google圖書搜尋
Working Material for the Lectures of Martin Hofman...
作者
Martin Hofmann
出版2007
ISBN
OCLC:1516137972
Working Material for the Lectures of Martin Hofman...
作者
Martin Hofmann
出版2005
ISBN
OCLC:1513879044
Extensional Constructs in Intensional Type Theory
作者
Martin Hofmann
出版Springer Science & Business Media, 2012-12-06
ISBN
9781447109631 / 1447109635
主題
Computers
A Holistic Approach to Process Optimisation
作者
Martin Hofmann
出版Springer Nature, 2021-07-29
ISBN
9783658340971 / 3658340975
主題
Business & Economics
Philema hagion
作者
Karl-Martin Hofmann
出版1938
ISBN
STANFORD:36105040539368
主題
Bible
PHILEMA HAGION/ VON KARL-MARTIN HOFMANN.
作者
Karl-Martin Hofmann
出版1938
ISBN
OCLC:1067401655
Corporate Governance-Strukturen von Special Purpos...
作者
Martin Hofmann
出版GRIN Verlag, 2012-12-20
ISBN
9783656337584 / 3656337586
主題
Business & Economics
Theologie und Philosophie Bei V. Hofmann
作者
Martin SCHELLBACH / Johann Christian Conrad von HOFMANN
出版1935
ISBN
OCLC:503895503
Contributions to Extreme Value Theory in the Space...
作者
Martin Hofmann
出版2012
ISBN
OCLC:826588146
Theses Ex Philosophia Practica, Et Physica
作者
Johann Joseph Weis / Martin Hofmann / Joseph Hindernacht / Wilhelm Joseph Behr / Sigismund Broenner / Franz Gleitsmann / Joseph Gleitsmann / Gabriel Stang
出版1794
ISBN
OCLC:633404791
The Influence of High Hydrostatic Pressure on Stru...
作者
Martin Hofmann
出版2018
ISBN
OCLC:1258964774
Semiconductor diode lasers for THz technology : [8...
作者
Martin Hofmann
出版Brill Schoningh, 2012
ISBN
3506777297 / 9783506777294
主題
Diodes, Semiconductor
Challenges in Infection Epidemiology: on the Under...
作者
Felix Martin Hofmann / Edward Olawumi / Martina Michaelis / Friedrich Hofmann / Ulrich Stößel
出版2020
ISBN
OCLC:1197379195
MechJoin-MLD
作者
Mathias Jäckel / Sam Coppieters / Martin Hofmann / Nelis Vandermeiren
出版2017
ISBN
386776512X / 9783867765121
Trustworthy Global Computing
作者
Martin Wirsing / Martin Hofmann / Axel Rauschmayer
出版Springer, 2010-09-15
ISBN
9783642156403 / 3642156401
主題
Computers
On the Verification of Local Generic Solvers
作者
Martin Hofmann / Aleksandr Karbyshev / Helmut Seidl
出版2013
ISBN
OCLC:1303073503
Update: MS-DOS 6.0
作者
Martin Hofmann
出版1993
ISBN
3806843856 / 9783806843859
An Abstract View of Objects and Subtyping
作者
Martin Hofmann / Benjamin C. Pierce / University of Edinburgh. Dept. of Computer Science. Laboratory for Foundations of Computer Science
出版1992
ISBN
OCLC:123334315
主題
Computer software
User Interface and Navigation Facilities of the Hy...
作者
Martin Hofmann
出版1991
ISBN
OCLC:180539988
Formal Development of Functional Programs in Type ...
作者
Martin Hofmann
出版1992
ISBN
OCLC:30158344
主題
Type theory
Schema-guided Inductive Functional Programming Thr...
作者
Martin Hofmann
出版2010
ISBN
OCLC:711823637
Significance of Norovirus in Occupational Health: ...
作者
Felix Martin Hofmann / Edward Olawumi / Martina Michaelis / Ulrich Stößel / Friedrich Hofmann
出版2020
ISBN
OCLC:1225630205
On Behavioural Abstraction and Behavioural Satisfa...
作者
Martin Hofmann / Donald Sannella
出版1995
ISBN
OCLC:60258143
主題
Abstract data types (Computer science)
Analysis and Improvement of Irradiance Modelling A...
作者
Martin Hofmann
出版2019
ISBN
OCLC:1137061914
Extensional Concepts in Intensional Type Theory
作者
Martin Hofmann
出版1995
ISBN
OCLC:35737538
主題
Categories (Mathematics)
Glacial History of the Upper Drac Blanc Catchment ...
作者
Felix Martin Hofmann
出版2018
ISBN
OCLC:1412012566
Was the Last Glaciation of the Black Forest (south...
作者
Felix Martin Hofmann / William McCreary / Frank Preusser
出版2020
ISBN
OCLC:1199677082
Abstraction Barriers and Refinement in the Polymor...
作者
Jo E. Hannay / Donald Sannella / Martin Hofmann
出版2001
ISBN
OCLC:827261331
Revisiting Late Pleistocene Glacier Dynamics North...
作者
Felix Martin Hofmann / Florian Rauscher / William McCreary / Jan-Paul Bischoff / Frank Preusser
出版2020
ISBN
OCLC:1196340875
Detection, Tracking and Gait-Based Identification ...
作者
Martin Hofmann
出版2013
ISBN
3843913714 / 9783843913713