도서/음반/DVD > 해외도서 > 컴퓨터 > 소프트웨어 > 소프트웨어 개발
100,780원
역대최고가 100,780원
최근평균가 100,780원
역대최저가 90,780원
▼
이 포스팅은 쿠팡 파트너스 활동의 일환으로,이에 따른 일정액의 수수료를 제공받습니다.
더보기
110,880원
Model Checking Software: 8th International Spin Workshop Toronto Canada May 19-20 2001 Proceedings Paperback, Springer
99,790원
Model Checking Software: 14th International Spin Workshop Berlin Germany July 1-3 2007 Proceedings Paperback, Springer
80,640원
Model Checking Software: 19th International Spin Workshop Oxford UK July 23-24 2012. Proceedings Paperback, Springer
Model Checking Software: 11th International SPIN Workshop Barcelona Spain April 1-3 2004 Proceedings Paperback, Springer
Model Checking Software: 9th International Spin Workshop Grenoble France April 11-13 2002 Proceedings Paperback, Springer
Model Checking Software: 10th International SPIN Workshop Portland OR USA May 9-10 2003 Proceedings Paperback, Springer
Model Checking Software: 13th International Spin Workshop Vienna Austria March 30 - April 1 2006 Proceedings Paperback, Springer
78,380원
Model Checking Software: 18th International Spin Workshop Snowbird UT USA July 14-15 2011 Proceedings Paperback, Springer
122,080원
Spin Model Checking and Software Verification: 7th International Spin Workshop Stanford CA USA Augu..., Springer
Model Checking Software: 15th International SPIN Workshop Los Angeles CA USA August 10-12 2008 Proceedings Paperback, Springer
Model Checking Software: 12th International SPIN Workshop San Francisco CA USA August 22-24 2005 Proceedings Paperback, Springer
Wired/Wireless Internet Communications: 7th International Conference WWIC 2009 Enschede the Netherlands May 27-29 2009 Proceedings Paperback, Springer
94,080원
Model Checking Software: 22nd International Symposium Spin 2015 Stellenbosch South Africa August 24-26 2015 Proceedings Paperback, Springer
133,280원
Memory Management: International Workshop Iwmm 95 Kinross UK September 27 - 29 1995. Proceedings Paperback, Springer
68,900원
(영문도서) Model Checking Software: 29th International Symposium Spin 2023 Paris France April 26-27 ... Paperback, Springer, English, 9783031321566
92,960원
Model Checking Software: 20th International Symposium Spin 2013 Stony Brook NY USA July 8-9 2013 Proceedings Paperback, Springer
89,580원
Distributed Algorithms: 7th International Workshop Wdag 93 Lausanne Switzerland September 27-29 1993. Proceedings Paperback, Springer
74,640원
Model Checking Software: 23rd International Symposium Spin 2016 Co-Located with Etaps 2016 Eindhove..., Springer
Static Analysis: 17th International Symposium SAS 2010 Perpignan France September 14-16 2010 Proceedings Paperback, Springer
Cooperative Information Agents VIII: 8th International Workshop CIA 2004 Erfurt Germany September 27-29 2004 Proceedings Paperback, Springer
Collaboration and Technology: 16th International Conference Criwg 2010 Maastricht the Netherlands September 20-23 2010 Proceedings Paperback, Springer
Model Checking Software Paperback, Springer
89,900원
Model Checking Software: 25th International Symposium Spin 2018 Malaga Spain June 20-22 2018 P... Paperback, Springer
Multiagent System Technologies: 8th German Conference Mates 2010 Leipzig Germany September 27-29 2010 Proceedings Paperback, Springer
Software Engineering for Resilient Systems: Fourth International Workshop Serene 2012 Pisa Italy September 27-28 2012 Proceedings Paperback, Springer
Systems and Optimization: Proceedings of the Twente Workshop Enschede the Netherlands April 16-18 1984 Paperback, Springer
93,680원
Comparative Genomics: International Workshop RECOMB-CG 2009 Budapest Hungary September 27-29 2009 Proceedings, Springer-Verlag New York Inc
Social Informatics: Second International Conference Socinfo 2010 Laxenburg Austria October 27-29 2010 Proceedings Paperback, Springer
Multiple Access Communications: Third International Workshop MACOM 2010 Barcelona Spain September 13-14 2010 Proceedings Paperback, Springer
156,780원
Algorithms in Bioinformatics: 10th International Workshop WABI 2010 Liverpool UK September 6-8 2010 Proceedings Paperback, Springer
141,000원
(영문도서) Model Checking Software: 28th International Symposium SPIN 2022 Virtual Event May 21 2022... Paperback, Springer, English, 9783031150760
79,600원
(영문도서) Model Checking Software: 26th International Symposium Spin 2019 Beijing China July 15-16 ... Paperback, Springer, English, 9783030309220
66,400원
(영문도서) Model Checking Software: 27th International Symposium Spin 2021 Virtual Event July 12 202... Paperback, Springer, English, 9783030846282
Logic Language Information and Computation: 17th International Workshop Wollic 2010 Brasilia Brazil July 6-9 2010 Proceedings Paperback, Springer
155,680원
E-Business Technology and Strategy: International Conference CETS 2010 Ottawa Canada September 29-30 2010 Proceedings Paperback, Springer
67,200원
Software Engineering: International Summer Schools Laser 2013-2014 Elba Italy Revised Tutorial Lectures Paperback, Springer
Software Engineering for Self-Adaptive Systems Paperback, Springer
61,580원
Pragmatic Evaluation of Software Architectures Paperback, Springer
134,160원
Tools for High Performance Computing, Springer-Verlag New York Inc
346,080원
Error Control and Adaptivity in Scientific Computing Hardcover, Springer
Introduction to Formal Hardware Verification Paperback, Springer
256,480원
Software Engineering for Parallel and Distributed Systems Hardcover, Springer
134,390원
Software Engineering: Design Theory and Practice Hardcover, NY Research Press
Die X/Motif Umgebung: Eine Einfuhrung Fur Anwender Und Systemverwalter Paperback, Springer
55,980원
Konzepte Objektorientierter Programmierung: Mit Einer Einfuhrung in Java Paperback, Springer
39,900원
Selected Papers from the 14th Estuarine and Coastal Modeling Conference Paperback, Mdpi AG
8,550원
100 Questions and Answers to Help You Land Your Dream Android Job: Or to Hire the Right Candidate! Paperback, Createspace
High Performance Computing HIPC 2005 Paperback, Springer
42,150원
Pro LCS: Live Communications Server Administration Paperback, Apress
278,880원
Foundations of Dependable Computing: System Implementation Paperback, Springer
323,680원
New Perspectives on Information Systems Development: Theory Methods and Practice Hardcover, Springer
Dependability: Basic Concepts and Terminology: In English French German Italian and Japanese Paperback, Springer
158,080원
Performance Analysis and Optimization of Multi-Traffic on Communication Networks Paperback, Springer
89,590원
Design Theory and Computer Science: Processes and Methodology of Computer Systems Design Paperback, Cambridge University Press
38,160원
Curso de Ingenieria de Software: 2a Edicion Paperback, Createspace Independent Publishing Platform
Programming with Python Hardcover, Springer
Transactions on Aspect-Oriented Software Development VIII Paperback, Springer
28,640원
50 More Tips & Tricks for Dynamics Ax 2012 Paperback, Createspace
140,110원
Qos Management of Web Services, Springer-Verlag New York Inc
Language Constructs for Describing Features: Proceedings of the Fireworks Workshop Paperback, Springer
The Definitive Guide to Magento Paperback, Apress
Mastering Redmine Paperback, Packt Publishing
33,310원
Agile Project Management with Kanban, Microsoft Pr
54,600원
Assembly Language Step-by-Step 3/e : Programming With Linux, Wiley
90,860원
Testing Object-Oriented Software Paperback, Wiley-IEEE Computer Society PR
114,180원
Software Engineering Risk Management Hardcover, Wiley-IEEE Computer Society PR
67,180원
The Definitive Guide to Jython: Python for Java Platform Paperback, Apress
33,600원
Memory Dump Analysis Anthology Volume 3 Paperback, Opentask
Liferay Portal 5.2 Systems Development, Packt Publishing
Das Integrierte Betriebsmittelwesen -- Baustein Einer Flexiblen Fertigung Paperback, Springer
Konfigurationsmanagement Hardcover, Springer