Extended NuSMV 1.1

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

• Voice Widget मुफ्त

  वॉयस रिकॉर्डर, यूट्यूब, टीवी या रेडियो, एक्सप्लोरर या खोज एक क्लिक के साथ शुरू करें।अपने फोन के वॉयस रिकॉर्डर, यूट्यूब, टीवी या रेडियो, एक्सप्लोरर या सर्च को लिंक करने के लिए 2 खूबसूरत विजेट्स। डिजाइन स्टाइल एचटीसी सेंस की

• ZIPCodeWorld Store Locator .NET Component नि: शुल्क परीक्षण

  ज़िपकोडवर्ल्ड स्टोर लोकेटर .NET सभी .NET डेवलपर्स के लिए एक स्टोर लोकेटर नियंत्रण है। आपकी खुद की संयुक्त राज्य अमेरिका या कनाडा स्टोर लोकेटर सेवा मिनटों के भीतर चल सकती है। ज़िपकोडवर्ल्ड स्टोर लोकेटर .NET ASP.NET परियोजनाओं

• Mobile Data On/Off Toggle मुफ्त

  मोबाइल डेटा ऑन/ऑफ टॉगलमोबाइल डेटा ऑन/ऑफ टॉगल स्विचरमोबाइल डेटा ऑन/ऑफ टॉगल स्विचरमोबाइल डाटा ऑनऑफ टॉगल स्विच।- यह सॉफ्टवेयर आवश्यकता सिस्टम सेटिंग्स में सक्षम और उद्धृत;मोबाइल डेटा" । बहुत सरल मोबाइल डेटा नियंत्रण सॉफ्टवे

• OCF Resource Agent for SAP मुफ्त

  एक लिनक्स उच्च उपलब्धता क्लस्टर (जैसे लिनक्स-एचए परियोजना) में एसएपी सॉफ्टवेयर चलाने के लिए ओसीएफ (ओपन क्लस्टर फ्रेमवर्क) अनुरूप संसाधन एजेंट प्रदान करता है।

• Wintermute Engine DevKit मुफ्त

  विंटरम्यूट इंजन डेवलपमेंट किट पारंपरिक 2D और आधुनिक 2.5D गेम (2D पृष्ठभूमि पर 3D वर्ण) दोनों पारंपरिक 2D और क्लिक साहसिक गेम बनाने और चलाने के लिए उपकरणों का एक सेट है।

• Aginity Netezza Workbench मुफ्त

  Aginity एक Netezza समाधान प्रदाता भागीदार है। कार्यक्षेत्र विशिष्ट उपकरणों के लिए हमारी जरूरत से बाहर पैदा हुआ था हमारे व्यापक अनुभव Netezza उपकरण पर बड़े सिस्टम के विकास का समर्थन करते हैं । वर्कबेंच अन्य समान उत्पादों के बी

• xUnit - Unit Testing Framework मुफ्त

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

• perf2rrd मुफ्त

  perf2rrd जावा (टीएम) में लिखा गया एक कार्यक्रम है जो नागिओस (आर) निगरानी प्रणाली द्वारा प्रदर्शन डेटा आउटपुट को कैप्चर करता है और इसे RRDtool द्वारा लागू के रूप में राउंड रॉबिन डेटाबेस फाइलों में स्टोर करता है।

• MisterHouse: Home Automation with Perl मुफ्त

  मिस्टरहाउस पर्ल में लिखा गया विंडोज/यूनिक्स होम ऑटोमेशन प्रोग्राम है । यह वॉयस कमांड, वेब ब्राउज़र, दिन का समय, सीरियल पोर्ट और X10 डेटा, बाहरी फाइलें आदि का जवाब दे सकता है और टेक्स्ट टू स्पीच इंजन के माध्यम से बात कर सकता ह

• IFM - Interface Management System मुफ्त

  आईएफएम (पूर्व में wxIFM) एक इंटरफ़ेस प्रबंधन पुस्तकालय है जो आपके अनुप्रयोगों में डॉक करने योग्य खिड़कियां जोड़ने के लिए डिज़ाइन किया गया है जो आपके इंटरफ़ेस को अनुभवी कंप्यूटर उपयोगकर्ताओं द्वारा मांगी गई अनुकूलनशीलता देता ह