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

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

items found: 1052

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

TalTech Digikogu