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 101 al 120 de 375
Formal Methods and Software Engineering
Autor/Editor: Ogata, Kazuhiro  Lawford, Mark  Liu, Shaoying
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-47846-3
    + info
Formal Methods and Software Engineering
Autor/Editor: Duan, Zhenhua  Ong, Luke
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-68690-5
    + info
Formal Methods for Components and Objects
Autor/Editor: Aichernig, Bernhard K.  Boer, Frank S.  Bonsangue, Marcello M.
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-25271-6
    + info
Formal Methods: Foundations and Applications
Autor/Editor: Massoni, Tiago  Mousavi, Mohammad Reza
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-03044-5
    + info
Formal Modeling and Analysis of Timed Systems
Autor/Editor: JurdziÅ„ski, Marcin  Ničković, Dejan
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-33365-1
    + info
Formal Techniques for Distributed Systems
Autor/Editor: Giese, Holger  Rosu, Grigore
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-30793-5
    + info
Formal Verification of Object-Oriented Software
Autor/Editor: Beckert, Bernhard  Damiani, Ferruccio  Gurov, Dilian
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-31762-0
    + info
Foundational Java
Autor/Editor: Parsons, David
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-1-4471-2479-5
    + info
Frontiers of Combining Systems
Autor/Editor: Lutz, Carsten  Ranise, Silvio
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-24246-0
    + info
Frontiers of Combining Systems
Autor/Editor: Fontaine, Pascal  Ringeissen, Christophe  Schmidt, Renate A.
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-40885-4
    + info
Functional and Logic Programming
Autor/Editor: Schrijvers, Tom  Thiemann, Peter
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-29822-6
    + info
Functional and Logic Programming
Autor/Editor: Codish, Michael  Sumii, Eijiro
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-07151-0
    + info
Functional and Logic Programming
Autor/Editor: Kiselyov, Oleg  King, Andy
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-29604-3
    + info
Functional and Logic Programming
Autor/Editor: Gallagher, John P.  Sulzmann, Martin
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-90686-7
    + info
Fundamental Approaches to Software Engineering
Autor/Editor: Lara, Juan  Zisman, Andrea
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-28872-2
    + info
Fundamentals of Java Programming
Autor/Editor: Ogihara, Mitsunori
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-89491-1
    + info
Fundamentals of Software Engineering
Autor/Editor: Dastani, Mehdi  Sirjani, Marjan
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-24644-4
    + info
Fundamentals of Software Engineering
Autor/Editor: Arbab, Farhad  Sirjani, Marjan
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-29320-7
    + info
Fundamentals of Software Engineering
Autor/Editor: Dastani, Mehdi  Sirjani, Marjan
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-68972-2
    + info
Generative and Transformational Techniques in Software Engineering IV
Autor/Editor: Lämmel, Ralf  Saraiva, João  Visser, Joost
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-35992-7
    + info
[Anterior] de 19 paginas [Siguiente]      registros 101 al 120 de 375