도서/음반/DVD > 해외도서 > 컴퓨터 > 소프트웨어 > 소프트웨어 개발
85,780원
역대최고가 100,780원
최근평균가 85,780원
역대최저가 80,780원
▼
이 포스팅은 쿠팡 파트너스 활동의 일환으로,이에 따른 일정액의 수수료를 제공받습니다.
더보기
144,480원
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference Tableaux 200..., Springer
110,880원
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference Tableaux''99 ..., Springer
122,080원
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference Tableaux''97 ..., Springer
84,080원
Automated Reasoning with Analytic Tableaux and Related Methods: 24th International Conference Tableau..., Springer
100,880원
Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference Tableau..., Springer
80,640원
Automated Reasoning with Analytic Tableaux and Related Methods: 22nd International Conference Tableau..., Springer
94,080원
Automated Reasoning with Analytic Tableaux and Related Methods: 26th International Conference Tableau..., Springer
Automated Reasoning with Analytic Tableaux and Related Methods: 18th International Conference TABLEAU..., Springer
100,780원
Automated Reasoning with Analytic Tableaux and Related Methods: 20th International Conference TABLEAU..., Springer
98,900원
(영문도서) Automated Reasoning with Analytic Tableaux and Related Methods: 30th International Conference... Paperback, Springer, English, 9783030860585
62,900원
(영문도서) Automated Reasoning with Analytic Tableaux and Related Methods: 32nd International Conference... Paperback, Springer, English, 9783031435126
109,400원
(영문도서) Automated Reasoning with Analytic Tableaux and Related Methods: 28th International Conference... Paperback, Springer, English, 9783030290252
Theorem Proving with Analytic Tableaux and Related Methods: 5th International Workshop Tableaux ''96 ..., Springer
Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop Tableaux-95 S..., Springer
Artificial Intelligence Automated Reasoning and Symbolic Computation: Joint International Conference..., Springer
Logic for Programming and Automated Reasoning: 7th International Conference Lpar 2000 Reunion Island ..., Springer
178,080원
Logic for Programming Artificial Intelligence and Reasoning: 13th International Conference Lpar 200..., Springer
Logic for Programming Artificial Intelligence and Reasoning: 10th International Conference Lpar 200..., Springer
155,680원
Logic for Programming Artificial Intelligence and Reasoning: 14th International Conference LPAR 200..., Springer
180,480원
Logic for Programming Artificial Intelligence and Reasoning: 12th International Conference Lpar 200..., Springer
133,280원
Theories and Methods of Spatio-Temporal Reasoning in Geographic Space: International Conference GIS - ..., Springer
114,300원
Automated Reasoning: 10th International Joint Conference Ijcar 2020 Paris France July 1-4 2020 ... Paperback, Springer
102,600원
119,840원
Automated Reasoning: 7th International Joint Conference Ijcar 2014 Held as Part of the Vienna Summer..., Springer
Logic Programming and Automated Reasoning: 6th International Conference Lpar''99 Tbilisi Georgia September 6-10 1999 Proceedings Paperback, Springer
Logic Programming and Automated Reasoning: International Conference Lpar ''92 St.Petersburg Russia July 15-20 1992. Proceedings Paperback, Springer
Logic Programming and Automated Reasoning: 5th International Conference Lpar ''94 Kiev Ukraine July 16 - 22 1994. Proceedings Paperback, Springer
166,880원
Automated Reasoning: Second International Joint Conference Ijcar 2004 Cork Ireland July 4-8 2004 Proceedings Paperback, Springer
104,840원
Automated Reasoning: 6th International Joint Conference IJCAR 2012 Manchester UK June 26-29 2012 Proceedings Paperback, Springer
189,280원
Automated Reasoning: First International Joint Conference Ijcar 2001 Siena Italy June 18-23 2001 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
Automated Reasoning: 8th International Joint Conference Ijcar 2016 Coimbra Portugal June 27 - July 2 2016 Proceedings Paperback, Springer
64,100원
(영문도서) Automated Reasoning: 11th International Joint Conference Ijcar 2022 Haifa Israel August 8... Paperback, Springer, English, 9783031107689
Automated Reasoning: 4th International Joint Conference Ijcar 2008 Sydney Nsw Australia August 12-15 2008 Proceedings Paperback, Springer
Automated Reasoning: Third International Joint Conference Ijcar 2006 Seattle Wa USA August 17-20 2006 Proceedings Paperback, Springer
Design and Implementation of Symbolic Computation Systems: International Symposium Disco ''92 Bath U..., Springer
Software Measurement: 25th International Workshop on Software Measurement and 10th International Confe..., Springer
Models in Software Engineering: Workshops and Symposia at Models 2009 Denver Co USA October 4-9 2..., Springer
Advances in Conceptual Modeling - Challenging Perspectives: ER 2009 Workshops CoMoL ETheCoM FP-UML ..., Springer
67,200원
Risk Assessment and Risk-Driven Quality Assurance: 4th International Workshop Risk 2016 Held in Conj..., Springer
Software Quality - Ecsq 2002: Quality Connection - 7th European Conference on Software Quality Helsin..., Springer
78,340원
Objektorientierte Spezifikation Von Informationssystemen, Vieweg+teubner Verlag
151,880원
Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference Taca..., Springer
Zb 2005: Formal Specification and Development in Z and B: 4th International Conference of B and Z User..., Springer
160,560원
Memory as a Programming Concept in C and C++ Hardcover, Cambridge University Press
158,600원
Leveraging Applications of Formal Methods Verification and Validation: Foundational Techniques: 7th I..., Springer
219,080원
Independent Component Analysis and Blind Signal Separation: 6th International Conference Ica 2006 Ch..., Springer
21,030원
Producing Open Source Software: How to Run a Successful Free Software Project Paperback, O''Reilly Media
95,880원
Software Technologies for Embedded and Ubiquitous Systems: 8th IFIP WG 10.2 International Workshop SE..., Springer
74,640원
Software Engineering in Health Care: 4th International Symposium Fhies 2014 and 6th International Wo..., Springer
Theory and Practice of Model Transformations: 9th International Conference Icmt 2016 Held as Part of..., Springer
72,380원
Reliable Software Technologies -- Ada-Europe 2012: 17th Ada-Europe International Conference on Reliabl..., Springer
CAD Fur Moduln Und Systeme in Der Elektronik: Entwurf Und Technologie, Springer
Effektiv Programmieren in C: Eine Beispielorientierte Einfuhrung, Vieweg+teubner Verlag
Computer Safety Reliability and Security: 22nd International Conference Safecomp 2003 Edinburgh U..., Springer
Testing of Software and Communicating Systems: 19th IFIP TC6/WG6.1 International Conference TestCom 2..., Springer
Algebraic Methodology and Software Technology (Amast''93): Proceedings of the Third International Confe..., Springer
Measurement Modelling and Evaluation of Computing Systems and Dependability and Fault Tolerance Paperback, Springer
118,280원
Software Process Improvement and Capability Determination: 17th International Conference Spice 2017 ..., Springer
Semantics Applications and Implementation of Program Generation: International Workshop Saig 2000 M..., Springer
Rule Representation Interchange and Reasoning on the Web: International Symposium RuleML 2008 Orlan..., Springer
61,200원
Performance Evaluation and Benchmarking: Traditional to Big Data to Internet of Things: 7th Tpc Techno..., Springer
System Analysis and Modeling. Technology-Specific Aspects of Models: 9th International Conference Sam..., Springer
Automated Technology for Verification and Analysis: 8th International Symposium ATVA 2010 Singapore ..., Springer
Central European Functional Programming School: First Central European Summer School Cefp 2005 Budap..., Springer
Agile Risk Management Paperback, Springer
Software Architectures for Product Families: International Workshop Iw-Sapf-3. Las Palmas de Gran Cana..., Springer
Shared Memory Parallel Programming with Open MP: 5th International Workshop on Open MP Application and..., Springer
137,250원
Integration-Ready Architecture and Design: Software Engineering with XML Java .Net Wireless Speech..., Cambridge University Press
29,390원
Data Structures and Algorithms Made Easy: Data Structure and Algorithmic Puzzles Second Edition Paperback, Careermonk Publications
59,500원
Enterprise iPhone and iPad Administrator''s Guide Paperback, Apress