Registros por pagina: 20 50 100

Buscar Por:

Título

Autor/Editor

Colección


Registros por pagina: 20 50 100

[Anterior] de 14 paginas [Siguiente]      registros 101 al 150 de 657
Computer Science -- Theory and Applications
Autor/Editor: Beklemishev, Lev D.  Musatov, Daniil V.
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-20297-6
    + info
Computer Science – Theory and Applications
Autor/Editor: Hirsch, Edward A.  Karhumäki, Juhani  Lepistö, Arto  Prilutskii, Michail
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-30642-6
    + info
Computer Science – Theory and Applications
Autor/Editor: Bulatov, Andrei A.  Shur, Arseny M.
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-38536-0
    + info
Computer Science – Theory and Applications
Autor/Editor: Kulikov, Alexander S.  Woeginger, Gerhard J.
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-34171-2
    + info
Computer Science – Theory and Applications
Autor/Editor: Weil, Pascal
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-58747-9
    + info
Computer Science – Theory and Applications
Autor/Editor: Fomin, Fedor V.  Podolskii, Vladimir V.
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-90530-3
    + info
Computing and Combinatorics
Autor/Editor: Xu, Dachuan  Du, Donglei  Du, Dingzhu
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-21398-9
    + info
Computing and Combinatorics
Autor/Editor: Du, Ding-Zhu  Zhang, Guochuan
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-38768-5
    + info
Computing and Combinatorics
Autor/Editor: Cai, Zhipeng  Zelikovsky, Alex  Bourgeois, Anu
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-08783-2
    + info
Conceptual Modeling
Autor/Editor: Atzeni, Paolo  Cheung, David  Ram, Sudha
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-34002-4
    + info
Conceptual Modeling
Autor/Editor: Ng, Wilfred  Storey, Veda C.  Trujillo, Juan C.
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-41924-9
    + info
Conceptual Modeling
Autor/Editor: Comyn-Wattiau, Isabelle  Tanaka, Katsumi  Song, Il-Yeol  Yamamoto, Shuichiro  Saeki, Motoshi
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-46397-1
    + info
Conceptual Modelling and Its Theoretical Foundations
Autor/Editor: Düsterhöft, Antje  Klettke, Meike  Schewe, Klaus-Dieter
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-28279-9
    + info
Concrete Semantics
Autor/Editor: Nipkow, Tobias  Klein, Gerwin
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-10542-0
    + info
CONCUR 2012 – Concurrency Theory
Autor/Editor: Koutny, Maciej  Ulidowski, Irek
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-32940-1
    + info
CONCUR 2013 – Concurrency Theory
Autor/Editor: D’Argenio, Pedro R.  Melgratti, Hernán
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-40184-8
    + info
CONCUR 2014 – Concurrency Theory
Autor/Editor: Baldan, Paolo  Gorla, Daniele
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-44584-6
    + info
Concurrency, Security, and Puzzles
Autor/Editor: Gibson-Robinson, Thomas  Hopcroft, Philippa  Lazić, Ranko
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-51046-0
    + info
Constraint Solving and Language Processing
Autor/Editor: Duchier, Denys  Parmentier, Yannick
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-41578-4
    + info
Coordination Models and Languages
Autor/Editor: Holvoet, Tom  Viroli, Mirko
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-19282-6
    + info
Coordination Models and Languages
Autor/Editor: Nicola, Rocco  Julien, Christine
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-38493-6
    + info
Coordination Models and Languages
Autor/Editor: Kühn, Eva  Pugliese, Rosario
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-43376-8
    + info
Coordination Models and Languages
Autor/Editor: Lluch Lafuente, Alberto  Proença, José
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-39519-7
    + info
Coordination, Organizations, Institutions, and Norms in Agent Systems XI
Autor/Editor: Dignum, Virginia  Noriega, Pablo  Sensoy, Murat  Sichman, Jaime Simão
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-42691-4
    + info
Correct Reasoning
Autor/Editor: Erdem, Esra  Lee, Joohyung  Lierler, Yuliya  Pearce, David
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-30743-0
    + info
Correct System Design
Autor/Editor: Meyer, Roland  Platzer, André  Wehrheim, Heike
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-23506-6
    + info
