PiET: Pi Calculus Equivalences Tester 1.0

相關軟體

• The Figaro 免費

  OBDD" 的隱式圖形演演算法和表示框架（費加羅）使用輸入生成器和演算法外掛程式自動管理實驗。它已經包含一些生成器和演算法的圖形和調度問題。

• C++ Programming Reference FREE 免費試用

  完成C++程式設計參考，從快速參考卡到程式設計語言培訓手冊使用行動帶來的可能性，允許學習或檢查任何你想要的移動。不要浪費時間在交通上，使用您的手機，學習和檢查任何你想要的。=========內容：=========C++快速參考卡-------------------------• 預處理器。文字。聲明。存儲類。語句。功能• 表達式和類• 範本。命名空間。C/C++標準庫。斯特迪奧H, STDLIB。H，

• MEP Auswertung 免費

  這個程式已經寫在心中，創建一個有用的工具，以評估馬達喚起電位（MEPs）產生的透氣磁刺激（TMS）和記錄與程式"信號"（版本2.xx）。

• gsvit 免費

  支援圖形卡的快速 FDTD 解算器。針對納米級光學器件進行了優化 - 近場光學顯微鏡掃描、粗糙表面散射和太陽能電池。使用 CUDA 環境進行顯卡操作。

• Russian Vocabulary 免費

  是時候玩俄羅斯詞彙測驗了！來自金石英的有趣、免費的互動瑣事測驗讓您掌握一切知識！俄語（'russkiy yazyk，發音為[russk][a]j[a][z][k]）是一種斯拉夫語言，主要用於俄羅斯、白俄羅斯、烏茲別克、哈薩克斯坦、塔吉克和吉爾吉斯斯坦。它是烏克蘭、摩爾多瓦、拉脫維亞、土庫曼和愛沙尼亞的非官方但廣泛使用的語言，在較小程度上，它也是蘇聯組成共和國的其他國家。[6] 俄語屬於印歐語言家族，是東斯拉夫文的三個活成員之一。從10世紀開始，老

• Fiction Press Reader 免費

  想要享受FictionPress.com，而無需使用您當月的所有資料？這是小說出版社的離線讀者，將允許您閱讀你的故事在去。它還允許您管理和輕鬆檢查故事的更新。如果你也喜歡閱讀迷幻小說， 請結帳的迷幻小說閱讀器以及。

• brickit 免費

  基於網络的質粒和生物磚庫（HTTP：//parts.mit.edu）以及支援合成生物學研究的相關實用專案。

• Harrow 免費

  用於收集中繼資料的 Java 函式庫、Web 服務和 Web 用戶端。它目前支援從 OAI-PMH 收穫到 Fedora 2，但可以很容易地擴展以支援更多的協定。

• MLPA Analyzer 免費

  MLPA 分析儀是多路複式連接相關探頭放大的工作流程和分析環境

• Physics Solving Toolkit 免費

  Phyz 是一個教育專案，它展示了各種物理理論/概念，並包含一套解決問題的程式。基本理念是解釋和提供解決問題的簡單的介面。