Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- automatic proving 2 Treffer
- computer systems performance. reliability 2 Treffer
- demonstration automatique 2 Treffer
- demostracion automatica 2 Treffer
- fonctions logiques, booleennes et de commutation 2 Treffer
-
45 weitere Werte:
- genie logiciel 2 Treffer
- informatique theorique 2 Treffer
- logical, boolean and switching functions 2 Treffer
- modeling 2 Treffer
- modelisation 2 Treffer
- modelizacion 2 Treffer
- performances des systemes informatiques. fiabilite 2 Treffer
- proof theory 2 Treffer
- software engineering 2 Treffer
- teoria demonstracion 2 Treffer
- theoretical computing 2 Treffer
- theorie preuve 2 Treffer
- verificacion formal 2 Treffer
- acoustic wave 1 Treffer
- acoustic wave equation 1 Treffer
- acoustics 1 Treffer
- acoustique 1 Treffer
- acoustique lineaire 1 Treffer
- analisis temporal 1 Treffer
- analyse temporelle 1 Treffer
- assembler 1 Treffer
- bounded error 1 Treffer
- c language 1 Treffer
- calcul erreur 1 Treffer
- calculo error 1 Treffer
- code generation 1 Treffer
- cognition 1 Treffer
- coma flotante 1 Treffer
- compilador 1 Treffer
- compilateur 1 Treffer
- compiler 1 Treffer
- computer security 1 Treffer
- consistance semantique 1 Treffer
- consistencia semantica 1 Treffer
- coq proof assistant 1 Treffer
- critical system 1 Treffer
- domaines classiques de la physique (y compris les applications) 1 Treffer
- ecuacion derivada parcial 1 Treffer
- ecuacion onda 1 Treffer
- equation derivee partielle 1 Treffer
- equation onde 1 Treffer
- erreur arrondi 1 Treffer
- erreur bornee 1 Treffer
- error acotada 1 Treffer
- error analysis 1 Treffer
Verlag
Publikation
Sprache
3 Treffer
-
In: Méthodes formelles pour l'analyse statique et la compilation, Jg. 30 (2011), Heft 4, S. 409-440academicJournalZugriff:
-
In: Journal of automated reasoning, Jg. 50 (2013), Heft 4, S. 423-456Online academicJournalZugriff:
-
In: Communications of the ACM, Jg. 52 (2009), Heft 7, S. 107-115Online academicJournalZugriff: