Lecture Notes in Computer Science 3299 Automated Technology for Verification and analysis Second Int
ATVA 20042004 年出版506 页ISBN:3540236104
Lecture Notes in Computer Science 3707 Automated Technology for Verification and Analysis Third Inte
ATVA 20052005 年出版506 页ISBN:3540292098
Lecture Notes in Computer Science 3667 Spatial Coherence for Visual Motion Analysis First Internatio
SCVMA 20042006 年出版141 页ISBN:3540325336
THE ROCK PHYSICS HANDBOOK TOOLS FOR SEISMIC ANALYSIS OF POROUS MEDIA SECOND EDITION
GARY MAVKO,TAPAN MUKERJI AND JACK DVORKIN2009 年出版511 页ISBN:0521861365
Lecture Notes in Computer Science 4709 Formal Methods for Components and Objects 5th International S
FMCO 2006 Amsterdam2222 年出版0 页ISBN:
Lecture Notes in Computer Science 4111 Formal Methods for Compoents and Objects 4th International Sy
FMCO 2005 Amsterdam2222 年出版0 页ISBN:
VOLUME 3 3D DISCRETE ELEMENT WORKBENCH FOR HIGHLY DYNAMIC THERMO-MECHANICAL ANALYSIS GRANOO
DAMIEN ANDRE JEAN-LUC CHARLES LVAN LORDANOFF2015 年出版183 页ISBN:9781848217720