Critical Systems : Formal Methods and Automated Verification
Autor/Editor: Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-45943-1
    + info
Critical Systems: Formal Methods and Automated Verification
Autor/Editor: Petrucci, Laure  Seceleanu, Cristina  Cavalcanti, Ana
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-67113-0
    + info
Cyber Physical Systems. Design, Modeling, and Evaluation
Autor/Editor: Mousavi, Mohammad Reza  Berger, Christian
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-25141-7
    + info
Cyber Physical Systems. Design, Modeling, and Evaluation
Autor/Editor: Berger, Christian  Mousavi, Mohammad Reza  Wisniewski, Rafael
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-51738-4
    + info
Data Engineering and Management
Autor/Editor: Kannan, Rajkumar  Andres, Frederic
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-27872-3
    + info
Declarative Agent Languages and Technologies IX
Autor/Editor: Sakama, Chiaki  Sardina, Sebastian  Vasconcelos, Wamberto  Winikoff, Michael
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-29113-5
    + info
Declarative Agent Languages and Technologies X
Autor/Editor: Baldoni, Matteo  Dennis, Louise  Mascardi, Viviana  Vasconcelos, Wamberto
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-37890-4
    + info
Declarative Programming and Knowledge Management
Autor/Editor: Seipel, Dietmar  Hanus, Michael  Abreu, Salvador
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-00801-7
    + info
Deductive Software Verification – The KeY Book
Autor/Editor: Ahrendt, Wolfgang  Beckert, Bernhard  Bubel, Richard  Hähnle, Reiner  Schmitt, Peter H.  Ulbrich, Mattias
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-49812-6
    + info
Deontic Logic and Normative Systems
Autor/Editor: Cariani, Fabrizio  Grossi, Davide  Meheus, Joke  Parent, Xavier
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-08615-6
    + info
Deontic Logic in Computer Science
Autor/Editor: Ågotnes, Thomas  Broersen, Jan  Elgesem, Dag
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-31570-1
    + info
Dependable Software Engineering: Theories, Tools, and Applications
Autor/Editor: Li, Xuandong  Liu, Zhiming  Yi, Wang
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-25942-0
    + info
Dependable Software Engineering: Theories, Tools, and Applications
Autor/Editor: Fränzle, Martin  Kapur, Deepak  Zhan, Naijun
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-47677-3
    + info
Dependable Software Engineering. Theories, Tools, and Applications
Autor/Editor: Larsen, Kim Guldstrand  Sokolsky, Oleg  Wang, Ji
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-69483-2
    + info
Dependable Software Engineering. Theories, Tools, and Applications
Autor/Editor: Feng, Xinyu  Müller-Olm, Markus  Yang, Zijiang
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-99933-3
    + info
Descriptional Complexity of Formal Systems
Autor/Editor: Shallit, Jeffrey  Okhotin, Alexander
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-19225-3
    + info
Descriptional Complexity of Formal Systems
Autor/Editor: Kutrib, Martin  Moreira, Nelma  Reis, Rogério
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-31623-4
    + info
Descriptional Complexity of Formal Systems
Autor/Editor: Jurgensen, Helmut  Reis, Rogério
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-39310-5
    + info
Descriptional Complexity of Formal Systems
Autor/Editor: Hürgensen, Helmut  Karhumäki, Juhani  Okhotin, Alexander
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-09704-6
    + info
Descriptional Complexity of Formal Systems
Autor/Editor: Câmpeanu, Cezar  Manea, Florin  Shallit, Jeffrey
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-41114-9
    + info
Descriptional Complexity of Formal Systems
Autor/Editor: Pighizzini, Giovanni  Câmpeanu, Cezar
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-60252-3
    + info
Descriptional Complexity of Formal Systems
Autor/Editor: Konstantinidis, Stavros  Pighizzini, Giovanni
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-94631-3
    + info
Descriptive Set Theoretic Methods in Automata Theory
Autor/Editor: Skrzypczak, Michał
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-52947-8
    + info
Developments in Language Theory
Autor/Editor: Yen, Hsu-Chun  Ibarra, Oscar H.
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-31653-1
    + info
[Anterior] de 14 paginas [Siguiente]      registros 101 al 150 de 657