도서/음반/DVD > 해외도서 > 컴퓨터 > 소프트웨어 > 소프트웨어 개발
91,840원
역대최고가 91,840원
최근평균가 91,840원
역대최저가 76,840원
▼
이 포스팅은 쿠팡 파트너스 활동의 일환으로,이에 따른 일정액의 수수료를 제공받습니다.
더보기
122,080원
Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design o..., Springer
74,640원
Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Co..., Springer
78,340원
Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Des..., Springer
91,400원
Formal Methods and Software Engineering: 16th International Conference on Formal Engineering Methods ..., Springer
119,840원
Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for..., Springer
91,000원
(영문도서) Quantitative Evaluation of Systems: 16th International Conference Qest 2019 Glasgow Uk Se... Paperback, Springer, English, 9783030302801
95,880원
Formal Methods for Computational Systems Biology: 8th International School Paperback, Springer
Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of..., Springer
78,380원
Formal Methods for Industrial Critical Systems: 16th International Workshop FMICS 2011 Trento Italy August 29-30 2011 Proceedings Paperback, Springer
95,140원
Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Comp..., Springer
Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer..., Springer
83,940원
Formal Methods for Software Architectures: Third International School on Formal Methods for the Design..., Springer
133,280원
Quantitative Evaluation of Computing and Communication Systems: 8th International Conference on Modell..., Springer
80,640원
Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design o..., Springer
110,880원
Formal Methods for Model-Driven Engineering: 12th International School on Formal Methods for the Desig..., Springer
100,780원
Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Des..., Springer
79,800원
Formal Methods for Industrial Critical Systems: 23rd International Conference Fmics 2018 Maynooth ... Paperback, Springer
Formal Methods for Industrial Critical Systems: 12th International Workshop Fmics 2007 Berlin Germa..., Springer
Formal Methods for Industrial Critical Systems: 14th International Workshop Fmics 2009 Eindhoven th..., Springer
Formal Methods for Industrial Critical Systems: 19th International Conference Fmics 2014 Florence I..., Springer
189,280원
Synchronous Equivalence: Formal Methods for Embedded Systems Hardcover, Springer
Clinical Diagnosis of Atherosclerosis: Quantitative Methods of Evaluation Paperback, Springer
165,430원
Formal Methods for Discrete-Time Dynamical Systems Hardcover, Springer
178,080원
Synchronous Equivalence: Formal Methods for Embedded Systems Paperback, Springer
166,880원
Fme 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Metho..., Springer
185,480원
Fme ''94: Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe..., Springer
211,680원
FM''99 - Formal Methods: World Congress on Formal Methods in the Developement of Computing Systems Tou..., Springer
174,280원
FM''99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toul..., Springer
Formal Methods for Industrial Critical Systems: 13th International Workshop FMICS 2008 L''Aquila Ita..., Springer
79,000원
Formal Methods for Industrial Critical Systems: 25th International Conference Fmics 2020 Vienna A... Paperback, Springer
Formal Methods in Systems Engineering Paperback, Springer
95,000원
Integrated Formal Methods: 16th International Conference Ifm 2020 Lugano Switzerland November 16... Paperback, Springer, English, 9783030634605
163,080원
Fme 2002: Formal Methods - Getting It Right: International Symposium of Formal Methods Europe Copenha..., Springer
Fme ''93: Industrial-Strength Formal Methods: First International Symposium of Formal Methods Europe O..., Springer
73,900원
Quantitative Evaluation of Systems: 17th International Conference Qest 2020 Vienna Austria Augus... Paperback, Springer, English, 9783030598532
Formal Methods for Real-Time and Probabilistic Systems: 5th International Amast Workshop Arts''99 Bam..., Springer
6,630원
The Aging Tidal Wave: How the Baby Boomers Will Swamp Long Term Care and the 3 Steps You Can Take to P..., Createspace Independent Publishing Platform
90,700원
Early Aspects: Current Challenges and Future Directions: 10th International Workshop Vancouver Canad..., Springer
Pearl 89 -- Workshop Uber Realzeitsysteme: 10. Fachtagung Des Pearl-Vereins E.V. Unter Mitwirkung Von ..., Springer
106,400원
Fundamental Approaches to Software Engineering: 17th International Conference Fase 2014 Held as Part..., Springer
Scientific Engineering of Distributed Java Applications: 4th International Workshop Fidji 2004 Luxem..., Springer
107,080원
Compiler Construction: 19th International Conference CC 2010 Held as Part of the Joint European Conf..., Springer
72,380원
GI/Ocg/Ogi-Jahrestagung 1985: Wirtschaftsuniversitat Wien Ubersichtsbeitrage Und Fachgesprache Zu Den ..., Springer
85,780원
Notizen Zu C++ Hardcover, Springer
90,280원
Coordination Models and Languages: 15th International Conference Coordination 2013 Held as a Part of..., Springer
Service Availability: Second International Service Availability Symposium Isas 2005 Berlin Germany ..., Springer
Service Availability: First International Service Availability Symposium Isas 2004 Munich Germany ..., Springer
Self-Organizing Architectures: First International Workshop Soar 2009 Cambridge UK September 14 2..., Springer
Shifting Paradigms in Software Engineering: Proceedings of the 7th Joint Conference of the Austrian Co..., Springer
140,680원
Systematic Reuse: Issues in Initiating and Improving a Reuse Program: Proceedings of the International..., Springer
Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods I..., Springer
219,080원
Information Networking. Networking Technologies for Broadband and Mobile Networks: International Confe..., Springer
118,280원
Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop Taca..., Springer
88,080원
Evaluation of Novel Approaches to Software Engineering: 11th International Conference Enase 2016 Rom..., Springer
Distributed Applications and Interoperable Systems: 5th Ifip Wg 6.1 International Conference Dais 200..., Springer
Coordination Models and Languages: 12th International Conference COORDINATION 2010 Amsterdam The Net..., Springer
Reliable Software Technologies -- ADA-Europe 2006: 11th ADA-Europe International Conference on Reliabl..., Springer
Rapid Integration of Software Engineering Techniques: First International Workshop Rise 2004 Luxembo..., Springer
Advances in Software Engineering Techniques: 4th IFIP TC 2 Central and East European Conference Paperback, Springer
Reliable Software Technologies - ADA-Europe 2007: 12th ADA-Europe International Conference on Reliable..., Springer
83,580원
Agentenorientierte Softwareentwicklung: Methoden und Tools, Springer
301,280원
Computer and Computing Technologies in Agriculture Volume II: First IFIP TC 12 International Conferen..., Springer
72,780원
Chatbots in Der Kundenkommunikation Hardcover, Springer
Software Engineering - Esec ''93: 4th European Software Engineering Conference Garmisch-Partenkirchen ..., Springer
Foundations of Software Technology and Theoretical Computer Science: Tenth Conference Bangalore Indi..., Springer
B 2007: Formal Specification and Development in B: 7th International Conference of B Users Besancon ..., Springer
Formal Methods for Components and Objects: Third International Symposium Fmco 2004 Leiden the Nethe..., Springer
41,270원
Java by Comparison: Become a Java Craftsman in 70 Examples Paperback, Pragmatic Bookshelf
245,280원
Lean Business Systems and Beyond: First Ifip Tc 5 Advanced Production Management Systems Conference (A..., Springer
From Model-Driven Design to Resource Management for Distributed Embedded Systems: IFIP TC 10 Working C..., Springer