Aihe-ehdotuksia
- 602 1
- EM-algoritmi 1
- Ebba 1
- GMM 1
- Mathematical Information Technology 1
- Tietotekniikka 1
- algoritmit 1
- automaattinen päättely 1
- data 1
- formaalinen logiikka 1
- formaalit menetelmät B 1
- historia 1
- hyödyntäminen 1
- k-means 1
- k-medoids 1
- k-modes 1
- k-prototypes 1
- kategorinen data 1
- klusterointi 1
- kuvauskielet 1
- kuvauskielet Abstract Machine Notation 1
- kuvauskielet Generalized Substitution Language 1
- matemaattiset menetelmät 1
- numeerinen data 1
- ohjaamaton oppiminen 1
- ohjelmistotekniikka matemaattiset menetelmät B 1
- tiedonlouhinta 1
- tietokoneohjelmat 1
-
1
The formal method known as B and a sketch for its implementation
Julkaistu 2002Aiheet: “…ohjelmistotekniikka matemaattiset menetelmät B…”
Hae kokoteksti
Pro gradu -
2