Registros por pagina: 20 50 100

Buscar Por:

Título

Autor/Editor

Colección


Registros por pagina: 20 50 100

[Anterior] de 31 paginas [Siguiente]      registros 1451 al 1500 de 1525
Trustworthy Global Computing
Autor/Editor: Palamidessi, Catuscia  Ryan, Mark D.
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-41157-1
    + info
Trustworthy Open Self-Organising Systems
Autor/Editor: Reif, Wolfgang  Anders, Gerrit  Seebach, Hella  Steghöfer, Jan-Philipp  André, Elisabeth  Hähner, Jörg Müller-Schloer, Christian  Ungerer, Theo
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-29201-4
    + info
Ubiquitous Computing and Ambient Intelligence
Autor/Editor: Bravo, José  López-de-Ipiña, Diego  Moya, Francisco
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-35377-2
    + info
Ubiquitous Computing and Ambient Intelligence. Context-Awareness and Context-Driven Interaction
Autor/Editor: Urzaiz, Gabriel  Ochoa, Sergio F.  Bravo, José  Chen, Liming Luke  Oliveira, Jonice
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-03176-7
    + info
Ubiquitous Computing and Ambient Intelligence. Personalisation and User Adapted Services
Autor/Editor: Hervás, Ramón  Lee, Sungyoung  Nugent, Chris  Bravo, José
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-13102-3
    + info
UML @ Classroom
Autor/Editor: Seidl, Martina  Scholz, Marion  Huemer, Christian  Kappel, Gerti
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-12742-2
    + info
Uncertainty Quantification in Scientific Computing
Autor/Editor: Dienstfrey, Andrew M.  Boisvert, Ronald F.
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-32677-6
    + info
Unconventional Computation and Natural Computation
Autor/Editor: Patitz, Matthew J.  Stannett, Mike
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-58187-3
    + info
Unconventional Computation and Natural Computation
Autor/Editor: Stepney, Susan  Verlan, Sergey
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-92435-9
    + info
Understanding Control Flow
Autor/Editor: Buhr, Peter A.
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-25703-7
    + info
Understanding Human Activities Through 3D Sensors
Autor/Editor: Wannous, Hazem  Pala, Pietro  Daoudi, Mohamed  Flórez-Revuelta, Francisco
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-91863-1
    + info
Unifying Theories of Programming
Autor/Editor: Naumann, David
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-14806-9
    + info
Unifying Theories of Programming
Autor/Editor: Wolff, Burkhart  Gaudel, Marie-Claude  Feliachi, Abderrahmane
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-35705-3
    + info
Unifying Theories of Programming
Autor/Editor: Bowen, Jonathan P.  Zhu, Huibiao
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-52228-9
    + info
Unifying Theories of Programming and Formal Engineering Methods
Autor/Editor: Liu, Zhiming  Woodcock, Jim  Zhu, Huibiao
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-39721-9
    + info
Usability- and Accessibility-Focused Requirements Engineering
Autor/Editor: Ebert, Achim  Humayoun, Shah Rukh  Seyff, Norbert  Perini, Anna  Barbosa, Simone D.J.
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-45916-5
    + info
User-Centred Engineering
Autor/Editor: Richter, Michael  Flückiger, Markus
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-43989-0
    + info
User-Level Workflow Design
Autor/Editor: Lamprecht, Anna-Lena
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-45389-2
    + info
Using Event-B for Critical Device Software Systems
Autor/Editor: Singh, Neeraj Kumar
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-1-4471-5260-6
    + info
Using Microsoft Dynamics AX 2012
Autor/Editor: Luszczak, Andreas
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-8348-2191-1
    + info
Validation of Evolving Software
Autor/Editor: Chockler, Hana  Kroening, Daniel  Mariani, Leonardo  Sharygina, Natasha
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-10623-6
    + info
Verification and Evaluation of Computer and Communication Systems
Autor/Editor: Barkaoui, Kamel  Boucheneb, Hanifa  Mili, Ali  Tahar, Sofiène
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-66176-6
    + info
Verification and Evaluation of Computer and Communication Systems
Autor/Editor: Atig, Mohamed Faouzi  Bensalem, Saddek  Bliudze, Simon  Monsuez, Bruno
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-00359-3
    + info
