Otsing - TalTech raamatukogu digikogu

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

Kuva ainult täistekste

Kirjeid leitud: 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, Vladimir1992
530. Elements of expert system technology Tamm, Boris1992
531. Elements of expert system technology II Tamm, Boris1993
532. Expert systems technology Tamm, Boris1994
533. On differentiability and estimation of a quantile function Tamm, Ebu1992
534. Approximation of an unconstrained minimum using biased estimate of the goal function Tamm, Ebu1991
535. Minimization of a probability function using asymptotically unbiased estimate Tamm, Ebu1991
536. On geometry of optimal partitions Tamm, Ebu1990
537. Estimation of quantiles avoiding order statistics Tamm, Ebu1992
538. An interactive algorithm for removing inconsistencies in mixture problem Tamm, Maret1990
539. Mathematical model and algorithm for menu planning Tamm, Maret; Rooba, Elve; Leppik, Imbi1991
540. First-order correctness proofs for propositional logic programming Tammet, T.1990
541. Documentation for hobbit version 0a Tammet, Tanel1992
542. Functional programming Tammet, Tanel1990
543. Proof search in linear logic Tammet, Tanel1991
544. Resolution methods for decision problems and finite-model building Tammet, Tanel1991
545. Using resolution for deciding solvable classes and building finite models Tammet, Tanel1990
546. Proof search in linear logic Tammet, Tanel1992
547. Computer logic overview of research activities in 1992 Tammet, Tanel; Mints, Grigori; Tupailo, Sergei1992
548. The language LSD and calculus CSD - tools for embedded system specification Tekko, Jaanus1991
549. Some problems in timing analysis of the specification Tekko, Jaanus1993
550. A formal model for the language LSD and calculus CSD Tekko, Jaanus1991

Kirjeid leitud: 627

First
Previous
14
15
16
17
18
19
20
21
22
23
24
25
26
Next
Last

TalTech Digikogu