Browsing German translation

Before translating, be sure to go through Ubuntu Translators instructions and German guidelines.

• Download translation
• Translation details

342 → 351 of 57897 results First • Previous • Next • Last
	342.	English:		a dependently typed programming language - documentation
				Summary
Current German:				Eine abhängig typisierte Programmiersprache – Dokumentation
				Translated and reviewed by Hendrik Schrieber on 2012-04-12
				Located in Package: agda-stdlib-doc
	343.	English:		The Agda standard library contains modules for many common data structures and proof patterns. Modules provided include: - Algebra: Specifying and reasoning about abstract algebraic structures - Category: Using idioms from category theory to structure functional programs - Coinduction: Support for programming coindutively - Data: Data types and properties about data types - Foreign: Relating to the foreign function interface - Induction: A general framework for induction - IO: Input/output related functions - Level: Universe levels - Relations: Properties of and proofs about relations - Size: Sizes used by the sized types mechanism
				Description
				represents a line break. Start a new line in the equivalent position in the translation.
				represents a space character. Enter a space in the equivalent position in the translation.
Current German:				Die Agda-Standardbibliothek enthält Module für viele verbreitete Datenstrukturen und Beweismuster. Die zur Verfügung gestellten Module beinhalten: - Algebra: Angeben und Nachdenken über abstrakte algebraische Strukturen - Kategorie: Nutzung von Redewendungen aus der Kategorie Theorie zum Strukturieren funktionaler Programme - Coinduktion: Unterstützung für leitendes Programmieren - Daten: Datentypen und Eigenschaften zu Datentypen - Foreign: Bezogen auf die Foreign Funktionsschnittstelle (Foreign Function Interface) - Induktion: Ein generelles Rahmenwerk für Induktion - IO: Ein-/Ausgabe-bezogene Funktionen - Ebenen: Universe-Ebene - Relationen: Eigenschaften von und Beweise über Relationen - Größen: Größen, die vom Größentyp Mechanismus genutzt werden
				Translated and reviewed by Hendrik Schrieber on 2012-04-24
				Located in Package: agda-stdlib-doc Package: agda-stdlib
	344.	English:		This package contains the hyperlinked library documentation.
				Description
Current German:				Dieses Paket enthält die verlinkte Bibliotheksdokumentation.
				Translated and reviewed by Daniel Schury on 2011-05-19
				Located in Package: agda-stdlib-doc
	345.	English:		a Unix utility for tracking down wasted disk space
				Summary
Current German:				Unix-Werkzeug zum Auffinden von verschwendetem Plattenspeicher
				Translated by Michael Vogt on 2012-11-19
				Located in Package: agedu
	346.	English:		Unix provides the standard du utility, which scans your disk and tells you which directories contain the largest amounts of data. That can help you narrow your search to the things most worth deleting.
				Description
Current German:				Unix stellt das Standardwerkzeug du bereit, das Ihre Platte überprüft und Ihnen mitteilt, welche Verzeichnisse die größten Datenmengen enthalten. Das kann Ihnen dabei helfen, Ihre Suche nach zu löschenden Dingen einzugrenzen.
				Translated by Michael Vogt on 2015-06-02
				Located in Package: agedu
	347.	English:		However, that only tells you what's big. What you really want to know is what's too big. By itself, du won't let you distinguish between data that's big because you're doing something that needs it to be big, and data that's big because you unpacked it once and forgot about it.
				Description
Current German:				Jedoch erfahren Sie dadurch nur was groß ist. Eigentlich wollen Sie wissen, was zu groß ist. du allein hilft Ihnen nicht bei der Unterscheidung zwischen großen Datenmengen, die sie für Ihre Arbeit benötigen und großen Datenmengen, die entpackt und danach einfach vergessen worden sind.
				Translated by Michael Vogt on 2015-06-02
				Located in Package: agedu
	348.	English:		To make this difference, agedu relies on the atime of the files.
				Description
Current German:				Um diese Unterscheidung zu treffen, verwendet agedu die Zugriffszeit von Dateien.
				Translated by Michael Vogt on 2012-11-19
				Located in Package: agedu
	349.	English:		Calendar manager for GNUstep
				Summary
Current German:				Kalenderverwaltung für GNUstep
				Translated by Michael Vogt on 2008-07-22
				Located in Package: agenda.app
	350.	English:		SimpleAgenda is a an application to manage your calendars. It handles both local and remote (webcal) calendars. Calendars can be shared with other programs like Evolution, Dates, IceApe Calendar and others. The following features are available:
				Description
Current German:				SimpleAgenda ist eine Anwendung zur Verwaltung Ihrer Kalender. Sie arbeitet sowohl mit Kalendern auf Ihrem Rechner als auch im Web (webcal). Kalender können zusammen mit Programmen wie Evolution, Dates, IceApe Calendar und weiteren benutzt werden. SimpleAgenda bietet die folgenden Möglichkeiten:
				Translated by Michael Vogt on 2012-11-19
				Located in Package: agenda.app
	351.	English:		* Multiple agendas. * Handle both events and tasks. * Support for local and remote (ftp, http) iCalendar agendas. * Monthly calendar, day view, summary and tasks view. * Create, resize and move appointments easily. * Export individual elements as files and to the pasteboard. * Import .ics files. * Simple text search.
				Description
				represents a line break. Start a new line in the equivalent position in the translation.
				represents a space character. Enter a space in the equivalent position in the translation.
Current German:				* Mehrere Tagesordnungen. * Umgang mit Ereignissen und Aufgaben. * Unterstützt lokale und entfernte (ftp, http) iCalendar-Tagesordnungen. * Monatskalender, Tagesansicht, Zusammenfassung und Aufgabenübersicht. * Termine einfach erstellen, verändern und verschieben. * Exportiert Elemente als Datei und in die Zwischenablagen. * Importiert .ics-Dateien. * Einfache Textsuche.
				Translated and reviewed by Daniel Schury on 2011-08-05
				Located in Package: agenda.app

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, Babak Manssouri, Björn Ternes, Carlos Perelló Marín, Carsten Gerlach, Christian Flasche, Christoph Gerlach, Daniel, Daniel Schury, Daniel Winzen, David Ayers, Denise Tiersch, Dennis Baudys, Dieter Smorra, Dr. Peter Netz, Eduard Gotwig, Florian Greinus, Frank Sagner, Ghenrik, Hendrik Schrieber, Jakob Kramer, Jan Simon, Jo Werner, Johannes Storm, Jonas Endersch, Jonathan Kolberg, Joshua Feis, Julian Keens, 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 Sebel, Michael Steuernagel, Michael Vogt, Moritz Baumann, Moritz v. Looz, Nico Bauer, Oliver Duerre, Pascal De Vuyst, Patrick Seemann, Phil Krämer, Phillip Sz, Rajek, Robin, Ronald Müller, Sascha, Severin H, Simeon, Startlett, Stefan Gebhardt, Stephan Woidowski, Steve Langasek, Sven Seelbach, Thomas Schwiertz, Tim O., Tobias Bannert, Torsten Franz, Weegee, burningjoe, ctx, dstaubsauger, greenscandic, hpeck, kilaviljenn, nh2, scrawl, shilbert, stepstra, Łukasz Zemczak.