Coq4Eclipse

相關軟體

• Zinuc 免費

  你總是厭倦了從你的 PC 一些奇怪的位置搜索 Windows 計算機嗎？Zinuc 是一個僅網路，非常簡單，但功能強大的計算機。您不需要下載任何內容來使用它。查看網頁瞭解更多資訊。

• RouteCalc 免費

  航空指揮線路線計算機。輸入：巡航速度、燃油消耗、風向/速度、段距離。輸出：飛行軸承、地面速度、分段時間、燃油燃燒。處理可變巡航/風的多個段。csv 支援

• Auditory Modelling Toolbox 免費

  聽覺建模工具箱是一個社區努力，以建立一個簡單和測試良好的工具箱做聽覺建模在Matlab，Octave和C。

• sigTOOL 免費

  sigTOOL 為 MATLAB 內的電生理數據提供了一個用戶可擴展的信號分析環境。神經元尖峰訓練， + 光譜和時域分析內置。http://dx.doi.org/10.1016/j.jneumeth.2008.11.004。

• Periodic Table Droid 免費試用

  最完整，可定製的，化學週期元素表可用於您的Android。主要特點是：•公牛;118 個元素+bull; 即時搜索！： 按名稱、符號或數位查找元素。只寫入元素名稱的一部分，您將重定向到元素描述。如果找到多個，您可以選擇•牛市;您可以選擇用於在表中設置元素背景顏色的條件（按類別、狀態、晶體結構...）•牛市;您可以更改要直接顯示在表中的屬性。可以使用的 4 個屬性可以顯示在那裡+bull; 元素的快速存取清單。按您喜歡

• A Hyperspectral Image Reader 免費

  這是一C++在 ENVI 高光譜圖像中讀取的代碼

• Louisiana Criminal Law 免費

  路易士安那州修訂法規第 14 標題， 刑法， 為機器人法律！路易士安那州修訂法規第 14 條， 《刑法》， 《機器人法》。這是機器人法的附加程式。 您可以#39;T 打開此應用程式。 你必須安裝機器人法。機器人法包括：*聯邦規則：- 民事訴訟- 證據- 上訴程式- 刑事訴訟- 破產程式- 美國憲法*可用的購買選項：- 州代碼/法律- 美國法典- 美國最高法院案件意見- 聯邦法規-

• GMAT Maths Preview 免費

  您想增加在 GMAT 或 GRE 的成功機會嗎？那麼，這是一個完美的應用程式給你。這個程式教你實用的技巧，以更快地執行數學計算。您將能夠在 10 秒內將結果數位除以 9。這個程式是最全面選擇的精神數學技術，這對你的數學考試成績有魔力。有了更快的計算能力，你將留下大量的時間專注於棘手的問題或修改你的工作。應用程式也有噸的練習，所以你可以彎曲你的肌肉練習這些實用的技巧。因此，下載這個程式，增加你的分數和信心的標準化測試，如SAT，PSAT，GRE

• Quran Indonesia mp3+trnslation 免費

  聽完整的古蘭經在印尼語翻譯。我們的應用程式播放音訊檔在你最喜歡的背誦者之一1。允許您下載完整的《古蘭經》，或者使用手機的功能表按鈕一次單獨下載單個檔。檢查天氣檔以前下載和播放從下載的檔，否則連接到互聯網流4。允許您閱讀古蘭經，同時聽mp3古蘭經率和傳遞良好的評論，我們的應用程式這個應用程式是通過搜索支援的。請注意，下載應用程式後，以下內容將添加到您的設備中。「搜索圖示、書籤連結和瀏覽器主頁。您可以輕鬆地刪除/替換這些搜尋點。這是一個賺錢的方式，從

• ProteinFinder database search method 免費

  蛋白質查找器 - 用於串聯蛋白質質譜資料庫搜索的 C 語言並行計算引擎。 ProteinFinder 與 MySQL 關係資料庫 MassSpec 介面，該資料庫承載實驗數據、預測資料庫和搜尋結果。