相 關 資 源

• 命題邏輯中的推理規則可以用來證明一個已經表示成命題公式的定理免費下載

  資源簡介：命題邏輯中的推理規則可以用來證明一個已經表示成命題公式的定理，但它還不便于機械化實施。因為其中的各條規則都未指明在推導的什麼步驟上應該引入什麼前提或中間結論，這些還有賴于人的經驗技巧和才能。1960年王浩提出的算法，可以完全脫離人的經驗和技巧，...

  標簽： 邏輯 定理

  上傳時間： 2013-12-31

  上傳用戶：wxhwjf

• 這個類可以用來生成一個HTML表單選擇投入的結果免費下載

  資源簡介：這個類可以用來生成一個HTML表單選擇投入的結果， MySQL數據庫的查詢。 它連接到一個特定MySQL數據庫和執行SQL查詢。 課堂生成的HTML的形式選擇投入使用返回值的查詢結果

  標簽： HTML 表單

  上傳時間： 2013-12-13

  上傳用戶：waizhang

• 分享一個外國人編寫的FDTD程序,可以用來計算微帶線和微帶貼片天線,程序中采用的是均勻網格劃分,但也可以在容易地在它基礎上改寫成非均勻網格.其邊界條件與Sheen的程序不同,這里采用二階技術.免費下載

  資源簡介：分享一個外國人編寫的FDTD程序,可以用來計算微帶線和微帶貼片天線,程序中采用的是均勻網格劃分,但也可以在容易地在它基礎上改寫成非均勻網格.其邊界條件與Sheen的程序不同,這里采用二階技術.

  標簽： Sheen FDTD 程序 分

  上傳時間： 2016-05-18

  上傳用戶：youke111

• 關于字符串的轉換,格式方面的轉換程序,可以用來在程序中的轉換免費下載

  資源簡介：關于字符串的轉換,格式方面的轉換程序,可以用來在程序中的轉換

  標簽： 轉換 程序 字符串 方面

  上傳時間： 2013-12-18

  上傳用戶：yuzsu

• S3C44B0的IIS音頻接口的測試程序 可以用來測試IIS接口免費下載

  資源簡介：S3C44B0的IIS音頻接口的測試程序 可以用來測試IIS接口

  標簽： IIS S3C44B0 音頻接口 測試程序

  上傳時間： 2015-03-20

  上傳用戶：dyctj

• 學習設計c#的很好的系統啊,可以用來做一般的網站免費下載

  資源簡介：學習設計c#的很好的系統啊,可以用來做一般的網站

  標簽： 網站

  上傳時間： 2013-12-22

  上傳用戶：maizezhen

• File.toURL 方法是 Java(tm) 2 Platform 的新特性, 可以用來將 pathname 轉換為URL格式.免費下載

  資源簡介：File.toURL 方法是 Java(tm) 2 Platform 的新特性, 可以用來將 pathname 轉換為URL格式.

  標簽： Platform pathname toURL File

  上傳時間： 2015-04-16

  上傳用戶：開懷常笑

• SST單片機的幾大獨特用法和優勢,例如:用戶程序空間可達72K,數據存儲可超64K,程序和數據的存儲空間互補利用,沒用到程序的存儲地方可以用來存儲數據.免費下載

  資源簡介：SST單片機的幾大獨特用法和優勢,例如:用戶程序空間可達72K,數據存儲可超64K,程序和數據的存儲空間互補利用,沒用到程序的存儲地方可以用來存儲數據.

  標簽： 程序 SST 72 64

  上傳時間： 2015-04-22

  上傳用戶：JIUSHICHEN

• Linux下用來檢查和校驗光盤完整性的工具,也可以用來生成校驗碼免費下載

  資源簡介：Linux下用來檢查和校驗光盤完整性的工具,也可以用來生成校驗碼

  標簽： Linux 光盤 校驗碼

  上傳時間： 2015-05-14

  上傳用戶：鳳臨西北

• PERL和XML的結合源,可以用來做不同語言之間的轉換工作免費下載

  資源簡介：PERL和XML的結合源,可以用來做不同語言之間的轉換工作

  標簽： PERL XML 語言 轉換

  上傳時間： 2014-01-20

  上傳用戶：wyc199288

• 數學形態學提供了一種以形態或集合論為基礎對圖像進行分析理解的工具。可以用來去除噪聲、抽取骨架、插補、分割、多分辨率分析、匹配等。 包括四個主要的算符：擴張（膨脹）○＋免費下載

  資源簡介：數學形態學提供了一種以形態或集合論為基礎對圖像進行分析理解的工具。可以用來去除噪聲、抽取骨架、插補、分割、多分辨率分析、匹配等。 包括四個主要的算符：擴張（膨脹）○＋，腐蝕○－，開○，閉●

  標簽： 分 數學形態學 圖像 分割

  上傳時間： 2014-02-05

  上傳用戶：wpwpwlxwlx

• 一個在線銷售讀書的簡單網站 可以用來學習一下 功能不是很健全免費下載

  資源簡介：一個在線銷售讀書的簡單網站 可以用來學習一下 功能不是很健全

  標簽： 銷售 網站

  上傳時間： 2013-12-27

  上傳用戶：水口鴻勝電器

• 相當不錯的網絡編程學習的文檔! 可以用來學習和加深網絡編程基礎和原理!免費下載

  資源簡介：相當不錯的網絡編程學習的文檔! 可以用來學習和加深網絡編程基礎和原理!

  標簽： 網絡編程 文檔

  上傳時間： 2013-11-28

  上傳用戶：royzhangsz

