Automated Reasoning for Bluespec Designs

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

• Remote for MPC PRO ทดลองใช้ฟรี

  ควบคุมโรงภาพยนตร์ Media Player Classic Home ของคุณด้วยอุปกรณ์ Android ของคุณโดยใช้ MPC Remote แอพนี้เป็นรีโมทคอนโทรลสําหรับเครื่องเล่น MPC-HC ของคุณผ่านเครือข่ายMPC Remote ใช้การออกแบบโปร่งแสงจาก KitKat เป็นต้นไปคุณสม

• PXPerl ฟรี

  PXPerl คือการแจกแจงไบนารี Perl ที่มีคุณสมบัติเต็มรูปแบบสําหรับ Windows(R) 2000/XP มันมาพร้อมกับไบนารีของ Perl, Pugs และนกแก้วเช่นเดียวกับโมดูล Perl เพิ่มเติมจํานวนมากเมื่อเทียบกับ ActivePerl

• myjug community project ฟรี

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

• Cloud Hub ฟรี

  ฮับคลาวด์เป็นการใช้งานเครือข่ายตาข่ายไร้สายระดับลิงก์ ด้วยเฟิร์มแวร์ฮับคลาวด์จุดเชื่อมต่อจะค้นหากันโดยอัตโนมัติเพิ่มประสิทธิภาพโทโพโลยีการเชื่อมต่อและอนุญาตให้ผู้ใช้ไร้สายเฉพาะกิจรายอื่นเข้าร่วมเป็นไคลเอนต์

• CAPE-OPEN Logging Tools ฟรี

  เครื่องมือการบันทึก CAPE-OPEN อนุญาตให้บันทึกการสื่อสารที่เกิดขึ้นผ่านอินเทอร์เฟซ CAPE-OPEN ระหว่างสภาพแวดล้อมการสร้างแบบจําลองกระบวนการและคอมโพเนนต์การสร้างแบบจําลองกระบวนการ เวอร์ชัน 1.08.4 เป็นเวอร์ชันเสถียรล่าสุด (5 พ.ย.

• SimplePOS ฟรี

  ชุดซอฟต์แวร์จุดขาย (POS) คุณภาพสูงและชุดซอฟต์แวร์การจัดการสินค้าคงคลังที่เขียนด้วย C++ พร้อมแบ็กเอนด์ฐานข้อมูล MySQL และเว็บอินเตอร์เฟสที่ใช้ PHP พร้อมรองรับเครื่องสแกนบาร์โค้ดและเครื่องพิมพ์มาตรฐานใด ๆ (รวมถึงเครื่องพิมพ์ท่อ

• upIRC ทดลองใช้ฟรี

  upIRC (เดิมชื่อ apIRC) เป็นไคลเอ็นต์การสนทนารีเลย์อินเทอร์เน็ต (IRC) สําหรับ Palm OS มันรวดเร็วมั่นคงและมีคุณสมบัติครบครวๆ สิ่งเหล่านี้รวมถึงการสนับสนุนการแชท DCC การสนับสนุนแบบอักษรที่กําหนดเองทางลัดคําสั่งที่มีตัวแปรการทํา

• AI::Categorizer Perl modules ฟรี

  เฟรมเวิร์ก Perl โอเพ่นซอร์สสําหรับการจัดประเภทข้อความอัตโนมัติโดยใช้วิธีการแมชชีนเลิร์นนิง

• Tuxbox-TV ฟรี

  ด้วยโปรแกรมนี้คุณจะสามารถเลือกและรับสตรีมทีวีจากdbox และแสดงสิ่งนี้บนพีซีของคุณรวมถึง EPG-Dataภาษาการเขียนโปรแกรม: Java แผ่นระบบปฏิบัติการ: ลินุกซ์ / Unix, หน้าต่าง, Mac

• X-NetAPI ฟรี

  ปลั๊กอินสําหรับการจําลองการบิน X-Plane และไลบรารีไคลเอ็นต์สําหรับ API เครือข่ายที่แข็งแกร่งไปยังโปรแกรมจําลอง X-Plane