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: 701

601. Proof search in linear logic Tammet, Tanel1992
602. Computer logic overview of research activities in 1992 Tammet, Tanel; Mints, Grigori; Tupailo, Sergei1992
603. The language LSD and calculus CSD - tools for embedded system specification Tekko, Jaanus1991
604. Comparison of the modelling power of Petri-nets and Q-model Tekko, Jaanus1994
605. A formal model for the language LSD and calculus CSD Tekko, Jaanus1991
606. Some problems in timing analysis of the specification Tekko, Jaanus1993
607. A model-theoretic study of the calculus for systems description Tekko, Jaanus; Uustalu, Tarmo; Lorents, Peeter1990
608. Juhuslike protsesside optimaalne juhtimine. Optimal control of stochastic processes Tenno, R., Oit, H., Lamp, I., Praust, V.1990
609. Häiritud liikumise võrrandid konfiguratsiooni ruumis Tiikma, Boris1962
610. Klaasi- ja puidutöötlemise kombinaadi "Järvakandi Tehased" katlamaja soojusbilanss Toomaspoeg, Juhan1962
611. Tallinna tööstusettevõtete soojusmajanduse tase Toomaspoeg, Juhan1959
612. Taaramajanduse ratsionaliseerimise võimalusi Eesti NSV RMN tööstusettevõtetes Toomaspoeg, Juhan; Rannes, Arkadi; Lageda, Peeter; Kanne, Leida; Fominõh, Jevgeni1964
613. Tartu Õlletehase katlamaja soojusbilansi koostamine ja tehase soojusmajanduse analüüs Toomaspoeg, Juhan; Truumägi, Voldemar; Toomet, Karl1961
614. Moe Piiritustehase katlamaja soojusbilansi koostamine ja tehase soojusmajanduse analüüs Toomaspoeg, Juhan; Truumägi, Voldemar; Varju, Peeter; Rootamm, Rein1961
615. Mikroelementide polarograafiline määramine diktioneema-kiltkivis Torpan, Boris; Kirret, Oskar; Korv, August1951
616. Monteeritavate põlevkivituhk- ja silikaltsiitseinamaterjalide tootmise omahinna ja nende kasutamise majandusliku efektiivsuse analüüs Treifeldt, Alfred1959
617. On Non-wellfounded Constructive Set Theory: construction of non-wellfounded sets in Explicit Mathematics Tupailo, S.2001
618. Normalization for arithmetical comprehension with restricted occurrences of Hilberts epsilon symbol Tupailo, Sergei1992
619. General methods in inductive program synthesis Tupailo, Sergei1996
620. On a proof-theoretical analysis of sigma_1^1 - AC, sigma_1 ^1 - DC and delta_1^ - CA Tupailo, Sergei1993
621. Knowledge representation and application II: Large knowledge-bases Tyugu, E.; Harf, M.; Kypp, M.; Matskin, M.1991
622. Higher order dataflow schemas Tyugu, Enn1990
623. Knowledge-based programming environments Tyugu, Enn1990
624. Modularity of knowledge Tyugu, Enn1990
625. Declarative programming in a type theory Tyugu, Enn1991

items found: 701

First
Previous
17
18
19
20
21
22
23
24
25
26
27
28
29
Next
Last

TalTech Digikogu