Lecture Notes in Computer Science 2283 Isabelle/HOL A Proof Assistant for Higher-Order Logic
2002 年出版218 页ISBN：3540433767
Lecture Notes in Computer Science 3617 Image Analysis and Processing-ICIAP 2005 13th International C
2005 年出版1221 页ISBN：3540288694
Lecture Notes in Computer Science 3390 Software Engineering for Multi-Agent Systems III Research Iss
2005 年出版289 页ISBN：3540248439
Lecture Notes in Computer Science 2992 Advances in Database Technology-EDBT 2004 9th International C
2004 年出版877 页ISBN：3540212000
LECTURE NOTES IN COMPUTER SCIENCE 38 AN OPTIMIZED TRANSLATION PROCESS AND ITS APPLICATION TO ALGOL 6
G.GOOS AND J.HARTMANIS1976 年出版334 页ISBN：3540075453
GMELIN HANDBOOK OF INORGANIC CHEMISTRY 8TH EDITION INDEX FORMULA INDEX 2ND SUPPLEMENT VOLUME 1 Ac-
2222 年出版275 页ISBN：3540935738
GMELIN HANDBOOK OF INORGANIC CHEMISTRY 8TH EDITION B BORON COMPOUNDS 3RD SUPPLEMENT VOLUME 2 SYSTE
2222 年出版186 页ISBN：3540935436
GMELIN HANDBOOK OF INORGANIC CHEMISTRY 8TH EDITION B BORON COMPOUNDS 3RD SUPPLEMENT VOLUME 4 SYSTE
2222 年出版256 页ISBN：3540935673
GMELIN HANDBOOK OF INORGANIC CHEMISTRY 8TH EDITION PT PLATINUM SUPPLEMEN VOLUME A 1 SYSTEM NUMBER 65
2222 年出版340 页ISBN：3540935282
GMELIN HANDBOOK OF INORGANIC CHEMISTRY 8TH EDITION B BORON COMPOUNDS 3RD SUPPLEMENT VOLUME 1 SYSTE
2222 年出版242 页ISBN：3540935495
