Buscar
Avanzada
Historial
Registros por pagina:
20
50
100
Buscar Por:
Título
Autor/Editor
Colección
Todas las colecciones
Antropología
Arquitectura y diseño
Astronomía y astrofísica
Bibliotecología y Ciencia de la Información
Ciencia Política
Ciencias agrarias
Ciencias de la tierra y del espacio
Ciencias de la vida
Ciencias de las Artes y de las Letras
Ciencias económicas
Ciencias jurídicas y Derecho
Ciencias médicas
Ciencias tecnológicas
Computación
Demografía
Ética
Filosofía
Física
Geografía
Historia
Ingeniería
Lingüística
Lógica
Matemáticas
Pedagogía
Psicología
Química
Sociología
Registros por pagina:
20
50
100
Busquedas:
Keyword
: Mathematics of Computing
de
9 paginas
registros 1 al 20 de 167
A Proof Theory for Description Logics
Autor/Editor:
Rademaker, Alexandre
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-1-4471-4002-3
+ info
Abstract State Machines, Alloy, B, VDM, and Z
Autor/Editor:
Derrick, John
Fitzgerald, John
Gnesi, Stefania
Khurshid, Sarfraz
Leuschel, Michael
Reeves, Steve
Riccobene, Elvinia
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-30885-7
+ info
Advanced Concepts for Intelligent Vision Systems
Autor/Editor:
Blanc-Talon, Jacques
Helbert, David
Philips, Wilfried
Popescu, Dan
Scheunders, Paul
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-030-01449-0
+ info
Advances in Artificial Life and Evolutionary Computation
Autor/Editor:
Pizzuti, Clara
Spezzano, Giandomenico
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-12745-3
+ info
Advances in Artificial Life, Evolutionary Computation and Systems Chemistry
Autor/Editor:
Rossi, Federico
Mavelli, Fabio
Stano, Pasquale
Caivano, Danilo
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-32695-5
+ info
Advances in Artificial Life, Evolutionary Computation, and Systems Chemistry
Autor/Editor:
Rossi, Federico
Piotto, Stefano
Concilio, Simona
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-57711-1
+ info
Advances in Cryptology -- ASIACRYPT 2015
Autor/Editor:
Iwata, Tetsu
Cheon, Jung Hee
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-662-48797-6
+ info
Advances in Cryptology – ASIACRYPT 2014. Proceedings, Part I
Autor/Editor:
Iwata, Tetsu
Sarkar, Palash
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-662-45611-8
+ info
Advances in Cryptology – ASIACRYPT 2014. Proceedings, Part II
Autor/Editor:
Iwata, Tetsu
Sarkar, Palash
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-662-45608-8
+ info
Advances in Cryptology – ASIACRYPT 2015
Autor/Editor:
Iwata, Tetsu
Cheon, Jung Hee
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-662-48800-3
+ info
Advances in Cryptology – ASIACRYPT 2016. 22nd International Conference on the Theory and Application of Cryptology and Information Security, Proceedings, Part I
Autor/Editor:
Cheon, Jung Hee
Takagi, Tsuyoshi
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-662-53887-6
+ info
Advances in Cryptology – ASIACRYPT 2016. 22nd International Conference on the Theory and Application of Cryptology and Information Security, Proceedings, Part II
Autor/Editor:
Cheon, Jung Hee
Takagi, Tsuyoshi
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-662-53890-6
+ info
Advances in Cryptology – ASIACRYPT 2017. 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part I
Autor/Editor:
Takagi, Tsuyoshi
Peyrin, Thomas
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-70700-6
+ info
Advances in Cryptology – ASIACRYPT 2017. 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part II
Autor/Editor:
Takagi, Tsuyoshi
Peyrin, Thomas
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-70694-8
+ info
Advances in Cryptology – ASIACRYPT 2017. 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part III
Autor/Editor:
Takagi, Tsuyoshi
Peyrin, Thomas
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-70697-9
+ info
Advances in Neural Networks - ISNN 2017. 14th International Symposium, ISNN 2017, Sapporo, Hakodate, and Muroran, Hokkaido, Japan, June 21–26, 2017, Proceedings, Part I
Autor/Editor:
Cong, Fengyu
Leung, Andrew
Wei, Qinglai
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-59072-1
+ info
Advances in Neural Networks - ISNN 2017. 14th International Symposium, ISNN 2017, Sapporo, Hakodate, and Muroran, Hokkaido, Japan, June 21–26, 2017, Proceedings, Part II
Autor/Editor:
Cong, Fengyu
Leung, Andrew
Wei, Qinglai
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-59081-3
+ info
Advances in Neural Networks – ISNN 2016
Autor/Editor:
Cheng, Long
Liu, Qingshan
Ronzhin, Andrey
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-40663-3
+ info
Algebraic Informatics
Autor/Editor:
Muntean, Traian
Poulakis, Dimitrios
Rolland, Robert
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-40663-8
+ info
Algorithmic Differentiation of Pragma-Defined Parallel Regions
Autor/Editor:
Förster, Michael
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-658-07597-2
+ info
de
9 paginas
registros 1 al 20 de 167