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
: Sie, Oumarou
Autor/Editor
: Velarde, Manuel G.
Autor/Editor
: Zhou, Dalin
Autor/Editor
: Collins, Jennifer M.
Autor/Editor
: Chicano, Francisco
Autor/Editor
: Wang, Da
Autor/Editor
: Hull, Robert
Autor/Editor
: Cosgrove, Lisa
Autor/Editor
: Schwiegelshohn, Uwe
Autor/Editor
: Swart, Peter
Keyword
: International Relations
Autor/Editor
: Anslow, Craig
Autor/Editor
: Jensen, Michael J.
Autor/Editor
: Nakahara, Jorge Jr.
Autor/Editor
: Puhle, Michael
Autor/Editor
: Shevko, A.Ya.
Autor/Editor
: Rahman, Mohammad Azizur
Autor/Editor
: Hanisch, Markus
Keyword
: Convex and Discrete Geometry
Autor/Editor
: Primiero, Giuseppe
1/1
Reachability Problems
Autor/Editor:
Hague, Matthew
-
Potapov, Igor
Año de edición:
2017
Acceso:
UBA
URL:
http://dx.doi.org/10.1007/978-3-319-67089-8
Idioma:
inglés
Colección:
Computación
Keywords:
Computation by Abstract Devices
-
Logics and Meanings of Programs
-
Mathematical Logic and Formal Languages
-
Algorithm Analysis and Problem Complexity
-
Software Engineering/Programming and Operating Sys
-
Computing Methodologies
Título de la Serie:
Lecture Notes in Computer Science
Vol.No.:
10506
Tipo de documento:
Reunión
Edición:
1st ed. 2017
Editor:
Springer International Publishing
ISBN-e:
978-3-319-67089-8
ISSN-e:
1611-3349