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 201 al 300 de 683
Formal Concept Analysis
Autor/Editor: Glodeanu, Cynthia Vera  Kaytoue, Mehdi  Sacarea, Christian
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-07248-7
    + info
Formal Grammar
Autor/Editor: Groote, Philippe  Nederhof, Mark-Jan
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-32024-8
    + info
Formal Grammar
Autor/Editor: Morrill, Glyn  Nederhof, Mark-Jan
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-39998-5
    + info
Formal Grammar
Autor/Editor: Morrill, Glyn  Muskens, Reinhard  Osswald, Rainer  Richter, Frank
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-44121-3
    + 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 Grammar
Autor/Editor: Foret, Annie  Muskens, Reinhard  Pogodalla, Sylvain
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-662-56343-4
    + info
Formal Grammar 2018
Autor/Editor: Foret, Annie  Kobele, Greg  Pogodalla, Sylvain
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-662-57784-4
    + info
Formal Languages and Compilation
Autor/Editor: Crespi Reghizzi, Stefano  Breveglieri, Luca  Morzenti, Angelo
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-1-4471-5514-0
    + info
Formal Methods and Software Engineering
Autor/Editor: Butler, Michael  Conchon, Sylvain  Zaïdi, Fatiha
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-25423-4
    + info
Formal Methods and Software Engineering
Autor/Editor: Aoki, Toshiaki  Taguchi, Kenji
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-34281-3
    + info
Formal Methods and Software Engineering
Autor/Editor: Groves, Lindsay  Sun, Jing
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-41202-8
    + info
Formal Methods and Software Engineering
Autor/Editor: Merz, Stephan  Pang, Jun
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-11737-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: 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 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: 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 Model-Driven Engineering
Autor/Editor: Bernardo, Marco  Cortellessa, Vittorio  Pierantonio, Alfonso
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-30982-3
    + 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 Nonmonotonic and Related Logics : Vol I: Preference and Size
Autor/Editor: Schlechta, Karl
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-89653-3
    + info
Formal Methods for Nonmonotonic and Related Logics : Vol II: Theory Revision, Inheritance, and Various Abstract Properties
Autor/Editor: Schlechta, Karl
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-89650-2
    + 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
Formal Methods: Foundations and Applications. 19th Brazilian Symposium, SBMF 2016, Proceedings
Autor/Editor: Ribeiro, Leila  Lecomte, Thierry
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-49815-7
    + info
Formal Modeling and Analysis of Timed Systems
Autor/Editor: Sankaranarayanan, Sriram  Vicario, Enrico
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-22975-1
    + info
Formal Modeling and Analysis of Timed Systems
Autor/Editor: JurdziÅ„ski, Marcin  Ničković, Dejan
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-33365-1
    + info
Formal Modeling and Analysis of Timed Systems
Autor/Editor: Fränzle, Martin  Markey, Nicolas
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-44878-7
    + info
Formal Modeling and Analysis of Timed Systems
Autor/Editor: Abate, Alessandro  Geeraerts, Gilles
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-65765-3
    + info
Formal Modeling and Analysis of Timed Systems
Autor/Editor: Jansen, David N.  Prabhakar, Pavithra
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-00151-3
    + info
Formal Techniques for Distributed Objects, Components, and Systems
Autor/Editor: Graf, Susanne  Viswanathan, Mahesh
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-19195-9
    + info
Formal Techniques for Distributed Objects, Components, and Systems
Autor/Editor: Ábrahám, Erika  Palamidessi, Catuscia
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-43613-4
    + info
Formal Techniques for Distributed Objects, Components, and Systems
Autor/Editor: Albert, Elvira  Lanese, Ivan
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-39570-8
    + info
Formal Techniques for Distributed Objects, Components, and Systems
Autor/Editor: Bouajjani, Ahmed  Silva, Alexandra
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-60225-7
    + info
Formal Techniques for Distributed Systems
Autor/Editor: Giese, Holger  Rosu, Grigore
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-30793-5
    + info
Formal Techniques for Distributed Systems
Autor/Editor: Beyer, Dirk  Boreale, Michele
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-38592-6
    + info
Foundations of Biomedical Knowledge Representation
Autor/Editor: Hommersom, Arjen  Lucas, Peter J.F.
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-28007-3
    + info
Foundations of Information and Knowledge Systems
Autor/Editor: Lukasiewicz, Thomas  Sali, Attila
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-28472-4
    + info
