Mostrando
1 - 11
Resultados de
11
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:
Artificial intelligence
Y
Computer system failures
Y
System Performance and Evaluation
Restablecer filtros
Mostrar filtros (3)
Materias:
Artificial intelligence
Y
Computer system failures
Y
System Performance and Evaluation
Resultados de búsqueda - *
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Artificial Intelligence
11
Artificial intelligence
Computer system failures
System Performance and Evaluation
Software Engineering
8
Software engineering
8
Application software
4
más ...
Computer Communication Networks
4
Computer communication systems
4
Computer logic
4
Information Systems Applications (incl. Internet)
4
Logics and Meanings of Programs
4
Programming Languages, Compilers, Interpreters
4
Programming languages (Electronic computers)
4
Computers
3
Algorithm Analysis and Problem Complexity
2
Algorithms
2
Computer simulation
2
Mathematical statistics
2
Probability and Statistics in Computer Science
2
Simulation and Modeling
2
The Computing Profession
2
Computer programming
1
Computer security
1
Computer software—Reusability
1
Data Mining and Knowledge Discovery
1
Data mining
1
E-commerce
1
Energy Efficiency
1
Energy efficiency
1
menos ...
Mostrando
1 - 11
Resultados de
11
Para Buscar '
*
'
, tiempo de consulta: 0.03s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Signatura
Autor
Título
1
Recurrent Neural Networks for Short-Term Load Forecasting : An Overview and Comparative Analysis /
por
Bianchi, Filippo Maria.
,
Maiorino, Enrico.
,
Kampffmeyer, Michael C.
,
Rizzi, Antonello.
,
Jenssen, Robert.
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
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
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
4
Computer Networks : 24th International Conference, CN 2017, Lądek Zdrój, Poland, June 20–23, 2017, Proceedings /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
5
Data Mining and Big Data : Second International Conference, DMBD 2017, Fukuoka, Japan, July 27 – August 1, 2017, Proceedings /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
6
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
7
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
8
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
9
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
10
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
11
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
11
Biblioteca
Tecnológico de Costa Rica
11
Formato
eBook
11
Autor
SpringerLink (Online service)
11
Ayala-Rincón, Mauricio
1
Bhiri, Sami
1
Bianchi, Filippo Maria
1
Charoy, François
1
Cimatti, Alessandro
1
más ...
Di Marco, Antinisca
1
Drira, Khalil
1
Gaj, Piotr
1
Jenssen, Robert
1
Kampffmeyer, Michael C.
1
Kordon, Fabrice
1
Kunčak, Viktor
1
Kwiecień, Andrzej
1
Maiorino, Enrico
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
Rizzi, Antonello
1
Romanovsky, Alexander
1
Sawicki, Michał
1
Shi, Yuhui
1
Sirjani, Marjan
1
Takagi, Hideyuki
1
Tan, Ying
1
ver todos ...
menos ...
Lenguaje
English
11
Año de Publicación
De:
a:
×
Cargando...