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

551. Comparison of the modelling power of Petri-nets and Q-model Tekko, Jaanus1994
552. A model-theoretic study of the calculus for systems description Tekko, Jaanus; Uustalu, Tarmo; Lorents, Peeter1990
553. Juhuslike protsesside optimaalne juhtimine. Optimal control of stochastic processes Tenno, R., Oit, H., Lamp, I., Praust, V.1990
554. On Non-wellfounded Constructive Set Theory: construction of non-wellfounded sets in Explicit Mathematics Tupailo, S.2001
555. Normalization for arithmetical comprehension with restricted occurrences of Hilberts epsilon symbol Tupailo, Sergei1992
556. General methods in inductive program synthesis Tupailo, Sergei1996
557. On a proof-theoretical analysis of sigma_1^1 - AC, sigma_1 ^1 - DC and delta_1^ - CA Tupailo, Sergei1993
558. Knowledge representation and application II: Large knowledge-bases Tyugu, E.; Harf, M.; Kypp, M.; Matskin, M.1991
559. Higher order dataflow schemas Tyugu, Enn1990
560. Knowledge-based programming environments Tyugu, Enn1990
561. Modularity of knowledge Tyugu, Enn1990
562. Declarative programming in a type theory Tyugu, Enn1991
563. Combining object-oriented and logic paradigms: A modal logic programming approach Uustalu, Tarmo1991
564. A modal justification for structural synthesis of NUT Uustalu, Tarmo1995
565. A realizability semantics for the calculus of partial inductive definitions Uustalu, Tarmo1990
566. On high order iterative methods for problems in mathematical modeling Vaarmann, Otu1993
567. Certain approximate Newton-type methods Vaarmann, Otu1991
568. Some numerical methods of parameter identification in nonlinear models Vaarmann, Otu1991
569. On iterative methods for nonlinear least squares problems Vaarmann, Otu1994
570. High order iterative methods for nonlinear equations Vaarmann, Otu1993
571. Some approximate variants of classical iterative methods with high order convergence Vaarmann, Otu1991
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
573. Time-invariant transformations of joint action systems Vain, Jüri1992
574. Compositional specification and verification of hybrid systems Vain, Jüri1993
575. Developing constructive requirements specifications for CIM systems Vain, Jüri1992

Kirjeid leitud: 627

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

TalTech Digikogu