National Library of Finland
Open Data and Linked Data Service
Search works, persons, organizations and subjects:
Kokkarinen, Ilkka
URI:
http://urn.fi/URN:NBN:fi:au:pn:000095674
name
Kokkarinen, Ilkka
Authored works
A verification-oriented theory of data in labelled transition systems
Java, Prolog ja Python : tehokas näkökulma ohjelmointiin
Käytännön Java
Tekoäly, laskettavuus ja logiikka
Tietokonegrafiikka
Tietorakenteet ja algoritmit
Works contributed to
Works about Kokkarinen, Ilkka
Download this resource as RDF:
Turtle
RDF/XML
N-Triples
JSON-LD