Lecture Notes in Computer Science 4202 Formal Modeling and Analysis of Timed Systems 4th Internation
FORMATS 20062006 年出版369 页ISBN:3540450262
PROCEEDINGS OF THE 12TH ASIAN CONFERENCE ON SOLID TATE IONICS FUNDAMENTAL RESEARCHES AND TECHNOLOGIC
2010 年出版1182 页ISBN:9787562931591
本会议共征集学术论文537篇,编入本论文集的共456篇。论文集共计1200余页,200万字。内容包括十个方面:1.新型光学和光电子材料;2.新型磁功能材料及其应用开发;3.新型导体、半导体、超导体、微电子材料和介电功能...
COMPUTER-AIDED DESIGN AND COMPUTER-AIDED MANUFACTURING
JOHN K.KROUSE2222 年出版147 页ISBN:0824716663
New approaches in modeling and mid-course correction control of the particle size distribution in em
Alireza Hosseini2014 年出版178 页ISBN:3844030044
储层模拟中露头和现代沉积类比的综合研究 Integration of outcrop and modern analogs in reservoir modeling eng
G. Michael Grammer,Paul M. Mitch Harris,Gregor P. Eberli编;蔡希源等译2008 年出版367 页ISBN:9787116055643
本书共18章,分别对建立储层模型过程的各个阶段进行了阐述。
modeling and analysis of real-time and embedded systems with uml and marte developing cyber-physi
bran selic2014 年出版287 页ISBN:0124166199