106,400원
Automated Deduction -- Cade-24: 24th International Conference on Automated Deduction Lake Placid NY USA June 9-14 2013 Proceedings Paperback, Springer
166,880원
7th International Conference on Automated Deduction: Proceedings Paperback, Springer
100,780원
Automated Deduction in Geometry: International Workshop on Automated Deduction in Geometry Toulouse ..., Springer
180,480원
9th International Conference on Automated Deduction: Argonne Illinois USA May 23-26 1988. Proceedings Paperback, Springer
Automated Deduction in Geometry Paperback, Springer
122,080원
5th Conference on Automated Deduction: Les Arcs France July 8-11 1980 Paperback, Springer
Automated Deduction in Equational Logic and Cubic Curves Paperback, Springer
110,880원
Automated Deduction in Geometry: Second International Workshop Adg''98 Beijing China August 1-3 1998 Proceedings Paperback, Springer
78,380원
Automated Deduction in Geometry: 8th International Workshop ADG 2010 Munich Germany July 22-24 2010 Revised Papers Paperback, Springer
Automated Deduction in Classical and Non-Classical Logics: Selected Papers Paperback, Springer
67,200원
Automated Deduction in Geometry: 10th International Workshop Adg 2014 Coimbra Portugal July 9-11 2014 Revised Selected Papers Paperback, Springer
Algorithmic Learning Theory: 24th International Conference Alt 2013 Singapore October 6-9 2013 Proceedings Paperback, Springer
84,080원
Automated Reasoning with Analytic Tableaux and Related Methods: 24th International Conference Tableau..., Springer
104,840원
Automated Reasoning: 6th International Joint Conference IJCAR 2012 Manchester UK June 26-29 2012 Proceedings Paperback, Springer
Automated Deduction in Geometry: Third International Workshop Adg 2000 Zurich Switzerland September 25-27 2000 Revised Papers Paperback, Springer
119,840원
Automated Reasoning: 8th International Joint Conference Ijcar 2016 Coimbra Portugal June 27 - July 2 2016 Proceedings Paperback, Springer
80,640원
Automated Deduction in Geometry: 9th International Workshop Adg 2012 Edinburgh UK September 17-19 2012. Revised Selected Papers Paperback, Springer
Integrated Formal Methods: 10th International Conference Ifm 2013 Turku Finland June 10-14 2013 Proceedings Paperback, Springer
133,280원
Intelligent Data Engineering and Automated Learning -- Ideal 2013: 14th International Conference Idea..., Springer
Automated Deduction in Geometry: 4th International Workshop Adg 2002 Hagenberg Castle Austria September 4-6 2002 Revised Papers Paperback, Springer
259,840원
ASE 14 29th IEEE/ACM International Conference on Automated Software Engineering Paperback, ACM
145,160원
Web-Age Information Management: 14th International Conference Waim 2013 Beidaihe China June 14-16 2013. Proceedings Paperback, Springer
189,280원
Automated Reasoning: Third International Joint Conference Ijcar 2006 Seattle Wa USA August 17-20 2006 Proceedings Paperback, Springer
84,000원
Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling Paperback, AAAI
User Modeling Adaption and Personalization: 21th International Conference Umap 2013 Rome Italy June 10-14 2013. Proceedings Paperback, Springer
Product-Focused Software Process Improvement: 14th International Conference Profes 2013 Paphos Cyprus June 12-14 2013 Proceedings Paperback, Springer
74,640원
Mathematics and Computation in Music: 4th International Conference MCM 2013 Montreal Canada June 12-14 2013 Proceedings Paperback, Springer
Concur ''92: Third International Conference on Concurrency Theory Stony Brook NY USA August 24-27 1992. Proceedings Paperback, Springer
151,200원
ASE 10 Proceedings of the IEEE/ACM International Conference on Automated Software Engineering Paperback, ACM
105,280원
Software Composition: 12th International Conference SC 2013 Budapest Hungary June 19 2013. Proceedings Paperback, Springer
Concur 2013 -- Concurrency Theory: 24th International Conference Concur 2013 Buenos Aires Argentina August 27-30 2013 Proceedings Paperback, Springer
92,960원
Model Checking Software: 20th International Symposium Spin 2013 Stony Brook NY USA July 8-9 2013 Proceedings Paperback, Springer
Advances in Brain Inspired Cognitive Systems: 6th International Conference Bics 2013 Beijing China June 9-11 2013. Proceedings Paperback, Springer
Web and Internet Economics: 9th International Conference Wine 2013 Cambridge Ma USA December 1-14 2013 Proceedings Paperback, Springer
Supercomputing: 28th International Supercomputing Conference Isc 2013 Leipzig Germany June 16-20 2013. Proceedings Paperback, Springer
155,680원
Spatial Information Theory: International Conference COSIT 2005 Elliotville NY USA September 14-18 2005 Proceedings Paperback, Springer
173,600원
Artificial Intelligence in Education: 16th International Conference Aied 2013 Memphis TN USA July 9-13 2013. Proceedings Paperback, Springer
Automated Reasoning: Second International Joint Conference Ijcar 2004 Cork Ireland July 4-8 2004 Proceedings Paperback, Springer
Deduction Systems Paperback, Springer
Integer Programming and Combinatorial Optimization: 12th International IPCO Conference Ithaca NY USA June 25-27 2007 Proceedings Paperback, Springer
235,280원
Labelled Deduction Paperback, Springer
160,160원
Computing and Combinatorics: 19th International Conference Cocoon 2013 Hangzhou China June 21-23 2013 Proceedings Paperback, Springer
Runtime Verification: 4th International Conference RV 2013 Rennes France September 24-27 2013 Proceedings Paperback, Springer
Artificial Intelligence Automated Reasoning and Symbolic Computation: Joint International Conference..., Springer
Discovery Science: 16th International Conference DS 2013 Singapore October 6-9 2013 Proceedings Paperback, Springer
144,480원
Integer Programming and Combinatorial Optimization: 10th International Ipco Conference New York NY USA June 7-11 2004 Proceedings Paperback, Springer
Automated Reasoning: 4th International Joint Conference Ijcar 2008 Sydney Nsw Australia August 12-15 2008 Proceedings Paperback, Springer
Intelligent Tutoring Systems: 12th International Conference Its 2014 Honolulu Hi USA June 5-9 2014. Proceedings Paperback, Springer
99,790원
Trust and Trustworthy Computing: 4th International Conference Trust 2011 Pittsburgh PA USA June 22-24 2011 Proceedings Paperback, Springer
91,400원
Hybrid Learning and Continuing Education: 6th International Conference Ichl 2013 Toronto On Canada August 12-14 2013 Proceedings Paperback, Springer
146,720원
Advanced Information Systems Engineering: 25th International Conference Caise 2013 Valencia Spain June 17-21 2013 Proceedings Paperback, Springer
Reliable Software Technologies -- ADA-Europe 2013: 18th International Conference Berlin Germany June 11-15 2013 Proceedings Paperback, Springer
Trust and Trustworthy Computing: 6th International Conference Trust 2013 London UK June 17-19 2013 Proceedings Paperback, Springer
Safe and Secure Software Reuse: 13th International Conference on Software Reuse Icsr 2013 Pisa Italy June 18-20 2013 Proceedings Paperback, Springer
86,960원
Algorithms and Complexity: 8th International Conference Ciac 2013 Barcelona Spain May 22-24 2013. Proceedings Paperback, Springer
245,280원
Labelled Deduction Hardcover, Springer
Logic Programming and Automated Reasoning: 6th International Conference Lpar''99 Tbilisi Georgia September 6-10 1999 Proceedings Paperback, Springer
83,580원
Interactive Storytelling: 6th International Conference Icids 2013 Istanbul Turkey November 6-9 2013 Proceedings Paperback, Springer
Applied Cryptography and Network Security: Third International Conference Acns 2005 New York NY USA June 7-10 2005 Proceedings Paperback, Springer
313,580원
International Joint Conference Soco''14-Cisis''14-Iceute''14: Bilbao Spain June 25th-27th 2014 Proceedings Paperback, Springer
Logic Programming and Automated Reasoning: International Conference Lpar ''92 St.Petersburg Russia July 15-20 1992. Proceedings Paperback, Springer
Wired/Wireless Internet Communication: 11th International Conference Wwic 2013 St. Petersburg Russia June 5-7 2013. Proceedings Paperback, Springer
Pattern Recognition in Bioinformatics: 8th Iapr International Conference Prib 2013 Nice France June 17-20 2013. Proceedings Paperback, Springer
Multimedia Communications Services and Security: 6th International Conference McSs 2013 Krakow Poland June 6-7 2013. Proceedings Paperback, Springer
Advances in Nonlinear Speech Processing: 6th International Conference Nolisp 2013 Mons Belgium June 19-21 2013 Proceedings Paperback, Springer
129,480원
Intelligent Tutoring Systems: 10th International Conference ITS 2010 Pittsburgh PA USA June 14-18 2010 Proceedings Part II Paperback, Springer
115,700원
(영문도서) Intelligent Data Engineering and Automated Learning - Ideal 2023: 24th International Conferen... Paperback, Springer, English, 9783031482311
Computer Networks: 24th International Conference Cn 2017 Lądek Zdroj Poland June 20-23 2017 Proceedings Paperback, Springer
Intelligent Data Engineering and Automated Learning - IDEAL 2008: 9th International Conference Daejeon..., Springer
Combinatorial Pattern Matching: 24th Annual Symposium CPM 2013 Bad Herrenalb Germany June 17-19 2013 Proceedings Paperback, Springer
107,080원
Logic Programming and Automated Reasoning: 4th International Conference Lpar''93 St.Petersburg Russia July 13-20 1993. Proceedings Paperback, Springer
Combinatorial Optimization and Applications: 7th International Conference Cocoa 2013 Chengdu China December 12-14 2013 Proceedings Paperback, Springer
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference Tableaux''99 ..., Springer
Explanation Causation and Deduction Paperback, Springer
Advances in Swarm Intelligence: 4th International Conference Icsi 2013 Harbin China June 12-15 2013 Proceedings Part I Paperback, Springer
Applied Cryptography and Network Security: 11th International Conference Acns 2013 Banff AB Canada June 25-28 2013. Proceedings Paperback, Springer
Advances in Swarm Intelligence: 4th International Conference Icsi 2013 Harbin China June 12-15 2013 Proceedings Part II Paperback, Springer
Theory and Practice of Model Transformations: 6th International Conference Icmt 2013 Budapest Hungary June 18-19 2013 Proceedings Paperback, Springer
Automated Technology for Verification and Analysis: Second International Conference Atva 2004 Taipei..., Springer
118,280원
Intelligent Data Engineering and Automated Learning - Ideal 2017: 18th International Conference Guili..., Springer
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference Tableaux 200..., Springer
Intelligent Data Engineering and Automated Learning -- IDEAL 2011: 12th International Conference Norw..., Springer
Information Processing in Medical Imaging: 15th International Conference Ipmi''97 Poultney Vermont USA June 9-13 1997 Proceedings Paperback, Springer
178,080원
Intelligent Data Engineering and Automated Learning - Ideal 2004: 5th International Conference Exeter..., Springer
Automated Reasoning with Analytic Tableaux and Related Methods: 18th International Conference TABLEAU..., Springer
Intelligent Data Engineering and Automated Learning - IDEAL 2010: 11th International Conference Paisl..., Springer
Intelligent Data Engineering and Automated Learning - Ideal 2002: Third International Conference Manc..., Springer
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference Tableaux''97 ..., Springer
Developments in Language Theory: 17th International Conference Dlt 2013 Marne-La-Vallee France June 18-21 2013 Proceedings Paperback, Springer
85,780원
Software Language Engineering: 6th International Conference Sle 2013 Indianapolis In USA October 26-28 2013. Proceedings Paperback, Springer
Image Analysis and Recognition: 10th International Conference Iciar Aveiro Portugal June 26-28 2013 Proceedings Paperback, Springer
Laser Spectroscopy VII: Proceedings of the Seventh International Conference Hawaii June 24-28 1985 Paperback, Springer
Automated Technology for Verification and Analysis: 11th International Symposium Atva 2013 Hanoi Vi..., Springer
Algebraic Informatics: 4th International Conference Cai 2011 Linz Austria June 21-24 2011 Proceedings Paperback, Springer
246,380원
Advances in Robot Design and Intelligent Control: Proceedings of the 24th International Conference on ..., Springer