Filter by
Algorithmic program debugging
Productively combines elements of programming languages, environments, logic, and inductive inference to produce effective debugging aids. Its use of the PROLOG language provides an efficient implementation of the debugging algorithms.OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 0262256967
- Collation
- 1 online resource (xiv, 232 pages).
- Series Title
- -
- Call Number
- -
Algebraic semantics of imperative programs
Algebraic Semantics of Imperative Programs presents a self-contained and novel "executable" introduction to formal reasoning about imperative programs. The authors' primary goal is to improve programming ability by improving intuition about what programs mean and how they run. The semantics of imperative programs is specified in a formal, implemented notation, the language OBJ; this makes the s…
- Edition
- -
- ISBN/ISSN
- 0262288451
- Collation
- 1 online resource (vii, 228 pages) :illustrations.
- Series Title
- -
- Call Number
- -
The age of electronic messages
What are the frontiers of today's communications technology? The Age of Electronic Messages explains the scientific principles on which this technology is based and explores its capabilities and limitations, its risks and benefits. In straightforward language accompanied by numerous illustrations, Truxal describes the communications technology that has become such an integral part of today's wo…
- Edition
- -
- ISBN/ISSN
- 0262257092
- Collation
- 1 online resource (xvi, 487 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Advances in the evolutionary synthesis of intelligent agents
"A Bradford book.""This book explores a central issue in artificial intelligence, cognitive science, and artificial life: how to design information structures and processes that create and adapt intelligent agents through evolution and learning." "The book is organized around four topics: the power of evolution to determine effective solutions to complex tasks, mechanisms to make evolutionary d…
- Edition
- -
- ISBN/ISSN
- 0585387168
- Collation
- 1 online resource (xxiv, 480 pages) :illustrations
- Series Title
- -
- Call Number
- -
Advanced mean field methods :theory and practice
"Bringing together ideas and techniques from diverse disciplines, this book covers the theoretical foundations of advanced mean field methods, explores the relation between the different approaches, examines the quality of the approximation obtained, and demonstrates their application to various areas of probabilistic modeling."--Jacket.OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 0585417725
- Collation
- 1 online resource (xiii, 273 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Adaptive dynamics :the theoretical analysis of behavior
In this book J.E.R. Staddon proposes an explanation of behavior that lies between cognitive psychology, which seeks to explain it in terms of mentalistic constructs, and cognitive neuroscience, which tries to explain it in terms of the brain. Staddon suggests a new way to understand the laws and causes of learning, based on the invention, comparison, testing, and modification or rejection of pa…
- Edition
- -
- ISBN/ISSN
- 9780262284189
- Collation
- 1 online resource (xiv, 423 pages) :illustrations
- Series Title
- -
- Call Number
- -
Ada, a life and a legacy
The subject of this biography "was the daughter of Lord Byron ... based on her report on Charles Babbage's Analytical Engine, she is also generally regarded as the inventor of the science of computer programming"--Page 4 of cover.OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262257039
- Collation
- 1 online resource (xix, 321 pages, 16 unnumbered pages of plates) :illustrations.
- Series Title
- -
- Call Number
- -
The act of thinking
"A Bradford book."A new theory proposes that thinking is a learned action.In this remarkable monograph, Derek Melser argues that the core assumption of both folk psychology and cognitive science--that thinking goes on in the head--is mistaken. Melser argues that thinking is not an intracranial process of any kind, mental or neural, but is rather a learned action of the person.After an introduct…
- Edition
- -
- ISBN/ISSN
- 9780262279659
- Collation
- 1 online resource (xiii, 287 pages)
- Series Title
- -
- Call Number
- -
Acoustic phonetics
Content DescriptionOCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 0585087202
- Collation
- 1 online resource (viii, 607 pages) :illustrations.
- Series Title
- -
- Call Number
- -
The Microsoft antitrust cases :competition policy for the twenty-first century
A comprehensive account of the decades-long, multiple antitrust actions against Microsoft and an assessment of the effectiveness of antitrust law in the digital age.OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262319218
- Collation
- 1 online resource
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography