Toggle navigation
Otsing
Kollektsioonid
Registrid
Abi ja info
Digikogu
Otsing
Kollektsioonid
Registrid
Abi ja info
Intranet
Logi sisse
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
autor A-Z
autor Z-A
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri A-Z
pealkiri Z-A
Kuva ainult täistekste
Rakenda
Kirjeid leitud: 1124
926.
Resolution methods for decision problems and finite-model building
Tammet, Tanel
1991
927.
Proof search in linear logic
Tammet, Tanel
1991
928.
Functional programming
Tammet, Tanel
1990
929.
Computer logic overview of research activities in 1992
Tammet, Tanel; Mints, Grigori; Tupailo, Sergei
1992
930.
Jooniste kogu mõõtmete pealekandmise oskuse arendamiseks
Tapper, Valentin; Taal, Hans
1952
931.
Uutele õppeprogrammidele ja TPI laboratoorsele baasile vastavate uute laboratoorsete ülesannete koostamine õppedistsipliinis "Elektrotehnika teoreetilised põhialused"
Tapupere, Olev
1955
932.
Raadiohäirete uurimine elektriülekandeliinidelt energiasüsteemis "Eesti Energia"
Tapupere, Olev; Metusala, Tiit; Oidram, Rein
1962
933.
Tugi- ja liiniisolaatorite proovilaboratooriumite ekraniseerimisvõimaluste uurimine ja vastava projektülesande koostamine
Tapupere, Olev; Metusala, Tiit; Oidram, Rein
1965
934.
Raadio- ja kõrgsagedushäirete uurimine ning kõrgsagedusdefektoskoopia rakendamine energiasüsteemis "Eesti Energia"
Tapupere, Olev; Metusala, Tiit; Oidram, Rein
1963
935.
Kõrval- ja abitootmise olukord Eesti NSV teedemajandites ja selle arenguperspektiivid
Tarmak, Aadu
1963
936.
Some problems in timing analysis of the specification
Tekko, Jaanus
1993
937.
The language LSD and calculus CSD - tools for embedded system specification
Tekko, Jaanus
1991
938.
Comparison of the modelling power of Petri-nets and Q-model
Tekko, Jaanus
1994
939.
A formal model for the language LSD and calculus CSD
Tekko, Jaanus
1991
940.
A model-theoretic study of the calculus for systems description
Tekko, Jaanus; Uustalu, Tarmo; Lorents, Peeter
1990
941.
Juhuslike protsesside optimaalne juhtimine. Optimal control of stochastic processes
Tenno, R., Oit, H., Lamp, I., Praust, V.
1990
942.
Tallinna linna majandus-joogivee tarbimisnormid 1960-1965 aastaks
Tepaks, Leo; Aitsam, Ain; Kõiv, Arnold
1962
943.
Kamari HEJ turbiinide energeetilisest katsetamisest
Tepaks, Leo; Tibar, Harri; Velner, Harald
1957
944.
Elektronseadised : laboratoorsed tööd
Tergem, Ilmar
1963
945.
Tehniliste energiakadude määramine Kohtla-Järve linna jaotusvõrgus
Terno, Olaf; Tamm, Boris
1957
946.
Põiklõike erienergia laialävelisel ülevoolul
Tibar, Harri
1953
947.
Altuputatud külgülevoolude uurimus ühisvoolse kanalisatsiooni ülevoolukaevude projekteerimiseks
Tibar, Harri
1961
948.
Teedeehituse pinnaste deformatsioonimoodulite määramine "CBR" meetodil
Tibar, Harri
1963
949.
Laialävelise ülevoolu läbilaskevõime arvutus sissevoolu tingimuste arvessevõtmisega
Tibar, Harri
1956
950.
Andmete kogumine ja analüüs väikeste veejõujaamade projekteerimiseks
Tibar, Harri
1949
Kirjeid leitud: 1124
««
First
«
Previous
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
»
Next
»»
Last