Registros por pagina: 20 50 100

Buscar Por:

Título

Autor/Editor

Colección


Registros por pagina: 20 50 100

[Anterior] de 35 paginas [Siguiente]      registros 101 al 120 de 683
Computational Processing of the Portuguese Language
Autor/Editor: Baptista, Jorge  Mamede, Nuno  Candeias, Sara  Paraboni, Ivandré  Pardo, Thiago A. S.  Volpe Nunes, Maria das Graças
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-09761-9
    + info
Computational Processing of the Portuguese Language
Autor/Editor: Silva, João  Ribeiro, Ricardo  Quaresma, Paulo  Adami, André  Branco, António
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-41552-9
    + info
Computational Processing of the Portuguese Language
Autor/Editor: Villavicencio, Aline  Moreira, Viviane  Abad, Alberto  Caseli, Helena  Gamallo, Pablo  Ramisch, Carlos  Oliveira, Hugo Gonçalo  Paetzold, Gustavo Henrique
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-99722-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-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: 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 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
Computer Aided Verification. 30th International Conference, Proceedings, Part I
Autor/Editor: Chockler, Hana  Weissenbacher, Georg
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-96145-3
    + info
Computer Aided Verification. 30th International Conference, Proceedings, Part II
Autor/Editor: Chockler, Hana  Weissenbacher, Georg
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-96142-2
    + info
Computer Safety, Reliability, and Security. SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings
Autor/Editor: Skavhaug, Amund  Guiochet, Jérémie  Schoitsch, Erwin  Bitsch, Friedemann
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-45480-1
    + info
Computer Science - Theory and Applications
Autor/Editor: Hirsch, Edward A.  Kuznetsov, Sergei O.  Pin, Jean-Eric  Vereshchagin, Nikolay K.
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-06686-8
    + info
Computer Science -- Theory and Applications
Autor/Editor: Beklemishev, Lev D.  Musatov, Daniil V.
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-20297-6
    + info
Computer Science – Theory and Applications
Autor/Editor: Hirsch, Edward A.  Karhumäki, Juhani  Lepistö, Arto  Prilutskii, Michail
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-30642-6
    + info
Computer Science – Theory and Applications
Autor/Editor: Bulatov, Andrei A.  Shur, Arseny M.
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-38536-0
    + info
Computer Science – Theory and Applications
Autor/Editor: Kulikov, Alexander S.  Woeginger, Gerhard J.
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-34171-2
    + info
Computer Science – Theory and Applications
Autor/Editor: Weil, Pascal
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-58747-9
    + info
Computers and Games
Autor/Editor: Herik, H. Jaap van den  Iida, Hiroyuki  Plaat, Aske
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-09165-5
    + info
[Anterior] de 35 paginas [Siguiente]      registros 101 al 120 de 683