Tietojenkäsittelytiede

Research outputs

  1. 2012
  2. Published

    Ontologiapalvelut semanttisessa webissä

    Tuominen, J., Viljanen, K. & Hyvönen, E., 2012, In : Tietojenkäsittelytiede. 4, 1, p. 17-36

    Research output: Contribution to journalArticleScientificpeer-review

  3. 2011
  4. Published

    Elliptisten käyrien salausmenetelmät ja niiden laskenta ohjelmoitavalla logiikalla

    Järvinen, K., 2011, In : Tietojenkäsittelytiede. 32, p. 34-47

    Research output: Contribution to journalArticleScientific

  5. Published

    Matematiikan perusopetuksen kehittämistoimia ja tulosten arviointia

    Rasila, A., Havola, L., Alestalo, P., Malinen, J. & Majander, H., 2011, In : Tietojenkäsittelytiede. 33, p. 43-54

    Research output: Contribution to journalArticleProfessional

  6. Published

    Opiskelijoiden suosimat viestintävälineet

    Suoranta, S., 2011, In : Tietojenkäsittelytiede. 33, Joulukuu, p. 11-68

    Research output: Contribution to journalArticleScientificpeer-review

  7. Published

    PeerWise — yhteisöllistä oppimista verkossa

    Hakulinen, L. & Korhonen, A., 2011, In : Tietojenkäsittelytiede. 33, p. 15-26

    Research output: Contribution to journalArticleScientificpeer-review

  8. Published

    Rubyric - yksilöllistä sanallista palautetta massaopetuksessa

    Auvinen, T., 2011, In : Tietojenkäsittelytiede. 30, Joulukuu, p. 5-14

    Research output: Contribution to journalArticleScientificpeer-review

  9. 2010
  10. Published

    Jype - visualisointi ja automaattinen arviointi ohjelmoinnin opetuksessa

    Helminen, J., 2010, In : Tietojenkäsittelytiede. 31, p. 43-56

    Research output: Contribution to journalArticleScientific

  11. Published

    Kaksikymmentä vuotta Tietojenkäsittelytiede-lehteä

    Tarhio, J., 2010, In : Tietojenkäsittelytiede. 31, p. 4

    Research output: Contribution to journalArticleScientific

  12. 2009
  13. Published

    Kokemuksia ICPC-ohjelmointikilpailusta

    Haanpää, H., 2009, In : Tietojenkäsittelytiede. 29, p. 6-16

    Research output: Contribution to journalArticleProfessional

  14. Published

    Linjauksia

    Tarhio, J., 2009, In : Tietojenkäsittelytiede. 29, p. 4-5

    Research output: Contribution to journalArticleProfessional

  15. 2008
  16. Published

    Mitä saavutettaisiin algoritmianimaatiokielistandardilla?

    Karavirta, V., 2008, In : Tietojenkäsittelytiede. 28, p. 15-30

    Research output: Contribution to journalArticleScientificpeer-review

  17. Published

    Tietojenkäsittelytieteiden opetuksen kehittämisseminaari

    Korhonen, A., 2008, In : Tietojenkäsittelytiede. 28, p. 66-75

    Research output: Contribution to journalArticleScientificpeer-review

  18. 2007
  19. Published

    Kryptologia - Tiedon turvaamisen tiede

    Nyberg, K., 2007, In : Tietojenkäsittelytiede. 26, p. 32-53

    Research output: Contribution to journalArticleScientificpeer-review

  20. Published

    "P = NP" -ongelma ja laskennan vaativuusteoria

    Orponen, P., 2007, In : Tietojenkäsittelytiede. 26, p. 54-67

    Research output: Contribution to journalArticleScientific

  21. 2006
  22. Published

    Ajatuksia konferenssiartikkeleista

    Tarhio, J., 2006, In : Tietojenkäsittelytiede. 25, p. 8-9

    Research output: Contribution to journalArticleProfessional

  23. Published

    Sijaintialgoritmitehtävien automaattinen tarkastaminen

    Nikander, J., 2006, In : Tietojenkäsittelytiede. 25, p. 38-50

    Research output: Contribution to journalArticleScientificpeer-review

  24. 2005
  25. Published

    Visuaalinen algoritmisimulaatio ja sen sovelluksia

    Korhonen, A., 2005, In : Tietojenkäsittelytiede. 23, p. 42-59

    Research output: Contribution to journalArticleScientificpeer-review

  26. 2004
  27. Published

    Lauselogiikan toteutuvuustarkastus: käytännönläheistä teoriaa

    Järvisalo, M., 2004, In : Tietojenkäsittelytiede. 22, p. 47

    Research output: Contribution to journalArticleScientificpeer-review

  28. 2003
  29. Published

    Mitä tietojenkäsittelyteoriaan kuuluu?

    Orponen, P., 2003, In : Tietojenkäsittelytiede. 19, p. 15-28

    Research output: Contribution to journalArticleScientific

  30. 2002
  31. Published

    Automaattinen tarkastaminen opetuksen apuvälineenä

    Malmi, L., 2002, In : Tietojenkäsittelytiede. 17, p. 24-35

    Research output: Contribution to journalArticleProfessional

  32. Published

    Laatua perusopetukseen

    Malmi, L., 2002, In : Tietojenkäsittelytiede. 16, p. 11-14

    Research output: Contribution to journalArticleProfessional

  33. 1999
  34. Published

    Informaation käsittely ja sen rajat

    Kohonen, T., 1999, In : Tietojenkäsittelytiede. joulukuu, p. 15-19

    Research output: Contribution to journalArticleProfessional

  35. Published

    SGML > HTML > XML, informaation tekninen integraatio

    Sonkkila, T., 1999, In : Tietojenkäsittelytiede. kesäkuu, p. 15-17

    Research output: Contribution to journalArticleProfessional

  36. 1998
  37. Published

    Digitaalinen televisio - satoja kanavia vai interaktiivisia palveluja

    Vuorimaa, P., 1998, In : Tietojenkäsittelytiede. kesäkuu, p. 19-21

    Research output: Contribution to journalArticleScientificpeer-review

  38. 1994
  39. Published

    Autoepisteeminen logiikka epämonotonisen päättelyn pohjana

    Niemelä, I., 1994, In : Tietojenkäsittelytiede. 6, p. 15-25

    Research output: Contribution to journalArticleScientific

  40. Published

    Suurten relaatioiden transitiivisen sulkeuman laskeminen

    Hirvisalo, V., Nuutila, E. & Soisalon-Soininen, E., 1994, In : Tietojenkäsittelytiede. 5, p. 41-44

    Research output: Contribution to journalArticleScientificpeer-review

  41. 1992
  42. Published

    NEULA: A hybrid neural-symbolic expert system shell

    Floreen, P., Myllymäki, P., Orponen, P. & Tirri, H., 1992, In : Tietojenkäsittelytiede. 3, p. 11-18

    Research output: Contribution to journalArticleScientific

ID: 407992