도서/음반/DVD > 해외도서 > 컴퓨터 > AI/머신러닝 > 인공지능 정의
151,880원
역대최고가 166,880원
최근평균가 151,880원
역대최저가 146,880원
▼
이 포스팅은 쿠팡 파트너스 활동의 일환으로,이에 따른 일정액의 수수료를 제공받습니다.
더보기
60,900원
(영문도서) Computer Aided Verification: 35th International Conference Cav 2023 Paris France July 17-... Paperback, Springer, English, 9783031377020
(영문도서) Computer Aided Verification: 35th International Conference Cav 2023 Paris France July 17-... Paperback, Springer, English, 9783031377082
(영문도서) Computer Aided Verification: 35th International Conference Cav 2023 Paris France July 17-... Paperback, Springer, English, 9783031377051
189,280원
Computer Aided Verification: 21st International Conference CAV 2009 Grenoble France June 26-July 2 2009 Proceedings Paperback, Springer
107,080원
Static Analysis: 8th International Symposium SAS 2001 Paris France July 16-18 2001. Proceedings Paperback, Springer
178,080원
Computer Aided Verification: 14th International Conference Cav 2002 Copenhagen Denmark July 27-31 2002 Proceedings Paperback, Springer
144,480원
Computer Aided Verification: 7th International Conference Cav ''95 Liege Belgium July 3 - 5 1995. Proceedings Paperback, Springer
155,680원
Computer Aided Verification: 11th International Conference Cav''99 Trento Italy July 6-10 1999 Proceedings Paperback, Springer
Computer Aided Verification: 19th International Conference CAV 2007 Berlin Germany July 3-7 2007 Proceedings Paperback, Springer
Computer Aided Verification: 9th International Conference Cav''97 Haifa Israel June 22-25 1997 Proceedings Paperback, Springer
106,400원
Computer Aided Verification: 27th International Conference Cav 2015 San Francisco CA USA July 18-24 2015 Proceedings Part II Paperback, Springer
133,280원
Computer Aided Verification: 27th International Conference Cav 2015 San Francisco CA USA July 18-24 2015 Proceedings Part I Paperback, Springer
187,040원
Computer Aided Verification: 25th International Conference Cav 2013 Saint Petersburg Russia July 13-19 2013 Proceedings Paperback, Springer
146,720원
Computer Aided Verification: 24th International Conference Cav 2012 Berkeley CA USA July 7-13 2012 Proceedings Paperback, Springer
Computer Aided Verification: 23rd International Conference Cav 2011 Snowbird UT USA July 14-20 2011 Proceedings Paperback, Springer
166,880원
Computer Aided Verification: 16th International Conference CAV 2004 Boston MA USA July 13-17 2004 Proceedings Paperback, Springer
Computer Aided Verification: 17th International Conference Cav 2005 Edinburgh Scotland UK July 6-10 2005 Proceedings Paperback, Springer
Computer Aided Verification: 12th International Conference Cav 2000 Chicago Il USA July 15-19 2000 Proceedings Paperback, Springer
135,680원
Computer Aided Verification: 5th International Conference Cav''93 Elounda Greece June 28 - July 1 1993. Proceedings Paperback, Springer
Computer Aided Verification: 15th International Conference Cav 2003 Boulder Co USA July 8-12 2003 Proceedings Paperback, Springer
160,850원
Computer Aided Verification: 29th International Conference Cav 2017 Heidelberg Germany July 24-28 2017 Proceedings Part I Paperback, Springer
Computer Aided Verification: 29th International Conference Cav 2017 Heidelberg Germany July 24-28 2017 Proceedings Part II Paperback, Springer
Computer Aided Verification: 10th International Conference Cav''98 Vancouver BC Canada June 28-July 2 1998 Proceedings Paperback, Springer
56,700원
Computer Aided Verification: 32nd International Conference Cav 2020 Los Angeles Ca Usa July 21-... Paperback, Springer
119,840원
Computer Aided Verification: 28th International Conference Cav 2016 Toronto On Canada July 17-23 2016 Proceedings Part I Paperback, Springer
Computer Aided Verification: 28th International Conference Cav 2016 Toronto On Canada July 17-23 2016 Proceedings Part II Paperback, Springer
Computer Aided Verification: 8th International Conference Cav ''96 New Brunswick NJ USA July 31 - August 3 1996. Proceedings Paperback, Springer
Computer Aided Verification: 3rd International Workshop Cav ''91 Aalborg Denmark July 1-4 1991. Proceedings Paperback, Springer
54,800원
(영문도서) Computer Aided Verification: 33rd International Conference Cav 2021 Virtual Event July 20-... Paperback, Springer, English, 9783030816841
Computer Aided Verification: Fourth International Workshop Cav ''92 Montreal Canada June 29 - July 1 1992. Proceedings Paperback, Springer
Computer Aided Verification: 18th International Conference CAV 2006 Seattle WA USA August 17-20 2006 Proceedings Paperback, Springer
110,880원
Computer Aided Verification: 6th International Conference Cav ''94 Stanford California USA June 21-23 1994. Proceedings Paperback, Springer
User Modeling 2001: 8th International Conference Um 2001 Sonthofen Germany July 13-17 2001. Proceedings Paperback, Springer
122,080원
Computer-Aided Verification: 2nd Internatonal Conference Cav ''90 New Brunswick NJ USA June 18-21 1990. Proceedings Paperback, Springer
Active Media Technology: 6th International Computer Science Conference Amt 2001 Hong Kong China December 18-20 2001. Proceedings Paperback, Springer
278,880원
Learning to Learn Hardcover, Springer
Computational Collective Intelligence Part 1: Technologies and Applications: Third International Conf..., Springer
80,640원
Trends and Applications in Knowledge Discovery and Data Mining: Pakdd 2016 Workshops Bdm Mlsda Pacc..., Springer
Machine Learning and Knowledge Discovery in Databases Part II: European Conference Ecml Pkdd 2010 A..., Springer
130,030원
Neuromorphic Cognitive Systems: A Learning and Memory Centered Approach Hardcover, Springer
458,080원
International Symposium on Distributed Computing and Artificial Intelligence Paperback, Springer
218,400원
Robotic Vision: Technologies for Machine Learning and Vision Applications Hardcover, Information Science Reference
246,380원
Video Analytics for Business Intelligence Hardcover, Springer
313,580원
Intelligent Data Analysis and Its Applications Volume I: Proceeding of the First Euro-China Conferenc..., Springer
92,960원
Graph-Theoretic Concepts in Computer Science: 38th International Workshop WG 2012 Jerusalem Israel ..., Springer
346,080원
Conflicting Agents: Conflict Management in Multi-Agent Systems Paperback, Springer
The Semantic Web - Iswc 2013: 12th International Semantic Web Conference Sydney Nsw Australia Octo..., Springer
Logic Programming and Nonmonotonic Reasoning: 12th International Conference Lpnmr 2013 Corunna Spai..., Springer
167,980원
Critical Infrastructure Protection Research: Results of the First Critical Infrastructure Protection Research Project in Hungary Hardcover, Springer
Intelligent Agents VI. Agent Theories Architectures and Languages: 6th International Workshop Atal''99 Orlando Florida USA Paperback, Springer
67,140원
Web Data Mining: Exploring Hyperlinks Contents and Usage Data Hardcover, Springer
234,080원
Representing Uncertain Knowledge: An Artificial Intelligence Approach Paperback, Springer
Soft Computing: New Trends and Applications [With CDROM] Paperback, Springer
55,420원
Computational Intelligence Techniques in Diagnosis of Brain Diseases Paperback, Springer
179,180원
A Heuristic Approach to Possibilistic Clustering: Algorithms and Applications Hardcover, Springer
Cooperative Robots and Sensor Networks 2015 Hardcover, Springer
Intelligent Help Systems for Unix Paperback, Springer
211,680원
Eurowordnet: A Multilingual Database with Lexical Semantic Networks Paperback, Springer
201,580원
Complex Networks VII: Proceedings of the 7th Workshop on Complex Networks Complenet 2016 Hardcover, Springer
222,880원
Cognitive Engineering: A Distributed Approach to Machine Intelligence Paperback, Springer
334,880원
Constraint-Based Design Recovery for Software Reengineering: Theory and Experiments Hardcover, Springer
44,740원
Omnidirectional Vision Systems: Calibration Feature Extraction and 3D Information Paperback, Springer
New Systems and Architectures for Automatic Speech Recognition and Synthesis Paperback, Springer
Autonomous Model-Based Diagnosis Agents Hardcover, Springer
Adaptive Parsing:: Self-Extending Natural Language Interfaces Hardcover, Springer
200,480원
Algorithmic Learning in a Random World Paperback, Springer
Probabilistic Graphical Models: 7th European Workshop Pgm 2014 Utrecht the Netherlands September 17-19 2014. Proceedings Paperback, Springer
Human Motion Sensing and Recognition: A Fuzzy Qualitative Approach Hardcover, Springer
190,510원
Quantum Computing: An Environment for Intelligent Large Scale Real Application Hardcover, Springer
131,040원
Integration of Natural Language and Vision Processing: Recent Advances Volume IV Paperback, Springer
Ipmu''92 - Advanced Methods in Artificial Intelligence: 4th International Conference on Information Pro..., Springer