Browse by Subject
- Artificial Intelligence and Machine Learning
- Assistive, Rehabilitative, and Health-Preserving Technologies
- Computer Architecture
- Computer Science
- Computer Vision
- Data Management
- Data Mining and Knowledge Discovery
- Data, Semantics, and Knowledge
- Distributed Computing Theory
- Emerging Trends in Librarianship
- Engineering, Science & Technology
- Games and Computational Intelligence
- Human Language Technologies
- Human-Centered Informatics
- Image, Video, and Multimedia Processing
- Information Concepts, Retrieval, and Services
- Information Security, Privacy, and Trust
- Learning, Networks, and Algorithms
- Mathematics and Statistics
- Mobile and Pervasive Computing
- Network Systems
- Professionalism and Career Advancement for Scientists and Engineers
- Quantum Computing
- Software Engineering
- Technology, Management, and Entrepreneurship
- Visual Computing: Computer Graphics, Animation, Computational Photography & Imaging
- Visualization
- Advances in Automotive Technology
- Algorithms and Software in Engineering
- Antennas
- Biomedical Engineering
- Biotechnology
- Case Studies in Engineering
- Chemical Engineering and Biochemical Engineering
- Communication Networks
- Communications
- Computation and Analytics
- Computational Electromagnetics
- Control and Mechatronics
- Digital Circuits and Systems
- Electrical Engineering
- Electromagnetics
- Emerging Engineering Technologies
- Engineering, Science & Technology
- Engineers, Technology, and Society
- Global Engineering
- Image, Video, and Multimedia Processing
- Materials and Optics
- Mathematics and Statistics
- Mechanical Engineering
- Nuclear Technology and Society
- Ocean Systems Engineering
- Power Electronics
- Professionalism and Career Advancement for Scientists and Engineers
- Renewable Energy Technologies
- RF/Microwaves
- Signal Processing
- Solid State Materials and Devices
- Speech and Audio Processing
- Sustainable Development
- Synthetic Biology
- Tissue Engineering
- Wave Phenomena in the Physical Sciences
- Applied and Industrial Physics
- Applied Mechanics and Fluid Dynamics
- Astronomy and Astrophysics
- Atomic and Molecular Physics
- Biophysics
- Chemical Physics
- Computational Physics
- Condensed Matter and Materials Science
- Electromagnetics
- Electronic Materials and Devices
- Energy and Environmental Physics
- General and Introductory Physics
- Geophysics
- History of Physics
- Lasers, Optics and Photonics
- Mathematical Physics
- Medical Physics
- Nonlinear Physics
- Nuclear Physics
- Particle/High Energy Physics
- Popular Interest
- Plasma Physics
- Quantum Physics
- Sensor Science and Technology
- Statistical Physics and Thermodynamics
- Tools and Methods
- Waves and Wave Phenomena
Computer Science
This series covers general computer science topics that may appeal to researchers and practitioners in a variety of areas within computer science.
Series ISSN: 1932-1228 (print) 1932-1686 (electronic)
 | Principles of Blockchain Systems Antonio Fernández Anta , Chryssis Georgiou, Maurice Herlihy, Maria Potop-Butucaru This book is the first to present the state of the art and provide technical focus on the latest advances in the foundations of blockchain systems. It is a collaborative work between specialists in cryptography, distributed systems, formal languages,… Publication Date: August, 2021 Read More |
 | Automated Verification of Concurrent Search Structures Siddharth Krishna, Nisarg Patel, Dennis Shasha, Thomas Wies Search structures support the fundamental data storage primitives on key-value pairs: insert a pair, delete by key, search by key, and update the value associated with a key. Concurrent search structures are parallel algorithms to speed access to sea… Publication Date: June, 2021 Read More |
 | Creating Autonomous Vehicle Systems, Second Edition Shaoshan Liu, Liyun Li, Jie Tang, Shuang Wu, Jean-Luc Gaudiot This is one of the first technical overviews of autonomous vehicles written for a general computing and engineering audience. Students will find a comprehensive overview of the entire autonomous technology stack and practitioners will fin… |
 | Blockchain Platforms Stijn Van Hijfte This book introduces all the technical features that make up blockchain technology today. It starts with a thorough explanation of all technological concepts necessary to understand any discussions related to distributed ledgers and a short history o… Publication Date: July, 2020 Read More |
 | Code Nation Michael J. Halvorson Code Nation explores the rise of software development as a social, cultural, and technical phenomenon in American history. The movement germinated in government and university labs during the 1950s, gained momentum through cor… Publication Date: May, 2020 Read More |
 | Computing and the National Science Foundation, 1950-2016 Peter A. Freeman, W. Richards Adrion, William Aspray This organizational history relates the role of the National Science Foundation (NSF) in the development of modern computing. Drawing upon new and existing oral histories, extensive use of NSF documents, and the experience of two of the authors as se… Publication Date: November, 2019 Read More |
 | Concurrency: The Works of Leslie Lamport Dahlia Malkhi This book is a celebration of Leslie Lamport’s work on concurrency, interwoven in four-and-a-half decades of an evolving industry: from the introduction of the first personal computer to an era when parallel and distributed multiprocessors are abunda… Publication Date: October, 2019 Read More |
 | Analytical Performance Modeling for Computer Systems, Third Edition Y.C. Tay This book is an introduction to analytical performance modeling for computer systems, i.e., writing equations to describe their performance behavior. It is accessible to readers who have taken college-level courses in calculus and probability, networ… Publication Date: July, 2018 Read More |
 | Communities of Computing Thomas J. Misa Communities of Computing is the first book-length history of the Association for Computing Machinery (ACM), founded in 1947 and with a membership today of 100,000 worldwide. It profiles ACM’s notable SIGs, active chapters, and individual membe… Publication Date: November, 2016 Read More |
 | Introduction to Logic, Third Edition Michael Genesereth, Eric J. Kao This book is a gentle but rigorous introduction to Formal Logic. It is intended primarily for use at the college level. However, it can also be used for advanced secondary school students, and it can be used at the start of graduate school for those … Publication Date: November, 2016 Read More |
 | Verified Functional Programming in Agda Aaron Stump Agda is an advanced programming language based on Type Theory. Agda’s type system is expressive enough to support full functional verification of programs, in two styles. In external verification, we write pure functional programs and then write pro… Publication Date: March, 2016 Read More |
 | Ada’s Legacy Robin Hammerman, Andrew L. Russell Ada’s Legacy illustrates the depth and diversity of writers, thinkers, and makers who have been inspired by Ada Lovelace, the English mathematician and writer. The volume, which commemorates the bicentennial of Ada’s birth in December 1815, c… Publication Date: October, 2015 Read More |
 | Edmund Berkeley and the Social Responsibility of Computer Professionals Bernadette Longo This book is the first full-length biography of Edmund Berkeley, a computer pioneer and social activist who has been called “the conscience of the computer industry.” Through his work with other early computer developers, he became aware of the pote… Publication Date: September, 2015 Read More |
 | Smarter Than Their Machines John Cullinane Smarter Than Their Machines: Oral Histories of the Pioneers of Interactive Computing is based on oral histories archived at the Charles Babbage Institute, University of Minnesota. Included are the oral histories of some key pioneers of the com… Publication Date: 11/01/2014 Read More |
 | A Framework for Scientific Discovery through Video Games Seth Cooper As science becomes increasingly computational, the limits of what is computationally tractable become a barrier to scientific progress. Many scientific problems, however, are amenable to human problem solving skills that complement computational powe… Publication Date: 06/01/2014 Read More |
 | The Shortest-Path Problem Hector Ortega-Arranz, Diego R. Llanos, Arturo Gonzalez-Escribano Many applications in different domains need to calculate the shortest-path between two points in a graph. In this book we describe this shortest path problem in detail, starting with the classic Dijkstra’s algorithm and moving to more advanced soluti… Publication Date: 12/01/2014 Read More |
 | Storing Clocked Programs Inside DNA Jessica Chang, Dennis Shasha In the history of modern computation, large mechanical calculators preceded computers. A person would sit there punching keys according to a procedure and a number would eventually appear. Once calculators became fast enough, it became obvious that t… Publication Date: 01/01/2011 Read More |
 | Science Fiction Prototyping Brian David Johnson Science fiction is the playground of the imagination. If you are interested in science or fascinated with the future then science fiction is where you explore new ideas and let your dreams and nightmares duke it out on the safety of the page or scree… Publication Date: 01/01/2011 Read More |
Result Pages: 1
Displaying 1 to 18 (of 18 products)
