逻辑与计算机科学哲学

新知文库 77 黑丝路 从里海到伦敦的石油溯源之旅

红色之旅 首届“长征杯·红色之旅” 全国摄影大展入展作品集

本书讲述了中国摄影家协会50周年的风雨历程、摄影器材行业50年的改革与发展，以及各摄影相关品牌的成长历程与特色。

恋味地中海 从托斯卡纳到里昂的慢食之旅 美味寻踪

从西方到东方 一段探索自然和文化的精神之旅

本书记录了美国XWHO设计公司近几年在国内所做的景观规划以及建筑设计项目，作者不仅详细展示了每一个项目的设计方案及建成照片，还深入剖析和探讨了设计思想的出发点和形成过程。...

Ajax从入门到精通 网站开发非常之旅

本书是一本比较全面的Ajax教程书籍，才开发Ajax应用所需要具备的基本能力开始，逐步深入地向读者介绍了JavaScript的基本知识、高级技巧、开发工具的使用、开发框架的介绍、浏览器兼容性的问题、调试技巧、Ajax...

从算法设计到硬线逻辑的实现 复杂数字逻辑系统的Verilog HDL设计技术和方法

高等学校教材:本书介绍20世纪90年代才开始在美国等先进的工业国家逐步推广的硬件描述语言(VerilogHDL)建模、仿真和综合的设计方法和技术。

51菜鸟到ARM（STM32）高手进阶之旅

第一部分主要是51与ARM外部资源例程，第二部分主要侧重与51不同特点相关的接口资源。对没有入门的初学者来说，要直接上升到ARM的级别是非常之困难的，经常遇到很多初学者说，我有51基础，能学ARM吗？没有人为他们打开...

循证设计 从思维逻辑到实施方法

本书基于信息时代的大背景，以建筑界的现实问题为线索，以大量业内专家的实践经验为支持，以循证医学和制造业的成熟机制为参照，突破现行系统的制约，对“循证设计——基于证据的设计”这一新型的价值观和方法论，从.....

从算法设计到硬线逻辑的实现 实验练习与Verilog语法手册

高等学校教材:本书共分两部分，主要介绍了用Verilog语言设计数字电路系统的实用方法与技术。