越来越大，越来越复杂的系统，使得应用在硬件和软件的规范与验证中的形式化方法越来越重要。本书旨在通过Petri网的形式化过程来阐述形式化方法中的相关进展。书中采用了许多实例，它们来源于不同的应用领域，例如柔性制造系统、工作流管理系统和电信系统。 本书的内容涵盖了一个系统在设计和实现的整个生命周期中的几个主要阶段，即规范用于证明的模型验证技术、性质分析、代码生成和模型的执行。书中对这些技术及其支持工具进行了详细的讨论，并且分析了在实际应用中可能遇到的问题。除此之外，作者还系统地介绍了一引起基本概念，例如组合、抽象、模型复用、模型验证、性质验证等。
¥45.00定价：¥53.00 (8.5折)
¥22.50定价：¥30.00 (7.5折)
本书是一本计算机专业的宽口径教材，新版按照CC2001和CCC2002教程改写，覆盖除自动机外编程语言模块的全部内容。 一个程序设计语言涉及设计者、实现者和使用者。读者在阅读本书之前，都学习过1～2门高级编程语言，已经是语言的使用者。
¥18.40定价：¥23.00 (8折)
¥29.40定价：¥42.00 (7折)
¥23.20定价：¥29.00 (8折)
数值计算方法（第二版 上册)/21世纪高等院校教材（新版链接为：http://product.dangdang.com/
新定价链接：数值计算方法（第二版 上册)/21世纪高等院校教材（新版链接为：http://product.dangdang.com/product.aspx?product_id=22572460）
¥17.30定价：¥23.00 (7.53折)
¥30.60定价：¥36.00 (8.5折)
¥22.40定价：¥28.00 (8折)
¥21.80定价：¥29.00 (7.52折)
¥22.50定价：¥30.00 (7.5折)
¥58.50定价：¥78.00 (7.5折)
¥42.50定价：¥50.00 (8.5折)
¥19.50定价：¥23.00 (8.48折)
¥20.40定价：¥24.00 (8.5折)
¥32.20定价：¥46.00 (7折)
在现代社会中，计算机已经深入到生活、工作的每个角落，人们用计算机进行通信、存储数据、处理数据等。然而，人们深深依赖的计算机网络，正面临着很多潜在的安全威胁。 影响计算机网络安全的因素很多，除了信息的不安全性以外，层出不穷的计算机病毒也给网络安全带来了威胁。另外，黑客对于网络安全的威胁则日趋严重。网络所面临的威胁很多，其中包括：物理威胁(偷窃、废物搜寻、间谍行为、身份识别错误)、系统漏洞(乘虚而入、不安全服务、配置和初始化)、身份鉴别威胁(口令圈套、口令破解、算法考虑不周、编辑口令)、线缆连接威胁(窃听、拨号进入、冒名顶替)、有害程序(病毒、代码炸弹、特洛伊木马)等。 从技术上讲，网络安全是一门涉及计算机科学、网络技术、通信技术、密码技术、信息安全技术、应用数学、数论、信息论等多种
¥21.80定价：¥24.00 (9.09折)
计算机操作系统教程——高等院校信息管理与信息系统专业系列教材
¥23.30定价：¥27.50 (8.48折)
¥29.80定价：¥35.00 (8.52折)
微型计算机
¥33.20定价：¥44.20 (7.52折)
本书全面而清晰地讲解了计算机科学的主要领域，是今后进行更广泛、更深入学习前的教材。本书从通用的观点开始讨论问题，而不是从某一特定的编程语言开始，这样做的好处是内容更加全面，而不会陷入和特定编程语言相关的讨论中。
¥41.60定价：¥49.00 (8.49折)
¥29.70定价：¥35.00 (8.49折)
臼槭侨砑?こ萄Ы绲木?洌?恢诙嗍澜缰??笱??捎茫?扔欣砺鄹叨扔钟芯咛宀僮鞣椒ǎ?杂谌砑?こ痰墓芾碚吆筒斡胝呃此刀际遣荒懿豢吹暮媒滩摹１臼槭窍低辰樯苋砑?こ汤砺鄣囊徊苛ψ鳎?蛭颐钦瓜至巳砑?こ痰墓憷?右埃?肿胖夭?隽嗽诳?⒋笮拖低持幸恍┕惴翰捎玫募际酢Ｕ獗境┫?橛
¥36.70定价：¥49.00 (7.49折)
¥24.00定价：¥30.00 (8折)
¥23.80定价：¥29.80 (7.99折)
¥25.50定价：¥30.00 (8.5折)
¥30.00定价：¥30.00
¥13.50定价：¥18.00 (7.5折)
计算机基础教程Windows 2000与Offcie 2000 林卓然 著 9787306020758 中山大学出版社 【速开发票，优质售后，支持7天无理由退换】
《计算机基础教程Windows 2000与Offcie 2000（第3版）》是一本计算机公共基础课的教材。其主要内容包括：计算机基础知识，计算机操作系统Windows 2000，文字处理系统Word 2000，电子表格Excel 2000，演示文稿制作软件PowerPoint 2000，计算机网络基本知识及Internet应用，网页制作，多媒体技术简介及计算机安全知识等。 《计算机基础教程Windows 2000与Offcie 2000（第3版）》内容丰富，知识面广，原理和实践紧密结合，注重实用性和可操作性，叙述上力求深入浅出，简明易懂。各章后面配有经过精心挑选和设计的习题和上机实验题。 《计算机基础教程Windows 2000与Offcie 2000（第3版）》还备有一套课堂教学用的电子教案，任课教师可按前言中提供的方式获得这些教学辅助资料。
¥13.19定价：¥74.22 (1.78折)
经济应用数学.下册 顾静相、冯泰 编著；顾静相 主编 9787040155525 高等教育出版社 【速开发票，优质售后，支持7天无理由退换】
本册内容包括：线性代数基础、线性代数应用、基础概率、随机向量、数据处理、统计推断、方差分析与回归分析等。
¥4.55定价：¥156.10 (0.3折)
制胜数学奥林匹克 C.鲁索 著；张连芳 译；[美]E.洛桑斯基；侯文华 9787030103345 科学出版社 【速开发票，优质售后，支持7天无理由退换】
本书介绍数学奥林匹克竞赛有关的数学知识以及解题的方法与技巧，目的是培养广大青少年解决较难数学问题的能力。主要内容包括：数、数学归纳法，同余，级数求和，丢番图方程，代数基本定理，代数方程，经典不等式，组合数学，容斥原理，鸽笼原理和极值问题等。 本书论述严谨，内容丰富。书中有大量的例题和习题，其中有许多取自历届美国和国际数学奥林匹克数学竞赛，通过习题的练习可使学生增加学习数学的兴趣和赢得数学奥林匹克竞赛的信心。 读者对象为广大青年学生、中学教师和数学爱好者。
¥60.20定价：¥141.50 (4.26折)
¥10.30定价：¥13.70 (7.52折)
¥27.20定价：¥34.00 (8折)
¥20.40定价：¥25.50 (8折)
3ds max 8基础与实例教程（含CD-ROM光盘一张）（第2版）
¥28.50定价：¥38.00 (7.5折)
¥8.20定价：¥11.00 (7.46折)
汽车理论（第4版）——普通高等教育“九五”部级重点教材 普通高等教育机电类规划教材
¥22.10定价：¥26.00 (8.5折)
模具设计与制造(21世纪全国高校应用人才培养机电类规划教材)
¥20.40定价：¥24.00 (8.5折)
数据结构与问题求解(C++版影印版)——大学计算机教育国外著名教材系列
¥71.40定价：¥84.00 (8.5折)
新定价链接：理论力学II/***精品课程教材·国家工程力学教学基地规划教材
¥7.50定价：¥10.00 (7.5折)
¥20.30定价：¥27.00 (7.52折)
¥12.00定价：¥15.00 (8折)
新定价链接：地理信息系统软件工程的原理与方法 《地理信息系统软件工程的原理与方法》涉及GIS软件工程概述、可行性分析、系统分析、系统分析方法、总体设计、详细设计、系统设计方法、数据工程、数据质量控制、工程实施与测试、维护工程、工程质量保证、工程标准化、工程管理、软件工程环境等内容，可作为大专院校GIS专业以及相关专业高年级本科生和研究生的教材或参考书，同时也可供从事GIS软件工程和相关应用软件建设的科技人员以及有关大专院校师生参考。
¥39.00定价：¥52.00 (7.5折)
Vsual Basic 程序设计教程题解与上机指导(第二版)
¥20.80定价：¥26.00 (8折)
¥22.50定价：¥25.00 (9折)
臼楣卜职苏拢??娼樯芰诵畔⒌幕?纠砺邸⑾执?畔⒓际酢⑿畔⒐芾怼⒕?眯畔⒂牍芾怼⑿畔⒆试醇捌涔芾怼⑿畔⒋?砑际酢⒕?眯畔⑾低车目?⒂牍芾怼⑿畔⒓际醯挠τ谩⑿畔⒒?肷缁岱⒄埂⑿畔⒉?导捌涔芾怼⑿畔⒎ü嬗胄畔?踩?饶谌荩??唤鍪屎嫌诩扑慊?畔⒐芾碜ㄒ档墓愦蠖琳撸?彩屎嫌谄渌?孕畔⒓捌浼际醺行巳さ亩琳摺Ｗ魑?滩模?逑至思扑慊?畔⒐芾砜纬谈母锏姆较蛑?唬?ㄒ楸究纬痰氖诳窝?蔽
¥20.00定价：¥25.00 (8折)
¥14.40定价：¥18.00 (8折)
¥20.00定价：¥25.00 (8折)
¥23.80定价：¥29.80 (7.99折)
臼榈奶氐闶歉拍钭既贰⒙凼鲅辖鳌⒛谌菪掠薄⑼嘉牟⒚?Ｍ怀龌?驹?砗突?靖拍畹牟?觯??绷ν挤从吵黾扑慊??绲囊恍┳钚路⒄埂５谒陌娓?油怀鲆訲CP/IP协议族为核心的一些常用网络协议以及一些网络新技术。
¥28.00定价：¥35.00 (8折)
¥47.40定价：¥58.00 (8.18折)
¥19.50定价：¥26.00 (7.5折)
¥20.40定价：¥24.00 (8.5折)
¥27.10定价：¥32.20 (8.42折)
信息技术的发展日新月异，数字化的浪潮正在迅速地席卷全球。数字信号处理作为数字化*重要的技术之一，在其应用的广度和深度方面，正以前所未有的速度向前发展。数字化是各种信息进行有效获取、存储、处理、交换、综合与应用的基础，而数字信号处理器性能的不断提高，开发工具的日臻完善，价格迅速下降，使其在语音合成与识别、图像处理、雷达、通信、声呐、多媒体、高速控制、医疗设备、仪器仪表、家用电器等众多领域得到了极为广泛的应用。
¥21.60定价：¥27.00 (8折)
¥16.80定价：¥22.50 (7.47折)
¥34.00定价：¥34.00
¥16.50定价：¥22.00 (7.5折)
汇编语言程序设计实验指导及习题集（跨高职高专）新世纪网络课程建设工程
¥14.60定价：¥19.50 (7.49折)
JSP 2.0应用教程（附光盘）——高等学校计算机语言应用教程
¥33.10定价：¥39.00 (8.49折)
¥20.00定价：¥25.00 (8折)
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车