Registros por pagina: 20 50 100

Buscar Por:

Título

Autor/Editor

Colección


Registros por pagina: 20 50 100

[Anterior] de 7 paginas [Siguiente]      registros 61 al 80 de 129
Internetware
Autor/Editor: Mei, Hong  Lü, Jian
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-981-10-2546-4
    + info
Interrupt Handling Schemes in Operating Systems
Autor/Editor: Mejia-Alvarez, Pedro  Leyva-del-Foyo, Luis Eduardo  Diaz-Ramirez, Arnaldo
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-94493-7
    + info
Job Scheduling Strategies for Parallel Processing
Autor/Editor: Cirne, Walfredo  Desai, Narayan  Frachtenberg, Eitan  Schwiegelshohn, Uwe
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-35867-8
    + info
Job Scheduling Strategies for Parallel Processing
Autor/Editor: Desai, Narayan  Cirne, Walfredo
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-43779-7
    + 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
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. Technologies for Mastering Change
Autor/Editor: Margaria, Tiziana  Steffen, Bernhard
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-34026-0
    + info
Model-Driven Engineering and Software Development
Autor/Editor: Ferreira Pires, Luís  Hammoudi, Slimane  Selic, Bran
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-94764-8
    + info
Multicore Software Engineering, Performance, and Tools
Autor/Editor: Pankratius, Victor  Philippsen, Michael
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-31202-1
    + info
Multicore Software Engineering, Performance, and Tools
Autor/Editor: Lourenço, João M.  Farchi, Eitan
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-39955-8
    + info
NASA Formal Methods
Autor/Editor: Havelund, Klaus  Holzmann, Gerard  Joshi, Rajeev
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-17524-9
    + info
NASA Formal Methods
Autor/Editor: Goodloe, Alwyn E.  Person, Suzette
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-28891-3
    + info
NASA Formal Methods
Autor/Editor: Brat, Guillaume  Rungta, Neha  Venet, Arnaud
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-38088-4
    + info
NASA Formal Methods
Autor/Editor: Badger, Julia M.  Rozier, Kristin Yvonne
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-06200-6
    + info
NASA Formal Methods
Autor/Editor: Rayadurgam, Sanjai  Tkachuk, Oksana
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-40648-0
    + info
Network and Parallel Computing
Autor/Editor: Park, James J.  Zomaya, Albert  Yeo, Sang-Soo  Sahni, Sartaj
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-35606-3
    + info
Network and Parallel Computing
Autor/Editor: Hsu, Ching-Hsien  Li, Xiaoming  Shi, Xuanhua  Zheng, Ran
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-40820-5
    + info
[Anterior] de 7 paginas [Siguiente]      registros 61 al 80 de 129