Registros por pagina: 20 50 100

Buscar Por:

Título

Autor/Editor

Colección


Registros por pagina: 20 50 100

[Anterior] de 4 paginas       registros 61 al 78 de 78
Relaxed Abduction
Autor/Editor: Hubauer, Thomas
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-658-14407-4
    + info
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Autor/Editor: Fantechi, Alessandro  Lecomte, Thierry  Romanovsky, Alexander
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-68499-4
    + info
Researching Complex Information Infrastructures
Autor/Editor: Ludwig, Thomas
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-658-16921-3
    + info
Rewriting and Typed Lambda Calculi
Autor/Editor: Dowek, Gilles
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-08918-8
    + info
Smart Mobility – Connecting Everyone
Autor/Editor: Flügge, Barbara
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-658-15622-0
    + info
Social Computing in Digital Education
Autor/Editor: Koch, Fernando  Koster, Andrew  Primo, Tiago
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-39672-9
    + info
Social Informatics. 9th International Conference, SocInfo 2017, Oxford, UK, September 13-15, 2017, Proceedings, Part I
Autor/Editor: Ciampaglia, Giovanni Luca  Mashhadi, Afra  Yasseri, Taha
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-67217-5
    + info
Social Informatics. 9th International Conference, SocInfo 2017, Oxford, UK, September 13-15, 2017, Proceedings, Part II
Autor/Editor: Ciampaglia, Giovanni Luca  Mashhadi, Afra  Yasseri, Taha
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-67256-4
    + info
Statistical Atlases and Computational Models of the Heart. Imaging and Modelling Challenges
Autor/Editor: Camara, Oscar  Konukoglu, Ender  Pop, Mihaela  Rhode, Kawal  Sermesant, Maxime  Young, Alistair
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-28326-0
    + info
Statistical Atlases and Computational Models of the Heart. Imaging and Modelling Challenges
Autor/Editor: Camara, Oscar  Mansi, Tommaso  Pop, Mihaela  Rhode, Kawal  Sermesant, Maxime  Young, Alistair
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-36961-2
    + info
Statistical Atlases and Computational Models of the Heart. Imaging and Modelling Challenges
Autor/Editor: Camara, Oscar  Mansi, Tommaso  Pop, Mihaela  Rhode, Kawal  Sermesant, Maxime  Young, Alistair
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-54268-8
    + info
Structured Object-Oriented Formal Language and Method
Autor/Editor: Liu, Shaoying  Duan, Zhenhua  Tian, Cong  Nagoya, Fumiko
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-57708-1
    + info
Tests and Proofs
Autor/Editor: Sebastian Gabmeyer, Einar Broch Johnsen
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-61467-0
    + info
The Semantic Web: ESWC 2017 Satellite Events
Autor/Editor: Blomqvist, Eva  Hose, Katja  Paulheim, Heiko  Åawrynowicz, Agnieszka  Ciravegna, Fabio  Hartig, Olaf
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-70407-4
    + info
Theory of Cryptography. 15th International Conference, TCC 2017, Baltimore, MD, USA, November 12-15, 2017, Proceedings, Part II
Autor/Editor: Kalai, Yael  Reyzin, Leonid
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-70503-3
    + info
Typed Lambda Calculi and Applications
Autor/Editor: Hasegawa, Masahito
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-38946-7
    + info
Understanding High-Dimensional Spaces
Autor/Editor: Skillicorn, David B.
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-33398-9
    + info
Understanding Petri Nets
Autor/Editor: Reisig, Wolfgang
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-33278-4
    + info
[Anterior] de 4 paginas       registros 61 al 78 de 78