Buscar
Avanzada
Historial
Buscar Por:
Título
Autor/Editor
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
Colección
Busquedas:
Autor/Editor
: Kagal, Lalana
Autor/Editor
: Vaszil, György
Autor/Editor
: Alhazov, Artiom
Autor/Editor
: Gavrilova, Marina L.
Autor/Editor
: Bhattacharya, Bhargab B.
Autor/Editor
: Puppim de Oliveira, Jose A.
Autor/Editor
: Wang, Fei-Yue
Keyword
: Electrical
Autor/Editor
: Liu, Xue
Autor/Editor
: Dobson, Amy Shields
Autor/Editor
: Xing, Kai
Keyword
: Academic librarians--Effect
Autor/Editor
: Getzlaff, Mathias
Autor/Editor
: Gervasi, Osvaldo
Keyword
: Cultural Policy
Autor/Editor
: Morgenthaler, Stephan
Autor/Editor
: Goitein, Michael
Autor/Editor
: Clemens, Gerhard
Autor/Editor
: Hack, Sebastian
Autor/Editor
: Ferrante, Gaetano
Autor/Editor
: Skutella, Martin
Autor/Editor
: Hunt, A G
Autor/Editor
: Pacini, Franco
1/1
Coalgebraic Methods in Computer Science
Autor/Editor:
Pattinson, Dirk
-
Schröder, Lutz
Año de edición:
2012
Acceso:
UBA
URL:
http://dx.doi.org/10.1007/978-3-642-32784-1
Idioma:
inglés
Colección:
Computación
Keywords:
Mathematical Logic and Formal Languages
-
Computation by Abstract Devices
-
Logics and Meanings of Programs
-
Probability and Statistics in Computer Science
Título de la Serie:
Lecture Notes in Computer Science
Vol.No.:
7399
Tipo de documento:
Reunión
Editor:
Springer Berlin Heidelberg
ISBN-e:
978-3-642-32784-1
ISSN-e:
1611-3349