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 761 al 780 de 1525
Knowledge Science, Engineering and Management
Autor/Editor: Buchmann, Robert  Kifor, Claudiu Vasile  Yu, Jian
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-12096-6
    + info
Knowledge-Based Software Engineering
Autor/Editor: Kravets, Alla  Shcherbakov, Maxim  Kultsova, Marina  Iijima, Tadashi
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-11854-3
    + info
Land Subsidence Analysis in Urban Areas
Autor/Editor: Zeitoun, David G.  Wakshal, Eliyahu
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-94-007-5506-2
    + info
Languages and Compilers for Parallel Computing
Autor/Editor: Brodman, James  Tu, Peng
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-17473-0
    + info
Languages and Compilers for Parallel Computing
Autor/Editor: Kasahara, Hironori  Kimura, Keiji
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-37658-0
    + info
Languages and Compilers for Parallel Computing
Autor/Editor: Shen, Xipeng  Mueller, Frank  Tuck, James
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-29778-1
    + info
Languages and Compilers for Parallel Computing
Autor/Editor: Ding, Chen  Criswell, John  Wu, Peng
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-52709-3
    + info
Languages, Applications and Technologies
Autor/Editor: Sierra-Rodríguez, José-Luis  Leal, José-Paulo  Simões, Alberto
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-27653-3
    + info
Large-Scale Complex IT Systems. Development, Operation and Management
Autor/Editor: Calinescu, Radu  Garlan, David
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-34059-8
    + info
Lean Enterprise Software and Systems
Autor/Editor: Fitzgerald, Brian  Conboy, Kieran  Power, Ken  Valerdi, Ricardo  Morgan, Lorraine  Stol, Klaas-Jan
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-44930-7
    + info
Lean Software Development in Action
Autor/Editor: Janes, Andrea  Succi, Giancarlo
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-00503-9
    + info
Learning Technology for Education Challenges
Autor/Editor: Uden, Lorna  Liberona, Dario  Ristvej, Jozef
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-95522-3
    + info
Lectures on Runtime Verification
Autor/Editor: Bartocci, Ezio  Falcone, Yliès
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-75632-5
    + info
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications. 7th International Symposium, ISoLA 2016. Proceedings, Part II
Autor/Editor: Margaria, Tiziana  Steffen, Bernhard
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-47169-3
    + info
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. 7th International Symposium, ISoLA 2016. Proceedings, Part I
Autor/Editor: Margaria, Tiziana  Steffen, Bernhard
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-47166-2
    + info
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies
Autor/Editor: Margaria, Tiziana  Steffen, Bernhard
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-34032-1
    + info
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
Autor/Editor: Margaria, Tiziana  Steffen, Bernhard
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-03424-5
    + info
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
Autor/Editor: Margaria, Tiziana  Steffen, Bernhard
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-03427-6
    + info
Leveraging Applications of Formal Methods, Verification and Validation. Modeling
Autor/Editor: Margaria, Tiziana  Steffen, Bernhard
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-03418-4
    + info
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
Autor/Editor: Steffen, Bernhard  Margaria, Tiziana
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-45231-8
    + info
[Anterior] de 77 paginas [Siguiente]      registros 761 al 780 de 1525