TOP
0
0
魅麗。花火原創小說66折起

三民網路書店 中國圖書館分類法 / 工業技術 / 自動化技術、計算機技術 / 計算技術、計算機技術 / 形式語言理論

37筆商品,1/2頁
形式化方法導論(第2版)(簡體書)
滿額折

1.形式化方法導論(第2版)(簡體書)

作者:張廣泉  出版社:清華大學出版社(大陸)  出版日:2023/03/17 裝訂:平裝
形式化方法是指有嚴格數學基礎的軟件和系統開發方法,支持計算機系統及軟件的規約、設計、驗證與演化等活動.隨著高可信軟件的興起,形式化方法作為重要的途徑,關注度日益提高.其作用不僅深化了人們對計算系統規律的認識,而且支持了計算系統開發、運行和演化之工具、平臺、環境的構建。鑒於形式化方法對軟件工程的重要性, 2004 年 ACM 和 IEEE-CS 聯合制訂的軟件工程教程《SE2004》將“形式化方法”列為 軟件工程專業的核心課程。本書主要由系統建模、形式規約和形式驗證三部分構成,具體包括:順序、併發和反應系統、轉換系統、自動機、時序邏輯、定理證明、模型檢測、實時系統、混成系統等。
定價:414 元, 優惠價:87 360
無庫存,下單後進貨(採購期約45個工作天)
正則表達式必知必會(修訂版)(簡體書)
滿額折

2.正則表達式必知必會(修訂版)(簡體書)

作者:(美)本‧福塔  出版社:人民郵電出版社  出版日:2023/02/01 裝訂:平裝
正則表達式是一種威力無比強大的武器,幾乎在所有的語言和平臺上都可以用它來執行各種複雜的文本處理和操作。本書從簡單的文本匹配開始,循序漸進地介紹了很多複雜內容,包括反向引用、條件評估、環視等。每章都配有許多簡明實用的示例,有助於全面、系統、快速掌握正則表達式,並運用它們解決實際問題。
定價:234 元, 優惠價:87 204
無庫存,下單後進貨(採購期約45個工作天)
深入淺出 Hyperscan:高性能正則表達式算法原理與設計(簡體書)
滿額折

3.深入淺出 Hyperscan:高性能正則表達式算法原理與設計(簡體書)

作者:王翔  出版社:人民郵電出版社  出版日:2022/09/01 裝訂:平裝
《深入淺出 Hyperscan:高性能正則表達式算法原理與設計》系統、循序漸進地介紹Hyperscan技術。全書共8章,主要介紹正則表達式、匹配算法和正則表達式匹配所依賴的自動機原理、正則表達式匹配庫等,並重點介紹Hyperscan的功能特性、設計原理和性能調優技巧,以及匹配引擎的核心算法和SIMD加速技術的運用,還展示了Hyperscan多樣化的應用場景。《深入淺出 Hyperscan:高性能正則表達式算法原理與設計》既適合作為Hyperscan開發者的學習用書,也適合作為高等院校計算機相關專業的師生用書和相關培訓學校的教材。
定價:479 元, 優惠價:87 417
無庫存,下單後進貨(採購期約45個工作天)
走向意義:形式語義學與維特根斯坦(簡體書)
滿額折

4.走向意義:形式語義學與維特根斯坦(簡體書)

作者:(荷)司馬亭  出版社:清華大學出版社(大陸)  出版日:2022/07/01 裝訂:精裝
形式語義學是在做什麼?它的哲學假設是什麼?它採用的方法是什麼?這些方法如何反映它的哲學的和邏輯的起源?維特根斯坦在其中扮演了什麼樣的角色?維特根斯坦關於倫理的看法是什麼樣的?維特根斯坦的《哲學研究》與蒙塔古的“普遍語法”之間真的無法調和嗎?本書作者試圖通過10多篇論文深入探討這些問題,並給出了合理的解答。 本書通過挖掘形式語義學的哲學與邏輯學假設,探討形式語義學的學科地位,為形式語義學的發展指明方向;同時,通過探索維特根斯坦哲學的思想資源,為形式語義學與維特根斯坦哲學之間建立起一座橋梁。此外,本書還深入討論了維特根斯坦的倫理思想,為維特根斯坦的倫理觀給出了一個全新的解釋。對於那些希望了解形式語義學以及維特根斯坦哲學的學者而言,本書具有很好的參考價值。
定價:528 元, 優惠價:87 459
無庫存,下單後進貨(採購期約45個工作天)
深化知識表徵與建模:語義圖示的設計、開發與應用(簡體書)
滿額折

