도서/음반/DVD > 해외도서 > 컴퓨터 > AI/머신러닝 > 인공지능 정의
119,840원
역대최고가 119,840원
최근평균가 119,840원
역대최저가 99,840원
▼
이 포스팅은 쿠팡 파트너스 활동의 일환으로,이에 따른 일정액의 수수료를 제공받습니다.
더보기
Verification Model Checking and Abstract Interpretation: 15th International Conference Vmcai 2014 ..., Springer
106,400원
Verification Model Checking and Abstract Interpretation: 16th International Conference Vmcai 2015 ..., Springer
222,880원
Verification Model Checking and Abstract Interpretation: 18th International Conference Vmcai 2017 ..., Springer
110,880원
Verification Model Checking and Abstract Interpretation: 13th International Conference VMCAI 2012 ..., Springer
Verification Model Checking and Abstract Interpretation: 17th International Conference Vmcai 2016 ..., Springer
122,080원
Verification Model Checking and Abstract Interpretation: 5th International Conference Vmcai 2004 V..., Springer
144,480원
Verification Model Checking and Abstract Interpretation: 7th International Conference Vmcai 2006 C..., Springer
107,080원
Verification Model Checking and Abstract Interpretation: 4th International Conference Vmcai 2003 N..., Springer
133,280원
Verification Model Checking and Abstract Interpretation: 8th International Conference Vmcai 2007 N..., Springer
Verification Model Checking and Abstract Interpretation: 9th International Conference Vmcai 2008 S..., Springer
Verification Model Checking and Abstract Interpretation: 6th International Conference Vmcai 2005 P..., Springer
104,700원
Verification Model Checking and Abstract Interpretation: 22nd International Conference Vmcai 2021... Paperback, Springer, English, 9783030670665
Verification Model Checking and Abstract Interpretation: Third International Workshop Vmcai 2002 V..., Springer
Verification Model Checking and Abstract Interpretation Paperback, Springer
135,650원
Verification Model Checking and Abstract Interpretation, Springer Verlag
92,500원
(영문도서) Verification Model Checking and Abstract Interpretation: 25th International Conference Vmc... Paperback, Springer, English, 9783031505232
(영문도서) Verification Model Checking and Abstract Interpretation: 25th International Conference Vmc... Paperback, Springer, English, 9783031505201
102,400원
(영문도서) Verification Model Checking and Abstract Interpretation: 21st International Conference Vmc... Paperback, Springer, English, 9783030393212
93,300원
(영문도서) Verification Model Checking and Abstract Interpretation: 24th International Conference Vmc... Paperback, Springer, English, 9783031249495
113,300원
(영문도서) Verification Model Checking and Abstract Interpretation: 23rd International Conference VMC... Paperback, Springer, English, 9783030945824
113,800원
(영문도서) Verification Model Checking and Abstract Interpretation: 20th International Conference Vmc... Paperback, Springer, English, 9783030112448
Systems and Software Verification: Model-Checking Techniques and Tools Paperback, Springer
Spin Model Checking and Software Verification: 7th International Spin Workshop Stanford CA USA Augu..., Springer
Computational Linguistics and Intelligent Text Processing: 14th International Conference Cicling 2013..., Springer
Intelligent Data Engineering and Automated Learning -- Ideal 2013: 14th International Conference Idea..., Springer
155,680원
Model Driven Engineering Languages and Systems: 14th International Conference MODELS 2011 Wellington..., Springer
72,700원
Verification and Evaluation of Computer and Communication Systems: 14th International Conference Ve... Paperback, Springer, English, 9783030659547
99,790원
Model Checking Software: 14th International Spin Workshop Berlin Germany July 1-3 2007 Proceedings Paperback, Springer
86,960원
Cryptography and Coding: 14th Ima International Conference Imacc 2013 Oxford UK December 17-19 2013 Proceedings Paperback, Springer
Runtime Verification: 4th International Conference RV 2013 Rennes France September 24-27 2013 Proceedings Paperback, Springer
91,400원
Engineering Applications of Neural Networks: 14th International Conference Eann 2013 Halkidiki Gree..., Springer
Web Information Systems Engineering -- Wise 2013: 14th International Conference Nanjing China Octob..., Springer
80,640원
Passive and Active Measurement: 14th International Conference Pam 2013 Hong Kong China March 18-19 2013 Proceedings Paperback, Springer
44,780원
Semantic Web-Based Intelligent Geospatial Web Services Paperback, Springer
223,980원
Efficient Dynamic Simulation of Robotic Mechanisms Hardcover, Springer
Intelligent and Adaptive Educational-Learning Systems: Achievements and Trends Paperback, Springer
Engineering Environment-Mediated Multi-Agent Systems: International Workshop Eemmas 2007 Dresden Ge..., Springer
100,780원
Advances in Artificial Intelligence: 13th Brazilian Symposium on Artificial Intelligence Sbia''96 Curi..., Springer
84,720원
Forecasting Models: Methods and Applications Paperback, Createspace Independent Publishing Platform
Data Mining for Geoinformatics: Methods and Applications Paperback, Springer
Advances in Artificial Intelligence. Pricai 2000 Workshop Reader: Four Workshops Held at Pricai 2000 ..., Springer
Webkdd 2002 - Mining Web Data for Discovering Usage Patterns and Profiles: 4th International Workshop ..., Springer
Artificial Neural Networks in Pattern Recognition: 5th Inns Iapr Tc 3 Girpr Workshop Annpr 2012 Tren..., Springer
221,740원
Autonomous and Autonomic Systems, Springer-Verlag New York Inc
Developments and Advances in Intelligent Systems and Applications Hardcover, Springer
Quantum Interaction: 6th International Symposium Qi 2012 Paris June 27-29 2012 Revised Selected Papers Paperback, Springer
A Defeasible Logic Programming-Based Framework to Support Argumentation in Semantic Web Applications Hardcover, Springer
Knowledge Skill and Artificial Intelligence Paperback, Springer
71,280원
Computation and Human Experience Paperback, Cambridge University Press
Bridging Constraint Satisfaction and Boolean Satisfiability Hardcover, Springer
Emerging Ideas on Information Filtering and Retrieval: Dart 2013: Revised and Invited Papers Hardcover, Springer
334,880원
Interdisciplinary Approaches to Language: Essays in Honor of S.-Y. Kuroda Paperback, Springer
61,580원
An Introduction to Harmony Search Optimization Method Paperback, Springer
178,080원
Mathematical Models for Decision Support Paperback, Springer
Patterns of Intuition:Musical Creativity in the Light of Algorithmic Composition, Springer
Fuzzy and Multi-Level Decision Making: An Interactive Computational Approach Paperback, Springer
312,480원
International Workshop on Evidence-Based Technology Enhanced Learning Paperback, Springer
200,480원
Chinese Spoken Language Processing: 5th International Symposium Iscslp 2006 Singapore December 13-16 2006 Proceedings Paperback, Springer
Dependability Problems of Complex Information Systems Paperback, Springer
167,980원
Knowledge Annotation: Making Implicit Knowledge Explicit Paperback, Springer
145,580원
Innovative Technologies in Management and Science Paperback, Springer
Formal Models of Agents: Esprit Project Modelage Final Report Selected Papers Paperback, Springer
44,740원
Belief Revision in Non-Classical Logics Paperback, Springer
78,380원
Maschinelles Lernen Und Wissensbasierte Systeme: Systematische Einfuhrung Mit Praxisorientierten Fallstudien Paperback, Springer
Logic Language Information and Computation: 15th International Workshop WoLLIC 2008 Edinburgh UK July 1-4 2008 Proceedings Paperback, Springer
Bounded Rationality in Decision Making Under Uncertainty: Towards Optimal Granularity Hardcover, Springer
166,880원
Advances in Swarm Intelligence Part II: Second International Conference ICSI 2011 Chongqing China ..., Springer
301,280원
Automatic Quantum Computer Programming: A Genetic Programming Approach Hardcover, Springer
313,580원
Information Technology and Intelligent Transportation Systems: Volume 2 Proceedings of the 2015 Inter..., Springer