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

926. Estimation of quantiles avoiding order statistics Tamm, Ebu1992 uuringuaruanded
927. Minimization of a probability function using asymptotically unbiased estimate Tamm, Ebu1991 uuringuaruanded
928. Tehas "Männiku" raudbetoondetailide tsehhis 1962.a. jaanuaris teostatud põlevkivituhk-portlandtsemendi tööstuslike katsete tulemusi Tamm, Lembit1962 uuringuaruanded
929. Lineaarprogrammeerimise parameetrilised ülesanded Tamm, Maret1963 uuringuaruanded
930. Matemaatilise loogika ja algoritmide teooria algebraline struktuur Tamm, Maret1962 uuringuaruanded
931. An interactive algorithm for removing inconsistencies in mixture problem Tamm, Maret1990 uuringuaruanded
932. Mathematical model and algorithm for menu planning Tamm, Maret; Rooba, Elve; Leppik, Imbi1991 uuringuaruanded
933. Laiendatud laboratoorsed katsed liimvaikude ja parkainete sünteesiks põlevkiviõli kõrgematest kahealuselistest fenoolidest. Parkainete sünteesi katsed põlevkiviõli kõrgematest kahealuselistest fenoolidest Tammelaan, Aivi; Uibopuu, Helvi; Tamvelius, Hindrek; Sivadi, E.1964 uuringuaruanded
934. First-order correctness proofs for propositional logic programming Tammet, T.1990 uuringuaruanded
935. Using resolution for deciding solvable classes and building finite models Tammet, Tanel1990 uuringuaruanded
936. Proof search in linear logic Tammet, Tanel1992 uuringuaruanded
937. Documentation for hobbit version 0a Tammet, Tanel1992 uuringuaruanded
938. Functional programming Tammet, Tanel1990 uuringuaruanded
939. Resolution methods for decision problems and finite-model building Tammet, Tanel1991 uuringuaruanded
940. Proof search in linear logic Tammet, Tanel1991 uuringuaruanded
941. Computer logic overview of research activities in 1992 Tammet, Tanel; Mints, Grigori; Tupailo, Sergei1992 uuringuaruanded
942. Jooniste kogu mõõtmete pealekandmise oskuse arendamiseks Tapper, Valentin; Taal, Hans1952 uuringuaruanded
943. Uutele õppeprogrammidele ja TPI laboratoorsele baasile vastavate uute laboratoorsete ülesannete koostamine õppedistsipliinis "Elektrotehnika teoreetilised põhialused" Tapupere, Olev1955 uuringuaruanded
944. Raadio- ja kõrgsagedushäirete uurimine ning kõrgsagedusdefektoskoopia rakendamine energiasüsteemis "Eesti Energia" Tapupere, Olev; Metusala, Tiit; Oidram, Rein1963 uuringuaruanded
945. Tugi- ja liiniisolaatorite proovilaboratooriumite ekraniseerimisvõimaluste uurimine ja vastava projektülesande koostamine Tapupere, Olev; Metusala, Tiit; Oidram, Rein1965 uuringuaruanded
946. Raadiohäirete uurimine elektriülekandeliinidelt energiasüsteemis "Eesti Energia" Tapupere, Olev; Metusala, Tiit; Oidram, Rein1962 uuringuaruanded
947. Kõrval- ja abitootmise olukord Eesti NSV teedemajandites ja selle arenguperspektiivid Tarmak, Aadu1963 uuringuaruanded
948. Comparison of the modelling power of Petri-nets and Q-model Tekko, Jaanus1994 uuringuaruanded
949. A formal model for the language LSD and calculus CSD Tekko, Jaanus1991 uuringuaruanded
950. Some problems in timing analysis of the specification Tekko, Jaanus1993 uuringuaruanded

Kirjeid leitud: 1609

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

TalTech Digikogu