Big Data and Cloud Computing for Development: Lessons from Key Industries and Economies in the Globa
Nir Kshetri2017 年出版224 页ISBN:
硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches
(美)William K. Lam著;王维维译2007 年出版359 页ISBN:7111195027
本书的主要内容围绕着对硬件设计验证的两大方法(基于模拟的方法和形式验证的方法)展开。
Approaches to Fieldwork Volume I Theoretical Ideas and the Emergence of the Fieldwork Tradition
Sam Hillyard2014 年出版258 页ISBN:9781446267950
SHAPING THE POST-SOVIET SPACE?:EU POLICIES AND APPROACHES TO REGION-BUILDING
LAURE DELCOUR2011 年出版182 页ISBN:140940224X
EMPIRICAL APPROACHES TO LANGUAGE TYPOLOGY VOLUME 51 SAARTJE VERBEKE ALIGNMENT AND ERGATIVITY IN NEW
GEORG BOSSONG BERNARD COMRIE KRISTINE HILDEBRANDT YARON MATRAS2013 年出版320 页ISBN:3110292534
Lecture Notes in Computer Science 3207 Embedded and Ubiquitous Computing International Conference EU
2004 年出版1116 页ISBN:354022906X
Lecture Notes in Computer Science 3032 Grid and Cooperative Computing Second International Workshop
GCC 20032004 年出版1112 页ISBN:3540219889
Lecture Notes in Computer Science 4782 High Performance Computing and Communications Third Internati
HPCC 20072007 年出版823 页ISBN:9783540754435