Interactive Theorem Proving
67
%
605 Kč 1 837 Kč
Sleva až 70% u třetiny knih
| Autor: | Blazy, Sandrine |
| Nakladatel: | Springer Berlin Heidelberg |
| ISBN: | 364239633X |
| Rok vydání: | 2013 |
| Jazyk : | Angličtina |
| Vazba: | brožovaná/paperback |
| Počet stran: | 512 |
Mohlo by se vám také líbit..
-
Kompatibilitätsverfahren für Profinet...
Schriegel, Sebastian
-
Model-Driven Engineering Languages an...
Clarke, Peter
-
On the Move to Meaningful Internet Sy...
Demey, Yan Tang
-
Sozialpsychologie - Der Mensch in so...
Lioba Werth
-
Faszinierendes Gehirn
Henning Beck
-
RU 486 Die Abtreibungspille
Baulieu, Etienne-Emile
-
Bautechnik
Cziesielski, Erich
-
Structural Analysis with Finite Elements
Hartmann, Friedel
-
The Glaucomas
Sampaolesi, Juan Roberto
-
Theorie der Eröffnungen der 807 Parti...
Zukertort, Johannes H.
-
Das Bundesstaatsrecht der Schweiz
Zoller, Otto
-
Mathematics for Physicists and Engineers
Grosjean, Jean
-
Physiologie des Menschen
-
Kernfragen des Unternehmenssteuerrechts
Osterloh-Konrad, Christine
-
Medizinisch-technische Assistenz in d...
Birgit Schäfer
-
Defending Checks and Balances in EU M...
Bogdandy, Armin von