Mostrando
1 - 9
Resultados de
9
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
Software Engineering
Y
Theory of Computation
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
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
9
Software Engineering
Software engineering
9
Theory of Computation
Computer Systems Organization and Communication Networks
5
más ...
Computer organization
5
Programming Languages, Compilers, Interpreters
5
Programming languages (Electronic computers)
5
Application software
2
Computer simulation
2
Data Mining and Knowledge Discovery
2
Data mining
2
Information Storage and Retrieval
2
Information Systems Applications (incl. Internet)
2
Information storage and retrieval
2
Simulation and Modeling
2
The Computing Profession
2
Computer programming
1
Computer security
1
Computer system failures
1
Computing Milieux
1
Control Structures and Microprogramming
1
Microprogramming
1
Numeric Computing
1
Numerical analysis
1
Operating Systems
1
Operating systems (Computers)
1
Programming Techniques
1
menos ...
Mostrando
1 - 9
Resultados de
9
Para Buscar '
'
, tiempo de consulta: 0.03s
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 : 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
5
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
6
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
7
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
8
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
9
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
Biblioteca
Tecnológico de Costa Rica
9
Formato
eBook
9
Autor
SpringerLink (Online service)
Blomqvist, Eva
2
Gangemi, Aldo
2
Hartig, Olaf
2
Hitzler, Pascal
2
Hoekstra, Rinke
2
más ...
Maynard, Diana
2
Aceto, Luca
1
Bacci, Giorgio
1
Bacci, Giovanni
1
Cimatti, Alessandro
1
D'Souza, Deepak
1
Fantechi, Alessandro
1
Gaspers, Serge
1
Ingólfsdóttir, Anna
1
Lecomte, Thierry
1
Legay, Axel
1
Mardare, Radu
1
Narayan Kumar, K.
1
Paskevich, Andrei
1
Polikarpova, Nadia
1
Romanovsky, Alexander
1
Schneider, Steve
1
Sirjani, Marjan
1
Walsh, Toby
1
Wies, Thomas
1
ver todos ...
menos ...
Lenguaje
English
9
Año de Publicación
De:
a:
×
Cargando...