Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- coq 2 Treffer
- preuve formelle 2 Treffer
- [info:info_es] computer science/embedded systems 1 Treffer
- [info:info_es] informatique/systemes embarques 1 Treffer
- [info:info_lo] computer science/logic in computer science 1 Treffer
-
19 weitere Werte:
- [info:info_lo] informatique/logique en informatique 1 Treffer
- [info:info_oh] computer science/other 1 Treffer
- [info:info_oh] informatique/autre 1 Treffer
- [sdv:sa] life sciences/agricultural sciences 1 Treffer
- [sdv:sa] sciences du vivant/sciences agricoles 1 Treffer
- automates 1 Treffer
- certification 1 Treffer
- chaine respiratoire 1 Treffer
- circuits 1 Treffer
- coenzyme q 1 Treffer
- instrumentation 1 Treffer
- interpretation abstraite 1 Treffer
- mitochondrie 1 Treffer
- preuves formelles 1 Treffer
- reecriture 1 Treffer
- saccharomyces cerevisiae 1 Treffer
- simulation 1 Treffer
- systemes critiques 1 Treffer
- verification 1 Treffer
4 Treffer
-
2012Online HochschulschriftZugriff:
-
2013Online HochschulschriftZugriff:
-
2012Online HochschulschriftZugriff: