Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Searching
My bookmarks
0
Mathematics of Program Construction : 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019 : proceedings (source)
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
Add criteria
Advanced search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publications
..
year
year of publication
Loading..
author
Loading..
TalTech department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
1
Look more..
(5/55)
Export
export all inquiry results
(1)
Save TXT fail
Save PDF fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
1
book article
En garde! Unguarded iteration for reversible computation in the delay monad
Kaarsgaard, Robin
;
Veltri, Niccolo
Mathematics of Program Construction : 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019 : proceedings
2019
/
p. 366-384
https://doi.org/10.1007/978-3-030-33636-3_13
book article
Number of records 1, displaying
1 - 1
CV
28
1.
Ait, Olev 1947-2019
2.
Bazanov, Vladimir 1925-2019
3.
Gerndorf, Kostel 1945-2019
4.
Haak, Heldur 1941-2019
5.
Herkel, Voldemar 1929-2019
6.
Hääl, Maire-Liis 1938-2019
7.
Ivalo, Ain 1948-2019
8.
Joonsaar, Jüri 1958-2019
9.
Kelder, Priit 1945-2019
10.
Kiiss, Ilmar 1923-2019
11.
Kruusimägi, Juta 1930-2019
12.
Laul, Ilmar 1927-2019
13.
Leivo, Margus 1954-2019
14.
Lilleorg, Ilmar 1934-2019
15.
Lõokene, Inga 1941-2019
16.
Makarov, Mihhail 1922-2019
17.
Mätik, Kalju 1932-2019
18.
Nestor, Heldur 1935-2019
19.
Ojaste, Kalju 1927-2019
20.
Prikk, Arvi 1936-2019
21.
Rebane, Viiu 1946-2019
22.
Ronk, Ants 1946-2019
23.
Ruus, Tõnu 1940-2019
24.
Sildvee, Maie 1934-2019
25.
Sumbak, Allan 1928-2019
26.
Taklaja, Urve 1940-2019
27.
Vahelaid, Olav-Aleksander 1923-2019
28.
Vilipõld, Jüri 1942-2019
subject term
12
1.
Aasta õppejõud, 2019
2.
Aasta õppija, konkurss, 2019
3.
Arvamusfestival (7 : 2019 : Paide)
4.
BRICO, (2019)
5.
Mina, superorganism : lugu bakterite ja inimese kooselust, näitus Eesti Tervishoiu Muuseumis (2019-2020) : Tallinn
6.
Minu arm, Eesti üldlaulu- ja tantsupidu, 2019
7.
Robotex (19 : 2019 : Tallinn)
8.
Teadlaste Öö (2019)
9.
Teadmistepõhine ehitus (2019)
10.
2010-2019
11.
2018-2019
12.
2019-2020
name of the person
12
1.
Gerndorf, Kostel, 1945-2019
2.
Herkel, Voldemar, 1929-2019
3.
Kollo, Ülo, 1937-2019
4.
Leivo, Margus, 1954-2019
5.
Leštšinski, Aivar, 1958-2019
6.
Margna, Udo, 1934-2019
7.
Moora, Tanel, 1938-2019
8.
Mätik, Kalju, 1932-2019
9.
Ojaste, Kalju, 1927-2019
10.
Olmaru, Indrek, 1964-2019
11.
Parbo, Arvi, 1926-2019
12.
Sumbak, Allan, 1928-2019
TalTech subject term
2
1.
Aasta keeletegu, 2019
2.
KüberPähkel (2019)
keyword
1
1.
EN 16798-1:2019
×
match
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TalTech department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TalTech department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT