Lecture Notes in Computer Science 3085 Types for Proofs and Programs International Workshop
TYPES 2003 Torino2222 年出版0 页ISBN:
Lecture Notes in Computer Science 3478 Global Optimization and Constraint Satisfaction Second Intern
COCOS 20032005 年出版192 页ISBN:354026003X
Lecture Notes in Computer Science 3779 Network and Parallel Computing IFIP International Conference
NPC 20052005 年出版513 页ISBN:354029810X
Lecture Notes in Computer Science 1696:Research and Advanced Technology for Digital Libraries
Serge Abiteboul1999 年出版499 页ISBN:3540665587
Lecture Notes in Computer Science 3232:Research and Advanced Technology for Digital Libraries
Rachel Heery2004 年出版528 页ISBN:3540230130
Benchhmark Papers in Electrical Engineering and Computer Science/27 DISTRIBUTED PARAMETER SYSTEMS TH
PART II:Estimation1983 年出版392 页ISBN:
Lecture Notes in Computer Science 3815:Digital Libraties:Implementing Strategies and Sharing Experie
Edward A.Fox2005 年出版0 页ISBN:
METHODS IN ENZYMOLOGY VOLUME 174 BIOMEMBRANES PART U CELLULAR AND SUBCELLUAR TRANSPORT:EUKARYOTIC
SIDNEY FLEISCHER BECCA FLEISCHER2222 年出版724 页ISBN:0121820750
METHODS IN CELL BIOLOGY VOLUME XVII CHROMATIN AND CHROMOSOMAL PROTEIN RESEARCH.II
GARY STEIN AND JANET STEIN AND LEWIS J.KLEINSMITH1978 年出版420 页ISBN:0125641176