Lecture Notes in Computer Science 3959 Theory and Applications of Models of Computation Third Intern
TAMC 20062006 年出版794 页ISBN：3540340211
Lecture Notes in Computer Science 2360 Application and Theory of Petri Nets 2002 23rd International
ICATPN 20022002 年出版444 页ISBN：3540437878
Lecture Notes in Computer Science 4484 Theory and Applications of Models of Computaion 4th Internati
TAMC 20072007 年出版772 页ISBN：9783540725039
Lecture Notes in Computer Science 1561 Lectures on Data Security Modern Cryptology in Theory and Pra
1999 年出版250 页ISBN：3540657576
MODEL VALIDATION AND UNCERTAINTY QUANTIFICATION
VOLUME 32015 年出版372 页ISBN：9783319152233
Lecture Notes in Computer Science 4231 Advances in Conceptual Modeling-Theory and Practice ER 2006 W
CoMoGIS COSSOIS 年出版0 页ISBN：SemWAT
DEVELOPING VALIDATING AND USING INTERAL RATINGS
2010 年出版324 页ISBN：9780470711491
VERIFICATION AND VALIDATION IN SCIENTIFIC COMPUTING
2010 年出版767 页ISBN：9780521113601