Foundations of Information and Knowledge Systems
Autor/Editor: Beierle, Christoph  Meghini, Carlo
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-04939-7
    + info
Foundations of Information and Knowledge Systems
Autor/Editor: Gyssens, Marc  Simari, Guillermo
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-30024-5
    + info
Foundations of Information and Knowledge Systems
Autor/Editor: Ferrarotti, Flavio  Woltran, Stefan
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-90050-6
    + info
Foundations of Software Science and Computation Structures
Autor/Editor: Pitts, Andrew
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-46678-0
    + info
Foundations of Software Science and Computation Structures
Autor/Editor: Pfenning, Frank
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-37075-5
    + info
Foundations of Software Science and Computation Structures
Autor/Editor: Muscholl, Anca
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-54830-7
    + info
Foundations of Software Science and Computation Structures
Autor/Editor: Jacobs, Bart  Löding, Christof
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-49630-5
    + info
Foundations of Software Science and Computation Structures
Autor/Editor: Esparza, Javier  Murawski, Andrzej S.
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-54458-7
    + info
Foundations of Software Science and Computational Structures
Autor/Editor: Birkedal, Lars
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-28729-9
    + info
From Programs to Systems. The Systems perspective in Computing
Autor/Editor: Bensalem, Saddek  Lakhneck, Yassine  Legay, Axel
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-54848-2
    + info
From Requirements to Java in a Snap
Autor/Editor: ÅšmiaÅ‚ek, MichaÅ‚  Nowakowski, Wiktor
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-12838-2
    + info
Frontiers of Combining Systems
Autor/Editor: Lutz, Carsten  Ranise, Silvio
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-24246-0
    + info
Frontiers of Combining Systems
Autor/Editor: Fontaine, Pascal  Ringeissen, Christophe  Schmidt, Renate A.
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-40885-4
    + info
Frontiers of Combining Systems
Autor/Editor: Dixon, Clare  Finger, Marcelo
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-66167-4
    + info
Functional and Logic Programming
Autor/Editor: Schrijvers, Tom  Thiemann, Peter
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-29822-6
    + info
Functional and Logic Programming
Autor/Editor: Codish, Michael  Sumii, Eijiro
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-07151-0
    + info
Functional and Logic Programming
Autor/Editor: Kiselyov, Oleg  King, Andy
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-29604-3
    + info
Fundamental Approaches to Software Engineering
Autor/Editor: Egyed, Alexander  Schaefer, Ina
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-46675-9
    + info
Fundamental Approaches to Software Engineering
Autor/Editor: Gnesi, Stefania  Rensink, Arend
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-54804-8
    + info
Fundamental Approaches to Software Engineering
Autor/Editor: Stevens, Perdita  WÄ…sowski, Andrzej
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-49665-7
    + info
Fundamental Approaches to Software Engineering
Autor/Editor: Huisman, Marieke  Rubin, Julia
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-54494-5
    + info
Fundamentals of Software Engineering
Autor/Editor: Arbab, Farhad  Sirjani, Marjan
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-29320-7
    + info
Fuzziness in Information Systems
Autor/Editor: Hudec, Miroslav
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-42518-4
    + info
Fuzzy Logic and Applications
Autor/Editor: Masulli, Francesco  Pasi, Gabriella  Yager, Ronald
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-03200-9
    + info
Generative and Transformational Techniques in Software Engineering IV
Autor/Editor: Lämmel, Ralf  Saraiva, João  Visser, Joost
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-35992-7
    + info
Generic and Indexed Programming
Autor/Editor: Gibbons, Jeremy
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-32202-0
    + info
Grand Timely Topics in Software Engineering
Autor/Editor: Cunha, Jácome  Fernandes, João P.  Lämmel, Ralf  Saraiva, João  Zaytsev, Vadim
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-60074-1
    + info
Graph Structures for Knowledge Representation and Reasoning
Autor/Editor: Croitoru, Madalina  Marquis, Pierre  Rudolph, Sebastian  Stapleton, Gem
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-28702-7
    + info
Graph Structures for Knowledge Representation and Reasoning
Autor/Editor: Croitoru, Madalina  Rudolph, Sebastian  Wilson, Nic  Howse, John  Corby, Olivier
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-29449-5
    + info
Graph Structures for Knowledge Representation and Reasoning
Autor/Editor: Gonzales, Christophe  Woltran, Stefan  Rudolph, Sebastian  Croitoru, Madalina
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-04534-4
    + info
