Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- [info:info_lo] computer science/logic in computer science 3 Treffer
- [info:info_lo] informatique/logique en informatique 3 Treffer
- compilation 2 Treffer
- [info:info_dc] computer science/distributed, parallel, and cluster computing 1 Treffer
- [info:info_dc] informatique/calcul parallele, distribue et partage 1 Treffer
-
16 weitere Werte:
- [info:info_pf] computer science/performance 1 Treffer
- [info:info_pf] informatique/performance et fiabilite 1 Treffer
- assistant de preuve 1 Treffer
- assistants de preuve 1 Treffer
- c++ 1 Treffer
- coq 1 Treffer
- filtrage 1 Treffer
- langages a objets 1 Treffer
- langages de programmation 1 Treffer
- preuve formelle 1 Treffer
- reecriture 1 Treffer
- semantique 1 Treffer
- semantique formelle 1 Treffer
- squelettes algorithmiques 1 Treffer
- theorie des types 1 Treffer
- verification formelle 1 Treffer
Verlag
Sprache
4 Treffer
-
2014Online HochschulschriftZugriff:
-
2012Online HochschulschriftZugriff:
-
2011Online HochschulschriftZugriff: