Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- computer science 11 Treffer
- applied sciences 10 Treffer
- exact sciences and technology 10 Treffer
- sciences appliquees 10 Treffer
- sciences exactes et technologie 10 Treffer
-
45 weitere Werte:
- [info]computer science [cs] 9 Treffer
- computer science; control theory; systems 8 Treffer
- informatique 8 Treffer
- informatique; automatique theorique; systemes 8 Treffer
- logiciel 8 Treffer
- program verification 8 Treffer
- software 8 Treffer
- verificacion programa 8 Treffer
- verification programme 8 Treffer
- coq 6 Treffer
- genie logiciel 6 Treffer
- programming language 6 Treffer
- software engineering 6 Treffer
- automatic proving 5 Treffer
- demonstration automatique 5 Treffer
- demostracion automatica 5 Treffer
- langage programmation 4 Treffer
- lenguaje programacion 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
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 2 Treffer
- 02 engineering and technology 2 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 2 Treffer
- abstract interpretation 2 Treffer
- batiment. travaux publics 2 Treffer
- buildings. public works 2 Treffer
Publikation
- issn: 0752-4072 ; eissn: 2116-5920 11 Treffer
- tsi. technique et science informatiques 8 Treffer
- techniques et sciences informatiques 5 Treffer
- langages applicatifs : specification, programmation, verification 3 Treffer
- methodes formelles pour l'analyse statique et la compilation 2 Treffer
- 3 weitere Werte:
Sprache
Geographischer Bezug
20 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: Techniques et sciences informatiques, Jg. 24 (2005-11-01), S. 1139-1160Online unknownZugriff:
-
In: Techniques et sciences informatiques, Jg. 24 (2005-11-01), S. 1113-1138Online unknownZugriff:
-
In: Techniques et sciences informatiques, Jg. 30 (2011-04-28), S. 409-440Online unknownZugriff:
-
In: ISSN: 0752-4072 ; EISSN: 2116-5920, 2005academicJournalZugriff:
-
In: ISSN: 0752-4072 ; EISSN: 2116-5920, 2007academicJournalZugriff:
-
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:
-
2012Online E-BookZugriff:
-
In: ISSN: 0752-4072 ; EISSN: 2116-5920, 2011academicJournalZugriff:
-
In: Méthodes formelles pour l'analyse statique et la compilation, Jg. 30 (2011), Heft 4, S. 381-408academicJournalZugriff:
-
In: Techniques et sciences informatiques, Jg. 30 (2011-04-28), S. 381-408Online unknownZugriff:
-
In: Techniques et sciences informatiques, Jg. 25 (2006-12-01), S. 1261-1280Online unknownZugriff:
-
In: Road materials and pavement design, Jg. 5 (2004), Heft 3, S. 323-354academicJournalZugriff:
-
In: Revue française de génie civil, Jg. 4 (2000), Heft 7-8, S. 785-803academicJournalZugriff:
-
In: Biofutur (Puteaux), 1996, Heft 161, S. 1-11academicJournalZugriff: