The automation of reasoning : an experimenter's notebook with OTTER tutorial
Larry Wos1996 年出版434 页ISBN:0127634207
Computers and Information Processing with Software Tutorial and BASIC Second Edition
James A.OBrien1986 年出版733 页ISBN:
COMPUTERS AND INFORMATION PROCESSING WITH SOFTWARE TUTORIAL AND BASIC SECOND EDITION 1986
1984 年出版813 页ISBN:0256033374
农业生物基础实验教程 Basic tutorial of experiment of agricultural biology
孟和,沈明泉主编(上海交通大学农业与生物学院)2006 年出版423 页ISBN:7543930099
本教程注重对学生基础理论和实验技能培训,以农业生物基础实验课程为主,同时增加了现代生物学相关课程。实验内容在保持经典内容的基础上,增设了部分能代表学科发展的新内容。...
A first course in database systems Second Edition = 数据库系统基础教程 (英文版·第2版)
Jeffrey D. Ullman ; Jennifer Widom2006 年出版514 页ISBN:711119344X
本书是《Database Systems:The Complete Book》(数据库系统全书,由Hector·Garcia-Molina、Jeffrey·D.·Ullman和Jennifer·Widom合著,中文版由机械工业出版社引进出版)一书的前十章,由斯坦福大学知名计算机科学...
NETWORK TOPOLOGY OPTIMIZATION The Art and Science of Network Design
2222 年出版349 页ISBN:0442238193