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 490 ALGEBRAIC METHODS Ⅱ:THEORY
TOOLS AND APPLICATIONS1991 年出版434 页ISBN:
Lecture Notes in Computer Science 4302 Privacy in Statistical Databases CENEX-SDC Project Internatio
PSD 20062006 年出版383 页ISBN:9783540493303
Lecture Notes in Computer Science 3236 Applying Formal Methods:Testing
Performance2222 年出版0 页ISBN:
LECTURE NOTES IN COMPUTER SCIENCE 157 DIRECT METHODS FOR SPARSE MATRICES
OLE QSTERBY1983 年出版127 页ISBN:3540126767
Lecture Notes in Computer Science 96 Computer Programs for Spelling Correction:An Experiment in Prog
1980 年出版213 页ISBN:3540102590
Lecture Notes in Computer Science 21 Compiler Construction An Advanced Course
1974 年出版621 页ISBN:3540069585
Lecture Notes in Computer Science 3294 Teaching Formal Methods CoLogNET/FME Stmposium
TFM 20042004 年出版249 页ISBN:3540236112
Lecture Notes in Computer Science 2999 Integrated Formal Methods 4th International Conference
IFM 20042004 年出版541 页ISBN:3540213775