Toggle navigation
Search
Collections
Indexes
FAQ
Digikogu
Search
Collections
Indexes
FAQ
Intranet
Logi sisse
Select collection
select all
remove selection
annual reports of research & development activities
articles
bachelor's theses
conference proceedings
digitized periodicals
diploma theses
dissertations
history of TalTech
IOP
library publications
master's theses
pre-dissertations
research reports
standards
textbooks and teaching materials
transactions of TalTech
varia
title
author/supervisor/editor
structural unit
keyword
publication year
-
Sort by
author A-Z
author Z-A
publishing year asc
publishing year desc
title A-Z
title Z-A
find full texts
Apply
items found: 1052
326.
Attributed models of executable specifications
Meriste, Merik; Penjam, Jaan
1995
research reports
327.
On formal models of finite attributed automata
Meriste, Merik; Penjam, Jaan
1992
research reports
328.
Attributed finite automata
Meriste, Merik; Penjam, Jaan
1991
research reports
329.
Models of attributed automata
Meriste, Merik; Penjam, Jaan; Vene, Varmo
1996
research reports
330.
Type-theoretical semantics of some declarative languages
Mints, G.; Smith, J.M.; Tyugu, E.
1990
research reports
331.
Normalization for the first order classical logic with Hilberts epsilon-symbol
Mints, Gregory; Tupailo, Sergei
1992
research reports
332.
Terminating epsilon substitutions process for the second order logic
Mints, Grigori
1992
research reports
333.
Resolution calculus for a logic of knowledge
Mints, Grigori
1992
research reports
334.
Epsilon substitution method for elementary analysis
Mints, Grigori; Tupailo, Sergei
1993
research reports
335.
Time concepts in software
Motus, L.
1991
research reports
336.
Embedded software modelling methodology used for analysing CIM systems
Motus, Leo
1991
research reports
337.
Artificial intelligence in hard real time - a new paradigm needed?
Motus, Leo
1991
research reports
338.
CONRAD - a system for evaluating behavioural properties of embedded software
Motus, Leo; Vain, Jyri
1991
research reports
339.
Application package for querying data about height from Estonia digital map
Muravjova, O.
1998
research reports
340.
Experimental measurements of string motion
Mustonen, M.; Kartofelev, D.; Stulov, A.
2013
research reports
341.
Transient longitudinal waves in nonlinear inhomogeneous media with Ei-memory
Nigul, U.; Ravasoo, A.
1990
research reports
342.
Adaptive Predictive Control Using Laguerre Model
Nurges, Ü.
1990
research reports
343.
Discrete Kharitonovs theorem and robust control
Nurges, Ülo
1997
research reports
344.
Robust controller for a family of polytopic plants
Nurges, Ülo
1993
research reports
345.
On the Schur stability and robust control
Nurges, Ülo
1995
research reports
346.
Синтез регулятора на лагерровой модели. Controller design via Laguerre model
Nurges, Ülo
1992
research reports
347.
On the reflection coefficients and Schur stability
Nurges, Ülo
1995
research reports
348.
On the robust controller design via necessary stability conditions
Nurges, Ülo
1994
research reports
349.
On the nice stability and reflection coefficients
Nurges, Ülo
1998
research reports
350.
Discrete Kharitonovs theorem revisited
Nurges, Ülo
1997
research reports
items found: 1052
««
First
«
Previous
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
»
Next
»»
Last