Filter by
Dynamic logic
Among the many approaches to formal reasoning about programs, Dynamic Logic enjoys the singular advantage of being strongly related to classical logic. Its variants constitute natural generalizations and extensions of classical formalisms. For example, Propositional Dynamic Logic (PDL) can be described as a blend of three complementary classical ingredients: propositional calculus, modal logic,…
- Edition
- -
- ISBN/ISSN
- 9780262274951
- Collation
- 1 online resource (xv, 459 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Finite State Machines in Hardware: Theory and Design (with VHDL and SystemVer…
Modern, complex digital systems invariably include hardware-implemented finite state machines. The correct design of such parts is crucial for attaining proper system performance. This book offers detailed, comprehensive coverage of the theory and design for any category of hardware-implemented finite state machines. It describes crucial design problems that lead to incorrect or far from optima…
- Edition
- -
- ISBN/ISSN
- 9780262319096
- Collation
- 1 online resource (x, 337 pages) :illustrations
- Series Title
- -
- Call Number
- -
Analyzing Neural Time Series Data: Theory and Practice
"This book offers a comprehensive guide to the theory and practice of analyzing electrical brain signals. It explains the conceptual, mathematical, and implementational (via Matlab programming) aspects of time-, time-frequency- and synchronization-based analyses of magnetoencephalography (MEG), electroencephalography (EEG), and local field potential (LFP) recordings from humans and nonhuman ani…
- Edition
- -
- ISBN/ISSN
- 9780262319553
- Collation
- 1 online resource (xviii, 578 pages, 16 unnumbered pages of plates) :illustrations.
- Series Title
- -
- Call Number
- -
The Software Arts
An alternative history of software that places the liberal arts at the very center of software's evolution. In The Software Arts, Warren Sack offers an alternative history of computing that places the arts at the very center of software's evolution. Tracing the origins of software to eighteenth-century French encyclopedists' step-by-step descriptions of how things were made in the workshops of …
- Edition
- -
- ISBN/ISSN
- 9780262352369
- Collation
- 1 online resource (400 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Programming Models for Parallel Computing
"With the coming of the parallel computing era, computer scientists have turned their attention to designing programming models that are suited for high-performance parallel computing and supercomputing systems. Programming parallel systems is complicated by the fact that multiple processing units are simultaneously computing and moving data. This book offers an overview of some of the most pro…
- Edition
- -
- ISBN/ISSN
- 0262528819
- Collation
- 1 online resource.
- Series Title
- -
- Call Number
- -
A Prehistory of the Cloud
We may imagine the digital cloud as placeless, mute, ethereal, and unmediated. Yet the reality of the cloud is embodied in thousands of massive data centers, any one of which can use as much electricity as a midsized town. Even all these data centers are only one small part of the cloud. Behind that cloud-shaped icon on our screens is a whole universe of technologies and cultural norms, all wor…
- Edition
- -
- ISBN/ISSN
- 0262330091
- Collation
- 1 online resource (232 pages)
- Series Title
- -
- Call Number
- -
Electric Words: Dictionaries, Computers, and Meanings
"A Bradford book."The use of computers to understand words continues to be an area of burgeoning research. Electric Words is the first general survey of and introduction to the entire range of work in lexical linguistics and corpora -- the study of such on-line resources as dictionaries and other texts -- in the broader fields of natural-language processing and artificial intelligence. The auth…
- Edition
- -
- ISBN/ISSN
- 9780262286244
- Collation
- 1 online resource (viii, 289 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Elements of Artificial Neural Networks
"A Bradford book."OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262279628
- Collation
- 1 online resource (xiv, 344 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Embodied Conversational Agents
OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262270038
- Collation
- 1 online resource (430 pages) :illustrations
- Series Title
- -
- Call Number
- -
Enabling Technologies for Petaflops Computing
Building a computer ten times more powerful than all the networked computing capability in the United States is the subject of this book by leading figures in the high performance computing community. It summarizes the near-term initiatives, including the technical and policy agendas for what could be a twenty-year effort to build a petaFLOP scale computer. (A FLOP -- Floating Point OPeration -…
- Edition
- -
- ISBN/ISSN
- 9780262287074
- Collation
- 1 online resource (x, 178, [1] pages) :illustrations.
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography