THEORY AND APPLICATIONS OF SATISFIABILITY TESTING 8th INTERNATIONAL CONFERENCE
SAT 20052005 年出版494 页ISBN：
THEORY AND APPLICATIONS OF SATISFIABILITY TESTING 6th INTERNATIONAL CONFERENCE
SAT 20032004 年出版530 页ISBN：3540208518
OIL AND GAS PRODUCTION Artificial Lift
Richard W.Donnelly2222 年出版74 页ISBN：0886980860
Lecture Notes in Computer Science 3156 Cryptographic Hardware and Embedded Systems-CHES 2004
2004 年出版455 页ISBN：3540226664
Lecture Notes in Computer Science 882 Multimedia Transport and Teleservices International COST 237 W
1994 年出版380 页ISBN：3540587594
Lecture Notes in Computer Science 3659 Cryptographic Hardware and Embedded Systems-CHES 2005
2005 年出版458 页ISBN：3540284745
Lecture Notes in Computer Science 3839 Types for Proofs and Programs International Workshop
TYPES 2004 Jouy-en-Josas2222 年出版0 页ISBN：
Artificial Neural Networks in Real-Life Application
2006 年出版375 页ISBN：1591409039
Lecture Notes in Computer Science 3098 Lectures on Concurrency and Petri Nets Advances in Petri Nets
2004 年出版849 页ISBN：3540222618
Lecture Notes in Computer Science 1561 Lectures on Data Security Modern Cryptology in Theory and Pra
1999 年出版250 页ISBN：3540657576
