Registros por pagina: 20 50 100

Buscar Por:

Título

Autor/Editor

Colección


Registros por pagina: 20 50 100

[Anterior] de 27 paginas [Siguiente]      registros 321 al 340 de 538
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
Autor/Editor: Steffen, Bernhard  Margaria, Tiziana
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-45234-9
    + info
Leveraging Applications of Formal Methods, Verification, and Validation
Autor/Editor: Hähnle, Reiner  Knoop, Jens  Margaria, Tiziana  Schreiner, Dietmar  Steffen, Bernhard
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-34781-8
    + info
Leveraging Applications of Formal Methods, Verification, and Validation. 6th International Symposium, ISoLA 2014 and 5th International Symposium, ISoLA 2012. Revised Selected Papers
Autor/Editor: Lamprecht, Anna-Lena
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-51641-7
    + info
Logic and Its Applications
Autor/Editor: Banerjee, Mohua  Krishna, Shankara Narayanan
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-45824-2
    + info
Logic and Its Applications
Autor/Editor: Lodaya, Kamal
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-36039-8
    + info
Logic, Language, Information and Computation
Autor/Editor: Ong, Luke  Queiroz, Ruy
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-32621-9
    + info
Machine Learning Meets Medical Imaging
Autor/Editor: Bhatia, Kanwal K.  Lombaert, Herve
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-27929-9
    + info
Machine Learning, Optimization, and Big Data
Autor/Editor: Pardalos, Panos  Pavone, Mario  Farinella, Giovanni Maria  Cutello, Vincenzo
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-27926-8
    + info
Machine Translation
Autor/Editor: Chen, Yidong  Shi, Xiaodong
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-45701-6
    + info
Machine Translation
Autor/Editor: Yang, Muyun  Liu, Shujie
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-981-10-3635-4
    + info
Machines, Computations, and Universality
Autor/Editor: Durand-Lose, Jerome  Nagy, Benedek
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-23111-2
    + info
Mathematical Aspects of Computer and Information Sciences
Autor/Editor: Kotsireas, Ilias S.  Rump, Siegfried M.  Yap, Chee K.
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-32859-1
    + info
Mathematical Modeling and Computational Science
Autor/Editor: Adam, Gheorghe  BuÅ¡a, Ján  Hnatič, Michal
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-28212-6
    + info
Membrane Computing
Autor/Editor: Rozenberg, Grzegorz  Salomaa, Arto  Sempere, José M.  Zandron, Claudio
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-28475-0
    + info
Membrane Computing
Autor/Editor: Gheorghe, Marian  Păun, Gheorghe  Rozenberg, Grzegorz  Salomaa, Arto  Verlan, Sergey
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-28024-5
    + info
Membrane Computing
Autor/Editor: Csuhaj-Varjú, Erzsébet  Gheorghe, Marian  Rozenberg, Grzegorz  Salomaa, Arto  Vaszil, György
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-36751-9
    + info
Membrane Computing
Autor/Editor: Gheorghe, Marian  Rozenberg, Grzegorz  Salomaa, Arto  Sosík, Petr  Zandron, Claudio
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-14370-5
    + info
Membrane Computing
Autor/Editor: Alhazov, Artiom  Cojocaru, Svetlana  Gheorghe, Marian  Rogozhin, Yurii  Rozenberg, Grzegorz  Salomaa, Arto
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-54239-8
    + info
Membrane Computing
Autor/Editor: Leporati, Alberto  Rozenberg, Grzegorz  Salomaa, Arto  Zandron, Claudio
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-54072-6
    + info
Model-Driven Dependability Assessment of Software Systems
Autor/Editor: Bernardi, Simona  Merseguer, José  Petriu, Dorina Corina
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-39512-3
    + info
[Anterior] de 27 paginas [Siguiente]      registros 321 al 340 de 538