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
: Offshore Engineering
1/1
Theoretical Computer Science
Autor/Editor:
Du, Dingzhu
-
Li, Lian
-
Zhu, En
-
He, Kun
Año de edición:
2017
Acceso:
UBA
URL:
http://dx.doi.org/10.1007/978-981-10-6893-5
Idioma:
inglés
Colección:
Computación
Keywords:
Algorithm Analysis and Problem Complexity
-
Logics and Meanings of Programs
-
Mathematical Logic and Formal Languages
Título de la Serie:
Communications in Computer and Information Science
Vol.No.:
768
Tipo de documento:
Reunión
Edición:
1st ed.
Editor:
Springer Singapore
ISBN-e:
978-981-10-6893-5
ISSN-e:
1865-0937