(德)希尔柏脱(D.Hilbert),(德)阿克曼(W.Ackermann)著;莫绍揆译1958 年出版200 页ISBN:13031·750
本书是数理逻辑的有名经典著作之一,内容包括四章:第一章为命题演算,介绍基本逻辑联结词及其各种性质,并就命题演算而给出一个公理体系,证明其不矛盾性,完备性及互相独立性.第二章为类演算,兼讨论如何从类演算......
(英)戴维·米勒(D.W.Miller)编;张之沧译2000 年出版587 页ISBN:7214027879
作为20世纪最重要的思想家之一,波普尔在形而上学、科学哲学、认识论和社会哲学方面都为我们树立了思想的标尺,不论是赞同还是反对他的人都无法回避这一标尺:“只有在开放的思想与社会中,我们才能进行真正的、自...
methods in enzymology volume 281 vitamins and coenzymes part k
donald b.mccormick and john w.suttie and conrad wagner1997 年出版469 页ISBN:012182182X
ADAM SMITH GOES TO MOSCOW:A DIALOGUE ON RADICAL REFORM
WALTER ADAMS AND JAMES W.BROCK1993 年出版156 页ISBN:
PHARMACOLOGY OF INTESTINAL ABSORPTION:GASTROINTESTINAL ABSORPTION OF DRUGS VOLUME 2
T.W.CLARKSON K.R.KERRY A.G.F.DAVIDSON1975 年出版869 页ISBN:008016210X
PLASTIC SURGERY:A CONCISE GUIDE TO CLINICAL PRACTICE SECOND EDITION
WILLIAM C.GRABB JAMES W.SMITH1973 年出版1085 页ISBN:
战略中心型组织 如何利用平衡记分卡使企业在新的商业环境中保持繁荣
(美)罗伯特·S.卡普兰(Robert S.Kaplan),(美)大卫·P.诺顿(David P.Norton)著;周大勇等译2004 年出版410 页ISBN:7115118957
(美)Robert Sedgewick著;周良忠译2004 年出版365 页ISBN:7115120749
本书是一套算法系列书,介绍了当今最重要的算法。共分3卷,这是第2卷(第五部分),集中讲解图算法。本书共有6章(第17章到第22章)。第17章详细讨论图性质和类型,第18章~第22章分别讲解图搜索、有向图和DAG、最小生成......
(美)Morris W. Hirsch,Stephen Smale,Robert L. Devaney著2008 年出版336 页ISBN:9787115172181
本书主要介绍了线性系统、非线性系统、平面系统、洛仑兹系统、离散动力系统等,还分别介绍了这些知识在生物学、电路理论、力学等方面的应用。本书是介绍动力系统最值得推荐的一本经典教材,主要是用比较现代的...
PHYSIOLOGY OF THE KIDNEY AND BODY FLUIDS AN INTRODUCTORY TEXT THIRD EDITION
ROBERT1968 年出版315 页ISBN: