Lecture Notes in Computer Science 3203 Field-Programmable Logic and Applications 14th International
FPL 20042004 年出版1198 页ISBN：3540229892
Lecture Notes in Computer Science 3573 Logic Based Program Synthesis and Transformation 14th Interna
LOPSTR 20042005 年出版277 页ISBN：3540266550
Lecture Notes in Computer Science 2147 Field-Programmable Logic and Applications 11th International
FPL 20012001 年出版665 页ISBN：3540424997
Lecture Notes in Computer Science 3901 Logic Based Program Synthesis and Transformation 15th Interna
LOPSTR 20052006 年出版179 页ISBN：3540326545
Lecture Notes in Computer Science 3018 Logic Based Program Synthesis and Transformation 13th Interna
LOPSTR 20032004 年出版233 页ISBN：3540221743
COMPUTER ALGEBRA IN APPLIED MATHEMATICS：AN INTRODUCTION TO MACSYMA
R H RAND2222 年出版181 页ISBN：0273086324
McGraw-Hill PERSONAL COMPUTER PROGRAMMING ENCYCLOPEDIA LANGUAGES AND OPERATING SYSTEMS
1985 年出版696 页ISBN：0070053898
INSTRUCTOR'S MANUAL TO ACCOMPANY USING PASCAL AN INTRODUCTION TO COMPUTER SCIENCE 1
DAVID D.RILEY1987 年出版500 页ISBN：087835235X
THE FOUNDATIONS OF ANALYSIS：A STRAIGHTFORWARD INTRODUCTION BOOK 1 LOGIC，SETS AND NUMBERS
K.G.BINMORE2222 年出版131 页ISBN：0521233224
INTRODUCTION TO THE COMPUTER THE TOOL OF BUSINESS SECOND EDITION
1977 年出版688 页ISBN：0134801032
