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

326. Toward knowledge-based specification of languages Meriste, Merik; Penjam, Jaan1990
327. Attributed models of executable specifications Meriste, Merik; Penjam, Jaan1995
328. Attributed finite automata Meriste, Merik; Penjam, Jaan1991
329. Models of attributed automata Meriste, Merik; Penjam, Jaan; Vene, Varmo1996
330. Type-theoretical semantics of some declarative languages Mints, G.; Smith, J.M.; Tyugu, E.1990
331. Normalization for the first order classical logic with Hilberts epsilon-symbol Mints, Gregory; Tupailo, Sergei1992
332. Resolution calculus for a logic of knowledge Mints, Grigori1992
333. Terminating epsilon substitutions process for the second order logic Mints, Grigori1992
334. Epsilon substitution method for elementary analysis Mints, Grigori; Tupailo, Sergei1993
335. Time concepts in software Motus, L.1991
336. Embedded software modelling methodology used for analysing CIM systems Motus, Leo1991
337. Artificial intelligence in hard real time - a new paradigm needed? Motus, Leo1991
338. CONRAD - a system for evaluating behavioural properties of embedded software Motus, Leo; Vain, Jyri1991
339. Application package for querying data about height from Estonia digital map Muravjova, O.1998
340. Experimental measurements of string motion Mustonen, M.; Kartofelev, D.; Stulov, A.2013
341. Transient longitudinal waves in nonlinear inhomogeneous media with Ei-memory Nigul, U.; Ravasoo, A.1990
342. Adaptive Predictive Control Using Laguerre Model Nurges, Ü.1990
343. Discrete Kharitonovs theorem and robust control Nurges, Ülo1997
344. On the robust stability of polytopes Nurges, Ülo1993
345. A sufficient stability condition by Schur invariant transforms Nurges, Ülo1996
346. Robust control via convex approximation of the stability region Nurges, Ülo1996
347. Robust control for a class of linear systems Nurges, Ülo1992
348. On the digital controller design with a free parameter Nurges, Ülo1992
349. On the Schur stability and invariant transforms Nurges, Ülo1995
350. Robust stability of discrete interval systems Nurges, Ülo1992

Kirjeid leitud: 627

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

TalTech Digikogu