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

find full texts

items found: 760

351. An approach to designing object-oriented languages and environments Matskin, Michail B.1991
352. Automatic programming; program synthesis; constructive type theory; program specification Matskin, Michail B.1991
353. NUT: An object-oriented system with automatic synthesis of methods Matskin, Michail B.1991
354. Automatic programming: Lecture notes Matskin, Mihhail1994
355. An object-oriented environment based on multi-layer application design Matskin, Mihhail; Haav, Hele-Mai1993
356. A note on completeness of partial deduction Matskin, Mihhail; Tupailo, Sergei1995
357. A thermodynamical viewpoint to nerve pulse dynamics Maugin, Gerard A.; Engelbrecht, Jyri1992
358. 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
359. Estonian phonetics database: Development and realization Meister, Einar; Eek, A.1996
360. Attributed automata - some results and open problems Meriste, Merik1994
361. On formal models of finite attributed automata Meriste, Merik; Penjam, Jaan1992
362. Attributed finite automata Meriste, Merik; Penjam, Jaan1991
363. Toward knowledge-based specification of languages Meriste, Merik; Penjam, Jaan1990
364. Attributed models of executable specifications Meriste, Merik; Penjam, Jaan1995
365. Models of attributed automata Meriste, Merik; Penjam, Jaan; Vene, Varmo1996
366. Põlevkiviõli fenoolidest sünteetiliste vaikude saamisvõimaluste uurimine Mihkelson, Vello; Iruda, Aimi1962
367. Äärekihi ja fraktsioonide energia mõju lendtuha kivistuste tekkimise protsessile Mikk, Ilmar1956
368. Põlevkivi soojustehniliste omaduste kriitiline võrdlus Mikk, Ilmar1951
369. Poolkiirgus ülekuumendite soojusülekandest välise saastumise arvessevõtmisega Mikk, Ilmar1959
370. "Kombinaat Kiviõli" jõujaama katelde nr. 1 ja nr. 4 soojustehnilised katsetused Mikk, Ilmar; Must, Ülo1958
371. Eesti põlevkivi (kukersiidi) lendtuhakivististe uurimine Mikk, Ilmar; Ratnik, Endel1956
372. Type-theoretical semantics of some declarative languages Mints, G.; Smith, J.M.; Tyugu, E.1990
373. Normalization for the first order classical logic with Hilberts epsilon-symbol Mints, Gregory; Tupailo, Sergei1992
374. Resolution calculus for a logic of knowledge Mints, Grigori1992
375. Terminating epsilon substitutions process for the second order logic Mints, Grigori1992

items found: 760

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

TalTech Digikogu