Yazar
Martin Hofmann
30 cilt bulundu.
Martin Hofmann · Springer
216 sayfa · 1997
Automatic theorem proving / Functional programming (computer science) / Logic, symbolic and mathematical
Roseanne Salvatore Hofmann, Walter R. Hunter, Susan K. Yankosky, Marvin L. Bittinger · Pearson Custom Publishing
Sayfa sayısı yok · 2007
Kategori yok
Martin Hofmann · Springer Berlin Heidelberg
492 sayfa · 2011
Logic design / Computer science / Software engineering / System analysis / Programming Languages, Compilers, Interpreters
Martin Hofmann · Pro Universitate Verlag
93 sayfa · 1997
Aesthetics, Modern / Authors, German / Biography / German Authors / Modern Aesthetics
Martin Hofmann · Springer
214 sayfa · 1997
Type theory / Functional programming (Computer science) / Automatic theorem proving
Martin Hofmann · Yayınevi bilinmiyor
328 sayfa · 1955
Accident Insurance / Accidents / Distribution (Probability theory) / Insurance, Accident / Statistics
Martin Ludwig Hofmann · Hänsel-Hohenhausen
147 sayfa · 2000
Architecture / Architecture, Modern / Human factors / Modern Architecture
Carmen Hofmann, Martin L. Müller · Taylor & Francis Group
Sayfa sayısı yok · 2016
Financial institutions / Banks and banking, europe / History / Banks and banking / Institutions financières
Martin Ludwig Hofmann · Wilhelm Fink
242 sayfa · 2012
Architecture and society / Architecture / Social aspects / Human factors / Intelligent buildings