REDLIB 8
आप 5 सेकंड में डाउनलोड कर सकेंगे।
डाउनलोड शुरू करने के लिए आप निम्नलिखित बाहरी डाउनलोड लिंक पर भी क्लिक कर सकते हैं:
http://sourceforge.net/projects/redlib/files/RED%2CTCTL%20model-checker%2C%20simulation-checker%2C%20parametric%20safety-analyzer/text%20mode/version%208/red.8.110529.tar.gz/download
करीबन REDLIB
* सीआरडी (घड़ी-प्रतिबंध आरेख) प्रौद्योगिकी के साथ सी में घने समय मॉडल के साथ वास्तविक समय प्रणाली के लिए मॉडल-चेकिंग/सिमुलेशन-चेकिंग लाइब्रेरी। * एचआरडी (हाइब्रिड-प्रतिबंध आरेख) टेक्नोल के साथ सी में रैखिक-हाइब्रिड सिस्टम के लिए पैरामेट्रिक विश्लेषण पुस्तकालय
संबंधित कार्यक्रम
-
Open Pandora's Box मुफ्त
भानुमती एक कृत्रिम बुद्धिमान वेब आधारित बॉट है। भानुमती एक घटक आधारित एआई आर्किटेक्चर है जिसमें डेटाबेस मेमोरी, एक्सएमएल, वॉयस, वॉयस आरईसी, चैट, आईआरसी, HTTP, Wiktionary, Freebase, चेतना, भाषा, जीयूआई, एप्लीकेंट, वेब, जेएसपी
-
ActiveWizard नि: शुल्क परीक्षण
एक्टिवविजार्ड एक आसान-से-उपयोग करने वाला एक्टिवएक्स नियंत्रण है जो आपको 'विंडोज 2000 शैली' जादूगर बनाने में सक्षम बनाता है। बस अपने फॉर्म पर एक्टिवविजार्ड कंट्रोल डालें, कुछ एक्टिवपैन कंट्रोल जोड़ें, और एक्टिवविजार्ड कंट्रोल
-
Tilem - TI Linux Emulator मुफ्त
टेक्सास इंस्ट्रूमेंट्स ग्राफिंग कैलकुलेटर की Z80 श्रृंखला के लिए एक एमुलेटर। यह टीआई-81 को छोड़कर सभी वर्तमान Z80 कैलकुलेटर मॉडल का अनुकरण करता है, और फ्लैश ऐप लोडिंग सहित एक डिबगर, बाहरी फ़ाइल लोडिंग और पूर्ण फ्लैश समर्थन की
-
CUBRID Cluster मुफ्त
http://www.cubrid.org/cluster देखें। क्यूबरिड क्लस्टर वैश्विक स्कीमा, वितरित विभाजन और लोड संतुलन सुविधाओं सहित उच्च स्केलेबिलिटी के लिए एक खुला स्रोत संकुल डीबीएमएस है। यह क्यूबरिड परियोजना से एक स्पिन-ऑफ परियोजना है और एनएच
-
Resolution Changer FREE मुफ्त
## इस ऐप के लिए रूट की जरूरत होती है ##Resolution चेंजर एक ऐसा ऐप है जो आपको अपने डिवाइस का रेजोल्यूशन बदलने की सुविधा देता है । कभी अपने डिवाइस को अपने टीवी से कनेक्ट करें या मॉनिटर करें और काले सलाखों को प्राप्त करें? अपने
-
Looper Event / Alert System मुफ्त
लूपर इवेंट/अलर्ट सिस्टम एक एप्लिकेशन है जो मुख्य रूप से नेटवर्क प्रबंधन के लिए अलर्ट मॉनिटरिंग और पुनर्निर्देशन करने के लिए उपयोग किया जाता है। यह मन में अत्यधिक सादगी के साथ बनाया गया है और अत्यधिक मॉड्यूलर है। इसके अलावा एक
-
Keystone Parser मुफ्त
कीस्टोन पार्सर आईएसओ सी + + भाषा परिभाषा के लिए एक पार्सर फ्रंट-एंड है।क्लूसौ एपीआई शामिल है।
-
Easy Recovery मुफ्त
à एक  ... रूट Acces की जरूरत है एक  . यह ऐप एक कस्टम रिकवरी इंस्टॉल करता है, बस इसके लिए पथ दर्ज करता है और यह फ्लैशेड होगा जो किसी भी चीज के लिए जिम्मेदार नहीं हूं!!! विशेष रुप से प्रदर्शित उपकरण (१००% काम):-सैमसंग गैलेक्स
-
Privacy Blocker नि: शुल्क परीक्षण
(एक सीमित समय के लिए $ 1.99, सामान्य कीमत $ 3.99 होगी)(गोपनीयता अवरोधक खरीदने से पहले कृपया गोपनीयता निरीक्षक की कोशिश करें)☆ एटी एंड टी यूजर्स को इस ऐप की मुख्य सुविधा का उपयोग करने में सक्षम "साइडलोडिंग" की आवश्य
-
RKFS - A new filesystem for Linux मुफ्त
आरकेएफएस - लिनक्स के लिए एक नया अभिनव फाइलसिस्टम। लक्ष्य एक सरल, लेकिन अभी तक शक्तिशाली फाइलसिस्टम प्रदान करना है जिसमें Ext2 के रूप में सभी विशेषताएं हैं, लेकिन छोटे उपकरणों (कम क्षमता वाले उपकरणों) के लिए। यह बेहद मजबूत है