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 101 al 150 de 683
Computational Processing of the Portuguese Language
Autor/Editor: Baptista, Jorge  Mamede, Nuno  Candeias, Sara  Paraboni, Ivandré  Pardo, Thiago A. S.  Volpe Nunes, Maria das Graças
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-09761-9
    + info
Computational Processing of the Portuguese Language
Autor/Editor: Silva, João  Ribeiro, Ricardo  Quaresma, Paulo  Adami, André  Branco, António
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-41552-9
    + info
Computational Processing of the Portuguese Language
Autor/Editor: Villavicencio, Aline  Moreira, Viviane  Abad, Alberto  Caseli, Helena  Gamallo, Pablo  Ramisch, Carlos  Oliveira, Hugo Gonçalo  Paetzold, Gustavo Henrique
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-99722-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-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: 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 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 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
Computer Science -- Theory and Applications
Autor/Editor: Beklemishev, Lev D.  Musatov, Daniil V.
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-20297-6
    + info
Computer Science – Theory and Applications
Autor/Editor: Hirsch, Edward A.  Karhumäki, Juhani  Lepistö, Arto  Prilutskii, Michail
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-30642-6
    + info
Computer Science – Theory and Applications
Autor/Editor: Bulatov, Andrei A.  Shur, Arseny M.
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-38536-0
    + info
Computer Science – Theory and Applications
Autor/Editor: Kulikov, Alexander S.  Woeginger, Gerhard J.
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-34171-2
    + info
Computer Science – Theory and Applications
Autor/Editor: Weil, Pascal
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-58747-9
    + info
Computers and Games
Autor/Editor: Herik, H. Jaap van den  Iida, Hiroyuki  Plaat, Aske
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-09165-5
    + info
Computing and Combinatorics
Autor/Editor: Dinh, Thang N.  Thai, My T.
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-42634-1
    + info
Computing with New Resources
Autor/Editor: Calude, Cristian S.  Freivalds, RÅ«siņš  Kazuo, Iwama
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-13350-8
    + info
Conceptual Modeling
Autor/Editor: Mayr, Heinrich C.  Guizzardi, Giancarlo  Ma, Hui  Pastor, Oscar
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-69904-2
    + info
Conceptual Modeling
Autor/Editor: Trujillo, Juan C.  Davis, Karen C.  Du, Xiaoyong  Li, Zhanhuai  Ling, Tok Wang  Li, Guoliang  Lee, Mong Li
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-00847-5
    + info
Conceptual Modelling and Its Theoretical Foundations
Autor/Editor: Düsterhöft, Antje  Klettke, Meike  Schewe, Klaus-Dieter
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-28279-9
    + info
Concise Computer Mathematics
Autor/Editor: Bagdasar, Ovidiu
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-01751-8
    + info
Concise Guide to Formal Methods
Autor/Editor: O'Regan, Gerard
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-64021-1
    + info
Concrete Semantics
Autor/Editor: Nipkow, Tobias  Klein, Gerwin
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-10542-0
    + info
CONCUR 2012 – Concurrency Theory
Autor/Editor: Koutny, Maciej  Ulidowski, Irek
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-32940-1
    + info
CONCUR 2014 – Concurrency Theory
Autor/Editor: Baldan, Paolo  Gorla, Daniele
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-44584-6
    + info
Concurrency, Security, and Puzzles
Autor/Editor: Gibson-Robinson, Thomas  Hopcroft, Philippa  Lazić, Ranko
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-51046-0
    + info
Constraint Solving and Language Processing
Autor/Editor: Duchier, Denys  Parmentier, Yannick
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-41578-4
    + info
Controlled Natural Language
Autor/Editor: Davis, Brian  Kaljurand, Kaarel  Kuhn, Tobias
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-10223-8
    + info
Controlled Natural Language. CNL 2010
Autor/Editor: Rosner, Michael  Fuchs, Norbert E.
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-31175-8
    + info
Controlled Natural Language. CNL 2012
Autor/Editor: Kuhn, Tobias  Fuchs, Norbert E.
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-32612-7
    + info
Correct Reasoning
Autor/Editor: Erdem, Esra  Lee, Joohyung  Lierler, Yuliya  Pearce, David
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-30743-0
    + info
Correct System Design
Autor/Editor: Meyer, Roland  Platzer, André  Wehrheim, Heike
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-23506-6
    + info
Critical Systems : Formal Methods and Automated Verification
Autor/Editor: Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-45943-1
    + info
Critical Systems: Formal Methods and Automated Verification
Autor/Editor: Petrucci, Laure  Seceleanu, Cristina  Cavalcanti, Ana
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-67113-0
    + info
Current Trends in Web Engineering
Autor/Editor: Garrigós, Irene  Wimmer, Manuel
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-74433-9
    + info
Cyberpatterns
Autor/Editor: Zhu, Hong  Blackwell, Clive
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-04447-7
    + info
Chinese Lexical Semantics
Autor/Editor: Lu, Qin  Gao, Helena Hong
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-27194-1
    + info
Chinese Lexical Semantics
Autor/Editor: Dong, Minghui  Lin, Jingxia  Tang, Xuri
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-49508-8
    + info
Chinese Lexical Semantics : 18th Workshop, Revised Selected Papers
Autor/Editor: Wu, Yunfang  Hong, Jia-Fei  Su, Qi
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-73573-3
    + info
Data Analytics and Management in Data Intensive Domains
Autor/Editor: Kalinichenko, Leonid  Manolopoulos, Yannis  Malkov, Oleg  Skvortsov, Nikolay  Stupnikov, Sergey  Sukhomlin, Vladimir
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-96553-6
    + info
Data Engineering and Management
Autor/Editor: Kannan, Rajkumar  Andres, Frederic
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-27872-3
    + info
Data Management Technologies and Applications
Autor/Editor: Filipe, Joaquim  Bernardino, Jorge  Quix, Christoph
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-94809-6
    + info
Database and Expert Systems Applications : 29th International Conference, Part II
Autor/Editor: Hartmann, Sven  Ma, Hui  Hameurlain, Abdelkader  Pernul, Günther  Wagner, Roland R.
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-98812-2
    + info
Database and Expert Systems Applications. 28th International Conference, DEXA 2017, Lyon, France, August 28-31, 2017, Proceedings, Part I
Autor/Editor: Benslimane, Djamal  Damiani, Ernesto  Grosky, William I.  Hameurlain, Abdelkader  Sheth, Amit  Wagner, Roland R.
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-64468-4
    + info
Database and Expert Systems Applications. 28th International Conference, DEXA 2017, Lyon, France, August 28-31, 2017, Proceedings, Part II
Autor/Editor: Benslimane, Djamal  Damiani, Ernesto  Grosky, William I.  Hameurlain, Abdelkader  Sheth, Amit  Wagner, Roland R.
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-64471-4
    + info
[Anterior] de 14 paginas [Siguiente]      registros 101 al 150 de 683