Registros por pagina: 20 50 100

Buscar Por:

Título

Autor/Editor

Colección


Registros por pagina: 20 50 100

[Anterior] de 4 paginas [Siguiente]      registros 201 al 300 de 375
Model and Data Engineering
Autor/Editor: Ouhammou, Yassine  Ivanovic, Mirjana  Abelló, Alberto  Bellatreche, Ladjel
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-66854-3
    + info
Model and Data Engineering
Autor/Editor: Abdelwahed, El Hassan  Bellatreche, Ladjel  Golfarelli, Mattéo  Méry, Dominique  Ordonez, Carlos
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-00856-7
    + info
Models@run.time
Autor/Editor: Bencomo, Nelly  France, Robert  Cheng, Betty H. C.  Abmann, Uwe
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-08915-7
    + info
Modelling Foundations and Applications
Autor/Editor: Taentzer, Gabriele  Bordeleau, Francis
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-21151-0
    + info
Modelling Foundations and Applications
Autor/Editor: Gorp, Pieter  Ritter, Tom  Rose, Louis M.
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-39013-5
    + info
Modelling Foundations and Applications
Autor/Editor: WÄ…sowski, Andrzej  Lönn, Henrik
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-42061-5
    + info
Modelling Foundations and Applications
Autor/Editor: Anjorin, Anthony  Espinoza, Huáscar
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-61482-3
    + info
Modelling Foundations and Applications
Autor/Editor: Pierantonio, Alfonso  Trujillo, Salvador
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-92997-2
    + info
Modern Compiler Design
Autor/Editor: Grune, Dick  Reeuwijk, Kees van  Bal, Henri E.  Jacobs, Ceriel J.H.  Langendoen, Koen
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-1-4614-4699-6
    + info
Multicore Programming Using the ParC Language
Autor/Editor: Ben-Asher, Yosi
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-1-4471-2164-0
    + info
Multicore Software Engineering, Performance, and Tools
Autor/Editor: Pankratius, Victor  Philippsen, Michael
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-31202-1
    + info
Multicore Software Engineering, Performance, and Tools
Autor/Editor: Lourenço, João M.  Farchi, Eitan
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-39955-8
    + info
NASA Formal Methods
Autor/Editor: Havelund, Klaus  Holzmann, Gerard  Joshi, Rajeev
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-17524-9
    + info
NASA Formal Methods
Autor/Editor: Goodloe, Alwyn E.  Person, Suzette
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-28891-3
    + info
NASA Formal Methods
Autor/Editor: Brat, Guillaume  Rungta, Neha  Venet, Arnaud
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-38088-4
    + info
NASA Formal Methods
Autor/Editor: Badger, Julia M.  Rozier, Kristin Yvonne
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-06200-6
    + info
NASA Formal Methods
Autor/Editor: Rayadurgam, Sanjai  Tkachuk, Oksana
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-40648-0
    + info
NASA Formal Methods
Autor/Editor: Barrett, Clark  Davies, Misty  Kahsai, Temesghen
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-57288-8
    + info
New Opportunities for Software Reuse
Autor/Editor: Capilla, Rafael  Gallina, Barbara  Cetina, Carlos
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-90421-4
    + info
Numerical Computations with GPUs
Autor/Editor: Kindratenko, Volodymyr
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-06548-9
    + info
Object-Oriented Analysis, Design and Implementation
Autor/Editor: Dathan, Brahma  Ramnath, Sarnath
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-24280-4
    + info
Object-Oriented Technology
Autor/Editor: Alagić, Suad
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-20442-0
    + info
Objects, Models, Components, Patterns
Autor/Editor: Furia, Carlo A.  Nanz, Sebastian
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-30561-0
    + info
Open Source Geospatial Tools
Autor/Editor: McInerney, Daniel  Kempeneers, Pieter
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-01824-9
    + info
Open Source Systems: Long-Term Sustainability
Autor/Editor: Hammouda, Imed  Lundell, Björn  Mikkonen, Tommi  Scacchi, Walt
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-33442-9
    + info
OpenMP in a Heterogeneous World
Autor/Editor: Chapman, Barbara M.  Massaioli, Federico  Müller, Matthias S.  Rorro, Marco
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-30961-8
    + info
OpenMP in the Era of Low Power Devices and Accelerators
Autor/Editor: Rendell, Alistair P.  Chapman, Barbara M.  Müller, Matthias S.
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-40698-0
    + info
OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence
Autor/Editor: Venkata, Manjunath Gorentla  Imam, Neena  Pophale, Swaroop
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-73814-7
    + info
OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments
Autor/Editor: Venkata, Manjunath Gorentla  Imam, Neena  Pophale, Swaroop  Mintz, Tiffany M.
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-50995-2
    + info
OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools
Autor/Editor: Poole, Stephen  Hernandez, Oscar  Shamis, Pavel
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-05215-1
    + info
Parallel Computational Technologies
Autor/Editor: Sokolinsky, Leonid  Zymbler, Mikhail
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-67035-5
    + info
Parallel Processing and Applied Mathematics : Part II
Autor/Editor: Wyrzykowski, Roman  Dongarra, Jack  Deelman, Ewa  Karczewski, Konrad
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-78054-2
    + info
