Browse Results

Showing 56,401 through 56,425 of 61,732 results
Title Author ISBN Copyright Features Action
Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series) 4630377 Yves Bertot Pierre Castéran 9783662079645 2004
Number Theory I: Fundamental Problems, Ideas and Theories (Encyclopaedia of Mathematical Sciences #49) 4833554 Yu. I. Manin Alexei A. Panchishkin 9783662080054 1995
Knowledge and the World: Challenges Beyond the Science Wars (The Frontiers Collection) 4738788 Martin Carrier 9783662081297 2004 Contains images
Logic and Structure (Universitext) 4803235 Dirk van Dalen 9783662084021 1980
Low Dose Exposures in the Environment: Dose-Effect Relations and Risk Evaluation (Ethics of Science and Technology Assessment #23) 4692805 C. Streffer H. Bolt D. Follesdal P. Hall J.G. Hengstler P. Jacob D Oughton K. Prieß E. Rehbinder E. Swaton 9783662084229 2004
Parsing Theory: Volume II LR(k) and LL(k) Parsing (Monographs in Theoretical Computer Science. An EATCS Series #20) 4739724 Seppo Sippu Eljas Soisalon-Soininen 9783662084243 1990
Many-Valued Logics 1: Theoretical Foundations 4623476 Leonard Bolc Piotr Borowik 9783662084946 1992
Mind, Matter, and Quantum Mechanics (The Frontiers Collection) 4829997 Henry P. Stapp 9783662087657 1993
Nonstandard Analysis, Axiomatically (Springer Monographs in Mathematics) 4784769 Vladimir Kanovei Michael Reeken 9783662089989 2004
Ω-Bibliography of Mathematical Logic: Model Theory (Perspectives in Mathematical Logic) 4678260 Gert H. Müller Wolfgang Lenski 9783662090589 1987
Supramanie: Vom Pflichtmenschen zum Score-Man 2698288 Gunter Dueck 9783662101520 2004
The Invisible Hand and the Common Good (Ethical Economy) 4828822 Bernard Hodgson 9783662103470 2004
The Parametric Lambda Calculus: A Metamodel for Computation (Texts in Theoretical Computer Science. An EATCS Series) 4631123 Simona Ronchi Della Rocca Luca Paolini 9783662103944 2004
Theoretische Informatik: Petri-Netze (Springer-Lehrbuch) 4795059 Lutz Priese Harro Wimmel 9783662104279 2003
Theoretische Informatik: Eine umfassende Einführung (Springer-Lehrbuch) 4714430 Katrin Erk Lutz Priese 9783662104286 2002
Theoretische Informatik: Eine umfassende Einführung (Springer-Lehrbuch) 4610274 Katrin Erk Lutz Priese 9783662104293 2000
Time, Quantum and Information 4779974 Lutz Castell Otfried Ischebeck 9783662105573 2003
Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series) 4624897 Klaus Schneider 9783662107782 2004
Wege der Wissenschaft: Einführung in die Wissenschaftstheorie 4744848 Alan F. Chalmers 9783662108796 2001
Wege der Wissenschaft: Einführung in die Wissenschaftstheorie 4642534 A.F. Chalmers 9783662108802 1999
Wege der Wissenschaft: Einführung in die Wissenschaftstheorie 4696169 Alan F. Chalmers 9783662108833 1986
Grundzüge der theoretischen Logik (Grundlehren der mathematischen Wissenschaften #27) 4800136 David Hilbert Wilhelm Ackermann 9783662119327 1972
Speech Technology at Work 4768456 Jack Hollingum Graham Cassford 9783662130124 1988
The Development of Prime Number Theory: From Euclid to Hardy and Littlewood (Springer Monographs in Mathematics) 4712888 Wladyslaw Narkiewicz 9783662131572 2000
Thinking in Complexity: The Complex Dynamics of Matter, Mind, and Mankind 4755797 Klaus Mainzer 9783662132142 1997

Refine Search

Showing 56,401 through 56,425 of 61,732 results