Computabilidad, complejidad computacional y verificación de programas /

Computabilidad, complejidad computacional y verificación de programas /

Guardado en:

Detalles Bibliográficos
Autor principal:	Rosenfeld, Daniel Ricardo.
Otros Autores:	Irazábal, Jerónimo (autor.)
Formato:	Libro electrónico
Lenguaje:	Español
Publicado:	La Plata : Editorial de la Universidad Nacional de La Plata, 2013.
Colección:	Libros de Cátedra.
Materias:	Computer science. Computer programming. Informática. Programación. Libros electrónicos.
Acceso en línea:	https://elibro.net/ereader/siduncu/66401

Ejemplares similares

Programación /
por: Moreno Pérez, Juan Carlos.
Publicado: (2014)

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

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

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

Fonaments de programació /
Publicado: (2008)

Introducción a la programación : lógica y diseño /
por: Farrell, Joyce.
Publicado: (2013)

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

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

Desarrollo y optimización de componentes software para tareas administrativas de sistemas (UF1286) /
por: Villada Romero, José Luis.
Publicado: (2015)

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

Implementación e integración de elementos software con tecnologías basadas en componentes (UF1290) /
por: Villar Cueli, José.
Publicado: (2014)

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

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

Computación interactiva I /
por: Romero Gómez, Antonio,
Publicado: (2015)

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

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

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

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

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

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

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

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

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

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

Ingeniería de software orientado a objetos /
por: Bruegge, Bernd.
Publicado: (2002)

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

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
por: Bernabé Guzmán, Beatriz.
Publicado: (2010)

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

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

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

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

Javascript : manual /
por: Ribes Alba, Purificación.
Publicado: (2011)

Aplicaciones informáticas de hojas de cálculo : UF0321. Excel 2013 /
por: Díaz Salvo, Juan Manuel.
Publicado: (2014)

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

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

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

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

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

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

Formulación de heurísticos para planteo de problemas : aplicado a programación de computadoras /
por: Frittelli, Valerio,
Publicado: (2020)