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
36,100원
Soundings Paperback, Saint Philip Street Press, English, 9781013292224
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
68,300원
Evolutionary Genomics Paperback, Saint Philip Street Press
27,000원
Tyneside Neighbourhoods Paperback, Saint Philip Street Press, English, 9781013288128
50,100원
Radar Forward Operator for Verification of Cloud Resolving Simulations Within the COSMO Model Paperback, Saint Philip Street Press, English, 9781013281488
61,500원
Theoretical and Practical Advances in Computer-based Educational Measurement Hardcover, Saint Philip Street Press, English, 9781013276392
Leading Cities Paperback, Saint Philip Street Press, English, 9781013292828
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
43,300원
Constructing Roma Migrants Paperback, Saint Philip Street Press, English, 9781013272288
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
Leading Cities Hardcover, Saint Philip Street Press, English, 9781013292835
Transmedial Narration Hardcover, Saint Philip Street Press
59,200원
Volcanic Unrest Hardcover, Saint Philip Street Press, English, 9781013273810