ส่งซอฟต์แวร์
  1. บ้าน
  2. Linux
  3. อื่นๆ
  4. Petri Net to Automaton Converter (GAP)

Petri Net to Automaton Converter (GAP)

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

แพคเกจ GAP ขนาดเล็กสําหรับการแปลงตาข่าย Petri เป็น automata รัฐจํากัดและการแปลงกลุ่มกึ่ง

ประวัติรุ่น

  • เวอร์ชัน N/A โพสต์เมื่อ 2011-08-19
    การแก้ไขและการอัปเดตหลายรายการ
  • เวอร์ชัน N/A โพสต์เมื่อ 2011-08-19

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

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

  • Teachers Helper ฟรี

    ผู้ช่วยครูจะช่วยให้ครูวางแผนติดตามจัดการโครงการนักเรียนการบ้านและชั้นเรียนสําหรับวิชาใด ๆ

  • ICE Cafe ฟรี

    ICE Cafe เป็น alginer และผู้ชมที่เปรี้ยวแบบเปิด วัตถุประสงค์แรกของ sofware นี้คือการหาการแก้ไข RNA โดยการเปรียบเทียบลําดับจีโนมิกกับลําดับ RNA หรือโดยใช้วิธีการ ICE ที่พัฒนาขึ้นที่ห้องปฏิบัติการซูซูกิ, ฝ่ายเคมีและเทคโนโลยีชีว

  • TesT & RedactoR 7 ทดลองใช้ฟรี

    โปรแกรมสําหรับการสร้างและผ่านการทดสอบ / การสอบ / แบบทดสอบ ประกอบด้วยสองโปรแกรม: TesT - โปรแกรมสําหรับการทดสอบ ( freeware ) RedactoR - โปรแกรมสําหรับการสร้างและแก้ไขการทดสอบ (แชร์แวร์ที่มีระยะเวลาทดลอง) ภาพกราฟิกภาพถ่ายวิดีโอแ

  • YAUCP, Yet Another uController Project ฟรี

    yaucp, ยังอีกโครงการ uController. เป็นชุดเครื่องมือและแหล่งที่มาของโค้ดและข้อมูลสําหรับการพัฒนาสําหรับครอบครัว AVR ของไมโครคอนโทรลเลอร์ภายใต้ Linux โดยใช้เครื่องมือที่รองรับ GPL เท่านั้นซึ่งเผยแพร่ภายใต้ GPL

  • Inwicast Mediacenter ฟรี

    Inwicast Mediacenter เพิ่มความสามารถด้านมัลติมีเดียให้กับ Claroline และ Moodle เพื่อให้ครูสามารถเผยแพร่ จัดการ และแชร์พ็อดคาสท์เสียงและวิดีโอในรูปแบบต่างๆ ได้อย่างง่ายดาย นอกจากนี้ Inwicast Mediacenter ยังสามารถจัดการวิดีโอที

  • EQUIL ฟรี

    EQUIL (การจัดคิวอิเล็กทรอนิกส์ของผู้ใช้ในห้องปฏิบัติการ) เป็นระบบที่ออกแบบมาเพื่อทําให้งานของการจัดการนักเรียนในห้องปฏิบัติการมีประสิทธิภาพมากขึ้นอย่างมีความสงบและเป็นประชาธิปไตย

  • PhyloView ฟรี

    Phyloview เป็นสคริปต์ CGI ตาม perl สําหรับการมองเห็นคุณสมบัติทางระบบภาษีของต้นไม้โปรตีน phylogenetic

  • BioImageXD ฟรี

    BioImageXD - ซอฟต์แวร์โอเพ่นซอร์สฟรีสําหรับการวิเคราะห์การประมวลผลและการเรนเดอร์ 3 มิติของช่องข้อมูลหลายมิติหลายช่องข้อมูลภาพชุดเวลาจากกล้องจุลทรรศน์และแหล่งข้อมูลอื่น ๆ

  • Gastropod IR RT operator ฟรี

    Gastropod เป็นห้องสมุด Fortran 90 ของกิจวัตรการไล่ระดับสีไปข้างหน้าและการไล่ระดับสีสําหรับการคํานวณการถ่ายโอนรังสีที่รวดเร็วสําหรับเสียงดาวเทียมอินฟราเรดความละเอียดสูง

  • AutoShim ฟรี

    เครื่องมือในการสร้างแบบจําลองการคาดการณ์กิจกรรมที่เทียบชิดขอบโมเลกุลโดยการถดถอย PLS ด้วยการฝึกอบรมและการเลือกท่าเทียบเรือ ตัวบอกลักษณะประกอบด้วย (i) คะแนนเทียบชิดขอบ (ii) คุณสมบัติเภสัชจลนภาพ (iii) คําอธิบายแบบหลายคุณลักษณะที