Parallel Processing and Applied Mathematics. 10th International Conference, PPAM 2013, Revised Selected Papers, Part I
Autor/Editor: Wyrzykowski, Roman  Dongarra, Jack  Karczewski, Konrad  WaÅ›niewski, Jerzy
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-55224-3
    + info
Parallel Processing and Applied Mathematics. 11th International Conference, Revised Selected Papers, Part I
Autor/Editor: Wyrzykowski, Roman  Deelman, Ewa  Dongarra, Jack  Karczewski, Konrad  Kitowski, Jacek  Wiatr, Kazimierz
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-32149-3
    + info
Parallel Processing and Applied Mathematics. 11th International Conference, Revised Selected Papers, Part II
Autor/Editor: Wyrzykowski, Roman  Deelman, Ewa  Dongarra, Jack  Karczewski, Konrad  Kitowski, Jacek  Wiatr, Kazimierz
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-32152-3
    + info
Parallel Processing and Applied Mathematics. Part I
Autor/Editor: Wyrzykowski, Roman  Dongarra, Jack  Karczewski, Konrad  WaÅ›niewski, Jerzy
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-31464-3
    + info
Parallel Processing and Applied Mathematics. Part II
Autor/Editor: Wyrzykowski, Roman  Dongarra, Jack  Karczewski, Konrad  WaÅ›niewski, Jerzy
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-31500-8
    + info
Parallel Programming
Autor/Editor: Rauber, Thomas  Rünger, Gudula
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-37801-0
    + info
Parallel Scientific Computing
Autor/Editor: Trobec, Roman  Kosec, Gregor
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-17073-2
    + info
Patterns of HCI Design and HCI Design of Patterns
Autor/Editor: Seffah, Ahmed
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-15687-3
    + info
Patterns, Programming and Everything
Autor/Editor: Breitman, Karin K.  Horspool, R. Nigel
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-1-4471-2350-7
    + info
Perspectives of System Informatics
Autor/Editor: Petrenko, Alexander K.  Voronkov, Andrei
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-74313-4
    + info
Perspectives of Systems Informatics
Autor/Editor: Clarke, Edmund  Virbitskaite, Irina  Voronkov, Andrei
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-29709-0
    + info
Practical Analysis of Algorithms
Autor/Editor: Vrajitoru, Dana  Knight, William
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-09888-3
    + info
Practical Aspects of Declarative Languages
Autor/Editor: Pontelli, Enrico  Son, Tran Cao
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-19686-2
    + info
Practical Aspects of Declarative Languages
Autor/Editor: Russo, Claudio  Zhou, Neng-Fa
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-27694-1
    + info
Practical Aspects of Declarative Languages
Autor/Editor: Sagonas, Kostis
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-45284-0
    + info
Practical Aspects of Declarative Languages
Autor/Editor: Flatt, Matthew  Guo, Hai-Feng
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-04132-2
    + info
Practical Aspects of Declarative Languages
Autor/Editor: Gavanelli, Marco  Reppy, John
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-28228-2
    + info
Practical Aspects of Declarative Languages
Autor/Editor: Lierler, Yuliya  Taha, Walid
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-51676-9
    + info
Practical Aspects of Declarative Languages
Autor/Editor: Calimeri, Francesco  Hamlen, Kevin  Leone, Nicola
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-73305-0
    + info
Principles of Data Mining
Autor/Editor: Bramer, Max
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-1-4471-4884-5
    + info
Principles of Data Mining
Autor/Editor: Bramer, Max
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-1-4471-7307-6
    + info
Product-Focused Software Process Improvement
Autor/Editor: Kuhrmann, Marco  Schneider, Kurt  Pfahl, Dietmar  Amasaki, Sousuke  Ciolkowski, Marcus  Hebig, Regina  Tell, Paolo  Klünder, Jil  Küpper, Steffen
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-03673-7
    + info
Programming Languages
Autor/Editor: Carvalho Junior, Francisco Heron  Barbosa, Luis Soares
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-33182-4
    + info
Programming Languages
Autor/Editor: Rauber Bois, André  Trinder, Phil
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-40922-6
    + info
Programming Languages
Autor/Editor: Quintão Pereira, Fernando Magno
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-11863-5
    + info
Programming Languages
Autor/Editor: Castor, Fernando  Liu, Yu David
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-45279-1
    + info
Programming Languages and Operational Semantics
Autor/Editor: Fernández, Maribel
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-1-4471-6368-8
    + info
Programming Languages and Systems
Autor/Editor: Felleisen, Matthias  Gardner, Philippa
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-37036-6
    + info
Programming Languages and Systems
Autor/Editor: Shao, Zhong
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-54833-8
    + info
Programming Languages and Systems
Autor/Editor: Chang, Bor-Yuh Evan
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-71237-6
    + info
Programming Languages and Systems
Autor/Editor: Yang, Hongseok
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-54434-1
    + info
Programming Languages and Systems
Autor/Editor: Ryu, Sukyoung
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-02768-1
    + info
Programming Languages and Systems : 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Proceedings
Autor/Editor: Thiemann, Peter
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-49498-1
    + info
