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 Calculus
หลักสูตรที่เกี่ยวข้อง
-
The Figaro ฟรี
"Framework สําหรับอัลกอริทึมกราฟโดยนัยและการแสดงโดย OBDDs" (Figaro) จะจัดการการทดลองกับตัวสร้างอินพุตและปลั๊กอินอัลกอริทึมโดยอัตโนมัติ มันมีเครื่องกําเนิดไฟฟ้าและอัลกอริทึมบางอย่างสําหรับปัญหากราฟและการจัดกํ
-
C++ Programming Reference FREE ทดลองใช้ฟรี
ทําการอ้างอิงการเขียนโปรแกรมภาษา C++ ให้เสร็จสมบูรณ์จากบัตรอ้างอิงด่วนไปยังคู่มือการฝึกอบรมภาษาการเขียนโปรแกรมใช้ความเป็นไปได้ที่มือถือจะนําคุณมาให้คุณเพื่อให้สามารถศึกษาหรือตรวจสอบสิ่งที่คุณต้องการได้ อย่าเสียเวลาในการขน
-
MEP Auswertung ฟรี
โปรแกรมนี้ได้รับการเขียนในใจเพื่อสร้างเครื่องมือที่มีประโยชน์ในการประเมินศักยภาพมอเตอร์ Evoked (MEPs) ที่สร้างขึ้นโดยการกระตุ้นแม่เหล็ก Transcranial (TMS) และบันทึกด้วยโปรแกรม & quot;Signal" (รุ่น 2.xx)
-
gsvit ฟรี
ตัวแก้ปัญหา FDTD ที่รวดเร็วพร้อมการสนับสนุนกราฟิกการ์ด เหมาะสําหรับออปติคนาโนสเกล - การสแกนใกล้กล้องจุลทรรศน์แสงสนามการกระจัดกระจายพื้นผิวที่ขรุขระและเซลล์แสงอาทิตย์ ใช้สภาพแวดล้อม CUDA สําหรับการทํางานของการ์ดแสดงผล
-
Russian Vocabulary ฟรี
ได้เวลาเล่นแบบทดสอบคําศัพท์ของรัสเซียแล้ว! แบบทดสอบเรื่องไม่สําคัญแบบอินเทอร์แอคทีฟฟรีจาก Golden Quartz ให้ความรู้ระหว่างวัน! รัสเซีย (Ã'Ã'ƒÃ'ÂÃ'ºÃ'ºÃ'ÂÃ'· Ã'ܼ, russkiy yazyk, ออกเสียงว่า [ˈruskʲÉ #Âj jɋ‹Âˆz
-
Fiction Press Reader ฟรี
ต้องการเพลิดเพลินกับFictionPress.comโดยไม่ต้องใช้ข้อมูลทั้งหมดของคุณสําหรับเดือนหรือไม่? นี่คือผู้อ่านออฟไลน์สําหรับ Fiction Press ที่จะช่วยให้คุณอ่านเรื่องราวของคุณในระหว่างการเดินทาง นอกจากนี้ยังช่วยให้คุณสามารถจัดการและตรว
-
brickit ฟรี
พื้นที่เก็บข้อมูลบนเว็บของพลาสมิดและไบโอบริค (ดู http://parts.mit.edu) รวมถึงโปรแกรมยูทิลิตี้ที่เกี่ยวข้องที่สนับสนุนการวิจัยชีววิทยาสังเคราะห์
-
Harrow ฟรี
ไลบรารี Java, webservice และ webclient สําหรับการเก็บเกี่ยวข้อมูลเมตา ปัจจุบันรองรับการเก็บเกี่ยวจาก OAI-PMH ถึง Fedora 2 แต่สามารถขยายได้อย่างง่ายดายเพื่อรองรับโปรโตคอลเพิ่มเติม
-
MLPA Analyzer ฟรี
ตัววิเคราะห์ MLPA เป็นสภาพแวดล้อมเวิร์กโฟลว์และการวิเคราะห์สําหรับการขยายโพรบที่ขึ้นอยู่กับหลายเหลี่ยม
-
Physics Solving Toolkit ฟรี
Phyz เป็นโปรแกรมการศึกษาที่แสดงทฤษฎีฟิสิกส์ / แนวคิดต่าง ๆ และมีชุดของโปรแกรมการแก้ปัญหาปรัชญาพื้นฐานคือการอธิบายและให้ส่วนต่อประสานที่ง่ายสําหรับการแก้ปัญหา