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 101 al 200 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
Inductive Logic Programming
Autor/Editor: Cussens, James  Russo, Alessandra
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-63342-8
    + info
Inductive Logic Programming
Autor/Editor: Lachiche, Nicolas  Vrain, Christel
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-78090-0
    + info
Inductive Logic Programming
Autor/Editor: Riguzzi, Fabrizio  Bellodi, Elena  Zese, Riccardo
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-99960-9
    + info
Integrated Formal Methods
Autor/Editor: Derrick, John  Gnesi, Stefania  Latella, Diego  Treharne, Helen
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-30729-4
    + info
Intelligent Cloud Computing
Autor/Editor: Al-Saidi, Asma  Fleischer, Rudolf  Maamar, Zakaria  Rana, Omer F.
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-19848-4
    + info
Intelligent Computer Mathematics
Autor/Editor: Rabe, Florian  Farmer, William M.  Passmore, Grant O.  Youssef, Abdou
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-96812-4
    + info
Introduction to HPC with MPI for Data Science
Autor/Editor: Nielsen, Frank
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-21903-5
    + info
Introduction to Parallel Computing
Autor/Editor: Trobec, Roman  Slivnik, BoÅ¡tjan  Bulić, Patricio  Robič, Borut
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-98833-7
    + info
Introduction to Programming Concepts with Case Studies in Python
Autor/Editor: Üçoluk, Göktürk  Kalkan, Sinan
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-7091-1343-1
    + info
Introduction to Programming with Fortran
Autor/Editor: Chivers, Ian  Sleightholme, Jane
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-17701-4
    + info
Introduction to Programming with Fortran
Autor/Editor: Chivers, Ian  Sleightholme, Jane
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-0-85729-233-9
    + info
Introduction to Programming with Fortran
Autor/Editor: Chivers, Ian  Sleightholme, Jane
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-75502-1
    + info
Introduction to Software Quality
Autor/Editor: O’Regan, Gerard
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-06106-1
    + info
It's All About Coordination
Autor/Editor: Boer, Frank de  Bonsangue, Marcello  Rutten, Jan
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-90089-6
    + info
JRuby Rails Web Application Development
Autor/Editor: Vohra, Deepak
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-03934-3
    + info
Language and Automata Theory and Applications
Autor/Editor: Drewes, Frank  Martín-Vide, Carlos  Truthe, Bianca
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-53733-7
    + info
Language and Automata Theory and Applications
Autor/Editor: Klein, Shmuel Tomi  Martín-Vide, Carlos  Shapira, Dana
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-77313-1
    + info
Languages and Compilers for Parallel Computing
Autor/Editor: Brodman, James  Tu, Peng
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-17473-0
    + info
Languages and Compilers for Parallel Computing
Autor/Editor: Rajopadhye, Sanjay  Mills Strout, Michelle
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-36036-7
    + info
Languages and Compilers for Parallel Computing
Autor/Editor: Kasahara, Hironori  Kimura, Keiji
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-37658-0
    + info
Languages and Compilers for Parallel Computing
Autor/Editor: Shen, Xipeng  Mueller, Frank  Tuck, James
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-29778-1
    + info
Languages and Compilers for Parallel Computing
Autor/Editor: Ding, Chen  Criswell, John  Wu, Peng
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-52709-3
    + info
Large-Scale Scientific Computing
Autor/Editor: Lirkov, Ivan  Margenov, Svetozar  WaÅ›niewski, Jerzy
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-29843-1
    + info
LaTeX in 24 Hours
Autor/Editor: Datta, Dilip
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-47831-9
    + info
Learning C# by Programming Games
Autor/Editor: Egges, Arjan  Fokker, Jeroen D.  Overmars, Mark H.
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-36580-5
    + info
Learning Java with Games
Autor/Editor: Xu, Chong-wei
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-72886-5
    + info
Logic and Program Semantics
Autor/Editor: Constable, Robert L.  Silva, Alexandra
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-29485-3
    + info
Logic for Programming, Artificial Intelligence, and Reasoning
Autor/Editor: Davis, Martin  Fehnker, Ansgar  McIver, Annabelle  Voronkov, Andrei
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-48899-7
    + info
Logic for Programming, Artificial Intelligence, and Reasoning
Autor/Editor: Bjørner, Nikolaj  Voronkov, Andrei
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-28717-6
    + info
Logic for Programming, Artificial Intelligence, and Reasoning
Autor/Editor: McMillan, Ken  Middeldorp, Aart  Voronkov, Andrei
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-45221-5
    + info
Logic Programming and Nonmonotonic Reasoning
Autor/Editor: Calimeri, Francesco  Ianni, Giovambattista  Truszczynski, Miroslaw
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-23264-5
    + info
Logic Programming and Nonmonotonic Reasoning
Autor/Editor: Cabalar, Pedro  Son, Tran Cao
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-40564-8
    + info
Logic Programming and Nonmonotonic Reasoning
Autor/Editor: Balduccini, Marcello  Janhunen, Tomi
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-61660-5
    + info
Logic Programming with Prolog
Autor/Editor: Bramer, Max
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-1-4471-5487-7
    + info
Logic-Based Program Synthesis and Transformation
Autor/Editor: Vidal, Germán
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-32211-2
    + info
Logic-Based Program Synthesis and Transformation
Autor/Editor: Albert, Elvira
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-38197-3
    + info
Logic-Based Program Synthesis and Transformation
Autor/Editor: Gupta, Gopal  Peña, Ricardo
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-14125-1
    + info
Logic-Based Program Synthesis and Transformation
Autor/Editor: Hermenegildo, Manuel V.  Lopez-Garcia, Pedro
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-63139-4
    + info
Logic-Based Program Synthesis and Transformation
Autor/Editor: Fioravanti, Fabio  Gallagher, John P.
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-94460-9
    + info
Logic, Language, Information, and Computation
Autor/Editor: Moss, Lawrence S.  Queiroz, Ruy de  Martinez, Maricarmen
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-662-57669-4
    + info
Logic, Rewriting, and Concurrency
Autor/Editor: Martí-Oliet, Narciso  Ölveczky, Peter Csaba  Talcott, Carolyn
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-23165-5
    + info
Logical Foundations of Computer Science
Autor/Editor: Artemov, Sergei  Nerode, Anil
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-72056-2
    + info
Logics in Artificial Intelligence
Autor/Editor: Fariñas Cerro, Luis  Herzig, Andreas  Mengin, Jérôme
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-33353-8
    + info
Logics in Artificial Intelligence
Autor/Editor: Fermé, Eduardo  Leite, João
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-11558-0
    + info
Machine Learning with R
Autor/Editor: Ghatak, Abhijit
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-981-10-6808-9
    + info
Mastering Scale and Complexity in Software Reuse
Autor/Editor: Botterweck, Goetz  Werner, Claudia
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-56856-0
    + info
Mathematical Software – ICMS 2018
Autor/Editor: Davenport, James H.  Kauers, Manuel  Labahn, George  Urban, Josef
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-96418-8
    + info
Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance
Autor/Editor: Schmitt, Jens B.
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-28540-0
    + info
Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance
Autor/Editor: Fischbach, Kai  Krieger, Udo R.
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-05359-2
    + info
Meta-Programming and Model-Driven Meta-Program Development
Autor/Editor: Å tuikys, Vytautas  DamaÅ¡evičius, Robertas
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-1-4471-4126-6
    + info
[Anterior] de 4 paginas [Siguiente]      registros 101 al 200 de 375