5.深化知識表徵與建模:語義圖示的設計、開發與應用(簡體書)

作者:顧小清; 權國龍  出版社:華東師範大學出版社  出版日:2020/06/10 裝訂:平裝
信息時代,訊息如海,一切變得瑣碎不堪;讀圖時代,圖像流行,一切變得光影斑斕。人們工作、生活與學習中確需要能夠用以幫助梳理信息、整理資訊、生成並利用知識,進而能夠應對現實需求的方法與工具,以完滿應對諸多問題與壓力。在這樣背景下,“語義圖示”應運而生。它充分利用圖像能被人快速捕捉結構、意義等特點,被研究並應用於教育教學中。本書以“語義圖示”為手段圍繞可視化知識表徵與建模展開理論與應用研究的成果的記載。
定價:408 元, 優惠價:87 355
無庫存,下單後進貨(採購期約45個工作天)
正則表達式必知必會(簡體書)
滿額折

6.正則表達式必知必會(簡體書)

作者:(美)福達  出版社:人民郵電出版社  出版日:2019/03/01 裝訂:平裝
《規則運算式必知必會》從簡單的文本匹配開始,循序漸進地介紹了很多複雜內容,其中包括回溯引用、條件性求值和前後查找,等等。每章都為讀者準備了許多簡明又實用的示例,有助於全面、系統、快速掌握規則運算式,並運用它們去解決實際問題。規則運算式是一種威力無比強大的武器,幾乎在所有的程式設計語言裡和電腦平臺上都可以用它來完成各種複雜的文本處理工作。而且書中的內容在保持語言和平臺中立的同時,還兼顧了各種平臺之間
定價:174 元, 優惠價:87 151
無庫存,下單後進貨(採購期約45個工作天)
加權概念格理論與應用(簡體書)
滿額折

7.加權概念格理論與應用(簡體書)

作者:張素蘭  出版社:科學出版社  出版日:2019/02/27 裝訂:平裝
《加權概念格理論與應用》共分為5章,第1章概括介紹了數據挖掘、概念格和圖像語義自動標注的相關理論。第2~4章
定價:288 元, 優惠價:87 251
無庫存,下單後進貨(採購期約45個工作天)
基於VHDL的數字系統設計方法(簡體書)
滿額折

8.基於VHDL的數字系統設計方法(簡體書)

作者:(美)威廉姆‧J.戴利; (美)R.Curtis Harting; 王志華  出版社:機械工業出版社  出版日:2019/01/01 裝訂:平裝
本書作為數字電路設計著作,為讀者提供了一個系統級的視角,並為他們理解、分析和設計數字系統提供了相關資料和工具。它教授當前工業界數字系統設計中所需的硬件描述語言(VHDL)和現代CAD 工具使用相關的技能。特別注意系統級問題,包括分解和劃分數字系統、接口設計和接口時序。也涉及需要深入理解的相關問題,如時序分析、亞穩態和同步性。當然,本書還涵蓋了組合和時序邏輯電路的人工設計。
定價:774 元, 優惠價:87 673
無庫存,下單後進貨(採購期約45個工作天)
形式語義學要素(簡體書)
滿額折

9.形式語義學要素(簡體書)

作者:(荷)約德•溫特  出版社:世界圖書(北京)出版公司  出版日:2018/10/15 裝訂:平裝
叢書簡介:西方語言學視野是精選國外已經出版的經典語言學圖書,前面添加國內學者撰寫的中文導讀進行影印出版的系列圖書,適合國內語言學領域的研究者和學習者閱讀參考。 本書簡介:作為一本形式語義學教科書,《形式語義學的要素》著重呈現該領域研究的兩個“要素”:一是形式分析的物件——蘊涵(entailment)推理這一語義直覺。全書討論結構歧義、廣義量詞、內涵語境下唯名/唯實解讀等一系列語義問題均圍繞
定價:312 元, 優惠價:87 271
無庫存,下單後進貨(採購期約45個工作天)
正則指引(第2版)(簡體書)

10.正則指引(第2版)(簡體書)