Graph Structures for Knowledge Representation and Reasoning
Autor/Editor: Croitoru, Madalina  Marquis, Pierre  Rudolph, Sebastian  Stapleton, Gem
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-78102-0
    + info
Graph Transformation
Autor/Editor: Parisi-Presicce, Francesco  Westfechtel, Bernhard
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-21145-9
    + info
Graph Transformation
Autor/Editor: Giese, Holger  König, Barbara
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-09108-2
    + info
Graph Transformation
Autor/Editor: Echahed, Rachid  Minas, Mark
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-40530-8
    + info
Graph Transformation
Autor/Editor: Lambers, Leen  Weber, Jens
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-92991-0
    + info
Graph Transformations
Autor/Editor: Ehrig, Hartmut  Engels, Gregor  Kreowski, Hans-Jörg  Rozenberg, Grzegorz
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-33654-6
    + info
Hardware and Software: Verification and Testing
Autor/Editor: Piterman, Nir
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-26287-1
    + info
Hardware and Software: Verification and Testing
Autor/Editor: Bertacco, Valeria  Legay, Axel
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-03077-7
    + info
Hardware and Software: Verification and Testing
Autor/Editor: Biere, Armin  Nahir, Amir  Vos, Tanja
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-39611-3
    + info
Hardware and Software: Verification and Testing
Autor/Editor: Yahav, Eran
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-13338-6
    + info
Hardware and Software: Verification and Testing
Autor/Editor: Bloem, Roderick  Arbel, Eli
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-49052-6
    + info
Hardware and Software: Verification and Testing
Autor/Editor: Strichman, Ofer  Tzoref-Brill, Rachel
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-70389-3
    + info
Health Information Science
Autor/Editor: Siuly, Siuly  Huang, Zhisheng  Aickelin, Uwe  Zhou, Rui  Wang, Hua  Zhang, Yanchun  Klimenko, Stanislav
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-69182-4
    + info
Horizons of the Mind. A Tribute to Prakash Panangaden
Autor/Editor: Breugel, Franck  Kashefi, Elham  Palamidessi, Catuscia  Rutten, Jan
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-06880-0
    + info
Human Language Technology. Challenges for Computer Science and Linguistics
Autor/Editor: Vetulani, Zygmunt  Mariani, Joseph  Kubis, Marek
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-93782-3
    + info
Hybrid Metaheuristics. 10th International Workshop, HM 2016, Proceedings
Autor/Editor: Blesa, Maria J.  Blum, Christian  Cangelosi, Angelo  Cutello, Vincenzo  Di Nuovo, Alessandro, Pavone, Mario  Talbi, El-Ghazali
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-39636-1
    + info
ICT in Education, Research, and Industrial Applications
Autor/Editor: Ermolayev, Vadim  Mayr, Heinrich C.  Nikitchenko, Mykola  Spivakovsky, Aleksander  Zholtkevych, Grygoriy
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-35737-4
    + info
Implementation and Application of Automata
Autor/Editor: Drewes, Frank
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-22360-5
    + info
Implementation and Application of Automata
Autor/Editor: Moreira, Nelma  Reis, Rogério
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-31606-7
    + info
Implementation and Application of Automata
Autor/Editor: Konstantinidis, Stavros
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-39274-0
    + info
Implementation and Application of Automata
Autor/Editor: Holzer, Markus  Kutrib, Martin
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-08846-4
    + info
Implementation and Application of Automata
Autor/Editor: Han, Yo-Sub  Salomaa, Kai
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-40946-7
    + info
Implementation and Application of Automata
Autor/Editor: Carayol, Arnaud  Nicaud, Cyril
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-60134-2
    + info
Implementation and Application of Automata
Autor/Editor: Câmpeanu, Cezar
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-94812-6
    + info
Implementation and Application of Functional Languages
Autor/Editor: Gill, Andy  Hage, Jurriaan
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-34407-7
    + info
Implementation and Application of Functional Languages
Autor/Editor: Hinze, Ralf
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-41582-1
    + info
Incomplete Information System and Rough Set Theory
Autor/Editor: Yang, Xibei  Yang, Jingyu
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-25935-7
    + info
Inductive Logic Programming
Autor/Editor: Davis, Jesse  Ramon, Jan
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-23708-4
    + info
[Anterior] de 7 paginas [Siguiente]      registros 201 al 300 de 683