臼榧仁且槐咀ㄖ??质且槐窘滩模?晒┥婕笆笨占浔淞康南喙亓煊蚋吣昙洞笱??蜓芯可?慕萄е?谩
¥41.60定价：¥48.00 (8.67折)
¥59.20定价：¥79.00 (7.5折)
新定价链接：生物材料学
¥24.00定价：¥32.00 (7.5折)
¥15.30定价：¥18.00 (8.5折)
¥23.20定价：¥29.00 (8折)
¥44.00定价：¥55.00 (8折)
越来越大，越来越复杂的系统，使得应用在硬件和软件的规范与验证中的形式化方法越来越重要。本书旨在通过Petri网的形式化过程来阐述形式化方法中的相关进展。书中采用了许多实例，它们来源于不同的应用领域，例如柔性制造系统、工作流管理系统和电信系统。 本书的内容涵盖了一个系统在设计和实现的整个生命周期中的几个主要阶段，即规范用于证明的模型验证技术、性质分析、代码生成和模型的执行。书中对这些技术及其支持工具进行了详细的讨论，并且分析了在实际应用中可能遇到的问题。除此之外，作者还系统地介绍了一引起基本概念，例如组合、抽象、模型复用、模型验证、性质验证等。
¥45.00定价：¥53.00 (8.5折)
¥13.80定价：¥25.00 (5.52折)
¥20.80定价：¥26.00 (8折)
¥21.00定价：¥28.00 (7.5折)
新定价链接：物理量测量/21世纪高等院校教材
¥16.50定价：¥22.00 (7.5折)
¥36.00定价：¥48.00 (7.5折)
¥32.30定价：¥38.00 (8.5折)
¥23.80定价：¥28.00 (8.5折)
旌眯畔?踩?究谱ㄒ档牡谝灰?厥怯涤懈咧柿康慕滩摹Ｓ捎诟鞣矫娴脑?颍?夜??煨畔?踩?究谱ㄒ档睦?泛芏蹋?崭掌鸩剑??牵?鼻耙愿髦中问娇?煨畔?踩?究谱ㄒ档母叩仍盒Ｈ捶浅６啵???苁?蚕氲笨晒郏??移渲写蟛糠盅??丫??昊?】纬蹋?唇??胱ㄒ悼蔚难?敖锥巍１本┯实绱笱?畔?踩?行氖且蛔?糯邮滦畔?踩?慕萄А⒖蒲泻统晒???闹氐闶笛槭摇８檬笛槭乙丫?嘌?隽宋夜?谝晃幻苈胙Р┦浚??以凇靶畔?踩?焙汀懊苈胙А绷礁鲎ㄒ盗煊蚰诮∪?瞬┦亢蟆⒉┦俊⑺妒亢捅究频呐嘌?逃?逑担?丫?嘌?隽耸?园偌频男畔?踩?芯可?
¥21.20定价：¥25.00 (8.48折)
¥25.60定价：¥30.10 (8.51折)
一书在手，可全面而又精练地掌握单片机的汇编编程、C51编程、RTOS嵌入系统及相关的单片机应用新技术，是学习单片机技术的良师益友。 本书理论体系完整，内容系统全面，结构清晰，实例丰富，语言通俗易懂，实例实用性和针对性强，既适合作为高等院校通信、控制、电工、电子、计算机专业的教材，也可供有关技术培训及工程技术人员自学参考之用。
¥31.50定价：¥35.00 (9折)
¥24.60定价：¥29.00 (8.49折)
?楣卜治逭拢?谝徽滦髀郏?樯芰瞬饬恳潜淼幕?靖拍睢⒉饬课蟛罘治鲇氩蝗范ǘ鹊钠蓝ā⒉饬恳瞧鞯幕?拘阅苤副甑龋?饕?康鞫愿拍畹睦斫庖约昂褪导视τ玫牧?担坏诙?挛露炔饬恳潜恚?唤鱿晗附樯芰私哟ナ胶头墙哟ナ讲饬糠椒ê鸵潜恚??一乖黾恿斯獾枷宋?馕录际酢⒓?晌露却?衅鞑馕录际鹾筒馕乱潜淼挠τ媒樯埽坏谌?卵沽Α⒉钛共饬恳潜恚?樯芰说?允健⒏汉墒健⒌缙?降妊沽?觳庖潜恚?沽Ρ渌推骱脱沽Ρ淼难≡裼氚沧埃坏谒恼铝髁坎饬恳潜恚?饕?樯芙诹魇讲钛沽髁考朴肫渌
¥32.30定价：¥38.00 (8.5折)
新定价链接：计算机编译原理（第三版）
¥22.50定价：¥30.00 (7.5折)
¥18.70定价：¥25.00 (7.48折)
Visual Basic 程序设计——21世纪高等院校规划教材·计算机类
¥18.60定价：¥26.00 (7.16折)
¥13.50定价：¥18.00 (7.5折)
魑?砉ねㄐ爬喔咝５淖ㄒ到炭剖椋?臼樵诮步馕佬峭ㄐ呕?驹?淼幕?∩希?】赡芸悸巧鲜鎏卣鳎??保?灿靡欢ㄆ??樯芰朔蔷仓构斓牢佬恰⒏鋈艘贫?佬峭ㄐ拧⑿诺谰来砗屯枷裥藕叛顾醣嗦搿⒖泶?嗝教逋ㄐ旁谖佬巧系挠τ玫龋?蛊浣虾玫胤从沉吮久叛Э平??嗄昀吹姆⒄骨榭觥
¥33.10定价：¥39.00 (8.49折)
¥21.20定价：¥25.00 (8.48折)
乩砜蒲А⒕?醚А⑷丝谘ёㄒ凳ι?脱芯空
¥25.50定价：¥34.00 (7.5折)
¥39.00定价：¥45.00 (8.67折)
¥15.80定价：¥21.00 (7.53折)
¥22.50定价：¥30.00 (7.5折)
新定价链接：微生物学实验教程（第二版）
¥15.80定价：¥21.00 (7.53折)
¥41.70定价：¥49.00 (8.52折)
C++面向对象程序设计（中国高等院校计算机基础教育课程体系规划教材） C++面向对象程序设计题解与上机指导（第2版）（中国高等院校计算机基础教育课程体系规
¥19.50定价：¥23.00 (8.48折)
¥24.60定价：¥29.00 (8.49折)
¥21.70定价：¥29.00 (7.49折)
¥28.00定价：¥35.00 (8折)
¥13.50定价：¥18.00 (7.5折)
¥56.10定价：¥66.00 (8.5折)
¥23.80定价：¥28.00 (8.5折)
本色特色： 详细介绍了信息安全，特别是公钥密码系统所涉及的数论、代数和椭圆曲线论等数学理论。 对欧几里得除法、模同余、欧拉定理、中国剩余定理、二次同余、原根、有限群、有限域、椭圆曲线做了较详细的讲述。 不仅能使读者从数学方面了解密码系统的安全性，而且可帮助读者运用所学知识去构建安全有效的密码系统。
¥17.80定价：¥21.00 (8.48折)
¥11.20定价：¥15.00 (7.47折)
¥21.60定价：¥27.00 (8折)
¥33.70定价：¥45.00 (7.49折)
¥44.20定价：¥59.00 (7.5折)
¥18.00定价：¥24.00 (7.5折)
臼槭侨砑?こ萄Ы绲木?洌?恢诙嗍澜缰??笱??捎茫?扔欣砺鄹叨扔钟芯咛宀僮鞣椒ǎ?杂谌砑?こ痰墓芾碚吆筒斡胝呃此刀际遣荒懿豢吹暮媒滩摹１臼槭窍低辰樯苋砑?こ汤砺鄣囊徊苛ψ鳎?蛭颐钦瓜至巳砑?こ痰墓憷?右埃?肿胖夭?隽嗽诳?⒋笮拖低持幸恍┕惴翰捎玫募际酢Ｕ獗境┫?橛
¥36.70定价：¥49.00 (7.49折)
¥43.40定价：¥62.00 (7折)
本书适合作为研究生和高年级本科生网络课的教材或主要参考资料。又可作为智能建筑领域或者相关专业的工程技术人员学习网络技术的一本很好的参考书。一方面，可比较精炼地获得必要的基础知识和系统概念；再则；由于书中丰富的当代网络集成的核心技术对于组网的理论指导和工程初中均有较大的参考价值。
¥27.20定价：¥34.00 (8折)
¥22.50定价：¥30.00 (7.5折)
ASP.NET数据库应用程序开发教程——21世纪高等学校计算机基础教育系列教材
¥22.90定价：¥27.00 (8.49折)
¥15.70定价：¥18.50 (8.49折)
¥22.10定价：¥26.00 (8.5折)
SPSS for Windows 统计分析教程（第2版）（附CD-ROM光盘一张）
¥44.00定价：¥55.00 (8折)
肭旨觳庾魑??缬胄畔?踩?煊虻囊幌钪匾?际酰?钦?霭踩?阑ぬ逑档闹匾?槌刹糠帧Ｈ肭旨觳庀低匙魑?恢职踩??罚?饔镁褪羌觳狻⑹侗鹜?绾拖低持写嬖谌肭趾凸セ鳎?⒍怨セ髯鞒鲇行У南煊Γ?缱柚构セ鞯慕?校?怨セ鹘?屑锹肌⒆鞒鲋鞫?煊Φ取Ｋ孀耪攵韵低澈屯?绲墓セ髟龆啵?嗣嵌匀肭旨觳庀低车难芯恳苍嚼丛蕉啵?嚼丛缴钊搿
¥19.50定价：¥23.00 (8.48折)
Photoshop CS 2图形图像处理教程（第2版）——21世纪高等院校应用型规划教材
¥18.40定价：¥23.00 (8折)
购买《编译原理学习指导与典型题解析》请点击
¥23.20定价：¥31.00 (7.49折)
¥26.20定价：¥35.00 (7.49折)
数值分析（新版链接为：http://product.dangdang.com/product.aspx?product_
新定价链接：数值分析（新版链接为：http://product.dangdang.com/product.aspx?product_id=22466025） "color: #0000ff;"> 新书购买链接： "http://product.dangdang.com/product.aspx?product_id=22466025">数值分析
¥21.00定价：¥28.00 (7.5折)
¥13.50定价：¥18.00 (7.5折)
¥11.20定价：¥15.00 (7.47折)
¥15.70定价：¥21.00 (7.48折)
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车