Bøger af Michael A. Arbib
-
- Bog
- 578,95 kr.
-
817,95 kr. - Bog
- 817,95 kr.
-
- Amphibians, Comparisons, Models, and Robots
2.236,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.236,95 kr.
-
1.021,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
- 1.021,95 kr.
-
- Bog
- 999,95 kr.
-
1.203,95 kr. - Bog
- 1.203,95 kr.
-
570,95 kr. The study of formal languages and of related families of automata has long been at the core of theoretical computer science.
- Bog
- 570,95 kr.
-
486,95 - 1.150,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
- 486,95 kr.
-
- Amphibians, Comparisons, Models, and Robots
2.778,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.778,95 kr.