購物車/收銀台(0) | 在線留言板
| 付款方式
| 聯絡我們
| 運費計算
| 幫助中心 |
加入書簽 |
登入帳戶
| 訂單查詢
| 購物車/收銀台(0) | 在線留言板
| 付款方式
| 聯絡我們
| 運費計算
| 幫助中心 |
加入書簽 |
|
 HOME 新書上架暢銷書架好書推介特價區會員書架精選月讀2024年度TOP分類閱讀雜誌 |
香港／國際用戶 |
 |
最新/最熱/最齊全的簡體書網 | 品種：超過100萬種書，正品正价，放心網購，悭钱省心 | 送貨：速遞 / 物流，時效：出貨後2-4日 |  |
在 大書城
以“
全文
模式”搜“
石海鹤
”共有
3
結果：
|
支援简体 / 繁體 / 正體字輸入搜索 |
 |
形式化框架下置换和查找类算法的组装生成
作者：石海鹤 出版：科学出版社 日期：2017-05-01 本书以前期研究形成的支持程序开发全过程的形式化方法PAR为基础，选取排序类和查找类算法作为研究的突破口，开展了形式化方法制导下的算法程序自动化的研究。PAR为算法程序自动化提供了有力支持，它由自定义泛 ... |
詳情>> | 售價：NT$ 490 
|
 |
形式化构件装配的领域算法构造
作者：石海鹤，周卫星 出版：科学出版社 日期：2021-01-01 算法作为计算机软件的核心，其可靠性和开发效率对于软件的可信性及应用发展具有重要意义。算法自动化是提高算法开发效率、保证算法可靠性的重要途径之一。 《形式化构件装配的领域算法构造》结合著者所在学术团队 ... |
詳情>> | 售價：NT$ 394
|
 |
Java面向对象程序设计：思想·方法·应用（微课视频版）（21世纪高等学校计算机类课程创新系列教材·
作者：化志章 揭安全 石海鹤 王岚 出版：清华大学出版社 日期：2021-09-01 内容组织上，基于案例介绍内容，直观、高效；内容设计上，所有案例均有目的、设计、源码、分析，便于快速深入地理解、领会；内容表述上，结合丰富的图解和形象的比喻，破解 ... |
詳情>> | 售價：NT$ 335
|
| >>> （頁碼:1/1 行數:20/3） 1 |
| 書城介紹 | 合作申請 | 索要書目 | 新手入門 | 聯絡方式 | 幫助中心 | 找書說明 | 送貨方式 | 付款方式 | 台灣用户 | 香港/海外用户 |
| megBook.com.tw | |
| Copyright (C) 2013 - 2025 （香港）大書城有限公司 All Rights Reserved. | |