Search - TalTech raamatukogu digikogu

Select collection select all remove selection

annual reports of research & development activities

articles

bachelor's theses

conference proceedings

digitized periodicals

diploma theses

dissertations

history of TalTech

IOP

library publications

master's theses

pre-dissertations

research reports

standards

textbooks and teaching materials

transactions of TalTech

varia

title

author/supervisor/editor

structural unit

keyword

publication year

-

Sort by

Index

Institute of Cybernetics of the Estonian Academy of Sciences - institution

find full texts

items found: 597

301. Object-oriented data models and methods of computations Matskin, M.; Haav, H.-M.; Kalja, A.; Rukshenas, R.; Perkmann, H.1992 research reports
302. Cognitive graphics Matskin, M.; Ruksenas, R.; Koov, M.1991 research reports
303. Automatic programming; program synthesis; constructive type theory; program specification Matskin, Michail B.1991 research reports
304. NUT: An object-oriented system with automatic synthesis of methods Matskin, Michail B.1991 research reports
305. An approach to designing object-oriented languages and environments Matskin, Michail B.1991 research reports
306. Automatic programming: Lecture notes Matskin, Mihhail1994 research reports
307. An object-oriented environment based on multi-layer application design Matskin, Mihhail; Haav, Hele-Mai1993 research reports
308. A note on completeness of partial deduction Matskin, Mihhail; Tupailo, Sergei1995 research reports
309. A thermodynamical viewpoint to nerve pulse dynamics Maugin, Gerard A.; Engelbrecht, Jyri1992 research reports
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 research reports
311. Estonian phonetics database: Development and realization Meister, Einar; Eek, A.1996 research reports
312. Attributed automata - some results and open problems Meriste, Merik1994 research reports
313. Attributed models of executable specifications Meriste, Merik; Penjam, Jaan1995 research reports
314. Toward knowledge-based specification of languages Meriste, Merik; Penjam, Jaan1990 research reports
315. Attributed finite automata Meriste, Merik; Penjam, Jaan1991 research reports
316. On formal models of finite attributed automata Meriste, Merik; Penjam, Jaan1992 research reports
317. Models of attributed automata Meriste, Merik; Penjam, Jaan; Vene, Varmo1996 research reports
318. Type-theoretical semantics of some declarative languages Mints, G.; Smith, J.M.; Tyugu, E.1990 research reports
319. Normalization for the first order classical logic with Hilberts epsilon-symbol Mints, Gregory; Tupailo, Sergei1992 research reports
320. Terminating epsilon substitutions process for the second order logic Mints, Grigori1992 research reports
321. Resolution calculus for a logic of knowledge Mints, Grigori1992 research reports
322. Epsilon substitution method for elementary analysis Mints, Grigori; Tupailo, Sergei1993 research reports
323. Time concepts in software Motus, L.1991 research reports
324. Embedded software modelling methodology used for analysing CIM systems Motus, Leo1991 research reports
325. Artificial intelligence in hard real time - a new paradigm needed? Motus, Leo1991 research reports

items found: 597

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

TalTech Digikogu