Registros por pagina: 20 50 100

Buscar Por:

Título

Autor/Editor

Colección


Registros por pagina: 20 50 100

[Anterior] de 31 paginas [Siguiente]      registros 751 al 800 de 1525
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
Job Scheduling Strategies for Parallel Processing
Autor/Editor: Cirne, Walfredo  Desai, Narayan  Frachtenberg, Eitan  Schwiegelshohn, Uwe
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-35867-8
    + info
Job Scheduling Strategies for Parallel Processing
Autor/Editor: Desai, Narayan  Cirne, Walfredo
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-43779-7
    + 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
Knowledge Discovery, Knowledge Engineering and Knowledge Management
Autor/Editor: Fred, Ana  Dietz, Jan L. G.  Liu, Kecheng  Filipe, Joaquim
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-29764-9
    + info
Knowledge Engineering and Knowledge Management
Autor/Editor: Lambrix, Patrick  Hyvönen, Eero  Blomqvist, Eva  Presutti, Valentina  Qi, Guilin  Sattler, Uli  Ding, Ying  Ghidini, Chiara
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-17966-7
    + info
Knowledge Engineering and Knowledge Management
Autor/Editor: Teije, Annette  Völker, Johanna  Handschuh, Siegfried  Stuckenschmidt, Heiner  d’Acquin, Mathieu  Nikolov, Andriy  Aussenac-Gilles, Nathalie  Hernandez, Nathalie
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-33876-2
    + info
Knowledge Engineering and Knowledge Management
Autor/Editor: Janowicz, Krzysztof  Schlobach, Stefan  Lambrix, Patrick  Hyvönen, Eero
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-13704-9
    + info
Knowledge Engineering and Knowledge Management
Autor/Editor: Blomqvist, Eva  Ciancarini, Paolo  Poggi, Francesco  Vitali, Fabio
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-49004-5
    + info
Knowledge Science, Engineering and Management
Autor/Editor: Wang, Mingzheng
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-39787-5
    + info
Knowledge Science, Engineering and Management
Autor/Editor: Buchmann, Robert  Kifor, Claudiu Vasile  Yu, Jian
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-12096-6
    + info
Knowledge-Based Software Engineering
Autor/Editor: Kravets, Alla  Shcherbakov, Maxim  Kultsova, Marina  Iijima, Tadashi
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-11854-3
    + info
Land Subsidence Analysis in Urban Areas
Autor/Editor: Zeitoun, David G.  Wakshal, Eliyahu
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-94-007-5506-2
    + 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: 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
Languages, Applications and Technologies
Autor/Editor: Sierra-Rodríguez, José-Luis  Leal, José-Paulo  Simões, Alberto
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-27653-3
    + info
Large-Scale Complex IT Systems. Development, Operation and Management
Autor/Editor: Calinescu, Radu  Garlan, David
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-34059-8
    + info
Lean Enterprise Software and Systems
Autor/Editor: Fitzgerald, Brian  Conboy, Kieran  Power, Ken  Valerdi, Ricardo  Morgan, Lorraine  Stol, Klaas-Jan
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-44930-7
    + info
Lean Software Development in Action
Autor/Editor: Janes, Andrea  Succi, Giancarlo
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-00503-9
    + info
Learning Technology for Education Challenges
Autor/Editor: Uden, Lorna  Liberona, Dario  Ristvej, Jozef
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-95522-3
    + info
Lectures on Runtime Verification
Autor/Editor: Bartocci, Ezio  Falcone, Yliès
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-75632-5
    + info
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications. 7th International Symposium, ISoLA 2016. Proceedings, Part II
Autor/Editor: Margaria, Tiziana  Steffen, Bernhard
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-47169-3
    + info
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. 7th International Symposium, ISoLA 2016. Proceedings, Part I
Autor/Editor: Margaria, Tiziana  Steffen, Bernhard
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-47166-2
    + info
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies
Autor/Editor: Margaria, Tiziana  Steffen, Bernhard
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-34032-1
    + info
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
Autor/Editor: Margaria, Tiziana  Steffen, Bernhard
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-03424-5
    + info
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
Autor/Editor: Margaria, Tiziana  Steffen, Bernhard
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-03427-6
    + info
Leveraging Applications of Formal Methods, Verification and Validation. Modeling
Autor/Editor: Margaria, Tiziana  Steffen, Bernhard
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-03418-4
    + info
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
Autor/Editor: Steffen, Bernhard  Margaria, Tiziana
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-45231-8
    + info
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
Autor/Editor: Margaria, Tiziana  Steffen, Bernhard
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-34026-0
    + info
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
Autor/Editor: Steffen, Bernhard  Margaria, Tiziana
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-45234-9
    + info
Leveraging Applications of Formal Methods, Verification and Validation. Verification
Autor/Editor: Margaria, Tiziana  Steffen, Bernhard
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-03421-4
    + info
Leveraging Applications of Formal Methods, Verification, and Validation
Autor/Editor: Hähnle, Reiner  Knoop, Jens  Margaria, Tiziana  Schreiner, Dietmar  Steffen, Bernhard
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-34781-8
    + info
Leveraging Applications of Formal Methods, Verification, and Validation. 6th International Symposium, ISoLA 2014 and 5th International Symposium, ISoLA 2012. Revised Selected Papers
Autor/Editor: Lamprecht, Anna-Lena
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-51641-7
    + info
Logic and Its Applications
Autor/Editor: Ghosh, Sujata  Prasad, Sanjiva
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-54069-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 Programs, Norms and Action
Autor/Editor: Artikis, Alexander  Craven, Robert  Kesim Çiçekli, Nihan  Sadighi, Babak  Stathis, Kostas
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-29414-3
    + 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
[Anterior] de 31 paginas [Siguiente]      registros 751 al 800 de 1525