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 657
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: Braberman, Víctor  Fribourg, Laurent
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-40229-6
    + info
Formal Modeling and Analysis of Timed Systems
Autor/Editor: Legay, Axel  Bozga, Marius
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-10512-3
    + 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
Formal Techniques for Safety-Critical Systems
Autor/Editor: Artho, Cyrille  Ölveczky, Peter Csaba
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-17581-2
    + info
Formal Techniques for Safety-Critical Systems
Autor/Editor: Artho, Cyrille  Csaba Ölveczky, Peter
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-05416-2
    + info
Formal Techniques for Safety-Critical Systems
Autor/Editor: Artho, Cyrille  Ölveczky, Peter Csaba
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-29510-7
    + info
Formal Techniques for Safety-Critical Systems
Autor/Editor: Artho, Cyrille  Ölveczky, Peter Csaba
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-53946-1
    + info
Formal Verification of Object-Oriented Software
Autor/Editor: Beckert, Bernhard  Damiani, Ferruccio  Gurov, Dilian
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-31762-0
    + info
Foundational and Practical Aspects of Resource Analysis
Autor/Editor: Peña, Ricardo  Eekelen, Marko  Shkaravska, Olha
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-32495-6
    + info
Foundational and Practical Aspects of Resource Analysis
Autor/Editor: Dal Lago, Ugo  Peña, Ricardo
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-12466-7
    + info
Foundational and Practical Aspects of Resource Analysis
Autor/Editor: Eekelen, Marko van  Dal Lago, Ugo
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-46559-3
    + info
Foundations and Practice of Security
Autor/Editor: García-Alfaro, Joaquín  Lafourcade, Pascal
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-27901-0
    + info
Foundations of Algebraic Specification and Formal Software Development
Autor/Editor: Sannella, Donald  Tarlecki, Andrzej
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-17336-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 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 Computation Structures
Autor/Editor: Baier, Christel  Lago, Ugo Dal
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-89366-2
    + 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
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: Lara, Juan  Zisman, Andrea
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-28872-2
    + info
Fundamental Approaches to Software Engineering
Autor/Editor: Cortellessa, Vittorio  Varró, Dániel
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-37057-1
    + 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 Computation Theory
Autor/Editor: Kosowski, Adrian  Walukiewicz, Igor
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-22177-9
    + info
Fundamentals of Computation Theory
Autor/Editor: Klasing, Ralf  Zeitoun, Marc
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-55751-8
    + info
Fundamentals of Software Engineering
Autor/Editor: Dastani, Mehdi  Sirjani, Marjan
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-24644-4
    + 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
Fundamentals of Software Engineering
Autor/Editor: Arbab, Farhad  Sirjani, Marjan
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-40213-5
    + info
Fundamentals of Software Engineering
Autor/Editor: Dastani, Mehdi  Sirjani, Marjan
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-68972-2
    + info
Generalized Jeffrey Conditionalization
Autor/Editor: Draheim, Dirk
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-69868-7
    + 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
Globalizing Domain-Specific Languages
Autor/Editor: Combemale, Benoit  Cheng, Betty H.C.  France, Robert B.  Jézéquel, Jean-Marc  Rumpe, Bernhard
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-26172-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  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 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 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
Graphical Models for Security. Second International Workshop, GraMSec 2015, Revised Selected Papers
Autor/Editor: Mauw, Sjouke  Kordy, Barbara  Jajodia, Sushil
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-29968-6
    + info
Guide to Discrete Mathematics
Autor/Editor: O'Regan, Gerard
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-44561-8
    + 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: Eder, Kerstin  Lourenço, João  Shehory, Onn
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-34188-5
    + 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
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
Hybrid Systems Biology
Autor/Editor: Abate, Alessandro  Å afránek, David
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-26916-0
    + info
Hybrid Systems Biology
Autor/Editor: Maler, Oded  Halász, Ádám  Dang, Thao  Piazza, Carla
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-27656-4
    + info
Hybrid Systems Biology
Autor/Editor: Cinquemani, Eugenio  Donzé, Alexandre
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-47151-8
    + 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: 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
In Search of Elegance in the Theory and Practice of Computation
Autor/Editor: Tannen, Val  Wong, Limsoon  Libkin, Leonid  Fan, Wenfei  Tan, Wang-Chiew  Fourman, Michael
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-41660-6
    + 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
Inductive Logic Programming
Autor/Editor: Muggleton, Stephen H.  Tamaddoni-Nezhad, Alireza  Lisi, Francesca A.
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-31951-8
    + info
Inductive Logic Programming
Autor/Editor: Riguzzi, Fabrizio  Å½elezný, Filip
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-38812-5
    + info
Inductive Logic Programming
Autor/Editor: Paes, Aline  Santos Costa, Vítor  Zaverucha, Gerson
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-44923-3
    + info
Inductive Logic Programming
Autor/Editor: Inoue, Katsumi  Ohwada, Hayato  Yamamoto, Akihiro
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-40566-7
    + info
Inductive Logic Programming
Autor/Editor: Cussens, James  Russo, Alessandra
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-63342-8
    + info
Inductive Logic Programming
Autor/Editor: Lachiche, Nicolas  Vrain, Christel
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-78090-0
    + info
Inductive Logic Programming
Autor/Editor: Riguzzi, Fabrizio  Bellodi, Elena  Zese, Riccardo
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-99960-9
    + info
Information and Communication Technologies 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-319-03998-5
    + info
Information and Communication Technologies in Education, Research, and Industrial Applications
Autor/Editor: Ermolayev, Vadim  Mayr, Heinrich C.  Nikitchenko, Mykola  Spivakovsky, Aleksander  Zholtkevych, Grygoriy
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-13206-8
    + info
Information and Communication Technologies in Education, Research, and Industrial Applications
Autor/Editor: Yakovyna, Vitaliy  Mayr, Heinrich C.  Nikitchenko, Mykola  Zholtkevych, Grygoriy  Spivakovsky, Aleksander  Batsakis, Sotiris
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-30246-1
    + info
Information and Communication Technologies in Education, Research, and Industrial Applications
Autor/Editor: Bassiliades, Nick  Ermolayev, Vadim  Fill, Hans-Georg  Yakovyna, Vitaliy  Mayr, Heinrich C.  Nikitchenko, Mykola  Zholtkevych, Grygoriy  Spivakovsky, Aleksander
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-76168-8
    + info
Information Security
Autor/Editor: Desmedt, Yvo
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-27659-5
    + info
Information Security
Autor/Editor: Chen, Liqun  Manulis, Mark  Schneider, Steve
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-99136-8
    + info
Integrated Formal Methods
Autor/Editor: Derrick, John  Gnesi, Stefania  Latella, Diego  Treharne, Helen
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-30729-4
    + info
Integrated Formal Methods
Autor/Editor: Johnsen, Einar Broch  Petre, Luigia
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-38613-8
    + info
Integrated Formal Methods
Autor/Editor: Albert, Elvira  Sekerinski, Emil
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-10181-1
    + info
Integrated Formal Methods
Autor/Editor: Ábrahám, Erika  Huisman, Marieke
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-33693-0
    + info
[Anterior] de 7 paginas [Siguiente]      registros 201 al 300 de 657