Mostrando
1 - 7
Resultados de
7
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)
Materias:
4 filtros
Artificial Intelligence
Y
Artificial intelligence
Y
Computer simulation
Y
Computers
Restablecer filtros
Mostrar filtros (5)
Autor:
SpringerLink (Online service)
Materias:
4 filtros
Artificial Intelligence
Y
Artificial intelligence
Y
Computer simulation
Y
Computers
Resultados de búsqueda
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Artificial Intelligence
Artificial intelligence
Computer simulation
Computers
Simulation and Modeling
7
Software Engineering
5
Software engineering
5
más ...
Computation by Abstract Devices
4
Algorithm Analysis and Problem Complexity
2
Algorithms
2
Computer logic
2
Logics and Meanings of Programs
2
Programming Languages, Compilers, Interpreters
2
Programming languages (Electronic computers)
2
The Computing Profession
2
Theory of Computation
2
Computational Intelligence
1
Computational intelligence
1
Computer Communication Networks
1
Computer Systems Organization and Communication Networks
1
Computer communication systems
1
Computer organization
1
Computer system failures
1
Information Systems and Communication Service
1
Models and Principles
1
Numeric Computing
1
Numerical analysis
1
System Performance and Evaluation
1
menos ...
Mostrando
1 - 7
Resultados de
7
Para Buscar '
'
, tiempo de consulta: 0.03s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Signatura
Autor
Título
1
Multi-Agent Based Simulation XVII International Workshop, MABS 2016, Singapore, Singapore, May 10, 2016, Revised Selected Papers /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
Enlace del recurso
eBook
Mostrar Código QR
2
Learning and Intelligent Optimization 11th International Conference, LION 11, Nizhny Novgorod, Russia, June 19-21, 2017, Revised Selected Papers /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
Enlace del recurso
eBook
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
Transactions on Computational Collective Intelligence XXVII /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
5
Simulated Evolution and Learning : 11th International Conference, SEAL 2017, Shenzhen, China, November 10–13, 2017, Proceedings /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
6
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
7
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
7
Biblioteca
Tecnológico de Costa Rica
7
Formato
eBook
7
Autor
SpringerLink (Online service)
Aceto, Luca
1
Antunes, Luis
1
Bacci, Giorgio
1
Bacci, Giovanni
1
Battiti, Roberto
1
más ...
Ingólfsdóttir, Anna
1
Jin, Yaochu
1
Kunčak, Viktor
1
Kvasov, Dmitri E.
1
Legay, Axel
1
Li, Xiaodong
1
Majumdar, Rupak
1
Mardare, Radu
1
Mercik, Jacek
1
Middendorf, Martin
1
Nardin, Luis Gustavo
1
Paskevich, Andrei
1
Sergeyev, Yaroslav D.
1
Shi, Yuhui
1
Tan, Kay Chen
1
Tan, Ying
1
Tang, Ke
1
Wies, Thomas
1
Zhang, Mengjie
1
Zhang, Qingfu
1
ver todos ...
menos ...
Lenguaje
English
7
Año de Publicación
De:
a:
×
Cargando...