Registros por pagina: 20 50 100

Buscar Por:

Título

Autor/Editor

Colección


Registros por pagina: 20 50 100

[Anterior] de 35 paginas [Siguiente]      registros 121 al 140 de 683
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
[Anterior] de 35 paginas [Siguiente]      registros 121 al 140 de 683