Bøger af Michael A. Arbib
-
- Bog
- 558,95 kr.
-
789,95 kr. - Bog
- 789,95 kr.
-
- Amphibians, Comparisons, Models, and Robots
2.161,95 kr. By means of our present models of visuomotor coordination and its modulation by state-dependent inputs, we are just beginning to simulate and analyze how external information is represented within different brain structures and how these structures use these operations to control adaptive behavior.
- Bog
- 2.161,95 kr.
-
986,95 kr. An important approach to semantics, pioneered by Floyd, Hoare, and Wirth, is called assertion semantics: given a specification of which assertions (preconditions) on input data should guarantee that the results satisfy desired assertions (postconditions) on output data, one seeks a logical proof that the program satisfies its specification.
- Bog
- 986,95 kr.
-
- Bog
- 543,95 kr.
-
1.162,95 kr. - Bog
- 1.162,95 kr.
-
550,95 kr. The study of formal languages and of related families of automata has long been at the core of theoretical computer science.
- Bog
- 550,95 kr.
-
485,95 - 1.111,95 kr. This book presents an integrated account of how humans 'construct' reality through interaction with the social and physical world around them. It is a major expansion of the Gifford Lectures delivered by the authors at the University of Edinburgh in the autumn of 1983.
- Bog
- 485,95 kr.
-
- Amphibians, Comparisons, Models, and Robots
2.171,95 kr. By means of our present models of visuomotor coordination and its modulation by state-dependent inputs, we are just beginning to simulate and analyze how external information is represented within different brain structures and how these structures use these operations to control adaptive behavior.
- Bog
- 2.171,95 kr.