Rewriting and Typed Lambda Calculi
67
%
645 Kč 1 959 Kč
Sleva až 70% u třetiny knih
| Autor: | Dowek, Gilles |
| Nakladatel: | Springer-Verlag GmbH |
| ISBN: | 331908917X |
| Rok vydání: | 2014 |
| Jazyk : | Angličtina |
| Vazba: | brožovaná/paperback |
Mohlo by se vám také líbit..
-
Einstieg in Java und OOP
Silberbauer, Christian
-
Statistisches Programmieren mit R
Obszelka, Daniel
-
Developing Services for the Wireless ...
Morisio, Maurizio
-
Funktionale Programmierung
Pepper, Peter
-
Data Structures and Algorithms with S...
Upadhyaya, Bhim P.
-
Produktdesign
Bühler, Peter
-
Kommentar zur VOB/C
Bielefeld, Bert
-
Methoden der Mikrobiologie
Brandis-Heep, Astrid
-
Gentechnik bei Pflanzen
Kempken, Frank
-
Faszination Meeresforschung
Hempel, Gotthilf
-
Geographie
Gebhardt, Hans
-
Orchestrating Human-Centered Design
Boy, Guy Andre (Professor Centralesupelec & Estia)
-
High-Performance Energy-Efficient Mic...
Oklobdzija, Vojin G.
-
Sustainable Fashion: Consumer Awarene...
Muthu, Subramanian Senthilkannan
-
Digital Da Vinci
Lee, Newton
-
Costs of Ammonia Abatement and the Cl...
Reis, Stefan