Computabilidad, complejidad computacional y verificación de programas /

QR Code

Computabilidad, complejidad computacional y verificación de programas /

Bibliographic Details
Main Author:	Rosenfeld, Daniel Ricardo.
Other Authors:	Irazábal, Jerónimo (autor.)
Format:	eBook
Language:	Spanish
Published:	La Plata : Editorial de la Universidad Nacional de La Plata, 2013.
Series:	Libros de Cátedra.
Subjects:	Computer science. Computer programming. Informática. Programación. Libros electrónicos.
Online Access:	https://elibro.net/ereader/unanicaragua/66401

Similar Items

Programación /
by: Moreno Pérez, Juan Carlos.
Published: (2014)

Análisis y diseño orientado a objetos
by: Cueva Lovelle, Juan Manuel.
Published: (2003)

Programación de servicios y procesos /
by: Sánchez Campos, Alberto.
Published: (2014)

Programación de sistemas informáticos : gestión de servicios en el sistema informático /
Published: (2012)

Fonaments de programació /
Published: (2008)

Gestión de servicios en el sistema informático (MF0490_3) /
by: Chicano Tejada, Ester.
Published: (2014)

Programa tus dispositivos /
by: Contreras Castañeda, Miguel Ángel.
Published: (2018)

Aprendiendo a programar paso a paso con C /
by: Eslava Muñoz, Vicente Javier.
Published: (2016)

Desarrollo de componentes software para servicios de comunicaciones (UF1288) /
by: Huércano Ruíz, Federico.
Published: (2014)

Introducción a la programación /
by: Juganaru Mathieu, Mihaela.
Published: (2014)

Ejercicios de programación paralela con OpenMP y MPI /
Published: (2018)

Fundamentos de ordenadores : programación en C /
by: Jiménez Castells, Marta.
Published: (2013)

Fonaments de programació : problemes resolts en C++ /
Published: (2006)

Lógica de programación /
by: Trejos Buriticá, Omar Iván.
Published: (2017)

Introducció a la programació : problemes resolts /
Published: (2006)

Análisis cuantitativo con R : matemáticas, estadística y econometría /
by: Liviano Solís, Daniel.
Published: (2017)

Bases de datos en SQL server /
by: Wanumen Silva, Luis Felipe.
Published: (2018)

Microsoft C : lenguaje y aplicaciones /
by: Ceballos Sierra, Francisco Javier.
Published: (2007)

Java 2 : lenguaje y aplicaciones /
by: Ceballos Sierra, Francisco Javier.
Published: (2006)

Fundamentos de programación con la STL /
by: Garrido Carrillo, Antonio.
Published: (2016)

Diseñar y programar, todo es empezar : una introducción a la programación orientada a objetos usando UML Y JAVA /
Published: (2011)

Computación herramientas informáticas /
by: Fernández Montoto, Carmen.
Published: (2005)

Prácticas con C++ : metodología de la programación /
by: Garrido Carrillo, Antonio.
Published: (2016)

C++ bajo Qt /
by: Oviedo Regino, Efraín.
Published: (2018)

Estructura de datos en Java
by: Joyanes, Luis.
Published: (2008)

Programación orientada a objetos con C++ /
by: Ceballos Sierra, Francisco Javier.
Published: (2007)

Recopilación y tratamiento de la información con procesadores de texto (UF0327) /
by: Pérez Amil, Juan José.
Published: (2013)

Propuesta de "Recursos Photoshop" sitio web para el perfeccionamiento del aprendizaje de Adobe Photoshop en los Joven Club de Computación y Electrónica del Municipio Arroyo Naranjo
by: Bernabé Guzmán, Beatriz.
Published: (2010)

Instalación y configuración de aplicaciones informáticas /
by: Raya Cabrera, José Luis,
Published: (2014)

Introducción a la programación con Python 3 /
by: Marzal Varó, Andrés.
Published: (2014)

Computación interactiva I /
by: Romero Gómez, Antonio,
Published: (2015)

Computación creativa I : Basada en competencias /
by: Romero Gómez, Antonio,
Published: (2017)

Javascript : manual /
by: Ribes Alba, Purificación.
Published: (2011)

Computación dinámica II : Excel 2013, HTML, Dreamweaver /
by: Romero Gómez, Antonio,
Published: (2013)

Computación para el desarrollo : XIII Congreso /
Published: (2020)

Introducción a la computación /
by: Vasconcelos santillán, Jorge.
Published: (2018)

La resolución de los problemas de fundamentos de programación en la formación del tecnólogo en análisis de sistemas /
by: Tutillo Arcentales, lván Darwin.
Published: (2018)

Introducción práctica a la programación con Python /
by: Fernández de Sevilla Vellón, María.
Published: (2019)

Introducción a los lenguajes prolog y lisp teoría y práctica /
by: Vázquez Torres, Fernando,
Published: (1999)

Cómo programar con Turbo Pascal 7.0 /
by: Villanueva A., Graciela.
Published: (1999)