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

976. Monteeritavate põlevkivituhk- ja silikaltsiitseinamaterjalide tootmise omahinna ja nende kasutamise majandusliku efektiivsuse analüüs Treifeldt, Alfred1959
977. Isemajandavate tsehhide tootmistöö planeerimise küsimusi Treifeldt, Alfred1858
978. Väikese soojusvarustuse katla konstruktsiooni täiustamine ja katla katsetamine Truumägi, Voldemar1961
979. Katla "T-80/0,7-V" soojustehniline katsetamine Truumägi, Voldemar1959
980. On Non-wellfounded Constructive Set Theory: construction of non-wellfounded sets in Explicit Mathematics Tupailo, S.2001
981. Normalization for arithmetical comprehension with restricted occurrences of Hilberts epsilon symbol Tupailo, Sergei1992
982. On a proof-theoretical analysis of sigma_1^1 - AC, sigma_1 ^1 - DC and delta_1^ - CA Tupailo, Sergei1993
983. General methods in inductive program synthesis Tupailo, Sergei1996
984. Koonilise kooriku dünaamilisest stabiilsusest Tümanok, Aleksei1959
985. Automodelleeritud ülesandest õhukese silindrilise kooriku kohta Tümanok, Aleksei1961
986. Kõrgemat murdjärku Besseli võrrandi ligikaudsest lahendamisest ja selle rakendamine koonilise kooriku dünaamilise stabiilsuse lahendamiseks Tümanok, Aleksei1960
987. Knowledge representation and application II: Large knowledge-bases Tyugu, E.; Harf, M.; Kypp, M.; Matskin, M.1991
988. Knowledge-based programming environments Tyugu, Enn1990
989. Higher order dataflow schemas Tyugu, Enn1990
990. Declarative programming in a type theory Tyugu, Enn1991
991. Modularity of knowledge Tyugu, Enn1990
992. Kaneelhappe polüvinüülestri süntees ja tema omaduste uurimine Uibopuu, Helvi1963
993. Massivahetuse uurimine keevas kihis Uus, Endel1961
994. Gaasisegude järelpuhastamise võimaluste uurimine hõljuvas kihis asuva adsorbendiga Uus, Endel1957
995. Kehra tselluloositööstuse halvasti lõhnava jääkvee osooniga desodoreerimise võimaluste uurimine Uus, Endel; Külm, S.; Kasperson, M.; Munter, Rein1964
996. Ehitusmaterjalide tootmisvõimaluste uurimine diktüoneema kiltkivist ja selle tuhast Uus, Endel; Luhakooder, Edvard1960
997. A realizability semantics for the calculus of partial inductive definitions Uustalu, Tarmo1990
998. A modal justification for structural synthesis of NUT Uustalu, Tarmo1995
999. Combining object-oriented and logic paradigms: A modal logic programming approach Uustalu, Tarmo1991
1000. Statistika teooria põhijooni Vaabel, Juhan1961

items found: 1124

First
Previous
32
33
34
35
36
37
38
39
40
41
42
43
44
45
Next
Last

TalTech Digikogu