Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- genie logiciel 6 Treffer
- software engineering 6 Treffer
- automatic proving 5 Treffer
- coq 5 Treffer
- demonstration automatique 5 Treffer
-
45 weitere Werte:
- demostracion automatica 5 Treffer
- langage programmation 4 Treffer
- lenguaje programacion 4 Treffer
- programming language 4 Treffer
- fonctions logiques, booleennes et de commutation 3 Treffer
- formal verification 3 Treffer
- informatique theorique 3 Treffer
- langages de programmation 3 Treffer
- logic and foundations 3 Treffer
- logical, boolean and switching functions 3 Treffer
- logique et fondements 3 Treffer
- logique mathematique, fondements, theorie des ensembles 3 Treffer
- mathematical logic, foundations, set theory 3 Treffer
- mathematics 3 Treffer
- mathematiques 3 Treffer
- programming languages 3 Treffer
- proof theory and constructive mathematics 3 Treffer
- sciences and techniques of general use 3 Treffer
- sciences et techniques communes 3 Treffer
- semantica 3 Treffer
- semantics 3 Treffer
- semantique 3 Treffer
- theoretical computing 3 Treffer
- theorie de la preuve et mathematiques constructives 3 Treffer
- verification formelle 3 Treffer
- computer systems performance. reliability 2 Treffer
- coq proof assistant 2 Treffer
- enseignement 2 Treffer
- ensenanza 2 Treffer
- high order logic 2 Treffer
- logica orden superior 2 Treffer
- logique ordre superieur 2 Treffer
- performances des systemes informatiques. fiabilite 2 Treffer
- teaching 2 Treffer
- abstract interpretation 1 Treffer
- accesibilidad 1 Treffer
- accessibilite 1 Treffer
- accessibility 1 Treffer
- algorithme parallele 1 Treffer
- algoritmo paralelo 1 Treffer
- analisis estatica 1 Treffer
- analisis sintaxico 1 Treffer
- analyse statique 1 Treffer
- analyse syntaxique 1 Treffer
- arithmetique ordinateur 1 Treffer
Publikation
Sprache
8 Treffer
-
In: Méthodes formelles pour l'analyse statique et la compilation, Jg. 30 (2011), Heft 4, S. 409-440academicJournalZugriff:
-
In: Langages applicatifs : spécification, programmation, vérification, Jg. 24 (2005), Heft 9, S. 1113-1138academicJournalZugriff:
-
In: Langages applicatifs : spécification, programmation, vérification, Jg. 24 (2005), Heft 9, S. 1139-1160academicJournalZugriff:
-
In: TSI. Technique et science informatiques, Jg. 26 (2007), Heft 9, S. 1111-1136academicJournalZugriff:
-
In: TSI. Technique et science informatiques, Jg. 25 (2006), Heft 10, S. 1261-1280academicJournalZugriff:
-
In: Langages applicatifs : spécification, programmation, vérification, Jg. 24 (2005), Heft 9, S. 1161-1185academicJournalZugriff:
-
In: TSI. Technique et science informatiques, Jg. 23 (2004), Heft 7, S. 855-878academicJournalZugriff:
-
In: Méthodes formelles pour l'analyse statique et la compilation, Jg. 30 (2011), Heft 4, S. 381-408academicJournalZugriff: