Bawden的梦想之塔

《自己动手写网络爬虫》是2010年10月由清华大学出版社出版的图书，作者是罗刚。本书在介绍基本原理的同时，注重辅以具体代码实现来帮助读者加深理解

机器学习是人工智能研究领域中的一个极其重要的方向。在现今大数据时代的背景下捕获数据并从中萃取有价值的信息或模式使得这一过去为分析师与数学家所专属的研究领域越来越为人们瞩目。本书通过精心排的实例切入日常工作任务摒弃学术化语言利用高效可复用的Python 代码阐释如何处理统计数据进行数据分析及可视化。读者可从中学到一些核心的机器学习算法并将其运用于某些策略性任务中如分类、预测及推荐等。本书适合机器学习相关研究人员及互联网从业人员学习参考。

CTCS2 列控系统 简介 第一章　　　列控系统地面设备 第一节　车站列控中心（TCC） 第二节　应答器 第三节　ZPW-2000A轨道电路 第二章 列控系统车载设备 第一节　ATP车载系统的主要设备 第二节 ATP车载系统主要功能 第三节　ATP车载系统主要技术指标

书籍目录 引言 　　引言——相爱在微博 第一章 我与微博的故事 　　我的微博之路 　　Twitter上的“真假李逵” 　　在国内开微博 　　从微博新手到拥有千万粉丝 　　我的微博故事 　　从谷歌离职前后 　　2009年的那一场雪 　　1000万!我是对的 　　10分钟微博援助 第二章 我看微博现象 　　从Twitter到微博：新媒体是这样炼成的 　　“推神”的奇思妙想 　　中文微博：曾经的探路者 　　门户网站引领微博风潮 　　微博现象；用140个字改变世界 　　方舟子微博打假 　　宜黄“血拆”中的微博传播与救助 　　舟曲泥石流灾害中的微博救援 　　微博上的“30”大战 　　从“大小恋”看微博娱乐 　　金庸在微博上的“死而复生” 第三章 微博的魅力从哪里来 　　微博是高度社会化的传播平台 　　微博降低了内容门槛——人人都是发布者 　　微博使媒体平民化，大众化——人人都是新媒体 　　微博增加了内容的真实性——呈现最真实的自己 　　微博传播信息的新模式——基于信任的病毒传播 　　微博让信息阅读更个性化——可以定制的新媒体 　　微博满足了最基础的需求——生活因微博而完整 　　今天你微博了吗 第四章 开复教你写微博 　　做好准备 　　写好自我介绍 　　真诚的态度，做真实的自己 　　写什么内容好 　　大众最喜欢什么 　　随时留意，随时积累 　　如何写好140个字 　　图片至关重要 　　用幽默吸引人 　　用真情打动人 　　用智慧征服人 　　如何发“广告” 第五章 如何吸引粉丝 　　吸引粉丝，从0到100——交换关注 　　吸引粉丝，从100到1000——请人转发和推介 　　最佳发微博时间 　　利用节假日效应 　　如何转发 　　合适的发微博频率 　　与粉丝互动 第六章 微博的商机未来 　　微博的商业模式 　　微博与企业营销 　　微博与应用开发平台 　　微博的未来——改变一切 附录一 开复微博语录 　　投资与创业 　　业界分析评论 　　我与谷歌 　　关于创新工场 　　教育理念分享 　　格言警句 　　人物推介 　　独家新闻 　　读书，看电影，玩游戏感想 　　家庭琐记 　　美食 　　旅行见闻 　　小知识，小常识 　　趣事、笑话 附录二 新浪、腾讯推荐名博 　　新浪微博推荐 　　腾讯微博推荐

该书包括数学建模中常用的建模方法，是在参加建模比赛时必备的参考资料，书中详细讲解了蒙特卡罗、遗传算法、TSP等数常用的解决问题的方法。

连接数据库常用的jar包，用于jdbc连接mssql mysql两种数据库的必备jar包。其中包括 msbase.jar mssqlserver.jar msutil.jar 和 mysql-connector-java-5.1.6-bin.jar

正版 程序设计方法学 书名:程序设计方法学 作者:胡正国，吴健，邓正宏 编著 出版社：国防工业出版社 本书主要介绍程序设计方法学这一新兴学科的主要内容，即结构化程序、程序正确性证明、结构化程序的正确性证明、递归程序及其正确性证明、程序的形式推导技术、程序变换技术、面向对象的设计方法和大型程序设计方法学基础等。 本书可供大专院校计算机专业学生使用，也可供硕士研究生及从事计算机工作的科研人员参考。 目录 -------------------------------------------------------------------------------- 第1章 程序设计方法简介 第1节 程序设计方法学的产生 第2节 结构程序设计及其讨论的一些主要问题 习题 第2章 结构化程序 第1节 什么是结构化程序 第2节 结构化定理 第3节 一些新的控制结构 习题 第3章 模块化程序设计 第1节 MODULA-2语言中的模块化结构 第2节 ADA语言中的程序包 习题 第4章 面向对象的程序设计方法 第1节 什么是面向对象的程序设计 第2节 应用框架 第3节 设计模式 第4节 浅谈面向对象设计语言 习题 第5章 程序正确性证明 第1节 概述 第2节 不变式断言法 第3节 子目标断言法 第4节 公理化方法 第5节 良序集方法 第6节 计数器方法 习题 第6章 结构化程序的正确性证明 第1节 正确性定理 第2节 证明程序正确性的代数方法 第3节 产生循环不变式的一种方法 习题 第7章 递归程序及其正确性证明 第1节 迭代与递归 第2节 递归程序的一种模型 第3节 递归程序的正确性证明 习题 第8章 程序的形式推导技术 第1节 谓词变换器及其性质 第2节 面向目标的程序推导 第3节 循环不变式的推导技术 习题 第9章 程序变换技术 第1节 程序变换的基本思想和基本规则 第2节 程序生成阶段 第3节 程序改进阶段（I） 第4节 程序改进阶段（II） 第5节 程序改进阶段（III） 第6节 程序变换研究中的若干问题 习题 第10章 大型程序设计方法学基础 第1节 抽象数据类型的代数规范 第2节 抽象数据类型的形式化基础 第3节 形式规范的应用 参考文献