Registros por pagina: 20 50 100

Buscar Por:

Título

Autor/Editor

Colección


Registros por pagina: 20 50 100

[Anterior] de 5 paginas [Siguiente]      registros 101 al 150 de 216
Hybrid Metaheuristics : Powerful Tools for Optimization
Autor/Editor: Blum, Christian  Raidl, Günther R.
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-30883-8
    + info
Hyper-Heuristics: Theory and Applications
Autor/Editor: Pillay, Nelishia  Qu, Rong
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-96514-7
    + info
Integrated Formal Methods
Autor/Editor: Polikarpova, Nadia  Schneider, Steve
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-66845-1
    + info
Intelligent Data Engineering and Automated Learning – IDEAL 2018 : Proceedings, Part I
Autor/Editor: Yin, Hujun  Camacho, David  Novais, Paulo  Tallón-Ballesteros, Antonio J.
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-03493-1
    + info
Introduction to Concurrency Theory
Autor/Editor: Gorrieri, Roberto  Versari, Cristian
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-21491-7
    + info
Introduction to Evolutionary Computing
Autor/Editor: Eiben, A.E.  Smith, J.E.
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-44874-8
    + info
Introduction to Learning Classifier Systems
Autor/Editor: Urbanowicz, Ryan J.  Browne, Will N.
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-55007-6
    + info
Knowledge Engineering and Knowledge Management
Autor/Editor: Faron Zucker, Catherine  Ghidini, Chiara  Napoli, Amedeo  Toussaint, Yannick
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-03667-6
    + info
Language, Culture, Computation. Computational Linguistics and Linguistics. Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part III
Autor/Editor: Dershowitz, Nachum  Nissan, Ephraim
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-45327-4
    + info
Language, Culture, Computation. Computing - Theory and Technology. Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part I
Autor/Editor: Dershowitz, Nachum  Nissan, Ephraim
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-45321-2
    + info
Language, Culture, Computation. Computing of the Humanities, Law, and Narratives. Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part II
Autor/Editor: Dershowitz, Nachum  Nissan, Ephraim
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-45324-3
    + info
Languages Alive
Autor/Editor: Bordihn, Henning  Kutrib, Martin  Truthe, Bianca
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-31644-9
    + 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. 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
Logic, Rationality, and Interaction
Autor/Editor: Grossi, Davide  Roy, Olivier  Huang, Huaxin
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-40948-6
    + info
Logical Foundations of Computer Science
Autor/Editor: Artemov, Sergei  Nerode, Anil
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-35722-0
    + info
Machine Learning for Dynamic Software Analysis: Potentials and Limits
Autor/Editor: Bennaceur, Amel  Hähnle, Reiner  Meinke, Karl
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-96562-8
    + info
Massively Parallel Evolutionary Computation on GPGPUs
Autor/Editor: Tsutsui, Shigeyoshi  Collet, Pierre
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-37959-8
    + info
Mathematical Foundations of Advanced Informatics
Autor/Editor: Steffen, Bernhard  Rüthing, Oliver  Huth, Michael
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-68397-3
    + info
Mathematical Modeling and Computational Science
Autor/Editor: Adam, Gheorghe  BuÅ¡a, Ján  Hnatič, Michal
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-28212-6
    + info
Mathematical Software – ICMS 2014
Autor/Editor: Hong, Hoon  Yap, Chee
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-44199-2
    + info
Mathematics of Discrete Structures for Computer Science
Autor/Editor: Pace, Gordon J.
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-29840-0
    + info
Memristor Networks
Autor/Editor: Chua, Leon  Adamatzky, Andrew
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-02630-5
    + info
Model-Driven Software Migration: A Methodology
Autor/Editor: Wagner, Christian
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-658-05270-6
    + info
Modeling Time in Computing
Autor/Editor: Furia, Carlo A.  Mandrioli, Dino  Morzenti, Angelo  Rossi, Matteo
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-32332-4
    + info
Models of Computation
Autor/Editor: Bruni, Roberto  Montanari, Ugo
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-42900-7
    + info
Models, Algorithms, Logics and Tools
Autor/Editor: Aceto, Luca  Bacci, Giorgio  Bacci, Giovanni  Ingólfsdóttir, Anna  Legay, Axel  Mardare, Radu
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-63121-9
    + info
Modern Language Models and Computation
Autor/Editor: Meduna, Alexander  Soukup, OndÅ™ej
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-63100-4
    + info
NASA Formal Methods
Autor/Editor: Dutle, Aaron  Muñoz, César  Narkawicz, Anthony
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-77935-5
    + info
Natural Computing Algorithms
Autor/Editor: Brabazon, Anthony  O'Neill, Michael  McGarraghy, Seán
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-43631-8
    + info
Nature of Computation and Communication
Autor/Editor: Vinh, Phan Cong  Vassev, Emil  Hinchey, Mike
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-15392-6
    + info
Nature of Computation and Communication
Autor/Editor: Cong Vinh, Phan  Barolli, Leonard
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-46909-6
    + info
New Trends in Model and Data Engineering
Autor/Editor: Abdelwahed, El Hassan  Bellatreche, Ladjel  Benslimane, Djamal  Golfarelli, Matteo  Jean, Stéphane  Mery, Dominique  Nakamatsu, Kazumi  Ordonez, Carlos
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-02852-7
    + info
Open Problems in Mathematics and Computational Science
Autor/Editor: Koç, Çetin Kaya
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-10683-0
    + info
Optical Supercomputing
Autor/Editor: Dolev, Shlomi  Oltean, Mihai
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-38250-5
    + info
Pairing-Based Cryptography – Pairing 2013
Autor/Editor: Zhang, Fangguo  Cao, Zhenfu
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-04873-4
    + info
Parallel Processing and Applied Mathematics : Part II
Autor/Editor: Wyrzykowski, Roman  Dongarra, Jack  Deelman, Ewa  Karczewski, Konrad
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-78054-2
    + info
Parameterized and Exact Computation. IPEC 2011
Autor/Editor: Marx, Dániel  Rossmanith, Peter
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-28050-4
    + info
People, Problems, and Proofs
Autor/Editor: Lipton, Richard J.  Regan, Kenneth W.
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-41422-0
    + info
Petri Net Synthesis
Autor/Editor: Badouel, Eric  Bernardinello, Luca  Darondeau, Philippe
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-47967-4
    + info
Principles in Noisy Optimization
Autor/Editor: Rakshit, Pratyusha  Konar, Amit
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-981-10-8642-7
    + info
Principles of Security and Trust
Autor/Editor: Maffei, Matteo  Ryan, Mark
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-54455-6
    + info
Principles of Security and Trust
Autor/Editor: Bauer, Lujo  Küsters, Ralf
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-89722-6
    + info
Process Algebras for Petri Nets
Autor/Editor: Gorrieri, Roberto
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-55559-1
    + info
Programming Languages and Operational Semantics
Autor/Editor: Fernández, Maribel
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-1-4471-6368-8
    + info
Programming Languages and Systems
Autor/Editor: Chang, Bor-Yuh Evan
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-71237-6
    + info
Programming Languages and Systems
Autor/Editor: Ahmed, Amal
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-89884-1
    + info
Programming Languages and Systems
Autor/Editor: Ryu, Sukyoung
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-030-02768-1
    + info
[Anterior] de 5 paginas [Siguiente]      registros 101 al 150 de 216