도서/음반/DVD > 해외도서 > 컴퓨터 > 컴퓨터 과학 > 컴퓨터 과학 일반
334,880원
역대최고가 334,880원
최근평균가 334,880원
역대최저가 284,640원
▼
이 포스팅은 쿠팡 파트너스 활동의 일환으로,이에 따른 일정액의 수수료를 제공받습니다.
더보기
Formal Methods for Protocol Engineering and Distributed Systems: Forte XII / Pstv Xix''99 Hardcover, Springer
288,960원
Formal Techniques for Networked and Distributed Systems: Forte 2001 Paperback, Springer
Formal Techniques for Networked and Distributed Systems: Forte 2001 Hardcover, Springer
Formal Description Techniques and Protocol Specification Testing and Verification: Forte X / Pstv XVII ''97 Paperback, Springer
Formal Description Techniques and Protocol Specification Testing and Verification: Forte X / Pstv XVII ''97 Hardcover, Springer
110,880원
Formal Methods in Systems Engineering Paperback, Springer
122,080원
Formal Techniques for Networked and Distributed Systems - Forte 2007: 27th Ifip Wg 6.1 International C..., Springer
Formal Techniques for Networked and Distributed Systems - Forte 2004: 24th Ifip Wg 6.1 International C..., Springer
151,880원
Formal Techniques for Networked and Distributed Systems - Forte 2005: 25th Ifip Wg 6.1 International C..., Springer
Formal Techniques for Networked and Distributed Systems Forte 2008: 28th Ifip Wg 6.1 International Con..., Springer
Formal Techniques for Networked and Distributed Systems - Forte 2002: 22nd Ifip Wg 6.1 International C..., Springer
144,480원
Formal Techniques for Networked and Distributed Systems - Forte 2003: 23rd Ifip Wg 6.1 International C..., Springer
Formal Techniques for Networked and Distributed Systems - Forte 2006: 26th Ifip Wg 6.1 International C..., Springer
189,280원
Formal Methods for Embedded Distributed Systems: How to Master the Complexity Paperback, Springer
320,320원
Formal Methods for Open Object-Based Distributed Systems: Volume 2 Hardcover, Springer
Formal Methods for Open Object-Based Distributed Systems: Volume 1 Hardcover, Springer
120,960원
Formal Techniques for Distributed Systems: Joint Ifip Wg 6.1 International Conference Fmoods/Forte 20..., Springer
110,250원
Formal Techniques for Distributed Objects Components and Systems Paperback, Springer
105,280원
Formal Methods for Embedded Distributed Systems: How to Master the Complexity Hardcover, 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
163,080원
Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods ..., Springer
129,480원
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
Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods ..., Springer
91,400원
Formal Methods and Software Engineering: 16th International Conference on Formal Engineering Methods ..., Springer
Formal Methods and Software Engineering Paperback, Springer
Formal Foundations for Software Engineering Methods Paperback, Springer
140,680원
Formal Methods and Software Engineering: 7th International Conference on Formal Engineering Methods I..., Springer
185,480원
Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods I..., Springer
133,280원
Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods I..., Springer
Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods I..., Springer
Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods I..., 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
Algorithms and Computation: 13th International Symposium Isaac 2002 Vancouver BC Canada November 21-23 2002 Proceedings Paperback, Springer
Automatic Differentiation of Algorithms: From Simulation to Optimization Paperback, Springer
78,380원
GI -- 16. Jahrestagung II: Informatik-Anwendungen -- Trends Und Perspektiven Paperback, Springer
222,880원
Grey Information: Theory and Practical Applications Hardcover, Springer
52,350원
Information-Theoretic Evaluation for Computational Biomedical Ontologies, Springer-Verlag New York Inc
Mathematische Routinen VC 20: Elektrotechnik/Elektronik Paperback, Vieweg+teubner Verlag
178,080원
Future Interaction Design Paperback, Springer
99,790원
Knowledge Representation for Agents and Multi-Agent Systems, Springer-Verlag New York Inc
Medical Simulation: International Symposium Isms 2004 Cambridge Ma USA June 17-18 2004 Proceedings Paperback, Springer
44,780원
Formal Aspects of Cognitive Processes: Proceedings Interdisciplinary Conference Ann Arbor March 1972 Paperback, Springer
Analysis of Drum and Disk Storage Units Paperback, Springer
The Inside Text: Social Cultural and Design Perspectives on SMS Paperback, Springer
335,980원
Secure Localization and Time Synchronization for Wireless Sensor and Ad Hoc Networks Hardcover, Springer
160,270원
Researching Learning in Virtual Worlds, Springer-Verlag New York Inc
190,400원
Sigmod 13 International Conference on Management of Data V1 Paperback, ACM
245,280원
Evolutionary Multi-Criterion Optimization: 4th International Conference EMO 2007 Matsushima Japan March 5-8 2007 Proceedings Paperback, Springer
Theoretical Aspects of Local Search Hardcover, Springer
Embedded System Design: Topics Techniques and Trends Hardcover, Springer
120,110원
Software and Data Technologies: 4th International Conference ICSOFT 2009, Springer-Verlag New York Inc
110,030원
Research and Education in Robotics- EUROBOT 2008, Springer-Verlag New York Inc
85,120원
Investigations on Digital Storytelling Paperback, VDM Verlag Dr. Mueller E.K.
140,110원
Self-Aware Computing Systems: An Engineering Approach Hardcover, Springer
Autonomy Oriented Computing: From Problem Solving to Complex Systems Modeling Paperback, Springer
323,680원
Communities and Technologies Paperback, Springer
83,540원
Candidate Multilinear Maps Hardcover, Morgan & Claypool Publishers-ACM
47,400원
Journal of Green Engineering Vol 3-2 Paperback, River Publishers
103,760원
Argumentation in Multi-Agent Systems, Springer-Verlag New York Inc
Algorithmen: Entwurf Und Analyse Paperback, Springer
402,080원
Information Systems Development: Reflections Challenges and New Directions Hardcover, Springer
54,120원
Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach Paperback, Princeton University Press
The Incomputable: Journeys Beyond the Turing Barrier Hardcover, Springer
26,680원
The New Turing Omnibus: 66 Excursions in Computer Science, Henry Holt & Co
85,780원
Computer Algebra in Scientific Computing: 13th International Workshop CASC 2011 Kassel Germany September 5-9 2011 Proceedings Paperback, Springer
Ant Colony Optimization And Swarm Intelligence, Springer-Verlag New York Inc
Motion in Games: Second International Workshop MIG 2009 Zeist the Netherlands November 21-24 2009 Proceedings, Springer Verlag
200,480원
Shaping the It Organization -- The Impact of Outsourcing and the New Business Model Paperback, Springer