Proof Substitute for the Humdrum Toolkit

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

• The Tab Completion Grade Book मुफ्त

  शिक्षकों की ग्रेड पुस्तकों के प्रबंधन के लिए एक जावा कार्यक्रम । भारित ग्रेड, मनमाने ढंग से नेस्टेड असाइनमेंट, कई पाठ्यक्रमों, कई छात्रों, प्रति छात्र दृश्य का समर्थन करता है जो अन्य छात्रों के बारे में कोई संवेदनशील जानकारी

• BioSap मुफ्त

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

• EnotifWiki मुफ्त

  EnotifWiki विकिपीडिया के मीडियाविकी इंजन के लिए ई-मेल अधिसूचना जोड़ता है: जब पृष्ठों को बदल दिया जाता है या बनाया जाता है, तो उपयोगकर्ताओं को देखने के लिए एक ई-मेल ("enotif") स्वचालित रूप से भेजा जाता है। अंतर विचार

• Gtk+/CLI IDP Interface मुफ्त

  इस परियोजना के तहत IDP शब्दकोशों के साथ उपयोग करने के लिए सॉफ्टवेयर प्रदान करता हैलिनक्स और अन्य यूनिस। यह परियोजना शब्दकोशों को पुनर्वितरित नहीं करती है, लेकिनवे 95% मुक्त हैं, इसलिए आप उन्हें http://www.june29.com/IDP/

• MODELbuilder मुफ्त

  मोडेलबिल्डर एक ऐसा एप्लिकेशन है जो अनुभवजन्य और सिमुलेशन डेटा से विभिन्न मॉडलों को प्राप्त करने का एक ग्राफिकल तरीका प्रदान करता है।

• SPAS मुफ्त

  एसपीए (स्ट्रक्चर प्रॉपर्टी एनालिसिस सॉफ्टवेयर) एक मात्रात्मक संरचना-संपत्ति संबंध (क्यूएसपीआर) सॉफ्टवेयर है।

• CHALICE मुफ्त

  ऐतिहासिक प्राधिकरणों को लिंक, संदर्भों और संस्थाओं से जोड़ना। पासिस यूके के लिए एक ऐतिहासिक प्लेसनेम गजेटियर है, जो लिंक्ड डेटा के रूप में प्रकाशित होता है और अर्थ वेब पर प्लेसनेम संदर्भ जानकारी के अन्य व्यापक रूप से उपयोग कि

• Finite Element LibrarY eXperiment मुफ्त

  FELYX सी + + में लिखा एक ऑब्जेक्ट ओरिएंटेड FE/FEM कोड है । यह संरचनात्मक विश्लेषण, बैंडविड्थ में कमी, एक तेज क्षितिज सॉल्वर, कुछ पुनरावर्तक सॉल्वर और वाणिज्यिक FEA पैकेज ANSYS के लिए एक इंटरफेस के लिए सबसे आम तत्व प्रदान करता

• Java Linear Algebra Library मुफ्त

  JLAL जावा के लिए एक रैखिक बीजगणित पैकेज है, जो ऑब्जेक्ट-ओरिएंटेड एपीआई का उपयोग करने में आसान प्रदान करता है। पुस्तकालय अंकगणितीय संचालन, उलटा, विभिन्न मैट्रिक्स अपघटन, रैखिक समीकरणों के समाधान, और अधिक का समर्थन करता है।

• EZMWeb मुफ्त

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