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

901. Eesti Kütipolkude võitlusteest Taigro, Ülo1965
902. Refraktomeetria kasutamise teoreetilised alused keemilises kineetikas Talts, Erika1963
903. Fosforhappe estrite omaduste, reaktsioonide kineetika ja katalüüsi uurimine Talts, Erika; Johannes, Ene1962
904. Estrite ja kõrgemolekulaarsete polüestrite sünteesi katalüsaatorite uurimine Talts, Erika; Johannes, Ene1961
905. Elements of expert system technology II Tamm, Boris1993
906. Expert systems technology Tamm, Boris1994
907. Elements of expert system technology Tamm, Boris1992
908. Estimation of quantiles avoiding order statistics Tamm, Ebu1992
909. On geometry of optimal partitions Tamm, Ebu1990
910. Minimization of a probability function using asymptotically unbiased estimate Tamm, Ebu1991
911. On differentiability and estimation of a quantile function Tamm, Ebu1992
912. Approximation of an unconstrained minimum using biased estimate of the goal function Tamm, Ebu1991
913. Tehas "Männiku" raudbetoondetailide tsehhis 1962.a. jaanuaris teostatud põlevkivituhk-portlandtsemendi tööstuslike katsete tulemusi Tamm, Lembit1962
914. Lineaarprogrammeerimise parameetrilised ülesanded Tamm, Maret1963
915. Matemaatilise loogika ja algoritmide teooria algebraline struktuur Tamm, Maret1962
916. An interactive algorithm for removing inconsistencies in mixture problem Tamm, Maret1990
917. Mathematical model and algorithm for menu planning Tamm, Maret; Rooba, Elve; Leppik, Imbi1991
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, Tanel1992
921. Using resolution for deciding solvable classes and building finite models Tammet, Tanel1990
922. Documentation for hobbit version 0a Tammet, Tanel1992
923. Resolution methods for decision problems and finite-model building Tammet, Tanel1991
924. Proof search in linear logic Tammet, Tanel1991
925. Functional programming Tammet, Tanel1990

items found: 1120

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

TalTech Digikogu