도서/음반/DVD > 해외도서 > 컴퓨터 > 소프트웨어 > 소프트웨어 개발
71,680원
역대최고가 71,680원
최근평균가 71,680원
역대최저가 60,920원
▼
이 포스팅은 쿠팡 파트너스 활동의 일환으로,이에 따른 일정액의 수수료를 제공받습니다.
더보기
110,880원
Model Checking Software Paperback, Springer
90,720원
Quantitative Approaches for Evaluating Software Architectures Paperback, VDM Verlag
Specification and Analysis of Software Architectures Paperback, VDM Verlag Dr. Mueller E.K.
96,320원
A Grounded Theory of Software Process Model Adoption Paperback, VDM Verlag
109,320원
Model Checking Abstract State Machines Paperback, VDM Verlag Dr. Mueller E.K.
119,840원
Software and Hardware Architectures for FPGA-Based Image Processing Paperback, VDM Verlag
94,080원
Secured Mobile-Business Software Model for Nigerian Airline Paperback, VDM Verlag
132,160원
Armms - An Architectural Reference Model for Multilingual Software Paperback, VDM Verlag
45,920원
Formalization and Model Checking of Software Architectural Style Paperback, LAP Lambert Academic Publishing
133,280원
Systems and Software Verification: Model-Checking Techniques and Tools Paperback, Springer
99,790원
Quality of Software Architectures Models and Architectures, Springer-Verlag New York Inc
85,120원
Rationale-Based Unified Software Engineering Model Paperback, VDM Verlag Dr. Mueller E.K.
66,080원
Satisfiability Checking with Difference Constraints Paperback, VDM Verlag
60,480원
A Holistic Method for Assessing Software Product Line Architectures Paperback, VDM Verlag Dr. Mueller E.K.
Software-Usability Paperback, VDM Verlag
113,120원
Use of Integrated Library Software Paperback, VDM Verlag
115,360원
Release Planning of Software Systems Paperback, VDM Verlag
76,160원
Symbiotic Relationship of Product and Organizational Architectures Paperback, VDM Verlag
125,440원
Synthesis of Polycyclic Aromatics with Unusual Architectures Paperback, VDM Verlag
75,040원
Software Platform of Mobile TV Paperback, VDM Verlag
70,560원
Power Efficiency and Scalability in Video Compression Paperback, VDM Verlag
Improving Immunization Coverage Paperback, VDM Verlag
107,520원
Modular Synthesis of Well-Defined Macromolecular Architectures Paperback, VDM Verlag
109,100원
(영문도서) Concise Guide to Software Verification: From Model Checking to Annotation Checking Hardcover, Springer, English, 9783031301667
135,650원
Verification Model Checking and Abstract Interpretation, Springer Verlag
124,320원
A Vocational Model of Confirmation Paperback, VDM Verlag
56,160원
Open Source Software Paperback, VDM Verlag
84,000원
Software Process Models Paperback, VDM Verlag
80,720원
Software Engineering Paradigm Paperback, VDM Verlag
Modern Malicious Software Paperback, VDM Verlag
95,200원
Software Process Measurement Paperback, VDM Verlag
116,480원
Improving the Relevance of Search Results Paperback, VDM Verlag
103,040원
Development of Sustainability Assessment Model Paperback, VDM Verlag
112,000원
An Evaluation of Open Source Software Paperback, VDM Verlag
73,920원
Software Engineering Economics Paperback, VDM Verlag
Software Process Support Paperback, VDM Verlag
Previewing the Effects of Refactoring Paperback, VDM Verlag Dr. Mueller E.K.
89,580원
Cooperative Bug Isolation: Winning Thesis of the 2005 ACM Doctoral Dissertation Competition Paperback, Springer
78,380원
Guerrilla Capacity Planning: A Tactical Approach to Planning for Highly Scalable Applications and Services Hardcover, Springer
122,080원
Static Analysis: Third International Symposium SAS ''96 Aachen Germany September 24 - 26 1996. Proceedings Paperback, Springer
222,880원
Software and Systems Traceability Hardcover, Springer
33,580원
Pulling Strings with Puppet: Configuration Management Made Easy Paperback, Apress
Portable Methodenmonitoren: Dialogsysteme Zur Steuerung Von Methodenbanken: Softwaretechnischer Aufbau Und Effizienzanalyse Paperback, Springer
109,760원
Transactions on Petri Nets and Other Models of Concurrency VIII Paperback, Springer
185,480원
Conclog: A Methodological Approach to Concurrent Logic Programming Paperback, Springer
23,830원
Ingenieria y Arquitectura del Software Paperback, Createspace Independent Publishing Platform
Practical Aspects of Declarative Languages: Second International Workshop Padl 2000 Boston Ma USA January 17-18 2000. Proceedings Paperback, Springer
100,780원
Essential Software Architecture Paperback, Springer
37,800원
Memory Dump Analysis Anthology Volume 5 Hardcover, Opentask
323,680원
Models in System Design Paperback, Springer
Wireless Sensor Networks: First European Workshop Ewsn 2004 Berlin Germany January 19-21 2004 Proceedings Paperback, Springer
80,780원
Transactions on Pattern Languages of Programming II: Special Issue on Applying Patterns Paperback, Springer
38,190원
Coding in Delphi Paperback, Nepeta Enterprises
130,030원
Robustness in Identification and Control Paperback, Springer
144,480원
Software Architecture Paperback, Springer
Web Engineering Paperback, Springer
155,680원
Patterns Programming and Everything Paperback, Springer
Modeling with UML: Language Concepts Methods Hardcover, Springer
Event-Based Programming: Taking Events to the Limit Hardcover, Apress
Semantic Models for Adaptive Interactive Systems Paperback, Springer
Datenbanksysteme in Buro Technik Und Wissenschaft: GI/Si-Fachtagung Zurich 1.-3. Marz 1989 Proceedings Paperback, Springer
Architectures for Adaptive Software Systems Paperback, Springer
Contemporary Trends in Systems Development Paperback, Springer
Software Composition: 7th International Symposium SC 2008 Budapest Hungary March 29-30 2008. Proceedings Paperback, Springer
Conceptual Modeling - Er 2013: 32th International Conference Er 2013hong-Kong China November 11-13 2013 Proceedings Paperback, Springer
33,710원
Beginning Fedora: From Novice to Professional [With CDROM] Paperback, Apress
The Definitive Guide to CentOS Paperback, Apress
55,940원
Ubersetzung Objektorientierter Programmiersprachen: Konzepte Abstrakte Maschinen Und Praktikum "Java-Compiler" Paperback, Springer
189,280원
Behavioral Intervals in Embedded Software: Timing and Power Analysis of Embedded Real-Time Software Processes Hardcover, Springer
218,400원
Formal and Practical Aspects of Domain-Specific Languages: Recent Developments Hardcover, Information Science Reference
Messung Modellierung Und Bewertung Von Rechensystemen: 4. GI/ITG-Fachtagung Erlangen 29. September - 1. Oktober 1987. Proceedings Paperback, Springer
Model-Integrating Software Components: Engineering Flexible Software Systems Paperback, Springer Vieweg