Buscar
Avanzada
Historial
Registros por pagina:
20
50
100
Buscar Por:
Título
Autor/Editor
Colección
Todas las colecciones
Antropología
Arquitectura y diseño
Astronomía y astrofísica
Bibliotecología y Ciencia de la Información
Ciencia Política
Ciencias agrarias
Ciencias de la tierra y del espacio
Ciencias de la vida
Ciencias de las Artes y de las Letras
Ciencias económicas
Ciencias jurídicas y Derecho
Ciencias médicas
Ciencias tecnológicas
Computación
Demografía
Ética
Filosofía
Física
Geografía
Historia
Ingeniería
Lingüística
Lógica
Matemáticas
Pedagogía
Psicología
Química
Sociología
Registros por pagina:
20
50
100
Busquedas:
Keyword
: Theory of Computation
de
11 paginas
registros 101 al 120 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
de
11 paginas
registros 101 al 120 de 216