Registros por pagina: 20 50 100

Buscar Por:

Título

Autor/Editor

Colección


Registros por pagina: 20 50 100

  registros 1 al 17 de 17
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications. 7th International Symposium, ISoLA 2016. Proceedings, Part II
Autor/Editor: Margaria, Tiziana  Steffen, Bernhard
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-47169-3
    + info
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. 7th International Symposium, ISoLA 2016. Proceedings, Part I
Autor/Editor: Margaria, Tiziana  Steffen, Bernhard
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-47166-2
    + info
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies
Autor/Editor: Margaria, Tiziana  Steffen, Bernhard
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-34032-1
    + info
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
Autor/Editor: Margaria, Tiziana  Steffen, Bernhard
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-03424-5
    + info
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
Autor/Editor: Margaria, Tiziana  Steffen, Bernhard
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-03427-6
    + info
Leveraging Applications of Formal Methods, Verification and Validation. Modeling
Autor/Editor: Margaria, Tiziana  Steffen, Bernhard
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-03418-4
    + info
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
Autor/Editor: Steffen, Bernhard  Margaria, Tiziana
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-45231-8
    + info
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
Autor/Editor: Margaria, Tiziana  Steffen, Bernhard
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-34026-0
    + info
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
Autor/Editor: Steffen, Bernhard  Margaria, Tiziana
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-45234-9
    + info
Leveraging Applications of Formal Methods, Verification and Validation. Verification
Autor/Editor: Margaria, Tiziana  Steffen, Bernhard
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-03421-4
    + info
Leveraging Applications of Formal Methods, Verification, and Validation
Autor/Editor: Hähnle, Reiner  Knoop, Jens  Margaria, Tiziana  Schreiner, Dietmar  Steffen, Bernhard
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-34781-8
    + info
Process Design for Natural Scientists
Autor/Editor: Margaria, Tiziana  Lamprecht, Anna-Lena
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-45006-2
    + info
Service-Oriented Computing - ICSOC 2008
Autor/Editor: Hutchison, David  Kanade, Takeo  Kittler, Josef  Kleinberg, Jon M.  Mattern, Friedemann  Mitchell, John C.  Naor, Moni  Nierstrasz, Oscar  Pandu Rangan, C.  Steffen, Bernhard  Sudan, Madhu  Terzopoulos, Demetri  Tygar, Doug  Vardi, Moshe Y.  Weikum, Gerhard  Bouguettaya, Athman  Krueger, Ingolf  Margaria, Tiziana
Año de edición: 2008
Acceso: UBA
http://dx.doi.org/10.1007/978-3-540-89652-4
    + info
SOFSEM 2017: Theory and Practice of Computer Science
Autor/Editor: Steffen, Bernhard  Baier, Christel  Brand, Mark van den  Eder, Johann  Hinchey, Mike  Margaria, Tiziana
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-51963-0
    + info
Software Business. From Physical Products to Software Services and Solutions
Autor/Editor: Herzwurm, Georg  Margaria, Tiziana
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-39336-5
    + info
Tools and Algorithms for the Construction and Analysis of Systems
Autor/Editor: Legay, Axel  Margaria, Tiziana
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-54577-5
    + info
Tools and Algorithms for the Construction and Analysis of Systems
Autor/Editor: Legay, Axel  Margaria, Tiziana
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-54580-5
    + info
  registros 1 al 17 de 17