Registros por pagina: 20 50 100

Buscar Por:

Título

Autor/Editor

Colección


Registros por pagina: 20 50 100

[Anterior] de 14 paginas [Siguiente]      registros 51 al 100 de 683
Artificial Intelligence in Medicine
Autor/Editor: Teije, Annette ten  Popow, Christian  Holmes, John H.  Sacchi, Lucia
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-59758-4
    + info
Artificial Life and Evolutionary Computation
Autor/Editor: Pelillo, Marcello  Poli, Irene  Roli, Andrea  Serra, Roberto  Slanzi, Debora  Villani, Marco
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-78658-2
    + 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 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
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
Combinatorial Algorithms
Autor/Editor: Jan, Kratochvíl  Miller, Mirka  Froncek, Dalibor
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-19315-1
    + info
Combinatorial Algorithms
Autor/Editor: Arumugam, S.  Smyth, W. F.
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-35926-2
    + info
Combinatorial Algorithms
Autor/Editor: Lecroq, Thierry  Mouchard, Laurent
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-45278-9
    + info
Combinatorial Algorithms. 26th International Workshop, IWOCA 2015, Revised Selected Papers
Autor/Editor: Lipták, Zsuzsanna  Smyth, William F.
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-29516-9
    + info
Combinatorial Algorithms. 27th International Workshop, IWOCA 2016, Proceedings
Autor/Editor: Mäkinen, Veli  Puglisi, Simon J.  Salmela, Leena
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-44543-4
    + info
Combinatorics on Words
Autor/Editor: Manea, Florin  Nowotka, Dirk
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-23660-5
    + info
Combinatorics on Words
Autor/Editor: Karhumäki, Juhani  Lepistö, Arto  Zamboni, Luca
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-40579-2
    + info
Combinatorics on Words
Autor/Editor: Brlek, Srečko  Dolce, Francesco  Reutenauer, Christophe  Vandomme, Élise
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-66396-8
    + info
Compiler Construction
Autor/Editor: O’Boyle, Michael
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-28652-0
    + info
Computability and Complexity
Autor/Editor: Day, Adam  Fellows, Michael  Greenberg, Noam  Khoussainov, Bakhadyr  Melnikov, Alexander  Rosamond, Frances
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-50062-1
    + info
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky
Autor/Editor: Coecke, Bob  Ong, Luke  Panangaden, Prakash
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-38164-5
    + info
Computation, Physics and Beyond
Autor/Editor: Dinneen, Michael J.  Khoussainov, Bakhadyr  Nies, André
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-27654-5
    + info
Computational Analysis of Terrorist Groups: Lashkar-e-Taiba
Autor/Editor: Subrahmanian, V.S.  Mannes, Aaron, Sliva, Amy  Shakarian, Jana  Dickerson, John P.
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-1-4614-4769-6
    + info
Computational Issues in Fluid Construction Grammar
Autor/Editor: Steels, Luc
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-34120-5
    + info
Computational Logic in Multi-Agent Systems
Autor/Editor: Fisher, Michael  Torre, Leon  Dastani, Mehdi  Governatori, Guido
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-32897-8
    + info
Computational Logic in Multi-Agent Systems
Autor/Editor: Leite, João  Son, Tran Cao  Torroni, Paolo  Torre, Leon  Woltran, Stefan
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-40624-9
    + info
Computational Logic in Multi-Agent Systems
Autor/Editor: Bulling, Nils  Torre, Leendert  Villata, Serena  Jamroga, Wojtek  Vasconcelos, Wamberto
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-09764-0
    + info
Computational Methods in Systems Biology
Autor/Editor: ÄŒeÅ¡ka, Milan  Å afránek, David
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-99429-1
    + info
Computational Processing of the Portuguese Language
Autor/Editor: Caseli, Helena  Villavicencio, Aline  Teixeira, António  Perdigão, Fernando
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-28885-2
    + info
[Anterior] de 14 paginas [Siguiente]      registros 51 al 100 de 683