Lecture Notes in Computer Science 773 Advances in Cryptology-CRYPTO'93 13th Annual International Cry

1994 年出版492 页ISBN：3540577661

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 3193 Computer Security-ESORICS 2004 9th European Symposium on Rese

2004 年出版457 页ISBN：3540229876

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

A BRIDGE BETWEEN CONTROL SCIENCE AND TECHNOLOGY VOLUME 1 ANALYSIS AND SYNTHESIS OF CONTROL SYSTEMS

W.R.PERKINS A.G.J.MACFARLANE G.G.LEININGER2222 年出版580 页ISBN：0080316670

STUDIES IN SURFACE SCIENCE AND CATALYSIS VOL.51 NEW SOLID ACIDS AND BASES THEIR CATALYTIC PROPERTIES

1989 年出版370 页ISBN：0444988009

Lecture Notes in Computer Science 4393 STACS 2007 24th Annual Symposium on Theoretical Aspects of Co

Germany2007 年出版0 页ISBN：