Lecture Notes in Computer Science 4262 Formal Approaches to Software Testing and Runtime Verificatio
2006 年出版255 页ISBN：9783540496991
Lecture Notes in Computer Science 3379 From Integrated Publication and Information Systems to Virtua
2005 年出版320 页ISBN：3540245510
Lecture Notes in Computer Science 57 Portability of Numerical Software
1977 年出版539 页ISBN：3540084460
Lecture Notes in Computer Science 756 Design of Hashing Algorithms
1993 年出版194 页ISBN：3540575006
Lecture Notes in Computer Science 2931 Formal Approaches to Software Testing Third International Wor
FATES 20032004 年出版267 页ISBN：3540208941
ENCYCLOPEDIA OF CHEMICAL TECHNOLOGY THIRD EDITION INDEX VOLUMES 13 TO 16
JOHN WILEY & SONS1982 年出版245 页ISBN：
Lecture Notes in Computer Science 3463 Dependable Computing-EDCC-5
2005 年出版472 页ISBN：3540257233
encyclopedia of chemical technology third edition index volumes 17 to 20
kirk-othmer1983 年出版230 页ISBN：0471020745
Computer based optimization techniques
Shubham Agarwal2015 年出版284 页ISBN：1842659311
Lecture Notes in Computer Science 125 Logic of Programs Workshop
ETH Zurich1981 年出版245 页ISBN：
