Toggle navigation
Otsing
Kollektsioonid
Registrid
Abi ja info
Digikogu
Otsing
Kollektsioonid
Registrid
Abi ja info
Intranet
Logi sisse
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
autor A-Z
autor Z-A
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri A-Z
pealkiri Z-A
Register
Institute of Cybernetics of the Estonian Academy of Sciences - asutus
Kuva ainult täistekste
Rakenda
Kirjeid leitud: 598
301.
Scattering of an obliquely incident plane acoustic wave by circular cylindrical shell. Experimental results
Maze, G.; Leon, F.; Veksler, N.
1996
uuringuaruanded
302.
Object-oriented data models and methods of computations
Matskin, M.; Haav, H.-M.; Kalja, A.; Rukshenas, R.; Perkmann, H.
1992
uuringuaruanded
303.
Cognitive graphics
Matskin, M.; Ruksenas, R.; Koov, M.
1991
uuringuaruanded
304.
Automatic programming; program synthesis; constructive type theory; program specification
Matskin, Michail B.
1991
uuringuaruanded
305.
NUT: An object-oriented system with automatic synthesis of methods
Matskin, Michail B.
1991
uuringuaruanded
306.
An approach to designing object-oriented languages and environments
Matskin, Michail B.
1991
uuringuaruanded
307.
Automatic programming: Lecture notes
Matskin, Mihhail
1994
uuringuaruanded
308.
An object-oriented environment based on multi-layer application design
Matskin, Mihhail; Haav, Hele-Mai
1993
uuringuaruanded
309.
A note on completeness of partial deduction
Matskin, Mihhail; Tupailo, Sergei
1995
uuringuaruanded
310.
A thermodynamical viewpoint to nerve pulse dynamics
Maugin, Gerard A.; Engelbrecht, Jyri
1992
uuringuaruanded
311.
Eesti keele foneetika: uuringud ja rakendused [Estonian fonetics: research and application] : Aruanne 1997
Meister, Einar; Eek, A,; Rohtla, M.; Tatter, P.; Muskat, M.; Saarts, H.
1997
uuringuaruanded
312.
Estonian phonetics database: Development and realization
Meister, Einar; Eek, A.
1996
uuringuaruanded
313.
Attributed automata - some results and open problems
Meriste, Merik
1994
uuringuaruanded
314.
Attributed models of executable specifications
Meriste, Merik; Penjam, Jaan
1995
uuringuaruanded
315.
Toward knowledge-based specification of languages
Meriste, Merik; Penjam, Jaan
1990
uuringuaruanded
316.
Attributed finite automata
Meriste, Merik; Penjam, Jaan
1991
uuringuaruanded
317.
On formal models of finite attributed automata
Meriste, Merik; Penjam, Jaan
1992
uuringuaruanded
318.
Models of attributed automata
Meriste, Merik; Penjam, Jaan; Vene, Varmo
1996
uuringuaruanded
319.
Type-theoretical semantics of some declarative languages
Mints, G.; Smith, J.M.; Tyugu, E.
1990
uuringuaruanded
320.
Normalization for the first order classical logic with Hilberts epsilon-symbol
Mints, Gregory; Tupailo, Sergei
1992
uuringuaruanded
321.
Terminating epsilon substitutions process for the second order logic
Mints, Grigori
1992
uuringuaruanded
322.
Resolution calculus for a logic of knowledge
Mints, Grigori
1992
uuringuaruanded
323.
Epsilon substitution method for elementary analysis
Mints, Grigori; Tupailo, Sergei
1993
uuringuaruanded
324.
Time concepts in software
Motus, L.
1991
uuringuaruanded
325.
Embedded software modelling methodology used for analysing CIM systems
Motus, Leo
1991
uuringuaruanded
Kirjeid leitud: 598
««
First
«
Previous
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
»
Next
»»
Last