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
Software Engineering
Y
System Performance and Evaluation
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
System Performance and Evaluation
Resultados de búsqueda
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Artificial Intelligence
Artificial intelligence
Computer system failures
8
Software Engineering
Software engineering
8
System Performance and Evaluation
Computer logic
4
más ...
Logics and Meanings of Programs
4
Programming Languages, Compilers, Interpreters
4
Programming languages (Electronic computers)
4
Computer Communication Networks
3
Computer communication systems
3
Computers
3
Application software
2
Computer simulation
2
Information Systems Applications (incl. Internet)
2
Simulation and Modeling
2
The Computing Profession
2
Algorithm Analysis and Problem Complexity
1
Algorithms
1
Computer programming
1
E-commerce
1
Mathematical Logic and Formal Languages
1
Mathematical logic
1
Mathematical statistics
1
Probability and Statistics in Computer Science
1
Programming Techniques
1
Special Purpose and Application-Based Systems
1
Special purpose computers
1
Theory of Computation
1
menos ...
Mostrando
1 - 8
Resultados de
8
Para Buscar '
'
, tiempo de consulta: 0.03s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Signatura
Autor
Título
1
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
2
Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
3
Computer Performance Engineering : 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
4
Software Engineering for Resilient Systems : 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4–5, 2017, Proceedings /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
5
Service-Oriented Computing – ICSOC 2016 Workshops : ASOCA, ISyCC, BSCI, and Satellite Events, Banff, AB, Canada, October 10–13, 2016, Revised Selected Papers /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
6
Service-Oriented Computing : 15th International Conference, ICSOC 2017, Malaga, Spain, November 13–16, 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
Interactive Theorem Proving : 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 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)
Ayala-Rincón, Mauricio
1
Bhiri, Sami
1
Charoy, François
1
Cimatti, Alessandro
1
Di Marco, Antinisca
1
más ...
Drira, Khalil
1
Kordon, Fabrice
1
Kunčak, Viktor
1
Majumdar, Rupak
1
Maximilien, Michael
1
Mendling, Jan
1
Mohamed, Mohamed
1
Muñoz, César A.
1
Oriol, Marc
1
Reinecke, Philipp
1
Ren, Lei
1
Romanovsky, Alexander
1
Sirjani, Marjan
1
Troubitsyna, Elena A.
1
Vallecillo, Antonio
1
Wang, Hongbing
1
Wang, Jianmin
1
Wang, Yan
1
Wang, Zhongjie
1
Yan, Yuhong
1
Yu, Qi
1
Zhang, Lin
1
ver todos ...
menos ...
Lenguaje
English
8
Año de Publicación
De:
a:
×
Cargando...