|  | | | | | | Bild | | | | Bestellen | | | |
Abductive Cognition (1 Angebot) Theoretical and Manipulative Abduction.- Non-explanatory and Instrumental Abduction.- Semiotic Brains and Artificial Minds.- Neuro-multimodal Abduction.- Animal Abduction.- Abduction, Affordances, ... |
Springer Verlag 9783642260827 |
€ 149,99*
pro Stück |
| |
Abenteuer Informatik (1 Angebot) Das Buch ist für alle da, die schon immer mal hinter die Kulissen der Wissenschaft Informatik schauen wollten: Vom Schüler zum Lehrer, vom Studenten zum Professor, vom interessierten Laien zum IT-E... |
Springer Verlag 9783662637388 |
€ 30,83*
pro Stück |
| |
|
Springer Verlag 9783540682233 |
€ 53,26*
pro Stück |
| |
Abstract Compositional Analysis of Iterated Relations (1 Angebot) Prologue: Aims, Themes, and Motivations.- Prologue: Aims, Themes, and Motivations.- Mathematical Framework: Iterated Relations and Composition.- Dynamics of Relations.- Dynamics of Composed Relatio... |
Springer Verlag 9783540655060 |
€ 49,99*
pro Stück |
| |
Abstract Software Specifications (1 Angebot) Abstract Architecture.- Foundations of denotational semantics.- Models of programming language concepts.- Formalization of data base models.- Experiments in block-structured GOTO language modeling:... |
Springer Verlag 9783540100072 |
€ 39,99*
pro Stück |
| |
Abstract State Machines (1 Angebot) 1 Introduction.- 1.1 Goals of the Book and Contours of its Method.- 1.2 Synopsis of the Book.- 2 ASM Design and Analysis Method.- 2.1 Principles of Hierarchical System Design.- 2.2 Working Definiti... |
Springer Verlag 9783642621161 |
€ 49,99*
pro Stück |
| |
Abstract State Machines - Theory and Applications (1 Angebot) The ASM 2000 workshop was held in the conference center of the Swiss Federal Institute of Technology (ETH) at Monte Verit a, Canton Ticino, March 19-24, 2000. The ASM formalism was proposed togethe... |
Springer Verlag 9783540679592 |
€ 49,99*
pro Stück |
| |
|
Springer Verlag 9783540006244 |
€ 49,99*
pro Stück |
| |
|
Springer Verlag 9783540220947 |
€ 49,99*
pro Stück |
| |
Abstract State Machines, Alloy, B and Z (1 Angebot) Invited Talks.- A Structure for Dependability Arguments.- Formal Probabilistic Analysis: A Higher-Order Logic Based Approach.- ASM Papers.- Synchronous Message Passing and Semaphores: An Equivalenc... |
Springer Verlag 9783642118104 |
€ 49,99*
pro Stück |
| |
Abstract State Machines, Alloy, B, TLA, VDM, and Z (1 Angebot) 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings |
Springer Verlag 9783319335995 |
€ 49,99*
pro Stück |
| |
Abstract State Machines, Alloy, B, TLA, VDM, and Z (1 Angebot) 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings |
Springer Verlag 9783319912707 |
€ 49,99*
pro Stück |
| |
Abstract State Machines, Alloy, B, TLA, VDM, and Z (1 Angebot) This book constitutes the thoroughly refereed proceedings of the 4th International Conference on Abstract State Machines, B, TLA, VDM and Z, which took place in Toulouse, France, in June 2014. The ... |
Springer Verlag 9783662436516 |
€ 49,99*
pro Stück |
| |
Abstract State Machines, Alloy, B, VDM, and Z (1 Angebot) This book constitutes the proceedings of the Third International Conference on Abstract State Machines, B, VDM, and Z, which took place in Pisa, Italy, in June 2012. The 20 full papers presented to... |
Springer Verlag 9783642308840 |
€ 49,99*
pro Stück |
| |
Abstract State Machines, B and Z (1 Angebot) This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ABZ 2008, held in London, UK, in September 2008. The conference simultaneou... |
Springer Verlag 9783540876021 |
€ 49,99*
pro Stück |
| |
|
