Registros por pagina: 20 50 100

Buscar Por:

Título

Autor/Editor

Colección


Registros por pagina: 20 50 100

[Anterior] de 117 paginas [Siguiente]      registros 381 al 400 de 2328
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 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: 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 Workflow Scheduling in Self-Adaptive Clouds
Autor/Editor: Kousalya, G.  Balakrishnan, P.  Pethuru Raj, C.
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-56982-6
    + info
Automatic Generation of Combinatorial Test Data
Autor/Editor: Zhang, Jian  Zhang, Zhiqiang  Ma, Feifei
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-43429-1
    + info
Automatic Processing of Natural-Language Electronic Texts with NooJ. 10th International Conference, Revised Selected Papers
Autor/Editor: Barone, Linda  Monteleone, Mario  Silberztein, Max
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-55002-2
    + info
Automatic Processing of Natural-Language Electronic Texts with NooJ. 9th International Conference, Revised Selected Papers
Autor/Editor: Okrut, Tatsiana  Hetsevich, Yuras  Silberztein, Max  Stanislavenka, Hanna
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-42471-2
    + info
Automotive User Interfaces
Autor/Editor: Meixner, Gerrit  Müller, Christian
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-49448-7
    + info
Autonomic Computing
Autor/Editor: Lalanda, Philippe  McCann, Julie A.  Diaconescu, Ada
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-1-4471-5007-7
    + info
Autonomic Road Transport Support Systems
Autor/Editor: McCluskey, Thomas Leo  Kotsialos, Apostolos  Müller, Jörg P.  Klügl, Franziska  Rana, Omer  Schumann, René
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-25808-9
    + info
Autonomous Agents and Multiagent Systems. AAMAS 2016 Workshops, Best Papers, Revised Selected Papers
Autor/Editor: Osman, Nardine  Sierra, Carles
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-46882-2
    + info
Autonomous Agents and Multiagent Systems. AAMAS 2016 Workshops, Visionary Papers, Revised Selected Papers
Autor/Editor: Osman, Nardine  Sierra, Carles
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-46840-2
    + info
Autonomous Agents and Multiagent Systems. AAMAS 2017 Workshops, Best Papers, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers
Autor/Editor: Sukthankar, Gita  Rodriguez-Aguilar, Juan A.
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-71682-4
    + info
Autonomous Agents and Multiagent Systems. AAMAS 2017 Workshops, Visionary Papers, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers
Autor/Editor: Sukthankar, Gita  Rodriguez-Aguilar, Juan A.
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-71679-4
    + info
Autonomous and Intelligent Systems
Autor/Editor: Kamel, Mohamed  Karray, Fakhri  Hagras, Hani
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-31368-4
    + info
[Anterior] de 117 paginas [Siguiente]      registros 381 al 400 de 2328