图书馆
- 河南科技大学(5415)
-
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
外文图书
-
CONTROL FLOW AND DATA FLOW
-
THE LOCUS DISTRIBUTED SYSTEM ARCHITECTURE
— EDITED BY G. POPEK, B. J. WALKER
索 书 号 :73.87221/138
标准编码: 0-262-16102-8
出版信息:MIT 1985 Cambridge
外文图书
-
COMPILER CONSTRUCTION
— EDITED BY F. L. BAUER, J. EICKEL
索 书 号 :73.87221/143-2
标准编码: 0-387-08046-0
出版信息:SPRINGER-VERLAG 1976 New York
外文图书
-
MACHINE LEARNING
— EDITED BY T. M. MITCHELL ... [ET AL.]
索 书 号 :73.87221/154
标准编码: 0-89838-214-9
出版信息:KLUWER ACADEMIC PUBLISHERS 1986 Boston
外文图书
-
LOGICAL FOUNDATIONS OF FUNCTIONAL PROGRAMMING
-
THE PROGRAMMER’S ANSI COBOL REFERENCE MANUAL
热门检索词
请点击下载Flash Player 9 或更高版本