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

Year: 2014 Year: 2016 Language: Inglés

Sort by Score Title Year -

101-102 from 102 results (0.012 seconds)

Title: Formalizing alternating-time temporal logic in the coq proof assistant
Language: Inglés
Repository: 65
Subject: Alternating-time temporal logic (ATL)

Acceder
Title: Brownian motion on stationary random manifolds
Language: Inglés
Repository: 65
Subject: TEORÍA ERGÓDICA / VARIEDADES ALEATORIAS / MOVIMIENTO BROWNIANO / ENTROPÍA / PROPIEDAD DE LIOUVILLE

Acceder

« Previous 3 4 5 6 7 8 9 10 11 Next »