Registros por pagina: 20 50 100

Buscar Por:

Título

Autor/Editor

Colección


Registros por pagina: 20 50 100

  de 14 paginas [Siguiente]      registros 1 al 50 de 657
A First Introduction to Quantum Computing and Information
Autor/Editor: Zygelman, Bernard
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-91629-3
    + info
A General Framework for Reasoning On Inconsistency
Autor/Editor: Martinez, Maria Vanina  Molinaro, Cristian  Subrahmanian, V.S.  Amgoud, Leila
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-1-4614-6750-2
    + info
A List of Successes That Can Change the World
Autor/Editor: Lindley, Sam  McBride, Conor  Trinder, Phil  Sannella, Don
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-30936-1
    + info
A Polynomial Translation of Mobile Ambients into Safe Petri Nets
Autor/Editor: Göbel, Susanne
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-658-11765-8
    + info
Abstract State Machines, Alloy, B, TLA, VDM, and Z
Autor/Editor: Ait Ameur, Yamine  Schewe, Klaus-Dieter
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-43652-3
    + info
Abstract State Machines, Alloy, B, TLA, VDM, and Z
Autor/Editor: Butler, Michael  Schewe, Klaus-Dieter  Mashkoor, Atif  Biro, Miklos
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-33600-8
    + info
Abstract State Machines, Alloy, B, TLA, VDM, and Z
Autor/Editor: Butler, Michael  Raschke, Alexander  Hoang, Thai Son  Reichl, Klaus
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-91271-4
    + info
Abstract State Machines, Alloy, B, VDM, and Z
Autor/Editor: Derrick, John  Fitzgerald, John  Gnesi, Stefania  Khurshid, Sarfraz  Leuschel, Michael  Reeves, Steve  Riccobene, Elvinia
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-30885-7
    + info
ABZ 2014: The Landing Gear Case Study
Autor/Editor: Boniol, Frédéric  Wiels, Virginie  Ait Ameur, Yamine  Schewe, Klaus-Dieter
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-07512-9
    + info
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation
Autor/Editor: Eiter, Thomas  Strass, Hannes  TruszczyÅ„ski, MirosÅ‚aw  Woltran, Stefan
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-14726-0
    + info
Advances in Software Engineering Techniques
Autor/Editor: Szmuc, Tomasz  Szpyrka, Marcin  Zendulka, Jaroslav
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-28038-2
    + info
AI Approaches to the Complexity of Legal Systems
Autor/Editor: Pagallo, Ugo  Palmirani, Monica  Casanovas, Pompeu  Sartor, Giovanni  Villata, Serena
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-00178-0
    + info
AI*IA 2017 Advances in Artificial Intelligence
Autor/Editor: Esposito, Floriana  Basili, Roberto  Ferilli, Stefano  Lisi, Francesca A.
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-70169-1
    + info
Algebraic and Algorithmic Aspects of Differential and Integral Operators
Autor/Editor: Barkatou, Moulay  Cluzeau, Thomas  Regensburger, Georg  Rosenkranz, Markus
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-54479-8
    + info
Algebraic and Numeric Biology
Autor/Editor: Horimoto, Katsuhisa  Nakatsui, Masahiko  Popov, Nikolaj
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-28067-2
    + info
Algebraic Informatics
Autor/Editor: Maletti, Andreas
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-23021-4
    + info
Algebraic Informatics
Autor/Editor: Muntean, Traian  Poulakis, Dimitrios  Rolland, Robert
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-40663-8
    + info
Algorithmic Aspects of Cloud Computing
Autor/Editor: Karydis, Ioannis  Sioutas, Spyros  Triantafillou, Peter  Tsoumakos, Dimitrios
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-29919-8
    + info
Algorithmic Learning Theory
Autor/Editor: Bshouty, Nader H.  Stoltz, Gilles  Vayatis, Nicolas  Zeugmann, Thomas
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-34106-9
    + info
Algorithmic Learning Theory
Autor/Editor: Jain, Sanjay  Munos, Rémi  Stephan, Frank  Zeugmann, Thomas
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-40935-6
    + info
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
Automated Reasoning with Analytic Tableaux and Related Methods
Autor/Editor: Galmiche, Didier  Larchey-Wendling, Dominique
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-40537-2
    + info
Automated Reasoning with Analytic Tableaux and Related Methods
Autor/Editor: Schmidt, Renate A.  Nalon, Cláudia
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-66902-1
    + info
Automated Technology for Verification and Analysis
Autor/Editor: Finkbeiner, Bernd  Pu, Geguang  Zhang, Lijun
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-24953-7
    + info
Automated Technology for Verification and Analysis
Autor/Editor: Chakraborty, Supratik  Mukund, Madhavan
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-33386-6
    + info
Automated Technology for Verification and Analysis
Autor/Editor: Hung, Dang  Ogawa, Mizuhito
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-02444-8
    + info
Automated Technology for Verification and Analysis
Autor/Editor: Cassez, Franck  Raskin, Jean-François
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-11936-6
    + info
Automated Technology for Verification and Analysis
Autor/Editor: Artho, Cyrille  Legay, Axel  Peled, Doron
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-46520-3
    + info
Automated Technology for Verification and Analysis
Autor/Editor: Lahiri, Shuvendu K.  Wang, Chao
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-01090-4
    + info
Bidirectional Transformations
Autor/Editor: Gibbons, Jeremy  Stevens, Perdita
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-79108-1
    + info
Big Data Integration Theory
Autor/Editor: Majkić, Zoran
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-04156-8
    + info
  de 14 paginas [Siguiente]      registros 1 al 50 de 657