Registros por pagina: 20 50 100

Buscar Por:

Título

Autor/Editor

Colección


Registros por pagina: 20 50 100

[Anterior] de 4 paginas       registros 301 al 375 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
Towards Extensible and Adaptable Methods in Computing
Autor/Editor: Chakraverty, Shampa  Goel, Anil  Misra, Sanjay
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-981-13-2348-5
    + info
Transactions on Aspect-Oriented Software Development IX
Autor/Editor: Leavens, Gary T.  Chiba, Shigeru  Haupt, Michael  Ostermann, Klaus  Wohlstadter, Eric
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-35551-6
    + info
Transactions on Aspect-Oriented Software Development X
Autor/Editor: Leavens, Gary T.  Chiba, Shigeru  Tanter, Éric
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-36964-3
    + info
Transactions on Aspect-Oriented Software Development XI
Autor/Editor: Chiba, Shigeru  Tanter, Éric  Bodden, Eric  Maoz, Shahar  Kienzle, Jörg
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-55099-7
    + info
Transactions on Aspect-Oriented Software Development XII
Autor/Editor: Chiba, Shigeru  Tanter, Éric  Ernst, Erik  Hirschfeld, Robert
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-46734-3
    + info
Transactions on Foundations for Mastering Change I
Autor/Editor: Steffen, Bernhard
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-46508-1
    + info
Transactions on Pattern Languages of Programming III
Autor/Editor: Noble, James  Johnson, Ralph  Zdun, Uwe  Wallingford, Eugene
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-38676-3
    + info
Trends in Functional Programming
Autor/Editor: Hage, Jurriaan  McCarthy, Jay
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-14675-1
    + info
Trends in Functional Programming
Autor/Editor: Peña, Ricardo  Page, Rex
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-32037-8
    + info
Trends in Functional Programming
Autor/Editor: Loidl, Hans-Wolfgang  Peña, Ricardo
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-40447-4
    + info
Trends in Functional Programming
Autor/Editor: McCarthy, Jay
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-45340-3
    + info
Trends in Functional Programming
Autor/Editor: Serrano, Manuel  Hage, Jurriaan
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-39110-6
    + info
Trends in Functional Programming
Autor/Editor: Wang, Meng  Owens, Scott
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-89719-6
    + 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
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
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 of Business Rules Programs
Autor/Editor: Berstel-Da Silva, Bruno
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-40038-4
    + 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
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 : 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
Web Programming with PHP and MySQL
Autor/Editor: Bramer, Max
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-22659-0
    + info
Wireless Sensor Networks
Autor/Editor: Picco, Gian Pietro  Heinzelman, Wendi
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-28169-3
    + info
[Anterior] de 4 paginas       registros 301 al 375 de 375