Filter by
The Trouble with Computers: Usefulness, Usability, and Productivity
A Bradford book."OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262277891
- Collation
- 1 online resource (xiii, 425 pages) :illustrations
- Series Title
- -
- Call Number
- -
Certified Programming with Dependent Types: A Pragmatic Introduction to the C…
A handbook to the Coq software for writing and checking mathematical proofs, with a practical engineering focus. The technology of mechanized program verification can play a supporting role in many kinds of research projects in computer science, and related tools for formal proof-checking are seeing increasing adoption in mathematics and engineering. This book provides an introduction to the Co…
- Edition
- -
- ISBN/ISSN
- 9780262026659
- Collation
- -
- Series Title
- -
- Call Number
- -
New directions in statistical signal processing :from systems to brain
Signal processing and neural computation have separately and significantly influenced many disciplines, but the cross-fertilization of the two fields has begun only recently. Research now shows that each has much to teach the other, as we see highly sophisticated kinds of signal processing and elaborate hierachical levels of neural computation performed side by side in the brain. In New Directi…
- Edition
- -
- ISBN/ISSN
- 9780262256315
- Collation
- 1 online resource (vi, 514 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Computers and Design in Context
The contributors to this book address both the pragmatic approach of direct collaboration between designers and users (known as participatory design) and the more conceptual approach that incorporates complementary perspectives to help designers come up with better solutions. The volume brings together different computer-related research disciplines, including computer-supported cooperative wor…
- Edition
- -
- ISBN/ISSN
- 9780262277815
- Collation
- 1 online resource (xvii, 418 pages) :illustrations
- Series Title
- -
- Call Number
- -
Talking Nets: An Oral History of Neural Networks
A Bradford book."OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262267151
- Collation
- 1 online resource (xi, 434 pages) :illustrations
- Series Title
- -
- Call Number
- -
Unsupervised learning :foundations of neural computation
A Bradford book."OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262288033
- Collation
- 1 online resource (xvi, 398 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Using MPI-2 : Advanced Features of the Message-Passing Interface
Using MPI is a completely up-to-date version of the authors' 1994 introduction to the core functions of MPI. It adds material onthe new C++ and Fortran 90 bindings for MPI throughout the book.OCLC-licensed vendor bibliographic record.
- Edition
- 2nd ed.
- ISBN/ISSN
- 9780262288040
- Collation
- 1 online resource (407 pages).
- Series Title
- -
- Call Number
- -
The Computer Revolution in Canada: Building National Technological Competence
Includes index.The forces that shaped Canada's digital innovations in the postwar period.After World War II, other major industrialized nations responded to the technological and industrial hegemony of the United States by developing their own design and manufacturing competence in digital electronic technology. In this book John Vardalas describes the quest for such competence in Canada, explo…
- Edition
- -
- ISBN/ISSN
- 9780262285469
- Collation
- 1 online resource (vi, 409 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Computers and Commerce: A Study of Technology and Management at Eckert-Mauchl…
The history of a crucial decade in the early development of digital technology, focusing on both technical and business issues at two key firms.Between 1946 and 1957 computing went from a preliminary, developmental stage to more widespread use accompanied by the beginnings of the digital computer industry. During this crucial decade, spurred by rapid technological advances, the computer enterpr…
- Edition
- -
- ISBN/ISSN
- 9780262280723
- Collation
- 1 online resource (x, 347 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