Mostrando
1 - 12
Resultados de
12
Para Buscar '
'
Saltar al contenido
VuFind
Lenguaje
English
Español
Todos los Campos
Título
Autor
Materia
Número de Clasificación
ISBN/ISSN
Etiqueta
Buscar
Avanzado
Restablecer filtros
Autor:
SpringerLink (Online service)
Institución:
Tecnológico de Costa Rica
Materias:
4 filtros
Algorithms
Y
Artificial Intelligence
Y
Artificial intelligence
Y
Software Engineering
Restablecer filtros
Mostrar filtros (6)
Autor:
SpringerLink (Online service)
Institución:
Tecnológico de Costa Rica
Materias:
4 filtros
Algorithms
Y
Artificial Intelligence
Y
Artificial intelligence
Y
Software Engineering
Resultados de búsqueda
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Algorithm Analysis and Problem Complexity
12
Algorithms
Artificial Intelligence
Artificial intelligence
Software Engineering
Software engineering
12
Application software
6
más ...
Information Systems Applications (incl. Internet)
5
Computer Communication Networks
4
Computer communication systems
4
Computer logic
4
Logics and Meanings of Programs
4
Mathematical Logic and Formal Languages
4
Mathematical logic
4
Computer simulation
3
Simulation and Modeling
3
Computer Appl. in Administrative Data Processing
2
Information Storage and Retrieval
2
Information storage and retrieval
2
Operating Systems
2
Operating systems (Computers)
2
Programming Languages, Compilers, Interpreters
2
Programming languages (Electronic computers)
2
Computer Systems Organization and Communication Networks
1
Computer organization
1
Computer programming
1
Computer system failures
1
Logic Design
1
Logic design
1
Programming Techniques
1
menos ...
Mostrando
1 - 12
Resultados de
12
Para Buscar '
'
, tiempo de consulta: 0.02s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Signatura
Autor
Título
1
Multi-Agent Systems and Agreement Technologies 14th European Conference, EUMAS 2016, and 4th International Conference, AT 2016, Valencia, Spain, December 15-16, 2016, Revised Selec...
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
Enlace del recurso
eBook
Mostrar Código QR
2
Challenges and Opportunity with Big Data : 19th Monterey Workshop 2016, Beijing, China, October 8 – 11, 2016, Revised Selected Papers /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
3
Cyber Physical Systems. Design, Modeling, and Evaluation : 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
4
Frontiers of Combining Systems : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
5
Green, Pervasive, and Cloud Computing : 12th International Conference, GPC 2017, Cetara, Italy, May 11-14, 2017, Proceedings /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
6
Computational Logistics : 8th International Conference, ICCL 2017, Southampton, UK, October 18-20, 2017, Proceedings /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
7
Search Based Software Engineering : 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
8
SOFSEM 2017: Theory and Practice of Computer Science : 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20,...
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
9
Software Engineering for Self-Adaptive Systems III. Assurances : International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
10
Verification and Evaluation of Computer and Communication Systems : 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24–25, 2017, Proceedings /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
11
Automated Deduction – CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
12
Logic and Its Applications : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
Herramientas de búsqueda:
RSS
—
Enviar por Correo electrónico esta Búsqueda
Atrás
Afine su búsqueda
Institución
Tecnológico de Costa Rica
Biblioteca
Tecnológico de Costa Rica
12
Formato
eBook
12
Autor
SpringerLink (Online service)
Au, Man Ho Allen
1
Baier, Christel
1
Barkaoui, Kamel
1
Bektaş, Tolga
1
Berger, Christian
1
más ...
Boucheneb, Hanifa
1
Carrascosa, Carlos
1
Castiglione, Arcangelo
1
Choo, Kim-Kwang Raymond
1
Coniglio, Stefano
1
Criado Pacheco, Natalia
1
Dixon, Clare
1
Eder, Johann
1
Finger, Marcelo
1
Garlan, David
1
Ghezzi, Carlo
1
Ghosh, Sujata
1
Giese, Holger
1
Hinchey, Mike
1
Julián Inglada, Vicente
1
Kordon, Fabrice
1
Li, Kuan-Ching
1
Margaria, Tiziana
1
Martinez-Sykora, Antonio
1
Menzies, Tim
1
Mili, Ali
1
Mousavi, Mohammad Reza
1
Osman, Nardine
1
Palmieri, Francesco
1
ver todos ...
menos ...
Lenguaje
English
12
Año de Publicación
De:
a:
×
Cargando...