Registros por pagina: 20 50 100

Buscar Por:

Título

Autor/Editor

Colección


Registros por pagina: 20 50 100

[Anterior] de 77 paginas [Siguiente]      registros 541 al 560 de 1525
Formal Methods for Components and Objects
Autor/Editor: Beckert, Bernhard  Damiani, Ferruccio  Boer, Frank S.  Bonsangue, Marcello M.
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-35887-6
    + info
Formal Methods for Components and Objects
Autor/Editor: Giachino, Elena  Hähnle, Reiner  Boer, Frank S.  Bonsangue, Marcello M.
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-40615-7
    + 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 Executable Software Models
Autor/Editor: Bernardo, Marco  Damiani, Ferruccio  Hähnle, Reiner  Johnsen, Einar Broch  Schaefer, Ina
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-07317-0
    + info
Formal Methods for Industrial Critical Systems
Autor/Editor: Núñez, Manuel  Güdemann, Matthias
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-19458-5
    + 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 Methods for Industrial Critical Systems
Autor/Editor: Lang, Frédéric  Flammini, Francesco
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-10702-8
    + info
Formal Methods for Industrial Critical Systems
Autor/Editor: Howar, Falk  Barnat, Jiří
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-00244-2
    + info
Formal Methods for Model-Driven Engineering
Autor/Editor: Bernardo, Marco  Cortellessa, Vittorio  Pierantonio, Alfonso
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-30982-3
    + info
Formal Methods for Multicore Programming
Autor/Editor: Bernardo, Marco  Johnsen, Einar Broch
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-18941-3
    + info
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
Autor/Editor: Bernardo, Marco  De Nicola, Rocco  Hillston, Jane
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-34096-8
    + info
Formal Methods: Foundations and Applications
Autor/Editor: Braga, Christiano  Martí-Oliet, Narciso
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-15075-8
    + info
Formal Methods: Foundations and Applications
Autor/Editor: Gheyi, Rohit  Naumann, David
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-33296-8
    + info
Formal Methods: Foundations and Applications
Autor/Editor: Cavalheiro, Simone  Fiadeiro, José
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-70848-5
    + info
Formal Methods: Foundations and Applications
Autor/Editor: Massoni, Tiago  Mousavi, Mohammad Reza
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-03044-5
    + info
Formal Methods: Foundations and Applications. 18th Brazilian Symposium, SBMF 2015, Proceedings
Autor/Editor: Cornélio, Márcio  Roscoe, Bill
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-29473-5
    + info
Formal Methods: Foundations and Applications. 19th Brazilian Symposium, SBMF 2016, Proceedings
Autor/Editor: Ribeiro, Leila  Lecomte, Thierry
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-49815-7
    + 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: JurdziÅ„ski, Marcin  Ničković, Dejan
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-33365-1
    + info
[Anterior] de 77 paginas [Siguiente]      registros 541 al 560 de 1525