All About Maude - A High-Performance Logical Framework
67
%
708 Kč 2 151 Kč
Sleva až 70% u třetiny knih
| Autor: | Clavel, Manuel |
| Nakladatel: | Springer-Verlag GmbH |
| ISBN: | 3540719407 |
| Rok vydání: | 2007 |
| Jazyk : | Angličtina |
| Vazba: | Paperback / softback |
Mohlo by se vám také líbit..
-
Personale Medizin
Gerhard Danzer
-
Theoretische Mechanik
Ilk, Karl Heinz
-
Betätigungsorientierte Ergotherapie b...
Orellana, Amy
-
Technische Transport- und Lagerlogistik
Martin, Heinrich
-
Einführung in die Ölhydraulik
Matthies, Hans J.
-
Produktdesign
Bühler, Peter
-
Difficulty in Poetry
Castiglione, Davide
-
Computer Aided Verification
Gopalakrishnan, Ganesh
-
Methoden der Mikrobiologie
Brandis-Heep, Astrid
-
Actuarial Sciences and Quantitative F...
Londoño, Jaime A.
-
Faszination Meeresforschung
Hempel, Gotthilf
-
Geographie
Gebhardt, Hans
-
Cytotoxic T-Cells
Ranieri, Elena
-
Correlated Random Systems - Five Diff...
Gayrard, Véronique
-
Kulturgeschichte der europäischen Musik
Gruber, Gernot
-
Orchestrating Human-Centered Design
Boy, Guy Andre (Professor Centralesupelec & Estia)