Search - TalTech raamatukogu digikogu

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

find full texts

items found: 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

items found: 627

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

TalTech Digikogu