Registros por pagina: 20 50 100

Buscar Por:

Título

Autor/Editor

Colección


Registros por pagina: 20 50 100

[Anterior] de 8 paginas [Siguiente]      registros 301 al 350 de 375
Scala Design Patterns
Autor/Editor: Hunt, John
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-02192-8
    + info
Scalable Parallel Programming Applied to H.264/AVC Decoding
Autor/Editor: Juurlink, Ben  Alvarez-Mesa, Mauricio  Chi, Chi Ching  Azevedo, Arnaldo  Meenderinck, Cor  Ramirez, Alex
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-1-4614-2230-3
    + info
Scalable Uncertainty Management
Autor/Editor: Ciucci, Davide  Pasi, Gabriella  Vantaggi, Barbara
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-00461-3
    + info
Scaling OpenMP for Exascale Performance and Portability
Autor/Editor: Supinski, Bronis R. de  Olivier, Stephen L.  Terboven, Christian  Chapman, Barbara M.  Müller, Matthias S.
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-65578-9
    + info
Search Based Software Engineering
Autor/Editor: Fraser, Gordon  Teixeira de Souza, Jerffeson
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-33119-0
    + info
Search Based Software Engineering
Autor/Editor: Ruhe, Günther  Zhang, Yuanyuan
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-39742-4
    + info
Search Based Software Engineering
Autor/Editor: Sarro, Federica  Deb, Kalyanmoy
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-47106-8
    + info
Search-Based Software Engineering
Autor/Editor: Barros, Márcio  Labiche, Yvan
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-22183-0
    + info
Search-Based Software Engineering
Autor/Editor: Goues, Claire  Yoo, Shin
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-09940-8
    + info
Small Dynamic Complexity Classes
Autor/Editor: Zeume, Thomas
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-54314-6
    + info
Smart Learning Objects for Smart Education in Computer Science
Autor/Editor: Å tuikys, Vytautas
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-16913-2
    + info
Snake Charming - The Musical Python
Autor/Editor: Gray, Iain
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-60660-6
    + info
Software Composition
Autor/Editor: Gschwind, Thomas  Paoli, Flavio  Gruhn, Volker  Book, Matthias
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-30564-1
    + info
Software Developers as Users
Autor/Editor: Souza, Clarisse Sieckenius de  Gusmão Cerqueira, Renato Fontoura de  Marques Afonso, Luiz Rafael  Mello Brandão, Rossi de  Soares Jansen Ferreira, Juliana
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-42831-4
    + info
Software Engineering
Autor/Editor: Meyer, Bertrand  Nordio, Martin
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-28406-4
    + info
Software Engineering
Autor/Editor: Lucia, Andrea  Ferrucci, Filomena
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-36054-1
    + info
Software Engineering and Formal Methods
Autor/Editor: Calinescu, Radu  Rumpe, Bernhard
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-22969-0
    + info
Software Engineering and Formal Methods
Autor/Editor: Hierons, Robert M.  Merayo, Mercedes G.  Bravetti, Mario
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-40561-7
    + info
Software Engineering and Formal Methods
Autor/Editor: Giannakopoulou, Dimitra  Salaun, Gwen
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-10431-7
    + info
Software Engineering and Formal Methods
Autor/Editor: De Nicola, Rocco  Kühn, Eva
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-41591-8
    + info
Software Engineering and Formal Methods
Autor/Editor: Cimatti, Alessandro  Sirjani, Marjan
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-66197-1
    + info
Software Engineering and Formal Methods
Autor/Editor: Johnsen, Einar Broch  Schaefer, Ina
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-92970-5
    + info
Software Engineering for Collective Autonomic Systems
Autor/Editor: Wirsing, Martin  Hölzl, Matthias  Koch, Nora  Mayer, Philip
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-16310-9
    + info
