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: 597
301.
Object-oriented data models and methods of computations
Matskin, M.; Haav, H.-M.; Kalja, A.; Rukshenas, R.; Perkmann, H.
1992
uuringuaruanded
302.
Cognitive graphics
Matskin, M.; Ruksenas, R.; Koov, M.
1991
uuringuaruanded
303.
Automatic programming; program synthesis; constructive type theory; program specification
Matskin, Michail B.
1991
uuringuaruanded
304.
NUT: An object-oriented system with automatic synthesis of methods
Matskin, Michail B.
1991
uuringuaruanded
305.
An approach to designing object-oriented languages and environments
Matskin, Michail B.
1991
uuringuaruanded
306.
Automatic programming: Lecture notes
Matskin, Mihhail
1994
uuringuaruanded
307.
An object-oriented environment based on multi-layer application design
Matskin, Mihhail; Haav, Hele-Mai
1993
uuringuaruanded
308.
A note on completeness of partial deduction
Matskin, Mihhail; Tupailo, Sergei
1995
uuringuaruanded
309.
A thermodynamical viewpoint to nerve pulse dynamics
Maugin, Gerard A.; Engelbrecht, Jyri
1992
uuringuaruanded
310.
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
311.
Estonian phonetics database: Development and realization
Meister, Einar; Eek, A.
1996
uuringuaruanded
312.
Attributed automata - some results and open problems
Meriste, Merik
1994
uuringuaruanded
313.
Attributed models of executable specifications
Meriste, Merik; Penjam, Jaan
1995
uuringuaruanded
314.
Toward knowledge-based specification of languages
Meriste, Merik; Penjam, Jaan
1990
uuringuaruanded
315.
Attributed finite automata
Meriste, Merik; Penjam, Jaan
1991
uuringuaruanded
316.
On formal models of finite attributed automata
Meriste, Merik; Penjam, Jaan
1992
uuringuaruanded
317.
Models of attributed automata
Meriste, Merik; Penjam, Jaan; Vene, Varmo
1996
uuringuaruanded
318.
Type-theoretical semantics of some declarative languages
Mints, G.; Smith, J.M.; Tyugu, E.
1990
uuringuaruanded
319.
Normalization for the first order classical logic with Hilberts epsilon-symbol
Mints, Gregory; Tupailo, Sergei
1992
uuringuaruanded
320.
Terminating epsilon substitutions process for the second order logic
Mints, Grigori
1992
uuringuaruanded
321.
Resolution calculus for a logic of knowledge
Mints, Grigori
1992
uuringuaruanded
322.
Epsilon substitution method for elementary analysis
Mints, Grigori; Tupailo, Sergei
1993
uuringuaruanded
323.
Time concepts in software
Motus, L.
1991
uuringuaruanded
324.
Embedded software modelling methodology used for analysing CIM systems
Motus, Leo
1991
uuringuaruanded
325.
Artificial intelligence in hard real time - a new paradigm needed?
Motus, Leo
1991
uuringuaruanded
Kirjeid leitud: 597
««
First
«
Previous
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
»
Next
»»
Last