Browsing Spanish translation

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

• Download translation
• Translation details

499 → 508 of 54563 results First • Previous • Next • Last
	499.	English:		PCM player designed for ALSA (osd version)
				Summary
Current Spanish:				Reproductor PCM diseñado para ALSA (versión osd)
				Translated by Jonay on 2011-02-08
				Reviewed by Paco Molinero on 2011-02-20
				Located in Package: alsaplayer-xosd
	500.	English:		This package provides a non-interactive interface to the player. All output will be displayed on screen through the X On-Screen Display library.
				Description
Current Spanish:				Este paquete provee al reproductor de una interfaz no interactiva. Todas las salidas serán mostradas en pantalla a través de la librería X On-Screen Display.
				Translated by Paco Molinero on 2010-12-23
				Reviewed by Paco Molinero on 2011-01-13
				Located in Package: alsaplayer-xosd
	501.	English:		OpenAL-Soft configuration utility
				Summary
Current Spanish:				Utilidad de configuración de OpenAL-Soft
				Translated and reviewed by Paco Molinero on 2010-01-08
				Located in Package: alsoft-conf
	502.	English:		An easy to use tool to configure OpenAL-Soft.
				Description
Current Spanish:				Una utilería fácil de usar para configurar OpenAL-Soft.
				Translated and reviewed by Juan Sebastián Marulanda on 2010-01-10
				Located in Package: alsoft-conf
	503.	English:		Automatic theorem prover dedicated to program verification
				Summary
Current Spanish:				Teorema automático de probar dedicado a la verificación de programas
				Translated by Clara on 2009-08-11
				Reviewed by Paco Molinero on 2009-08-11
				Located in Package: alt-ergo
	504.	English:		Alt-Ergo is an automatic theorem prover dedicated to program verification. Alt-Ergo is based on CC(X) a congruence closure algorithm parameterized by an equational theory X. Currently, CC(X) can be instantiated by the empty equational theory and by the linear arithmetics. Alt-Ergo contains also a home made SAT-solver and an instantiation mechanism.
				Description
Current Spanish:				Alt-Ergo es un teorema automático de probar dedicado a la verificación de programas. Alt-Ergo se basa en CC(X), un algoritmo de cierre congruente parametrizado por una teoría de ecuaciones X. En la actualidad, CC(X) puede ser una instancia de la teoría de ecuaciones vacía y de la aritmética lineal. Alt-Ergo también contiene un solucionador SAT propio y un mecanismo de instancias.
				Translated by Clara on 2009-08-11
				Reviewed by Paco Molinero on 2009-08-11
				Located in Package: alt-ergo
	505.	English:		Alt-Ergo is both safe and modular: each box is described by a small set of inference rules and is implemented as an OCaml functor.
				Description
Current Spanish:				Alt-Ergo es a la vez seguro y modular: cada caja se describe con un conjunto de reglas inferidas y se implementa como una calculadora OCaml.
				Translated by Clara on 2009-08-11
				Reviewed by Paco Molinero on 2009-08-11
				Located in Package: alt-ergo
	506.	English:		utility used to alter mime-encoded mailpacks
				Summary
Current Spanish:				Herramienta para alterar los adjuntos de correo codificados con mime
				Translated by Michael Vogt on 2009-03-17
				Located in Package: altermime
	507.	English:		alterMIME is a small program which is used to alter your mime-encoded mailpacks as typically received by Inflex, Xamime and AMaViS. alterMIME can: * Insert disclaimers * Insert arbitrary X-headers * Modify existing headers * Remove attachments based on filename or content-type * Replace attachments based on filename
				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 Spanish:				(no translation yet)
				Located in Package: altermime
	508.	English:		program to perform phylogeny based analyses
				Summary
Current Spanish:				Programa para realizar análisis basados en filogenia
				Translated by Michael Vogt on 2010-10-05
				Located in Package: altree

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

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

Contributors to this translation: 0rvidal, Adolfo Jayme Barrientos, Aiguanachein, Aitor de la Morena, Alejandro Pérez, Ana C. D., Andres Rodriguez, Ariel Cabral, Augusto Elorza, Canofeles, Carlos Andrés Zambrano (czam), Carlos Gant Bernal, Carlos Perelló Marín, Cindy Acuña, Clara, Cristian Aravena Romero, Cross, Daniel Aguirre, Daniel Añez Scott, Dante Díaz, David de Obregon, DiegoJ, Edgardo Fredz, Eduardo Rivas, Eugenio M. Vigo, Federico Vera, Felipe Contreras, Fernando Muñoz, Florencia Mincucci, Francisco Padilla García, Gabriela, Gonzalo L. Campos Medina, Gonzalo Testa, Ignacio Pinto, Irving Leonard, Javier García Díaz, Jonay, Jose Luis Tirado, Jose M, José Ernesto Dávila Pantoja, Juan Cardelino, Juan Eduardo Riva, Juan Sebastián Marulanda, Julian Alarcon, Malakun, Mauro de Carvalho, Michael Vogt, Moises Mata Astorga, Monkey, Nacho Barberán, Nicolás M. Zahlut, Pablo Rubianes, Paco Molinero, Raúl Pedroche, Ricardo Pérez López, Rodrigo Lledó, Samuel Iglesias, Sergio Meneses, Steve Langasek, arztriper, hhlp, inigo, jcastp, jorgehpm, lynx, malev, mariomx08, nat6091, pico.dev, worg.