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

451. Normalization for the first order classical logic with Hilberts epsilon-symbol Mints, Gregory; Tupailo, Sergei1992 research reports
452. Resolution calculus for a logic of knowledge Mints, Grigori1992 research reports
453. Terminating epsilon substitutions process for the second order logic Mints, Grigori1992 research reports
454. Epsilon substitution method for elementary analysis Mints, Grigori; Tupailo, Sergei1993 research reports
455. Time concepts in software Motus, L.1991 research reports
456. Embedded software modelling methodology used for analysing CIM systems Motus, Leo1991 research reports
457. Artificial intelligence in hard real time - a new paradigm needed? Motus, Leo1991 research reports
458. CONRAD - a system for evaluating behavioural properties of embedded software Motus, Leo; Vain, Jyri1991 research reports
459. Mikrofiltriga filtreeritud Ülemiste järve vee osoneerimise võimaluste uurimine Munter, Rein; Nigol, A.1965 research reports
460. Application package for querying data about height from Estonia digital map Muravjova, O.1998 research reports
461. Turbokompressoriga kahetaktilise laevamootori töö Murel, Peeter1951 research reports
462. Experimental measurements of string motion Mustonen, M.; Kartofelev, D.; Stulov, A.2013 research reports
463. Monteeritavate raudbetoonist autoteede kaarsildade konstruktsiooni uurimine Mägi, Hans1963 research reports
464. Orgaanilise täidisega valuasfaltplaatide kasutamise uurimine loomapidamishoonete põrandakatetena Mägi, Hans; Mespak, Vello; Riimaa, Jüri; Roosiaas, Vello1965 research reports
465. Transient longitudinal waves in nonlinear inhomogeneous media with Ei-memory Nigul, U.; Ravasoo, A.1990 research reports
466. Adaptive Predictive Control Using Laguerre Model Nurges, Ü.1990 research reports
467. On the robust stability of polytopes Nurges, Ülo1993 research reports
468. Discrete Kharitonovs theorem and robust control Nurges, Ülo1997 research reports
469. Robust stability of discrete interval systems Nurges, Ülo1992 research reports
470. Robust control via convex approximation of the stability region Nurges, Ülo1996 research reports
471. Discrete Kharitonovs theorem revisited Nurges, Ülo1997 research reports
472. On the reflection coefficients and Schur stability Nurges, Ülo1995 research reports
473. Синтез регулятора на лагерровой модели. Controller design via Laguerre model Nurges, Ülo1992 research reports
474. On the Schur stability and robust control Nurges, Ülo1995 research reports
475. Robust controller for a family of polytopic plants Nurges, Ülo1993 research reports

items found: 1404

First
Previous
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
Next
Last

TalTech Digikogu