面向计算机科学的数理逻辑 【数理化】

《面向计算机科学的数理逻辑（第2版）》叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容，包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑。《面向计算机科学的数理逻辑（第2版）》在选材...

大气科学发展战略 中国气象学会第25次全国会员代表大会暨学术年会论文集 【天文地球】

注塑成型及模具设计实用技术 【工业技术】

本书分上、中、下三编共18章，上篇为塑料及注塑工艺，阐述塑料的组成与分类、注塑成型原理与工艺；中篇为注塑模结构设计，阐述注塑模的分类、注塑机与注塑模的关系、浇注系统设计、模具零部件设计和注塑工艺；下篇为...

伴您游世界·实用指南 华盛顿、纽约暨费城 【历史地理】

本书通俗叙述了美国华盛顿特区、纽约和费城的分区地理、环境资源、历史变迁、政治体制、宗教信仰、语言文字、礼仪习俗、文化艺术等情况，并提供了签证、交通、通讯等与中国公民出入境前后密切相关的信息和知...

科学技术是创造新价值的巨大源泉 企业盈亏兴衰的深层奥秘探析 【经济】

作者认为马克思在劳动价值论和剩余价值论中，从理论上否定了科学技术“物化了的知识力量”创造新价值和剩余价值的可能性。作者提出科学技术是创造物质财富和价值财富的双重源泉。...

Visual Basic .NET解决方案工具箱 30个.NET实用组件 【工业技术】

最新中文Windows 2000/XP·五笔字型·Office 2000/XP·上网操作实用教程 【工业技术】

人文科学导论 【社会科学】

《人文科学导论》是国内第一部原理性的人文科学概论著作，它提供了人文科学的起源与现代性发展的关系、人文科学的对象与方法观等系统的学理。人文科学不仅为人文学科提供原理，而且为社会科学与自然科学提供价...

四合一中文Windows 98实用教程 Windows 98、Word 2000、Excel 2000、Internet 【工业技术】

实用介入诊疗技术图解 【医药卫生】

本书共分12章，并配以千余幅图，以图解的形式描述基本介入诊疗技术和常见疾病（心脏和颅脑疾病除外）的介入诊疗技术、方法。主要包括：常用的穿刺技术、常用的插管技术;其他基本诊疗技术的操作要点，如栓塞术、腔内成....