Biblioteca Central, UNS
·
Catálogo de libros
!!
Nuevo:
Estado de Cuenta de Usuario
Nueva búsqueda
·
Acerca del catálogo
·
Comentarios/errores
Ingrese su Tipo y Nro. de Documento:
DNI
LE
LC
PAS
CI
Búsqueda por tema:
Ciencias de la computacion.
Mostrando 41-60 de 241 resultados, ordenados por
autor/título
título
fecha (decreciente)
fecha (creciente)
ubicación
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
Buscar por palabras
Cualquier campo
Autor
Título
Tema
ISBN, ISSN, etc.
contiene las
p
alabras:
Escriba una o más palabras; el sistema las combina automáticamente con un AND. Use * para buscar usando una raíz (p.ej.
fractal*
encuentra
fractal
,
fractales
,
fractals
).
Explorar índices alfabéticos
Autor
Título
Tema
com
i
enza por:
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)
Novedades
Últimas adquisiciones