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 521 al 540 de 1525
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
Autor/Editor: Kouchnarenko, Olga  Khosravi, Ramtin
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-57666-4
    + info
Formal Aspects of Component Software
Autor/Editor: Proença, José  Lumpe, Markus
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-68034-7
    + info
Formal Aspects of Component Software
Autor/Editor: Bae, Kyungmin  Ölveczky, Peter Csaba
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-02146-7
    + info
Formal Aspects of Component Software. FACS 2010
Autor/Editor: Soares Barbosa, Luís  Lumpe, Markus
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-27269-1
    + 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 Concept Analysis
Autor/Editor: Baixeries, Jaume  Sacarea, Christian  Ojeda-Aciego, Manuel
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-19545-2
    + info
Formal Concept Analysis
Autor/Editor: Domenach, Florent  Ignatov, Dmitry I.  Poelmans, Jonas
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-29892-9
    + info
Formal Concept Analysis
Autor/Editor: Cellier, Peggy  Distel, Felix  Ganter, Bernhard
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-38317-5
    + 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
Autor/Editor: Havelund, Klaus  Peleska, Jan  Roscoe, Bill  Vink, Erik de
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-95582-7
    + info
Formal Methods and Software Engineering
Autor/Editor: Butler, Michael  Conchon, Sylvain  Zaïdi, Fatiha
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-25423-4
    + info
Formal Methods and Software Engineering
Autor/Editor: Aoki, Toshiaki  Taguchi, Kenji
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-34281-3
    + info
Formal Methods and Software Engineering
Autor/Editor: Groves, Lindsay  Sun, Jing
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-41202-8
    + info
Formal Methods and Software Engineering
Autor/Editor: Merz, Stephan  Pang, Jun
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-11737-9
    + info
Formal Methods and Software Engineering
Autor/Editor: Ogata, Kazuhiro  Lawford, Mark  Liu, Shaoying
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-47846-3
    + info
Formal Methods and Software Engineering
Autor/Editor: Duan, Zhenhua  Ong, Luke
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-68690-5
    + info
Formal Methods and Software Engineering
Autor/Editor: Sun, Jing  Sun, Meng
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-02450-5
    + info
Formal Methods for Components and Objects
Autor/Editor: Aichernig, Bernhard K.  Boer, Frank S.  Bonsangue, Marcello M.
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-25271-6
    + info
[Anterior] de 77 paginas [Siguiente]      registros 521 al 540 de 1525