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:
Keyword
: Urbanism
Autor/Editor
: Dutra, Inês
Autor/Editor
: Ermolayev, Vadim
Autor/Editor
: Guttmann, Walter
Autor/Editor
: Filipovic, Nenad
Autor/Editor
: Destercke, Sébastien
Autor/Editor
: Mohanraj, R.
Autor/Editor
: Seyff, Norbert
Autor/Editor
: Scheler, Inga
Autor/Editor
: Goemans, Michel
Autor/Editor
: Sakurai, Yuko
Autor/Editor
: Thirion-Moreau, Nadège
Autor/Editor
: NemÄok, Michal
Autor/Editor
: Lin, Yi-Bing
Autor/Editor
: Nurse, Angus
Autor/Editor
: Argles, David
Autor/Editor
: Issa, Tomayess
Autor/Editor
: Gulisano, Vincenzo
Autor/Editor
: Luo, Xiaoguang
Keyword
: Cell Physiology
Autor/Editor
: Unnithan, Vikram
Autor/Editor
: Barceló, DamiÃ
Autor/Editor
: Schuster, Alfons Josef
1/1
Foundations of Software Science and Computation Structures
Autor/Editor:
Esparza, Javier
-
Murawski, Andrzej S.
Año de edición:
2017
Acceso:
UBA
URL:
http://dx.doi.org/10.1007/978-3-662-54458-7
Idioma:
inglés
Colección:
Computación
Keywords:
Logics and Meanings of Programs
-
Mathematical Logic and Formal Languages
-
Programming Languages
-
Compilers
-
Interpreters
-
Software Engineering
-
Computation by Abstract Devices
Título de la Serie:
Lecture Notes in Computer Science
Vol.No.:
10203
Tipo de documento:
Reunión
Edición:
1st ed. 2017
Editor:
Springer Berlin Heidelberg
ISBN-e:
978-3-662-54458-7
ISSN-e:
1611-3349