Mostrando
21 - 22
Resultados de
22
Para Buscar '
Olivero, A.
'
Saltar al contenido
BDU
3
Inicio
Su cuenta
Salir
Entrar
Todos los Campos
Título
Autor
Materia
Número de Clasificación
ISBN/ISSN
Etiqueta
Buscar
Avanzado
Autor
Olivero, A.
Mostrando
21 - 22
Resultados de
22
Para Buscar '
Olivero, A.
'
, tiempo de consulta: 0.01s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Autor
Título
21
Conformal mapping-based image processing: Theory and applications
por
Baricco, G.A.
,
Olivero
,
A
.M.
,
Rodriguez, E.J.
,
Safar, F.G.
,
Sanz, J.L.C.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
JOUR
Agregar a favoritos
Guardado en:
22
A toolsuite for the verification of real-time systems in Eclipse
por
Cavatorta, L.
,
De Caso, G.
,
Ferrari, A.
,
Braberman, V.
,
Garbervetsky, D.
,
Kicillof, N.
,
Schapachnik, F.
,
Olivero
,
A
.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
CONF
Agregar a favoritos
Guardado en:
[1]
Anterior
1
2
Herramientas de búsqueda:
RSS
—
Enviar por Correo electrónico esta Búsqueda
Materias Relacionadas
Automata theory
Mathematical models
Timed automata
Algorithms
Real time systems
Timed Automata
Distributed computer systems
Program processors
Set theory
Distributed timed model checking
Reachability
ZEUS
Computer architecture
Computer programming languages
Data storage equipment
Data structures
Formal logic
KRONOS
Kronos
Load-balance
Model checking
Reconfiguration
Redistribution
Zeus
Backwards verification
Chaos theory
Chaotic iteration
Compositional modeling
Computation theory
Computer aided software engineering
Cargando...