Formal Methods for Quantitative Aspects of Programming Languages
7
%
1789 Kč 1 924 Kč
Sleva až 70% u třetiny knih
| Autor: | Aldini, Alessandro |
| Nakladatel: | Springer-Verlag GmbH |
| ISBN: | 364213677X |
| Rok vydání: | 2010 |
| Jazyk : | Angličtina |
| Vazba: | brožovaná/paperback |
| Počet stran: | 167 |
Mohlo by se vám také líbit..
-
Deep Learning for NLP and Speech Reco...
Kamath, Uday
-
Digital Da Vinci
Lee, Newton
-
Orchestrating Human-Centered Design
Boy, Guy Andre (Professor Centralesupelec & Estia)
-
Software Business
Cusumano, Michael A.
-
The Art of Artificial Evolution
Romero, Juan
-
Algorithmics for Hard Problems
Hromkovic, Juraj
-
Replication
Charron-Bost, Bernadette
-
Präsentation
Bühler, Peter
-
Explainable and Interpretable Models ...
Escalante, Hugo Jair
-
Sicherheitskritische Mensch-Computer-...
Reuter, Christian
-
Einstieg in Java und OOP
Silberbauer, Christian
-
Roboter- und KI-Ethik
Funk, Michael
-
Bézier and Splines in Image Processin...
Biswas, Sambhunath
-
Statistisches Programmieren mit R
Obszelka, Daniel
-
Mathematik für Informatik und Bioinfo...
Wolf, Manfred
-
Developing Services for the Wireless ...
Morisio, Maurizio