Registros por pagina: 20 50 100

Buscar Por:

Título

Autor/Editor

Colección


Registros por pagina: 20 50 100

  de 3 paginas [Siguiente]      registros 1 al 20 de 52
A Study Guide to the ISTQB® Foundation Level 2018 Syllabus
Autor/Editor: Roman, Adam
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-98740-8
    + info
Computational Science and Its Applications – ICCSA 2018 : 18th International Conference, Proceedings, Part I
Autor/Editor: Gervasi, Osvaldo  Murgante, Beniamino  Misra, Sanjay  Stankova, Elena  Torre, Carmelo M.  Rocha, Ana Maria A. C.  Taniar, David  Apduhan, Bernady O.  Tarantino, Eufemia  Ryu, Yeonseung
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-95162-1
    + info
Computational Science and Its Applications – ICCSA 2018 : 18th International Conference, Proceedings, Part II
Autor/Editor: Gervasi, Osvaldo  Murgante, Beniamino  Misra, Sanjay  Stankova, Elena  Torre, Carmelo M.  Rocha, Ana Maria A. C.  Taniar, David  Apduhan, Bernady O.  Tarantino, Eufemia  Ryu, Yeonseung
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-95165-2
    + info
Computational Science and Its Applications – ICCSA 2018 : 18th International Conference, Proceedings, Part III
Autor/Editor: Gervasi, Osvaldo  Murgante, Beniamino  Misra, Sanjay  Stankova, Elena  Torre, Carmelo M.  Rocha, Ana Maria A. C.  Taniar, David  Apduhan, Bernady O.  Tarantino, Eufemia  Ryu, Yeonseung
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-95168-3
    + info
Computational Science and Its Applications – ICCSA 2018 : 18th International Conference, Proceedings, Part IV
Autor/Editor: Gervasi, Osvaldo  Murgante, Beniamino  Misra, Sanjay  Stankova, Elena  Torre, Carmelo M.  Rocha, Ana Maria A. C.  Taniar, David  Apduhan, Bernady O.  Tarantino, Eufemia  Ryu, Yeonseung
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-95171-3
    + info
Computational Science and Its Applications – ICCSA 2018 : 18th International Conference, Proceedings, Part V
Autor/Editor: Gervasi, Osvaldo  Murgante, Beniamino  Misra, Sanjay  Stankova, Elena  Torre, Carmelo M.  Rocha, Ana Maria A. C.  Taniar, David  Apduhan, Bernady O.  Tarantino, Eufemia  Ryu, Yeonseung
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-95174-4
    + info
Computer Aided Verification. 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
Autor/Editor: Majumdar, Rupak  Kunčak, Viktor
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-63387-9
    + info
Engineering Trustworthy Software Systems
Autor/Editor: Bowen, Jonathan P.  Liu, Zhiming  Zhang, Zili
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-56841-6
    + info
Engineering Trustworthy Software Systems
Autor/Editor: Bowen, Jonathan P.  Liu, Zhiming  Zhang, Zili
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-02928-9
    + info
Essence of Systems Analysis and Design
Autor/Editor: Sajja, Priti Srinivas
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-981-10-5128-9
    + info
Formal Aspects of Component Software
Autor/Editor: Proença, José  Lumpe, Markus
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-68034-7
    + info
Formal Methods and Software Engineering
Autor/Editor: Sun, Jing  Sun, Meng
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-02450-5
    + info
Formal Methods for Industrial Critical Systems
Autor/Editor: Howar, Falk  Barnat, Jiří
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-00244-2
    + info
Formal Methods: Foundations and Applications
Autor/Editor: Cavalheiro, Simone  Fiadeiro, José
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-70848-5
    + info
Foundations of Software Science and Computation Structures
Autor/Editor: Baier, Christel  Lago, Ugo Dal
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-89366-2
    + info
Functional and Logic Programming
Autor/Editor: Gallagher, John P.  Sulzmann, Martin
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-90686-7
    + info
Fundamental Approaches to Software Engineering
Autor/Editor: Russo, Alessandra  Schürr, Andy
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-89363-1
    + info
History of Nordic Computing 4
Autor/Editor: Gram, Christian  Rasmussen, Per  Østergaard, Søren Duus
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-17145-6
    + info
Human-Centered and Error-Resilient Systems Development
Autor/Editor: Bogdan, Cristian  Gulliksen, Jan  Sauer, Stefan  Forbrig, Peter  Winckler, Marco  Johnson, Chris  Palanque, Philippe  Bernhaupt, Regina  Kis, Filip
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-44902-9
    + info
Integrated Formal Methods
Autor/Editor: Polikarpova, Nadia  Schneider, Steve
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-66845-1
    + info
  de 3 paginas [Siguiente]      registros 1 al 20 de 52