Registros por pagina: 20 50 100

Buscar Por:

Título

Autor/Editor

Colección


Registros por pagina: 20 50 100

[Anterior] de 77 paginas [Siguiente]      registros 161 al 180 de 1525
Augmented Reality, Virtual Reality, and Computer Graphics. 4th International Conference, AVR 2017, Ugento, Italy, June 12-15, 2017, Proceedings, Part II
Autor/Editor: De Paolis, Lucio Tommaso  Bourdot, Patrick  Mongelli, Antonio
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-60928-7
    + info
Automated Configuration Problem Solving
Autor/Editor: Petrie, Charles J.
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-1-4614-4532-6
    + info
Automated Deduction – CADE 26
Autor/Editor: Moura, Leonardo de
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-63046-5
    + info
Automated Deduction – CADE-24
Autor/Editor: Bonacina, Maria Paola
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-38574-2
    + info
Automated Deduction in Geometry
Autor/Editor: Botana, Francisco  Quaresma, Pedro
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-21362-0
    + info
Automated Deduction in Geometry
Autor/Editor: Ida, Tetsuo  Fleuriot, Jacques
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-40672-0
    + info
Automated Reasoning
Autor/Editor: Gramlich, Bernhard  Miller, Dale  Sattler, Uli
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-31365-3
    + info
Automated Reasoning
Autor/Editor: Demri, Stéphane  Kapur, Deepak  Weidenbach, Christoph
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-08587-6
    + info
Automated Reasoning
Autor/Editor: Olivetti, Nicola  Tiwari, Ashish
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-40229-1
    + info
Automated Reasoning
Autor/Editor: Galmiche, Didier  Schulz, Stephan  Sebastiani, Roberto
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-94205-6
    + info
Automated Reasoning with Analytic Tableaux and Related Methods
Autor/Editor: De Nivelle, Hans
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-24312-2
    + info
Automated Reasoning with Analytic Tableaux and Related Methods
Autor/Editor: Galmiche, Didier  Larchey-Wendling, Dominique
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-40537-2
    + info
Automated Reasoning with Analytic Tableaux and Related Methods
Autor/Editor: Schmidt, Renate A.  Nalon, Cláudia
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-66902-1
    + info
Automated Software and Service Composition
Autor/Editor: Mohr, Felix
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-34168-2
    + info
Automated Technology for Verification and Analysis
Autor/Editor: Chakraborty, Supratik  Mukund, Madhavan
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-33386-6
    + info
Automated Technology for Verification and Analysis
Autor/Editor: Hung, Dang  Ogawa, Mizuhito
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-02444-8
    + info
Automated Technology for Verification and Analysis
Autor/Editor: Cassez, Franck  Raskin, Jean-François
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-11936-6
    + info
Automated Technology for Verification and Analysis
Autor/Editor: Artho, Cyrille  Legay, Axel  Peled, Doron
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-46520-3
    + info
Automated Technology for Verification and Analysis
Autor/Editor: D'Souza, Deepak  Kumar, K. Narayan
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-68167-2
    + info
Automated Technology for Verification and Analysis
Autor/Editor: Lahiri, Shuvendu K.  Wang, Chao
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-01090-4
    + info
[Anterior] de 77 paginas [Siguiente]      registros 161 al 180 de 1525