Typed Lambda Calculi and Applications
67
%
752 Kč 2 285 Kč
Sleva až 70% u třetiny knih
| Autor: | Amadio, Roberto M. (Universite de Provence); Curien, Pierre-Louis (Ecole Normale Superieure, Paris) |
| Nakladatel: | Springer-Verlag GmbH |
| ISBN: | 3642022723 |
| Rok vydání: | 2009 |
| Jazyk : | Angličtina |
| Vazba: | brožovaná/paperback |
Mohlo by se vám také líbit..
-
Deep Learning for NLP and Speech Reco...
Kamath, Uday
-
Digital Da Vinci
Lee, Newton
-
Natürliche Kognition technologisch be...
Haun, Matthias
-
Orchestrating Human-Centered Design
Boy, Guy Andre (Professor Centralesupelec & Estia)
-
The Art of Artificial Evolution
Romero, Juan
-
Präsentation
Bühler, Peter
-
Software Business
Cusumano, Michael A.
-
Raspberry Pi - Das technische Handbuch
Klaus Dembowski
-
Quantencomputing kompakt
Just, Bettina
-
Einstieg in Java und OOP
Silberbauer, Christian
-
Mathematik für Informatik und Bioinfo...
Wolf, Manfred
-
Produktdesign
Bühler, Peter
-
Fundamentals of Computerized Tomography
Herman, Gabor T.
-
Robotic Process Automation
Koch, Christina
-
Internet
Bühler, Peter
-
Replication
Charron-Bost, Bernadette