도서/음반/DVD > 해외도서 > 컴퓨터 > 소프트웨어 > 소프트웨어 개발
140,680원
역대최고가 155,680원
최근평균가 140,680원
역대최저가 132,320원
▼
이 포스팅은 쿠팡 파트너스 활동의 일환으로,이에 따른 일정액의 수수료를 제공받습니다.
더보기
79,600원
(영문도서) Symposium on Real-Time and Hybrid Systems: Essays Dedicated to Professor Chaochen Zhou on the... Paperback, Springer, English, 9783030014605
78,340원
Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Des..., Springer
256,480원
Formal Techniques in Real-Time and Fault-Tolerant Systems Hardcover, Springer
241,480원
Formal Techniques in Real-Time and Fault-Tolerant Systems Paperback, Springer
222,880원
Foundations of Real-Time Computing: Formal Specifications and Methods Hardcover, Springer
Foundations of Real-Time Computing: Formal Specifications and Methods Paperback, Springer
122,080원
Formal Methods for Real-Time and Probabilistic Systems: 5th International Amast Workshop Arts''99 Bam..., Springer
Formal Methods in Databases and Software Engineering: Proceedings of the Workshop on Formal Methods in..., 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
144,480원
Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday Paperback, Springer
185,480원
Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Joi..., Springer
129,480원
Formal Techniques in Real-Time and Fault-Tolerant Systems: 4th International Symposium Uppsala Swede..., Springer
158,080원
Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium Nijmegen t..., Springer
Formal Hardware Verification: Methods and Systems in Comparison Paperback, Springer
109,590원
Real-Time Systems : Formal Specification and Automatic Verification, Cambridge
165,430원
Formal Methods for Discrete-Time Dynamical Systems Hardcover, Springer
110,880원
Introduction to the Formal Design of Real-Time Systems Paperback, Springer
Verification of Reactive Systems: Formal Methods and Algorithms Paperback, Springer
Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium Ftrtft 2002 C..., Springer
95,880원
Formal Techniques in Real-Time and Fault-Tolerant Systems: 5th International Symposium Ftrtft''98 Lyn..., Springer
Formal Techniques in Real-Time and Fault-Tolerant Systems: 6th International Symposium Ftrtft 2000 Pu..., Springer
Formal Methods in Systems Engineering Paperback, Springer
74,640원
Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Co..., Springer
106,400원
Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods ..., Springer
119,840원
Formal Methods and Software Engineering: 14th International Conference on Formal Engineering Methods ..., Springer
Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods ..., Springer
163,080원
Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods ..., Springer
Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods ..., Springer
104,840원
Formal Methods and Software Engineering: 18th International Conference on Formal Engineering Methods ..., Springer
91,400원
Formal Methods and Software Engineering: 16th International Conference on Formal Engineering Methods ..., Springer
Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for..., Springer
170,350원
Duration Calculus: A Formal Approach to Real-Time Systems Hardcover, Springer
189,280원
Duration Calculus: A Formal Approach to Real-Time Systems Paperback, Springer
219,080원
Essays on Money Banking and Regulation: Essays in Honour of C. J. Oort Paperback, Springer
214,080원
Essays on Money Banking and Regulation: Essays in Honour of C. J. Oort Hardcover, 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
78,380원
Pearl 89 -- Workshop Uber Realzeitsysteme: 10. Fachtagung Des Pearl-Vereins E.V. Unter Mitwirkung Von ..., Springer
80,640원
Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design o..., Springer
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
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
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
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 Industrial Critical Systems: 13th International Workshop FMICS 2008 L''Aquila Ita..., 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
61,180원
Thinking-Driven Testing: The Most Reasonable Approach to Quality Control Hardcover, Springer