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: 1120
901.
Eesti Kütipolkude võitlusteest
Taigro, Ülo
1965
902.
Refraktomeetria kasutamise teoreetilised alused keemilises kineetikas
Talts, Erika
1963
903.
Fosforhappe estrite omaduste, reaktsioonide kineetika ja katalüüsi uurimine
Talts, Erika; Johannes, Ene
1962
904.
Estrite ja kõrgemolekulaarsete polüestrite sünteesi katalüsaatorite uurimine
Talts, Erika; Johannes, Ene
1961
905.
Elements of expert system technology II
Tamm, Boris
1993
906.
Expert systems technology
Tamm, Boris
1994
907.
Elements of expert system technology
Tamm, Boris
1992
908.
Estimation of quantiles avoiding order statistics
Tamm, Ebu
1992
909.
On geometry of optimal partitions
Tamm, Ebu
1990
910.
Minimization of a probability function using asymptotically unbiased estimate
Tamm, Ebu
1991
911.
On differentiability and estimation of a quantile function
Tamm, Ebu
1992
912.
Approximation of an unconstrained minimum using biased estimate of the goal function
Tamm, Ebu
1991
913.
Tehas "Männiku" raudbetoondetailide tsehhis 1962.a. jaanuaris teostatud põlevkivituhk-portlandtsemendi tööstuslike katsete tulemusi
Tamm, Lembit
1962
914.
Lineaarprogrammeerimise parameetrilised ülesanded
Tamm, Maret
1963
915.
Matemaatilise loogika ja algoritmide teooria algebraline struktuur
Tamm, Maret
1962
916.
An interactive algorithm for removing inconsistencies in mixture problem
Tamm, Maret
1990
917.
Mathematical model and algorithm for menu planning
Tamm, Maret; Rooba, Elve; Leppik, Imbi
1991
918.
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
919.
First-order correctness proofs for propositional logic programming
Tammet, T.
1990
920.
Proof search in linear logic
Tammet, Tanel
1992
921.
Using resolution for deciding solvable classes and building finite models
Tammet, Tanel
1990
922.
Documentation for hobbit version 0a
Tammet, Tanel
1992
923.
Resolution methods for decision problems and finite-model building
Tammet, Tanel
1991
924.
Proof search in linear logic
Tammet, Tanel
1991
925.
Functional programming
Tammet, Tanel
1990
Kirjeid leitud: 1120
««
First
«
Previous
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
»
Next
»»
Last