Mostrando
1 - 15
Resultados de
15
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
Computer logic
Y
Computers
Restablecer filtros
Mostrar filtros (3)
Materias:
Computation by Abstract Devices
Y
Computer logic
Y
Computers
Resultados de búsqueda
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Computation by Abstract Devices
Computer logic
Computers
Logics and Meanings of Programs
15
Software engineering
11
Algorithm Analysis and Problem Complexity
9
Algorithms
9
más ...
Mathematical Logic and Formal Languages
9
Mathematical logic
9
Software Engineering
9
Programming Languages, Compilers, Interpreters
8
Programming languages (Electronic computers)
8
Computer simulation
3
Simulation and Modeling
3
Artificial Intelligence
2
Artificial intelligence
2
Computer Communication Networks
2
Computer communication systems
2
Computer programming
2
Computer science—Mathematics
2
Discrete Mathematics in Computer Science
2
Programming Techniques
2
Software Engineering/Programming and Operating Systems
2
Computer system failures
1
Data Structures
1
Data structures (Computer science)
1
Mathematical statistics
1
Numeric Computing
1
Numerical analysis
1
Pattern Recognition
1
menos ...
Mostrando
1 - 15
Resultados de
15
Para Buscar '
'
, tiempo de consulta: 0.03s
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
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
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
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
7
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
8
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
9
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
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
Quantitative Evaluation of Systems : 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
12
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
13
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
14
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
15
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
15
Biblioteca
Tecnológico de Costa Rica
15
Formato
eBook
15
Autor
SpringerLink (Online service)
15
Legay, Axel
2
Margaria, Tiziana
2
Artho, Cyrille
1
Battiti, Roberto
1
Bertrand, Nathalie
1
más ...
Bortolussi, Luca
1
Bouajjani, Ahmed
1
Bowen, Jonathan P.
1
Câmpeanu, Cezar
1
Day, Adam
1
Esparza, Javier
1
Fellows, Michael
1
Greenberg, Noam
1
Hague, Matthew
1
Khoussainov, Bakhadyr
1
Klasing, Ralf
1
Kvasov, Dmitri E.
1
Leporati, Alberto
1
Melnikov, Alexander
1
Monniaux, David
1
Mousavi, Mohammad Reza
1
Murawski, Andrzej S.
1
Pighizzini, Giovanni
1
Potapov, Igor
1
Rosamond, Frances
1
Rozenberg, Grzegorz
1
Salomaa, Arto
1
Sergeyev, Yaroslav D.
1
Sgall, Jiří
1
ver todos ...
menos ...
Lenguaje
English
15
Año de Publicación
De:
a:
×
Cargando...