ส่งซอฟต์แวร์
  1. บ้าน
  2. Windows
  3. อื่นๆ
  4. PiET: Pi Calculus Equivalences Tester

PiET: Pi Calculus Equivalences Tester 1.0

ใบ อนุญาต: ฟรี ‎ขนาดแฟ้ม: N/A
‎คะแนนจากผู้ใช้: 5.0/5 - ‎1 ‎โหวต
ดาวน์โหลด

PiET เป็นเครื่องมือตรวจสอบสําหรับสิบความเท่าเทียมกันของพฤติกรรมสําหรับ Pi Calculus

ประวัติรุ่น

  • เวอร์ชัน Piet%201.0 โพสต์เมื่อ 2006-09-29
    การแก้ไขและการอัปเดตหลายรายการ
  • เวอร์ชัน Piet 1.0 โพสต์เมื่อ 2006-09-29

รายละเอียดหลักสูตร

หลักสูตรที่เกี่ยวข้อง

  • 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 เป็นโปรแกรมการศึกษาที่แสดงทฤษฎีฟิสิกส์ / แนวคิดต่าง ๆ และมีชุดของโปรแกรมการแก้ปัญหาปรัชญาพื้นฐานคือการอธิบายและให้ส่วนต่อประสานที่ง่ายสําหรับการแก้ปัญหา