सॉफ्टवेयर सबमिट करें
  1. को
  2. Windows
  3. अन्य
  4. Dolphin Project
  5. Download

Dolphin Project 0.1.1

लाइसेंस: मुफ्त ‎फ़ाइल आकार: N/A
‎उपयोगकर्ताओं की रेटिंग: 3.5/5 - ‎2 ‎वोट

करीबन Dolphin Project

डॉल्फिन परियोजना का उद्देश्य ओपन सोर्स तृप्ति सॉल्वर टूल्स और उनसे संबंधित उपकरण जैसे बाउंड मॉडल चेकर्स और सॉफ्टवेयर वेरिफाइडर्स से संबंधित एक शोध परियोजना है।

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

  • Object Kernel and RunTime Library मुफ्त

    यह एक छोटी शैक्षिक पुस्तकालय है: वस्तुओं की तरह स्मॉलटॉक, त्वरित मेमोरी आवंटी, नेटवर्क मार्शल/अनमार्शल, गतिशील मॉड्यूल, डिबग, त्वरित और गंदे दो तरह के लिंक हमारी वस्तुओं और मोजिला जावास्क्रिप्ट या अजगर वस्तुओं के बीच, ... और

  • College StatsPac Calculator मुफ्त

    रेखांकन से अधिक की अपेक्षा करें! - पूर्ण वापसी, 24 घंटे अगर App से संतुष्ट नहीं है!^_^!-व्यापक आंकड़े--पूरा रेखांकन पैकेज के साथ-स्टेट्सपीएसी प्रदान करता है:8 असतत संभावना कार्य,7 निरंतर संभावना कार्य,1 और 2-नमूना

  • TOEIC () 600 मुफ्त

    लोगीटॉक (श्रवण) - (TOEIC) 600.(सुन) । .#39; TOEIC () 600 और #39; 600 ..लिपि।लॉजीटॉक? , , .

  • UniquePrimer मुफ्त

    अद्वितीय पीसीआर प्राइमर के बैच डिजाइन के लिए एक साधारण अजगर कमांड लाइन स्क्रिप्ट। प्राइमर को प्राइमर 3 का उपयोग करके डिज़ाइन किया गया है और कस्टम डेटाबेस (जैसे जीनोम) के खिलाफ नष्ट किया गया है। केवल एक मैच के साथ अद्वितीय प

  • A Prosperous Way Down नि: शुल्क परीक्षण

    एक समृद्ध रास्ता नीचे, कोलोराडो के विश्वविद्यालय प्रेस द्वारा प्रकाशितआज इस DRM मुक्त ebook खरीदें! Aldiko द्वारा संचालित।एक समृद्ध तरीका नीचे उन तरीकों पर विचार करता है जिनमें कम जीवाश्म ईंधन वाला भविष्य शांतिपूर्ण और

  • DICOM Confidential मुफ्त

    DICOM गोपनीय परियोजना एक ओपन सोर्स डीआईकॉम (डिजिटल इमेजिंग एंड कम्युनिकेशंस इन मेडिसिन) डी-आइडेंटिफिकेशन टूलकिट विकसित करती है जो विभिन्न डी-आइडेंटिफिकेशन आवश्यकताओं के लिए आवश्यक लचीलापन प्रदान करती है।

  • MPVS मुफ्त

    व्यावहारिक उपकरण छात्रों को विशिष्टताओं, लूप इनवेरेंट्स और उप-समस्याओं में अपघटन के आधार पर शास्त्रीय प्रोग्रामिंग पद्धति को गहराई से समझने में मदद करने के लिए।

  • DuMP3 - duplicate & similar file finder मुफ्त

    DuMP3 एक डुप्लिकेट और इसी तरह की फाइल खोजक है। यह तरंग डेटा द्वारा रंग और ऑडियो फ़ाइलों (एमपी 3, WAV, OGG, आदि) द्वारा सामग्री, छवियों (जेपीजी, बीएमपी, जीआईएफ, पीएनजी, आदि) द्वारा सटीक डुप्लिकेट बाइनरी, सबस्ट्रिंग सामग्री, छव

  • AU FLUKA Tools मुफ्त

    मोंटे कार्लो कण परिवहन कोड FLUKA (www.fluka.org) के लिए सहायक उपकरण प्रदान करता है।

  • STAS Software मुफ्त

    STASS ध्वनि उपचार, विश्लेषण और संश्लेषण सॉफ्टवेयर के लिए खड़ा है। यह इनजेनर और खोजकर्ताओं को आसानी से उपयोग करने के साथ-साथ ध्वनि विश्लेषण (स्पेक्ट्रो, सोना और इतने पर), उपचार (फिल्टर, शोर-गेट) और संश्लेषण (scepstrum) के लिए