一個基于H.wang的謂詞演算公式的機器證明的vc實現
標簽: wang 機器
上傳時間: 2014-01-17
上傳用戶:colinal
屬用者輸入一數字n,程式便會產生一個4n*4n的魔術方陣,魔術方陣除顯示於螢幕上並會產生一檔案magic.txt檔案中同樣會有魔術方陣
標簽:
上傳時間: 2016-06-10
上傳用戶:924484786
計算機演算程序,平方映射分岔的Qbasic計算程序,平方映射的李雅普諾夫的Qbasic計算程序,.埃儂吸引子的李雅普諾夫指數的Qbasic計算程序,.單擺運動的分岔的Qbasic計算程序
標簽: 計算機 程序
上傳時間: 2013-12-25
上傳用戶:gonuiln
_Wiley_Synthesis_of_Arithmetic_Circuits_-_FPGA_ASIC_and_Embedded_Systems_(2006)_-_DDU一些硬體設計教學文件
標簽: Wiley_Synthesis_of_Arithmetic_Cir FPGA_ASIC_and_Embedded_Systems cuits 2006
上傳時間: 2016-06-13
上傳用戶:bjgaofei
這是一個滿基本的bcb教學文件.. 可以參考
標簽: bcb
上傳用戶:三人用菜
Quartus_II教學文件..介紹的滿深入的
標簽: Quartus_II
上傳用戶:edisonfather
非線性同倫反演算法已得到了廣泛應用,這是非線性同倫反演算法重要參考文獻之一。
標簽: 非線性 算法
上傳時間: 2014-01-03
上傳用戶:Amygdala
非線性同倫反演算法已得到了廣泛應用,這是非線性同倫反演算法重要參考文獻之二。
上傳時間: 2013-12-08
上傳用戶:四只眼
非線性同倫反演算法已得到了廣泛應用,這是非線性同倫反演算法重要參考文獻之三。
上傳時間: 2016-06-25
上傳用戶:wqxstar
用VC編的數碼相機仿真程序 包括圖像的預處理 DCT變換 壓縮等 最后可用verify.exe做比較
標簽: verify DCT exe 仿真程序
上傳時間: 2014-01-16
上傳用戶:Pzj
蟲蟲下載站版權所有 京ICP備2021023401號-1