PiET: Pi Calculus Equivalences Tester 1.0
5초 만에 다운로드할 수 있습니다.
다음 외부 다운로드 링크를 클릭하여 다운로드를 시작할 수도 있습니다.
http://sourceforge.net/projects/piet/files/piet/Piet%201.0/gui_sources.zip/download
에 대해 PiET: Pi Calculus Equivalences Tester
PiET는 Pi 미적분학에 대한 10가지 행동 동등성에 대한 검증 도구입니다.
관련 프로그램
-
The Figaro 무료
OBDDs"(피가로)의 암시적 그래프 알고리즘 및 표현에 대한 프레임워크는 입력 생성기 및 알고리즘 플러그인으로 실험을 자동으로 관리합니다. 이미 그래프 및 일정 문제에 대한 일부 생성기 및 알고리즘이 포함되어 있습니다.
-
C++ Programming Reference FREE 무료 평가판
빠른 참조 카드에서 프로그래밍 언어 교육 매뉴얼에 이르기까지 완전한 C++ 언어 프로그래밍 참조모바일이 제공하는 가능성을 사용하여 이동 중에도 원하는 것을 연구하거나 확인할 수 있습니다. 교통에 시간을 낭비하지 마십시오, 모바일을 사용하고 공부하고 당신이 원하는 것을 확인.=========내용을:=========C++ 빠른 참조 카드 ----------------------
-
MEP Auswertung 무료
이 프로그램은 경두개 자기 자극 (TMS)에 의해 생성되고 프로그램 및 쿼트 및 신호 및 쿼트 (버전 2.xx)로 기록 된 자동차 방출 잠재력 (MEP)을 평가하는 유용한 도구를 만드는 데 염두에 두고 작성되었습니다.
-
gsvit 무료
그래픽 카드 지원 빠른 FDTD 솔버. 나노 스케일 광학에 최적화 - 필드 광학 현미경, 거친 표면 산란 및 태양 전지 근처 스캐닝. 그래픽 카드 작업에 CUDA 환경을 사용합니다.
-
Russian Vocabulary 무료
그것은 러시아 어휘 퀴즈를 재생할 시간이다! 골든 쿼츠의 재미, 무료 인터랙티브 퀴즈는 이동 중에도 지식을 제공합니다! 러시아어 (Ã'Ââ Ã'Ââº, russkiy yazyk, 발음 [ËÂruskÊÂâk]) 러시아, 벨라루스, 우즈베키스탄, 카자흐스탄, 타지키스스탄과 키르기스스탄에서 주로 사용되는 슬라브 어입니다. 그것은 우크라이나, 몰도바, 라트비아, 투르크메니스탄과 에스토니아에서 비공식하지만
-
Fiction Press Reader 무료
한 달 동안 모든 데이터를 사용하지 않고 FictionPress.com 즐기고 싶으신가요? 이것은 당신이 이동 중에도 당신의 이야기를 읽을 수 있도록 소설 언론에 대한 오프라인 리더입니다. 또한 스토리 업데이트를 관리하고 쉽게 확인할 수 있습니다. 팬픽션을 읽는 것도 마음에 드시면 팬픽션 리더도 확인하십시오.
-
brickit 무료
플라스미드와 바이오브릭의 웹 기반 리포지토리(http://parts.mit.edu 참조)와 합성 생물학 연구를 지원하는 관련 유틸리티 프로그램.
-
Harrow 무료
메타데이터 수집을 위한 Java 라이브러리, 웹 서비스 및 웹 클라이언트입니다. 현재 OAI-PMH에서 페도라 2로의 수확을 지원하지만 더 많은 프로토콜을 지원하기 위해 쉽게 확장할 수 있습니다.
-
MLPA Analyzer 무료
MLPA 분석기는 멀티플렉스 리기션 의존 프로브 증폭을 위한 워크플로및 분석 환경입니다.
-
Physics Solving Toolkit 무료
Phyz는 다양한 물리학 이론 / 개념을 보여주고 문제 해결 프로그램의 세트를 포함하는 교육 프로그램입니다.기본 철학은 문제 해결을 위한 쉬운 인터페이스를 설명하고 제공하는 것입니다.