Registros por pagina: 20 50 100

Buscar Por:

Título

Autor/Editor

Colección


Registros por pagina: 20 50 100

[Anterior] de 14 paginas [Siguiente]      registros 51 al 100 de 657
Business Process Management. 10th International Conference, BPM 2012
Autor/Editor: Barros, Alistair  Gal, Avigdor  Kindler, Ekkart
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-32885-5
    + info
Categories and Types in Logic, Language, and Physics
Autor/Editor: Casadio, Claudia  Coecke, Bob  Moortgat, Michael  Scott, Philip
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-54789-8
    + info
Central European Functional Programming School
Autor/Editor: Zsók, Viktória  Horváth, Zoltán  Csató, Lehel
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-15940-9
    + info
Certified Programs and Proofs
Autor/Editor: Hawblitzel, Chris  Miller, Dale
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-35308-6
    + info
Certified Programs and Proofs
Autor/Editor: Gonthier, Georges  Norrish, Michael
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-03545-1
    + info
Coalgebraic Methods in Computer Science
Autor/Editor: Pattinson, Dirk  Schröder, Lutz
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-32784-1
    + info
Coalgebraic Methods in Computer Science
Autor/Editor: Bonsangue, Marcello M.
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-44124-4
    + info
Coalgebraic Methods in Computer Science
Autor/Editor: Hasuo, Ichiro
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-40370-0
    + info
Coalgebraic Methods in Computer Science
Autor/Editor: Cîrstea, Corina
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-00389-0
    + info
Collaborative Design for Embedded Systems
Autor/Editor: Fitzgerald, John  Gorm Larsen, Peter  Verhoef, Marcel
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-54118-6
    + info
Compiler Construction
Autor/Editor: Franke, Björn
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-46663-6
    + info
Computability and Complexity
Autor/Editor: Day, Adam  Fellows, Michael  Greenberg, Noam  Khoussainov, Bakhadyr  Melnikov, Alexander  Rosamond, Frances
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-50062-1
    + info
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky
Autor/Editor: Coecke, Bob  Ong, Luke  Panangaden, Prakash
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-38164-5
    + info
Computation, Physics and Beyond
Autor/Editor: Dinneen, Michael J.  Khoussainov, Bakhadyr  Nies, André
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-27654-5
    + info
Computational Autism
Autor/Editor: Galitsky, Boris
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-39972-0
    + info
Computational Issues in Fluid Construction Grammar
Autor/Editor: Steels, Luc
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-34120-5
    + info
Computational Logic in Multi-Agent Systems
Autor/Editor: Fisher, Michael  Torre, Leon  Dastani, Mehdi  Governatori, Guido
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-32897-8
    + info
Computational Logic in Multi-Agent Systems
Autor/Editor: Leite, João  Son, Tran Cao  Torroni, Paolo  Torre, Leon  Woltran, Stefan
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-40624-9
    + info
Computational Logic in Multi-Agent Systems
Autor/Editor: Bulling, Nils  Torre, Leendert  Villata, Serena  Jamroga, Wojtek  Vasconcelos, Wamberto
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-09764-0
    + info
Computational Methods in Systems Biology
Autor/Editor: Feret, Jérôme  Koeppl, Heinz
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-67471-1
    + info
Computational Methods in Systems Biology
Autor/Editor: ÄŒeÅ¡ka, Milan  Å afránek, David
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-99429-1
    + info
Computer Aided Verification
Autor/Editor: Kroening, Daniel  Păsăreanu, Corina S.
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-21668-3
    + info
Computer Aided Verification
Autor/Editor: Kroening, Daniel  Păsăreanu, Corina S.
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-21690-4
    + info
Computer Aided Verification
Autor/Editor: Madhusudan, P.  Seshia, Sanjit A.
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-31424-7
    + info
Computer Aided Verification
Autor/Editor: Sharygina, Natasha  Veith, Helmut
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-39799-8
    + info
Computer Aided Verification
Autor/Editor: Biere, Armin  Bloem, Roderick
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-08867-9
    + info
Computer Aided Verification. 28th International Conference, CAV 2016, Proceedings, Part I
Autor/Editor: Chaudhuri, Swarat  Farzan, Azadeh
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-41528-4
    + info
