資訊科學 / Computer-Science
相關書籍
-
VIP 95折
Temporal Logic and State Systems$3,550$3,373 -
VIP 95折
A Semantic Web Primer, 2/e (Hardcover)$1,280$1,216 -
VIP 95折
IT Essentials: PC Hardware and Software Labs and Study Guide, 3/e$1,610$1,530 -
VIP 95折
Information Science and Engineering; Proceedings; 2v$12,650$12,018 -
VIP 95折
Advanced Computer Theory and Engineering; Proceedings
$10,660$10,127 -
VIP 95折
Connections: Patterns of Discovery$3,010$2,860 -
VIP 95折
New Computational Paradigms: Changing Conceptions of What is Computable$6,780$6,441 -
VIP 95折
Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)$6,800$6,460 -
VIP 95折
Dialogic Education and Technology: Expanding the Space of Learning (Computer-Supported Collaborative Learning Series)$8,090$7,686 -
VIP 95折
Semantic Web: Grundlagen (eXamen.press)$1,870$1,777 -
VIP 95折
Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings (Lecture Notes in Computer Science)$2,410$2,290 -
VIP 95折
Computability and Logic$1,860$1,767 -
VIP 95折
Theoretical Aspects of Computing - ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings (Lecture Notes in Computer Science)$2,410$2,290 -
VIP 95折
Didaktik der Informatik: Grundlagen, Konzepte, Beispiele (eXamen.press)$2,220$2,109 -
VIP 95折
Computational Methods in Systems Biology: International Conference CMSB 2007, Edinburgh, Scotland, September 20-21, 2007, Proceedings (Lecture Notes in Computer Science)$2,410$2,290 -
VIP 95折
Computer Science Logic: 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings (Lecture Notes in Computer Science)$4,500$4,275 -
VIP 95折
Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings (Lecture Notes in Computer Science)$2,410$2,290 -
VIP 95折
Machines, Computations, and Universality: 5th International Conference, MCU 2007, Orleans, France, September 10-13, 2007, Proceedings (Lecture Notes in Computer Science)$2,410$2,290 -
VIP 95折
Frontiers of Combining Systems: 6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007. Proceedings (Lecture Notes in Computer Science)$2,410$2,290 -
VIP 95折
Reasoning Web: Third International Summer School 2007, Dresden, Germany, September 3-7, 2007, Tutorial Lectures (Lecture Notes in Computer Science)$2,600$2,470 -
VIP 95折
Computer Science - Theory and Applications: Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, ... (Lecture Notes in Computer Science)$2,410$2,290 -
VIP 95折
Computational Science and Its Applications - ICCSA 2007: International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part II ... Science) (Lecture Notes in Computer Science)$6,820$6,479 -
VIP 95折
Automata, Computability and Complexity: Theory and Applications (Hardcover)$7,170$6,812 -
VIP 95折
Unconventional Computation: 6th International Conference, UC 2007, Kingston, Canada, August 13-17, 2007, Proceedings (Lecture Notes in Computer Science)$2,410$2,290 -
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,410$2,290 -
VIP 95折
Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings (Lecture Notes in Computer Science)$2,410$2,290 -
VIP 95折
Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings (Lecture Notes in Computer Science)$4,500$4,275 -
VIP 95折
Developments in Language Theory: 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007, Proceedings (Lecture Notes in Computer Science)$2,410$2,290 -
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,410$2,290 -
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,410$2,290
