A DIRECTORY OF LIBRARY AND INFORMATION RETRIEVAL SOFTWARE FOR MICROCOMPUTERS 3RD EDITION
2222 年出版75 页ISBN:0566055864
A DIRECTORY OF LIBRARY AND INFORMATION RETRIEVAL SOFTWARE FOR MICROCOMPUTERS 4TH EDITION
1990 年出版134 页ISBN:0566036282
Instant Notes in CHEMISTRY FOR BIOLOGISTS
J.Fisher & J.R.P.Arnold1999 年出版246 页ISBN:703007730X
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
(德)Michael Huth,(英)Mark Ryan著;何伟,樊磊译2007 年出版277 页ISBN:7111213971
本书对计算机科学方面的数理逻辑进行了综合介绍,涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题,反映了计算机科学中数理...
COMPUTER APPLICATIONS IN MEDICAL CARE 1986
HELMUTH F.ORTHNER1977 年出版428 页ISBN:0818607394
Educational Social Software for Context-Aware Learning: Collaborative Methods and Human Interaction
2010 年出版310 页ISBN:9781605668260