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 101 al 150 de 375
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 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: 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 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 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 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 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
Frontiers of Combining Systems
Autor/Editor: Lutz, Carsten  Ranise, Silvio
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-24246-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
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
Functional and Logic Programming
Autor/Editor: Kiselyov, Oleg  King, Andy
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-29604-3
    + info
Functional and Logic Programming
Autor/Editor: Gallagher, John P.  Sulzmann, Martin
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-90686-7
    + info
Fundamental Approaches to Software Engineering
Autor/Editor: Lara, Juan  Zisman, Andrea
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-28872-2
    + info
Fundamentals of Java Programming
Autor/Editor: Ogihara, Mitsunori
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-89491-1
    + info
Fundamentals of Software Engineering
Autor/Editor: Dastani, Mehdi  Sirjani, Marjan
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-24644-4
    + info
Fundamentals of Software Engineering
Autor/Editor: Arbab, Farhad  Sirjani, Marjan
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-29320-7
    + info
Fundamentals of Software Engineering
Autor/Editor: Dastani, Mehdi  Sirjani, Marjan
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-68972-2
    + info
Generative and Transformational Techniques in Software Engineering IV
Autor/Editor: Lämmel, Ralf  Saraiva, João  Visser, Joost
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-35992-7
    + info
Generic and Indexed Programming
Autor/Editor: Gibbons, Jeremy
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-32202-0
    + info
Genetic Programming
Autor/Editor: Moraglio, Alberto  Silva, Sara  Krawiec, Krzysztof  Machado, Penousal  Cotta, Carlos
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-29139-5
    + info
Genetic Programming Theory and Practice X
Autor/Editor: Riolo, Rick  Vladislavleva, Ekaterina  Ritchie, Marylyn D., Moore, Jason H.
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-1-4614-6846-2
    + info
Genetic Programming Theory and Practice XI
Autor/Editor: Riolo, Rick  Moore, Jason H.  Kotanchek, Mark
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-1-4939-0375-7
    + info
Genetic Programming Theory and Practice XII
Autor/Editor: Riolo, Rick  Worzel, William P.  Kotanchek, Mark
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-16030-6
    + info
Globalizing Domain-Specific Languages
Autor/Editor: Combemale, Benoit  Cheng, Betty H.C.  France, Robert B.  Jézéquel, Jean-Marc  Rumpe, Bernhard
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-26172-0
    + info
Grand Timely Topics in Software Engineering
Autor/Editor: Cunha, Jácome  Fernandes, João P.  Lämmel, Ralf  Saraiva, João  Zaytsev, Vadim
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-60074-1
    + info
Graph Structures for Knowledge Representation and Reasoning
Autor/Editor: Croitoru, Madalina  Rudolph, Sebastian  Wilson, Nic  Howse, John  Corby, Olivier
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-29449-5
    + info
Graph Transformation
Autor/Editor: Lara, Juan de  Plump, Detlef
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-61470-0
    + info
Graph Transformation
Autor/Editor: Lambers, Leen  Weber, Jens
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-92991-0
    + info
Graph Transformation, Specifications, and Nets
Autor/Editor: Heckel, Reiko  Taentzer, Gabriele
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-75396-6
    + info
Graphical Models for Security
Autor/Editor: Liu, Peng  Mauw, Sjouke  Stolen, Ketil
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-74860-3
    + info
Guide to Cloud Computing
Autor/Editor: Hill, Richard  Hirsch, Laurie  Lake, Peter  Moshiri, Siavash
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-1-4471-4603-2
    + info
Guide to High Performance Distributed Computing
Autor/Editor: Srinivasa, K.G.  Muppalla, Anil Kumar
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-13497-0
    + info
Guide to Java
Autor/Editor: Soma, Takako  Streib, James T.
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-1-4471-6317-6
    + info
Guide to Programming and Algorithms Using R
Autor/Editor: Ergül, Özgür
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-1-4471-5328-3
    + info
Guide to Programming for the Digital Humanities
Autor/Editor: Kokensparger, Brian
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-99115-3
    + info
Guide to Scientific Computing in C++
Autor/Editor: Pitt-Francis, Joe  Whiteley, Jonathan
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-1-4471-2736-9
    + info
Handbook of Big Data Technologies
Autor/Editor: Zomaya, Albert Y.  Sakr, Sherif
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-49340-4
    + info
High Performance Computing : ISC High Performance 2018 International Workshops, Frankfurt/Main, Germany, June 28, 2018, Revised Selected Papers
Autor/Editor: Yokota, Rio  Weiland, MicheÌ€le  Shalf, John  Alam, Sadaf
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-02465-9
    + info
High Performance Computing. ISC High Performance 2017 International Workshops, DRBSD, ExaComm, HCPM, HPC-IODC, IWOPH, IXPUG, P^3MA, VHPC, Visualization at Scale, WOPSSS, Frankfurt, Germany, June 18-22, 2017, Revised Selected Papers
Autor/Editor: Kunkel, Julian M.  Yokota, Rio  Taufer, Michela  Shalf, John
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-67630-2
    + info
High-Performance Scientific Computing
Autor/Editor: Di Napoli, Edoardo  Hermanns, Marc-André  Iliev, Hristo  Lintermann, Andreas  Peyser, Alexander
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-53862-4
    + info
Hybrid Artificial Intelligent Systems
Autor/Editor: Martínez de Pisón, Francisco Javier  Urraca, Rubén  Quintián, Héctor  Corchado, Emilio
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-59650-1
    + info
Implementation and Application of Functional Languages
Autor/Editor: Gill, Andy  Hage, Jurriaan
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-34407-7
    + info
Implementation and Application of Functional Languages
Autor/Editor: Hinze, Ralf
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-41582-1
    + info
Inductive Logic Programming
Autor/Editor: Davis, Jesse  Ramon, Jan
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-23708-4
    + info
Inductive Logic Programming
Autor/Editor: Muggleton, Stephen H.  Tamaddoni-Nezhad, Alireza  Lisi, Francesca A.
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-31951-8
    + info
Inductive Logic Programming
Autor/Editor: Riguzzi, Fabrizio  Å½elezný, Filip
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-38812-5
    + info
Inductive Logic Programming
Autor/Editor: Paes, Aline  Santos Costa, Vítor  Zaverucha, Gerson
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-44923-3
    + info
Inductive Logic Programming
Autor/Editor: Inoue, Katsumi  Ohwada, Hayato  Yamamoto, Akihiro
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-40566-7
    + info
[Anterior] de 8 paginas [Siguiente]      registros 101 al 150 de 375