Package Descriptions for Ubuntu

Browsing German translation

  1. Series precise
  2. Template “ddtp-ubuntu-universe”
  3. German (de)
Don't show this notice anymore
Before translating, be sure to go through Ubuntu Translators instructions and German guidelines.
162 → 171 of 54563 results First • • • Last
162.
This package contains the source files to the infix interface to ACL2.
 
Description
Diese Paket enthält den Quellcode für die Infix-Schnittstelle zu ACL2.
Translated and reviewed by Hendrik Schrieber
Located in Package: acl2-infix-source
163.
A Computational Logic for Applicative Common Lisp: source files
 
Summary
A Computational Logic for Applicative Common Lisp: Quelltext
Translated and reviewed by Hendrik Schrieber
Located in Package: acl2-source
164.
ACL2 is both a programming language in which you can model computer systems and a tool to help you prove properties of those models.
 
Description
ACL2 ist sowohl eine Programmiersprache, mit der man Rechnersysteme modellieren kann, als auch ein Werkzeug, das Sie dabei unterstützt, Eigenschaften solcher Modelle zu beweisen.
Translated by Michael Vogt
Located in Package: elpa-acl2 Package: acl2-source Package: acl2-infix-source Package: acl2-infix Package: acl2-doc Package: acl2-books-source Package: acl2-books-certs Package: acl2-books Package: acl2
165.
This package contains the lisp source files to the main ACL2 binary.
 
Description
Dieses Paket enthält den Lisp-Quellcode für die Haupt-Binärdatei von ACL2.
Translated and reviewed by Hendrik Schrieber
Located in Package: acl2-source
166.
Analog dockapp clock for GNUstep
 
Summary
Analoguhr als Dockapplet für GNUstep
Translated and reviewed by Michael Vogt
Located in Package: aclock.app
167.
This little application displays the time of the day (analog).
 
Description
Diese kleine Anwendung zeigt die Tageszeit (analog).
Translated and reviewed by Michael Vogt
Located in Package: aclock.app
168.
Homepage: http://www.linuks.mine.nu/aclock/
 
Description
Webseite: http://www.linuks.mine.nu/aclock/
Translated and reviewed by Michael Vogt
Located in Package: aclock.app
169.
A multi-player aerial combat simulation
 
Summary
Ein Luftkampfsimulator für mehrere Spieler
Translated and reviewed by Carlos Perelló Marín
Located in Package: acm
170.
acm is an air combat simulator that runs under the X window system. This version of acm is implemented as a distributed simulation. It communicates information via the IEEE Distributed Interactive Simulation protocol.
 
Description
Acm ist ein mit dem X Window System laufender Luftkampfsimulator. Diese Version von Acm läuft als »verteilte Simulation« mit dem »Distributed Interaktive Simulation Protocol« der IEEE.
Translated and reviewed by Carlos Perelló Marín
Located in Package: acm
171.
multi-player aerial combat simulation
 
Summary
Ein Luftkampfsimulator für mehrere Spieler
Translated and reviewed by Michael Vogt
Located in Package: acm4
162 → 171 of 54563 results First • • • Last

This translation is managed by Ubuntu German Translators, assigned by Ubuntu Translators.

You are not logged in. Please log in to work on translations.

Contributors to this translation: Alexander Hartl, Björn Ternes, Carlos Perelló Marín, Carsten Gerlach, Christian Flasche, Christoph Gerlach, Daniel, Daniel Schury, Daniel Winzen, David Ayers, Denise Tiersch, Dennis Baudys, Dr. Peter Netz, Eduard Gotwig, Florian Greinus, Frank Sagner, Ghenrik, Hendrik Schrieber, Jakob Kramer, Jan Simon, Johannes Storm, Jonas Endersch, Jonathan Kolberg, Joshua Feis, Jürgen Schwarze, Laurent Kap, Lucas Meyer, Lukas Bögelein, MJJoker, Manfred Wiktorin, Marc Rodrigues, Marijo Mustac, Mark Mahler, Marsu, Martin Weil, Max Wiedenmann, Michael Steuernagel, Michael Vogt, Moritz Baumann, Nico Bauer, Niko K, Oliver Duerre, Pascal De Vuyst, Phil Krämer, Rajek, Robin, Ronald Müller, Sascha, Severin H, Simeon, Startlett, Stefan Gebhardt, Stephan Woidowski, Steve Langasek, Sven Seelbach, Thomas Schwiertz, Tobias Bannert, Torsten Franz, ctx, dstaubsauger, greenscandic, hpeck, kilaviljenn, scrawl, shilbert, stepstra, Łukasz Zemczak.