• ULA1一個天線陣的方向圖,可以用來估計信號的來波方向,face_direction_pic面陣的方向圖 music,MN-music,capon,ESPRINT為四種進測量來波方向的算法 該程序包主免費下載

  資源簡介：ULA1一個天線陣的方向圖,可以用來估計信號的來波方向,face_direction_pic面陣的方向圖 music,MN-music,capon,ESPRINT為四種進測量來波方向的算法 該程序包主要用來測量信號來波的方向,可以應用在通信雷達方面

  標簽： face_direction_pic MN-music ESPRINT capon

  上傳時間： 2014-12-04

  上傳用戶：yyq123456789

• JAVA 實現的CCDDOS, 可以用來作測試用,不過不要作不道德的事啊.免費下載

  資源簡介：JAVA 實現的CCDDOS, 可以用來作測試用,不過不要作不道德的事啊.

  標簽： CCDDOS JAVA 測試

  上傳時間： 2016-01-23

  上傳用戶：cc1

• 利用VB的圖片框實現屏幕的滾動如可以用來創建一些動畫圖形等。其實對于上面的問題我們也可 以利用圖片框來巧妙地解決。免費下載

  資源簡介：利用VB的圖片框實現屏幕的滾動如可以用來創建一些動畫圖形等。其實對于上面的問題我們也可 以利用圖片框來巧妙地解決。

  標簽： 屏幕 動畫 圖形

  上傳時間： 2014-01-06

  上傳用戶：watch100

• 是一個加花工具,可以用來保護軟件,躲過殺毒軟件的查殺免費下載

  資源簡介：是一個加花工具,可以用來保護軟件,躲過殺毒軟件的查殺

  標簽： 保護 軟件 殺毒軟件

  上傳時間： 2013-12-18

  上傳用戶：2467478207

• beiyubbsTXT312 一個相對完整的PHP系統,可以用來參考或模擬免費下載

  資源簡介：beiyubbsTXT312 一個相對完整的PHP系統,可以用來參考或模擬

  標簽： beiyubbsTXT 312 PHP

  上傳時間： 2016-02-22

  上傳用戶：bcjtao

• 刷票程序 用于刷網站上的票 你可以用來達到自己的目的 達到網站的第一名免費下載

  資源簡介：刷票程序 用于刷網站上的票 你可以用來達到自己的目的 達到網站的第一名

  標簽： 網站 程序

  上傳時間： 2014-01-27

  上傳用戶：aa17807091

• 可以用來求復合半導體能帶隨著偏壓的變化情況免費下載

  資源簡介：可以用來求復合半導體能帶隨著偏壓的變化情況，可以考慮到interface charges

  標簽： 復合半導體 偏壓 變化

  上傳時間： 2016-06-17

  上傳用戶：JIUSHICHEN

• 巨正則系綜蒙特卡羅算法的源程序；可以用來進行吸附等分子模擬；最大的好處在于可以插入或刪除原子免費下載

  資源簡介：巨正則系綜蒙特卡羅算法的源程序；可以用來進行吸附等分子模擬；最大的好處在于可以插入或刪除原子

  標簽： 正 分子 模擬 刪除

  上傳時間： 2014-11-23

  上傳用戶：ommshaggar

• java與windows的com橋,可以用來操作所有的com程序如word或者excel等免費下載

  資源簡介：java與windows的com橋,可以用來操作所有的com程序如word或者excel等

  標簽： com windows excel java

  上傳時間： 2014-01-18

  上傳用戶：lijinchuan

• 無刷直流電機的SPWM程序,可以用來實現變頻的作用免費下載

  資源簡介：無刷直流電機的SPWM程序,可以用來實現變頻的作用

  標簽： SPWM 無刷直流電機 程序

  上傳時間： 2014-01-09

  上傳用戶：372825274

• 典型的實驗函數,可以用來測試算法的性能!免費下載

  資源簡介：典型的實驗函數,可以用來測試算法的性能!

  標簽： 典型 實驗 函數 測試

  上傳時間： 2013-12-15

  上傳用戶：himbly

• 統計模塊的 C++源程序 ,可以用來計算統計數據.　免費下載

  資源簡介：統計模塊的 C++源程序 ,可以用來計算統計數據.　

  標簽： 模塊 源程序 計算 統計數據

  上傳時間： 2013-12-26

  上傳用戶：小寶愛考拉

• 用jsp連接sql數據庫的實現代碼,可以用來替代hibernate實現數據庫連接免費下載

  資源簡介：用jsp連接sql數據庫的實現代碼,可以用來替代hibernate實現數據庫連接

  標簽： hibernate jsp sql 連接

  上傳時間： 2016-11-09

  上傳用戶：zl5712176

• 一種可編程的全數字鎖相環的絲線,可以用來做一個小的課程設計免費下載

  資源簡介：一種可編程的全數字鎖相環的絲線,可以用來做一個小的課程設計

  標簽： 可編程 全數字 鎖相環

  上傳時間： 2014-02-11

  上傳用戶：xwd2010

• 這是一個用于立體匹配的程序。 可以用來進行立體匹配！免費下載

  資源簡介：這是一個用于立體匹配的程序。 可以用來進行立體匹配！

  標簽： 立體匹配 程序

  上傳時間： 2017-02-14

  上傳用戶：hongmo

• partition算法 一種較aprior的改進版 可以用來進行新手的測試免費下載

  資源簡介：partition算法 一種較aprior的改進版 可以用來進行新手的測試

  標簽： partition aprior 算法 測試

  上傳時間： 2014-01-10

  上傳用戶：xsnjzljj

• 基與51和PC機的串口測試程序 可以用來測試51和PC 串口通信的情況 也可以測試通信的質量好壞免費下載

  資源簡介：基與51和PC機的串口測試程序 可以用來測試51和PC 串口通信的情況 也可以測試通信的質量好壞

  標簽： 測試 PC機 串口 測試程序

  上傳時間： 2017-04-24

  上傳用戶：黃華強