Coq4Eclipse

Programy pokrewne

• Zinuc Wolna

  Czy zawsze jesteś zmęczony wyszukiwaniem kalkulatora systemu Windows z jakiejś dziwnej lokalizacji z komputera? Zinuc to tylko internetowy, bardzo prosty, ale potężny kalkulator. Nie musisz niczego pobierać, aby z niego korzy

• RouteCalc Wolna

  Kalkulator trasy linii poleceń dla lotnictwa. Wejścia: Prędkość rejsu, Spalanie paliwa, Kierunek/Prędkość wiatru, Odległość segmentu. Wyjścia: Łożysko lotu, prędkość nachylenia, czas segmentu, spalanie paliwa. Zajmuje się wie

• Auditory Modelling Toolbox Wolna

  Narzędzie do modelowania słuchowego to wysiłek społeczności, aby zbudować prosty i dobrze przetestowany zestaw narzędzi do modelowania słuchowego w Matlab, Octave i C.

• sigTOOL Wolna

  sigTOOL zapewnia możliwość wysuwanej przez użytkownika analizy sygnału do przetwarzania danych elektrofizjologicznych w ramach MATLAB. Neuron spike-train, + widmowe i analizy domeny czasu są wbudowane. Zobacz http://dx.doi.or

• Periodic Table Droid Bezpłatna wersja próbna

  Najbardziej kompletny, konfigurowalny, Chemia Okresowy Układ Elementów dostępne dla Androida.Główne cechy to:• 118 elementów• Natychmiastowe wyszukiwanie!: Znajdź elementy według nazwy, symbolu lub numeru.

• A Hyperspectral Image Reader Wolna

  Jest to kod C++ do odczytu w obrazach hiperspektralnych ENVI

• Louisiana Criminal Law Wolna

  Tytuł 14 Louisiana Poprawione Statuty, Prawo karne, dla DroidLaw!Tytuł 14 Ustawy o Zmianie Stanu Luizjana, Prawo karne, dla DroidLaw.JEST TO DODATEK DO DROIDLAW. MOŻESZ ' T OTWÓRZ TĘ APLIKACJĘ. MUSISZ MIEĆ ZAIN

• GMAT Maths Preview Wolna

  Chcesz zwiększyć swoją szansę na sukces w GMAT lub GRE? Następnie jest to idealna aplikacja dla Ciebie. Ta aplikacja uczy praktycznych wskazówek, aby wykonać obliczenia matematyczne szybciej. Będziesz mógł wielokrotność 97 i

• Quran Indonesia mp3+trnslation Wolna

  Posłuchaj pełnego świętego Koranu w tłumaczeniu indonezyjskim. Nasza aplikacja odtwarza pliki audio w jednym z twoich ulubionych recciter1. Umożliwia pobranie pełnego Koranu lub pobranie pojedynczego pliku pojedynczo za jedny

• ProteinFinder database search method Wolna

  ProteinFinder - równoległy silnik obliczeniowy języka C do wyszukiwania bazy danych spektrometrii masowej białka tandemowego. ProteinFinder jest smątą z relacyjnej bazy danych MySQL MassSpec, która obsługuje dane eksperyment