Home
Teaching
Staff
Publications
Posters
Contact
HMS
Login
Impressum / Site notice
Search this site:
Links
Home
Teaching
Staff
Publications
Posters
Contact
HMS
Login
Impressum / Site notice
Home
› Biblio
Biblio
List
Filter
Export 42 results:
RTF
Tagged
XML
BibTex
Sort by:
Author
Keyword
Title
Type
[
Year
]
Filters:
First Letter Of Title
is
P
[Clear All Filters]
1988
Lohmann, F.
,
"
Processing Non-Standard-Database Objects in a Higher Level Programming Language - An Abstract Data Type Approach
",
Proc. Int. Workshop on Software Engineering and its Applications
, pp. 1141-1159, 1988.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
1984
Ehrich, H. - D.
, and
(ed)
,
"
Proceedings
",
GI – 14. Jahrestagung
, Braunschweig, Informatik-Fachberichte Nr. 88, Springer, 1984.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Ehrich, H. - D.
, and
(ed)
,
"
Proceedings Fachgespräche
",
GI – 14. Jahrestagung
, Braunschweig, Springer, 1984.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Gogolla, M.
,
Partially Ordered Sorts in Algebraic Specifications
,
, 1984.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
1983
Durchholz, R.
, and
H. - D. Ehrich
,
"
Proceedings
",
Workshop on Information and Data Structure Description
, München, Bericht der GMD Nr. 139, 1983.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
1980
Ehrich, H. - D.
,
"
Proving Implementations Correct - Two Alternative Approaches
",
IFIP Congress 1980
: North-Holland Publ. Comp., 1980.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1980IFIP.pdf
(384.86 KB)
1979
Ehrich, H. - D.
, and
V. G. Lohberger
,
"
Parametrie Specification of Abstract Data Types, Parameter Substitution, and Graph Replacements
",
Proceedings of the Workshop on "Graphentheoretische Konzepte in der Informatik"
: Hanser-Verlag, 1979.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1979Graphen4.pdf
(792.42 KB)
« first
‹ previous
1
2