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
Mathematical Logic and Formal Languages
Restablecer filtros
Mostrar filtros (3)
Materias:
Computation by Abstract Devices
Y
Computers
Y
Mathematical Logic and Formal Languages
Resultados de búsqueda
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Computation by Abstract Devices
Computers
Mathematical Logic and Formal Languages
Mathematical logic
13
Algorithm Analysis and Problem Complexity
9
Algorithms
9
Computer logic
9
más ...
Logics and Meanings of Programs
9
Software engineering
7
Programming Languages, Compilers, Interpreters
6
Programming languages (Electronic computers)
6
Software Engineering
5
Artificial Intelligence
4
Artificial intelligence
4
Computer Communication Networks
2
Computer communication systems
2
Computer programming
2
Computer science—Mathematics
2
Discrete Mathematics in Computer Science
2
Pattern Recognition
2
Pattern recognition
2
Programming Techniques
2
Software Engineering/Programming and Operating Systems
2
Application software
1
Computer simulation
1
Data Mining and Knowledge Discovery
1
Data Structures
1
Data mining
1
Data structures (Computer science)
1
Database Management
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
Computability and Complexity : Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
2
Cellular Automata and Discrete Complex Systems : 23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017, Proceedings /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
3
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
4
Descriptional Complexity of Formal Systems : 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
5
Language and Automata Theory and Applications 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
Enlace del recurso
eBook
Mostrar Código QR
6
Topics in Theoretical Computer Science : Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
7
Statistical Language and Speech Processing : 5th International Conference, SLSP 2017, Le Mans, France, October 23–25, 2017, Proceedings /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
8
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
9
Reachability Problems : 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
10
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
11
Unveiling Dynamics and Complexity : 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings /
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
Martín-Vide, Carlos
2
Bouajjani, Ahmed
1
Bowen, Jonathan P.
1
más ...
Camelin, Nathalie
1
Câmpeanu, Cezar
1
Day, Adam
1
Dennunzio, Alberto
1
Drewes, Frank
1
Esparza, Javier
1
Estève, Yannick
1
Fellows, Michael
1
Formenti, Enrico
1
Greenberg, Noam
1
Hague, Matthew
1
Kari, Jarkko
1
Khoussainov, Bakhadyr
1
Manea, Florin
1
Manzoni, Luca
1
Melnikov, Alexander
1
Monniaux, David
1
Mousavi, Mohammad Reza
1
Murawski, Andrzej S.
1
Petre, Ion
1
Pighizzini, Giovanni
1
Porreca, Antonio E.
1
Potapov, Igor
1
Rosamond, Frances
1
ver todos ...
menos ...
Lenguaje
English
13
Año de Publicación
De:
a:
×
Cargando...