Veröffentlichungen
Juni 2014
So Mo Di Mi Do Fr Sa
1234567
891011121314
15161718192021
22232425262728
2930 
DBApp-Suche
Letzte 3 Tage

Application datasets: 20633 Version datasets: 147495
DBApp v1.06
Copyright © demon
Werbung
Veröffentlichungen am 13. Juni 2014
  Univention Corporate Client 2.0

Univention Corporate Client (UCC) ist ein flexibles und effizient verwaltbares Betriebssystem für PCs, Laptops und Thin Clients in Firmen und organisationen, das auf Ubuntu beruht.

Lizenz: Affero General Public License Version 3
Rating:

  PDFium 20140613

PDFium ist eine freie PDF-Rendering-Engine. Sie kommt unter anderem im Webbrowser Chromium zum Einsatz.

Lizenz: BSD-Lizenz (Dreiklausel)
Rating:

  Coq 8.4pl4

Das Programm Coq ist ein Beweis-Assistent, der algebraische Sätze behandeln, Beweise mit diesen Sätzen prüfen und ein zertifiziertes Programm aus dem konstruktiven Beweis seiner formalen Spezifikation extrahieren kann.

Lizenz: GNU Lesser General Public License (LGPL)
Rating: