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
-
RU 486 Die Abtreibungspille
Baulieu, Etienne-Emile
-
Bautechnik
Cziesielski, Erich
-
Structural Analysis with Finite Elements
Hartmann, Friedel
-
Kernfragen des Unternehmenssteuerrechts
Osterloh-Konrad, Christine
-
Medizinisch-technische Assistenz in d...
Birgit Schäfer
-
Finance - Fundamental Problems and So...
Zhang, Zhiqiang
-
Physiologie des Menschen
-
Tutorium Physik furs Nebenfach
Kommer, Christoph
-
Sozialpsychologie - Der Mensch in so...
Lioba Werth
-
Faszinierendes Gehirn
Henning Beck
-
Defending Checks and Balances in EU M...
Bogdandy, Armin von
-
Geschlechterfragen im Recht
Januszkiewicz, Magdalena
-
Das Bundesstaatsrecht der Schweiz
Zoller, Otto