Mostrando
1 - 8
Resultados de
8
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
Artificial Intelligence
Y
Artificial intelligence
Y
Computer programming
Y
Software Engineering
Restablecer filtros
Mostrar filtros (6)
Autor:
SpringerLink (Online service)
Institución:
Tecnológico de Costa Rica
Materias:
4 filtros
Artificial Intelligence
Y
Artificial intelligence
Y
Computer programming
Y
Software Engineering
Resultados de búsqueda
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Artificial Intelligence
Artificial intelligence
Computer programming
Programming Techniques
8
Software Engineering
Software engineering
8
Programming Languages, Compilers, Interpreters
6
más ...
Programming languages (Electronic computers)
6
Computer logic
4
Logics and Meanings of Programs
4
Mathematical Logic and Formal Languages
4
Mathematical logic
4
Application software
2
Algorithm Analysis and Problem Complexity
1
Algorithms
1
Computer Appl. in Administrative Data Processing
1
Computer Applications
1
Computer Systems Organization and Communication Networks
1
Computer organization
1
Computer science—Mathematics
1
Computer system failures
1
Computer-Aided Engineering (CAD, CAE) and Design
1
Computer-aided engineering
1
Computers
1
Discrete Mathematics in Computer Science
1
Operating Systems
1
Operating systems (Computers)
1
System Performance and Evaluation
1
Theory of Computation
1
menos ...
Mostrando
1 - 8
Resultados de
8
Para Buscar '
'
, tiempo de consulta: 0.02s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Signatura
Autor
Título
1
Practical Aspects of Declarative Languages : 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
2
Automated Reasoning with Analytic Tableaux and Related Methods : 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
3
Conceptual Modeling : 36th International Conference, ER 2017, Valencia, Spain, November 6–9, 2017, Proceedings /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
4
Tests and Proofs : 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
5
Rules and Reasoning : International Joint Conference, RuleML+RR 2017, London, UK, July 12–15, 2017, Proceedings /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
6
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
7
Software Engineering and Formal Methods : 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
8
Logic Programming and Nonmonotonic Reasoning : 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 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
8
Formato
eBook
8
Autor
SpringerLink (Online service)
Balduccini, Marcello
1
Barkaoui, Kamel
1
Boucheneb, Hanifa
1
Cimatti, Alessandro
1
Costantini, Stefania
1
más ...
Franconi, Enrico
1
Gabmeyer, Sebastian
1
Guizzardi, Giancarlo
1
Janhunen, Tomi
1
Johnsen, Einar Broch
1
Kontchakov, Roman
1
Lierler, Yuliya
1
Ma, Hui
1
Mayr, Heinrich C.
1
Mili, Ali
1
Nalon, Cláudia
1
Pastor, Oscar
1
Roman, Dumitru
1
Sadri, Fariba
1
Schmidt, Renate A.
1
Sirjani, Marjan
1
Taha, Walid
1
Tahar, Sofiène
1
Van Woensel, William
1
ver todos ...
menos ...
Lenguaje
English
8
Año de Publicación
De:
a:
×
Cargando...