Registros por pagina: 20 50 100

Buscar Por:

Título

Autor/Editor

Colección


Registros por pagina: 20 50 100

[Anterior] de 27 paginas [Siguiente]      registros 301 al 320 de 538
Language and Automata Theory and Applications
Autor/Editor: Dediu, Adrian-Horia  JanouÅ¡ek, Jan  Martín-Vide, Carlos  Truthe, Bianca
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-30000-9
    + info
Language and Automata Theory and Applications
Autor/Editor: Drewes, Frank  Martín-Vide, Carlos  Truthe, Bianca
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-53733-7
    + info
Language, Life, Limits
Autor/Editor: Beckmann, Arnold  Csuhaj-Varjú, Erzsébet  Meer, Klaus
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-08019-2
    + info
Languages Alive
Autor/Editor: Bordihn, Henning  Kutrib, Martin  Truthe, Bianca
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-31644-9
    + info
Large-Scale Scientific Computing
Autor/Editor: Lirkov, Ivan  Margenov, Svetozar D.  WaÅ›niewski, Jerzy
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-26520-9
    + info
Large-Scale Scientific Computing
Autor/Editor: Lirkov, Ivan  Margenov, Svetozar  WaÅ›niewski, Jerzy
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-29843-1
    + info
LATIN 2012: Theoretical Informatics
Autor/Editor: Fernández-Baca, David
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-29344-3
    + info
LATIN 2014: Theoretical Informatics
Autor/Editor: Pardo, Alberto  Viola, Alfredo
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-54423-1
    + info
LATIN 2016 : Theoretical Informatics
Autor/Editor: Kranakis, Evangelos  Navarro, Gonzalo  Chávez, Edgar
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-49529-2
    + info
Learning and Intelligent Optimization
Autor/Editor: Dhaenens, Clarisse  Jourdan, Laetitia  Marmion, Marie-Eléonore
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-19084-6
    + info
Learning and Intelligent Optimization
Autor/Editor: Hamadi, Youssef  Schoenauer, Marc
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-34413-8
    + info
Learning and Intelligent Optimization
Autor/Editor: Nicosia, Giuseppe  Pardalos, Panos
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-44973-4
    + info
Learning and Intelligent Optimization
Autor/Editor: Pardalos, Panos M.  Resende, Mauricio G.C.  Vogiatzis, Chrysafis  Walteros, Jose L.
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-09584-4
    + info
Learning and Intelligent Optimization
Autor/Editor: Festa, Paola  Sellmann, Meinolf  Vanschoren, Joaquin
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-50349-3
    + info
Learning and Intelligent Optimization
Autor/Editor: Battiti, Roberto  Kvasov, Dmitri E.  Sergeyev, Yaroslav D.
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-69404-7
    + info
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications. 7th International Symposium, ISoLA 2016. Proceedings, Part II
Autor/Editor: Margaria, Tiziana  Steffen, Bernhard
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-47169-3
    + info
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. 7th International Symposium, ISoLA 2016. Proceedings, Part I
Autor/Editor: Margaria, Tiziana  Steffen, Bernhard
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-47166-2
    + info
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies
Autor/Editor: Margaria, Tiziana  Steffen, Bernhard
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-34032-1
    + info
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
Autor/Editor: Steffen, Bernhard  Margaria, Tiziana
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-45231-8
    + info
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
Autor/Editor: Margaria, Tiziana  Steffen, Bernhard
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-34026-0
    + info
[Anterior] de 27 paginas [Siguiente]      registros 301 al 320 de 538