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 561 al 580 de 1525
Formal Modeling and Analysis of Timed Systems
Autor/Editor: Braberman, Víctor  Fribourg, Laurent
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-40229-6
    + 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 Modeling and Analysis of Timed Systems
Autor/Editor: Abate, Alessandro  Geeraerts, Gilles
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-65765-3
    + info
Formal Modeling and Analysis of Timed Systems
Autor/Editor: Jansen, David N.  Prabhakar, Pavithra
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-00151-3
    + 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 Objects, Components, and Systems
Autor/Editor: Bouajjani, Ahmed  Silva, Alexandra
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-60225-7
    + info
Formal Techniques for Distributed Objects, Components, and Systems
Autor/Editor: Baier, Christel  Caires, Luís
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-92612-4
    + info
Formal Techniques for Distributed Systems
Autor/Editor: Giese, Holger  Rosu, Grigore
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-30793-5
    + 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
Formal Techniques for Safety-Critical Systems
Autor/Editor: Artho, Cyrille  Ölveczky, Peter Csaba
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-17581-2
    + info
Formal Techniques for Safety-Critical Systems
Autor/Editor: Artho, Cyrille  Csaba Ölveczky, Peter
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-05416-2
    + info
Formal Techniques for Safety-Critical Systems
Autor/Editor: Artho, Cyrille  Ölveczky, Peter Csaba
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-29510-7
    + info
Formal Techniques for Safety-Critical Systems
Autor/Editor: Artho, Cyrille  Ölveczky, Peter Csaba
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-53946-1
    + info
Formal Verification of Object-Oriented Software
Autor/Editor: Beckert, Bernhard  Damiani, Ferruccio  Gurov, Dilian
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-31762-0
    + info
Foundational and Practical Aspects of Resource Analysis
Autor/Editor: Peña, Ricardo  Eekelen, Marko  Shkaravska, Olha
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-32495-6
    + info
Foundational and Practical Aspects of Resource Analysis
Autor/Editor: Dal Lago, Ugo  Peña, Ricardo
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-12466-7
    + info
Foundational and Practical Aspects of Resource Analysis
Autor/Editor: Eekelen, Marko van  Dal Lago, Ugo
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-46559-3
    + info
[Anterior] de 77 paginas [Siguiente]      registros 561 al 580 de 1525