Lecture Notes in Computer Science 3997 Formal Approaches to Software Testing 5th International Works
FATES 20052006 年出版218 页ISBN：3540344543
Lecture Notes in Computer Science 3395 Formal Approaches to Software Testing 4th International Works
FATES 20042005 年出版225 页ISBN：354025109X
Computer Work Stations A Manager's Guide to Office Automation and Multi-User Systems
1985 年出版302 页ISBN：0412007118
Lecture Notes in Computer Science 3128 Querying Databases Privately A New Approach to Private Inform
2004 年出版115 页ISBN：3540224416
Lecture Notes in Computer Science 4422 Fundamental Approaches to Software Engineering 10th Internati
FASE 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software2007 年出版440 页ISBN：
The art and science of C a library-based introduction to computer science = C语言的科学和艺术 （英文版）
Eric Roberts2004 年出版706 页ISBN：7111139917
本书是一本C语言的入门读物。
Lecture Notes in Computer Science 2917 Model-Checking Based Data Retrieval An Application To Semistr
2004 年出版134 页ISBN：3540209719
Lecture Notes in Computer Science 4600 Rewriting Computation and Proof Essays Dedicated to Jean-Pier
2007 年出版273 页ISBN：9783540731467
Lecture Notes in Computer Science 3551 Data Management in a Connected World Essats Dedicated to Hart
2005 年出版371 页ISBN：3540262954
LECTURE NOTES IN COMPUTER SCIENCE 38 AN OPTIMIZED TRANSLATION PROCESS AND ITS APPLICATION TO ALGOL 6
G.GOOS AND J.HARTMANIS1976 年出版334 页ISBN：3540075453
