Automated Reasoning for Bluespec Designs

संबंधित कार्यक्रम

• Remote for MPC PRO नि: शुल्क परीक्षण

  एमपीसी रिमोट का उपयोग करके अपने एंड्रॉइड डिवाइस के साथ अपने मीडिया प्लेयर क्लासिक होम सिनेमा को नियंत्रित करें। यह ऐप नेटवर्क पर आपके एमपीसी-एचसी प्लेयर के लिए एक रिमोट कंट्रोल है।एमपीसी रिमोट किटकैट के बाद से पारदर्शी डि

• PXPerl मुफ्त

  PXPerl विंडोज (आर) 2000/XP के लिए एक पूर्ण विशेष रुप से प्रदर्शित पर्ल बाइनरी वितरण है। यह पर्ल, पग्स और तोता के बाइनरी के साथ-साथ एक्टिवपेरल की तुलना में कई अतिरिक्त पर्ल मॉड्यूल के साथ आता है।

• myjug community project मुफ्त

  इस परियोजना का विचार एक रास्ता प्रदान करना है ओपन सोर्स तरीका सीखना। स्वाभाविक रूप से, परियोजनाअन्य मौजूदा जकार्ता ढांचे पर निर्माण किया जाएगा और परियोजनाओं। परियोजना एक मेटा परियोजना की तरह अधिक हैजिनमें अन्य छोटी पर

• Cloud Hub मुफ्त

  क्लाउड हब एक लिंक-स्तरीय वायरलेस जाल नेटवर्किंग कार्यान्वयन है। क्लाउड हब फर्मवेयर के साथ, एक्सेस पॉइंट स्वचालित रूप से एक-दूसरे को ढूंढते हैं, कनेक्शन टोपोलॉजी का अनुकूलन करते हैं, और अन्य तदर्थ वायरलेस उपयोगकर्ताओं को ग्राह

• CAPE-OPEN Logging Tools मुफ्त

  केप-ओपन लॉगिंग टूल्स एक प्रोसेस मॉडलिंग पर्यावरण और एक प्रक्रिया मॉडलिंग घटक के बीच केप-ओपन इंटरफेस के माध्यम से होने वाले संचार के प्रवेश की अनुमति देते हैं। संस्करण 1.08.4 नवीनतम स्थिर संस्करण (5 नवंबर, 2009) है।

• SimplePOS मुफ्त

  एक उच्च गुणवत्ता वाले प्वाइंट ऑफ सेल (पीओएस) और इन्वेंट्री मैनेजमेंट सॉफ्टवेयर सुइट जो सी + + में लिखा गया है, जिसमें बारकोड स्कैनर और किसी भी मानक प्रिंटर (प्रिंटर सहित) के समर्थन के साथ MySQL डेटाबेस बैकएंड और पीएचपी आधारित

• upIRC नि: शुल्क परीक्षण

  UPIRC (पूर्व में apIRC) पाम ओएस के लिए एक इंटरनेट रिले चैट (आईआरसी) ग्राहक है । यह तेज, स्थिर है, और इसमें सुविधाओं की एक पूरी श्रृंखला शामिल है। इनमें डीसीसी चैट सपोर्ट, कस्टम फॉन्ट सपोर्ट, वेरिएबल्स के साथ कमांड शॉर्टकट, क

• AI::Categorizer Perl modules मुफ्त

  मशीन लर्निंग विधियों का उपयोग करके स्वचालित पाठ वर्गीकरण के लिए एक ओपन-सोर्स पर्ल फ्रेमवर्क।

• Tuxbox-TV मुफ्त

  इस कार्यक्रम के साथ आप अपने टीवी-स्ट्रीम का चयन करने और प्राप्त करने में सक्षम होंगेdbox और EPG-डेटा सहित अपने पीसी पर यह दिखाने के लिए।प्रोग्रामिंग भाषा: जावा ओएस प्लैटफॉर्म: लिनक्स/यूनिक्स, विंडोज, मैक

• X-NetAPI मुफ्त

  एक्स-प्लेन सिम्युलेटर के लिए एक मजबूत नेटवर्क एपीआई के लिए एक्स-प्लेन फ्लाइट सिम्युलेटर और क्लाइंट लाइब्रेरी के लिए एक प्लगइन।