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