Inssi

Helecon

Asiasanasto

Tenttu

haku: @instructor Niemelä, Ilkka / yhteensä: 15

viitteet: 1-10 / 15

« edellinen sivu | seuraava sivu »

	otsikko	vuosi	tekijä
1.	Hajautettujen palvelunestohyökkäysten suodattaminen	2010	Seppälä, Tapio
2.	Model checking embedded control software	2010	Frits, Juho
3.	Arvopaperikaupan selvitysongelman graafiteoreettinen tarkastelu ongelman osittamiseksi pienemmiksi osaongelmiksi	2009	Vehkamäki, Sampsa
4.	Solving Boolean Equation Systems	2005	Keinänen, Misa
5.	Analyzing the Random-Walk Algorithm for SAT	2004	Rantanen, Heikki
6.	Logic Programming with Cardinality Constraints	2003	Syrjänen, Tommi
7.	Detecting and exploiting data type symmetries of algebraic system nets during reachability analysis	1999	Junttila, Tommi
8.	Deadlock and Reachability Checking with Finite Complete Prefixes	1999	Heljanko, Keijo
9.	A Rule-Based Formal Model for Software Configuration	1999	Syrjänen, Tommi
10.	Towards Constraint Satisfaction through Logic Programs and the Stable Model Semantics	1997	Simons, Patrik

« edellinen sivu | seuraava sivu »

INSSI