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

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

香港／國際用戶

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

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

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

新書推薦： 《 古典与文明·独尊儒术前夕的思想争锋：汉初“前经学时代”研究 》 售價：NT$ 459 《 史记 全六册 》 售價：NT$ 2030 《 图解计算机科学数学基础（原书第3版） 》 售價：NT$ 607 《 柏拉图《理想国》指南（想读《理想国》，一直看不懂？这本书就是你的哲学通关攻略） 》 售價：NT$ 407 《 你的代谢还好吗：控制“五高”饮食运动法 》 售價：NT$ 254 《 战国史料编年辑证（全二册）（杨宽著作集） 》 售價：NT$ 1265 《 流动的世界想象：中国当代电影与视觉文化 》 售價：NT$ 347 《 传播与帝国：1860—1930 年的媒体、市场与全球化（跨洲史料详尽呈现全球通信全景，资本视角重新定 》 售價：NT$ 458

內容簡介： 【丛书介绍】 “中国基础研究报告”丛书是国家自然科学基金委员会首次组织的整体展示我国基础研究水平和格局的丛书，系统展示了我国重点布局的关键基础研究领域的重大原创成果，反映了我国近年来在基础前沿领域的飞跃式发展，代表了我国基础科学研究的最高水平。 丛书主编杨卫院士评价该丛书为“我国基础研究的‘史书’记载”。该丛书可为今后的研究者提供丰富的科研素材和创新源泉，将引领相关学科研究领域的持续发展，对推动我国基础研究发展和世界科技强国建设起到积极的促进作用，对实现我国重大基础研究成果的传播和普及具有重大的社会和经济价值。 【本书介绍】 《The Fundamental Research for Trustworthy Software（可信软件基础研究）》 本书为“中国基础研究报告”丛书《可信软件基础研究》英文版，由何积丰院士担任主编，基于国家自然科学基金重大研究计划“可信软件基础研究”的研究成果写作完成。本书以国家关键应用领域中软件可信性问题为主攻目标，针对“软件可信性度量与建模”“可信软件的构造与验证”“可信软件的演化和控制”和“可信环境的构造与评估”等科学问题，从基础理论体系、方法与平台架构、典型应用示范等三方面对软件可信性重要成果和进展进行了深入阐释。 本书主编为何积丰，计算机软件专家，主要从事计算机软件理论及应用研究。 關於作者： 可信软件基础研究项目组指导专家组组长为何积丰。何积丰，计算机软件专家，中国科学院院士，华东师范大学软件学院院长、教授、博士生导师。主要从事计算机软件理论及应用研究。

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