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

Kuva ainult täistekste

Kirjeid leitud: 757

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

Kirjeid leitud: 757

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

TalTech Digikogu