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
: Mathematical Logic and Formal Languages
de
35 paginas
registros 141 al 160 de 683
Cyberpatterns
Autor/Editor:
Zhu, Hong
Blackwell, Clive
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-04447-7
+ info
Chinese Lexical Semantics
Autor/Editor:
Lu, Qin
Gao, Helena Hong
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-27194-1
+ info
Chinese Lexical Semantics
Autor/Editor:
Dong, Minghui
Lin, Jingxia
Tang, Xuri
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-49508-8
+ info
Chinese Lexical Semantics : 18th Workshop, Revised Selected Papers
Autor/Editor:
Wu, Yunfang
Hong, Jia-Fei
Su, Qi
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-73573-3
+ info
Data Analytics and Management in Data Intensive Domains
Autor/Editor:
Kalinichenko, Leonid
Manolopoulos, Yannis
Malkov, Oleg
Skvortsov, Nikolay
Stupnikov, Sergey
Sukhomlin, Vladimir
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-96553-6
+ info
Data Engineering and Management
Autor/Editor:
Kannan, Rajkumar
Andres, Frederic
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-27872-3
+ info
Data Management Technologies and Applications
Autor/Editor:
Filipe, Joaquim
Bernardino, Jorge
Quix, Christoph
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-94809-6
+ info
Database and Expert Systems Applications : 29th International Conference, Part II
Autor/Editor:
Hartmann, Sven
Ma, Hui
Hameurlain, Abdelkader
Pernul, Günther
Wagner, Roland R.
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-98812-2
+ info
Database and Expert Systems Applications. 28th International Conference, DEXA 2017, Lyon, France, August 28-31, 2017, Proceedings, Part I
Autor/Editor:
Benslimane, Djamal
Damiani, Ernesto
Grosky, William I.
Hameurlain, Abdelkader
Sheth, Amit
Wagner, Roland R.
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-64468-4
+ info
Database and Expert Systems Applications. 28th International Conference, DEXA 2017, Lyon, France, August 28-31, 2017, Proceedings, Part II
Autor/Editor:
Benslimane, Djamal
Damiani, Ernesto
Grosky, William I.
Hameurlain, Abdelkader
Sheth, Amit
Wagner, Roland R.
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-64471-4
+ info
Datalog in Academia and Industry
Autor/Editor:
Barceló, Pablo
Pichler, Reinhard
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-32925-8
+ info
Deductive Software Verification – The KeY Book
Autor/Editor:
Ahrendt, Wolfgang
Beckert, Bernhard
Bubel, Richard
Hähnle, Reiner
Schmitt, Peter H.
Ulbrich, Mattias
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-49812-6
+ info
Deontic Logic and Normative Systems
Autor/Editor:
Cariani, Fabrizio
Grossi, Davide
Meheus, Joke
Parent, Xavier
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-08615-6
+ info
Deontic Logic in Computer Science
Autor/Editor:
Ågotnes, Thomas
Broersen, Jan
Elgesem, Dag
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-31570-1
+ info
Dependable Software Engineering: Theories, Tools, and Applications
Autor/Editor:
Li, Xuandong
Liu, Zhiming
Yi, Wang
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-25942-0
+ info
Dependable Software Engineering: Theories, Tools, and Applications
Autor/Editor:
Fränzle, Martin
Kapur, Deepak
Zhan, Naijun
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-47677-3
+ info
Dependable Software Engineering. Theories, Tools, and Applications
Autor/Editor:
Larsen, Kim Guldstrand
Sokolsky, Oleg
Wang, Ji
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-69483-2
+ info
Dependable Software Engineering. Theories, Tools, and Applications
Autor/Editor:
Feng, Xinyu
Müller-Olm, Markus
Yang, Zijiang
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-99933-3
+ info
Description Logics in Multimedia Reasoning
Autor/Editor:
Sikos, Leslie F.
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-54066-5
+ info
Descriptional Complexity of Formal Systems
Autor/Editor:
Shallit, Jeffrey
Okhotin, Alexander
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-19225-3
+ info
de
35 paginas
registros 141 al 160 de 683