Coq4Eclipse

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

• Zinuc Miễn phí

  Bạn luôn luôn mệt mỏi của tìm kiếm các máy tính Windows từ một số vị trí lạ từ máy tính của bạn? Zinuc là một trang web chỉ, rất đơn giản, nhưng máy tính mạnh mẽ. Bạn không cần phải tải về bất cứ điều gì để sử dụng nó. Kiểm t

• RouteCalc Miễn phí

  Máy tính tuyến đường lệnh cho hàng không. Đầu vào: Cruise Speed, Fuel Burn, Wind Direction / Speed, Segment Distance. Kết quả đầu ra: Vòng bi chuyến bay, Tốc độ mặt đất, Thời gian phân đoạn, Đốt nhiên liệu. Giao dịch với nhiề

• Auditory Modelling Toolbox Miễn phí

  Hộp công cụ mô hình hóa thính giác là một nỗ lực của cộng đồng để xây dựng một hộp công cụ đơn giản và được thử nghiệm tốt để làm mô hình thính giác ở Matlab, Octave và C.

• sigTOOL Miễn phí

  sigTOOL cung cấp môi trường phân tích tín hiệu có thể mở rộng cho người dùng để xử lý dữ liệu điện sinh lý trong MATLAB. Neuron spike-train, + phân tích quang phổ và tên miền thời gian được xây dựng trong. Xem http://dx.doi.o

• Periodic Table Droid Dùng thử miễn phí

  Bảng tuần hoàn hóa học hóa học hoàn chỉnh nhất có sẵn cho Android của bạn.Các tính năng chính là:& bull; 118 yếu tố& tìm kiếm tức thì: Tìm các yếu tố theo tên, biểu tượng hoặc số. Viết chỉ là một phần của tên

• A Hyperspectral Image Reader Miễn phí

  Đây là mã C++ để đọc trong ENVI Hyperspectral Images

• Louisiana Criminal Law Miễn phí

  Tiêu đề 14 của Đạo luật sửa đổi Louisiana, Luật hình sự, cho DroidLaw!Tiêu đề 14 của Đạo luật sửa đổi Louisiana, Luật hình sự, cho DroidLaw.ĐÂY LÀ MỘT TIỆN ÍCH CHO DROIDLAW. &BẠN KHÔNG THỂ #39; T MỞ ỨNG DỤNG NÀY. B

• GMAT Maths Preview Miễn phí

  Bạn có muốn tăng cơ hội thành công của bạn trong GMAT hoặc GRE? Sau đó, đây là một ứng dụng hoàn hảo cho bạn. Ứng dụng này dạy cho bạn lời khuyên thiết thực để thực hiện tính toán nhanh hơn. Bạn sẽ có thể nhiều 97 và 93 và ch

• Quran Indonesia mp3+trnslation Miễn phí

  Lắng nghe hoàn thành Kinh Qur'an thánh trong bản dịch tiếng Indonesia. Ứng dụng của chúng tôi phát các tệp âm thanh ở một trong những người đọc yêu thích của bạn1. Cho phép bạn tải về Kinh Qur'an hoàn chỉnh hoặc bạn có thể tả

• ProteinFinder database search method Miễn phí

  ProteinFinder - một công cụ tính toán song song ngôn ngữ C để tìm kiếm cơ sở dữ liệu phổ khối protein song song. ProteinFinder được giao tiếp với cơ sở dữ liệu quan hệ MySQL MassSpec lưu trữ dữ liệu thử nghiệm, cơ sở dữ liệu