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: 1052
526.
Evolutsioonilised algoritmid ja nende rakendamine neuronvõrkude õpetamiseks ja genereerimiseks
Svintsov, M.
2003
research reports
527.
What does the correlation dimension of the human heart rate measure?
Säkki, M.; Kalda, J.; Vainu, M.; Laan, M.
2001
research reports
528.
Diagnostic performance of the nonlinear measures of heart rate variability
Säkki, M.; Kalda, J.; Vainu, M.; Laan, M.
2001
research reports
529.
Tehnoloogilise objekti graafiline mudel. Graphical model of a technological object
Šesterov, Vladimir
1992
research reports
530.
Elements of expert system technology
Tamm, Boris
1992
research reports
531.
Expert systems technology
Tamm, Boris
1994
research reports
532.
Elements of expert system technology II
Tamm, Boris
1993
research reports
533.
On differentiability and estimation of a quantile function
Tamm, Ebu
1992
research reports
534.
Approximation of an unconstrained minimum using biased estimate of the goal function
Tamm, Ebu
1991
research reports
535.
Minimization of a probability function using asymptotically unbiased estimate
Tamm, Ebu
1991
research reports
536.
Estimation of quantiles avoiding order statistics
Tamm, Ebu
1992
research reports
537.
On geometry of optimal partitions
Tamm, Ebu
1990
research reports
538.
An interactive algorithm for removing inconsistencies in mixture problem
Tamm, Maret
1990
research reports
539.
Mathematical model and algorithm for menu planning
Tamm, Maret; Rooba, Elve; Leppik, Imbi
1991
research reports
540.
First-order correctness proofs for propositional logic programming
Tammet, T.
1990
research reports
541.
Proof search in linear logic
Tammet, Tanel
1992
research reports
542.
Using resolution for deciding solvable classes and building finite models
Tammet, Tanel
1990
research reports
543.
Documentation for hobbit version 0a
Tammet, Tanel
1992
research reports
544.
Functional programming
Tammet, Tanel
1990
research reports
545.
Resolution methods for decision problems and finite-model building
Tammet, Tanel
1991
research reports
546.
Proof search in linear logic
Tammet, Tanel
1991
research reports
547.
Computer logic overview of research activities in 1992
Tammet, Tanel; Mints, Grigori; Tupailo, Sergei
1992
research reports
548.
The language LSD and calculus CSD - tools for embedded system specification
Tekko, Jaanus
1991
research reports
549.
Some problems in timing analysis of the specification
Tekko, Jaanus
1993
research reports
550.
A formal model for the language LSD and calculus CSD
Tekko, Jaanus
1991
research reports
items found: 1052
««
First
«
Previous
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
»
Next
»»
Last