도서/음반/DVD > 해외도서 > 컴퓨터 > 컴퓨터 과학 > 컴퓨터 과학 일반
142,800원
역대최고가 142,800원
최근평균가 142,800원
역대최저가 132,800원
▼
이 포스팅은 쿠팡 파트너스 활동의 일환으로,이에 따른 일정액의 수수료를 제공받습니다.
더보기
54,120원
Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach Paperback, Princeton University Press
70,600원
Computer Aided Verification Hardcover, Saint Philip Street Press
266,560원
Computer-Aided Verification: A Special Issue of Formal Methods in System Design on Computer-Aided Verification Hardcover, Springer
77,500원
Computer Aided Verification Hardcover, Saint Philip Street Press, English, 9781013270994
Computer Aided Verification Hardcover, Saint Philip Street Press, English, 9781013271014
Computer Aided Verification Hardcover, Saint Philip Street Press, English, 9781013271151
75,200원
Computer Aided Verification Hardcover, Saint Philip Street Press, English, 9781013271175
161,500원
(영문도서) Handbook of Computer Aided Verification Hardcover, Willford Press, English, 9781647284404
Computer-Aided Verification: A Special Issue of Formal Methods in System Design on Computer-Aided Verification Paperback, Springer
59,200원
Computer Aided Verification Paperback, Saint Philip Street Press, English, 9781013271144
66,100원
Computer Aided Verification Paperback, Saint Philip Street Press, English, 9781013270987
Computer Aided Verification Paperback, Saint Philip Street Press, English, 9781013271007
63,800원
Computer Aided Verification Paperback, Saint Philip Street Press, English, 9781013271168
128,800원
Analysis of Evolutionary Processes: The Adaptive Dynamics Approach and Its Applications Hardcover, Princeton University Press
158,400원
(영문도서) New Paradigms in Computer Aided Verification Hardcover, States Academic Press, English, 9781639896905
65,800원
Formal Verification of Control System Software Hardcover, Princeton University Press
296,800원
Physics of Magmatic Processes Hardcover, Princeton University Press
96,400원
Automata Studies Paperback, Princeton University Press
81,200원
Selfsimilar Processes Hardcover, Princeton University Press
350,000원
Combustion Processes Hardcover, Princeton University Press
119,160원
Computer-Aided Sculpture, Cambridge University Press
125,550원
Information Theoretic Approach to Econometrics Hardcover, Cambridge University Press
187,600원
Cooperative Microeconomics: A Game-Theoretic Introduction Hardcover, Princeton University Press
160,160원
International Relations Theory: The Game-Theoretic Approach Hardcover, Cambridge University Press
153,400원
(영문도서) Computer Aided Verification: Techniques and Applications Hardcover, Clanrye International, English, 9781647265861
158,500원
(영문도서) Computer Aided Verification: Emerging Trends Hardcover, Murphy & Moore Publishing, English, 9781639876938
30,800원
Computer Aided Translation Tec Paperback, University of Ottawa Press
87,920원
Graph Theoretic Methods in Multiagent Networks Hardcover, Princeton University Press
444,640원
Computer-Aided Design of Catalysts Hardcover, CRC Press
203,980원
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach Hardcover, Springer
173,600원
Computer Aided Verification: 26th International Conference Cav 2014 Held as Part of the Vienna Summe..., Springer
109,100원
The Political Economy of Development: A Game Theoretic Approach Hardcover, Cambridge University Press, English, 9781108837507
245,280원
Computer-Aided Geometric Design: A Totally Four-Dimensional Approach Hardcover, Springer
145,580원
Cellular Automata Dynamical Systems and Neural Networks Hardcover, Springer
15,120원
The Future of Software Engineering: Panel Discussions Paperback, Lonely Scholar
33,540원
Theoretische Informatik - Kurz Gefasst Paperback, Spektrum Akademischer Verlag
78,380원
Elektronische Taschenrechner in Der Schule: Ein Arbeits- Und Aufgabenbuch Fur Lehrer Und Schuler Paperback, Vieweg+teubner Verlag
55,980원
Approximationsalgorithmen: Eine Einfuhrung Paperback, Vieweg+teubner Verlag
Programmierleitfaden AutoCAD: Alle Versionen Einschlielich 9.0 Paperback, Vieweg+teubner Verlag
301,280원
A Textbook of Belief Dynamics: Theory Change and Database Updating Hardcover, Springer
89,540원
Verified Functional Programming in Agda Paperback, ACM Books
122,080원
The Parametric Lambda Calculus: A Metamodel for Computation Hardcover, Springer
200,790원
Computer Vision ECCV 2008, Springer-Verlag New York Inc
Web 2.0 & Semantic Web, Springer-Verlag New York Inc
220,750원
Neural Information Processing, Springer-Verlag New York Inc
230,720원
Asplos XXI 21st ACM International Conference on Architectural Support for Programming Languages and Operating Systems Paperback
64,260원
Humanistic HCI, Morgan & Claypool
90,700원
Ubiquitous Music, Springer-Verlag New York Inc
122,410원
Agents and Artificial Intelligence, Springer-Verlag New York Inc
144,480원
Algorithms and Computations: 10th International Symposium Isaac''99 Chennai India December 16-18 1999 Proceedings Paperback, Springer
Datenbankverwaltung Auf Dem PC: Eine Praxisorientierte Einfuhrung Fur Jeden Anwender Paperback, Vieweg+teubner Verlag
Turbo Pascal Tools: Einsatz Von Turbo Pascal in Der Naturwissenschaftlichen Praxis Paperback, Vieweg+teubner Verlag
189,280원
Performance Modeling and Engineering Paperback, Springer
211,680원
Scheduling in Distributed Computing Systems: Analysis Design and Models Paperback, Springer
58,240원
Computers: The Life Story of a Technology Hardcover, Greenwood
170,350원
E-Business and Telecommunications, Springer-Verlag New York Inc
140,110원
The Semantic Web: 3rd Asian Semantic Web Conference ASWC 2008 Bangkok Thailand December 8-11 2008 Proceedings, Springer-Verlag New York Inc
99,790원
Brain Informatics: International Conference BI 2009 Beijing China October 22-24 2009 Proceedings, Springer-Verlag New York Inc
Security and Cryptography for Networks: 5th International Conference SCN 2006 Maiori Italy September 6-8 2006 Proceedings Paperback, Springer
Kryptologie Paperback, Vieweg+teubner Verlag
166,880원
Information Security and Privacy: 7th Australian Conference Acisp 2002 Melbourne Australia July 3-5 2002 Proceedings Paperback, Springer
Event-Driven Mobile Financial Information Services: Design of an Intraday Decision Support System Paperback, Deutscher Universitatsverlag
268,800원
Database Security XII: Status and Prospects Paperback, Springer
20,160원
PROLOG Tout de Suite! Paperback, College Publications
Datenkommunikation: Verfahren Netze Dienste Paperback, Vieweg+teubner Verlag
IBM Personal System/2: Beschreibung Einsatz Anwendung Technische Details Paperback, Vieweg+teubner Verlag
163,800원
Management of I.T. Changes Risks Workshops Epistemology. Paperback, Lulu.com
Trust Management: First International Conference Itrust 2003 Heraklion Crete Greece May 28-30 2002 Proceedings Paperback, Springer
156,800원
Sigmod 13 International Conference on Management of Data V2 Paperback, ACM