Registros por pagina: 20 50 100

Buscar Por:

Título

Autor/Editor

Colección


Registros por pagina: 20 50 100

[Anterior] de 4 paginas       registros 151 al 167 de 167
Theoretical Computer Science
Autor/Editor: Baeten, Jos C. M.  Ball, Tom  Boer, Frank S.
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-33475-7
    + info
Theory and Applications of Models of Computation
Autor/Editor: Jain, Rahul  Jain, Sanjay  Stephan, Frank
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-17142-5
    + info
Theory and Applications of Models of Computation
Autor/Editor: Agrawal, Manindra  Cooper, S. Barry  Li, Angsheng
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-29952-0
    + info
Theory and Applications of Models of Computation
Autor/Editor: Chan, T-H. Hubert  Lau, Lap Chi  Trevisan, Luca
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-38236-9
    + info
Theory and Applications of Models of Computation
Autor/Editor: Gopal, T. V.  Agrawal, Manindra  Li, Angsheng  Cooper, S. Barry
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-06089-7
    + info
Theory and Applications of Models of Computation
Autor/Editor: Gopal, T. V.  Jäger, Gerhard  Steila, Silvia
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-55911-7
    + info
Theory and Applications of Satisfiability Testing -- SAT 2015
Autor/Editor: Heule, Marijn  Weaver, Sean
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-24318-4
    + info
Theory and Applications of Satisfiability Testing – SAT 2014
Autor/Editor: Sinz, Carsten  Egly, Uwe
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-09284-3
    + info
Theory and Applications of Satisfiability Testing – SAT 2016
Autor/Editor: Creignou, Nadia  Le Berre, Daniel
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-40970-2
    + info
Transactions on Computational Collective Intelligence XXXI
Autor/Editor: Nguyen, Ngoc Thanh  Kowalczyk, Richard  Mercik, Jacek  Motylska-Kuźma, Anna
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-662-58464-4
    + info
Transactions on Computational Science XXXIII
Autor/Editor: Gavrilova, Marina L.  Tan, C. J. Kenneth
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-662-58039-4
    + info
Transactions on Large-Scale Data- and Knowledge-Centered Systems XVI
Autor/Editor: Thoai, Nam  Dang, Tran Khanh  Wagner, Roland  Küng, Josef  Hameurlain, Abdelkader
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-45947-8
    + info
Turing Computability
Autor/Editor: Soare, Robert I.
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-31933-4
    + info
Typed Lambda Calculi and Applications
Autor/Editor: Hasegawa, Masahito
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-38946-7
    + info
Verifiable Composition of Signature and Encryption
Autor/Editor: Aimani, Laila El
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-68112-2
    + info
Web and Internet Economics
Autor/Editor: Chen, Yiling  Immorlica, Nicole
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-45046-4
    + info
Words and Graphs
Autor/Editor: Kitaev, Sergey  Lozin, Vadim
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-25859-1
    + info
[Anterior] de 4 paginas       registros 151 al 167 de 167