Toggle navigation
Search
Collections
Indexes
FAQ
Digikogu
Search
Collections
Indexes
FAQ
Intranet
Logi sisse
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
author A-Z
author Z-A
publishing year asc
publishing year desc
title A-Z
title Z-A
find full texts
Apply
items found: 757
626.
Eesti kodanluse filosoofia ja sotsioloogia (1920-1940)
Štein, Otto
1963
627.
Expert systems technology
Tamm, Boris
1994
628.
Elements of expert system technology
Tamm, Boris
1992
629.
Elements of expert system technology II
Tamm, Boris
1993
630.
Approximation of an unconstrained minimum using biased estimate of the goal function
Tamm, Ebu
1991
631.
On differentiability and estimation of a quantile function
Tamm, Ebu
1992
632.
Minimization of a probability function using asymptotically unbiased estimate
Tamm, Ebu
1991
633.
On geometry of optimal partitions
Tamm, Ebu
1990
634.
Estimation of quantiles avoiding order statistics
Tamm, Ebu
1992
635.
Tehas "Männiku" raudbetoondetailide tsehhis 1962.a. jaanuaris teostatud põlevkivituhk-portlandtsemendi tööstuslike katsete tulemusi
Tamm, Lembit
1962
636.
Lineaarprogrammeerimise parameetrilised ülesanded
Tamm, Maret
1963
637.
Matemaatilise loogika ja algoritmide teooria algebraline struktuur
Tamm, Maret
1962
638.
An interactive algorithm for removing inconsistencies in mixture problem
Tamm, Maret
1990
639.
Mathematical model and algorithm for menu planning
Tamm, Maret; Rooba, Elve; Leppik, Imbi
1991
640.
First-order correctness proofs for propositional logic programming
Tammet, T.
1990
641.
Proof search in linear logic
Tammet, Tanel
1992
642.
Documentation for hobbit version 0a
Tammet, Tanel
1992
643.
Functional programming
Tammet, Tanel
1990
644.
Resolution methods for decision problems and finite-model building
Tammet, Tanel
1991
645.
Proof search in linear logic
Tammet, Tanel
1991
646.
Using resolution for deciding solvable classes and building finite models
Tammet, Tanel
1990
647.
Computer logic overview of research activities in 1992
Tammet, Tanel; Mints, Grigori; Tupailo, Sergei
1992
648.
Jooniste kogu mõõtmete pealekandmise oskuse arendamiseks
Tapper, Valentin; Taal, Hans
1952
649.
Uutele õppeprogrammidele ja TPI laboratoorsele baasile vastavate uute laboratoorsete ülesannete koostamine õppedistsipliinis "Elektrotehnika teoreetilised põhialused"
Tapupere, Olev
1955
650.
Comparison of the modelling power of Petri-nets and Q-model
Tekko, Jaanus
1994
items found: 757
««
First
«
Previous
18
19
20
21
22
23
24
25
26
27
28
29
30
31
»
Next
»»
Last