Introduction to the Theory of Computation Second Edition
Michael Sipser2006 年出版437 页ISBN:7111173279
本书系统的介绍了计算理论的三个主要内容:自动机与语言、可计算性和计算复杂性。绝大部分内容是基本的,同时对可计算性和计算复杂性理论中的某些高级内容作了重点介绍。...
基督教与西方思想 卷2 哲学家、思想与思潮的历史:19世纪的信仰和理性
(美)史蒂夫·威尔肯斯(Steve Wilkens),(美)阿兰·G.帕杰特(Alan Padgett)著;刘平译2005 年出版467 页ISBN:7301083513
本书论述了19世界西方思想与基督教之间的交互影响,尤其突出近代西方关于信仰与理性问题的讨论。
(西班牙)塞吉奥·莱拉著;(西)安娜·G.拉蒂特吉绘;杨玲玲译2017 年出版44 页ISBN:712131424X
内容简介:这是一本可以前后两边看的书,可以从前往后读,也可以从后往前读,不同的阅读顺序看到的是两个人各自的故事,这两个人和他们的故事在书中的大拉页相遇了,产生了交集。好运先生和倒霉先生其实是住在一栋公.....
(美)G.波利亚(G.Polya)著;涂泓,冯承天译2002 年出版257 页ISBN:754282855X
《怎样解题:数学教学法的新面貌》是数学家波利亚论述中学数学教学法的普及名著,对数学教育产生了深刻的影响。波利亚认为中学数学教育的根本宗旨是教会年轻人思考,他把“解题”作为培养学生数学才能和教会他们...
G. 柯尔伯,S. 特尔纳改编;王嘉译2006 年出版46 页ISBN:7806678875
本书从各种各样的经典音乐作品中精心收集了32首最美妙动人、最受欢迎的歌曲,适合不同年龄、不同爱好的各类钢琴演奏者的需要,是钢琴初学者和已具备一定水平的演奏者的绝佳选择。本书中的每首乐曲都趣味盎然、...
扎根理论研究概论:自然呈现与生硬促成=BASICS OF GROUNDED THEORY ANALYSIS:EMERGING VS FORCING
巴尼 G.格拉泽著;费小冬译2009 年出版109 页ISBN:1884156215
(美)沃尔特·G.文森蒂(WalterG.Vincenti)著2015 年出版359 页ISBN:9787308126526
为了解决设计问题,工程师们运用了大量“事物是如何工作”的知识。这些用于解决问题的知识也许平淡无奇或被看作来自于科学,但是本书作者向我们揭示了这些工程知识是复杂精致的,而且“内在于”工程之中,在看似简...
(美)Randal K.Michael著;詹文军,邓波等译2005 年出版502 页ISBN:7121008467
本书详细介绍如何编写shell脚本来解决实际生活中遇到的UNIX问题和任务。本书面向所有的UNIX版本,重点覆盖对象包括AIX、Linux、HP-UX和Solaris操作系统。本书的每一章都以一个经常遇到的UNIX问题作为开始。...
(加)迈克尔·富兰(Michael Fullan)著;中央教育科学研究所,加拿大多伦多国际学院组织翻译2005 年出版93 页ISBN:7504130915
校长的作用对系统的学校改革有着举足轻重的意义,这是迈克尔·富兰的新作《学校领导的道德使命》向我们传递的信息。本书讨论了学校领导的道德目标及其在“改变大环境”这个核心任务中应发挥的关键作用。富兰...
ORACLE APPLICATION SERVER 10GJ2EE部署和管理
(美)MICHAEL WESSLER ERIN MULDER ROB HARROP JAN MACHACEK著2006 年出版448 页ISBN:7302121885
本书介绍如何部署J2EE应用程序和配置应用程序服务器。