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: 1052

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

Kirjeid leitud: 1052

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

TalTech Digikogu