Toggle navigation
Otsing
Kollektsioonid
Registrid
Abi ja info
Digikogu
Otsing
Kollektsioonid
Registrid
Abi ja info
Intranet
Logi sisse
Vali kollektsioon
vali kõik
eemalda valik
artiklid
bakalaureusetööd
digiteeritud perioodika
diplomitööd
doktoritööd
IOP
kaitsmisele minevad doktoritööd
konverentsikogumikud
magistritööd
raamatukogu väljaanded
standardid
teadus- ja arengutegevuse aruanded
Tehnikaülikooli ajalugu
Tehnikaülikooli toimetised
uuringuaruanded
varia
õpikud ja õppevahendid
Pealkiri
Autor/juhendaja/koostaja
Struktuuriüksus
Märksõna
Aasta
-
Reasta
autor A-Z
autor Z-A
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri A-Z
pealkiri Z-A
Register
Tekko, Jaanus - autor
Kuva ainult täistekste
Rakenda
Kirjeid leitud: 5
1.
A formal model for the language LSD and calculus CSD
Tekko, Jaanus
1991
uuringuaruanded
2.
The language LSD and calculus CSD - tools for embedded system specification
Tekko, Jaanus
1991
uuringuaruanded
3.
Some problems in timing analysis of the specification
Tekko, Jaanus
1993
uuringuaruanded
4.
Comparison of the modelling power of Petri-nets and Q-model
Tekko, Jaanus
1994
uuringuaruanded
5.
A model-theoretic study of the calculus for systems description
Tekko, Jaanus; Uustalu, Tarmo; Lorents, Peeter
1990
uuringuaruanded
Kirjeid leitud: 5
1