作者:余晟  出版社:電子工業出版社  出版日:2018/10/01 裝訂:平裝
本書綜合作者自己遇到的實際問題,以及其他開發人員諮詢的問題,總結出一套巧妙運用正則表達式的辦法,並通過具體的例子指導讀者拆解、分析問題。全書分爲三部分:第一部分主要講解正則表達式的基礎知識,涵蓋了正則表達式中常見的各種功能和結構;第二部分主要講解關于正則表達式的更深入的知識,詳細探討了編碼問題、匹配原理、解題思路;第三部分將之前介紹的各種知識落實到常用語言.NET、Java、JavaScript、
缺貨無法訂購
基於Quartus Prime的數字系統Verilog HDL設計實例詳解(第3版)(簡體書)
滿額折

11.基於Quartus Prime的數字系統Verilog HDL設計實例詳解(第3版)(簡體書)

作者:周潤景  出版社:電子工業出版社  出版日:2018/10/01 裝訂:平裝
本書以語法與實例結合的方式來講解可編程邏輯器件的設計方法,軟件開發平臺為Altera公司的Quartus Prime 16.1 FPGA/CPLD設計軟件。本書由淺入深地介紹了利用Quartus Prime進行數字系統開發的設計流程、設計思想和設計技巧。書中的例子非常豐富,既有簡單的數字邏輯電路實例,也有複雜的數字系統設計實例。
定價:594 元, 優惠價:87 517
無庫存,下單後進貨(採購期約45個工作天)
電機控制及維修實訓教程(簡體書)
滿額折

12.電機控制及維修實訓教程(簡體書)

作者:李瑞福  出版社:化學工業出版社  出版日:2018/09/01 裝訂:平裝
本書是按照高等職業教育培養高素質技能型專門人才的目標要求,依據國家職業標準和職業技能鑒定規範,參照高職高專電類專業相關課程的課程標準編寫的。 全書共分三部分。 第一部分為實訓須知,主要介紹實訓室的基本情況、實訓室守則和考核方式等。 第二部分為實訓項目,主要包括:點動控制、單向長動控制、兩地控制、順序啟動同時停止控制、順序啟動逆序停止控制、具有電氣互鎖的正反轉控制、具有雙重互鎖的正反轉控
定價:174 元, 優惠價:87 151
無庫存,下單後進貨(採購期約45個工作天)
基於VHDL的EDA實驗指導教程(簡體書)
滿額折

13.基於VHDL的EDA實驗指導教程(簡體書)

作者:李翠錦; 孫霞  出版社:西南交通大學出版社  出版日:2018/08/01 裝訂:平裝
本書是為了幫助讀者學會設計數字系統,並熟悉 Altera 公司產品、軟件 QUARTUS II及其它相關軟件的使用,前面四章主要內容包括軟件概述、系統模塊介紹、軟件安裝、USB 電纜的安裝與使用,第五章選取有代表性的實驗近二十個,實驗內容從簡單的組合電路設計到複雜的數字系統設計, 詳細介紹了系統的設計方法和軟件的各種操作,每個實驗都包括實驗目的、實驗原理、實驗內容、實驗步驟、實驗現象與結果。本書實
定價:179 元, 優惠價:87 156
無庫存,下單後進貨(採購期約45個工作天)
形式語義學引論(第二版)(簡體書)
滿額折

14.形式語義學引論(第二版)(簡體書)

作者:周巢塵; 詹乃軍  出版社:科學出版社  出版日:2017/10/16 裝訂:精裝
本書為形式語義學入門參考書,簡單介紹程序的操作語義、指稱語義和公理語義。全書共7章:第1章介紹操作語義,第2章介紹指稱語義,第3章介紹公理語義,第4介紹過程調用的形式語義,第5章介紹非確定程序的形式語義,第6章介紹併發程序的形式語義,第7章介紹程序的時態語義。
定價:408 元, 優惠價:87 355
無庫存,下單後進貨(採購期約45個工作天)
VHDL應用教程(簡體書)
滿額折

15.VHDL應用教程(簡體書)

作者:楊光  出版社:電子工業出版社  出版日:2017/05/23 裝訂:平裝
本書以VHDL語言應用為主線,首先介紹了EDA技術的基本概念、發展趨勢及開發過程;其次對VHDL的結構與要素、VHDL基本語句、VHDL設計實例進行了闡述,最後介紹了Max+Plus Ⅱ和Quartus Ⅱ開發工具以及實驗指導。全書緊密結合實際教學需要,強調實際工程應用,內容力求由淺入深,循序漸進,通俗易懂,注重將理論與實際應用相結合,並且設計實例以仿真圖配合文字的方式進行表述,使得重點突出,淺顯
定價:210 元, 優惠價:87 183
無庫存,下單後進貨(採購期約45個工作天)
計算系統的形式語義(全二冊)(簡體書)
滿額折

