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 281 al 300 de 1525
Computational Science and Its Applications – ICCSA 2013
Autor/Editor: Murgante, Beniamino  Misra, Sanjay  Carlini, Maurizio  Torre, Carmelo M.  Nguyen, Hong-Quang  Taniar, David  Apduhan, Bernady O.  Gervasi, Osvaldo
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-39649-6
    + info
Computational Science and Its Applications – ICCSA 2014. 14th International Conference, Proceedings, Part I
Autor/Editor: Murgante, Beniamino  Misra, Sanjay  Rocha, Ana Maria A. C.  Torre, Carmelo  Rocha, Jorge Gustavo  Falcão, Maria Irene  Taniar, David  Apduhan, Bernady O.  Gervasi, Osvaldo
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-09144-0
    + info
Computational Science and Its Applications – ICCSA 2014. 14th International Conference, Proceedings, Part III
Autor/Editor: Murgante, Beniamino  Misra, Sanjay  Rocha, Ana Maria A. C.  Torre, Carmelo  Rocha, Jorge Gustavo  Falcão, Maria Irene  Taniar, David  Apduhan, Bernady O.  Gervasi, Osvaldo
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-09150-1
    + info
Computational Science and Its Applications – ICCSA 2014. 14th International Conference, Proceedings, Part IV
Autor/Editor: Murgante, Beniamino  Misra, Sanjay  Rocha, Ana Maria A. C.  Torre, Carmelo  Rocha, Jorge Gustavo  Falcão, Maria Irene  Taniar, David  Apduhan, Bernady O.  Gervasi, Osvaldo
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-09147-1
    + info
Computational Science and Its Applications – ICCSA 2014. 14th International Conference, Proceedings, Part V
Autor/Editor: Murgante, Beniamino  Misra, Sanjay  Rocha, Ana Maria A. C.  Torre, Carmelo  Rocha, Jorge Gustavo  Falcão, Maria Irene  Taniar, David  Apduhan, Bernady O.  Gervasi, Osvaldo
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-09156-3
    + info
Computational Science and Its Applications – ICCSA 2014. 14th International Conference, Proceedings, Part VI
Autor/Editor: Murgante, Beniamino  Misra, Sanjay  Rocha, Ana Maria A. C.  Torre, Carmelo  Rocha, Jorge Gustavo  Falcão, Maria Irene  Taniar, David  Apduhan, Bernady O.  Gervasi, Osvaldo
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-09153-2
    + info
Computational Science and Its Applications – ICCSA 2016. 16th International Conference, Proceedings, Part I
Autor/Editor: Gervasi, Osvaldo  Murgante, Beniamino  Misra, Sanjay  Rocha, Ana Maria A. C.  Torre, Carmelo M.  Taniar, David  Apduhan, Bernady O.  Stankova, Elena  Wang, Shangguang
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-42085-1
    + info
Computational Science and Its Applications – ICCSA 2016. 16th International Conference, Proceedings, Part II
Autor/Editor: Gervasi, Osvaldo  Murgante, Beniamino  Misra, Sanjay  Rocha, Ana Maria A.C.  Torre, Carmelo M.  Taniar, David  Apduhan, Bernady O.  Stankova, Elena  Wang, Shangguang
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-42108-7
    + info
Computational Science and Its Applications – ICCSA 2016. 16th International Conference, Proceedings, Part III
Autor/Editor: Gervasi, Osvaldo  Murgante, Beniamino  Misra, Sanjay  Rocha, Ana Maria A.C.  Torre, Carmelo M.  Taniar, David  Apduhan, Bernady O.  Stankova, Elena  Wang, Shangguang
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-42111-7
    + info
Computational Science and Its Applications – ICCSA 2016. 16th International Conference, Proceedings, Part IV
Autor/Editor: Gervasi, Osvaldo  Murgante, Beniamino  Misra, Sanjay  Rocha, Ana Maria A.C.  Torre, Carmelo M.  Taniar, David  Apduhan, Bernady O.  Stankova, Elena  Wang, Shangguang
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-42089-9
    + info
Computational Science and Its Applications – ICCSA 2016. 16th International Conference, Proceedings, Part V
Autor/Editor: Gervasi, Osvaldo  Murgante, Beniamino  Misra, Sanjay  Rocha, Ana Maria A.C.  Torre, Carmelo M.  Taniar, David  Apduhan, Bernady O.  Stankova, Elena  Wang, Shangguang
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-42092-9
    + info
Computational Science and Its Applications – ICCSA 2017. 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part V
Autor/Editor: Gervasi, Osvaldo  Murgante, Beniamino  Misra, Sanjay  Borruso, Giuseppe  Torre, Carmelo M.  Rocha, Ana Maria A. C.  Taniar, David  Apduhan, Bernady O.  Stankova, Elena  Cuzzocrea, Alfredo
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-62404-4
    + info
Computational Science and Its Applications – ICCSA 2017. 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part VI
Autor/Editor: Gervasi, Osvaldo  Murgante, Beniamino  Misra, Sanjay  Borruso, Giuseppe  Torre, Carmelo M.  Rocha, Ana Maria A. C.  Taniar, David  Apduhan, Bernady O.  Stankova, Elena  Cuzzocrea, Alfredo
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-62407-5
    + info
Computer Aided Verification
Autor/Editor: Madhusudan, P.  Seshia, Sanjit A.
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-31424-7
    + info
Computer Aided Verification
Autor/Editor: Sharygina, Natasha  Veith, Helmut
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-39799-8
    + info
Computer Aided Verification. 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
Autor/Editor: Majumdar, Rupak  Kunčak, Viktor
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-63387-9
    + info
Computer Aided Verification. 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
Autor/Editor: Majumdar, Rupak  Kunčak, Viktor
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-63390-9
    + info
Computer Aided Verification. 30th International Conference, Proceedings, Part I
Autor/Editor: Chockler, Hana  Weissenbacher, Georg
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-96145-3
    + info
Computer Aided Verification. 30th International Conference, Proceedings, Part II
Autor/Editor: Chockler, Hana  Weissenbacher, Georg
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-96142-2
    + info
Computer Algebra in Scientific Computing
Autor/Editor: Gerdt, Vladimir P.  Koepf, Wolfram  Seiler, Werner M.  Vorozhtsov, Evgenii V.
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-66320-3
    + info
[Anterior] de 77 paginas [Siguiente]      registros 281 al 300 de 1525