Registros por pagina: 20 50 100

Buscar Por:

Título

Autor/Editor

Colección


Registros por pagina: 20 50 100

  registros 1 al 3 de 3
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
Hybrid Systems Biology
Autor/Editor: Abate, Alessandro  Å afránek, David
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-26916-0
    + info
Numerical Software Verification. 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
Autor/Editor: Abate, Alessandro  Boldo, Sylvie
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-63501-9
    + info
  registros 1 al 3 de 3