A problem has been found
A problem has ocurred in the communication with the server.
Please, try again later. If the problem persists, contact the admin
Home
Repositories
Authors
Document types
Statistics
About
Query
Advanced Search
Simple Search
Title
Author
Subject
Year
Refine your Search
Repository
37
(2)
Show More
Show Less
Author
D'Orso, Julien
(1)
Gil Costa, Graciela Verónica
(1)
Marín, Mauricio
(1)
Printista, Alicia Marcela
(1)
Reyes, Nora Susana
(1)
Touili, Tayssir
(1)
Show More
Show Less
Subject
Ciencias Informáticas
(2)
Trees
(2)
BSP
(1)
Frameworks
(1)
Metrics Space,
(1)
Model checking
(1)
Mutual exclusion
(1)
Search process
(1)
indexes
(1)
spatial approximation
(1)
Show More
Show Less
Year
2006
(2)
2012
(2)
Show More
Show Less
Document Type
Sin Especificar
(2)
Show More
Show Less
Language
Inglés
(2)
Show More
Show Less
Your search
Subject:
Trees
Document Type:
Sin Especificar
Year:
2006
Language:
Inglés
Sort by
Score
Title
Year
-
1-2 from
2
results
(0.012 seconds)
Title:
Regular hedge model checking
Author:
D'Orso, Julien
/
Touili, Tayssir
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
Model checking
/
Frameworks
/
Mutual exclusion
/
Trees
Acceder
Title:
Multimedia web searches using static SAT
Author:
Gil Costa, Graciela Verónica
/
Printista, Alicia Marcela
/
Reyes, Nora Susana
/
Marín, Mauricio
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
Trees
/
Search process
/
Metrics Space,
/
web engine
/
spatial approximation
/
indexes
/
BSP
Acceder
« Previous
1
Next »