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