Automated Reasoning for Bluespec Designs

Các chương trình liên quan

• Remote for MPC PRO Dùng thử miễn phí

  Điều khiển Media Player Classic Home Cinema của bạn bằng thiết bị Android của bạn bằng cách sử dụng MPC Remote. Ứng dụng này là một điều khiển từ xa cho máy nghe nhạc MPC-HC của bạn qua mạng.MPC Remote thực hiện thiết kế

• PXPerl Miễn phí

  PXPerl là một phân phối nhị phân Perl đầy đủ tính năng cho Windows(R) 2000/XP. Nó đi kèm với những chương trình của Perl, Pugs và Parrot, cũng như nhiều mô-đun Perl bổ sung so với ActivePerl.

• myjug community project Miễn phí

  Ý tưởng của dự án này là cung cấp một cách để học theo cách mã nguồn mở. Đương nhiên, dự ánsẽ được xây dựng dựa trên các khuôn khổ jakarta hiện có khác và các dự án. Dự án giống như một dự án metabao gồm các dự án nhỏ

• Cloud Hub Miễn phí

  Cloud hub là một triển khai mạng lưới không dây cấp liên kết. Với phần mềm trung tâm đám mây, các điểm truy cập tự động tìm thấy nhau, tối ưu hóa cấu hình kết nối và cho phép người dùng không dây đặc biệt khác tham gia với tư

• CAPE-OPEN Logging Tools Miễn phí

  CAPE-OPEN Logging Tools cho phép ghi nhật ký giao tiếp diễn ra thông qua các giao diện CAPE-OPEN giữa môi trường mô hình hóa quy trình và thành phần mô hình hóa quy trình.. Phiên bản 1.08.4 là phiên bản ổn định mới nhất (ngày

• SimplePOS Miễn phí

  Một bộ phần mềm quản lý điểm bán hàng (POS) và hàng tồn kho chất lượng cao được viết bằng C++ với phụ trợ cơ sở dữ liệu MySQL và giao diện web dựa trên PHP với sự hỗ trợ cho máy quét mã vạch và bất kỳ máy in tiêu chuẩn nào (b

• upIRC Dùng thử miễn phí

  upIRC (trước đây là apIRC) là một ứng dụng khách Trò chuyện Chuyển tiếp Internet (IRC) cho Palm OS. Nó nhanh, ổn định và bao gồm đầy đủ các tính năng. Chúng bao gồm hỗ trợ trò chuyện DCC, hỗ trợ phông chữ tùy chỉnh, phím tắt

• AI::Categorizer Perl modules Miễn phí

  Một khung Perl mã nguồn mở để phân loại văn bản tự động bằng cách sử dụng các phương pháp Machine Learning.

• Tuxbox-TV Miễn phí

  Với chương trình này, bạn sẽ có thể chọn và nhận TV-Stream từdbox và hiển thị điều này trên máy tính của bạn bao gồm EPG-Data.ngôn ngữ lập trình: Java Hệ điều hành plattform: Linux / Unix, Windows, Mac

• X-NetAPI Miễn phí

  một plugin cho trình mô phỏng chuyến bay X-Plane và thư viện khách hàng cho một API mạng mạnh mẽ cho trình mô phỏng X-Plane.