Interactive Theorem Proving
67
%
606 Kč 1 839 Kč
Sleva až 70% u třetiny knih
| Autor: | Urban, Christian |
| Nakladatel: | Springer-Verlag GmbH |
| ISBN: | 3319221019 |
| Rok vydání: | 2015 |
| Jazyk : | Angličtina |
| Vazba: | Paperback / softback |
Mohlo by se vám také líbit..
-
Resilienz und Kultur
Beckers, Corinna Bettina
-
Das Internet der Dinge für Bildung nu...
Freigang, Sirkka
-
Jugendarbeit im Kontext von Jugendlic...
Stützel, Kevin
-
Der Sozialmanagement-Ansatz nach Albr...
Dierker, Thomas
-
Sprachaneignung bei Geflüchteten
Baier-Klenkert, Andreea
-
Critical Praxis Research
Kress, Tricia M.
-
Optimierung in der Adoleszenz
Busch, Katarina
-
Hunger und Soziale Arbeit
Meyer, Christine
-
Risiko und Vertrauen
Schmidt, Carla
-
Hochschulreformen, Leistungsbewertung...
Janßen, Melike
-
Schulbezogene Motivierungspraktiken v...
Steiner, Erich
-
Kommunikation zwischen Eltern und ele...
Burkhardt, Laura
-
Kinderschutzbezogene Zusammenarbeit
Fischer, Carina
-
Nature of Science
Billion-Kramer, Tim
-
Digital Learning
Möslein-Tröppner, Bodo
-
Kindheit in der Kindheitsforschung
Kluge, Markus