Registros por pagina: 20 50 100

Buscar Por:

Título

Autor/Editor

Colección


Registros por pagina: 20 50 100

[Anterior] de 11 paginas [Siguiente]      registros 61 al 80 de 216
Decentralized Spatial Computing
Autor/Editor: Duckham, Matt
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-30853-6
    + info
Decision Diagrams for Optimization
Autor/Editor: Bergman, David  Cire, Andre A.  Hoeve, Willem-Jan van  Hooker, John
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-42849-9
    + info
Decision Procedures
Autor/Editor: Kroening, Daniel  Strichman, Ofer
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-50497-0
    + info
Declarative Programming and Knowledge Management
Autor/Editor: Hanus, Michael  Rocha, Ricardo
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-08909-6
    + info
Designing the Digital Transformation
Autor/Editor: Maedche, Alexander  Brocke, Jan vom  Hevner, Alan
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-59144-5
    + info
Discrete and Topological Models in Molecular Biology
Autor/Editor: Jonoska, NataÅ¡a  Saito, Masahico
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-40193-0
    + info
Distributed Algorithms for Message-Passing Systems
Autor/Editor: Raynal, Michel
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-38123-2
    + info
Emerging Research in Artificial Intelligence and Computational Intelligence
Autor/Editor: Lei, Jingsheng  Wang, Fu Lee  Deng, Hepu  Miao, Duoqian
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-34240-0
    + info
Encyclopedia of Algorithms
Autor/Editor: Kao, Ming-Yang
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-1-4939-2864-4
    + info
Energy Time Series Forecasting
Autor/Editor: Dannecker, Lars
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-658-11039-0
    + info
Evolutionary Computer Vision
Autor/Editor: Olague, Gustavo
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-43693-6
    + info
Fault-Tolerant Message-Passing Distributed Systems
Autor/Editor: Raynal, Michel
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-94141-7
    + info
Fault-Tolerant Search Algorithms
Autor/Editor: Cicalese, Ferdinando
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-17327-1
    + info
Field-Coupled Nanocomputing
Autor/Editor: Anderson, Neal G.  Bhanja, Sanjukta
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-43722-3
    + info
Finitely Supported Mathematics
Autor/Editor: Alexandru, Andrei  Ciobanu, Gabriel
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-42282-4
    + info
Foraging-Inspired Optimisation Algorithms
Autor/Editor: Brabazon, Anthony  McGarraghy, Seán
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-59156-8
    + info
Formal Methods
Autor/Editor: Havelund, Klaus  Peleska, Jan  Roscoe, Bill  Vink, Erik de
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-95582-7
    + info
Formal Methods for Executable Software Models
Autor/Editor: Bernardo, Marco  Damiani, Ferruccio  Hähnle, Reiner  Johnsen, Einar Broch  Schaefer, Ina
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-07317-0
    + info
Formal Methods for Industrial Critical Systems
Autor/Editor: Howar, Falk  Barnat, Jiří
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-00244-2
    + info
Formal Methods: Foundations and Applications
Autor/Editor: Cavalheiro, Simone  Fiadeiro, José
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-70848-5
    + info
[Anterior] de 11 paginas [Siguiente]      registros 61 al 80 de 216