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 201 al 220 de 538
Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics
Autor/Editor: Vanneschi, Leonardo  Bush,William S.  Giacobini, Mario
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-37189-9
    + info
Evolutionary Multi-Criterion Optimization
Autor/Editor: Gaspar-Cunha, António  Henggeler Antunes, Carlos  Coello Coello, Carlos
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-15892-1
    + info
Evolutionary Multi-Criterion Optimization
Autor/Editor: Gaspar-Cunha, António  Henggeler Antunes, Carlos  Coello Coello, Carlos
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-15934-8
    + info
Evolving Computability
Autor/Editor: Beckmann, Arnold  Mitrana, Victor  Soskova, Mariya
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-20028-6
    + info
Finite Difference Methods,Theory and Applications
Autor/Editor: Dimov, Ivan  Faragó, István  Vulkov, Lubin
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-20239-6
    + info
FM 2012: Formal Methods
Autor/Editor: Giannakopoulou, Dimitra  Méry, Dominique
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-32759-9
    + info
FM 2014: Formal Methods
Autor/Editor: Jones, Cliff  Pihlajasaari, Pekka  Sun, Jun
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-06410-9
    + info
FM 2015: Formal Methods
Autor/Editor: Bjørner, Nikolaj  De Boer, Frank
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-19249-9
    + info
FM 2016 : Formal Methods
Autor/Editor: Fitzgerald, John  Heitmeyer, Constance  Gnesi, Stefania  Philippou, Anna
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-48989-6
    + info
Formal Grammar
Autor/Editor: Foret, Annie  Morrill, Glyn  Muskens, Reinhard  Osswald, Rainer  Pogodalla, Sylvain
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-53042-9
    + info
Formal Methods for Dynamical Systems
Autor/Editor: Bernardo, Marco  Vink, Erik  Pierro, Alessandra  Wiklicky, Herbert
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-38874-3
    + info
Formal Methods for Industrial Critical Systems
Autor/Editor: Stoelinga, Mariëlle  Pinger, Ralf
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-32469-7
    + info
Formal Methods for Industrial Critical Systems
Autor/Editor: Pecheur, Charles  Dierkes, Michael
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-41010-9
    + info
Formal Modeling and Analysis of Timed Systems
Autor/Editor: Sankaranarayanan, Sriram  Vicario, Enrico
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-22975-1
    + info
Formal Modeling and Analysis of Timed Systems
Autor/Editor: Legay, Axel  Bozga, Marius
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-10512-3
    + info
Formal Modeling and Analysis of Timed Systems
Autor/Editor: Fränzle, Martin  Markey, Nicolas
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-44878-7
    + info
Formal Techniques for Distributed Objects, Components, and Systems
Autor/Editor: Graf, Susanne  Viswanathan, Mahesh
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-19195-9
    + info
Formal Techniques for Distributed Objects, Components, and Systems
Autor/Editor: Ábrahám, Erika  Palamidessi, Catuscia
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-43613-4
    + info
Formal Techniques for Distributed Objects, Components, and Systems
Autor/Editor: Albert, Elvira  Lanese, Ivan
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-39570-8
    + info
Formal Techniques for Distributed Systems
Autor/Editor: Beyer, Dirk  Boreale, Michele
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-38592-6
    + info
[Anterior] de 27 paginas [Siguiente]      registros 201 al 220 de 538