16.計算系統的形式語義(全二冊)(簡體書)

作者:陸汝鈐  出版社:清華大學出版社(大陸)  出版日:2017/01/31 裝訂:精裝
本書系統全面地論述了操作語義、指稱語義、公理語義和代數語義等形式語義學的理論和方法, 並結合近年來形式語義學的最新進展, 適應發展迅速的併發系統等對形式語義描述的需求, 著重增加了併發語義和移動計算系統的形式理論等內容。此外, 還增加了當今非常熱門的一個研究內容, 即生物系統的形式化描述問題。內容全面豐富, 文筆流暢, 可讀性強, 是一本難得的學術專著。
定價:2388 元, 優惠價:87 2078
無庫存,下單後進貨(採購期約45個工作天)
數位邏輯與電腦設計:VHDL語言描述(簡體書)
滿額折

17.數位邏輯與電腦設計:VHDL語言描述(簡體書)

作者:(美)桑迪格  出版社:清華大學出版社(大陸)  出版日:2015/01/01 裝訂:平裝
本書由Richard S. Sandige和Michael L. Sandige所著。前者是加州理工州立大學的一名退休名譽教授,他在美國多所大學從事過教學工作,還在多家公司從事過研發工作,具有豐富的教學和技術開發經驗。後者則非常熱愛遊戲的研發,目前是WildTangent公司的首席工程師。兩位元作者將本書分成數位設計和電腦設計兩部分內容,數位設計部分包括第1章至第9章的內容,電腦設計包括第10章至
定價:594 元, 優惠價:87 517
無庫存,下單後進貨(採購期約45個工作天)
正則表達式經典實例(簡體書)

18.正則表達式經典實例(簡體書)

作者:高瓦特斯  出版社:人民郵電出版社  出版日:2014/10/01 裝訂:平裝
《規則運算式經典實例(第2版)》講解了基於C#、Java、JavaScript、Perl、PHP、Python、Ruby和VB.NET等8種常用程式設計語言使用規則運算式的經典實例。書中提供了上百種可以在實戰中使用的實例,説明讀者使用規則運算式來處理資料和文本。《規則運算式經典實例(第2版)》針對如何使用規則運算式來解決性能不佳、誤報、漏報等常見的錯誤以及完成一些常見的任務,給出了基於C#、Jav
絕版無法訂購
神奇的匹配:規則運算式求精之旅(簡體書)
滿額折

19.神奇的匹配:規則運算式求精之旅(簡體書)

作者:王蕾  出版社:電子工業出版社  出版日:2014/08/01 裝訂:平裝
《神奇的匹配:規則運算式求精之旅》從規則運算式的基本概念、基本語法入手,著重於數位驗證、字串驗證、數位和字串混合驗證及HTML處理等各個方面的應用。並基於目前流行的程式語言和應用環境(如C#、ASP.NET、JSP、JavaScript或PHP),全面介紹了創建規則運算式的方法,以及規則運算式在Web環境中的各種應用。《神奇的匹配:規則運算式求精之旅》適合廣大Web網站開發人員、網站管理維護人員和
定價:354 元, 優惠價:87 308
無庫存,下單後進貨(採購期約45個工作天)
形式語義學研究(簡體書)
滿額折

20.形式語義學研究(簡體書)

作者:高芸  出版社:中國社會科學出版社  出版日:2014/08/01 裝訂:平裝
形式語義學是邏輯與語言交叉研究的產物,是在邏輯框架內構建的關於自然 語言的語義學。形式語義學根植於邏輯學、哲學、數學、語言學等好幾個學科, 其顯著特徵是運用邏輯和數學的形式化方法去研究自然語言的形成規律。本書介紹了經典形式語義學理論的兩個重要代表----塔斯基真值語義理論和蒙太格語法,描述了動態語義學理論----話語表現理論,著重探討了分段式話語表現理論,對漢語複句、句群研究與分段式話語表現理論進
定價:288 元, 優惠價:87 251
無庫存,下單後進貨(採購期約45個工作天)
  • 1
  • 2

暢銷榜

客服中心

收藏

會員專區