Registros por pagina: 20 50 100

Buscar Por:

Título

Autor/Editor

Colección


Registros por pagina: 20 50 100

[Anterior] de 16 paginas [Siguiente]      registros 501 al 600 de 1525
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
Evolution of Telecommunication Services
Autor/Editor: Bertin, Emmanuel  Crespi, Noel  Magedanz, Thomas
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-41569-2
    + info
Evolving Software Systems
Autor/Editor: Mens, Tom  Serebrenik, Alexander  Cleve, Anthony
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-45398-4
    + info
Experimentation in Software Engineering
Autor/Editor: Wohlin, Claes  Runeson, Per  Höst, Martin  Ohlsson, Magnus C.  Regnell, Björn  Wesslén, Anders
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-29044-2
    + info
Exploring Services Science
Autor/Editor: Nóvoa, Henriqueta  Drăgoicea, Monica
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-14980-6
    + info
Exploring Services Science
Autor/Editor: Snene, Mehdi
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-28227-0
    + info
Exploring Services Science
Autor/Editor: e Cunha, João Falcão  Snene, Mehdi  Nóvoa, Henriqueta
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-36356-6
    + info
Exploring Services Science
Autor/Editor: Leonard, Michel  Snene, Mehdi
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-04810-9
    + info
Exploring Services Science
Autor/Editor: Borangiu, Theodor  Dragoicea, Monica  Nóvoa, Henriqueta
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-32689-4
    + info
Exploring Services Science
Autor/Editor: Stefano Za, Monica Drăgoicea, Maurizio Cavallari
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-56925-3
    + info
Failure-Modes-Based Software Reading
Autor/Editor: Zhu, Yang-Ming
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-65103-3
    + info
Feature-Oriented Software Product Lines
Autor/Editor: Apel, Sven  Batory, Don  Kästner, Christian  Saake, Gunter
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-37521-7
    + info
Five Design-Sheets: Creative Design and Sketching for Computing and Visualisation
Autor/Editor: Roberts, Jonathan C.  Headleand, Christopher J.  Ritsos, Panagiotis D.
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-55627-7
    + 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
Fog Computing
Autor/Editor: Mahmood, Zaigham
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-94890-4
    + 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: Kouchnarenko, Olga  Khosravi, Ramtin
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-57666-4
    + 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 Concept Analysis
Autor/Editor: Baixeries, Jaume  Sacarea, Christian  Ojeda-Aciego, Manuel
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-19545-2
    + info
Formal Concept Analysis
Autor/Editor: Domenach, Florent  Ignatov, Dmitry I.  Poelmans, Jonas
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-29892-9
    + info
Formal Concept Analysis
Autor/Editor: Cellier, Peggy  Distel, Felix  Ganter, Bernhard
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-38317-5
    + info
Formal Concept Analysis
Autor/Editor: Bertet, Karell  Borchmann, Daniel  Cellier, Peggy  Ferré, Sébastien
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-59271-8
    + info
Formal Methods
Autor/Editor: Havelund, Klaus  Peleska, Jan  Roscoe, Bill  Vink, Erik de
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-95582-7
    + 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: 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 Industrial Critical Systems
Autor/Editor: Howar, Falk  Barnat, Jiří
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-00244-2
    + 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 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: 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: Cavalheiro, Simone  Fiadeiro, José
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-70848-5
    + 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: 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 Objects, Components, and Systems
Autor/Editor: Baier, Christel  Caires, Luís
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-92612-4
    + 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
Foundational Java
Autor/Editor: Parsons, David
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-1-4471-2479-5
    + 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 and Practice of Security
Autor/Editor: Garcia-Alfaro, Joaquin  Cuppens, Frédéric  Cuppens-Boulahia, Nora  Miri, Ali  Tawbi, Nadia
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-37119-6
    + info
Foundations for Designing User-Centered Systems
Autor/Editor: Churchill, Elizabeth F.  Baxter, Gordon D.  Ritter, Frank E.
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-1-4471-5134-0
    + info
Foundations of Health Information Engineering and Systems
Autor/Editor: Weber, Jens  Perseil, Isabelle
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-39088-3
    + info
Foundations of Health Information Engineering and Systems
Autor/Editor: Gibbons, Jeremy  MacCaull, Wendy
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-53956-5
    + 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
Frontier Computing
Autor/Editor: Hung, Jason C.  Yen, Neil Y.  Li, Kuan-Ching
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-981-10-0539-8
    + info
Frontiers in Gaming Simulation
Autor/Editor: Meijer, Sebastiaan A.  Smeds, Riitta
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-04954-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
[Anterior] de 16 paginas [Siguiente]      registros 501 al 600 de 1525