購物車/收銀台(0) | 在線留言板
| 付款方式
| 運費計算
| 聯絡我們
| 幫助中心 |
加入書簽 |
登入帳戶
| 訂單查詢
| 購物車/收銀台(0) | 在線留言板
| 付款方式
| 運費計算
| 聯絡我們
| 幫助中心 |
加入書簽 |
||
 HOME 新書上架暢銷書架好書推介特價區會員書架精選月讀2024年度TOP分類瀏覽雜誌 |
臺灣用戶 |
 |
品種：超過100萬種各類書籍/音像和精品，正品正價，放心網購，悭钱省心 | 服務：香港／台灣／澳門／海外 | 送貨：速遞／郵局／服務站 |  |
在 大書城
以“
精确
模式”搜“
石海鹤 周卫星 石海鶴 周衛星
”共有
6
结果：
|
同時支援繁體 / 正體 / 简体字輸入搜索 |
 |
形式化构件装配的领域算法构造
『简体书』 作者：石海鹤，周卫星 出版：科学出版社 日期：2021-01-01 算法作为计算机软件的核心，其可靠性和开发效率对于软件的可信性及应用发展具有重要意义。算法自动化是提高算法开发效率、保证算法可靠性的重要途径之一。 《形式化构件装配的领域算法构造》结合著者所在学术团队已取得的软件形式化方法PAR及其支撑平台 ... |
詳情>> | |
 |
职业教育与成人教育司教材 电工工艺实习
『简体书』 作者：周卫星 米彩霞 樊新军 出版：中国电力出版社 日期：2009-08-01 本书贯彻了以全面素质教育为基础和以能力为本位的教学指导思想，体现“宽、浅、用、新、能、活”的六字原则，力求对学生进行规范化的电工基本工艺技能训练，使其具备新的行业规范所要求的电工工艺知识和操作技能以及中高级专业人才所必需的基本技能。本书在内 ... |
詳情>> | |
 |
形式化框架下置换和查找类算法的组装生成
『简体书』 作者：石海鹤 出版：科学出版社 日期：2017-05-01 本书以前期研究形成的支持程序开发全过程的形式化方法PAR为基础，选取排序类和查找类算法作为研究的突破口，开展了形式化方法制导下的算法程序自动化的研究。PAR为算法程序自动化提供了有力支持，它由自定义泛型算法设计语言Radl及相关规约转换规则 ... |
詳情>> | |
 |
Java面向对象程序设计：思想·方法·应用（微课视频版）（21世纪高等学校计算机类课程创新系列教材·
『简体书』 作者：化志章 揭安全 石海鹤 王岚 出版：清华大学出版社 日期：2021-09-01 内容组织上，基于案例介绍内容，直观、高效；内容设计上，所有案例均有目的、设计、源码、分析，便于快速深入地理解、领会；内容表述上，结合丰富的图解和形象的比喻，破解 ... |
詳情>> | |
 |
教育部职业教育与成人教育司推荐教材 安全用电
『简体书』 作者：郭莉鸿，周卫星，程建龙，程书华 出版：中国电力出版社 日期：2019-06-01 本书为教育部职业教育与成人教育司推荐教材。 全书共分为8章，主要内容包括概述、电气作业的安全措施、电气安全工器具的正确使用、人身触电、防止人身触电技术措施、电气设备安全运行、电气设备过电压及防火防爆、电网的安全管理。 本书结合用电事故典型案 ... |
詳情>> | |
 |
普通高等教育“十二五”规划教材（高职高专教育） 变电运行
『简体书』 作者：杨娟 主编，周卫星 副主编 出版：中国电力出版社 日期：2019-09-01 电力职业院校资深教师倾力之作，*教材作者的又一力作 ... |
詳情>> | |
| >>> （頁碼:1/1 行數:20/6） 1 |
如果未能搜尋到意向中的書籍，可以參看：“找書說明” 或 “尋書登記服務”
| 書城介紹 | 合作申請 | 索要書目 | 新手入門 | 聯絡方式 | 幫助中心 | 找書說明 | 送貨方式 | 付款方式 | 香港用户 | 台灣用户 | 海外用户 |
| megBook.com.hk | |
| Copyright © 2013 - 2025 （香港）大書城有限公司 All Rights Reserved. | |