Registros por pagina: 20 50 100

Buscar Por:

Título

Autor/Editor

Colección


Registros por pagina: 20 50 100

  registros 1 al 2 de 2
Automated Technology for Verification and Analysis
Autor/Editor: Lahiri, Shuvendu K.  Wang, Chao
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-01090-4
    + info
Network and Parallel Computing
Autor/Editor: Shi, Xuanhua  An, Hong  Wang, Chao  Kandemir, Mahmut  Jin, Hai
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-68210-5
    + info
  registros 1 al 2 de 2