Otsing - TalTech raamatukogu digikogu

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

Register

Vain, Jüri - autor

Kuva ainult täistekste

Kirjeid leitud: 12

1. An integrated technique for developing real-time systems Hooman, J.; Vain, Jüri1995 uuringuaruanded
2. Combining conceptual modeling and formal methods to design control systems Hooman, Josef; Vain, Jüri1997 uuringuaruanded
3. Scheduling in real-time models Kurki-Suonio, Reino; Systä, Kari; Vain, Jüri1992 uuringuaruanded
4. Real-time specification and modelling with joint actions Kurki-Suonio, Reino; Systä, Kari; Vain, Jüri1992 uuringuaruanded
5. A modelling framework for integrated factory automation Littover, Mati; Randvee, Ingmar; Tavast, Raul; Vain, Jüri1992 uuringuaruanded
6. AS Tallinna Paber infosüsteemi andmebaasi projekt. Data base design for AS Tallinna Paber information system Littover, Mati; Randvee, Ingmar; Vain, Jüri1992 uuringuaruanded
7. Multi-level classification method of knowledge Riismaa, Tiit; Vain, Jüri1995 uuringuaruanded
8. Time-invariant transformations of joint action systems Vain, Jüri1992 uuringuaruanded
9. International summer school on real-time fault-tolerance and artificial intelligence, Neeruti (Estonia), June 30 - July 2, 1992 Vain, Jüri1992 uuringuaruanded
10. Developing constructive requirements specifications for CIM systems Vain, Jüri1992 uuringuaruanded
11. Compositional specification and verification of hybrid systems Vain, Jüri1993 uuringuaruanded
12. Integrating methods for the design of real-time systems Vain, Jüri; Hooman, Jozef1996 uuringuaruanded

Kirjeid leitud: 12

1

TalTech Digikogu