Mostrando
1 - 10
Resultados de
10
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:
Computer logic
Y
Computer simulation
Y
Software engineering
Restablecer filtros
Mostrar filtros (3)
Materias:
Computer logic
Y
Computer simulation
Y
Software engineering
Resultados de búsqueda
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Computer logic
Computer simulation
Logics and Meanings of Programs
10
Simulation and Modeling
10
Software Engineering
10
Software engineering
Mathematical Logic and Formal Languages
7
más ...
Mathematical logic
7
Programming Languages, Compilers, Interpreters
5
Programming languages (Electronic computers)
5
Algorithm Analysis and Problem Complexity
4
Algorithms
4
Artificial Intelligence
4
Artificial intelligence
4
Computer system failures
2
Computers
2
Mathematical statistics
2
Probability and Statistics in Computer Science
2
System Performance and Evaluation
2
Computation by Abstract Devices
1
Mathematical Logic and Foundations
1
The Computing Profession
1
menos ...
Mostrando
1 - 10
Resultados de
10
Para Buscar '
'
, tiempo de consulta: 0.02s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Signatura
Autor
Título
1
ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
Enlace del recurso
eBook
Mostrar Código QR
2
Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
Enlace del recurso
eBook
Mostrar Código QR
3
Recent Trends in Algebraic Development Techniques : 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
4
Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings /
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
Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
7
Dependable Software Engineering. Theories, Tools, and Applications : Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
8
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
9
Computer Performance Engineering : 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
10
Logic and Its Applications : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings /
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
10
Biblioteca
Tecnológico de Costa Rica
10
Formato
eBook
10
Autor
SpringerLink (Online service)
10
Abate, Alessandro
2
Artho, Cyrille
1
Boldo, Sylvie
1
Di Marco, Antinisca
1
England, Matthew
1
más ...
Geeraerts, Gilles
1
Geuvers, Herman
1
Ghosh, Sujata
1
Hasan, Osman
1
James, Phillip
1
Katoen, Joost-Pieter
1
Kunčak, Viktor
1
Langerak, Rom
1
Larsen, Kim Guldstrand
1
Majumdar, Rupak
1
Prasad, Sanjiva
1
Rabe, Florian
1
Reinecke, Philipp
1
Rensink, Arend
1
Roggenbach, Markus
1
Sokolsky, Oleg
1
Teschke, Olaf
1
Wang, Ji
1
Ölveczky, Peter Csaba
1
ver todos ...
menos ...
Lenguaje
English
10
Año de Publicación
De:
a:
×
Cargando...