In a world permeated by technology, we sometimes struggle to keep pace with an ever-changing landscape. With historical and full-color photographs complementing documentary texts, Odysseys in Technology invites advanced readers along on a journey to experience the development of key technological innovations like never before. These titles feature a sophisticated design peppered with arresting photographs that illustrate important scientific principles, contributions of notable individuals and companies, common applications of the technology, and influential figures poised to lead the field into the future. Side panels, colored callouts, and primary-source quotations assist in making the text accessible to a wide range of learners. An in-depth survey of computer sciece, examining the past, present, and future of the technological developments, scientific principles, and innovators of the industry.
The coverage of model-checking has been substantially updated. Further exercises have been added. Internet support for the book includes worked solutions for all exercises for teachers, and model solutions to some exercises for students.
The book demystifies computation, explains its intellectual underpinnings, and covers the essential elements of programming and computational problem solving in today’s environments.
"Introduces computer programming using the Python programming language"--Provided by publisher.
This text uses the Internet as a central theme, studying its history, technology, and current use.
This book introduces the mathematics that supports advanced computer programming and the analysis of algorithms. The primary aim of its well-known authors is to provide a solid and relevant base...
This volume gives the proceedings of WG '90, the 16th in a series of workshops. The aim of the workshop series is to contribute to integration in computer science by applying graph-theoretic concepts.
This book is a concise introduction to quantum computation, developing the basic elements of this new branch of computational theory without assuming any background in physics.
Firstly, poor quality paper has been refused after reviewing course by anonymous referee experts. Secondly, periodically review meetings have been held around the reviewers about five times for exchanging reviewing suggestions.
The lab manual offers step-by-step instructions for installing Ruby and the RubyLabs gem with Windows XP, Mac OS X, and Linux. The manual includes tips for editing programs and running commands in a terminal emulator.
This book constitutes the refereed proceedings of the 28th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2002, held in Cesky Krumlov, Czech Republic in June 2002.