Special issue: the 20th nordic workshop on programming theory (NWPT 2008)

Mathematics of program construction 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006 ; proceedings

Inhaltstext

For freedom only von Uustalu, Evald

Special issue on mathematics of program construction (MPC 2006) [eighth International Conference on Mathematics of Program Construction, MPC 2006, ... held in Kuressaare, Estonia,...

War, revolution and governance the Baltic countries in the twentieth century

Inhaltsverzeichnis
Register // Gemischte Register

Constraint programming [proceedings of the NATO Advanced Study Institute on Constraint Programming, held in Pärnu, Estonia, August 13 - 24, 1993]

Inhaltsverzeichnis

Programming languages and systems third Asian symposium,APLAS 2005, Tsukuba, Japan, November 2 - 5, 2005 ; proceedings

Inhaltsverzeichnis

Automated reasoning with analytic tableaux and related methods 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6 - 10, 2009 ; proceedings

Inhaltsverzeichnis

Types for proofs and programs International Workshop, TYPES 2002, Berg en Dal, the Netherlands, April 24 - 28, 2002 ; selected papers

Inhaltsverzeichnis

Functional and logic programming 11th international symposium, FLOPS 2012, Kobe, Japan, May 23 - 25, 2012 ; proceedings

Inhaltstext
Inhaltsverzeichnis

Foundations of Software Science and Computational Structures 15th international conference, FOSSACS 2012, held as part of the European Joint Conferences on Theory and Practice of S...

Inhaltstext
Inhaltsverzeichnis

Formal methods: foundations and applications 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 ; revised selected papers

Inhaltsverzeichnis

Programming languages and systems 9th Asian symposium, APLAS 2011, Kenting, Taiwan, December 5 - 7, 2011 ; proceedings

Inhaltstext
Inhaltsverzeichnis

Aimla metsavennad 1944-1987 Urmas Kuusik von Kuusik, Urmas

Inhaltsverzeichnis
Register // Personenregister
Literaturverzeichnis

Eesti poliitika 100 aastat von Taagepera, Rein 1933-

Inhaltsverzeichnis
Inhaltsverzeichnis
Register // Personenregister
Literaturverzeichnis

Tallinn teises maailmasõjas 1939-1945 inimesed, linn ja laevad von Ojalo, Hanno 1961-

Inhaltsverzeichnis
Inhaltsverzeichnis
Literaturverzeichnis

The dynamics of cultural borders

Inhaltsverzeichnis
Inhaltsverzeichnis
Register // Personenregister

Avtorskaja keramika XX-načala XXI veka = M-Ja von Kopejčikova, Olʹga Anatolʹevna, Romanova, L. F.

Inhaltsverzeichnis
Abstract
Register // Personenregister
Register // Personenregister
Abstract

Ühistegevus kutsub Arvo Horm ; koostanud Hando Runnel von Horm, Arvo 1913-1996

Inhaltsverzeichnis
Register // Personenregister

Mitu sõrme on Jumalal? õpetajana koolis ja kirikus, vanglas ja vabaduses : mälestusi

Inhaltsverzeichnis
Inhaltsverzeichnis
Register // Personenregister