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

Register

Eesti Teaduste Akadeemia Küberneetika Instituut - asutus

Kuva ainult täistekste

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, Mihhail1994 uuringuaruanded
307. An object-oriented environment based on multi-layer application design Matskin, Mihhail; Haav, Hele-Mai1993 uuringuaruanded
308. A note on completeness of partial deduction Matskin, Mihhail; Tupailo, Sergei1995 uuringuaruanded
309. A thermodynamical viewpoint to nerve pulse dynamics Maugin, Gerard A.; Engelbrecht, Jyri1992 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, Merik1994 uuringuaruanded
313. Attributed models of executable specifications Meriste, Merik; Penjam, Jaan1995 uuringuaruanded
314. Toward knowledge-based specification of languages Meriste, Merik; Penjam, Jaan1990 uuringuaruanded
315. Attributed finite automata Meriste, Merik; Penjam, Jaan1991 uuringuaruanded
316. On formal models of finite attributed automata Meriste, Merik; Penjam, Jaan1992 uuringuaruanded
317. Models of attributed automata Meriste, Merik; Penjam, Jaan; Vene, Varmo1996 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, Sergei1992 uuringuaruanded
320. Terminating epsilon substitutions process for the second order logic Mints, Grigori1992 uuringuaruanded
321. Resolution calculus for a logic of knowledge Mints, Grigori1992 uuringuaruanded
322. Epsilon substitution method for elementary analysis Mints, Grigori; Tupailo, Sergei1993 uuringuaruanded
323. Time concepts in software Motus, L.1991 uuringuaruanded
324. Embedded software modelling methodology used for analysing CIM systems Motus, Leo1991 uuringuaruanded
325. Artificial intelligence in hard real time - a new paradigm needed? Motus, Leo1991 uuringuaruanded

Kirjeid leitud: 597

First
Previous
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
Next
Last

TalTech Digikogu