63,800원
Computer Aided Verification Paperback, Saint Philip Street Press, English, 9781013271168
266,560원
Computer-Aided Verification: A Special Issue of Formal Methods in System Design on Computer-Aided Verification Paperback, Springer
161,500원
(영문도서) Handbook of Computer Aided Verification Hardcover, Willford Press, English, 9781647284404
38,300원
Human Computer Interaction and Emerging Technologies Paperback, Saint Philip Street Press, English, 9781013295669
49,600원
Human Computer Interaction and Emerging Technologies Hardcover, Saint Philip Street Press, English, 9781013295676
187,040원
Computer Aided Verification: 25th International Conference Cav 2013 Saint Petersburg Russia July 13-19 2013 Proceedings Paperback, Springer
158,400원
(영문도서) New Paradigms in Computer Aided Verification Hardcover, States Academic Press, English, 9781639896905
54,120원
Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach Paperback, Princeton University Press
52,400원
A Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded Systems Paperback, Saint Philip Street Press, English, 9781013283529
101,920원
Computer-Aided CMM Inspection Planning and Verification Paperback, LAP Lambert Academic Publishing
31,600원
Arcticness Paperback, Saint Philip Street Press
47,100원
Theoretical and Practical Advances in Computer-based Educational Measurement Paperback, Saint Philip Street Press, English, 9781013276385
38,700원
Flexitranstore Paperback, Saint Philip Street Press, English, 9781013270765
110,880원
Edutech: Computer-Aided Design Meets Computer-Aided Learning: Computer-Aided Design Meets Computer-Aided Learning Paperback, Springer
43,300원
Ambisonics Paperback, Saint Philip Street Press, English, 9781013273186
153,400원
(영문도서) Computer Aided Verification: Techniques and Applications Hardcover, Clanrye International, English, 9781647265861
158,500원
(영문도서) Computer Aided Verification: Emerging Trends Hardcover, Murphy & Moore Publishing, English, 9781639876938
142,800원
Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach Hardcover, Princeton University Press
41,000원
EIoT Paperback, Saint Philip Street Press, English, 9781013275562
A Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded Systems Hardcover, Saint Philip Street Press, English, 9781013283536
51,900원
Weighted Statistical Testing Based on Active Learning and Formal Verification Techniques for Softwar... Paperback, Saint Philip Street Press, English, 9781013279324
50,100원
Radar Forward Operator for Verification of Cloud Resolving Simulations Within the COSMO Model Paperback, Saint Philip Street Press, English, 9781013281488
27,000원
Tyneside Neighbourhoods Paperback, Saint Philip Street Press, English, 9781013288128
68,300원
Evolutionary Genomics Paperback, Saint Philip Street Press
29,600원
Literature Matters Paperback, Saint Philip Street Press, English, 9781013286421
61,500원
Theoretical and Practical Advances in Computer-based Educational Measurement Hardcover, Saint Philip Street Press, English, 9781013276392
Adaptive State Paperback, Saint Philip Street Press, English, 9781013282546
29,300원
Interferences and Events: On Epistemic Shifts in Physics Through Computer Simulations Paperback, Saint Philip Street Press, English, 9781013294006
47,800원
Techlash Hardcover, Saint Philip Street Press, English, 9781013276897
109,800원
Computer Aided Manufacturing Paperback, Scholars'' Press, English, 9786138947349
Weighted Statistical Testing Based on Active Learning and Formal Verification Techniques for Softwar... Hardcover, Saint Philip Street Press, English, 9781013279331
Radar Forward Operator for Verification of Cloud Resolving Simulations Within the COSMO Model Hardcover, Saint Philip Street Press, English, 9781013281495
Children and Peace Paperback, Saint Philip Street Press, English, 9781013273261
Constructing Roma Migrants Paperback, Saint Philip Street Press, English, 9781013272288
Wellbeing and Devolution Paperback, Saint Philip Street Press, English, 9781013271908
36,100원
Self-Build Homes Paperback, Saint Philip Street Press
45,500원
Computational Conflict Research Paperback, Saint Philip Street Press, English, 9781013272585
Intelligent Human Computer Interaction: 9th International Conference IHCI 2017 Evry France Decem... Paperback, Saint Philip Street Press, English, 9781013269547
Computer and Information Sciences: 31st International Symposium ISCIS 2016 Kraków Poland October... Paperback, Saint Philip Street Press, English, 9781013267826
24,800원
The "Democratic Soldier" Paperback, Saint Philip Street Press, English, 9781013292446
The Hackable City Paperback, Saint Philip Street Press, English, 9781013274305
33,800원
Games and Bereavement Paperback, Saint Philip Street Press, English, 9781013293061
Transmedial Narration Hardcover, Saint Philip Street Press
72,200원
Grammatical Theory Hardcover, Saint Philip Street Press, English, 9781013294594
40,600원
Dangerous Science Hardcover, Saint Philip Street Press
59,200원
Volcanic Unrest Hardcover, Saint Philip Street Press, English, 9781013273810
56,900원
Internal Diversity Hardcover, Saint Philip Street Press
Dogface Soldiers. Hardcover, Saint Philip Street Press, English, 9781013286537