Programming Languages and Systems. APLAS 2012
Autor/Editor: Jhala, Ranjit  Igarashi, Atsushi
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-35182-2
    + info
Programming Languages and Systems. ESOP 2012
Autor/Editor: Seidl, Helmut
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-28869-2
    + info
Programming Languages with Applications to Biology and Security
Autor/Editor: Bodei, Chiara  Ferrari, Gian-Luigi  Priami, Corrado
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-25527-9
    + info
Programming Logics
Autor/Editor: Voronkov, Andrei  Weidenbach, Christoph
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-37651-1
    + info
Programming Multi-Agent Systems
Autor/Editor: Dastani, Mehdi  Hübner, Jomi F.  Logan, Brian
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-38700-5
    + info
Programming Multi-Agent Systems. ProMAS 2010
Autor/Editor: Collier, Rem  Dix, Jürgen  Novák, Peter
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-28939-2
    + info
Programming Multi-Agent Systems. ProMAS 2011
Autor/Editor: Dennis, Louise  Boissier, Olivier  Bordini, Rafael H.
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-31915-0
    + info
Programming Smalltalk – Object-Orientation from the Beginning
Autor/Editor: Brauer, Johannes
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-658-06823-3
    + info
Programming with Actors
Autor/Editor: Ricci, Alessandro  Haller, Philipp
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-00302-9
    + info
Progress in VLSI Design and Test
Autor/Editor: Rahaman, Hafizur  Chattopadhyay, Sanatan  Chattopadhyay, Santanu
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-31494-0
    + info
Provably Correct Systems
Autor/Editor: Hinchey, Mike  Bowen, Jonathan P.  Olderog, Ernst-Rüdiger
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-48628-4
    + info
Random-Like Bi-level Decision Making
Autor/Editor: Xu, Jiuping  Li, Zongmin  Tao, Zhimiao
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-981-10-1768-1
    + info
Recent Advances in the Message Passing Interface
Autor/Editor: Träff, Jesper Larsson  Benkner, Siegfried  Dongarra, Jack J.
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-33518-1
    + info
Reconfigurable Computing: Architectures, Tools and Applications
Autor/Editor: Choy, Oliver C. S.  Cheung, Ray C. C.  Athanas, Peter  Sano, Kentaro
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-28365-9
    + info
Relational and Algebraic Methods in Computer Science
Autor/Editor: Desharnais, Jules  Guttmann, Walter  Joosten, Stef
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-02149-8
    + info
Reliable Software Technologies – Ada-Europe 2012
Autor/Editor: Brorsson, Mats  Pinho, Luís Miguel
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-30598-6
    + info
Requirements Engineering and Management for Software Development Projects
Autor/Editor: Chemuturi, Murali
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-1-4614-5377-2
    + info
Retrogame Archeology
Autor/Editor: Aycock, John
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-30004-7
    + info
Rewriting Logic and Its Applications
Autor/Editor: Durán, Franciso
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-34005-5
    + info
Rewriting Logic and Its Applications
Autor/Editor: Escobar, Santiago
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-12904-4
    + info
Rewriting Logic and Its Applications
Autor/Editor: Lucanu, Dorel
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-44802-2
    + info
Rewriting Logic and Its Applications
Autor/Editor: Rusu, Vlad
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-99840-4
    + info
Routines of Substitution
Autor/Editor: Priestley, Mark
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-91671-2
    + info
Rules and Reasoning
Autor/Editor: Costantini, Stefania  Franconi, Enrico  Woensel, William Van  Kontchakov, Roman  Sadri, Fariba  Roman, Dumitru
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-61252-2
    + info
Rules and Reasoning
Autor/Editor: Benzmüller, Christoph  Ricca, Francesco  Parent, Xavier  Roman, Dumitru
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-99906-7
    + info
Rules on the Web: Research and Applications
Autor/Editor: Bikakis, Antonis  Giurca, Adrian
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-32689-9
    + info
Runtime Verification
Autor/Editor: Bartocci, Ezio  Majumdar, Rupak
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-23820-3
    + info
Runtime Verification
Autor/Editor: Khurshid, Sarfraz  Sen, Koushik
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-29860-8
    + info
Runtime Verification
Autor/Editor: Qadeer, Shaz  Tasiran, Serdar
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-35632-2
    + info
Runtime Verification
Autor/Editor: Legay, Axel  Bensalem, Saddek
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-40787-1
    + info
Runtime Verification
Autor/Editor: Bonakdarpour, Borzoo  Smolka, Scott A.
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-11164-3
    + info
Runtime Verification
Autor/Editor: Falcone, Yliès  Sánchez, César
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-46982-9
    + info
Runtime Verification
Autor/Editor: Lahiri, Shuvendu  Reger, Giles
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-67531-2
    + info
Safe and Secure Software Reuse
Autor/Editor: Favaro, John  Morisio, Maurizio
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-38977-1
    + info
Scala : From a Functional Programming Perspective
Autor/Editor: Torra, Vicenç
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-46481-7
    + info
[Anterior] de 4 paginas [Siguiente]      registros 201 al 300 de 375