Package Descriptions for Ubuntu

Browsing German translation

  1. Series yakkety
  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.
761 → 770 of 106672 results First • • • Last
761.
alsaplayer XOSD display module
 
Summary
Alsaplayer XOSD Bildschirm-Modul
Translated and reviewed by Torsten Franz
Located in Package: alsaplayer-xosd
762.
This package provides a non-interactive interface to alsaplayer, an audio player. Information about the file currently being played will be displayed on screen through the X On-Screen Display library (xosd).
 
Description
Dieses Paket bietet eine nicht-interaktive Schnittstelle zu alsaplayer, einem Programm zur Audiowiedergabe. Informationen über die Datei, die gerade abgespielt wird, werden über die X On-Screen Display Library (xosd) auf dem Bildschirm angezeigt.
Translated and reviewed by Christoph Gerlach
Located in Package: alsaplayer-xosd
763.
OpenAL-Soft configuration utility
 
Summary
Konfigurationsprogramm für OpenAL-Soft
Translated by Michael Vogt
Located in Package: alsoft-conf
764.
An easy to use tool to configure OpenAL-Soft.
 
Description
Ein einfach zu nutzendes Konfigurationswerkzeug für OpenAL-Soft.
Translated by Michael Vogt
Located in Package: alsoft-conf
765.
Automatic theorem prover dedicated to program verification
 
Summary
Automatischer Theorembeweiser zur Programmverifikation
Translated by Michael Vogt
Located in Package: alt-ergo
766.
Alt-Ergo is an automatic theorem prover geared towards application in program verification. It is based on CC(X), a congruence closure algorithm parameterized by an equational theory X. Alt-Ergo has built-in provers for propositional logic, linear arithmetic, uninterpreted function symbols, associative-commutative function symbols, polymorphic arrays, user-defined polymorphic record types and polymorphic enumeration types. It has restricted support for reasoning over arbitrary user-defined algebraic types, first-order quantifiers, and non-linear arithmetic.
 
Description
Alt-Ergo ist ein automatischer Theorembeweiser, ausgerichtet auf die Anwendung zur Programmverifikation. Er basiert auf CC(X), einem Kongruenzabschluss-Algorithmus parametrisiert durch eine Gleichungstheorie X. Alt-Ergo verfügt über eingebaute Beweiser für Aussagenlogik, lineare Arithmetik, uninterpretierte Funktionssymbole, assoziativ-kommutative Funktionssymbole, polymorphe Arrays, benutzerdefinierte polymorphe Record-Typen und polymorphe Aufzählungstypen. Er bietet eingeschränkte Unterstützung für die Argumentation über beliebige benutzerdefinierte algebraische Typen, Quantoren erster Ordnung und nichtlineare Arithmetik.
Translated by Michael Vogt
Located in Package: alt-ergo
767.
This package contains the prover as a command-line executable as well as the graphical interface.
 
Description
Dieses Paket enthält den Beweiser als Befehlszeilenwerkzeug und als Version mit grafischer Oberfläche.
Translated by Michael Vogt
Located in Package: alt-ergo
768.
tool to help developers improve keyboard accelerators
 
Summary
Werkzeug, das Entwicklern beim Verbessern der Tastenkürzel hilft
Translated by Michael Vogt
Located in Package: alt-key
769.
Alt_Key is an application that instantly shows where keyboard accelerators should go in menu option texts and dialog labels. It is very fast because it uses the Kuhn-Munkres algorithm, easily outperforming all the naive algorithms.
 
Description
Die Anwendung Alt_Key zeigt sofort an, wo Tastenkürzel in Texten bei Menüoptionen und Dialogfenster aufscheinen sollen. Sie ist sehr schnell, da sie die Ungarische Methode nutzt und alle naiven Algorithmen leistungsmäßig übertrumpft.
Translated by Michael Vogt
Located in Package: alt-key
770.
The program makes it straightforward for developers to find the right characters to use as accelerators for menu option texts and for dialog labels. This helps make GUI programs more usable by catering for users who can't use the mouse and for fast typists who don't want to use the mouse.
 
Description
Das Programm macht es für Entwickler klar ersichtlich die richtigen Zeichen zur Beschleunigung für Menüoptionen und Dialogfenster zu verwenden. Diese Hilfe macht grafische Programme besser nutzbar, indem sie Benutzern hilft, die keine Maus verwenden können oder schnell tippen und keine Maus verwenden wollen.
Translated by Michael Vogt
Located in Package: alt-key
761 → 770 of 106672 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, E. Frank Sandig, Eduard Gotwig, Florian Greinus, Ghenrik, Hendrik Schrieber, Jakob Kramer, Jan Simon, Jens Krüger, Johannes Storm, Jonas Endersch, Jonathan Kolberg, Joshua Feis, Joshua Wiedekopf, Julian Keens, Jürgen Schwarze, Kevin Gath, Laurent Kap, Lothar Serra Mari, Lucas Meyer, Lukas Bögelein, MJJoker, Manfred Wiktorin, Marc Rodrigues, Marijo Mustac, Mark Mahler, Marsu, Martin Weil, Marvin S., Max Wiedenmann, Michael Steuernagel, Michael Vogt, Michael Wehram, Moritz Baumann, Nico Bauer, Oliver Duerre, Pascal De Vuyst, Patrick Seemann, Phil Krämer, Philipp Christen, Phillip Sz, Robin, Ronald Müller, Sascha, Simeon, Startlett, Stefan Gebhardt, Stephan Woidowski, Steve Langasek, Sven Seelbach, Thirafydion, Thomas Schwiertz, Tobias Bannert, Torsten Franz, dstaubsauger, greenscandic, hpeck, kilaviljenn, scrawl, shilbert, stepstra, Łukasz Zemczak.