Registros por pagina: 20 50 100

Buscar Por:

Título

Autor/Editor

Colección


Registros por pagina: 20 50 100

[Anterior] de 33 paginas [Siguiente]      registros 61 al 80 de 657
Compiler Construction
Autor/Editor: Franke, Björn
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-46663-6
    + info
Computability and Complexity
Autor/Editor: Day, Adam  Fellows, Michael  Greenberg, Noam  Khoussainov, Bakhadyr  Melnikov, Alexander  Rosamond, Frances
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-50062-1
    + info
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky
Autor/Editor: Coecke, Bob  Ong, Luke  Panangaden, Prakash
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-38164-5
    + info
Computation, Physics and Beyond
Autor/Editor: Dinneen, Michael J.  Khoussainov, Bakhadyr  Nies, André
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-27654-5
    + info
Computational Autism
Autor/Editor: Galitsky, Boris
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-39972-0
    + info
Computational Issues in Fluid Construction Grammar
Autor/Editor: Steels, Luc
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-34120-5
    + info
Computational Logic in Multi-Agent Systems
Autor/Editor: Fisher, Michael  Torre, Leon  Dastani, Mehdi  Governatori, Guido
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-32897-8
    + info
Computational Logic in Multi-Agent Systems
Autor/Editor: Leite, João  Son, Tran Cao  Torroni, Paolo  Torre, Leon  Woltran, Stefan
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-40624-9
    + info
Computational Logic in Multi-Agent Systems
Autor/Editor: Bulling, Nils  Torre, Leendert  Villata, Serena  Jamroga, Wojtek  Vasconcelos, Wamberto
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-09764-0
    + info
Computational Methods in Systems Biology
Autor/Editor: Feret, Jérôme  Koeppl, Heinz
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-67471-1
    + info
Computational Methods in Systems Biology
Autor/Editor: ÄŒeÅ¡ka, Milan  Å afránek, David
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-99429-1
    + info
Computer Aided Verification
Autor/Editor: Kroening, Daniel  Păsăreanu, Corina S.
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-21668-3
    + info
Computer Aided Verification
Autor/Editor: Kroening, Daniel  Păsăreanu, Corina S.
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-21690-4
    + info
Computer Aided Verification
Autor/Editor: Madhusudan, P.  Seshia, Sanjit A.
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-31424-7
    + info
Computer Aided Verification
Autor/Editor: Sharygina, Natasha  Veith, Helmut
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-39799-8
    + info
Computer Aided Verification
Autor/Editor: Biere, Armin  Bloem, Roderick
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-08867-9
    + info
Computer Aided Verification. 28th International Conference, CAV 2016, Proceedings, Part I
Autor/Editor: Chaudhuri, Swarat  Farzan, Azadeh
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-41528-4
    + info
Computer Aided Verification. 28th International Conference, CAV 2016, Proceedings, Part II
Autor/Editor: Chaudhuri, Swarat  Farzan, Azadeh
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-41540-6
    + info
Computer Aided Verification. 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
Autor/Editor: Majumdar, Rupak  Kunčak, Viktor
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-63387-9
    + info
Computer Aided Verification. 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
Autor/Editor: Majumdar, Rupak  Kunčak, Viktor
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-63390-9
    + info
[Anterior] de 33 paginas [Siguiente]      registros 61 al 80 de 657