Lecture Notes in Computer Science 3839 Types for Proofs and Programs International Workshop

TYPES 2004 Jouy-en-Josas2222 年出版0 页ISBN：

Lecture Notes in Computer Science 2242 Grid Computing-GRID 2001 Second International Workshop

2001 年出版185 页ISBN：3540429492

Lecture Notes in Computer Science 3639 Model Checking Software 12th International SPIN Workshop

2005 年出版287 页ISBN：3540281959

CONFERENCE BOARD OF THE MATHEMATICAL SCIENCES REGIONAL CONFERENCE SERIES IN MATHEMATICS SUPPORTED BY

1985 年出版76 页ISBN：0821807099

Applications of Vibrational Spectoscopy in Food Science Volume I:Instrumentationa and Fundamental Ap

2010 年出版345 页ISBN：9780470742990

DEVELOPMENTS IN STRATEGIC MATERIALS AND COMPUTATIONAL DESIGN IV CERAMIC ENGINEERING AND SCIENCE PROC

20132222 年出版0 页ISBN：

DEVELOPMENTS IN STRATEGIC MATERIALS AND COMPUTATIONAL DESIGN III CERAMIC ENGINEERING AND SCIENCE PRO

20122222 年出版0 页ISBN：

Silicon-Containing Polymers The Science and Technology of Their Synthesis and Applications

2000 年出版768 页ISBN：0412831104

Lecture Notes in Computer Science 3796 Cryptography and Coding 10th IMA International Conference

2005 年出版460 页ISBN：354030276X

Lecture Notes in Computer Science 3342 Swarm Robotics SAB 2004 International Workshop Santa Monica

CA2222 年出版0 页ISBN：