| | | | | |
| Bild | | | | Bestellen |
|
|
93% |
|
|
Springer Verlag 9783030975623 |
€ 129,99* pro Stück |
|
93% |
|
|
|
ab € 95,43* pro Stück |
|
93% |
|
Isabelle (1 Angebot) As a generic theorem prover, Isabelle supports a variety of logics. Distinctive features include Isabelle's representation of logics within a meta-logic and the use of higher-order unification to c... |
Springer Verlag 9783540582441 |
€ 49,99* pro Stück |
|
93% |
|
|
|
ab € 134,49* pro Stück |
|
93% |
|
Neurocontrol (1 Angebot) Basic considerations.- Microintelligence.- Macrointelligence. |
Springer Verlag 9783540550570 |
€ 49,99* pro Stück |
|
93% |
|
|
|
ab € 149,34* pro Stück |
|
93% |
|
|
Springer Verlag 9783319112299 |
€ 49,99* pro Stück |
|
93% |
|
|
|
ab € 172,08* pro Stück |
|
93% |
|
|
Springer Verlag 9783319878492 |
€ 169,99* pro Stück |
|
93% |
|
|
|
ab € 20,70* pro Stück |
|
93% |
|
Resource-Adaptive Cognitive Processes (1 Angebot) Resource-Adaptive Cognitive Processes.- I - Resource-Bounded Cognitive Processes in Human Information Processing.- Visuo-spatialWorking Memory as a Limited Resource of Cognitive Processing.- From R... |
Springer Verlag 9783540894070 |
€ 149,99* pro Stück |
|
93% |
|
Integrated Model of Distributed Systems (1 Angebot) In modern distributed systems, such as the Internet of Things or cloud computing, verifying their correctness is an essential aspect. This requires modeling approaches that reflect the natural char... |
Springer Verlag 9783030128340 |
€ 99,99* pro Stück |
|
93% |
|
|
Springer Verlag 9783319097428 |
€ 99,99* pro Stück |
|
93% |
|
|
Springer Verlag 9783030225513 |
€ 149,99* pro Stück |
|
93% |
|
KI-96: Advances in Artificial Intelligence (1 Angebot) This book constitutes the refereed proceedings of the 20th Annual German Conference on Artificial Intelligence, KI-96, held in Dresden, Germany, in September 1996. The book presents three invited p... |
Springer Verlag 9783540617082 |
€ 49,99* pro Stück |
|
|