• Buscar
  • Avanzada
  • Historial




Registros por pagina: 20 50 100

Buscar Por:

Título

Autor/Editor

Colección


Registros por pagina: 20 50 100

Busquedas:

  • Autor/Editor: Stwalley, W. C.
  • Autor/Editor: Calder, Paul
  • Autor/Editor: Papadakis, Nicolas
  • Autor/Editor: Johnston, D. C.
  • Autor/Editor: Musterd, S.
  • Autor/Editor: Bergbreiter, Sarah
  • Autor/Editor: Gil Solla, Alberto
  • Autor/Editor: Ahmed, Kamal
  • Autor/Editor: Farrell, T.
  • Autor/Editor: Sahlan, Shafishuhaza
  • Autor/Editor: Gaffikin, F.
  • Autor/Editor: Chang, Dong Eui
  • Autor/Editor: Ratcliffe, P. G.
  • Autor/Editor: Haggard, Ben
  • Autor/Editor: Yan, Da
  • Autor/Editor: Scholz, Christoph
  • Autor/Editor: West, Amanda
  • Autor/Editor: Dang, Jianwu
  • Autor/Editor: Vasilecas, Olegas
  • Autor/Editor: Garcia, Anthony
  • Autor/Editor: Tardin, Raquel
  • Autor/Editor: Koch, Reinhard
  • Autor/Editor: Hall, T.
  • Autor/Editor: Peacock, Walter Gillis
  • Autor/Editor: Jones, C.
  • Autor/Editor: Povh, Bogdan
  • Autor/Editor: Beimel, Amos
  • Autor/Editor: Noble, Allen G.
  • Autor/Editor: Cetin, Bora
  • Autor/Editor: Pinger, Ralf


  registros 1 al 2 de 2
Formal Methods for Industrial Critical Systems
Autor/Editor: Stoelinga, Mariëlle  Pinger, Ralf
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-32469-7
    + info
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Autor/Editor: Lecomte, Thierry  Pinger, Ralf  Romanovsky, Alexander
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-33951-1
    + info
  registros 1 al 2 de 2