Registros por pagina: 20 50 100

Buscar Por:

Título

Autor/Editor

Colección


Registros por pagina: 20 50 100

[Anterior] de 38 paginas [Siguiente]      registros 241 al 260 de 745
Formal Aspects of Component Software
Autor/Editor: Păsăreanu, Corina S.  Salaün, Gwen
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-35861-6
    + info
Formal Aspects of Component Software
Autor/Editor: Fiadeiro, José Luiz  Liu, Zhiming  Xue, Jinyun
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-07602-7
    + info
Formal Aspects of Component Software
Autor/Editor: Braga, Christiano  Ölveczky, Peter Csaba
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-28934-2
    + info
Formal Aspects of Component Software. FACS 2011
Autor/Editor: Arbab, Farhad  Ölveczky, Peter Csaba
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-35743-5
    + info
Formal Aspects of Security and Trust
Autor/Editor: Barthe, Gilles  Datta, Anupam  Etalle, Sandro
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-29420-4
    + info
Formal Concept Analysis
Autor/Editor: Bertet, Karell  Borchmann, Daniel  Cellier, Peggy  Ferré, Sébastien
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-59271-8
    + 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: 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. 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 SQL Tuning for Oracle Databases
Autor/Editor: Nossov, Leonid  Ernst, Hanno  Chupis, Victor
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-50417-8
    + 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
Foundations and Practice of Security
Autor/Editor: García-Alfaro, Joaquín  Lafourcade, Pascal
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-27901-0
    + info
Foundations and Practice of Security
Autor/Editor: Garcia-Alfaro, Joaquin  Cuppens, Frédéric  Cuppens-Boulahia, Nora  Miri, Ali  Tawbi, Nadia
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-37119-6
    + info
Foundations of Security Analysis and Design VII
Autor/Editor: Aldini, Alessandro  Lopez, Javier  Martinelli, Fabio
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-10082-1
    + info
Foundations of Security Analysis and Design VIII
Autor/Editor: Aldini, Alessandro  Lopez, Javier  Martinelli, Fabio
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-43005-8
    + info
Frontiers in Algorithmics and Algorithmic Aspects in Information and Management
Autor/Editor: Snoeyink, Jack  Lu, Pinyan  Su, Kaile  Wang, Lusheng
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-29700-7
    + info
Frontiers in Algorithmics and Algorithmic Aspects in Information and Management
Autor/Editor: Fellows, Michael  Tan, Xuehou  Zhu, Binhai
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-38756-2
    + info
Frontiers in Internet Technologies
Autor/Editor: Zhang, Shiyong  Xu, Ke  Xu, Mingwei  Wu, Jie  Wu, Chengrong  Zhong, Yiping
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-46826-5
    + info
[Anterior] de 38 paginas [Siguiente]      registros 241 al 260 de 745