Registros por pagina: 20 50 100

Buscar Por:

Título

Autor/Editor

Colección


Registros por pagina: 20 50 100

[Anterior] de 8 paginas       registros 351 al 375 de 375
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
Trends in Functional Programming
Autor/Editor: McCarthy, Jay
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-45340-3
    + info
Trends in Functional Programming
Autor/Editor: Serrano, Manuel  Hage, Jurriaan
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-39110-6
    + info
Trends in Functional Programming
Autor/Editor: Wang, Meng  Owens, Scott
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-89719-6
    + info
Understanding Control Flow
Autor/Editor: Buhr, Peter A.
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-25703-7
    + info
Using Event-B for Critical Device Software Systems
Autor/Editor: Singh, Neeraj Kumar
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-1-4471-5260-6
    + info
Verification and Evaluation of Computer and Communication Systems
Autor/Editor: Barkaoui, Kamel  Boucheneb, Hanifa  Mili, Ali  Tahar, Sofiène
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-66176-6
    + info
Verification of Business Rules Programs
Autor/Editor: Berstel-Da Silva, Bruno
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-40038-4
    + info
Verification, Model Checking, and Abstract Interpretation
Autor/Editor: Kuncak, Viktor  Rybalchenko, Andrey
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-27940-9
    + info
Verified Software : Theories, Tools, and Experiments : 7th International Conference
Autor/Editor: Gurfinkel, Arie  Seshia, Sanjit A.
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-29613-5
    + info
Verified Software: Theories, Tools and Experiments
Autor/Editor: Giannakopoulou, Dimitra  Kroening, Daniel
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-12154-3
    + info
Verified Software: Theories, Tools, Experiments
Autor/Editor: Joshi, Rajeev  Müller, Peter  Podelski, Andreas
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-27705-4
    + info
Verified Software: Theories, Tools, Experiments
Autor/Editor: Cohen, Ernie  Rybalchenko, Andrey
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-54108-7
    + info
Verified Software. Theories, Tools, and Experiments : 8th International Conference
Autor/Editor: Blazy, Sandrine  Chechik, Marsha
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-48869-1
    + info
Web Programming with PHP and MySQL
Autor/Editor: Bramer, Max
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-22659-0
    + info
Wireless Sensor Networks
Autor/Editor: Picco, Gian Pietro  Heinzelman, Wendi
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-28169-3
    + info
[Anterior] de 8 paginas       registros 351 al 375 de 375