Search - TalTech raamatukogu digikogu

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

find full texts

items found: 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

items found: 627

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

TalTech Digikogu