Mostrando
1 - 12
Resultados de
12
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
Autor:
SpringerLink (Online service)
Materias:
Artificial Intelligence
Y
Computer Systems Organization and Communication Networks
Y
Computers
Restablecer filtros
Mostrar filtros (4)
Autor:
SpringerLink (Online service)
Materias:
Artificial Intelligence
Y
Computer Systems Organization and Communication Networks
Y
Computers
Resultados de búsqueda
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Artificial Intelligence
Artificial intelligence
12
Computer Systems Organization and Communication Networks
Computer organization
12
Computers
Software engineering
7
Theory of Computation
7
más ...
Computer security
5
Software Engineering
5
Systems and Data Security
5
Cryptology
4
Data encryption (Computer science)
4
Information Systems and Communication Service
4
Computing Milieux
3
Programming Languages, Compilers, Interpreters
3
Programming languages (Electronic computers)
3
Data protection
2
Security
2
Software Engineering/Programming and Operating Systems
2
Coding and Information Theory
1
Coding theory
1
Computer Hardware
1
Computer hardware
1
Computer science—Mathematics
1
Computer simulation
1
Control Structures and Microprogramming
1
Data Structures and Information Theory
1
Data structures (Computer science)
1
Discrete Mathematics in Computer Science
1
E-commerce
1
menos ...
Mostrando
1 - 12
Resultados de
12
Para Buscar '
'
, tiempo de consulta: 0.03s
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
Financial Cryptography and Data Security : FC 2017 International Workshops, WAHC, BITCOIN, VOTING, WTSC, and TA, Sliema, Malta, April 7, 2017, Revised Selected Papers /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
3
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
4
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
5
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
6
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
7
Information Security 20th International Conference, ISC 2017, Ho Chi Minh City, Vietnam, November 22-24, 2017, Proceedings /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
Enlace del recurso
eBook
Mostrar Código QR
8
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
9
Security, Privacy, and Anonymity in Computation, Communication, and Storage : SpaCCS 2017 International Workshops, Guangzhou, China, December 12-15, 2017, Proceedings /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
10
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
11
Security, Privacy, and Anonymity in Computation, Communication, and Storage : 10th International Conference, SpaCCS 2017, Guangzhou, China, December 12-15, 2017, Proceedings /
Publicado 2017
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
eBook
Cargando...
Mostrar Código QR
12
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
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
12
Biblioteca
Tecnológico de Costa Rica
12
Formato
eBook
12
Autor
SpringerLink (Online service)
Atiquzzaman, Mohammed
2
Choo, Kim-Kwang Raymond
2
Wang, Guojun
2
Yan, Zheng
2
Aceto, Luca
1
más ...
Bacci, Giorgio
1
Bacci, Giovanni
1
Bonneau, Joseph
1
Bracciali, Andrea
1
Brenner, Michael
1
D'Souza, Deepak
1
Duan, Zhenhua
1
Fantechi, Alessandro
1
Ferri, Massimo
1
Gaspers, Serge
1
Goebel, Randy
1
Holzinger, Andreas
1
Ingólfsdóttir, Anna
1
Jakobsson, Markus
1
Lecomte, Thierry
1
Legay, Axel
1
Liu, Shaoying
1
Mardare, Radu
1
Miller, Andrew
1
Nagoya, Fumiko
1
Narayan Kumar, K.
1
Nguyen, Phong Q.
1
Palade, Vasile
1
Pintore, Federico
1
ver todos ...
menos ...
Lenguaje
English
12
Año de Publicación
De:
a:
×
Cargando...