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 721 al 740 de 1525
Intelligent Computer Mathematics
Autor/Editor: Kohlhase, Michael  Johansson, Moa  Miller, Bruce  Moura, Leonardo de  Tompa, Frank
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-42547-4
    + info
Intelligent Computer Mathematics
Autor/Editor: Geuvers, Herman  England, Matthew  Hasan, Osman  Rabe, Florian  Teschke, Olaf
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-62075-6
    + info
Intelligent Software Methodologies, Tools and Techniques
Autor/Editor: Fujita, Hamido  Selamat, Ali
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-17530-0
    + info
Intelligent Software Methodologies, Tools and Techniques
Autor/Editor: Fujita, Hamido  Guizzi, Guido
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-22689-7
    + info
Intelligent, Secure, and Dependable Systems in Distributed and Cloud Environments
Autor/Editor: Traore, Issa  Woungang, Isaac  Awad, Ahmed
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-69155-8
    + info
Interactive Modeling and Simulation in Business System Design
Autor/Editor: Roubtsova, Ella
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-15102-1
    + info
Interactive Theorem Proving
Autor/Editor: Urban, Christian  Zhang, Xingyuan
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-22102-1
    + info
Interactive Theorem Proving
Autor/Editor: Beringer, Lennart  Felty, Amy
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-32347-8
    + info
Interactive Theorem Proving
Autor/Editor: Blazy, Sandrine  Paulin-Mohring, Christine  Pichardie, David
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-39634-2
    + info
Interactive Theorem Proving
Autor/Editor: Klein, Gerwin  Gamboa, Ruben
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-08970-6
    + info
Interactive Theorem Proving
Autor/Editor: Blanchette, Jasmin Christian  Merz, Stephan
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-43144-4
    + info
Interactive Theorem Proving
Autor/Editor: Ayala-Rincón, Mauricio  Muñoz, César A.
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-66107-0
    + info
Interactive Theorem Proving
Autor/Editor: Avigad, Jeremy  Mahboubi, Assia
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-94821-8
    + info
Internet and Distributed Computing Systems
Autor/Editor: Di Fatta, Giuseppe  Fortino, Giancarlo  Li, Wenfeng  Pathan, Mukaddim  Stahl, Frederic  Guerrieri, Antonio
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-23237-9
    + info
Internet and Distributed Computing Systems
Autor/Editor: Xiang, Yang  Pathan, Mukaddim  Tao, Xiaohui  Wang, Hua
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-34883-9
    + info
Internet and Distributed Computing Systems
Autor/Editor: Pathan, Mukaddim  Wei, Guiyi  Fortino, Giancarlo
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-41428-2
    + info
Internet and Distributed Computing Systems
Autor/Editor: Fortino, Giancarlo  Fatta, Giuseppe  Li, Wenfeng  Ochoa, Sergio  Cuzzocrea, Alfredo  Pathan, Mukaddim
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-11692-1
    + info
Internet and Distributed Computing Systems
Autor/Editor: Fortino, Giancarlo  Ali, A .B. M. Shawkat  Pathan, Mukaddim  Guerrieri, Antonio  Di Fatta, Giuseppe
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-97795-9
    + info
Internet and Network Economics
Autor/Editor: Goldberg, Paul W.
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-35311-6
    + info
Internet of Things. IoT Infrastructures. Second International Summit, IoT 360° 2015, Revised Selected Papers, Part I
Autor/Editor: Mandler, Benny  Marquez-Barja, Johann  Mitre Campista, Miguel Elias  Cagáňová, Dagmar  Chaouchi, Hakima  Zeadally, Sherali  Badra, Mohamad  Giordano, Stefano  Fazio, Maria  Somov, Andrey  Vieriu, Radu-Laurentiu
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-47063-4
    + info
[Anterior] de 77 paginas [Siguiente]      registros 721 al 740 de 1525