Obscure : Eine spezifikations- und verifikationsumgebung

von Loeckx, J.
Veröffentlicht 1989

Algorithmic specifications of abstract data types

von Loeckx, J.
Veröffentlicht 1980

Construction of bounded-context parsers for Chemsky O-type languages : Mechanica

von Loeckx, J.
Veröffentlicht 1969

An axiomatic justification of the LCF-System

von Barth, W.
Veröffentlicht 1976

Abstracts of the talks at the Second International Workshop on the Semantics of programming Languages in Bad Honnef, March 19 - 23, 1979

von Indermak, K.
Veröffentlicht 1979

The obscure manual

Obscure : A specification environment for abstract data types

von Lehmann, T.
Veröffentlicht 1987

Obscure : A specification language for abstract data types

von Lehmann, T.
Veröffentlicht 1990

The specification language of obscure

von Lehmann, T.
Veröffentlicht 1987

The obscure manual

Veröffentlicht 1991

Synthesis of Amorphous Calcium Phosphate: A Review

von Mosina, M.
Veröffentlicht in Rīgas Tehniskā Universitāte (60. : 2019 : Riga) Materials science and applied chemistry III (2020)

Liposomes as Vancomycin Hydrochloride Delivery System

von Skrinda, M.
Veröffentlicht in Conference Materials Science and Applied Chemistry (61. : 2020 : Riga) Materials science and applied chemistry IV (2021)

The Histomorphometry of Rabbit Bone Tissue with Experimental Osteoporosis after Implantation of Biphasic Calcium Phosphate Materials

von Ananjevs, V.
Veröffentlicht in Rīgas Tehniskā Universitāte (60. : 2019 : Riga) Materials science and applied chemistry III (2020)