越来越大，越来越复杂的系统，使得应用在硬件和软件的规范与验证中的形式化方法越来越重要。本书旨在通过Petri网的形式化过程来阐述形式化方法中的相关进展。书中采用了许多实例，它们来源于不同的应用领域，例如柔性制造系统、工作流管理系统和电信系统。 本书的内容涵盖了一个系统在设计和实现的整个生命周期中的几个主要阶段，即规范用于证明的模型验证技术、性质分析、代码生成和模型的执行。书中对这些技术及其支持工具进行了详细的讨论，并且分析了在实际应用中可能遇到的问题。除此之外，作者还系统地介绍了一引起基本概念，例如组合、抽象、模型复用、模型验证、性质验证等。
¥45.00定价：¥53.00 (8.5折)
线性系统理论（第2版）习题与解答——新编《信息、控制与系统》系列教材
¥29.70定价：¥35.00 (8.49折)
¥31.60定价：¥40.00 (7.9折)
¥18.60定价：¥24.80 (7.5折)
¥12.80定价：¥17.00 (7.53折)
¥18.60定价：¥24.00 (7.75折)
¥21.60定价：¥27.00 (8折)
¥15.60定价：¥22.00 (7.1折)
¥19.40定价：¥25.80 (7.52折)
¥50.80定价：¥59.80 (8.5折)
¥17.70定价：¥20.00 (8.85折)
¥27.00定价：¥36.00 (7.5折)
¥9.80定价：¥13.00 (7.54折)
新定价链接：信息光学（第二版）
¥26.30定价：¥35.00 (7.52折)
¥22.50定价：¥30.00 (7.5折)
¥14.50定价：¥16.00 (9.07折)
¥42.50定价：¥50.00 (8.5折)
¥26.40定价：¥33.00 (8折)
¥15.80定价：¥21.00 (7.53折)
¥41.60定价：¥49.00 (8.49折)
算法导论(原书第2版)（决战大数据时代！IT技术人员不得不读！）
全球超过50万人阅读的算法圣经！《算法导论》第3版中文版隆重上市！ 在有关算法的书中，有一些叙述非常严谨，但不够全面，另一些涉及了大量的题材，但又缺乏严谨性。《算法导论》将严谨性和全面性融为一体。 本书深入讨论各类算法，并着力使这些算法的设计和分析能为各个层次的读者接受。各章自成体系，可以作为独立的学习单元。算法以英语和伪代码的形式描述，具备初步程序设计经验的人就能看懂。说明和解释力求浅显易懂，不失深度和数学严谨性。 本书自第1版出版以来，已经成为世界范围内广泛使用的大学教材和专业人员的标准参考书。第2版增加了论述算法作用、概率分析与*算法、线性规划等几章。同时，对第1版的几乎每一节都作了大量的修订。一项巧妙而又重要的修改是提前引入循环不变式，并在全书中用来证明算法的正确
¥63.70定价：¥85.00 (7.5折)
¥17.40定价：¥22.00 (7.91折)
¥31.20定价：¥39.00 (8折)
¥18.30定价：¥21.50 (8.52折)
¥10.50定价：¥14.00 (7.5折)
可编程序控制器原理及应用（第二版） 注重理论和实际应用相结合，书中附有PLC应用实例，所有程序均经调试运行。
¥20.80定价：¥28.00 (7.43折)
¥23.80定价：¥28.00 (8.5折)
¥25.50定价：¥30.00 (8.5折)
¥15.20定价：¥19.00 (8折)
¥36.50定价：¥39.00 (9.36折)
¥14.50定价：¥17.00 (8.53折)
新定价链接：微生物学实验教程（第二版）
¥15.80定价：¥21.00 (7.53折)
¥24.80定价：¥36.00 (6.89折)
¥13.10定价：¥16.80 (7.8折)
¥19.20定价：¥24.00 (8折)
¥12.00定价：¥16.00 (7.5折)
购买《编译原理学习指导与典型题解析》请点击
¥23.20定价：¥31.00 (7.49折)
细胞生物学（新版链接：http://product.dangdang.com/product.aspx?product_
¥36.00定价：¥48.00 (7.5折)
¥16.50定价：¥22.00 (7.5折)
¥20.80定价：¥26.00 (8折)
嵌入式系统开发与应用实验教程（第2版）（附CD-ROM光盘一张）——嵌入式系统开发与应用系列教程 附CD-ROM光盘一张 ——嵌入式系统开发与应用系列教程
臼榛?贏RM的《嵌入式系统开发与应用系列教程》中的实验教程，共包含29个实验。涉及： 嵌入式软件开发基础实验；基本接口实验；人机接口实验；通信与音频接口实验；嵌入式操作系统 μC/OS移植与应用程序开发实验；嵌入式操作系统μClinux移植与应用程序开发实验。 在实验内容设计上，密切结合了嵌入式系统教学实际，融入了大量实际工程例程，形成了从易到难、相对完整、贴近实际工程应用的嵌入式系统实验教学体系。可以使读者快速、全面地掌握嵌入式系统开发与应用技术。
¥25.00定价：¥29.50 (8.48折)
实用化工计算机模拟——MATLAB在化工中的应用（附含CD—ROM光盘一张）
¥32.30定价：¥38.00 (8.5折)
热能与动力工程测试技术（第2版）——普通高等教育“十五”国家规划教材
本书是普通高等教育“十五”***规划教材之一，本书阐述了热能和动力工程领域中主要参数的测量方法、测试系统和测量仪器的工作原理、测量误差分析和数据处理等内容。可为热能与动力工程类各专业本科生教材和研究生参考书，也可供该领域从事试验研究、设计、制造、使用等的工程技术人员参考。
¥22.20定价：¥28.00 (7.93折)
Visual BASIC是Windows环境下优秀的程序设计工具，是面向对象的集成开发系统。它继承BASIC简单、高效、易学易用的功能，并且融入面向对象、可视化、事件驱动等先进的软件开发技术，如今有大量程序员在使用Visual BASIC开发各种类型的应用程序。本书是《Visual BASIC计算机绘图基础》的姐妹篇。在该书的基础上，本书着重介绍计算机绘图的实用技术。
¥19.50定价：¥23.00 (8.48折)
应用卫星气象学——大气科学国家理科基础科学研究和教学人才培养基地教学用书
¥21.20定价：¥25.00 (8.48折)
¥29.70定价：¥33.00 (9折)
本书以应用系统三层体系结构的实现为主线，讲述了电子商务系统表达层、逻辑层和数据层的技术基础；以电子商务系统框架为基础，进一步描述了完成电子商务信息传递和电子商务环境建设所必需的技术要素，以及Web信息资源管理等相关技术及发展。
¥20.30定价：¥29.00 (7折)
本书可作为高等学校教材使用，也可作为对面向对象编程和Java语言感兴趣的读者的自学用书，还可供其他有兴趣的读者参考。本书内容丰富、通俗易懂、深入浅出，每章后均附有本章小结和习题。书中程序都已经过上机调试，读者可以放心阅读和使用。
¥22.50定价：¥30.00 (7.5折)
¥20.00定价：¥25.00 (8折)
¥23.80定价：¥28.00 (8.5折)
¥43.50定价：¥58.00 (7.5折)
本书立足于易懂实用的原则，涉及从入门到提高的各个层面，从实践的角度比较全面地介绍了SQL Server 2000的强大功能，让读者轻松掌握构建数据库的实用内容。
¥21.20定价：¥25.00 (8.48折)
物理学原理（上下第3版）（全两册）国际著名物理图书影印版系列
¥67.10定价：¥79.00 (8.5折)
臼橐訨ava语言为载体，通过讨论Java程序设计的一般过程和方法，重点讲述了程序设计基础、面向对象程序设计、算法与数据结构、GUI程序设计和Web程序设计的知识，并涉及计算机科学基础、数据和控制、程序设计理论、软件工程等四大知识领域。本书同时详细分析了Java作为通用程序设计语言的本质特点和语法规划，并以大量Java程序实例演示说明有关应用程序的设计过程，介绍主流的程序设计思想方法，培养读者的代码编写能力。 本书内容深入浅出，覆盖面广，图文并茂、独具特点。全书采用案例教学法，既有丰富的理论知识，也有大量的实战范例，更提供了精心设计的课后练习。 本书特点： 面向Java初学者的程序设计入门和实践读物； 汇集一线教师教学经验的大学计算机程序设计课程教材； 结合国内计算机教学改革成果，与世界一流计算机课程
¥21.80定价：¥29.00 (7.52折)
¥13.60定价：¥17.00 (8折)
¥32.10定价：¥42.80 (7.5折)
¥26.30定价：¥31.00 (8.49折)
¥13.50定价：¥18.00 (7.5折)
¥34.40定价：¥43.00 (8折)
用户中心设计—集成化方法——翻译版（含CD-ROM光盘一张）
¥17.60定价：¥22.00 (8折)
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车