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

651. Normalization for arithmetical comprehension with restricted occurrences of Hilberts epsilon symbol Tupailo, Sergei1992
652. General methods in inductive program synthesis Tupailo, Sergei1996
653. On a proof-theoretical analysis of sigma_1^1 - AC, sigma_1 ^1 - DC and delta_1^ - CA Tupailo, Sergei1993
654. Knowledge representation and application II: Large knowledge-bases Tyugu, E.; Harf, M.; Kypp, M.; Matskin, M.1991
655. Higher order dataflow schemas Tyugu, Enn1990
656. Modularity of knowledge Tyugu, Enn1990
657. Declarative programming in a type theory Tyugu, Enn1991
658. Knowledge-based programming environments Tyugu, Enn1990
659. Massivahetuse uurimine keevas kihis Uus, Endel1961
660. Ehitusmaterjalide tootmisvõimaluste uurimine diktüoneema kiltkivist ja selle tuhast Uus, Endel; Luhakooder, Edvard1960
661. A realizability semantics for the calculus of partial inductive definitions Uustalu, Tarmo1990
662. A modal justification for structural synthesis of NUT Uustalu, Tarmo1995
663. Combining object-oriented and logic paradigms: A modal logic programming approach Uustalu, Tarmo1991
664. Some approximate variants of classical iterative methods with high order convergence Vaarmann, Otu1991
665. High order iterative methods for nonlinear equations Vaarmann, Otu1993
666. Certain approximate Newton-type methods Vaarmann, Otu1991
667. On iterative methods for nonlinear least squares problems Vaarmann, Otu1994
668. Some numerical methods of parameter identification in nonlinear models Vaarmann, Otu1991
669. On high order iterative methods for problems in mathematical modeling Vaarmann, Otu1993
670. 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
671. Time-invariant transformations of joint action systems Vain, Jüri1992
672. Compositional specification and verification of hybrid systems Vain, Jüri1993
673. International summer school on real-time fault-tolerance and artificial intelligence, Neeruti (Estonia), June 30 - July 2, 1992 Vain, Jüri1992
674. Developing constructive requirements specifications for CIM systems Vain, Jüri1992
675. Time-invariant transformations of joint action systems Vain, Jüri.; Kurki-Suonio, R.1995

Kirjeid leitud: 739

First
Previous
19
20
21
22
23
24
25
26
27
28
29
30
Next
Last

TalTech Digikogu