OPAC

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

Your search

Query: COMPUTER VISION Repository: 65 Year: 1202 Language: in

Sort by Score Title Year -

1-3 from 3 results (0.011 seconds)

Title: Towards secure distributed computations
Language: in
Repository: 65
Subject: Proof Carrying Results / Seguridad en Computación / Computer Security

Acceder
Title: Predicting the performance of a parallel heuristic solution for the Steiner Tree Problem
Language: in
Repository: 65
Subject: PERFORMANCE ESTIMATION / PARALLEL / PETRI NET MODELS / STEINER TREE / COMBINATORIAL OPTIMIZATION

Acceder
Title: Institution-based semantics for MOF and QVT-relations :Extended version
Language: in
Repository: 65
Subject: MOF / QVT-relations / Semántica formal / Teoría de instituciones / Verificación formal

Acceder

« Previous 1 Next »