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

Institute of Cybernetics of the Estonian Academy of Sciences - asutus

Kuva ainult täistekste

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

Kirjeid leitud: 598

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

TalTech Digikogu