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
: Binoy, Ravindran
Autor/Editor
: Ramon, Jan
Autor/Editor
: Rubin, Julia
Autor/Editor
: Ulidowski, Irek
Autor/Editor
: Tan, Wenrong
Autor/Editor
: Crespi Reghizzi, Stefano
Autor/Editor
: Chang, Yi
Autor/Editor
: Rossi, Matteo
Autor/Editor
: Nanda, Pradipta Kumar
Autor/Editor
: Podelski, Andreas
Autor/Editor
: Shi, Yinghuan
Autor/Editor
: Mitra, Prasenjit
Autor/Editor
: Akbar Hussain, Dil Muhammad
Autor/Editor
: Aslam Uqaili, Muhammad
Autor/Editor
: Ourselin, Sebastien
Autor/Editor
: Marchand-Maillet, Stéphane
1/1
Computer Science - Theory and Applications
Autor/Editor:
Hirsch, Edward A.
-
Kuznetsov, Sergei O.
-
Pin, Jean-Eric
-
Vereshchagin, Nikolay K.
Año de edición:
2014
Acceso:
UBA
URL:
http://dx.doi.org/10.1007/978-3-319-06686-8
Idioma:
inglés
Colección:
Computación
Keywords:
Mathematical Logic and Formal Languages
-
Logics and Meanings of Programs
-
Numeric Computing
-
Computation by Abstract Devices
-
Discrete Mathematics in Computer Science
-
Algorithm Analysis and Problem Complexity
Título de la Serie:
Lecture Notes in Computer Science
Vol.No.:
8476
Tipo de documento:
Reunión
Editor:
Springer
ISBN-e:
978-3-319-06686-8
ISSN-e:
1611-3349