Software Engineering for Self-Adaptive Systems II
Autor/Editor: Lemos, Rogério  Giese, Holger  Müller, Hausi A.  Shaw, Mary
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-35813-5
    + info
Software Reuse : Bridging with Social-Awareness
Autor/Editor: Kapitsaki, Georgia M.  Santana de Almeida, Eduardo
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-35122-3
    + info
Software Reuse for Dynamic Systems in the Cloud and Beyond
Autor/Editor: Schaefer, Ina  Stamelos, Ioannis
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-14130-5
    + info
Software Technologies
Autor/Editor: Cabello, Enrique  Cardoso, Jorge  Maciaszek, Leszek A.  Sinderen, Marten van
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-93641-3
    + info
Software Technologies: Applications and Foundations. STAF 2017 Collocated Workshops, Revised Selected Papers
Autor/Editor: Seidl, Martina  Zschaler, Steffen
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-74730-9
    + info
Software, Services, and Systems
Autor/Editor: Nicola, Rocco  Hennicker, Rolf
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-15545-6
    + info
Solving Software Challenges for Exascale
Autor/Editor: Markidis, Stefano  Laure, Erwin
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-15976-8
    + info
Static Analysis
Autor/Editor: Logozzo, Francesco  Fähndrich, Manuel
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-38856-9
    + info
Static Analysis
Autor/Editor: Podelski, Andreas
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-99725-4
    + info
Structured Object-Oriented Formal Language and Method
Autor/Editor: Liu, Shaoying
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-39277-1
    + info
Supercomputing
Autor/Editor: Voevodin, Vladimir  Sobolev, Sergey
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-55669-7
    + info
Supercomputing
Autor/Editor: Voevodin, Vladimir  Sobolev, Sergey
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-71255-0
    + info
Systems Programming in Unix/Linux
Autor/Editor: Wang, K. C.
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-92429-8
    + info
Testbeds and Research Infrastructure. Development of Networks and Communities. TridentCom 2011
Autor/Editor: Korakis, Thanasis  Li, Hongbin  Tran-Gia, Phuoc  Park, Hong-Shik
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-29273-6
    + info
Tests and Proofs
Autor/Editor: Blanchette, Jasmin Christian  Kosmatov, Nikolai
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-21215-9
    + info
Tests and Proofs
Autor/Editor: Brucker, Achim D.  Julliand, Jacques
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-30473-6
    + info
Tests and Proofs
Autor/Editor: Veanes, Margus  Viganò, Luca
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-38916-0
    + info
Tests and Proofs
Autor/Editor: Seidl, Martina  Tillmann, Nikolai
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-09099-3
    + info
Tests and Proofs
Autor/Editor: Aichernig, Bernhard K.  Furia, Carlo A.
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-41135-4
    + info
Tests and Proofs
Autor/Editor: Sebastian Gabmeyer, Einar Broch Johnsen
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-61467-0
    + info
The Beauty of Functional Code
Autor/Editor: Achten, Peter  Koopman, Pieter
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-40355-2
    + info
The Deductive Spreadsheet
Autor/Editor: Cervesato, Iliano
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-37747-1
    + info
Theory and Applications of Satisfiability Testing – SAT 2018
Autor/Editor: Beyersdorff, Olaf  Wintersteiger, Christoph M.
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-94144-8
    + info
Theory and Practice of Model Transformation
Autor/Editor: Rensink, Arend  Sánchez Cuadrado, Jesús
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-93317-7
    + info
Tools and Algorithms for the Construction and Analysis of Systems
Autor/Editor: Flanagan, Cormac  König, Barbara
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-28756-5
    + info
Tools for Practical Software Verification
Autor/Editor: Meyer, Bertrand  Nordio, Martin
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-35746-6
    + info
Topics in Theoretical Computer Science
Autor/Editor: Mousavi, Mohammad Reza  Sgall, Jiří
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-68953-1
    + info
[Anterior] de 8 paginas [Siguiente]      registros 301 al 350 de 375