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 41 al 60 de 657
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 Technology for Verification and Analysis
Autor/Editor: Finkbeiner, Bernd  Pu, Geguang  Zhang, Lijun
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-24953-7
    + 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: Lahiri, Shuvendu K.  Wang, Chao
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-01090-4
    + info
Bidirectional Transformations
Autor/Editor: Gibbons, Jeremy  Stevens, Perdita
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-79108-1
    + info
Big Data Integration Theory
Autor/Editor: Majkić, Zoran
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-04156-8
    + info
Business Process Management. 10th International Conference, BPM 2012
Autor/Editor: Barros, Alistair  Gal, Avigdor  Kindler, Ekkart
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-32885-5
    + info
Categories and Types in Logic, Language, and Physics
Autor/Editor: Casadio, Claudia  Coecke, Bob  Moortgat, Michael  Scott, Philip
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-54789-8
    + info
Central European Functional Programming School
Autor/Editor: Zsók, Viktória  Horváth, Zoltán  Csató, Lehel
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-15940-9
    + info
Certified Programs and Proofs
Autor/Editor: Hawblitzel, Chris  Miller, Dale
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-35308-6
    + info
Certified Programs and Proofs
Autor/Editor: Gonthier, Georges  Norrish, Michael
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-03545-1
    + info
Coalgebraic Methods in Computer Science
Autor/Editor: Pattinson, Dirk  Schröder, Lutz
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-32784-1
    + info
Coalgebraic Methods in Computer Science
Autor/Editor: Bonsangue, Marcello M.
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-44124-4
    + info
Coalgebraic Methods in Computer Science
Autor/Editor: Hasuo, Ichiro
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-40370-0
    + info
Coalgebraic Methods in Computer Science
Autor/Editor: Cîrstea, Corina
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-00389-0
    + info
Collaborative Design for Embedded Systems
Autor/Editor: Fitzgerald, John  Gorm Larsen, Peter  Verhoef, Marcel
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-54118-6
    + info
[Anterior] de 33 paginas [Siguiente]      registros 41 al 60 de 657