Registros por pagina: 20 50 100

Buscar Por:

Título

Autor/Editor

Colección


Registros por pagina: 20 50 100

[Anterior] de 7 paginas [Siguiente]      registros 101 al 200 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
Developments in Language Theory
Autor/Editor: Brlek, Srečko  Reutenauer, Christophe
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-53132-7
    + info
Developments in Language Theory
Autor/Editor: Charlier, Émilie  Leroy, Julien  Rigo, Michel
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-62809-7
    + info
Developments in Language Theory
Autor/Editor: Hoshi, Mizuho  Seki, Shinnosuke
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-98654-8
    + info
Distributed Computing and Internet Technology
Autor/Editor: Ramanujam, R.  Ramaswamy, Srini
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-28073-3
    + info
Distributed Programming
Autor/Editor: Shankar, A. Udaya
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-1-4614-4881-5
    + info
DNA Computing and Molecular Programming
Autor/Editor: Doty, David  Dietz, Hendrik
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-00030-1
    + info
ECOOP 2012 – Object-Oriented Programming
Autor/Editor: Noble, James
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-31057-7
    + info
ECOOP 2013 – Object-Oriented Programming
Autor/Editor: Castagna, Giuseppe
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-39038-8
    + info
ECOOP 2014 – Object-Oriented Programming
Autor/Editor: Jones, Richard
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-44202-9
    + info
Empirical Software Engineering and Verification
Autor/Editor: Meyer, Bertrand  Nordio, Martin
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-25231-0
    + info
Engineering Secure Future Internet Services and Systems : Current Research
Autor/Editor: Heisel, Maritta  Joosen, Wouter  Lopez, Javier  Martinelli, Fabio
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-07452-8
    + info
Engineering Trustworthy Software Systems
Autor/Editor: Liu, Zhiming  Zhang, Zili
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-29628-9
    + info
Engineering Trustworthy Software Systems
Autor/Editor: Bowen, Jonathan P.  Liu, Zhiming  Zhang, Zili
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-56841-6
    + info
Engineering Trustworthy Software Systems
Autor/Editor: Bowen, Jonathan P.  Liu, Zhiming  Zhang, Zili
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-02928-9
    + info
Evaluation of Novel Approaches to Software Engineering
Autor/Editor: Maciaszek, Leszek A.  Zhang, Kang
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-32341-6
    + info
Evaluation of Novel Approaches to Software Engineering
Autor/Editor: Maciaszek, Leszek A.  Filipe, Joaquim
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-45422-6
    + info
Evaluation of Novel Approaches to Software Engineering
Autor/Editor: Filipe, Joaquim  Maciaszek, Leszek A.
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-54092-9
    + info
Evaluation of Novel Approaches to Software Engineering. 11th International Conference, ENASE 2016, Revised Selected Papers
Autor/Editor: Maciaszek, Leszek A.  Filipe, Joaquim
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-56390-9
    + info
FM 2012: Formal Methods
Autor/Editor: Giannakopoulou, Dimitra  Méry, Dominique
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-32759-9
    + info
FM 2014: Formal Methods
Autor/Editor: Jones, Cliff  Pihlajasaari, Pekka  Sun, Jun
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-06410-9
    + info
FM 2015: Formal Methods
Autor/Editor: Bjørner, Nikolaj  De Boer, Frank
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-19249-9
    + info
FM 2016 : Formal Methods
Autor/Editor: Fitzgerald, John  Heitmeyer, Constance  Gnesi, Stefania  Philippou, Anna
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-48989-6
    + info
Formal Aspects of Component Software
Autor/Editor: Lanese, Ivan  Madelaine, Eric
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-15317-9
    + info
Formal Aspects of Component Software
Autor/Editor: Păsăreanu, Corina S.  Salaün, Gwen
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-35861-6
    + info
Formal Aspects of Component Software
Autor/Editor: Fiadeiro, José Luiz  Liu, Zhiming  Xue, Jinyun
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-07602-7
    + info
