图书馆
馆藏地址
-
AN INTRODUCTION TO FORMAL PROGRAM VERIFICATION
-
DATA FLOW COMPUTING
-
COMPILERS
-
DATA STRUCTURES USING PASCAL
索 书 号 :73.87221/134-2
标准编码: 0-13-196668-5
出版信息:PRENTICE-HALL 1986 Englewood Cliffs
外文图书
-
THE PROGRAMMER’S ANSI COBOL REFERENCE MANUAL
-
THE HANDBOOK OF ARTIFICIAL INTELLIGENCE
— EDITED BY A. BARR ... [ET AL.]
索 书 号 :73.87221073/11/4
标准编码: 0-201-51819-8
出版信息:ADDISON-WESLEY 1989 Reading
外文图书
-
TRENDS & APPLICATIONS 1981 PROCEEDINGS OF THE CONFERENCE, MARYLAND, GAI., MAY 18 1981
-
COMBINATORIAL ALGORITHMS ON WORDS
— ED. BY A. APOSTOLICO, Z. ALIL
索 书 号 :73.87221083/15
标准编码: 3-540-15227-X
出版信息:SPRINGER-VERLAG 1985 Berlin
外文图书
-
COMPUTER CIRCUIT CONCEPTS
-
ELEMENTARY COMPUTER GRAPHICS
热门检索词
请点击下载Flash Player 9 或更高版本