도서/음반/DVD > 해외도서 > 컴퓨터 > 컴퓨터 과학 > 기계 이론
110,880원
역대최고가 110,880원
최근평균가 110,880원
역대최저가 90,880원
▼
이 포스팅은 쿠팡 파트너스 활동의 일환으로,이에 따른 일정액의 수수료를 제공받습니다.
더보기
133,280원
Theorem Proving in Higher Order Logics: 18th International Conference Tphols 2005 Oxford UK August 22-25 2005 Proceedings Paperback, Springer
122,080원
Theorem Proving in Higher Order Logics: 15th International Conference Tphols 2002 Hampton Va USA August 20-23 2002. Proceedings Paperback, Springer
155,680원
Theorem Proving in Higher Order Logics: 22nd International Conference TPHOLs 2009 Munich Germany August 17-20 2009 Proceedings Paperback, Springer
Theorem Proving in Higher Order Logics: 14th International Conference Tphols 2001 Edinburgh Scotlan..., Springer
144,480원
Theorem Proving in Higher Order Logics: 11th International Conference Tphols''98 Canberra Australia ..., Springer
Theorem Proving in Higher Order Logics: 20th International Conference TPHOLs 2007 Kaiserslautern Ger..., Springer
Theorem Proving in Higher Order Logics: 17th International Conference Tphols 2004 Park City Utah U..., Springer
Theorem Proving in Higher Order Logics: 16th International Conference Tphols 2003 ROM Italy September 8-12 2003 Proceedings Paperback, Springer
Theorem Proving in Higher Order Logics: 12th International Conference Tphols''99 Nice France September 14-17 1999 Proceedings Paperback, Springer
Theorem Proving in Higher Order Logics Paperback, Springer
106,400원
Interactive Theorem Proving: Third International Conference Itp 2012 Princeton NJ USA August 13-15 2012. Proceedings Paperback, Springer
99,840원
Interactive Theorem Proving: 7th International Conference Itp 2016 Nancy France August 22-25 2016 Proceedings Paperback, Springer
129,480원
Computing and Combinatorics: Third Annual International Conference Cocoon ''97 Shanghai China August 20-22 1997. Proceedings. Paperback, Springer
100,780원
Interactive Theorem Proving: Second International Conference ITP 2011 Berg En Dal the Netherlands August 22-25 2011 Proceedings Paperback, Springer
Interactive Theorem Proving: 6th International Conference Itp 2015 Nanjing China August 24-27 2015 Proceedings Paperback, Springer
119,840원
Interactive Theorem Proving: 4th International Conference Itp 2013 Rennes France July 22-26 2013 Proceedings Paperback, Springer
Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop Valletta Malta ..., Springer
Computer Aided Verification: 9th International Conference Cav''97 Haifa Israel June 22-25 1997 Proceedings Paperback, Springer
Software Product Lines: Second International Conference Splc 2 San Diego CA USA August 19-22 2002. Proceedings Paperback, Springer
Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop Hug ''93 Vancouve..., Springer
Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop Aspen Grove UT ..., Springer
Information Processing in Medical Imaging: 15th International Conference Ipmi''97 Poultney Vermont USA June 9-13 1997 Proceedings Paperback, Springer
118,280원
Fundamentals of Computation Theory: 10th International Conference Fct ''95 Dresden Germany August 22 - 25 1995. Proceedings Paperback, Springer
Evolutionary Programming VI: 6th International Conference Ep 97 Indianapolis Indiana USA April 13-16 1997 Proceedings Paperback, Springer
156,880원
Document Analysis Systems V: 5th International Workshop Das 2002 Princeton NJ USA August 19-21 2002. Proceedings Paperback, Springer
Computer Aided Verification: 8th International Conference Cav ''96 New Brunswick NJ USA July 31 - August 3 1996. Proceedings Paperback, Springer
178,080원
Image Analysis and Processing: 9th International Conference Iciap''97 Florence Italy September 17-19 1997 Proceedings Volume 1 Paperback, Springer
Zum''97: The Z Formal Specification Notation: 10th International Conference of Z Users Reading UK April 3-4 1997 Proceedings Paperback, Springer
Oois''97: 1997 International Conference on Object Oriented Information Systems 10-12 November 1997 Brisbane Proceedings Paperback, Springer
Interactive Theorem Proving: 8th International Conference Itp 2017 Brasilia Brazil September 26-29 2017 Proceedings Paperback, Springer
Intelligent Virtual Agents: 10th International Conference IVA 2010 Philadelphia PA USA September 20-22 2010 Proceedings Paperback, Springer
Concur 2008 - Concurrency Theory: 19th International Conference Concur 2008 Toronto Canada August 19-22 2008 Proceedings Paperback, Springer
Concur''97: Concurrency Theory: 8th International Conference Warsaw Poland July 1-4 1997 Proceedings Paperback, Springer
Database Theory - Icdt ''97: 6th International Conference Delphi Greece January 8-10 1997. Proceedings Paperback, Springer
104,840원
Intelligent Computing in Bioinformatics: 10th International Conference ICIC 2014 Taiyuan China August 3-6 2014 Proceedings Paperback, Springer
Knowledge Management in Organizations: 10th International Conference Kmo 2015 Maribor Slovenia August 24-28 2015 Proceedings Paperback, Springer
72,380원
Kunstliche Intelligenz Und Heuristisches Programmieren Paperback, Springer
Logical Foundations of Computer Science: 4th International Symposium Lfcs''97 Yaroslavl Russia July 6 - 12 1997 Proceedings Paperback, Springer
73,900원
Discrete Mathematics: An Introduction for Software Engineers Paperback, Cambridge University Press
Graph-Theoretic Concepts in Computer Science: 18th International Workshop Wg ''92 Wiesbaden-Naurod G..., Springer
62,490원
Discrete Mathematics for Computing Paperback, Palgrave
78,380원
Time and Petri Nets Hardcover, Springer
Mathematical Foundations of Computer Science 1997: 22nd International Symposium Mfcs''97 Bratislava ..., Springer
80,640원
DNA Computing and Molecular Programming: 21st International Conference DNA 21 Boston and Cambridge ..., Springer
146,720원
Pattern Recognition and Machine Intelligence: 5th International Conference Premi 2013 Kolkata India..., Springer
Foundational and Practical Aspects of Resource Analysis: Second International Workshop Fopara 2011 M..., Springer
Algorithms - ESA 2000: 8th Annual European Symposium Saarbrucken Germany September 5-8 2000 Proceedings Paperback, Springer
167,940원
Handbook of Natural Language Processing Hardcover, Chapman & Hall
Artificial Evolution: 11th International Conference Evolution Artificielle EA 2013 Bordeaux France..., Springer
Language and Automata Theory and Applications: 9th International Conference Lata 2015 Nice France March 2-6 2015 Proceedings Paperback, Springer
Unconventional Computation and Natural Computation: 13th International Conference Ucnc 2014 London ..., Springer
Randomization Approximation and Combinatorial Optimization. Algorithms and Techniques: Third Interna..., Springer
92,960원
Descriptional Complexity of Formal Systems: 15th International Workshop Dcfs 2013 London Canada July 22-25 2013 Proceedings Paperback, Springer
Unconventional Computation and Natural Computation: 15th International Conference Ucnc 2016 Manchest..., Springer
87,240원
Analysis of Boolean Functions, Cambridge University Press
56,000원
Clustering Stability: An Overview Paperback, Now Publishers
Developments in Language Theory: 19th International Conference Dlt 2015 Liverpool UK July 27-30 2015 Proceedings. Paperback, Springer
16,640원
Machine Learning: For Beginners - Definitive Guide for Neural Networks Algorithms Random Forests and..., Createspace Independent Publishing Platform
Language and Automata Theory and Applications: 10th International Conference Lata 2016 Prague Czech..., Springer
Pattern Recognition and Machine Intelligence: 6th International Conference Premi 2015 Warsaw Poland..., Springer
67,200원
Cellular Automata and Discrete Complex Systems: 20th International Workshop Automata 2014 Himeji Ja..., Springer
Cellular Automata and Discrete Complex Systems: 19th International Workshop Automata 2013 Gieen Ger..., Springer
Randomization and Approximation Techniques in Computer Science: Second International Workshop Random''..., Springer
44,780원
R Machine Learning Essentials Paperback, Packt Publishing
Artificial Computation in Biology and Medicine: International Work-Conference on the Interplay Between..., Springer
166,880원
Accurate Numerical Algorithms: A Collection of Research Papers Paperback, Springer
Algorithms - ESA ''97: 5th Annual European Symposium Graz Austria September 15-17 1997. Proceedings Paperback, Springer
239,300원
Artificial Intelligence in a Throughput Model: Some Major Algorithms Hardcover, CRC Press
94,080원
Implementation and Application of Automata: 19th International Conference Ciaa 2014 Giessen Germany..., Springer
Quantum Interaction: 10th International Conference Qi 2016 San Francisco CA USA July 20-22 2016 Revised Selected Papers Paperback, Springer
Computational Logic: Symposium Proceedings Brussels November 13/14 1990 Paperback, Springer
141,120원
The Arithmetic of Z-Numbers: Theory and Applications Hardcover, World Scientific Publishing Company