도서/음반/DVD > 해외도서 > 컴퓨터 > 소프트웨어 > 소프트웨어 개발
64,100원
역대최고가 64,100원
최근평균가 64,100원
역대최저가 57,100원
▼
이 포스팅은 쿠팡 파트너스 활동의 일환으로,이에 따른 일정액의 수수료를 제공받습니다.
더보기
144,480원
Computer Aided Verification: 9th International Conference Cav''97 Haifa Israel June 22-25 1997 Proceedings Paperback, Springer
166,880원
Computer Aided Verification: 18th International Conference CAV 2006 Seattle WA USA August 17-20 2006 Proceedings Paperback, Springer
155,680원
Computer Aided Verification: 19th International Conference CAV 2007 Berlin Germany July 3-7 2007 Proceedings Paperback, Springer
54,800원
(영문도서) Computer Aided Verification: 33rd International Conference Cav 2021 Virtual Event July 20-... Paperback, Springer, English, 9783030816841
60,900원
(영문도서) Computer Aided Verification: 35th International Conference Cav 2023 Paris France July 17-... Paperback, Springer, English, 9783031377020
(영문도서) Computer Aided Verification: 35th International Conference Cav 2023 Paris France July 17-... Paperback, Springer, English, 9783031377082
(영문도서) Computer Aided Verification: 35th International Conference Cav 2023 Paris France July 17-... Paperback, Springer, English, 9783031377051
146,720원
Computer Aided Verification: 24th International Conference Cav 2012 Berkeley CA USA July 7-13 2012 Proceedings Paperback, Springer
133,280원
Computer Aided Verification: 8th International Conference Cav ''96 New Brunswick NJ USA July 31 - August 3 1996. Proceedings Paperback, Springer
68,300원
(영문도서) Computer Aided Verification: 31st International Conference Cav 2019 New York City Ny Usa ... Paperback, Springer, English, 9783030255398
(영문도서) Computer Aided Verification: 31st International Conference Cav 2019 New York City Ny Usa ... Paperback, Springer, English, 9783030255428
56,700원
Computer Aided Verification: 32nd International Conference Cav 2020 Los Angeles Ca Usa July 21-... Paperback, Springer
68,600원
(영문도서) Computer Aided Verification: 30th International Conference Cav 2018 Held as Part of the Fed... Paperback, Springer, English, 9783319961446
(영문도서) Computer Aided Verification: 30th International Conference Cav 2018 Held as Part of the Fed... Paperback, Springer, English, 9783319961415
178,080원
Computer Aided Verification: 14th International Conference Cav 2002 Copenhagen Denmark July 27-31 2002 Proceedings Paperback, Springer
173,600원
Computer Aided Verification: 26th International Conference Cav 2014 Held as Part of the Vienna Summe..., Springer
(영문도서) Automated Reasoning: 11th International Joint Conference Ijcar 2022 Haifa Israel August 8... Paperback, Springer, English, 9783031107689
Computer Aided Verification: 11th International Conference Cav''99 Trento Italy July 6-10 1999 Proceedings Paperback, Springer
151,880원
Computer Aided Verification: 13th International Conference Cav 2001 Paris France July 18-22 2001. Proceedings Paperback, Springer
Computer Aided Verification: 7th International Conference Cav ''95 Liege Belgium July 3 - 5 1995. Proceedings Paperback, Springer
Computer Aided Verification: 16th International Conference CAV 2004 Boston MA USA July 13-17 2004 Proceedings Paperback, Springer
110,880원
Computer Aided Verification: 6th International Conference Cav ''94 Stanford California USA June 21-23 1994. Proceedings Paperback, Springer
Computer Aided Verification: 17th International Conference Cav 2005 Edinburgh Scotland UK July 6-10 2005 Proceedings Paperback, Springer
187,040원
Computer Aided Verification: 25th International Conference Cav 2013 Saint Petersburg Russia July 13-19 2013 Proceedings Paperback, Springer
Computer Aided Verification: 23rd International Conference Cav 2011 Snowbird UT USA July 14-20 2011 Proceedings Paperback, Springer
Computer Aided Verification: 12th International Conference Cav 2000 Chicago Il USA July 15-19 2000 Proceedings Paperback, Springer
135,680원
Computer Aided Verification: 5th International Conference Cav''93 Elounda Greece June 28 - July 1 1993. Proceedings Paperback, Springer
Computer Aided Verification: 15th International Conference Cav 2003 Boulder Co USA July 8-12 2003 Proceedings Paperback, Springer
189,280원
Computer Aided Verification: 21st International Conference CAV 2009 Grenoble France June 26-July 2 2009 Proceedings Paperback, Springer
160,850원
Computer Aided Verification: 29th International Conference Cav 2017 Heidelberg Germany July 24-28 2017 Proceedings Part I Paperback, Springer
Computer Aided Verification: 29th International Conference Cav 2017 Heidelberg Germany July 24-28 2017 Proceedings Part II Paperback, Springer
Computer Aided Verification: 10th International Conference Cav''98 Vancouver BC Canada June 28-July 2 1998 Proceedings Paperback, Springer
119,840원
Computer Aided Verification: 28th International Conference Cav 2016 Toronto On Canada July 17-23 2016 Proceedings Part I Paperback, Springer
Computer Aided Verification: 28th International Conference Cav 2016 Toronto On Canada July 17-23 2016 Proceedings Part II Paperback, Springer
106,400원
Computer Aided Verification: 27th International Conference Cav 2015 San Francisco CA USA July 18-24 2015 Proceedings Part II Paperback, 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
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
273,200원
(영문도서) Accelerating Digital Transformation: 10 Years of Software Center Hardcover, Springer, English, 9783031108723