Registros por pagina: 20 50 100

Buscar Por:

Título

Autor/Editor

Colección


Registros por pagina: 20 50 100

[Anterior] de 31 paginas [Siguiente]      registros 1351 al 1400 de 1525
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
Tests and Proofs
Autor/Editor: Dubois, Catherine  Wolff, Burkhart
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-92994-1
    + info
The Agile Safety Case
Autor/Editor: Myklebust, Thor  Stålhane, Tor
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-70265-0
    + info
The Correctness-by-Construction Approach to Programming
Autor/Editor: Kourie, Derrick G.  Watson, Bruce W.
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-27919-5
    + info
The Design of Requirements Modelling Languages
Autor/Editor: Jureta, Ivan
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-18821-8
    + info
The Dynamics of Global Sourcing. Perspectives and Practices
Autor/Editor: Kotlarsky, Julia  Oshri, Ilan  Willcocks, Leslie P.
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-33920-2
    + info
The Essence of Software Engineering
Autor/Editor: Gruhn, Volker  Striemer, Rüdiger
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-73897-0
    + info
The Handbook of Formal Methods in Human-Computer Interaction
Autor/Editor: Weyers, Benjamin  Bowen, Judy  Dix, Alan  Palanque, Philippe
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-51838-1
    + info
The Journey to Enterprise Agility
Autor/Editor: Kulak, Daryl  Li, Hong
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-54087-0
    + info
The Personal Web
Autor/Editor: Chignell, Mark  Cordy, James R.  Kealey, Ryan  Ng, Joanna  Yesha, Yelena
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-39995-4
    + info
The Practice of Enterprise Modeling
Autor/Editor: Ralyté, Jolita  España, Sergio  Pastor, Óscar
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-25897-3
    + info
The Practice of Enterprise Modeling
Autor/Editor: Petrounias, Ilias  Pastor, Óscar  Loucopoulos, Pericles  Frank, Ulrich
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-45501-2
    + info
The Practice of Enterprise Modeling
Autor/Editor: Poels, Geert  Gailly, Frederik  Serral Asensio, Estefania  Snoeck, Monique
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-70241-4
    + info
The Practice of Enterprise Modeling
Autor/Editor: Buchmann, Robert Andrei  Karagiannis, Dimitris  Kirikova, Marite
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-02302-7
    + info
The Python Workbook
Autor/Editor: Stephenson, Ben
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-14240-1
    + info
The Semantic Web – ISWC 2012. Part I
Autor/Editor: Cudré-Mauroux, Philippe  Heflin, Jeff  Sirin, Evren  Tudorache, Tania  Euzenat, Jérôme  Hauswirth, Manfred  Parreira, Josiane Xavier  Hendler, Jim  Schreiber, Guus  Bernstein, Abraham  Blomqvist, Eva
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-35176-1
    + info
The Semantic Web – ISWC 2012. Part II
Autor/Editor: Cudré-Mauroux, Philippe  Heflin, Jeff  Sirin, Evren  Tudorache, Tania  Euzenat, Jérôme  Hauswirth, Manfred  Parreira, Josiane Xavier  Hendler, Jim  Schreiber, Guus  Bernstein, Abraham  Blomqvist, Eva
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-35173-0
    + info
The Semantic Web. 14th International Conference, ESWC 2017, Portorož, Slovenia, May 28 – June 1, 2017, Proceedings, Part I
Autor/Editor: Blomqvist, Eva  Maynard, Diana  Gangemi, Aldo  Hoekstra, Rinke  Hitzler, Pascal  Hartig, Olaf
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-58068-5
    + info
The Semantic Web. 14th International Conference, ESWC 2017, Portorož, Slovenia, May 28 – June 1, 2017, Proceedings, Part II
Autor/Editor: Blomqvist, Eva  Maynard, Diana  Gangemi, Aldo  Hoekstra, Rinke  Hitzler, Pascal  Hartig, Olaf
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-58451-5
    + info
Theoretical Aspects of Computing - ICTAC 2015
Autor/Editor: Leucker, Martin  Rueda, Camilo  Valencia, Frank D.
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-25150-9
    + info
Theoretical Aspects of Computing – ICTAC 2012
Autor/Editor: Roychoudhury, Abhik  D’Souza, Meenakshi
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-32943-2
    + info
Theoretical Aspects of Computing – ICTAC 2013
Autor/Editor: Liu, Zhiming  Woodcock, Jim  Zhu, Huibiao
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-39718-9
    + info
Theoretical Aspects of Computing – ICTAC 2014
Autor/Editor: Ciobanu, Gabriel  Méry, Dominique
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-10882-7
    + info
Theoretical Aspects of Computing – ICTAC 2016
Autor/Editor: Sampaio, Augusto  Wang, Farn
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-46750-4
    + info
Theoretical Aspects of Computing – ICTAC 2017
Autor/Editor: Hung, Dang Van  Kapur, Deepak
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-67729-3
    + info
Theoretical Aspects of Computing – ICTAC 2018
Autor/Editor: Fischer, Bernd  Uustalu, Tarmo
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-02508-3
    + info
Theories of Programming and Formal Methods
Autor/Editor: Liu, Zhiming  Woodcock, Jim  Zhu, Huibiao
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-39698-4
    + info
Theory and Applications of Satisfiability Testing – SAT 2016
Autor/Editor: Creignou, Nadia  Le Berre, Daniel
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-40970-2
    + info
Theory and Applications of Satisfiability Testing – SAT 2017
Autor/Editor: Gaspers, Serge  Walsh, Toby
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-66263-3
    + 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 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 31 paginas [Siguiente]      registros 1351 al 1400 de 1525