Registros por pagina: 20 50 100

Buscar Por:

Título

Autor/Editor

Colección


Registros por pagina: 20 50 100

[Anterior] de 33 paginas [Siguiente]      registros 21 al 40 de 657
Algorithms - ESA 2015
Autor/Editor: Bansal, Nikhil  Finocchi, Irene
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-48350-3
    + info
Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach
Autor/Editor: Janssen, Jeroen  Schockaert, Steven  Vermeir, Dirk  Cock, Martine de
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.2991/978-94-91216-59-6
    + info
Application and Theory of Petri Nets
Autor/Editor: Haddad, Serge  Pomello, Lucía
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-31131-4
    + info
Application and Theory of Petri Nets and Concurrency
Autor/Editor: Devillers, Raymond  Valmari, Antti
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-19488-2
    + info
Application and Theory of Petri Nets and Concurrency
Autor/Editor: Colom, José-Manuel  Desel, Jörg
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-38697-8
    + info
Application and Theory of Petri Nets and Concurrency
Autor/Editor: Ciardo, Gianfranco  Kindler, Ekkart
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-07734-5
    + info
Application and Theory of Petri Nets and Concurrency
Autor/Editor: Kordon, Fabrice  Moldt, Daniel
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-39086-4
    + info
Application and Theory of Petri Nets and Concurrency
Autor/Editor: Aalst, Wil van der  Best, Eike
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-57861-3
    + info
Application and Theory of Petri Nets and Concurrency
Autor/Editor: Khomenko, Victor  Roux, Olivier H.
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-91268-4
    + info
Applications of Graph Transformations with Industrial Relevance
Autor/Editor: Schürr, Andy  Varró, Dániel  Varró, Gergely
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-34176-2
    + info
Applied Logic for Computer Scientists
Autor/Editor: Ayala-Rincón, Mauricio  Moura, Flávio L. C. de
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-51653-0
    + info
Assurances for Self-Adaptive Systems
Autor/Editor: Cámara, Javier  Lemos, Rogério  Ghezzi, Carlo  Lopes, Antónia
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-36249-1
    + info
Automated Deduction – CADE 26
Autor/Editor: Moura, Leonardo de
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-63046-5
    + info
Automated Deduction – CADE-24
Autor/Editor: Bonacina, Maria Paola
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-38574-2
    + info
Automated Reasoning
Autor/Editor: Gramlich, Bernhard  Miller, Dale  Sattler, Uli
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-31365-3
    + info
Automated Reasoning
Autor/Editor: Demri, Stéphane  Kapur, Deepak  Weidenbach, Christoph
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-08587-6
    + info
Automated Reasoning
Autor/Editor: Olivetti, Nicola  Tiwari, Ashish
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-40229-1
    + info
Automated Reasoning
Autor/Editor: Galmiche, Didier  Schulz, Stephan  Sebastiani, Roberto
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-94205-6
    + info
Automated Reasoning and Mathematics
Autor/Editor: Bonacina, Maria Paola  Stickel, Mark E.
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-36675-8
    + info
Automated Reasoning with Analytic Tableaux and Related Methods
Autor/Editor: De Nivelle, Hans
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-24312-2
    + info
[Anterior] de 33 paginas [Siguiente]      registros 21 al 40 de 657