도서/음반/DVD > 해외도서 > 컴퓨터 > 소프트웨어 > 소프트웨어 개발
172,300원
역대최고가 172,300원
최근평균가 172,300원
역대최저가 157,300원
▼
이 포스팅은 쿠팡 파트너스 활동의 일환으로,이에 따른 일정액의 수수료를 제공받습니다.
더보기
106,400원
NASA Formal Methods: 7th International Symposium Nfm 2015 Pasadena CA USA April 27-29 2015 Proceedings Paperback, Springer
144,480원
NASA Formal Methods: Third International Symposium NFM 2011 Pasadena CA USA April 18-20 2011 Proceedings Paperback, Springer
101,400원
NASA Formal Methods: 12th International Symposium Nfm 2020 Moffett Field Ca Usa May 11-15 2020... Paperback, Springer
NASA Formal Methods: 9th International Symposium Nfm 2017 Moffett Field CA USA May 16-18 2017 Proceedings Paperback, Springer
119,840원
NASA Formal Methods: 5th International Symposium Nfm 2013 Moffett Field CA USA May 14-16 2013. Proceedings Paperback, Springer
85,200원
(영문도서) NASA Formal Methods: 13th International Symposium Nfm 2021 Virtual Event May 24-28 2021 ... Paperback, Springer
90,780원
NASA Formal Methods: 6th International Symposium Nfm 2014 Houston TX USA April 29 - May 1 2014. Proceedings Paperback, Springer
112,400원
(영문도서) NASA Formal Methods: 15th International Symposium Nfm 2023 Houston Tx Usa May 16-18 202... Paperback, Springer, English, 9783031331695
94,000원
(영문도서) NASA Formal Methods: 11th International Symposium Nfm 2019 Houston Tx Usa May 7-9 2019 ... Paperback, Springer, English, 9783030206512
81,840원
NASA Formal Methods: 8th International Symposium Nfm 2016 Minneapolis MN USA June 7-9 2016 Proceedings Paperback, Springer
110,880원
NASA Formal Methods: 4th International Symposium Nfm 2012 Norfolk Va USA April 3-5 2012 Proceedings Paperback, Springer
91,400원
NASA Formal Methods: 10th International Symposium Nfm 2018 Newport News Va Usa April 17-19 2018 Proceedings Paperback, Springer
146,880원
FM 2006: Formal Methods: 14th International Symposium on Formal Methods Hamilton Canada August 21-27 2006 Proceedings Paperback, Springer
133,280원
FM 2008: Formal Methods: 15th International Symposium on Formal Methods Turku Finland May 26-30 2008 Proceedings Paperback, Springer
Formal Methods and Software Engineering: 14th International Conference on Formal Engineering Methods ..., Springer
155,680원
FM 2014: Formal Methods: 19th International Symposium Singapore May 12-16 2014. Proceedings Paperback, Springer
134,400원
(영문도서) Formal Methods: 24th International Symposium FM 2021 Virtual Event November 20-26 2021 P... Paperback, Springer
FM 2012: Formal Methods: 18th International Symposium Paris France August 27-31 2012. Proceedings Paperback, Springer
100,780원
Recent Advances in Intrusion Detection: 14th International Symposium Raid 2011 Menlo Park CA USA September 20-21 2011 Proceedings Paperback, Springer
Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Des..., Springer
FM 2015: Formal Methods: 20th International Symposium Oslo Norway June 24-26 2015 Proceedings Paperback, Springer
185,480원
Fme ''94: Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe..., Springer
163,080원
Fme 2002: Formal Methods - Getting It Right: International Symposium of Formal Methods Europe Copenha..., Springer
174,280원
Fme ''93: Industrial-Strength Formal Methods: First International Symposium of Formal Methods Europe O..., Springer
193,400원
(영문도서) Formal Methods in Architecture: Proceedings of the 5th International Symposium on Formal Meth... Paperback, Springer, English, 9783030575113
105,800원
(영문도서) Integrated Formal Methods: 14th International Conference Ifm 2018 Maynooth Ireland Septem... Paperback, Springer, English, 9783319989372
166,880원
Fme 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Metho..., Springer
52,980원
Interval Mathematics: Proceedings of the International Symposium Karlsruhe West Germany May 20-24 1975 Paperback, Springer
310,300원
(영문도서) Formal Methods in Architecture: Proceedings of the 6th International Symposium on Formal Meth... Hardcover, Springer, English, 9789819922161
180,480원
Fme 2003: Formal Methods: International Symposium of Formal Methods Europe. Pisa Italy September 8-14 2003 Proceedings Paperback, Springer
FM 2005: Formal Methods: International Symposium of Formal Methods Europe Newcastle UK July 18-22 2005 Proceedings Paperback, Springer
80,640원
Information Hiding: 14th International Conference Ih 2012 Berkeley CA USA May 15-18 2012 Revised Selected Papers Paperback, Springer
109,800원
(영문도서) Advances in Visual Computing: 17th International Symposium Isvc 2022 San Diego Ca Usa Oc... Paperback, Springer, English, 9783031207129
74,640원
Leveraging Applications of Formal Methods Verification and Validation: 6th International Symposium ..., Springer
96,800원
(영문도서) Comparative Genomics: 19th International Conference RECOMB-CG 2022 La Jolla CA USA May 2... Paperback, Springer, English, 9783031062193
Fme ''96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Me..., Springer
116,100원
(영문도서) Leveraging Applications of Formal Methods Verification and Validation. Software Engineering:... Paperback, Springer, English, 9783031197550
46,500원
(영문도서) Everything about Scrum Into Industries: Every Guideline to Use Scrum Paperback, Nicholas Watt, English, 9781806150168
41,300원
(영문도서) Kaizen and Scrum Ideology in Your Work: Current Trends and Quick Action You Should Take Hardcover, Nicholas Watt, English, 9781806150151
86,700원
(영문도서) Handbook of Requirements and Business Analysis Paperback, Springer, English, 9783031067389
84,400원
(영문도서) Deriving Goal-oriented Performance Models by Systematic Experimentation Paperback, Karlsruher Institut Fur Tec..., English, 9783731501657
64,000원
(영문도서) Rancher Deep Dive: Manage enterprise Kubernetes seamlessly with Rancher Paperback, Packt Publishing, English, 9781803246093
71,000원
(영문도서) System Reliability Management: Solutions and Technologies Paperback, CRC Press, English, 9780367780784
120,300원
(영문도서) Passive and Active Network Measurement: 10th International Conference Pam 2009 Seoul Korea... Paperback, Springer, English, 9783642009747
60,700원
(영문도서) Music Representation and Transformation in Software: Structure and Algorithms in Python Paperback, Springer
28,300원
(영문도서) Lean Enterprise + Kaizen: Validated Ideas to Improve Working of Large Programs Through Lean M... Paperback, Hollie C Hargreaves, English, 9781803036908
37,700원
(영문도서) Lean Enterprise + Kaizen: Validated Ideas to Improve Working of Large Programs Through Lean M... Hardcover, Hollie C Hargreaves, English, 9781803036915
233,200원
(영문도서) Domain-Specific Languages in Practice: with JetBrains MPS Paperback, Springer, English, 9783030737603
234,500원
(영문도서) Harnessing the Internet of Things (IoT) for a Hyper-Connected Smart World Hardcover, Apple Academic Press, English, 9781774639740
70,400원
(영문도서) Advances in Conceptual Modeling: Er 2022 Workshops Cmls Emper and Jusmod Hyderabad India... Paperback, Springer, English, 9783031220357
93,900원
(영문도서) Runtime Verification: 22nd International Conference RV 2022 Tbilisi Georgia September 28-... Paperback, Springer, English, 9783031171956
33,400원
(영문도서) Building macOS apps with SwiftUI: A Practical Learning Guide Paperback, Independently Published, English, 9798367126280
45,600원
(영문도서) X Toolkit Intrinsics Reference Manual: For Version 11 of the X Window System; Volume 5 Hardcover, Legare Street Press, English, 9781019181652
80,000원
(영문도서) Agile Processes in Software Engineering and Extreme Programming - Workshops: XP 2019 Workshop... Paperback, Springer, English, 9783030301255
78,300원
(영문도서) What Every Engineer Should Know about Software Engineering Paperback, CRC Press, English, 9781032111537
88,000원
(영문도서) Cloud Computing and Services Science: 11th International Conference Closer 2021 Virtual Eve... Paperback, Springer, English, 9783031216367
28,200원
(영문도서) Toward Solving Complex Human Problems: Techniques for Increasing Our Understanding of What Ma... Paperback, CRC Press, English, 9780367689155
6,800원
(영문도서) A Pocket Guide to Hci and Ux Design Paperback, Partridge Publishing India, English, 9781543707663
360,900원
(영문도서) Swarm Intelligence: Trends and Applications Hardcover, CRC Press, English, 9781032039954
(영문도서) Discrete Problems in Nature Inspired Algorithms Paperback, CRC Press, English, 9780367572372
22,100원
(영문도서) Docker: The Complete Guide to the Most Widely Used Virtualization Technology. Create Containe... Paperback, Jordan Lioy, English, 9798215406823
64,200원
(영문도서) Argo CD in Practice: The GitOps way of managing cloud-native applications Paperback, Packt Publishing, English, 9781803233321
50,300원
(영문도서) Clean Craftsmanship: Disciplines Standards and Ethics Paperback, Addison-Wesley Professional, English, 9780136915713
62,300원
(영문도서) Microsoft Power Platform Enterprise Architecture - Second Edition: Design tailor-made solutio... Paperback, Packt Publishing, English, 9781804612637
49,200원
(영문도서) A Developer''s Guide to Building Resilient Cloud Applications with Azure: Deploy applications ... Paperback, Packt Publishing, English, 9781804611715
62,100원
(영문도서) Acing the System Design Interview Paperback, Manning Publications, English, 9781633439108
71,400원
(영문도서) Industrial Iot Application Architectures and Use Cases Paperback, Auerbach Publications, English, 9781032474465
88,800원
(영문도서) Agile Methods: 11th Brazilian Workshop Wbma 2021 Virtual Event October 8-10 2021 Revised... Paperback, Springer, English, 9783031256479
49,300원
(영문도서) Building with Ethereum: Products Protocols and Platforms Paperback, Apress, English, 9781484290446
239,300원
(영문도서) Perspective of DNA Computing in Computer Science: Volume 129 Hardcover, Academic Press, English, 9780323855464
169,700원
(영문도서) Software Engineering and Formal Methods. Sefm 2022 Collocated Workshops: Ai4ea F-Ide Cosim-... Paperback, Springer, English, 9783031262357
21,800원
(영문도서) DevStreams: Scaling Software Delivery. Naturally. Paperback, Independently Published, English, 9798387834233