Mostrando
1 - 13
Resultados de
13
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:
Computation by Abstract Devices
Y
Computers
Y
Software Engineering
Restablecer filtros
Mostrar filtros (3)
Materias:
Computation by Abstract Devices
Y
Computers
Y
Software Engineering
Resultados de búsqueda
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Computation by Abstract Devices
Computers
Software Engineering
Software engineering
13
Computer logic
9
Logics and Meanings of Programs
9
Programming Languages, Compilers, Interpreters
7
más ...
Programming languages (Electronic computers)
7
Algorithm Analysis and Problem Complexity
5
Algorithms
5
Mathematical Logic and Formal Languages
5
Mathematical logic
5
Computer Communication Networks
4
Computer communication systems
4
Artificial Intelligence
3
Artificial intelligence
3
Computer simulation
3
Simulation and Modeling
3
Application software
2
Computer programming
2
Information Systems Applications (incl. Internet)
2
Programming Techniques
2
Computational Intelligence
1
Computational intelligence
1
Computer science—Mathematics
1
Discrete Mathematics in Computer Science
1
Information Storage and Retrieval
1
Information Systems and Communication Service
1
Information storage and retrieval
1
Pattern Recognition
1
menos ...
Mostrando
1 - 13
Resultados de
13
Para Buscar '
'
, tiempo de consulta: 0.02s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Signatura
Autor
Título
1
Membrane Computing : 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papers /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
2
Programming Languages and Systems : 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017...
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
3
Conflict Resolution in Decision Making : Second International Workshop, COREDEMA 2016, The Hague, The Netherlands, August 29-30, 2016, Revised Selected Papers /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
4
Foundations of Software Science and Computation Structures : 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of S...
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
5
Formal Techniques for Safety-Critical Systems : 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
6
Fundamentals of Computation Theory : 21st International Symposium, FCT 2017, Bordeaux, France, September 11–13, 2017, Proceedings /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
7
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
8
High-Performance Scientific Computing First JARA-HPC Symposium, JHPCS 2016, Aachen, Germany, October 4–5, 2016, Revised Selected Papers /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
Enlace del recurso
eBook
Mostrar Código QR
9
Transactions on Computational Collective Intelligence XXVII /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
10
Verification, Model Checking, and Abstract Interpretation : 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
11
Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice...
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
12
Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice...
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
13
Unifying Theories of Programming : 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, 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
13
Biblioteca
Tecnológico de Costa Rica
13
Formato
eBook
13
Autor
SpringerLink (Online service)
13
Legay, Axel
2
Margaria, Tiziana
2
Antunes, Luis
1
Artho, Cyrille
1
Aydoğan, Reyhan
1
más ...
Baarslag, Tim
1
Bouajjani, Ahmed
1
Bowen, Jonathan P.
1
Di Napoli, Edoardo
1
Esparza, Javier
1
Gerding, Enrico
1
Hermanns, Marc-André
1
Iliev, Hristo
1
Jonker, Catholijn M.
1
Julian, Vicente
1
Klasing, Ralf
1
Leporati, Alberto
1
Lintermann, Andreas
1
Mercik, Jacek
1
Monniaux, David
1
Murawski, Andrzej S.
1
Nardin, Luis Gustavo
1
Peyser, Alexander
1
Rozenberg, Grzegorz
1
Salomaa, Arto
1
Sanchez-Anguix, Victor
1
Yang, Hongseok
1
Zandron, Claudio
1
Zeitoun, Marc
1
ver todos ...
menos ...
Lenguaje
English
13
Año de Publicación
De:
a:
×
Cargando...