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
Materias:
4 filtros
Artificial Intelligence
Y
Artificial intelligence
Y
Software engineering
Y
Theory of Computation
Restablecer filtros
Mostrar filtros (4)
Materias:
4 filtros
Artificial Intelligence
Y
Artificial intelligence
Y
Software engineering
Y
Theory of Computation
Resultados de búsqueda
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Artificial Intelligence
Artificial intelligence
Computers
12
Software engineering
Theory of Computation
Software Engineering
9
Computer Systems Organization and Communication Networks
6
más ...
Computer organization
6
Programming Languages, Compilers, Interpreters
5
Programming languages (Electronic computers)
5
Application software
4
Information Systems Applications (incl. Internet)
4
Software Engineering/Programming and Operating Systems
3
Computer Applications
2
Computer simulation
2
Data Mining and Knowledge Discovery
2
Data mining
2
Database Management
2
Database management
2
Information Storage and Retrieval
2
Information storage and retrieval
2
Simulation and Modeling
2
The Computing Profession
2
Computer Hardware
1
Computer hardware
1
Computer programming
1
Computer security
1
Computer system failures
1
Computing Milieux
1
Control Structures and Microprogramming
1
menos ...
Mostrando
1 - 12
Resultados de
12
Para Buscar '
'
, tiempo de consulta: 0.04s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Signatura
Autor
Título
1
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : Second International Conference, RSSRail 2017, Pistoia, Italy, November...
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
2
Automated Technology for Verification and Analysis : 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
3
The Semantic Web : 14th International Conference, ESWC 2017, Portorož, Slovenia, May 28 – June 1, 2017, Proceedings, Part II /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
4
The Semantic Web – ISWC 2017 : 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings, Part II /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
5
The Semantic Web : 14th International Conference, ESWC 2017, Portorož, Slovenia, May 28 – June 1, 2017, Proceedings, Part I /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
6
Structured Object-Oriented Formal Language and Method : 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
7
The Semantic Web – ISWC 2017 : 16th International Semantic Web Conference, Vienna, Austria, October 21–25, 2017, Proceedings, Part I /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
8
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
9
Theory and Applications of Satisfiability Testing – SAT 2017 : 20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
10
Models, Algorithms, Logics and Tools : Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
11
Integrated Formal Methods : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
12
Verified Software. Theories, Tools, and Experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers /
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
12
Biblioteca
Tecnológico de Costa Rica
12
Formato
eBook
12
Autor
SpringerLink (Online service)
12
Blomqvist, Eva
2
Cudré-Mauroux, Philippe
2
Fernandez, Miriam
2
Gangemi, Aldo
2
Hartig, Olaf
2
más ...
Heflin, Jeff
2
Hitzler, Pascal
2
Hoekstra, Rinke
2
Lange, Christoph
2
Lecue, Freddy
2
Maynard, Diana
2
Sequeda, Juan
2
Tamma, Valentina
2
d'Amato, Claudia
2
Aceto, Luca
1
Bacci, Giorgio
1
Bacci, Giovanni
1
Cimatti, Alessandro
1
D'Souza, Deepak
1
Duan, Zhenhua
1
Fantechi, Alessandro
1
Gaspers, Serge
1
Ingólfsdóttir, Anna
1
Lecomte, Thierry
1
Legay, Axel
1
Liu, Shaoying
1
Mardare, Radu
1
Nagoya, Fumiko
1
Narayan Kumar, K.
1
ver todos ...
menos ...
Lenguaje
English
12
Año de Publicación
De:
a:
×
Cargando...