Búsqueda por tema: Ciencias de la computacion.
Mostrando 41-60 de 241 resultados, ordenados por
41. Estudio y formulación de operadores de cambio sobre bases de creencias Horn / Néstor Jorge Valdez. 2014
R 040
B148 2014-1339  
42. Pipeline gráfico de superficies fotorrealista de tiempo real / José Ignacio Schneider. 2013
R 040
B148 2013-1242  
43. Un enfoque declarativo para modelar el comportamiento en sistemas reactivos / Fernando Asteasuain. 2013
R 040
B148 2013-1260a  
44. An introduction to design patterns in C++ with Qt / Alan Ezust and Paul Ezust ; [foreword by Lars Knoll]. — 2nd ed. 2012
005.133
Ez86a2  
45. Heterogeneous computing with OpenCL / Benedict Gaster ... [et al.]. 2012
005.275
G218  
46. OpenCL programming guide / Aaftab Munshi ... [et al.]. 2012
005.275
M927  
47. Formalismos de argumentación en especificación de agentes autónomos / Sebastian Gottifredi. 2012
R 040
B148 2012-1140  
48. Arquitecturas flexibles para sistemas de control de tiempo real / Martín Leandro Duval. 2012
R 040
B148 2012-1165  
49. Sistemas de visión inteligente para monitoreo ambiental en estaciones remotas / Natalia Verónica Revollo Sarmiento ; directores: Claudio A. Delrieux, Gerardo M. E. Perillo. 2012
R 040
B148 2012-1198rev  
50. Simulación de superficies de fluidos en tiempo real mediante el método de Lattice Boltzmann / Cristian Darío García Bauza. 2012
R 040
B148 2013-1260ga  
51. CEUNS : computadora electrónica de la Universidad Nacional del Sur : proyecto de hardware y de software : (versiones originales de 1964). 2011
004
C339
52. Advanced Qt programming : creating great software with C++ and Qt 4 / Mark Summerfield ; [foreword by Erik Chambe-Eng, cocreator of Qt]. 2011
005.113
Su64  
53. An introduction to parallel programming / Peter S. Pacheco. 2011
005.275
P115
54. Caracterización formal y análisis empírico de mecanismos incrementales de búsqueda basados en contexto / Carlos M. Lorenzetti. 2011
R 040
B148 2011-1074  
55. Formalización de agregación de argumentos : semánticas de aceptabilidad y procedimiento de prueba dialéctico / Mauro Javier Gómez Lucero. 2011
R 040
B148 2011-1086  
56. Ponderación de requisitos de software usando técnicas cognitivas y orientación por objetivos / Nadina Imelda Martínez Carod ; directores: Alejandra Cechich y Pablo Fillottrani. 2011
R 040
B148 2011-1093  
57. Razonamiento argumentativo temporal / María Laura Cobo. 2011
R 040
B148 2011-1116  
58. Tolerancia a fallas y gestión de carga en entornos federados / Javier Echaiz. 2011
R 040
B148 2011-1128  
59. Planificación y formalización de acciones para agentes inteligentes / Diego R. García. 2011
R 040
B148 2012-1139  
60. Grupos de servicios de razonamiento para el procesamiento de consultas contextuales en paralelo / Mariano Tucat. 2011
R 040
B148 2012-1188  

Explorar índices alfabéticos


Ingrese las primeras letras del autor o título que busca. Omita artículos iniciales en títulos.
Recorrer el catálogo completo (por orden de ubicación del material)