登入帳戶　 |　訂單查詢　 |　購物車/收銀台(0)　|　在線留言板　 |　付款方式　 |　聯絡我們　 |　運費計算　 |　幫助中心　|　 加入書簽
	全部範圍 - 圖書 - 　- 中文簡體書(大陸書) - 　- 英文書（原版） - - 音碟 - 　- 音樂 - 　- 影視 - - 雜誌 - 全文 精確	會員登入   新用戶註冊

HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2024年度TOP分類閱讀雜誌

香港／國際用戶

最新/最熱/最齊全的簡體書網

品種：超過100萬種書，正品正价，放心網購，悭钱省心

送貨：速遞 / 物流，時效：出貨後2-4日

新書推薦： 《 缪斯的诞生 现代西方艺术观念生成简史 》 售價：NT$ 398.0 《 信念危机：投资者心理与金融脆弱性 》 售價：NT$ 347.0 《 喵星语解密手册 》 售價：NT$ 403.0 《 新型戏剧编剧技巧初探 》 售價：NT$ 383.0 《 一日浮生 》 售價：NT$ 367.0 《 历代玉器收藏与鉴赏 》 售價：NT$ 1836.0 《 铁腕拗相王安石：北宋的改革家和变法者 》 售價：NT$ 500.0 《 中国法律史学学说史（中国法学学术史丛书；国家出版基金项目） 》 售價：NT$ 857.0

建議一齊購買： + NT$ 500 《智能制造关键技术与工业应用丛书--智能工厂制造执行系统（ME》 + NT$ 1008 《锂离子电池制造工艺原理与应用》 + NT$ 301 《面向“无废”的工业固体废物管理》 + NT$ 857 《六西格玛设计：产品开发之道》 + NT$ 1010 《先进电磁屏蔽材料——基础、性能与应用》 + NT$ 759 《材料现代研究方法》 內容簡介： 全书分为计算理论基础知识、算法设计与分析、系统建模与推理三部分。其中，计算理论基础知识包含了四个模块，分别是预备知识、自动机与语言、可计算性理论和计算复杂性理论，该部分又针对每一个知识模块细分了章节，由浅入深。在算法设计与分析部分，划分了五个章节，分别是分治策略、动态规划、贪心算法、下界和回溯法。在系统建模与推理中，重点划分出基于模型的验证一章，主要介绍基于有穷状态机的系统属性验证方法。本书可作为1～2个学期的计算理论导论课程教材，适用于数学、计算机科学、信息安全、物联网工程等各个专业的本科生、研究生（含留学生）学习。

書城介紹　 |　合作申請　|　索要書目　 |　新手入門　|　聯絡方式　 |　幫助中心　|　找書說明　 |　送貨方式　|　付款方式	台灣用户　|　香港/海外用户
megBook.com.tw
Copyright (C) 2013 - 2025 （香港）大書城有限公司　All Rights Reserved.