OPAC

Sort by Score Title Year -

21-23 from 23 results (0.022 seconds)

Title: Structures hyperboliques et propriétés robustes des flots singuliers
Language: Inglés
Repository: 65
Subject: Sistemas dinámicos
Title: Observation mechanisms for in-field software-based self-test
Language: Inglés
Repository: 65
Subject: SISTEMAS ELECTRONICOS / SOFTWARE-BASED SELF-TEST (SBST)
Title: Classical realizability and side-effects
Language: Inglés
Repository: 65
Subject: Computational content of classical proof / Side effects / Lazy evaluation / Axiome of dependent choice / Classical realizability / Implicative algebras

« Previous 1 2 3 Next »

Refine your Search