Showing items with similar title or keywords.

• The formal method known as B and a sketch for its implementation 

  Kaijanaho, Antti-Juhani (2002)

• A MATLAB program for PV module performance analysis based on real outdoor data stored in a PostgreSQL database 

  Kauko, Hanne (2008)

• Tutkiva valmentaja : tietokonepohjaisen liikunnanopetuksen tarkkailu- ja analysointisysteemin (LOTAS 2.0) soveltuvuus valmennustapahtuman analysointiin 

  Hytönen, Tuukka; Joru, Sami (2010)

  Hytönen, T. & Joru, S. 2010. TUTKIVA VALMENTAJA – Tietokonepohjaisen lii-kunnanopetuksen tarkkailu- ja analysointisysteemin (LOTAS 2.0) soveltuvuus valmen-nustapahtuman analysointiin. Liikuntapedagogiikan pro gradu-tutkielma. ...

• Intentiolähtöinen lähestymistapa käytettävyyttä koskevien vaatimusten määrittelyyn : kuluttajamarkkinoille suunnatun innovatiivisen ohjelmistotuotteen vuorovaikutussuunnittelu 

  Lamminen, Juha (University of Jyväskylä, 2012)

• Automated transient hypertext support for software maintenance 

  Koskinen, Jussi (University of Jyväskylä, 2000)