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
Computational Methods in Systems Biology
Autor/Editor: Bartocci, Ezio  Lio, Pietro  Paoletti, Nicola
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-45177-0
    + info
Lectures on Runtime Verification
Autor/Editor: Bartocci, Ezio  Falcone, Yliès
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-75632-5
    + info
Model Checking Software
Autor/Editor: Bartocci, Ezio  Ramakrishnan, C. R.
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-39176-7
    + info
Runtime Verification
Autor/Editor: Bartocci, Ezio  Majumdar, Rupak
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-23820-3
    + info
  registros 1 al 4 de 4