Publication year: 2007
ISBN: 978-3-540-74510-5
Internet Resource: Please Login to download book
This book covers theory track deals with algorithms, protocols, and data structures; complexity and cryptography; formal languages, automata and their applications to computer science; computational models and concepts; proof theory; and applications of logic to computer science. Many applications are presented.
Subject: Computer Science, Algorithms, Automat, Hardware, artificial intelligence, automata, complexity, computer architecture, computer science, data structure, data structures, formal language, programming, proof theory, robot, robotics