Lecture Notes in Computer Science 1018 Network and Operating Systems Support for Digital Audio and V
1995 年出版360 页ISBN:3540606475
Lecture Notes in Computer Science 4249 Cryptographic Hardware and Embedded Systems-CHES 2006 8th Int
2006 年出版462 页ISBN:3540465596
Lecture Notes in Computer Science 2283 Isabelle/HOL A Proof Assistant for Higher-Order Logic
2002 年出版218 页ISBN:3540433767
Lecture Notes in Computer Science 3390 Software Engineering for Multi-Agent Systems III Research Iss
2005 年出版289 页ISBN:3540248439
LECTURE NOTES IN COMPUTER SCIENCE 38 AN OPTIMIZED TRANSLATION PROCESS AND ITS APPLICATION TO ALGOL 6
G.GOOS AND J.HARTMANIS1976 年出版334 页ISBN:3540075453
Lecture Notes in Computer Science 3399 Web Technologies Research and Development-APWeb 2005 7th Asia
2005 年出版1082 页ISBN:354025207X
Lecture Notes in Computer Science 2900 CASL User Manual Introduction to Using the Common Algebraic S
2004 年出版240 页ISBN:354020766X
Lecture Notes in Computer Science 3440 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20052005 年出版588 页ISBN:3540253335