Computer Aided Verification. 28th International Conference, CAV 2016, Proceedings, Part II
Autor/Editor: Chaudhuri, Swarat  Farzan, Azadeh
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-41540-6
    + info
Computer Aided Verification. 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
Autor/Editor: Majumdar, Rupak  Kunčak, Viktor
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-63387-9
    + info
Computer Aided Verification. 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
Autor/Editor: Majumdar, Rupak  Kunčak, Viktor
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-63390-9
    + info
Computer Aided Verification. 30th International Conference, Proceedings, Part I
Autor/Editor: Chockler, Hana  Weissenbacher, Georg
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-96145-3
    + info
Computer Aided Verification. 30th International Conference, Proceedings, Part II
Autor/Editor: Chockler, Hana  Weissenbacher, Georg
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-96142-2
    + info
Computer Algebra in Scientific Computing
Autor/Editor: Gerdt, Vladimir P.  Koepf, Wolfram  Seiler, Werner M.  Vorozhtsov, Evgenii V.
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-66320-3
    + info
Computer Algebra in Scientific Computing
Autor/Editor: Gerdt, Vladimir P.  Koepf, Wolfram  Seiler, Werner M.  Vorozhtsov, Evgenii V.
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-99639-4
    + info
Computer Applications for Software Engineering, Disaster Recovery, and Business Continuity
Autor/Editor: Kim, Tai-hoon  Ramos, Carlos  Kim, Haeng-kon  Kiumi, Akingbehin  Mohammed, Sabah  ÅšlÄ™zak, Dominik
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-35267-6
    + info
Computer Performance Engineering
Autor/Editor: Horváth, András  Wolter, Katinka
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-10885-8
    + info
Computer Performance Engineering
Autor/Editor: Fiems, Dieter  Paolieri, Marco  Platis, Agapios N.
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-46433-6
    + info
Computer Performance Engineering
Autor/Editor: Reinecke, Philipp  Di Marco, Antinisca
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-66583-2
    + info
Computer Safety, Reliability, and Security
Autor/Editor: Koornneef, Floor  Gulijk, Coen van
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-24249-1
    + info
Computer Safety, Reliability, and Security
Autor/Editor: Koornneef, Floor  Gulijk, Coen van
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-24255-2
    + info
Computer Safety, Reliability, and Security
Autor/Editor: Bondavalli, Andrea  Di Giandomenico, Felicita
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-10506-2
    + info
Computer Safety, Reliability, and Security
Autor/Editor: Bondavalli, Andrea  Ceccarelli, Andrea  Ortmeier, Frank
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-10557-4
    + info
Computer Safety, Reliability, and Security
Autor/Editor: Tonetta, Stefano  Schoitsch, Erwin  Bitsch, Friedemann
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-66266-4
    + info
Computer Safety, Reliability, and Security
Autor/Editor: Tonetta, Stefano  Schoitsch, Erwin  Bitsch, Friedemann
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-66284-8
    + info
Computer Safety, Reliability, and Security : 37th International Conference, Proceedings
Autor/Editor: Gallina, Barbara  Skavhaug, Amund  Bitsch, Friedemann
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-99130-6
    + info
Computer Safety, Reliability, and Security : SAFECOMP 2018 Workshops, Proceedings
Autor/Editor: Gallina, Barbara  Skavhaug, Amund  Schoitsch, Erwin  Bitsch, Friedemann
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-99229-7
    + info
Computer Safety, Reliability, and Security. 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings
Autor/Editor: Skavhaug, Amund  Guiochet, Jérémie  Bitsch, Friedemann
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-45477-1
    + info
Computer Safety, Reliability, and Security. SAFECOMP 2012 Workshops
Autor/Editor: Ortmeier, Frank  Daniel, Peter
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-33675-1
    + info
Computer Safety, Reliability, and Security. SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings
Autor/Editor: Skavhaug, Amund  Guiochet, Jérémie  Schoitsch, Erwin  Bitsch, Friedemann
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-45480-1
    + info
Computer Science - Theory and Applications
Autor/Editor: Hirsch, Edward A.  Kuznetsov, Sergei O.  Pin, Jean-Eric  Vereshchagin, Nikolay K.
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-06686-8
    + info
[Anterior] de 14 paginas [Siguiente]      registros 51 al 100 de 657