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

Kuva ainult täistekste

Kirjeid leitud: 1073

326. On formal models of finite attributed automata Meriste, Merik; Penjam, Jaan1992 uuringuaruanded
327. Toward knowledge-based specification of languages Meriste, Merik; Penjam, Jaan1990 uuringuaruanded
328. Attributed models of executable specifications Meriste, Merik; Penjam, Jaan1995 uuringuaruanded
329. Attributed finite automata Meriste, Merik; Penjam, Jaan1991 uuringuaruanded
330. Models of attributed automata Meriste, Merik; Penjam, Jaan; Vene, Varmo1996 uuringuaruanded
331. Type-theoretical semantics of some declarative languages Mints, G.; Smith, J.M.; Tyugu, E.1990 uuringuaruanded
332. Normalization for the first order classical logic with Hilberts epsilon-symbol Mints, Gregory; Tupailo, Sergei1992 uuringuaruanded
333. Terminating epsilon substitutions process for the second order logic Mints, Grigori1992 uuringuaruanded
334. Resolution calculus for a logic of knowledge Mints, Grigori1992 uuringuaruanded
335. Epsilon substitution method for elementary analysis Mints, Grigori; Tupailo, Sergei1993 uuringuaruanded
336. Time concepts in software Motus, L.1991 uuringuaruanded
337. Embedded software modelling methodology used for analysing CIM systems Motus, Leo1991 uuringuaruanded
338. Artificial intelligence in hard real time - a new paradigm needed? Motus, Leo1991 uuringuaruanded
339. CONRAD - a system for evaluating behavioural properties of embedded software Motus, Leo; Vain, Jyri1991 uuringuaruanded
340. Application package for querying data about height from Estonia digital map Muravjova, O.1998 uuringuaruanded
341. Experimental measurements of string motion Mustonen, M.; Kartofelev, D.; Stulov, A.2013 uuringuaruanded
342. Transient longitudinal waves in nonlinear inhomogeneous media with Ei-memory Nigul, U.; Ravasoo, A.1990 uuringuaruanded
343. Adaptive Predictive Control Using Laguerre Model Nurges, Ü.1990 uuringuaruanded
344. Discrete Kharitonovs theorem and robust control Nurges, Ülo1997 uuringuaruanded
345. Robust controller for a family of polytopic plants Nurges, Ülo1993 uuringuaruanded
346. On the Schur stability and robust control Nurges, Ülo1995 uuringuaruanded
347. Синтез регулятора на лагерровой модели. Controller design via Laguerre model Nurges, Ülo1992 uuringuaruanded
348. On the reflection coefficients and Schur stability Nurges, Ülo1995 uuringuaruanded
349. On the robust controller design via necessary stability conditions Nurges, Ülo1994 uuringuaruanded
350. On the nice stability and reflection coefficients Nurges, Ülo1998 uuringuaruanded

Kirjeid leitud: 1073

First
Previous
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
Next
Last

TalTech Digikogu