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:
Artificial intelligence
Y
Computer organization
Y
Software engineering
Restablecer filtros
Mostrar filtros (3)
Materias:
Artificial intelligence
Y
Computer organization
Y
Software engineering
Resultados de búsqueda
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Artificial Intelligence
10
Artificial intelligence
Computer Systems Organization and Communication Networks
10
Computer organization
Software engineering
Computers
7
Software Engineering
7
más ...
Theory of Computation
6
Programming Languages, Compilers, Interpreters
3
Programming languages (Electronic computers)
3
Software Engineering/Programming and Operating Systems
3
Algorithm Analysis and Problem Complexity
2
Algorithms
2
Computer Hardware
2
Computer hardware
2
Application software
1
Computer logic
1
Computer programming
1
Computer security
1
Computer simulation
1
Computer-Aided Engineering (CAD, CAE) and Design
1
Computer-aided engineering
1
Computing Milieux
1
Control Structures and Microprogramming
1
Information Systems Applications (incl. Internet)
1
Information Systems and Communication Service
1
Logics and Meanings of Programs
1
Mathematical statistics
1
Microprogramming
1
Numeric Computing
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
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : Second International Conference, RSSRail 2017, Pistoia, Italy, November...
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
2
Models, Algorithms, Logics and Tools : Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
3
Integrated Formal Methods : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
4
Automated Technology for Verification and Analysis : 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
5
Structured Object-Oriented Formal Language and Method : 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
6
Software Engineering for Self-Adaptive Systems III. Assurances : International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
7
Network and Parallel Computing : 14th IFIP WG 10.3 International Conference, NPC 2017, Hefei, China, October 20-21, 2017, Proceedings /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
8
Towards Integrative Machine Learning and Knowledge Extraction : BIRS Workshop, Banff, AB, Canada, July 24-26, 2015, Revised Selected Papers /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
9
Theory and Applications of Satisfiability Testing – SAT 2017 : 20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
10
Tests and Proofs : 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 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
Aceto, Luca
1
An, Hong
1
Bacci, Giorgio
1
Bacci, Giovanni
1
D'Souza, Deepak
1
más ...
Duan, Zhenhua
1
Fantechi, Alessandro
1
Ferri, Massimo
1
Gabmeyer, Sebastian
1
Garlan, David
1
Gaspers, Serge
1
Ghezzi, Carlo
1
Giese, Holger
1
Goebel, Randy
1
Holzinger, Andreas
1
Ingólfsdóttir, Anna
1
Jin, Hai
1
Johnsen, Einar Broch
1
Kandemir, Mahmut
1
Lecomte, Thierry
1
Legay, Axel
1
Liu, Shaoying
1
Mardare, Radu
1
Nagoya, Fumiko
1
Narayan Kumar, K.
1
Palade, Vasile
1
Polikarpova, Nadia
1
Romanovsky, Alexander
1
Schneider, Steve
1
ver todos ...
menos ...
Lenguaje
English
10
Año de Publicación
De:
a:
×
Cargando...