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
: Software Engineering
Keyword
: Mathematical Logic and Foundations
Keyword
: Logics and Meanings of Programs
Keyword
: Mathematics of Computing
Keyword
: Computer Science
de
31 paginas
registros 151 al 200 de 1525
Artificial General Intelligence
Autor/Editor:
Kühnberger, Kai-Uwe
Rudolph, Sebastian
Wang, Pei
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-39521-5
+ info
Artificial General Intelligence
Autor/Editor:
Goertzel, Ben
Orseau, Laurent
Snaider, Javier
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-09274-4
+ info
Artificial General Intelligence
Autor/Editor:
Iklé, Matthew
Franz, Arthur
Rzepka, Rafal
Goertzel, Ben
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-97676-1
+ info
Artificial Intelligence : 16th Russian Conference, Proceedings
Autor/Editor:
Kuznetsov, Sergei O.
Osipov, Gennady S.
Stefanuk, Vadim L.
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-030-00617-4
+ info
Artificial Intelligence and Soft Computing : 17th International Conference, Proceedings, Part II
Autor/Editor:
Rutkowski, Leszek
Scherer, Rafał
Korytkowski, Marcin
Pedrycz, Witold
Tadeusiewicz, Ryszard
Zurada, Jacek M.
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-91262-2
+ info
Artificial Intelligence and Soft Computing. 17th International Conference, Proceedings, Part I
Autor/Editor:
Rutkowski, Leszek
Scherer, Rafał
Korytkowski, Marcin
Pedrycz, Witold
Tadeusiewicz, Ryszard
Zurada, Jacek M.
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-91253-0
+ info
Aspect-Oriented Requirements Engineering
Autor/Editor:
Moreira, Ana
Chitchyan, Ruzanna
Araújo, João
Rashid, Awais
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-38640-4
+ info
Aspect-Oriented Security Hardening of UML Design Models
Autor/Editor:
Mouheb, Djedjiga
Debbabi, Mourad
Pourzandi, Makan
Wang, Lingyu
Nouh, Mariam
Ziarati, Raha
Alhadidi, Dima
Talhi, Chamseddine
Lima, Vitor
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-16106-8
+ info
Assurances for Self-Adaptive Systems
Autor/Editor:
Cámara, Javier
Lemos, Rogério
Ghezzi, Carlo
Lopes, Antónia
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-36249-1
+ info
Augmented Reality, Virtual Reality, and Computer Graphics. 4th International Conference, AVR 2017, Ugento, Italy, June 12-15, 2017, Proceedings, Part II
Autor/Editor:
De Paolis, Lucio Tommaso
Bourdot, Patrick
Mongelli, Antonio
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-60922-5
+ info
Augmented Reality, Virtual Reality, and Computer Graphics. 4th International Conference, AVR 2017, Ugento, Italy, June 12-15, 2017, Proceedings, Part II
Autor/Editor:
De Paolis, Lucio Tommaso
Bourdot, Patrick
Mongelli, Antonio
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-60928-7
+ info
Automated Configuration Problem Solving
Autor/Editor:
Petrie, Charles J.
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-1-4614-4532-6
+ info
Automated Deduction – CADE 26
Autor/Editor:
Moura, Leonardo de
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-63046-5
+ info
Automated Deduction – CADE-24
Autor/Editor:
Bonacina, Maria Paola
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-38574-2
+ info
Automated Deduction in Geometry
Autor/Editor:
Botana, Francisco
Quaresma, Pedro
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-21362-0
+ info
Automated Deduction in Geometry
Autor/Editor:
Ida, Tetsuo
Fleuriot, Jacques
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-40672-0
+ info
Automated Reasoning
Autor/Editor:
Gramlich, Bernhard
Miller, Dale
Sattler, Uli
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-31365-3
+ info
Automated Reasoning
Autor/Editor:
Demri, Stéphane
Kapur, Deepak
Weidenbach, Christoph
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-08587-6
+ info
Automated Reasoning
Autor/Editor:
Olivetti, Nicola
Tiwari, Ashish
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-40229-1
+ info
Automated Reasoning
Autor/Editor:
Galmiche, Didier
Schulz, Stephan
Sebastiani, Roberto
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-94205-6
+ info
Automated Reasoning with Analytic Tableaux and Related Methods
Autor/Editor:
De Nivelle, Hans
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-24312-2
+ info
Automated Reasoning with Analytic Tableaux and Related Methods
Autor/Editor:
Galmiche, Didier
Larchey-Wendling, Dominique
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-40537-2
+ info
Automated Reasoning with Analytic Tableaux and Related Methods
Autor/Editor:
Schmidt, Renate A.
Nalon, Cláudia
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-66902-1
+ info
Automated Software and Service Composition
Autor/Editor:
Mohr, Felix
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-34168-2
+ info
Automated Technology for Verification and Analysis
Autor/Editor:
Chakraborty, Supratik
Mukund, Madhavan
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-33386-6
+ info
Automated Technology for Verification and Analysis
Autor/Editor:
Hung, Dang
Ogawa, Mizuhito
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-02444-8
+ info
Automated Technology for Verification and Analysis
Autor/Editor:
Cassez, Franck
Raskin, Jean-François
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-11936-6
+ info
Automated Technology for Verification and Analysis
Autor/Editor:
Artho, Cyrille
Legay, Axel
Peled, Doron
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-46520-3
+ info
Automated Technology for Verification and Analysis
Autor/Editor:
D'Souza, Deepak
Kumar, K. Narayan
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-68167-2
+ info
Automated Technology for Verification and Analysis
Autor/Editor:
Lahiri, Shuvendu K.
Wang, Chao
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-030-01090-4
+ info
Automatic Generation of Combinatorial Test Data
Autor/Editor:
Zhang, Jian
Zhang, Zhiqiang
Ma, Feifei
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-662-43429-1
+ info
Automotive Software Architectures
Autor/Editor:
Staron, Miroslaw
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-58610-6
+ info
Autonomous Agents and Multiagent Systems. AAMAS 2016 Workshops, Visionary Papers, Revised Selected Papers
Autor/Editor:
Osman, Nardine
Sierra, Carles
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-46840-2
+ info
Autonomy Requirements Engineering for Space Missions
Autor/Editor:
Vassev, Emil
Hinchey, Mike
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-09816-6
+ info
Behavior Modeling -- Foundations and Applications
Autor/Editor:
Roubtsova, Ella
McNeile, Ashley
Kindler, Ekkart
Gerth, Christian
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-21912-7
+ info
Behavioural Models
Autor/Editor:
Kunze, Matthias
Weske, Mathias
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-44960-9
+ info
Benchmarking Peer-to-Peer Systems
Autor/Editor:
Effelsberg, Wolfgang
Steinmetz, Ralf
Strufe, Thorsten
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-38673-2
+ info
Beyond Databases, Architectures and Structures. Facing the Challenges of Data Proliferation and Growing Variety
Autor/Editor:
Kozielski, Stanisław
Mrozek, Dariusz
Kasprowski, Paweł
Małysiak-Mrozek, Bożena
Kostrzewa, Daniel
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-99987-6
+ info
Big Data
Autor/Editor:
Gottlob, Georg
Grasso, Giovanni
Olteanu, Dan
Schallhart, Christian
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-39467-6
+ info
Big Data Technologies and Applications
Autor/Editor:
Furht, Borko
Villanustre, Flavio
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-44550-2
+ info
Bio-Inspired Models of Network, Information, and Computing Systems. 5th International ICST Conference, BIONETICS 2010
Autor/Editor:
Suzuki, Junichi
Nakano, Tadashi
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-32615-8
+ info
Biomedical Data Management and Graph Online Querying
Autor/Editor:
Wang, Fusheng
Luo, Gang
Weng, Chunhua
Khan, Arijit
Mitra, Prasenjit
Yu
Cong
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-41576-5
+ info
Broadband Communications, Networks, and Systems
Autor/Editor:
Tomkos, Ioannis
Bouras, Christos J.
Ellinas, Georgios
Demestichas, Panagiotis
Sinha, Prasun
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-30376-0
+ info
Building a National Distributed e-Infrastructure–PL-Grid
Autor/Editor:
Bubak, Marian
Szepieniec, Tomasz
Wiatr, Kazimierz
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-28267-6
+ info
Business Information Systems
Autor/Editor:
Abramowicz, Witold
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-59336-4
+ info
Business Information Systems
Autor/Editor:
Abramowicz, Witold
Paschke, Adrian
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-93931-5
+ info
Business Modeling and Software Design
Autor/Editor:
Shishkov, Boris
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-20052-1
+ info
Business Modeling and Software Design
Autor/Editor:
Shishkov, Boris
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-29788-5
+ info
Business Modeling and Software Design
Autor/Editor:
Shishkov, Boris
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-37478-4
+ info
Business Modeling and Software Design
Autor/Editor:
Shishkov, Boris
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-06671-4
+ info
de
31 paginas
registros 151 al 200 de 1525