Verification, Model Checking, and Abstract Interpretation
Autor/Editor: D’Souza, Deepak  Lal, Akash  Larsen, Kim Guldstrand
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-46081-8
    + info
Verification, Model Checking, and Abstract Interpretation
Autor/Editor: Kuncak, Viktor  Rybalchenko, Andrey
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-27940-9
    + info
Verification, Model Checking, and Abstract Interpretation
Autor/Editor: Giacobazzi, Roberto  Berdine, Josh  Mastroeni, Isabella
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-35873-9
    + info
Verification, Model Checking, and Abstract Interpretation
Autor/Editor: McMillan, Kenneth L.  Rival, Xavier
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-54013-4
    + info
Verification, Model Checking, and Abstract Interpretation
Autor/Editor: Jobstmann, Barbara  Leino, K. Rustan M.
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-49122-5
    + info
Verification, Model Checking, and Abstract Interpretation
Autor/Editor: Bouajjani, Ahmed  Monniaux, David
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-52234-0
    + info
Verification, Model Checking, and Abstract Interpretation
Autor/Editor: Dillig, Isil  Palsberg, Jens
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-73721-8
    + info
Verified Software : Theories, Tools, and Experiments : 7th International Conference
Autor/Editor: Gurfinkel, Arie  Seshia, Sanjit A.
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-29613-5
    + info
Verified Software: Theories, Tools and Experiments
Autor/Editor: Giannakopoulou, Dimitra  Kroening, Daniel
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-12154-3
    + info
Verified Software: Theories, Tools, Experiments
Autor/Editor: Joshi, Rajeev  Müller, Peter  Podelski, Andreas
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-27705-4
    + info
Verified Software: Theories, Tools, Experiments
Autor/Editor: Cohen, Ernie  Rybalchenko, Andrey
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-54108-7
    + info
Verified Software. Theories, Tools, and Experiments
Autor/Editor: Piskac, Ruzica  Rümmer, Philipp
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-03592-1
    + info
Verified Software. Theories, Tools, and Experiments : 8th International Conference
Autor/Editor: Blazy, Sandrine  Chechik, Marsha
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-48869-1
    + info
Virtual and Networked Organizations, Emergent Technologies and Tools
Autor/Editor: Putnik, Goran D.  Cruz-Cunha, Maria Manuela
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-31800-9
    + info
Web Content Credibility
Autor/Editor: Wierzbicki, Adam
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-77794-8
    + info
Web Engineering
Autor/Editor: Brambilla, Marco  Tokuda, Takehiro  Tolksdorf, Robert
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-31753-8
    + info
Web Engineering
Autor/Editor: Daniel, Florian  Dolog, Peter  Li, Qing
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-39200-9
    + info
Web Engineering
Autor/Editor: Casteleyn, Sven  Rossi, Gustavo  Winckler, Marco
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-08245-5
    + info
Web Engineering
Autor/Editor: Bozzon, Alessandro  Cudre-Maroux, Philippe  Pautasso, Cesare
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-38791-8
    + info
Web Engineering
Autor/Editor: Cabot, Jordi  De Virgilio, Roberto  Torlone, Riccardo
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-60131-1
    + info
Web Engineering
Autor/Editor: Mikkonen, Tommi  Klamma, Ralf  Hernández, Juan
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-91662-0
    + info
Web Information Systems and Technologies
Autor/Editor: Filipe, Joaquim  Cordeiro, José
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-28082-5
    + info
Web Information Systems and Technologies
Autor/Editor: Cordeiro, José  Krempels, Karl-Heinz
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-36608-6
    + info
Web Information Systems and Technologies
Autor/Editor: Krempels, Karl-Heinz  Stocker, Alexander
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-44300-2
    + info
Web Information Systems Engineering - WISE 2012
Autor/Editor: Wang, X. Sean  Cruz, Isabel  Delis, Alex  Huang, Guangyan
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-35063-4
    + info
Web Information Systems Engineering – WISE 2013
Autor/Editor: Lin, Xuemin  Manolopoulos, Yannis  Srivastava, Divesh  Huang, Guangyan
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-41154-0
    + info
Web Information Systems Engineering – WISE 2013
Autor/Editor: Lin, Xuemin  Manolopoulos, Yannis  Srivastava, Divesh  Huang, Guangyan
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-41230-1
    + info
[Anterior] de 31 paginas [Siguiente]      registros 1451 al 1500 de 1525