資訊科學 / Computer-Science
相關書籍
-
VIP 95折
Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science$2,680$2,546 -
VIP 95折
Design and Implementation of Symbolic Computation Systems: International Symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993. Proceedings (Lecture Notes in Computer Science)$2,460$2,337 -
VIP 95折
Computational Logic and Proof Theory: Third Kurt G?del Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings (Lecture Notes in Computer Science)$2,460$2,337 -
VIP 95折
The New Turing Omnibus: Sixty-Six Excursions in Computer Science$1,550$1,473 -
VIP 95折
FME '93: Industrial-Strength Formal Methods: First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993. Proceedings (Lecture Notes in Computer Science)$4,590$4,361 -
VIP 95折
Nonmonotonic and Inductive Logic: Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991. Proceedings (Lecture Notes in Computer Science)$2,460$2,337 -
VIP 95折
Future Tendencies in Computer Science, Control and Applied Mathematics: International Conference on the Occasion of the 25th Anniversary of INRIA, Paris, ... (Lecture Notes in Computer Science)$2,460$2,337 -
VIP 95折
The Rediscovery of the Mind$2,330$2,214 -
VIP 95折
Mathematical Foundations of Programming Semantics: 7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991. Proceedings (Lecture Notes in Computer Science)$2,460$2,337 -
VIP 95折
A Study of Logics$10,780$10,241 -
VIP 95折
Basic Category Theory for Computer Scientists$1,720$1,634 -
VIP 95折
The Science of the Mind, second edition$2,730$2,594 -
VIP 95折
Meaning and Mental Representation$1,520$1,444 -
VIP 95折
John von Neumann and the Origins of Modern Computing$1,930$1,834 -
VIP 95折
CONCUR `90 (Lecture Notes in Mathematics)$2,460$2,337 -
$0Mathematical Logic for Computer Science -
VIP 95折
Ada: A Life And A Legacy (History of Computing)$1,930$1,834 -
VIP 95折
Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986$2,460$2,337 -
VIP 95折
Theory of Recursive Functions and Effective Computability$2,330$2,214 -
VIP 95折
Inquiry$1,930$1,834 -
VIP 95折
Understanding Computers and Cognition: A New Foundation for Design$1,940$1,843 -
VIP 95折
An Introduction to Information Science (Books in Library and Information Science Series)$5,600$5,320 -
VIP 95折
Category Theory and Computer Programming$2,460$2,337 -
VIP 95折
Automata, Languages and Programming: 13th International Colloquium, Rennes, France, July 15-19, 1986. Proceedings (Lecture Notes in Computer Science)$3,040$2,888 -
VIP 95折
Programs as Data Objects$2,260$2,147 -
VIP 95折
Computation and Cognition: Toward a Foundation for Cognitive Science$1,930$1,834 -
VIP 95折
Visual Cognition$1,930$1,834 -
VIP 95折
STACS 86$2,260$2,147 -
VIP 95折
Computability: An Introduction to Recursive Function Theory (Paperback)$3,890$3,696 -
VIP 95折
Edinburgh LCF: A Mechanized Logic of Computation (Lecture Notes in Computer Science)$1,210$1,150