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 781 al 800 de 1525
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
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. Verification
Autor/Editor: Margaria, Tiziana  Steffen, Bernhard
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-03421-4
    + 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: Ghosh, Sujata  Prasad, Sanjiva
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-54069-5
    + info
Logic and Program Semantics
Autor/Editor: Constable, Robert L.  Silva, Alexandra
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-29485-3
    + info
Logic for Programming, Artificial Intelligence, and Reasoning
Autor/Editor: Davis, Martin  Fehnker, Ansgar  McIver, Annabelle  Voronkov, Andrei
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-48899-7
    + info
Logic for Programming, Artificial Intelligence, and Reasoning
Autor/Editor: Bjørner, Nikolaj  Voronkov, Andrei
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-28717-6
    + info
Logic for Programming, Artificial Intelligence, and Reasoning
Autor/Editor: McMillan, Ken  Middeldorp, Aart  Voronkov, Andrei
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-45221-5
    + info
Logic Programming and Nonmonotonic Reasoning
Autor/Editor: Calimeri, Francesco  Ianni, Giovambattista  Truszczynski, Miroslaw
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-23264-5
    + info
Logic Programming and Nonmonotonic Reasoning
Autor/Editor: Cabalar, Pedro  Son, Tran Cao
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-40564-8
    + info
Logic Programming and Nonmonotonic Reasoning
Autor/Editor: Balduccini, Marcello  Janhunen, Tomi
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-61660-5
    + info
Logic Programs, Norms and Action
Autor/Editor: Artikis, Alexander  Craven, Robert  Kesim Çiçekli, Nihan  Sadighi, Babak  Stathis, Kostas
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-29414-3
    + info
Logic-Based Program Synthesis and Transformation
Autor/Editor: Vidal, Germán
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-32211-2
    + info
Logic-Based Program Synthesis and Transformation
Autor/Editor: Albert, Elvira
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-38197-3
    + info
Logic-Based Program Synthesis and Transformation
Autor/Editor: Gupta, Gopal  Peña, Ricardo
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-14125-1
    + info
Logic-Based Program Synthesis and Transformation
Autor/Editor: Hermenegildo, Manuel V.  Lopez-Garcia, Pedro
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-63139-4
    + info
Logic-Based Program Synthesis and Transformation
Autor/Editor: Fioravanti, Fabio  Gallagher, John P.
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-94460-9
    + info
Logic, Language, Information, and Computation
Autor/Editor: Moss, Lawrence S.  Queiroz, Ruy de  Martinez, Maricarmen
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-662-57669-4
    + info
[Anterior] de 77 paginas [Siguiente]      registros 781 al 800 de 1525