Free Delivery Over $100
12721 books were found.
In the theory of automata this observation has led to the concepts of pro ducts and complete systems of automata.... Read More >>
This volume documents the proceedings of the Symposium on Polymers in Information Storage Technology held as a part... Read More >>
Read More >>
Subjects covered include visualization methods used in computational fluid dynamics research, time-to-solution aspects... Read More >>
The odyssey of a group of “refugees” from a closed-down online game and an exploration of emergent fan cultures... Read More >>
Verification can be performed in an after-the-fact manner, meaning that after a system is already designed, its... Read More >>
The main contemporary human-system interaction (H-SI) problems consist in design and/or improvement of the tools... Read More >>
From the editors of the wildly successful Beyond Calculation comes another exploration of the overwhelming impact... Read More >>
In February 1996, a chess-playing computer known as Deep Blue made history by defeating the reigning world chess... Read More >>
Archivierung bezieht sich nicht nur auf gedruckte oder elektronische Dokumente, sondern zunehmend auch auf Daten,... Read More >>
The History of the Book In August 1992 the author had the opportunity to give a course on resolution theorem proving... Read More >>
The two-volume set LNCS 6974 and LNCS 6975 constitutes the refereed proceedings of the Fourth International Conference... Read More >>
Augmented Reality (AR) refers to the merging of a live view of the physical, real world with context-sensitive,... Read More >>
The topics discussed include system design methodology, data structure theory, semantic con siderations, calculus-based... Read More >>
The book begins with a detailed discussion of two problems that have played an extremely important role in the emergence... Read More >>
Reflexive Structures: An Introduction to Computability Theory is concerned with the foundations of the theory of... Read More >>
In a more generic scope, the volume aims to encompass current trends and issues determining ICT integration in practice,... Read More >>
A unified and coherent introduction to the notion of abstraction in interactive computer graphics is provided by... Read More >>
Such systems include shared-disk parallel database systems, distributed file systems, and distributed virtual... Read More >>
Interoperability has been a requirement in NATO ever since the Alliance came into being - an obvious requirement... Read More >>
This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop on Security... Read More >>