Mostrando
1 - 9
Resultados de
9
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
Lenguaje:
English
Materias:
Computer organization
Y
Computers
Y
Theory of Computation
Restablecer filtros
Mostrar filtros (4)
Lenguaje:
English
Materias:
Computer organization
Y
Computers
Y
Theory of Computation
Resultados de búsqueda - *
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Computer Systems Organization and Communication Networks
9
Computer organization
Computers
Theory of Computation
Software engineering
8
Artificial Intelligence
7
Artificial intelligence
7
más ...
Software Engineering
5
Programming Languages, Compilers, Interpreters
3
Programming languages (Electronic computers)
3
Software Engineering/Programming and Operating Systems
3
Application software
2
E-commerce
2
e-Commerce/e-business
2
Computer Applications
1
Computer Hardware
1
Computer hardware
1
Computer science—Mathematics
1
Computer security
1
Computer simulation
1
Computing Milieux
1
Control Structures and Microprogramming
1
Cryptology
1
Data Structures and Information Theory
1
Data encryption (Computer science)
1
Data protection
1
Data structures (Computer science)
1
Discrete Mathematics in Computer Science
1
Information Systems Applications (incl. Internet)
1
Microprogramming
1
menos ...
Mostrando
1 - 9
Resultados de
9
Para Buscar '
*
'
, tiempo de consulta: 0.04s
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
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
3
Autonomous Agents and Multiagent Systems : AAMAS 2017 Workshops, Best Papers, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
4
Designing the Digital Transformation : 12th International Conference, DESRIST 2017, Karlsruhe, Germany, May 30 – June 1, 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
Risks and Security of Internet and Systems : 11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papers /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
7
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
8
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
9
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
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
9
Biblioteca
Tecnológico de Costa Rica
9
Formato
eBook
9
Autor
SpringerLink (Online service)
9
Legay, Axel
2
Aceto, Luca
1
Bacci, Giorgio
1
Bacci, Giovanni
1
Cuppens, Frédéric
1
más ...
Cuppens, Nora
1
D'Souza, Deepak
1
Duan, Zhenhua
1
Fantechi, Alessandro
1
Gaspers, Serge
1
Hevner, Alan
1
Ingólfsdóttir, Anna
1
Lanet, Jean-Louis
1
Lecomte, Thierry
1
Liu, Shaoying
1
Maedche, Alexander
1
Mardare, Radu
1
Nagoya, Fumiko
1
Narayan Kumar, K.
1
Polikarpova, Nadia
1
Rodriguez-Aguilar, Juan A.
1
Romanovsky, Alexander
1
Schneider, Steve
1
Sukthankar, Gita
1
Tian, Cong
1
Walsh, Toby
1
vom Brocke, Jan
1
ver todos ...
menos ...
Lenguaje
English
Año de Publicación
De:
a:
×
Cargando...