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
: Cong, Jason
Autor/Editor
: Bensadoun, R-J
Keyword
: Purchasing
Keyword
: Soil productivity
Keyword
: Bioscience
Autor/Editor
: Cepeda Ulloa, Fernando
Autor/Editor
: Rathore, Santosh Singh
Autor/Editor
: Schenk, Tim
Autor/Editor
: Howes, R H
Keyword
: Language Education
Keyword
: British and Irish Literature
Keyword
: PERT (Network analysis)
Keyword
: Comparative Linguistics
Autor/Editor
: Masocha, Shepard
Autor/Editor
: Chaieb, Faten
Autor/Editor
: Erban, Vojtěch
Autor/Editor
: Lambrix, Patrick
Autor/Editor
: Barbosa-C√°novas, Gustavo V .
Autor/Editor
: Chuenpagdee, Ratana
Autor/Editor
: Sharda, Ramesh
Autor/Editor
: Mahapatra, D. Roy
Keyword
: Environmental Physics
Autor/Editor
: GarciÌa Martorell, Claudio
Keyword
: Entrepreneurship--Social aspects
Autor/Editor
: Filimowicz, Michael
Keyword
: Space (Architecture)
Autor/Editor
: Giakoumis, Dimitris
Keyword
: Planetology
1/1
Formal Methods: Foundations and Applications
Autor/Editor:
Cavalheiro, Simone
-
Fiadeiro, José
Año de edición:
2017
Acceso:
UBA
URL:
http://dx.doi.org/10.1007/978-3-319-70848-5
Idioma:
inglés
Colección:
Computación
Keywords:
Software Engineering
-
Theory of Computation
-
Simulation and Modeling
-
The Computing Profession
-
System Performance and Evaluation
Título de la Serie:
Lecture Notes in Computer Science
Vol.No.:
10623
Tipo de documento:
Reunión
Edición:
1st ed. 2017
Editor:
Springer International Publishing
ISBN-e:
978-3-319-70848-5
ISSN-e:
1611-3349