Registros por pagina: 20 50 100

Buscar Por:

Título

Autor/Editor

Colección


Registros por pagina: 20 50 100

[Anterior] de 77 paginas [Siguiente]      registros 1381 al 1400 de 1525
Theory and Practice of Formal Methods
Autor/Editor: Ábrahám, Erika  Bonsangue, Marcello  Johnsen, Einar Broch
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-30734-3
    + info
Theory and Practice of Model Transformation
Autor/Editor: Guerra, Esther  Brand, Mark van den
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-61473-1
    + 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
Theory and Practice of Model Transformations
Autor/Editor: Kolovos, Dimitris  Wimmer, Manuel
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-21155-8
    + info
Theory and Practice of Model Transformations
Autor/Editor: Hu, Zhenjiang  Lara, Juan
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-30476-7
    + info
Theory and Practice of Model Transformations
Autor/Editor: Duddy, Keith  Kappel, Gerti
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-38883-5
    + info
Theory and Practice of Model Transformations
Autor/Editor: Ruscio, Davide  Varró, Dániel
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-08789-4
    + info
Theory and Practice of Model Transformations
Autor/Editor: Gorp, Pieter Van  Engels, Gregor
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-42064-6
    + info
Theory and Practice of Natural Computing
Autor/Editor: Dediu, Adrian-Horia  Magdalena, Luis  Martín-Vide, Carlos
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-26841-5
    + info
Theory and Practice of Natural Computing
Autor/Editor: Dediu, Adrian-Horia  Martín-Vide, Carlos  Truthe, Bianca
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-33860-1
    + info
Theory and Practice of Natural Computing
Autor/Editor: Dediu, Adrian-Horia  Martín-Vide, Carlos  Truthe, Bianca  Vega-Rodríguez, Miguel A.
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-45008-2
    + info
Theory and Practice of Natural Computing
Autor/Editor: Dediu, Adrian-Horia  Lozano, Manuel  Martín-Vide, Carlos
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-13749-0
    + info
Theory of Security and Applications
Autor/Editor: Mödersheim, Sebastian  Palamidessi, Catuscia
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-27375-9
    + info
Theory, Practice, and Applications of Rules on the Web
Autor/Editor: Morgenstern, Leora  Stefaneas, Petros  Lévy, François  Wyner, Adam  Paschke, Adrian
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-39617-5
    + info
Thinking-Driven Testing
Autor/Editor: Roman, Adam
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-73195-7
    + info
Time and Petri Nets
Autor/Editor: Popova-Zeugmann, Louchka
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-41115-1
    + info
Tools and Algorithms for the Construction and Analysis of Systems
Autor/Editor: Baier, Christel  Tinelli, Cesare
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-46681-0
    + 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 and Algorithms for the Construction and Analysis of Systems
Autor/Editor: Piterman, Nir  Smolka, Scott A.
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-36742-7
    + info
Tools and Algorithms for the Construction and Analysis of Systems
Autor/Editor: Ábrahám, Erika  Havelund, Klaus
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-54862-8
    + info
[Anterior] de 77 paginas [Siguiente]      registros 1381 al 1400 de 1525