Filter by
Pulsed neural networks
"A Bradford book."Presents a spectrum of current research in pulsed neural networks and includes work from some of the key scientists in the field.OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262278768
- Collation
- 1 online resource (xxix, 377 pages) :illustrations
- Series Title
- -
- Call Number
- -
Proof, language, and interaction :essays in honour of Robin Milner
This collection of original essays reflects the breadth of current research in computer science.This collection of original essays reflects the breadth of current research in computer science. Robin Milner, a major figure in the field, has made many fundamental contributions, particularly in theoretical computer science, the theory of programming languages, and functional programming languages.…
- Edition
- -
- ISBN/ISSN
- 0585388903
- Collation
- 1 online resource (xiv, 722 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Programming with constraints :an introduction
The job of the constraint programmer is to use mathematical constraints to model real world constraints and objects. In this book, Kim Marriott and Peter Stuckey provide the first comprehensive introduction to the discipline of constraint programming and, in particular, constraint logic programming. The book covers the necessary background material from artificial intelligence, logic programmin…
- Edition
- -
- ISBN/ISSN
- 0262279169
- Collation
- 1 online resource (488 pages).
- Series Title
- -
- Call Number
- -
Self-stabilization
OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 058523986X
- Collation
- 1 online resource (197 pages) :illustrations
- Series Title
- -
- Call Number
- -
Scalable input/output :achieving system balance
As we enter the "decade of data," the disparity between the vast amount of data storage capacity (measurable in terabytes and petabytes) and the bandwidth available for accessing it has created an input/output bottleneck that is proving to be a major constraint on the effective use of scientific data for research. Scalable Input/Output is a summary of the major research results of the Scalable …
- Edition
- -
- ISBN/ISSN
- 9780262287869
- Collation
- 1 online resource (xv, 274 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Rethinking public key infrastructures and digital certificates :building in p…
Title from title screen.Includes index.Stefan Brands proposes cryptographic building blocks for the design of digital certificates that preserve privacy without sacrificing security.As paper-based communication and transaction mechanisms are replaced by automated ones, traditional forms of security such as photographs and handwritten signatures are becoming outdated. Most security experts belie…
- Edition
- -
- ISBN/ISSN
- 9780262269131
- Collation
- 1 online resource (xxi, 314 pages)
- Series Title
- -
- Call Number
- -
Research directions in concurrent object-oriented programming
This collection of original research provides a comprehensive survey of developments at the leading edge of concurrent object-oriented programming. It documents progress -- from general concepts to specific descriptions -- in programming language design, semantic tools, systems, architectures, and applications. Chapters are written at a tutorial level and are accessible to a wide audience, incl…
- Edition
- -
- ISBN/ISSN
- 0262297000
- Collation
- 1 online resource (xii, 532 pages) :illustrations
- Series Title
- -
- Call Number
- -
WALCOM: Algorithms and Computation 9th International Workshop, WALCOM 2015, …
This book constitutes the thoroughly refereed conference proceedings of the 9th International Workshop on Algorithms and Computation, WALCOM 2015, held in Dhaka, Bangladesh, in February 2015. The 26 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 85 submissions. The papers are organized in topical sections on approximation algorithms, data s…
- Edition
- -
- ISBN/ISSN
- 978-3-319-15612-5
- Collation
- -
- Series Title
- -
- Call Number
- -
Progress in Automation, Robotics and Measuring Techniques; Volume 2. Robotics
* Penelitian terbaru dalam otomasi, robotika, dan teknik pengukuran. * Hasil International Conference Automation 2015 yang diselenggarakan 18-20 Maret 2015 di Warsawa, Polandia. * Berfokus pada aplikasi industri otomatisasi, robotisasi, dan pemantauan. ;;; Kemajuan dalam otomatisasi, robotika, dan teknik pengukuran telah berperan penting dalam membentuk berbagai bidang, termasuk robotika. Berik…
- Edition
- 351
- ISBN/ISSN
- 978-3-319-15847-1
- Collation
- -
- Series Title
- Sistem Cerdas dan Komputasi
- Call Number
- 629.892 SZE p
Progress in Automation, Robotics and Measuring Techniques; Volume 3. Measurin…
* Penelitian terbaru dalam otomasi, robotika, dan teknik pengukuran. * Hasil International Conference Automation 2015 yang diselenggarakan 18-20 Maret 2015 di Warsawa, Polandia. * Berfokus pada aplikasi industri otomatisasi, robotisasi, dan pemantauan. ;;; Bagian ini menekankan peran penting dari kontrol, otomatisasi, robotika, dan teknik pengukuran dalam pengembangan industri, terutama dalam k…
- Edition
- 352
- ISBN/ISSN
- 978-3-319-15835-8
- Collation
- -
- Series Title
- Sistem Cerdas dan Komputasi
- Call Number
- 629.892 SZE p
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography