Coq4Eclipse

관련 프로그램

• Zinuc 무료

  당신은 항상 당신의 PC에서 몇 가지 이상한 위치에서 윈도우 계산기를 검색의 피곤? Zinuc는 웹 전용, 매우 간단하지만 강력한 계산기입니다. 당신은 그것을 사용하기 위해 아무것도 다운로드 할 필요가 없습니다. 자세한 내용은 웹 페이지를 확인하십시오.

• RouteCalc 무료

  항공에 대한 명령 라인 경로 계산기. 입력 : 크루즈 속도, 연료 연소, 바람 방향 / 속도, 세그먼트 거리. 출력: 비행 베어링, 지상 속도, 세그먼트 시간, 연료 연소. 가변 크루즈/바람과 여러 세그먼트를 다룹니다. csv 지원

• Auditory Modelling Toolbox 무료

  청각 모델링 도구 상자는 Matlab, Octave 및 C에서 청각 모델링을 수행하기위한 간단하고 잘 테스트 된 도구 상자를 구축하기위한 지역 사회의 노력입니다.

• sigTOOL 무료

  sigTOOL은 MATLAB 내에서 전기 생리학적 데이터를 처리하기 위한 사용자 확장 가능한 신호 분석 환경을 제공합니다. 뉴런 스파이크 트레인, + 스펙트럼 및 시간 도메인 분석이 내장되어 있습니다. http://dx.doi.org/10.1016/j.jneumeth.2008.11.004 참조

• Periodic Table Droid 무료 평가판

  안드로이드에 사용할 수있는 요소의 가장 완벽한, 사용자 정의, 화학 주기적인 테이블.주요 기능은 다음과 같습니다.& 황소; 118 요소& 인스턴트 검색!: 이름, 기호 또는 숫자로 요소를 찾습니다. 요소 이름의 일부만 작성하면 요소 설명으로 리디렉션됩니다. 하나 이상을 발견하면 선택할 수 있습니다.& 표에서 요소 배경 색을 설정하는 데 사용되는 기준을 선택할

• A Hyperspectral Image Reader 무료

  ENVI 하이퍼스펙트럼 이미지에서 읽을 수 있는 C++ 코드입니다.

• Louisiana Criminal Law 무료

  루이지애나 개정 법령의 제목 14, 형법, 드로이드 법에 대한!루이지애나 개정 법령의 제목 14, 형법, 드로이드 법에 대한.이것은 드로이드로의 추가 기능입니다. 당신은 할 수 있습니다 & #39; T이 응용 프로그램을 엽니 다. 드로이드로가 설치되어 있어야 합니다.드로이드로는 다음을 포함합니다.*연방 규칙:- 민사 소송- 증거- 항소 절차- 형사 소송 절차

• GMAT Maths Preview 무료

  GMAT 또는 GRE에서 성공 의 기회를 높일 하시겠습니까? 그런 다음 이것은 당신을위한 완벽한 응용 프로그램입니다. 이 응용 프로그램은 당신에게 더 빨리 수학 계산을 수행하는 실용적인 팁을 가르칩니다. 97과 93을 여러 번 할 수 있으며 결과 수를 10초 이내에 9로 나눌 수 있습니다. 이 응용 프로그램은 수학 시험에서 성능에 마법을 수행하는 정신 수학 기술의 가장 포괄적 인 선택입니다. 더 빨리

• Quran Indonesia mp3+trnslation 무료

  인도네시아어 번역에서 완전한 거룩한 꾸란을 들어보십시오. 우리의 응용 프로그램은 좋아하는 리사터 1 중 하나에서 오디오 파일을 재생합니다. 전체 꾸란을 다운로드하거나 다운로드하지 않은 경우 휴대 전화의 메뉴 버튼을 사용하여 한 이동에서 개별적으로 단일 파일을 다운로드 할 수 있습니다.2.Streams 오디오 파일3. 날씨 파일이 이전에 다운로드되고 다운로드 된 파일에서 재생하거나 다른 스트림4에 인터

• ProteinFinder database search method 무료

  ProteinFinder - 탠덤 단백질 질량 분석 데이터베이스 검색을 위한 C 언어 병렬 컴퓨팅 엔진입니다. ProteinFinder는 실험 데이터, 예측 된 데이터베이스 및 검색 결과를 호스팅하는 MySQL 관계형 데이터베이스 MassSpec와 인터페이스됩니다.