Lecture Notes in Computer Science 4111 Formal Methods for Compoents and Objects 4th International Sy
FMCO 2005 Amsterdam2222 年出版0 页ISBN:
Lecture Notes in Computer Science 4762 Automated Technology for Verification and Analysis 5th Intern
ATVA 20072007 年出版566 页ISBN:9783540755951
Lecture Notes in Conputer Science 4218 Automated Technology for Verification and Analysis 4th Intern
ATVA 20062006 年出版540 页ISBN:3540472371
GHG EMISSIONS AND ECONOMIC GROWTH A COMPUTABLE GENERAL EQUILIBRIUM MODEL BASED ANALYSIS FOR INDIA
JOYASHREE ROY2015 年出版0 页ISBN:
ELECTRON MICROSCOPY OF ENZYMES PRINCIPLES AND METHODS VOLUME I
1973 年出版201 页ISBN:0442256760
Lecture Notes in Computer Science 4761 Software Technologies for Embedded and Ubiquitous Systems 5th
SEUS 20072007 年出版563 页ISBN:9783540756637
Lecture Notes in Computer Science 3199 Software and Compilers for Embedded Systems 8th International
SCOPES 20042004 年出版259 页ISBN:3540230351