도서/음반/DVD > 해외도서 > 컴퓨터 > 컴퓨터 과학 > 컴퓨터 과학 일반
106,400원
역대최고가 106,400원
최근평균가 106,400원
역대최저가 106,400원
▼
이 포스팅은 쿠팡 파트너스 활동의 일환으로,이에 따른 일정액의 수수료를 제공받습니다.
더보기
91,400원
Automated Technology for Verification and Analysis: 13th International Symposium Atva 2015 Shanghai ..., Springer
107,080원
Automated Technology for Verification and Analysis: 8th International Symposium ATVA 2010 Singapore ..., Springer
Automated Technology for Verification and Analysis: 10th International Symposium Atva 2012 Thiruvana..., Springer
155,680원
Automated Technology for Verification and Analysis: Third International Symposium Atva 2005 Taipei ..., Springer
Automated Technology for Verification and Analysis: 12th International Symposium Atva 2014 Sydney A..., Springer
122,080원
Automated Technology for Verification and Analysis: 9th International Symposium ATVA 2011 Taipei Ta..., Springer
Automated Technology for Verification and Analysis: 4th International Symposium ATVA 2006 Beijing C..., Springer
Automated Technology for Verification and Analysis: 5th International Symposium ATVA 2007 Tokyo Japa..., Springer
Automated Technology for Verification and Analysis: 11th International Symposium Atva 2013 Hanoi Vi..., Springer
108,300원
Automated Technology for Verification and Analysis: 18th International Symposium Atva 2020 Hanoi ... Paperback, Springer, English, 9783030591519
Automated Technology for Verification and Analysis: 15th International Symposium Atva 2017 Pune India October 3-6 2017 Proceedings Paperback, Springer
96,800원
(영문도서) Automated Technology for Verification and Analysis: 21st International Symposium Atva 2023 ... Paperback, Springer, English, 9783031453311
90,100원
(영문도서) Automated Technology for Verification and Analysis: 19th International Symposium ATVA 2021 ... Paperback, Springer, English, 9783030888848
108,400원
(영문도서) Automated Technology for Verification and Analysis: 20th International Symposium Atva 2022 ... Paperback, Springer, English, 9783031199912
103,100원
(영문도서) Automated Technology for Verification and Analysis: 21st International Symposium Atva 2023 ... Paperback, Springer, English, 9783031453281
166,880원
Automated Technology for Verification and Analysis: Second International Conference Atva 2004 Taipei..., Springer
80,640원
String Processing and Information Retrieval: 23rd International Symposium Spire 2016 Beppu Japan October 18-20 2016 Proceedings Paperback, Springer
130,030원
Automated Technology for Verification and Analysis, Springer-Verlag New York Inc
Advances in Intelligent Data Analysis XV: 15th International Symposium Ida 2016 Stockholm Sweden October 13-15 2016 Proceedings Paperback, Springer
94,080원
Computer and Information Sciences: 31st International Symposium Iscis 2016 Krakow Poland October 27-28 2016 Proceedings Paperback, Springer
118,280원
The Semantic Web - Iswc 2016: 15th International Semantic Web Conference Kobe Japan October 17-21 2016 Proceedings Part I Paperback, Springer
119,840원
The Semantic Web - Iswc 2016: 15th International Semantic Web Conference Kobe Japan October 17-21 2016 Proceedings Part II Paperback, Springer
Similarity Search and Applications: 9th International Conference SISAP 2016 Tokyo Japan October 24-26 2016 Proceedings Paperback, Springer
160,160원
Service-Oriented Computing: 14th International Conference ICSOC 2016 Banff AB Canada October 10-13 2016 Proceedings Paperback, Springer
70,640원
Functional and Logic Programming: 13th International Symposium Flops 2016 Kochi Japan March 4-6 2016 Proceedings Paperback, Springer
Knowledge and Systems Sciences: 17th International Symposium Kss 2016 Kobe Japan November 4-6 2016 Proceedings Paperback, Springer
67,200원
Collaboration and Technology: 22nd International Conference Criwg 2016 Kanazawa Japan September 14-16 2016 Proceedings Paperback, Springer
Static Analysis: 23rd International Symposium SAS 2016 Edinburgh UK September 8-10 2016 Proceedings Paperback, Springer
Conceptual Modeling: 35th International Conference Er 2016 Gifu Japan November 14-17 2016 Proceedings Paperback, Springer
Search Based Software Engineering: 8th International Symposium SSBSE 2016 Raleigh NC USA October 8-10 2016 Proceedings Paperback, Springer
Hybrid Systems Biology: 5th International Workshop HSB 2016 Grenoble France October 20-21 2016 Proceedings Paperback, Springer
OpenMP: Memory Devices and Tasks: 12th International Workshop on OpenMP IWOMP 2016 Nara Japan October 5-7 2016 Proceedings Paperback, Springer
Theory of Cryptography: 14th International Conference Tcc 2016-B Beijing China October 31-November 3 2016 Proceedings Part II Paperback, Springer
Neural Information Processing: 23rd International Conference Iconip 2016 Kyoto Japan October 16-21 2016 Proceedings Part II Paperback, Springer
133,280원
Theory of Cryptography: 14th International Conference Tcc 2016-B Beijing China October 31-November 3 2016 Proceedings Part I Paperback, Springer
146,720원
Neural Information Processing: 23rd International Conference Iconip 2016 Kyoto Japan October 16-21 2016 Proceedings Part I Paperback, Springer
110,880원
Public Key Infrastructure: Third European Pki Workshop: Theory and Practice Europki 2006 Turin Italy June 19-20 2006 Proceedings Paperback, Springer
61,580원
Enhanced Building Information Models: Using Iot Services and Integration Patterns Paperback, Springer
78,380원
Rechenstrukturen Und Geometrie Mit LOGO Paperback, Vieweg+teubner Verlag
Flexible Query Answering Systems: 10th International Conference Fqas 2013 Granada Spain September 18-20 2013. Proceedings Paperback, Springer
189,280원
Information Systems Methodology: Proceedings 2nd Conference of the European Cooperation in Informatics Venice October 10-12 1978 Paperback, Springer
Basic-Programmierbuch: Zu Den Grundlegenden Ablaufstrukturen Der Datenverarbeitung Paperback, Vieweg+teubner Verlag
55,940원
Computernetze Und Virtuelle Realitat: Leben in Der Wissensgesellschaft Paperback, Springer
Membrane Computing: 11th International Conference CMC 2010 Jena Germany August 24-27 2010. Revised Selected Papers Paperback, Springer
220,750원
On the Move to Meaningful Internet Systems 2008, Springer-Verlag New York Inc
113,770원
Mobile Entity Localization and Tracking in GPS-less Environnments, Springer-Verlag New York Inc
An Introduction to the Regenerative Method for Simulation Analysis Paperback, Springer
256,480원
Climate and Environmental Database Systems Paperback, Springer
Advances in Computer Games: 12th International Conference ACG 2009 Pamplona Spain May 11-13 2009 Revised Papers Paperback, Springer
An Integrated Approach to Software Engineering Hardcover, Springer
124,950원
Database and Expert Systems Applications, Springer-Verlag New York Inc
89,580원
Schutz Genetischer Medizinischer Und Sozialer Daten ALS Multidisziplinare Aufgabe Hardcover, Springer
67,180원
Soft Computing in Der Bioinformatik: Eine Grundlegende Einfuhrung Und Ubersicht Hardcover, Springer
201,600원
Ubiquitous Computing: Design Implementation and Usability Hardcover, Information Science Reference
34,660원
Informatik 2: Eine Einfuhrende Ubersicht Paperback, Springer
222,880원
Spaces Spatiality and Technology Hardcover, Springer
78,340원
Objektorientierte Programmierung: Ein Einfuhrendes Lehrbuch Mit Beispielen in Modula-2 Paperback, Vieweg+teubner Verlag
Vererbung Fur Systementwickler: Grundlagen Und Anwendungen Paperback, Vieweg+teubner Verlag
245,280원
Agent-Based Approaches in Economic and Social Complex Systems VII: Post-Proceedings of the Aescs International Workshop 2012 Paperback, Springer
211,680원
Human-Centered Software Engineering - Integrating Usability in the Software Development Lifecycle Paperback, Springer
New Directions in Cognitive Information Retrieval Paperback, Springer
44,740원
Voice Over IP Security: A Comprehensive Survey of Vulnerabilities and Academic Research Paperback, Springer
5,600원
Algorithms - A Short Review Paperback, Createspace Independent Publishing Platform
Mathematics of Program Construction: 7th International Conference MPC 2004 Stirling Scotland UK July 12-14 2004 Proceedings Paperback, Springer
Information Security and Privacy: 9th Australasian Conference Acisp 2004 Sydney Australia July 13-15 2004 Proceedings Paperback, Springer
Unconventional Computation: 4th International Conference Uc 2005 Sevilla Spain October 3-7 Proceedings Paperback, Springer
200,480원
Advances in Web-Age Information Management: 5th International Conference Waim 2004 Dalian China July 15-17 2004 Proceedings Paperback, Springer
100,800원
Journal of Artificial Intelligence Research Volume 46 Paperback, AAAI
Semantic Integration of Heterogeneous Software Specifications Hardcover, Springer
75,610원
Molecular Biology: Not Only for Bioinformaticians, Springer-Verlag New York Inc
Algorithm Design for Computer System Design Paperback, Springer
100,780원
Opc Unified Architecture Hardcover, Springer