PiET: Pi Calculus Equivalences Tester 1.0

相关软件

• The Figaro 免费

  OBDD" 的隐式图形算法和表示框架（费加罗）使用输入生成器和算法插件自动管理实验。它已经包含一些生成器和算法的图形和调度问题。

• C++ Programming Reference FREE 免费试用

  完成C++编程参考，从快速参考卡到编程语言培训手册使用移动带来的可能性，允许学习或检查任何你想要的移动。不要浪费时间在交通上，使用您的手机，学习和检查任何你想要的。=========内容：=========C++快速参考卡-------------------------• 预处理器。文字。声明。存储类。语句。功能• 表达式和类• 模板。命名 空间。C/C++标准库。斯特迪奥H， STDLIBH， 字符串

• 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 是一个教育项目，它展示了各种物理理论/概念，并包含一套解决问题的程序。基本理念是解释和提供解决问题的简单的界面。