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
: Calinescu, Radu
Autor/Editor
: Heldmaier, G.
Autor/Editor
: Russo, Alessandra
Autor/Editor
: Zimmermann, Wolf
Keyword
: HVAC
Autor/Editor
: Demers, Denis
Autor/Editor
: Ley, David
Keyword
: Veterinary on
Autor/Editor
: Cardarelli, Francois
Autor/Editor
: Yang, Weicai
Autor/Editor
: Qu, Bo
Keyword
: Digital media.
1/1
Theoretical Aspects of Computing – ICTAC 2016
Autor/Editor:
Sampaio, Augusto
-
Wang, Farn
Año de edición:
2016
Acceso:
UBA
URL:
http://dx.doi.org/10.1007/978-3-319-46750-4
Idioma:
inglés
Colección:
Computación
Keywords:
Logics and Meanings of Programs
-
Programming Languages
-
Compilers
-
Interpreters
-
Discrete Mathematics in Computer Science
-
Software Engineering
-
Mathematical Logic and Formal Languages
Título de la Serie:
Lecture Notes in Computer Science
Vol.No.:
9965
Tipo de documento:
Monografía
Edición:
1st ed.
Editor:
Springer International Publishing
ISBN-e:
978-3-319-46750-4
ISSN-e:
1611-3349