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
Materias:
Artificial intelligence
Y
Computer communication systems
Y
Mathematical logic
Restablecer filtros
Mostrar filtros (3)
Materias:
Artificial intelligence
Y
Computer communication systems
Y
Mathematical logic
Resultados de búsqueda
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Artificial Intelligence
8
Artificial intelligence
Computer Communication Networks
8
Computer communication systems
Mathematical Logic and Formal Languages
8
Mathematical logic
Software engineering
7
más ...
Software Engineering
6
Application software
5
Computer logic
4
Information Systems Applications (incl. Internet)
4
Logics and Meanings of Programs
4
Data Mining and Knowledge Discovery
2
Data mining
2
Algorithm Analysis and Problem Complexity
1
Algorithms
1
Computer Appl. in Administrative Data Processing
1
Computer science—Mathematics
1
Information Storage and Retrieval
1
Information storage and retrieval
1
Mathematics of Computing
1
Programming Languages, Compilers, Interpreters
1
Programming languages (Electronic computers)
1
Software Engineering/Programming and Operating Systems
1
Special Purpose and Application-Based Systems
1
Special purpose computers
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
Hardware and Software: Verification and Testing : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
2
On the Move to Meaningful Internet Systems: OTM 2016 Workshops : Confederated International Workshops: EI2N, FBM, ICSP, Meta4eS, and OTMA 2016, Rhodes, Greece, October 24–28, 2016,...
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
3
KI 2017: Advances in Artificial Intelligence : 40th Annual German Conference on AI, Dortmund, Germany, September 25–29, 2017, Proceedings /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
4
Formal Techniques for Distributed Objects, Components, and Systems : 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Confere...
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
5
Interoperability and Open-Source Solutions for the Internet of Things Second International Workshop, InterOSS-IoT 2016, Held in Conjunction with IoT 2016, Stuttgart, Germany, Novem...
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
Enlace del recurso
eBook
Mostrar Código QR
6
Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10–14, 2017, Proceedings /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
7
Numerical Software Verification : 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
8
OWL: Experiences and Directions – Reasoner Evaluation : 13th International Workshop, OWLED 2016, and 5th International Workshop, ORE 2016, Bologna, Italy, November 20, 2016, Revise...
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
8
Biblioteca
Tecnológico de Costa Rica
8
Formato
eBook
8
Autor
SpringerLink (Online service)
8
Antonucci, Alessandro
1
Bogomolov, Sergiy
1
Bollen, Peter
1
Bouajjani, Ahmed
1
Broering, Arne
1
más ...
Cholvy, Laurence
1
Ciuciu, Ioana
1
Debruyne, Christophe
1
Dragoni, Mauro
1
Fensel, Anna
1
Fürnkranz, Johannes
1
Jimenez-Ruiz, Ernesto
1
Kern-Isberner, Gabriele
1
Martel, Matthieu
1
Panetto, Hervé
1
Papini, Odile
1
Podnar Žarko, Ivana
1
Poveda-Villalón, María
1
Prabhakar, Pavithra
1
Serrano, Martin
1
Silva, Alexandra
1
Soursos, Sergios
1
Strichman, Ofer
1
Thimm, Matthias
1
Tzoref-Brill, Rachel
1
Vidal, Maria-Esther
1
Weichhart, Georg
1
ver todos ...
menos ...
Lenguaje
English
8
Año de Publicación
De:
a:
×
Cargando...