Del 3Distributed Implementation of Flat Concurrent Prolog on Message-Passing Multiprocessor SystemsSpringer-Verlag Berlin and Heidelberg GmbH & Co. KGHäftad, 2012389 kr
Angewandte Informatik und Formale BeschreibungsverfahrenGeorg Lausen, Andreas Oberweis, Gunter SchlageterHäftad, 1999509 kr
Petrinetze, lineare Algebra und lineare ProgrammierungSpringer Fachmedien WiesbadenHäftad, 1998459 kr
Formale Semantik eines erweiterten Entity-Relationship-ModellsSpringer Fachmedien WiesbadenHäftad, 1993507 kr
Angewandte Informatik und Formale BeschreibungsverfahrenGeorg Lausen, Andreas Oberweis, Gunter SchlageterHäftad, 1999509 kr