Results 201 to 204 of about 71,403 (204)

ISAT-toiminnan arviointi, yhteistyötä suuntaamassa

2013
Neuvonen, Lasse, Paasivuori, Riitta
openaire   +2 more sources

ISAT : menestyksen tekijä ja tulevaisuuden taitaja

2012
Alanko, Petteri, Neuvonen, Lasse, Paasivuori, Riitta   +3 more
openaire   +2 more sources

Recent Improvements in the SMT Solver iSAT.

2017
Karsten Scheibler, Stefan Kupferschmid, Bernd Becker 0001   +2 more
openaire  

Editorial. Will Hypocrisis Persist after ISAT?

Interventional neuroradiology : journal of peritherapeutic neuroradiology, surgical procedures and related neurosciences, 2012
openaire   +1 more source