AMoRE - Automata, Monoids, and RegExps 1.0

相關軟體

• LEP 免費

  文字 Eclipse 程式設計協助開發人員編寫結構化的、記錄良好的原始碼。LEP 將原始碼和文件的自動提取整合到熟悉的日食環境中。完全支持編譯和調試。

• PHiMX 免費

  PHiMX 是一個命令列工具，用於在 PHP5 中生成專案的 XMI 代碼。它可以遞迴分析多個 PHP 文本目錄，支援各種 XMI 格式，並允許整合您自己的include_path。

• PONS PREMIUM German TR 免費

  PONS 是德語作為外語的最全面標準參考工具，包含 77，000 個關鍵字、短語和構造以及 125，000 多個定義和示例。這是一個功能齊全的試用版！你在學德語，需要一本合適的字典嗎？你處理不同學科領域的詞彙，如技術，運動或醫學？您有時對表達和拼寫有疑問嗎？你想增加你的詞彙量嗎？為德語作為外語的 PONS 高級詞典 – "為德語高級學習者開發 "確保快速可靠的結果。誰可以特別受益於這個程式？德語高級學習者和德語教師作為外語的內容： * 約 77，

• WWE SmackDown All Cheats 免費

  **已經更新廣告格式，以符合谷歌Play開發者計劃政策**WWE擊倒應用程式的所有系列作弊功能包括：-收集作弊和代碼的WWE擊倒遊戲所有主要系列如下**WWF擊倒！Wwf 擊倒！2： 知道你的角色哇！帶上它！閉上你的嘴， 把擊倒！疼痛來了！vs. Rawwwe 擊倒！vs.RAW 2006wwe 擊倒 vs. 原始 2007wwe 擊倒 vs. 原始 2008wwe 擊倒 vs. 原始 2009wwe 擊倒 vs. 原始 2010WWE Smac

• freebots 免費

  用巨蛇寫的3D機器人模擬器。 使用 ODE 物理和 OpenGL/Inventor 圖形。 提供了差速器輪機器人。 沒有使用者介面，但代碼很小，旨在輕鬆擴展您的類比。

• JCVI Primer Designer 免費

  這是 J. Craig Venter 研究所使用的高輸送量 PCR 底標設計軟體。參見：Li K等人的「新穎計算方法」，用於提高定向測序中PCR引項設計效率。BMC 生物資訊學 2008， 9：191.

• FlameBitmaps 免費

  計算 2D-灰度點陣 圖 使用不同的影像處理演算法將 3D 旋轉體從檢測到的區域計算。專為德國航空航太中心 （DLR） 開發。已用項目：物質 （GUI）

• DICT Client 免費

  DICTC 是 Win32 的方便的 DICT 用戶端。使用 DICT 協定 （RFC2229） 通過 Internet 訪問人類語言詞典資料庫。

• Mechanicus 免費

  機械是玩家構造車輛之間的比賽模擬器。這個項目實際上被放棄了。

• Autoprime 免費

  AutoPrime 允許快速設計底向器，用於即時 PCR 測量桉色表達。