資訊科學 / Computer-Science
相關書籍
-
Theoretical Aspects of Computing - ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings (Lecture Notes in Computer Science)$2,430$2,381 -
Didaktik der Informatik: Grundlagen, Konzepte, Beispiele (eXamen.press)$2,230$2,185 -
Computational Methods in Systems Biology: International Conference CMSB 2007, Edinburgh, Scotland, September 20-21, 2007, Proceedings (Lecture Notes in Computer Science)$2,430$2,381 -
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,530$4,439 -
Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings (Lecture Notes in Computer Science)$2,430$2,381 -
Machines, Computations, and Universality: 5th International Conference, MCU 2007, Orleans, France, September 10-13, 2007, Proceedings (Lecture Notes in Computer Science)$2,430$2,381 -
Frontiers of Combining Systems: 6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007. Proceedings (Lecture Notes in Computer Science)$2,430$2,381 -
Reasoning Web: Third International Summer School 2007, Dresden, Germany, September 3-7, 2007, Tutorial Lectures (Lecture Notes in Computer Science)$2,610$2,558 -
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,430$2,381 -
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,860$6,723 -
VIP 95折
Automata, Computability and Complexity: Theory and Applications (Hardcover)$7,210$6,850 -
Unconventional Computation: 6th International Conference, UC 2007, Kingston, Canada, August 13-17, 2007, Proceedings (Lecture Notes in Computer Science)$2,430$2,381 -
Automated Deduction - CADE-21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings (Lecture Notes in Computer Science)$2,430$2,381 -
Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings (Lecture Notes in Computer Science)$2,430$2,381 -
Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings (Lecture Notes in Computer Science)$4,530$4,439 -
Developments in Language Theory: 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007, Proceedings (Lecture Notes in Computer Science)$2,430$2,381 -
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,430$2,381 -
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,430$2,381 -
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,430$2,381 -
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,430$2,381 -
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,540$4,449 -
Logical Foundations of Computer Science: International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings (Lecture Notes in Computer Science)$2,470$2,421 -
Finite Model Theory and Its Applications$4,150$4,067 -
18折
$399New Perspectives on Computer Concepts, Introductory, 10/e (Paperback) -
計算機概論 (Anderson: Connecting with Computer Science)$740$725 -
Knowledge Structures for Communications in Human-Computer Systems: General Automata-Based$3,620$3,548 -
計算機概論 (Norton's: Introduction to Computers, 6/e)$740$725 -
$1,240Calculating 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,180$2,071 -
50折
$1,490Computers and People : Essays from the Profession
