Toggle navigation
Search
Collections
Indexes
FAQ
Digikogu
Search
Collections
Indexes
FAQ
Intranet
Logi sisse
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
author A-Z
author Z-A
publishing year asc
publishing year desc
title A-Z
title Z-A
Index
Penjam, Jaan - author
find full texts
Apply
items found: 14
1.
Algebraic theory of tape-controlled attributed automata.
Kaljulaid, Uno; Meriste, Merik; Penjam, Jaan
1993
research reports
2.
On two algebraic constructions for automata
Kaljulaid, Uno; Penjam, Jaan
1997
research reports
3.
Attributed models of executable specifications
Meriste, Merik; Penjam, Jaan
1995
research reports
4.
Toward knowledge-based specification of languages
Meriste, Merik; Penjam, Jaan
1990
research reports
5.
Attributed finite automata
Meriste, Merik; Penjam, Jaan
1991
research reports
6.
On formal models of finite attributed automata
Meriste, Merik; Penjam, Jaan
1992
research reports
7.
Models of attributed automata
Meriste, Merik; Penjam, Jaan; Vene, Varmo
1996
research reports
8.
Models for contextual specification and analysis of knowledge
Penjam, Jaan
1996
research reports
9.
Programmeerimiskeeled ja nende realiseerimine
Penjam, Jaan
1990
research reports
10.
Theoretical computer science
Penjam, Jaan
1993
research reports
11.
Theoretical computer science. Part II
Penjam, Jaan
1994
research reports
12.
Theoretical computer science I : Lecture notes
Penjam, Jaan
1994
research reports
13.
Attributed automata: A formal model for protocol specification
Penjam, Jaan
1994
research reports
14.
Constraint semantics of NUT
Penjam, Jaan; Tyugu, Enn
1993
research reports
items found: 14
1