ส่งซอฟต์แวร์
  1. บ้าน
  2. Windows
  3. อื่นๆ
  4. Dolphin Project

Dolphin Project 0.1.1

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

โครงการปลาโลมามีวัตถุประสงค์เพื่อเป็นเครื่องมือรวบรวมโครงการวิจัยที่เกี่ยวข้องกับเครื่องมือและเครื่องมือ Open Source Satisfiability Solver ที่เกี่ยวข้องกับพวกเขาเช่นตัวตรวจสอบแบบจําลองที่ถูกผูกไว้และตัวตรวจสอบซอฟต์แวร์

ประวัติรุ่น

  • เวอร์ชัน Dolphin%20SAT%200.1.1 โพสต์เมื่อ 2008-03-02
    การแก้ไขและการอัปเดตหลายรายการ
  • เวอร์ชัน Dolphin SAT 0.1.1 โพสต์เมื่อ 2008-03-02

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

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

  • Object Kernel and RunTime Library ฟรี

    นี่คือห้องสมุดการศึกษาขนาดเล็ก: smalltalk เช่นวัตถุ, ตัวจัดสรรหน่วยความจําอย่างรวดเร็ว, เครือข่าย marshall / unmarshall, โมดูลแบบไดนามิก, ดีบัก, การเชื่อมโยงสองทางที่รวดเร็วและสกปรกระหว่างวัตถุของเราและ mozilla javascript หรื

  • College StatsPac Calculator ฟรี

    คาดหวังมากกว่ากราฟ! - คืนเงินเต็มจํานวน 24 ชั่วโมงหากไม่พอใจกับ App!^_^!-สถิติที่ครอบคลุม--กับแพคเกจกราฟที่สมบูรณ์-ข้อเสนอ StatsPac:8ฟังก์ชั่นความน่าจะเป็นแยก,7ฟังก์ชั่นความน่าจะเป็นอย่างต่อเนื่อง,ช่วงความเชื่อมั่

  • TOEIC () 600 ฟรี

    Logitalk (การฟัง) - (TOEIC) 600.(การฟัง) . .' TOEIC () 600 #39; 600 ..สคริปต์Logitalk ? , , .

  • UniquePrimer ฟรี

    สคริปต์บรรทัดคําสั่งงูหลามที่เรียบง่ายสําหรับการออกแบบแบทช์ของไพรเมอร์ PCR ที่ไม่ซ้ํากัน ไพรเมอร์ได้รับการออกแบบโดยใช้ Primer3 และระเบิดกับฐานข้อมูลที่กําหนดเอง (เช่นจีโนม) เฉพาะไพรเมอร์ที่ไม่ซ้ํากันที่มีการแข่งขันเดียวจะถู

  • A Prosperous Way Down ทดลองใช้ฟรี

    ทางที่เจริญรุ่งเรืองลง, เผยแพร่โดยมหาวิทยาลัยกดของโคโลราโดซื้อ ebook ปลอด DRM วันนี้! ขับเคลื่อนโดยอัลดิโกวิธีที่เจริญรุ่งเรืองลงพิจารณาวิธีการที่อนาคตที่มีเชื้อเพลิงฟอสซิลน้อยอาจจะสงบสุขและเจริญรุ่งเรือง, รวมทั้งคําแน

  • DICOM Confidential ฟรี

    โครงการ DICOM Secret พัฒนาชุดเครื่องมือ de-identification ของโอเพ่นซอร์ส DICOM (Digital Imaging and Communications in Medicine) ที่ให้ความยืดหยุ่นที่จําเป็นสําหรับข้อกําหนดในการระบุตัวตนที่แตกต่างกัน

  • MPVS ฟรี

    เครื่องมือในทางปฏิบัติเพื่อช่วยให้นักเรียนเข้าใจวิธีการเขียนโปรแกรมแบบคลาสสิกอย่างลึกซึ้งตามข้อกําหนด invariants ห่วงและการสลายตัวเป็นหัวข้อย่อย

  • DuMP3 - duplicate & similar file finder ฟรี

    DuMP3 เป็นตัวค้นหาไฟล์ที่ซ้ํากันและคล้ายกัน มันพบไบนารีที่ซ้ํากันแน่นอนโดยแฮชไฟล์ข้อความที่คล้ายกันโดย substring เนื้อหาภาพ (JPG, BMP, GIF, PNG ฯลฯ ) ตามไฟล์สีและเสียง (MP3, WAV, OGG ฯลฯ ) ตามข้อมูลคลื่น อนาคต: แบบอักษร วิดีโ

  • AU FLUKA Tools ฟรี

    มีเครื่องมือเสริมสําหรับรหัสการขนส่งอนุภาค Monte Carlo FLUKA (www.fluka.org)

  • STAS Software ฟรี

    STASS ย่อมาจากซอฟต์แวร์รักษาเสียงการวิเคราะห์และการสังเคราะห์ มันจะให้ ingeneers และผู้ค้นหาที่ใช้งานง่ายเช่นเดียวกับเครื่องมือที่มีประสิทธิภาพสําหรับการวิเคราะห์เสียง (สเปกโตรโซน่าและอื่น ๆ ) การรักษา (ตัวกรองประตูเสียง) และ