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

items found: 1120

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

TalTech Digikogu