• 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: Purnendu, Vasavada C.
  • Autor/Editor: Klimchouk, Alexander
  • Autor/Editor: Amendola, Aniello
  • Autor/Editor: Winterhof, Arne
  • Autor/Editor: Ockenfels, Axel
  • Autor/Editor: Marbà, Nuria
  • Autor/Editor: Shirley, Mary M.
  • Autor/Editor: Catalano, Dario
  • Keyword: Glass
  • Autor/Editor: Reis, Ricardo
  • Autor/Editor: Farshad, Abbas
  • Autor/Editor: Schunter, Matthias
  • Autor/Editor: Stoye, Jens
  • Autor/Editor: Edwards, Mark
  • Autor/Editor: Vilarinho, Thomas
  • Autor/Editor: Flechais, Ivan
  • Autor/Editor: Baawain, Mahad
  • Autor/Editor: Saunders, Bernadette J.
  • Autor/Editor: Ibrahim, Salam A.
  • Autor/Editor: Reenberg, Anette
  • Autor/Editor: Aggarwal, Vinod K.
  • Autor/Editor: Kennedy, K. Heather
  • Autor/Editor: Ramon, Jan
  • Autor/Editor: Alford, Terry L.
  • Autor/Editor: Martinez-Martin, Ester
  • Autor/Editor: Larsen, Kim Guldstrand


  registros 1 al 3 de 3
Dependable Software Engineering. Theories, Tools, and Applications
Autor/Editor: Larsen, Kim Guldstrand  Sokolsky, Oleg  Wang, Ji
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-69483-2
    + info
Reachability Problems
Autor/Editor: Larsen, Kim Guldstrand  Potapov, Igor  Srba, Jiří
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-45994-3
    + info
Verification, Model Checking, and Abstract Interpretation
Autor/Editor: D’Souza, Deepak  Lal, Akash  Larsen, Kim Guldstrand
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-46081-8
    + info
  registros 1 al 3 de 3