Formal Aspects of Component Software
Autor/Editor: Braga, Christiano  Ölveczky, Peter Csaba
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-28934-2
    + info
Formal Aspects of Component Software
Autor/Editor: Proença, José  Lumpe, Markus
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-68034-7
    + info
Formal Aspects of Component Software
Autor/Editor: Bae, Kyungmin  Ölveczky, Peter Csaba
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-02146-7
    + info
Formal Aspects of Component Software. FACS 2010
Autor/Editor: Soares Barbosa, Luís  Lumpe, Markus
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-27269-1
    + info
Formal Aspects of Component Software. FACS 2011
Autor/Editor: Arbab, Farhad  Ölveczky, Peter Csaba
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-35743-5
    + info
Formal Grammar
Autor/Editor: Foret, Annie  Morrill, Glyn  Muskens, Reinhard  Osswald, Rainer  Pogodalla, Sylvain
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-53042-9
    + info
Formal Methods and Software Engineering
Autor/Editor: Ogata, Kazuhiro  Lawford, Mark  Liu, Shaoying
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-47846-3
    + info
Formal Methods and Software Engineering
Autor/Editor: Duan, Zhenhua  Ong, Luke
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-68690-5
    + info
Formal Methods and Software Engineering
Autor/Editor: Sun, Jing  Sun, Meng
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-02450-5
    + info
Formal Methods for Components and Objects
Autor/Editor: Aichernig, Bernhard K.  Boer, Frank S.  Bonsangue, Marcello M.
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-25271-6
    + info
Formal Methods for Components and Objects
Autor/Editor: Beckert, Bernhard  Damiani, Ferruccio  Boer, Frank S.  Bonsangue, Marcello M.
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-35887-6
    + info
Formal Methods for Components and Objects
Autor/Editor: Giachino, Elena  Hähnle, Reiner  Boer, Frank S.  Bonsangue, Marcello M.
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-40615-7
    + info
Formal Methods for Dynamical Systems
Autor/Editor: Bernardo, Marco  Vink, Erik  Pierro, Alessandra  Wiklicky, Herbert
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-38874-3
    + info
Formal Methods for Executable Software Models
Autor/Editor: Bernardo, Marco  Damiani, Ferruccio  Hähnle, Reiner  Johnsen, Einar Broch  Schaefer, Ina
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-07317-0
    + info
Formal Methods for Industrial Critical Systems
Autor/Editor: Núñez, Manuel  Güdemann, Matthias
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-19458-5
    + info
Formal Methods for Industrial Critical Systems
Autor/Editor: Stoelinga, Mariëlle  Pinger, Ralf
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-32469-7
    + info
Formal Methods for Industrial Critical Systems
Autor/Editor: Pecheur, Charles  Dierkes, Michael
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-41010-9
    + info
Formal Methods for Industrial Critical Systems
Autor/Editor: Lang, Frédéric  Flammini, Francesco
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-10702-8
    + info
Formal Methods for Multicore Programming
Autor/Editor: Bernardo, Marco  Johnsen, Einar Broch
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-18941-3
    + info
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
Autor/Editor: Bernardo, Marco  De Nicola, Rocco  Hillston, Jane
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-34096-8
    + info
Formal Methods in Macro-Biology
Autor/Editor: Fages, François  Piazza, Carla
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-10398-3
    + info
Formal Methods: Foundations and Applications
Autor/Editor: Braga, Christiano  Martí-Oliet, Narciso
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-15075-8
    + info
Formal Methods: Foundations and Applications
Autor/Editor: Gheyi, Rohit  Naumann, David
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-33296-8
    + info
Formal Methods: Foundations and Applications
Autor/Editor: Massoni, Tiago  Mousavi, Mohammad Reza
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-03044-5
    + info
Formal Methods: Foundations and Applications. 18th Brazilian Symposium, SBMF 2015, Proceedings
Autor/Editor: Cornélio, Márcio  Roscoe, Bill
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-29473-5
    + info
[Anterior] de 7 paginas [Siguiente]      registros 101 al 200 de 657