Lecture Notes in Computer Science 2937 Verification
Model Checking2004 年出版0 页ISBN:
COMPUTER SYSTEMS A PROGRAMMER'S PERSPECTIVE
[美]RANDAL E.BRYANT DAVID R.OHALLARON著2006 年出版978 页ISBN:
COMPUTER ARITHMETIC IN THEORY AND PRACTICE
ULRICH W.KULISCH WILLARD I.MIRANKER2222 年出版249 页ISBN:012428650X
COMPUTER NETWORKS:A TUTORIAL FOURTH EDITION
THE INSTITUTE OF ELECTRICAL AND ELECTRONICS ENGINEERS1984 年出版497 页ISBN:
苏格拉底之道 最充分地运用你的智慧的7把万能钥匙 seven master keys to using your mind to the utmost
(美)罗纳德·格罗斯(Ronald Gross)著;徐弢,李思凡译2005 年出版255 页ISBN:7301094795
本书着重于介绍西方古代教育思想对于现代教育的启示。从多个方面阐述了苏格拉底的教育思想。
Lecture Notes in computer science automata
Languages and Programming seventh colloquium Norrdwijkerhout July 14-181980 年出版520 页ISBN:
当代中国民族问题资料·档案汇编 《民族问题五种丛书》及其档案集成 第5辑 中国少数民族社会历史调查资料丛刊 第77卷
国家民委《民族问题五种丛书》编辑委员会,《中国民族问题资料·档案集成》编辑委员会编2005 年出版732 页ISBN:7811080451
本辑收录了20世纪50年代至60年代少数民族社会历史调查资料145种。这些资料给社会科学工作者提供了关于民族学、人类学、社会学、历史学的宝贵材料,其价值不可估量。本卷包括白族社会历史调查(三)、白族社会历...
Lecture Notes in Computer Science 52 Automata
Languages and Programming1977 年出版568 页ISBN:3540083421
Lecture Notes in Computer Science 71 Automata
Languages and Programming1979 年出版684 页ISBN:3540095101