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: 1052

551. Comparison of the modelling power of Petri-nets and Q-model Tekko, Jaanus1994 uuringuaruanded
552. A model-theoretic study of the calculus for systems description Tekko, Jaanus; Uustalu, Tarmo; Lorents, Peeter1990 uuringuaruanded
553. Juhuslike protsesside optimaalne juhtimine. Optimal control of stochastic processes Tenno, R., Oit, H., Lamp, I., Praust, V.1990 uuringuaruanded
554. On Non-wellfounded Constructive Set Theory: construction of non-wellfounded sets in Explicit Mathematics Tupailo, S.2001 uuringuaruanded
555. Normalization for arithmetical comprehension with restricted occurrences of Hilberts epsilon symbol Tupailo, Sergei1992 uuringuaruanded
556. On a proof-theoretical analysis of sigma_1^1 - AC, sigma_1 ^1 - DC and delta_1^ - CA Tupailo, Sergei1993 uuringuaruanded
557. General methods in inductive program synthesis Tupailo, Sergei1996 uuringuaruanded
558. Knowledge representation and application II: Large knowledge-bases Tyugu, E.; Harf, M.; Kypp, M.; Matskin, M.1991 uuringuaruanded
559. Higher order dataflow schemas Tyugu, Enn1990 uuringuaruanded
560. Knowledge-based programming environments Tyugu, Enn1990 uuringuaruanded
561. Modularity of knowledge Tyugu, Enn1990 uuringuaruanded
562. Declarative programming in a type theory Tyugu, Enn1991 uuringuaruanded
563. A realizability semantics for the calculus of partial inductive definitions Uustalu, Tarmo1990 uuringuaruanded
564. Combining object-oriented and logic paradigms: A modal logic programming approach Uustalu, Tarmo1991 uuringuaruanded
565. A modal justification for structural synthesis of NUT Uustalu, Tarmo1995 uuringuaruanded
566. Certain approximate Newton-type methods Vaarmann, Otu1991 uuringuaruanded
567. On iterative methods for nonlinear least squares problems Vaarmann, Otu1994 uuringuaruanded
568. Some numerical methods of parameter identification in nonlinear models Vaarmann, Otu1991 uuringuaruanded
569. On high order iterative methods for problems in mathematical modeling Vaarmann, Otu1993 uuringuaruanded
570. Some approximate variants of classical iterative methods with high order convergence Vaarmann, Otu1991 uuringuaruanded
571. High order iterative methods for nonlinear equations Vaarmann, Otu1993 uuringuaruanded
572. On some methods with high order of convergence.Paper A: Some methods for solving two-point boundary-value problemsPaper B: Numerical solution of certain decomposition-coordination problems... Vaarmann, Otu; Meressoo, T.1992 uuringuaruanded
573. Compositional specification and verification of hybrid systems Vain, Jüri1993 uuringuaruanded
574. Time-invariant transformations of joint action systems Vain, Jüri1992 uuringuaruanded
575. International summer school on real-time fault-tolerance and artificial intelligence, Neeruti (Estonia), June 30 - July 2, 1992 Vain, Jüri1992 uuringuaruanded

Kirjeid leitud: 1052

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

TalTech Digikogu