Registros por pagina: 20 50 100

Buscar Por:

Título

Autor/Editor

Colección


Registros por pagina: 20 50 100

  registros 1 al 4 de 4
Formal Aspects of Component Software
Autor/Editor: Lanese, Ivan  Madelaine, Eric
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-15317-9
    + 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
Reversible Computation
Autor/Editor: Devitt, Simon  Lanese, Ivan
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-40578-0
    + info
Theoretical Computer Science
Autor/Editor: Diaz, Josep  Lanese, Ivan  Sangiorgi, Davide
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-44602-7
    + info
  registros 1 al 4 de 4