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 341 al 360 de 375
Tests and Proofs
Autor/Editor: Seidl, Martina  Tillmann, Nikolai
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-09099-3
    + info
Tests and Proofs
Autor/Editor: Aichernig, Bernhard K.  Furia, Carlo A.
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-41135-4
    + info
Tests and Proofs
Autor/Editor: Sebastian Gabmeyer, Einar Broch Johnsen
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-61467-0
    + info
The Beauty of Functional Code
Autor/Editor: Achten, Peter  Koopman, Pieter
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-40355-2
    + info
The Deductive Spreadsheet
Autor/Editor: Cervesato, Iliano
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-37747-1
    + info
Theory and Applications of Satisfiability Testing – SAT 2018
Autor/Editor: Beyersdorff, Olaf  Wintersteiger, Christoph M.
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-94144-8
    + info
Theory and Practice of Model Transformation
Autor/Editor: Rensink, Arend  Sánchez Cuadrado, Jesús
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-93317-7
    + info
Tools and Algorithms for the Construction and Analysis of Systems
Autor/Editor: Flanagan, Cormac  König, Barbara
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-28756-5
    + info
Tools for Practical Software Verification
Autor/Editor: Meyer, Bertrand  Nordio, Martin
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-35746-6
    + info
Topics in Theoretical Computer Science
Autor/Editor: Mousavi, Mohammad Reza  Sgall, Jiří
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-68953-1
    + info
Towards Extensible and Adaptable Methods in Computing
Autor/Editor: Chakraverty, Shampa  Goel, Anil  Misra, Sanjay
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-981-13-2348-5
    + info
Transactions on Aspect-Oriented Software Development IX
Autor/Editor: Leavens, Gary T.  Chiba, Shigeru  Haupt, Michael  Ostermann, Klaus  Wohlstadter, Eric
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-35551-6
    + info
Transactions on Aspect-Oriented Software Development X
Autor/Editor: Leavens, Gary T.  Chiba, Shigeru  Tanter, Éric
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-36964-3
    + info
Transactions on Aspect-Oriented Software Development XI
Autor/Editor: Chiba, Shigeru  Tanter, Éric  Bodden, Eric  Maoz, Shahar  Kienzle, Jörg
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-55099-7
    + info
Transactions on Aspect-Oriented Software Development XII
Autor/Editor: Chiba, Shigeru  Tanter, Éric  Ernst, Erik  Hirschfeld, Robert
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-46734-3
    + info
Transactions on Foundations for Mastering Change I
Autor/Editor: Steffen, Bernhard
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-46508-1
    + info
Transactions on Pattern Languages of Programming III
Autor/Editor: Noble, James  Johnson, Ralph  Zdun, Uwe  Wallingford, Eugene
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-38676-3
    + info
Trends in Functional Programming
Autor/Editor: Hage, Jurriaan  McCarthy, Jay
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-14675-1
    + info
Trends in Functional Programming
Autor/Editor: Peña, Ricardo  Page, Rex
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-32037-8
    + info
Trends in Functional Programming
Autor/Editor: Loidl, Hans-Wolfgang  Peña, Ricardo
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-40447-4
    + info
[Anterior] de 19 paginas [Siguiente]      registros 341 al 360 de 375