Lecture Notes in Computer Science 3956 Construction and Analysis of Safe
Secure2006 年出版0 页ISBN:
LOGO AND MODELS OF COMPUTATION AN INTRODUCTION TO COMPUTER SCIENCE
MICHAEL E.BURKE L.ROLAND GENISE2222 年出版420 页ISBN:0201207915
Lecture Notes in Computer Science 4484 Theory and Applications of Models of Computaion 4th Internati
TAMC 20072007 年出版772 页ISBN:9783540725039
THE ART OF COMPUTER PROGRAMMING VOLUME 1:FUNDAMENTAL ALGORITHMS (THIRD EDITION)
[美]DONALD E.KNUTH著2008 年出版650 页ISBN:
THE ART OF COMPUTER PROGRAMMING VOLUME 2:SEMINUMERICAL ALGORITHMS (THIRD EDITION)
[美]DONALD E.KNUTH著2008 年出版762 页ISBN:
Computer Integrated Manufacturing Proceedings of The 4th CIM Europe Conference
E.Puente and P.MacConaill1988 年出版422 页ISBN:
Computer Aided Analysis and Design of Machine Elements Revised Second Edition
2000 年出版475 页ISBN:8122412564