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

Kirjeid leitud: 1124

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

TalTech Digikogu