Automated Reasoning for Bluespec Designs

Похожие программы

• Remote for MPC PRO Бесплатная пробная версия

  Управление Media Player Классический домашний кинотеатр с устройством Android с помощью MPC Remote. Это приложение является пультом дистанционного управления для вашего MPC-HC плеер по сети.MPC Remote реализует полупрозра

• PXPerl Бесплатный

  PXPerl — полное распространение двоичной версии Perl для Windows (R) 2000/XP. Он поставляется с дыни Perl, pugs и попугай, а также многие дополнительные модули Perl по сравнению с ActivePerl.

• myjug community project Бесплатный

  Идея этого проекта заключается в том, чтобы изучение способа с открытым исходным кодом. Естественно, проектбудет опираться на другие существующие рамки Джакарты и проекты. Проект больше похож на мета-проекткоторая сос

• Cloud Hub Бесплатный

  Облачный концентратор — это внедрение беспроводных сетей беспроводной сетки на уровне ссылок. С помощью прошивки облачного концентратора точки доступа автоматически находят друг друга, оптимизируют топологию соединения и позв

• CAPE-OPEN Logging Tools Бесплатный

  Инструменты CAPE-OPEN logging Tools позволяют работать с помощью интерфейсов CAPE-OPEN между средой моделирования процессов и компонентом моделирования процессов. Версия 1.08.4 является последней стабильной версией (5 ноября

• SimplePOS Бесплатный

  Высокое качество Точка продажи (POS) и пакет программного обеспечения для управления запасами, написанный в C с myS'L базы данных бэкэнд и PHP на основе веб-интерфейса с поддержкой сканеров штрих-кодов и любого стандартного п

• upIRC Бесплатная пробная версия

  upIRC (ранее apIRC) является интернет-чат реле (IRC) клиент Palm OS. Это быстрый, стабильный, и включает в себя полный спектр функций. К ним относятся поддержка чата DCC, пользовательская поддержка шрифтов, командные ярлыки

• AI::Categorizer Perl modules Бесплатный

  Структура Perl с открытым исходным кодом для автоматической категоризации текста с использованием методов машинного обучения.

• Tuxbox-TV Бесплатный

  С помощью этой программы вы сможете выбрать и получить TV-Stream от вашегоdbox и показать это на вашем компьютере, включая EPG-Data.Язык программирования: Java Платтформа ОС: Linux/Unix, Windows, Mac

• X-NetAPI Бесплатный

  плагин для симулятора полета X-Plane и клиентских библиотек для надежного сетевого API для симулятора X-Plane.