:::
資料庫查詢時間：391.8236 ms
共 2140 筆資料，
每頁顯示
筆資料
縮小搜尋結果範圍
適用年級
媒體形式
排序方式：
關鍵字 |
搜尋次數 |
關聯性
:::
你是不是要搜尋以下結果
|
電腦線上即時應用語言 66
瀏覽人次:0
收藏人次:0
一種高階語言，指定從事一些線上即時應用的資料處理。
|
|
圖象解譯語言
瀏覽人次:0
收藏人次:0
一種醫學用的語言，用以描述有關胃的辨識、特徵量測及診斷資訊等。
|
|
轉送語法
瀏覽人次:0
收藏人次:0
在不同的網路下進行資料傳送時，必須事先溝通好彼此之間的語法，每個資料位元所代表的意義都必須事先定義清楚。
|
|
坎翠；咒語
瀏覽人次:0
收藏人次:0
舞曲名。坎翠是十四、十五世紀一些蘇格蘭女巫用的舞曲，因不斷受敵對的教士所改編，因此有關真實的女巫文化及舞蹈已甚少存在，雖從鄉村的傳說仍可找尋，但大部分已消失。
|
|
字串處理語言
瀏覽人次:0
收藏人次:0
專用於處理字串的語言，如SNOBOL語言。
|
|
使用者語言
瀏覽人次:0
收藏人次:0
一種電腦終端使用者進行資訊處理所用的程式語言。
|
|
HP圖形語言
瀏覽人次:0
收藏人次:0
一種圖形檔案格式，係針對惠普公司（HP）繪圖機而設計的。
|
|
生成系統語言
瀏覽人次:0
收藏人次:0
以字母符號、句法規則及公理等建立一套產生語句的形式規則，據以產生句子或語言的系統。
|
|
公理語意學
瀏覽人次:0
收藏人次:0
係將語意形式化的一種方法，用以證明程式的正確性。其形式如下：設P和Q為述詞公式，S為一組動作（如某程式語言中一組敘述），則
(1)P｛S｝Q，表示如果在執行S前P成立，則執行S後Q成立。 (2)P1{S1}Q1，P2{S2} Q2，…，Pn{Sn}Qn╱P{S}Q，表示橫線以上的都是公理或定理，則橫線以下也是定理。 |
|
自舉組合程式設計語言
瀏覽人次:0
收藏人次:0
寫編譯程式和系統程式設計的一種工具語言。
|
 曾經查過此詞彙的人也經常查詢以下字詞： |
貓頭鷹博士