![](/statics/img/blank.png)
Bogor-PubSub 0.1
您將能夠在 5 秒內下載。
您也可以點擊以下外部下載連結開始下載:
http://sourceforge.net/projects/loupe/files/bogor-pubsub/loupe-0.1/loupe-0.1.zip/download
關於 Bogor-PubSub
茂物-PubSub 是茂物模型檢查器的一組擴展,可對發佈-訂閱基礎結構進行精確、自動驗證。
相關軟體
-
Neural network designer 免費
該專案包括一個基於視窗的設計器應用程式和一個庫(可以在多個平臺上運行,包括Android)以及幾個演示應用程式(包括一個MVC3聊天機器人用戶端和一個Android應用程式)。與資料庫管理系統相比,它可能最好,但對於神經網路而不是關係數據。因此,庫經過優化,可使用高級流式處理和緩存演算法處理任何類型的數據大小。通過設計器,您可以創建不同類型的決策樹、隨機林、n-gram、模式匹配器、工作階段代理和各種 AI 相關演算法。您可以組合統計方法
-
HRMEdit 免費
用於查看和編輯由極心率監測器生成的 HRM 檔的應用程式(例如 S720i、S725X、S625X)。它提供了用於查找錯誤和手動更正示例的 GUI。
-
MSLK 免費
MSLK 提供預編譯的 Win32 二進位檔案,其中具有 GPL 或類似的開源許可證。這裏將不斷更新。
-
phpMySetiStats 免費
phpMySetiStats 是一SETI@home運行的進程和個人統計資訊的工具。它使用 MySQL 進行回背。也建議使用克朗塔布。
-
MbLoc Locator 免費
軟體功能:1.定位在行動營運商的基站以及 GPS 上(如果此功能在您的手機中啟用 [設置->位置和安全->衛星 GPS])。提供有關位置的詳細資訊(移動塔附近的音譯選項中的位址 - LAC,CID)。Netmonitor - 追蹤最近的基站,行動營運商的信號級別。直接從手機在地圖上查看您的位置。顯示 GPS 衛星及其參數。安裝小部件後,桌面可用(顯示當前單元格、網路和信號強度)。能夠在地圖上查看 Yandex 和 Google 的位置
-
SISC 免費
SISC 是演算法語言方案的可擴展 JAVA 解釋器。 SISC 使用現代口譯技術,並且輕鬆優於所有現有的 Java 解釋器(通常超過一個數量級)。
-
Druide DB : XML database API for java 免費
DruideDB 是 Java 應用程式的嵌入式資料庫(基於物件/XML 映射檔)。生成原始碼 (DAO) 和持久性層 (映射)。此 DB 將所有內容儲存為字串並處理自動增量和多個 PK。
-
LGTV embedded OS (douglas) 免費
這是LG電子公司要求我的47LG70液晶高清電視軟體在GPL履行請求后提供給我的官方來源的副本。許多在獲得這些方面遇到問題,因為 LG. 包括 linux 2.6.10、微視窗和忙盒 1.2.1。
-
nppSmartEdit 免費
Nodepad® 外掛程式能夠自動放置括弧,以便於閱讀初始文本
-
log4j, fast and flexible java logging 免費
log4j 是一種除錯工具,使用 Java 編寫,將語句記錄到檔、java.io.Writer 或系統日誌守護程式。