資訊科學 / Computer-Science
相關書籍
-
VIP 95折
Automated Deduction - CADE-21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings (Lecture Notes in Computer Science)$2,490$2,365 -
VIP 95折
Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings (Lecture Notes in Computer Science)$2,490$2,365 -
VIP 95折
Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings (Lecture Notes in Computer Science)$4,640$4,408 -
VIP 95折
Developments in Language Theory: 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007, Proceedings (Lecture Notes in Computer Science)$2,490$2,365 -
VIP 95折
Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings (Lecture Notes in Computer Science)$2,490$2,365 -
VIP 95折
Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, ... (Lecture Notes in Computer Science)$2,490$2,365 -
VIP 95折
Petri Nets and Other Models of Concurrency - ICATPN 2007: 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ... (Lecture Notes in Computer Science$2,490$2,365 -
VIP 95折
Logic, Language, Information and Computation: 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings (Lecture Notes in Computer Science)$2,490$2,365 -
VIP 95折
Computation and Logic in the Real World: Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings (Lecture Notes in Computer Science)$4,650$4,417 -
VIP 95折
Logical Foundations of Computer Science: International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings (Lecture Notes in Computer Science)$2,530$2,403 -
VIP 95折
Finite Model Theory and Its Applications$4,250$4,037 -
18折
$399New Perspectives on Computer Concepts, Introductory, 10/e (Paperback) -
20折
Computers Are Your Future, Complete, 9/e (Paperback)$1,020$199 -
VIP 95折
Knowledge Structures for Communications in Human-Computer Systems: General Automata-Based$3,710$3,524 -
50折
$620Calculating a Natural World: Scientists, Engineers, and Computers During the Rise of U.S. Cold War Research (Hardcover) -
VIP 95折
Ethics and Technology: Ethical Issues in an Age of Information and Communication Technology, 2/e$2,230$2,118 -
50折
$1,490Computers and People : Essays from the Profession -
VIP 95折
Dark Hero of the Information Age: In Search of Norbert Wiener, the Father of Cybernetics$1,360$1,292 -
Web Technologies: A Computer Science Perspective (美國版ISBN: 0131856030)$920$901 -
VIP 95折
FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings$4,640$4,408 -
Introduction to Automata Theory, Languages, and Computation, 3/e (IE-Paperback)$1,100$1,078 -
VIP 95折
Modeling and Simulation: The Computer Science of Illusion$3,600$3,420 -
VIP 95折
Computer Concepts (Select Series)$1,130$1,073 -
VIP 95折
An Introduction to Systems Science (Hardcover)$5,540$5,263 -
VIP 95折
Information Science (Hardcover)$5,730$5,443 -
Understanding Computers: Today and Tomorrow, 11/e, Comprehensive(美國版ISBN: 1418860557)$1,020$999 -
50折
$740Aesthetic Computing -
VIP 95折
Software Abstractions: Logic, Language, and Analysis (Paperback)$1,640$1,558 -
26折
$399Computer Comcepts Basics, 3/e -
VIP 95折
Action in Perception$1,570$1,491
