도서/음반/DVD > 해외도서 > 컴퓨터 > 컴퓨터 과학 > 기계 이론
133,280원
역대최고가 133,280원
최근평균가 133,280원
역대최저가 99,950원
▼
이 포스팅은 쿠팡 파트너스 활동의 일환으로,이에 따른 일정액의 수수료를 제공받습니다.
더보기
145,160원
Leveraging Applications of Formal Methods Verification and Validation: Discussion Dissemination App..., Springer
158,600원
Leveraging Applications of Formal Methods Verification and Validation: Foundational Techniques: 7th I..., Springer
74,640원
Leveraging Applications of Formal Methods Verification and Validation: 6th International Symposium ..., Springer
100,780원
Leveraging Applications of Formal Methods Verification and Validation: International Workshops Sars..., Springer
96,700원
Leveraging Applications of Formal Methods Verification and Validation: Verification Principles: 9th... Paperback, Springer, English, 9783030613617
119,840원
Leveraging Applications of Formal Methods Verification and Validation. Technologies for Mastering Cha..., Springer
148,800원
Leveraging Applications of Formal Methods Verification and Validation, Springer-Verlag New York Inc
93,100원
Leveraging Applications of Formal Methods Verification and Validation. Verification: 8th Internatio... Paperback, Springer, English, 9783030034207
Leveraging Applications of Formal Methods Verification and Validation: Applications: 9th Internatio... Paperback, Springer, English, 9783030614669
150,300원
(영문도서) Leveraging Applications of Formal Methods Verification and Validation. Verification Principl... Paperback, Springer, English, 9783031198489
107,500원
Leveraging Applications of Formal Methods Verification and Validation: Engineering Principles: 9th ... Paperback, Springer, English, 9783030614690
116,100원
(영문도서) Leveraging Applications of Formal Methods Verification and Validation. Adaptation and Learni... Paperback, Springer, English, 9783031197581
113,800원
(영문도서) Leveraging Applications of Formal Methods Verification and Validation. Distributed Systems: ... Paperback, Springer, English, 9783030034238
(영문도서) Leveraging Applications of Formal Methods Verification and Validation. Software Engineering:... Paperback, Springer, English, 9783031197550
(영문도서) Leveraging Applications of Formal Methods Verification and Validation. Industrial Practice: ... Paperback, Springer, English, 9783030034269
95,800원
(영문도서) Leveraging Applications of Formal Methods Verification and Validation: 10th International Sy... Paperback, Springer, English, 9783030891589
109,300원
(영문도서) Leveraging Applications of Formal Methods Verification and Validation. Practice: 11th Intern... Paperback, Springer, English, 9783031197611
77,400원
(영문도서) Leveraging Applications of Formal Methods Verification and Validation: Tools and Trends: 9th... Paperback, Springer, English, 9783030837228
(영문도서) Leveraging Applications of Formal Methods Verification and Validation. Modeling: 8th Interna... Paperback, Springer, English, 9783030034177
122,080원
Verification of Reactive Systems: Formal Methods and Algorithms Paperback, Springer
Leveraging Applications of Formal Methods: First International Symposium ISoLA 2004 Paphos Cyprus ..., Springer
Formal Hardware Verification: Methods and Systems in Comparison Paperback, Springer
190,670원
Modern Formal Methods and Applications Hardcover, Springer
110,880원
Formal Specification: Techniques and Applications Paperback, Springer
189,280원
Methods and Procedures for the Verification and Validation of Artificial Neural Networks Hardcover, Springer
Methods and Procedures for the Verification and Validation of Artificial Neural Networks Paperback, Springer
234,080원
Modern Formal Methods and Applications Paperback, Springer
Formal Methods: Applications and Technology Paperback, Springer
167,980원
Scalable Techniques for Formal Verification Hardcover, Springer
119,380원
Scalable Techniques for Formal Verification Paperback, Springer
95,880원
Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of..., Springer
144,480원
Verification and Validation of Real-Time Software Paperback, Springer
Testing and Validation of Computer Simulation Models: Principles Methods and Applications Hardcover, Springer
85,780원
Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods SBMF 2010 N..., Springer
190,380원
Symbolic Simulation Methods for Industrial Formal Verification Hardcover, Springer
141,780원
Symbolic Simulation Methods for Industrial Formal Verification Paperback, Springer
52,980원
Mathematik Fur Informatiker: Grundlagen Und Anwendungen Paperback, Springer Vieweg
Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop Valletta Malta ..., Springer
Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop Aspen Grove UT ..., Springer
80,640원
Brain-Inspired Computing: International Workshop Braincomp 2013 Cetraro Italy July 8-11 2013 Revised Selected Papers Paperback, Springer
50,380원
Arduino Wearable Projects Paperback, Packt Publishing
106,400원
Unveiling Dynamics and Complexity: 13th Conference on Computability in Europe Cie 2017 Turku Finland June 12-16 2017 Proceedings Paperback, Springer
Bioinspired Computation in Artificial Systems: International Work-Conference on the Interplay Between ..., Springer
Theorem Proving in Higher Order Logics: 11th International Conference Tphols''98 Canberra Australia ..., Springer
36,170원
Modelling with Multiple Machine Learning Methodologies: Autonomy Prediction System for Cost Estimation, Createspace Independent Publishing Platform
Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods I..., Springer
Approximation Algorithms for Combinatorial Optimization: 5th International Workshop Approx 2002 Rome..., Springer
Stacs 95: 12th Annual Symposium on Theoretical Aspects of Computer Science Munich Germany March 2-4 1995. Proceedings Paperback, Springer
Formal Techniques for Networked and Distributed Systems - Forte 2002: 22nd Ifip Wg 6.1 International C..., Springer
Quantum Interaction: 8th International Conference Qi 2014 Filzbach Switzerland June 30 -- July 3 2014. Revised Selected Papers Paperback, Springer
Biomedical Applications Based on Natural and Artificial Computing: International Work-Conference on th..., Springer
181,440원
Formation Methods Models and Hardware Implementation of Pseudorandom Number Generators: Emerging Research and Opportunities Hardcover, IGI Global
94,080원
Descriptional Complexity of Formal Systems: 17th International Workshop Dcfs 2015 Waterloo On Canada June 25-27 2015. Proceedings Paperback, Springer
155,680원
Logical Foundations of Computer Science - Tver ''92: Second International Symposium Tver Russia July 20-24 1992. Proceedings Paperback, Springer
Developments in Language Theory: 17th International Conference Dlt 2013 Marne-La-Vallee France June 18-21 2013 Proceedings Paperback, Springer
92,960원
Membrane Computing: 14th International Conference CMC 2013 Chişinău Republic of Moldova August 20-23 2013 Revised Selected Paperback, Springer
87,240원
Analysis of Boolean Functions, Cambridge University Press
56,000원
Clustering Stability: An Overview Paperback, Now Publishers
Developments in Language Theory: 19th International Conference Dlt 2015 Liverpool UK July 27-30 2015 Proceedings. Paperback, Springer
Theorem Proving in Higher Order Logics: 10th International Conference Tphols''97 Murray Hill NJ USA August 19-22 1997 Proceedings Paperback, Springer
16,640원
Machine Learning: For Beginners - Definitive Guide for Neural Networks Algorithms Random Forests and..., Createspace Independent Publishing Platform
Language and Automata Theory and Applications: 10th International Conference Lata 2016 Prague Czech..., Springer
Pattern Recognition and Machine Intelligence: 6th International Conference Premi 2015 Warsaw Poland..., Springer
67,200원
Cellular Automata and Discrete Complex Systems: 20th International Workshop Automata 2014 Himeji Ja..., Springer
Cellular Automata and Discrete Complex Systems: 19th International Workshop Automata 2013 Gieen Ger..., Springer
Randomization and Approximation Techniques in Computer Science: Second International Workshop Random''..., Springer
44,780원
R Machine Learning Essentials Paperback, Packt Publishing
Artificial Computation in Biology and Medicine: International Work-Conference on the Interplay Between..., Springer
166,880원
Accurate Numerical Algorithms: A Collection of Research Papers Paperback, Springer
Algorithms - ESA ''97: 5th Annual European Symposium Graz Austria September 15-17 1997. Proceedings Paperback, Springer
239,300원
Artificial Intelligence in a Throughput Model: Some Major Algorithms Hardcover, CRC Press
Implementation and Application of Automata: 19th International Conference Ciaa 2014 Giessen Germany..., Springer