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

976. On Non-wellfounded Constructive Set Theory: construction of non-wellfounded sets in Explicit Mathematics Tupailo, S.2001
977. Normalization for arithmetical comprehension with restricted occurrences of Hilberts epsilon symbol Tupailo, Sergei1992
978. On a proof-theoretical analysis of sigma_1^1 - AC, sigma_1 ^1 - DC and delta_1^ - CA Tupailo, Sergei1993
979. General methods in inductive program synthesis Tupailo, Sergei1996
980. Koonilise kooriku dünaamilisest stabiilsusest Tümanok, Aleksei1959
981. Automodelleeritud ülesandest õhukese silindrilise kooriku kohta Tümanok, Aleksei1961
982. Kõrgemat murdjärku Besseli võrrandi ligikaudsest lahendamisest ja selle rakendamine koonilise kooriku dünaamilise stabiilsuse lahendamiseks Tümanok, Aleksei1960
983. Knowledge representation and application II: Large knowledge-bases Tyugu, E.; Harf, M.; Kypp, M.; Matskin, M.1991
984. Knowledge-based programming environments Tyugu, Enn1990
985. Higher order dataflow schemas Tyugu, Enn1990
986. Declarative programming in a type theory Tyugu, Enn1991
987. Modularity of knowledge Tyugu, Enn1990
988. Kaneelhappe polüvinüülestri süntees ja tema omaduste uurimine Uibopuu, Helvi1963
989. Massivahetuse uurimine keevas kihis Uus, Endel1961
990. Gaasisegude järelpuhastamise võimaluste uurimine hõljuvas kihis asuva adsorbendiga Uus, Endel1957
991. Kehra tselluloositööstuse halvasti lõhnava jääkvee osooniga desodoreerimise võimaluste uurimine Uus, Endel; Külm, S.; Kasperson, M.; Munter, Rein1964
992. Ehitusmaterjalide tootmisvõimaluste uurimine diktüoneema kiltkivist ja selle tuhast Uus, Endel; Luhakooder, Edvard1960
993. A realizability semantics for the calculus of partial inductive definitions Uustalu, Tarmo1990
994. A modal justification for structural synthesis of NUT Uustalu, Tarmo1995
995. Combining object-oriented and logic paradigms: A modal logic programming approach Uustalu, Tarmo1991
996. Statistika teooria põhijooni Vaabel, Juhan1961
997. High order iterative methods for nonlinear equations Vaarmann, Otu1993
998. Some approximate variants of classical iterative methods with high order convergence Vaarmann, Otu1991
999. On high order iterative methods for problems in mathematical modeling Vaarmann, Otu1993
1000. On iterative methods for nonlinear least squares problems Vaarmann, Otu1994

Kirjeid leitud: 1120

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

TalTech Digikogu