Registros por pagina: 20 50 100

Buscar Por:

Título

Autor/Editor

Colección


Registros por pagina: 20 50 100

[Anterior] de 27 paginas       registros 521 al 538 de 538
Unifying Theories of Programming
Autor/Editor: Bowen, Jonathan P.  Zhu, Huibiao
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-52228-9
    + info
Unveiling Dynamics and Complexity
Autor/Editor: Kari, Jarkko  Manea, Florin  Petre, Ion
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-58741-7
    + info
Verification, Model Checking, and Abstract Interpretation
Autor/Editor: D’Souza, Deepak  Lal, Akash  Larsen, Kim Guldstrand
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-46081-8
    + info
Verification, Model Checking, and Abstract Interpretation
Autor/Editor: Giacobazzi, Roberto  Berdine, Josh  Mastroeni, Isabella
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-35873-9
    + info
Verification, Model Checking, and Abstract Interpretation
Autor/Editor: McMillan, Kenneth L.  Rival, Xavier
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-54013-4
    + info
Verification, Model Checking, and Abstract Interpretation
Autor/Editor: Jobstmann, Barbara  Leino, K. Rustan M.
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-49122-5
    + info
Verification, Model Checking, and Abstract Interpretation
Autor/Editor: Bouajjani, Ahmed  Monniaux, David
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-52234-0
    + info
Verification, Model Checking, and Abstract Interpretation
Autor/Editor: Dillig, Isil  Palsberg, Jens
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-73721-8
    + info
Web and Internet Economics
Autor/Editor: Cai, Yang  Vetta, Adrian
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-54110-4
    + info
Web and Internet Economics
Autor/Editor: Devanur, Nikhil R.  Lu, Pinyan
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-71924-5
    + info
Web Reasoning and Rule Systems
Autor/Editor: Cate, Balder ten  Mileo, Alessandra
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-22002-4
    + info
Web Reasoning and Rule Systems
Autor/Editor: Kontchakov, Roman  Mugnier, Marie-Laure
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-11113-1
    + info
Web Reasoning and Rule Systems
Autor/Editor: Ortiz, Magdalena  Schlobach, Stefan
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-45276-0
    + info
Web Technologies and Applications
Autor/Editor: Cai, Ruichu  Chen, Kang  Hong, Liang  Yang, Xiaoyan  Zhang, Rong  Zou, Lei
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-28121-6
    + info
Web Technologies and Applications
Autor/Editor: Morishima, Atsuyuki  Zhang, Rong  Zhang, Wenjie  Chang, Lijun  Fu, Tom Z. J.  Liu, Kuien  Yang, Xiaoyan  Zhu, Jia  Zhang, Zhiwei
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-45835-9
    + info
Wireless Communications and Applications
Autor/Editor: Sénac, Patrick  Ott, Max  Seneviratne, Aruna
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-29157-9
    + info
Wireless Internet
Autor/Editor: Ren, Pinyi  Zhang, Chao  Liu, Xin  Liu, Pei  Ci, Song
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-30493-4
    + info
Wireless Sensor Networks
Autor/Editor: Trigoni, Niki  Murphy, Amy L.  Krishnamachari, Bhaskar
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-04651-8
    + info
[Anterior] de 27 paginas       registros 521 al 538 de 538