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 61 al 80 de 683
Automated Reasoning and Mathematics
Autor/Editor: Bonacina, Maria Paola  Stickel, Mark E.
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-36675-8
    + 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 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: 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
Belief Revision in Non-Classical Logics
Autor/Editor: Ribeiro, Márcio Moretto
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-1-4471-4186-0
    + info
Big Data Analytics
Autor/Editor: Mondal, Anirban  Gupta, Himanshu  Srivastava, Jaideep  Reddy, P. Krishna  Somayajulu, D. V. L. N.
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-04780-1
    + info
Case-Based Reasoning Research and Development
Autor/Editor: Cox, Michael T.  Funk, Peter  Begum, Shahina
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-01081-2
    + 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
Cellular Automata and Discrete Complex Systems
Autor/Editor: Cook, Matthew  Neary, Turlough
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-39300-1
    + info
Cellular Automata and Discrete Complex Systems
Autor/Editor: Dennunzio, Alberto  Formenti, Enrico  Manzoni, Luca  Porreca, Antonio E.
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-58631-1
    + info
Cellular Automata and Discrete Complex Systems
Autor/Editor: Baetens, Jan M.  Kutrib, Martin
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-92675-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
[Anterior] de 35 paginas [Siguiente]      registros 61 al 80 de 683