TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

Tietotekniikka

Tutkimusyksikkö: Laitos

  1. Julkaistu

    Verifying Real-Time Joint Action Specifications Using Timed Automata

    Aaltonen, T., Katara, M. & Pitkänen, R., 2000, Proceedings of Conference on Software: Theory and Practice, 16th World Computer Congress 2000, August 21-25, 2000, Beijing, China. Yulin, F. (toim.). Beijing, China: Publishing House of Electronics Industry, International Federation for Information Processing, s. 516-525

    Tutkimustuotosvertaisarvioitu

  2. Julkaistu

    Verifying Safety by Combining Joint Actions with a Process-Algebraic Approach

    Aaltonen, T. & Pitkänen, R., 1999, Tampere: Tampereen teknillinen korkeakoulu. 27 Sivumäärä (Tampereen teknillinen korkeakoulu, Ohjelmistotekniikan laitos, Raportti; nro 19)

    Tutkimustuotos

  3. Julkaistu

    Verkkolokit tiedon jakamisen välineenä

    Kaikuvuo, I. & Huhtamäki, J., 2006, Carpe Diem - suuntaa huomiseen. Interaktiivinen tekniikka koulutuksessa konferenssi, Aulanko, Hämeenlinna 6.-7.4.2006. Muttonen, J. (toim.). s. 27-28 (Hämeen kesäyliopiston julkaisuja, sarja B).

    Tutkimustuotos

  4. Julkaistu

    Verkko-opetuksen laatu

    Silius, K., Tervakari, A-M., Kalliomäki, E. & Kaunismaa, K., 2005, Tietoyhteiskunta - Myytit ja todellisuus. Kasvio, A., Inkinen, T. & Liikala, H. (toim.). Tampere, s. 55 - 276

    Tutkimustuotos

  5. Julkaistu

    Verkko-opetuksen laatu

    Silius, K., Tervakari, A-M., Kalliomäki, E. & Kaunismaa, K., 2005, julkaisussa : Peda-forum - yliopistopedagoginen tiedotuslehti. 12, 1, s. 7-9

    Tutkimustuotos

  6. Julkaistu

    Verkko-oppimisympäristöt itsearvioinnin ja opetussuunnitelmatyön tukena!

    Hautakangas, S., 2002, ITK 2002, Yhdessä uuteen oppimisen toimintakulttuuriin, Interaktiivinen tekniikka koulutuksessa, 17.-19.4.2002, Hämeenlinna. s. 83-84

    Tutkimustuotosvertaisarvioitu

  7. Julkaistu
  8. Julkaistu
  9. Julkaistu

    Verkkosisällön saavutettavuusohjeet (WCAG) 2.0, virallinen suomenkielinen käännös

    Nykänen, O. (toim.) & Tervakari, A-M. (toim.), 2011, Tampere: World Wide Web Consortium W3C. 37 Sivumäärä (World Wide Web Consortium W3C)

    Tutkimustuotosvertaisarvioitu

  10. Julkaistu

    Verkostoanalyysi sosiaalisen median tutkimuksessa

    Huhtamäki, J. & Parviainen, O., 2013, Otteita verkosta - verkon ja sosiaalisen median tutkimusmenetelmät. Laaksonen, S-M., Matikainen, J. & Tikka, M. (toim.). 1 toim. Tampere: Vastapaino, s. 245-273 29 Sivumäärä

    Tutkimustuotosvertaisarvioitu

ID: 18403956