|
|
|
|
Software Abstractions: Logic, Language, and Analysis
As a programmer working for Logica UK in London in the mid-1980’s, I became a passionate advocate of formal methods. Extrapolating from small successes with VDM and JSP, I was sure that widespread use of formal methods would bring an end to the software crisis.
One approach especially intrigued me. John Guttag and Jim... | | Boatowner's Illustrated Electrical HandbookKeep your boat's electrical systems running and reliable.
Boatowner's Illustrated Electrical Handbook is perfect for learning how your boat's electrical system and much of its equipment works, and it will be an invaluable guide when adding equipment as well. This book needs to be in every boater's library as a ready... | | Conceptual Spaces: The Geometry of Thought"This is a fearless book that casts a wide net around key issues in cognitive science. It offers the kind of coherent, unified view that the field badly needs." - Steven Sloman, Associate Professor, Cognitive and Linguistic Sciences, Brown University"
Within cognitive science, two approaches currently dominate... |
|
|
|
|
|
Result Page: 36 35 34 33 32 31 30 29 28 27 26 25 24 23 22 21 |