Registros por pagina: 20 50 100

Buscar Por:

Título

Autor/Editor

Colección


Registros por pagina: 20 50 100

[Anterior] de 19 paginas       registros 361 al 375 de 375
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 19 paginas       registros 361 al 375 de 375