Mostrando
81 - 83
Resultados de
83
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
Restablecer filtros
Mostrar filtros (1)
Materias:
Computer logic
Resultados de búsqueda
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Computer logic
Logics and Meanings of Programs
83
Software engineering
63
Software Engineering
58
Mathematical Logic and Formal Languages
52
Mathematical logic
52
Programming Languages, Compilers, Interpreters
38
más ...
Programming languages (Electronic computers)
38
Algorithm Analysis and Problem Complexity
31
Algorithms
31
Artificial Intelligence
27
Artificial intelligence
27
Computers
22
Computer programming
17
Programming Techniques
17
Computation by Abstract Devices
15
Computer simulation
14
Simulation and Modeling
14
Computer science—Mathematics
13
Application software
11
Computer Communication Networks
11
Computer communication systems
11
Discrete Mathematics in Computer Science
8
Computer Systems Organization and Communication Networks
6
Computer organization
6
Computer science
6
Computer system failures
6
Information Systems Applications (incl. Internet)
6
Management information systems
6
Management of Computing and Information Systems
6
menos ...
Mostrando
81 - 83
Resultados de
83
Para Buscar '
'
, tiempo de consulta: 0.03s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Signatura
Autor
Título
81
Small Dynamic Complexity Classes : An Investigation into Dynamic Descriptive Complexity /
por
Zeume, Thomas.
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
82
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
83
Scalable Uncertainty Management : 11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017, Proceedings /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
[1]
Anterior
1
2
3
4
5
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
83
Biblioteca
Tecnológico de Costa Rica
83
Formato
eBook
83
Autor
SpringerLink (Online service)
83
Bowen, Jonathan P.
3
Abate, Alessandro
2
Bitsch, Friedemann
2
Bouajjani, Ahmed
2
Kunčak, Viktor
2
más ...
Legay, Axel
2
Majumdar, Rupak
2
Margaria, Tiziana
2
Mousavi, Mohammad Reza
2
Schoitsch, Erwin
2
Tonetta, Stefano
2
Alkhalaf, Muath
1
An, Bo
1
Antonucci, Alessandro
1
Artho, Cyrille
1
Ayala-Rincón, Mauricio
1
Aydin, Abdulbaki
1
Bader, Markus
1
Bailey, Brian
1
Balduccini, Marcello
1
Baltag, Alexandru
1
Barkalov, Alexander
1
Barrett, Clark
1
Battiti, Roberto
1
Bazzan, Ana
1
Berger, Christian
1
Bertrand, Nathalie
1
Blieberger, Johann
1
Bogomolov, Sergiy
1
ver todos ...
menos ...
Lenguaje
English
83
Año de Publicación
De:
a:
×
Cargando...