Registros por pagina: 20 50 100

Buscar Por:

Título

Autor/Editor

Colección


Registros por pagina: 20 50 100

[Anterior] de 19 paginas [Siguiente]      registros 321 al 340 de 375
Software Engineering and Formal Methods
Autor/Editor: Cimatti, Alessandro  Sirjani, Marjan
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-66197-1
    + info
Software Engineering and Formal Methods
Autor/Editor: Johnsen, Einar Broch  Schaefer, Ina
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-92970-5
    + info
Software Engineering for Collective Autonomic Systems
Autor/Editor: Wirsing, Martin  Hölzl, Matthias  Koch, Nora  Mayer, Philip
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-16310-9
    + info
Software Engineering for Self-Adaptive Systems II
Autor/Editor: Lemos, Rogério  Giese, Holger  Müller, Hausi A.  Shaw, Mary
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-35813-5
    + info
Software Reuse : Bridging with Social-Awareness
Autor/Editor: Kapitsaki, Georgia M.  Santana de Almeida, Eduardo
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-35122-3
    + info
Software Reuse for Dynamic Systems in the Cloud and Beyond
Autor/Editor: Schaefer, Ina  Stamelos, Ioannis
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-14130-5
    + info
Software Technologies
Autor/Editor: Cabello, Enrique  Cardoso, Jorge  Maciaszek, Leszek A.  Sinderen, Marten van
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-93641-3
    + info
Software Technologies: Applications and Foundations. STAF 2017 Collocated Workshops, Revised Selected Papers
Autor/Editor: Seidl, Martina  Zschaler, Steffen
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-74730-9
    + info
Software, Services, and Systems
Autor/Editor: Nicola, Rocco  Hennicker, Rolf
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-15545-6
    + info
Solving Software Challenges for Exascale
Autor/Editor: Markidis, Stefano  Laure, Erwin
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-15976-8
    + info
Static Analysis
Autor/Editor: Logozzo, Francesco  Fähndrich, Manuel
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-38856-9
    + info
Static Analysis
Autor/Editor: Podelski, Andreas
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-99725-4
    + info
Structured Object-Oriented Formal Language and Method
Autor/Editor: Liu, Shaoying
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-39277-1
    + info
Supercomputing
Autor/Editor: Voevodin, Vladimir  Sobolev, Sergey
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-55669-7
    + info
Supercomputing
Autor/Editor: Voevodin, Vladimir  Sobolev, Sergey
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-71255-0
    + info
Systems Programming in Unix/Linux
Autor/Editor: Wang, K. C.
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-92429-8
    + info
Testbeds and Research Infrastructure. Development of Networks and Communities. TridentCom 2011
Autor/Editor: Korakis, Thanasis  Li, Hongbin  Tran-Gia, Phuoc  Park, Hong-Shik
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-29273-6
    + info
Tests and Proofs
Autor/Editor: Blanchette, Jasmin Christian  Kosmatov, Nikolai
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-21215-9
    + info
Tests and Proofs
Autor/Editor: Brucker, Achim D.  Julliand, Jacques
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-30473-6
    + info
Tests and Proofs
Autor/Editor: Veanes, Margus  Viganò, Luca
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-38916-0
    + info
[Anterior] de 19 paginas [Siguiente]      registros 321 al 340 de 375