Imágen de Portada

Código QR

Computabilidad, complejidad computacional y verificación de programas /

Detalles Bibliográficos
Autor principal:	Rosenfeld, Daniel Ricardo.
Otros autores:	Irazábal, Jerónimo,
Formato:	eBook
Idioma:	Spanish
Fecha de publicación:	La Plata : Editorial de la Universidad Nacional de La Plata, 2013.
Series:	Libros de Cátedra.
Materias:	Computer science. Computer programming. Informática. Programación. Libros electrónicos.
Acceso en línea:	https://recursos.uloyola.es/login?url=https://accedys.uloyola.es:8443/accedix0/sitios/ebook.php?id=66401

Ejemplares similares

Programación /
por: Moreno Pérez, Juan Carlos.
Fecha de publicación: (2014)

Análisis y diseño orientado a objetos
por: Cueva Lovelle, Juan Manuel.
Fecha de publicación: (2003)

Programa tus dispositivos /
por: Contreras Castañeda, Miguel Ángel.
Fecha de publicación: (2018)

Fonaments de programació /
Fecha de publicación: (2008)

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

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

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

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

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

Introducción a la programación /
por: Juganaru Mathieu, Mihaela.
Fecha de publicación: (2014)

Computación interactiva I /
por: Romero Gómez, Antonio,
Fecha de publicación: (2015)

Aprendiendo a programar paso a paso con C /
por: Eslava Muñoz, Vicente Javier.
Fecha de publicación: (2016)

Computación creativa I : Basada en competencias /
por: Romero Gómez, Antonio,
Fecha de publicación: (2017)

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

Computación para el desarrollo : XIII Congreso /
Fecha de publicación: (2020)

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

Introducción a la computación /
por: Vasconcelos santillán, Jorge.
Fecha de publicación: (2018)

Ejercicios de programación paralela con OpenMP y MPI /
Fecha de publicación: (2018)

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

Fonaments de programació : problemes resolts en C++ /
Fecha de publicación: (2006)

Introducció a la programació : problemes resolts /
Fecha de publicación: (2006)

Computación herramientas informáticas /
por: Fernández Montoto, Carmen.
Fecha de publicación: (2005)

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

Bases de datos en SQL server /
por: Wanumen Silva, Luis Felipe.
Fecha de publicación: (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.
Fecha de publicación: (2010)

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

Microsoft C : lenguaje y aplicaciones /
por: Ceballos Sierra, Francisco Javier.
Fecha de publicación: (2007)

Java 2 : lenguaje y aplicaciones /
por: Ceballos Sierra, Francisco Javier.
Fecha de publicación: (2006)

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

Taller de computación En: selección de guías de estudio: Tronco común.
Fecha de publicación: (2011)

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

Javascript : manual /
por: Ribes Alba, Purificación.
Fecha de publicación: (2011)

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

C++ bajo Qt /
por: Oviedo Regino, Efraín.
Fecha de publicación: (2018)

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

Laboratorio de programación índice de prácticas, ejercicios resueltos /
Fecha de publicación: (2011)

Metodología de la programación con pseudocódigo enfocado al lenguaje C /
por: Gaxiola Pacheco, Carelia Guadalupe.
Fecha de publicación: (2008)

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

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

Cómo programar con Turbo Pascal 7.0 /
por: Villanueva A., Graciela.
Fecha de publicación: (1999)