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
: Logics and Meanings of Programs
de
33 paginas
registros 1 al 20 de 657
A First Introduction to Quantum Computing and Information
Autor/Editor:
Zygelman, Bernard
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-91629-3
+ info
A General Framework for Reasoning On Inconsistency
Autor/Editor:
Martinez, Maria Vanina
Molinaro, Cristian
Subrahmanian, V.S.
Amgoud, Leila
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-1-4614-6750-2
+ info
A List of Successes That Can Change the World
Autor/Editor:
Lindley, Sam
McBride, Conor
Trinder, Phil
Sannella, Don
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-30936-1
+ info
A Polynomial Translation of Mobile Ambients into Safe Petri Nets
Autor/Editor:
Göbel, Susanne
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-658-11765-8
+ info
Abstract State Machines, Alloy, B, TLA, VDM, and Z
Autor/Editor:
Ait Ameur, Yamine
Schewe, Klaus-Dieter
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-662-43652-3
+ info
Abstract State Machines, Alloy, B, TLA, VDM, and Z
Autor/Editor:
Butler, Michael
Schewe, Klaus-Dieter
Mashkoor, Atif
Biro, Miklos
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-33600-8
+ info
Abstract State Machines, Alloy, B, TLA, VDM, and Z
Autor/Editor:
Butler, Michael
Raschke, Alexander
Hoang, Thai Son
Reichl, Klaus
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-91271-4
+ info
Abstract State Machines, Alloy, B, VDM, and Z
Autor/Editor:
Derrick, John
Fitzgerald, John
Gnesi, Stefania
Khurshid, Sarfraz
Leuschel, Michael
Reeves, Steve
Riccobene, Elvinia
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-30885-7
+ info
ABZ 2014: The Landing Gear Case Study
Autor/Editor:
Boniol, Frédéric
Wiels, Virginie
Ait Ameur, Yamine
Schewe, Klaus-Dieter
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-07512-9
+ info
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation
Autor/Editor:
Eiter, Thomas
Strass, Hannes
Truszczyński, Mirosław
Woltran, Stefan
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-14726-0
+ info
Advances in Software Engineering Techniques
Autor/Editor:
Szmuc, Tomasz
Szpyrka, Marcin
Zendulka, Jaroslav
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-28038-2
+ info
AI Approaches to the Complexity of Legal Systems
Autor/Editor:
Pagallo, Ugo
Palmirani, Monica
Casanovas, Pompeu
Sartor, Giovanni
Villata, Serena
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-030-00178-0
+ info
AI*IA 2017 Advances in Artificial Intelligence
Autor/Editor:
Esposito, Floriana
Basili, Roberto
Ferilli, Stefano
Lisi, Francesca A.
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-70169-1
+ info
Algebraic and Algorithmic Aspects of Differential and Integral Operators
Autor/Editor:
Barkatou, Moulay
Cluzeau, Thomas
Regensburger, Georg
Rosenkranz, Markus
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-54479-8
+ info
Algebraic and Numeric Biology
Autor/Editor:
Horimoto, Katsuhisa
Nakatsui, Masahiko
Popov, Nikolaj
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-28067-2
+ info
Algebraic Informatics
Autor/Editor:
Maletti, Andreas
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-23021-4
+ info
Algebraic Informatics
Autor/Editor:
Muntean, Traian
Poulakis, Dimitrios
Rolland, Robert
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-40663-8
+ info
Algorithmic Aspects of Cloud Computing
Autor/Editor:
Karydis, Ioannis
Sioutas, Spyros
Triantafillou, Peter
Tsoumakos, Dimitrios
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-29919-8
+ info
Algorithmic Learning Theory
Autor/Editor:
Bshouty, Nader H.
Stoltz, Gilles
Vayatis, Nicolas
Zeugmann, Thomas
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-34106-9
+ info
Algorithmic Learning Theory
Autor/Editor:
Jain, Sanjay
Munos, Rémi
Stephan, Frank
Zeugmann, Thomas
Año de edición:
2013
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-40935-6
+ info
de
33 paginas
registros 1 al 20 de 657