Fair-Value-Bewertung von Schulden Anlässe, Konzeption und kritische Würdigung der Bewertung von Schulden nach IFRS 13 von Lauer, Peter 1984-

Volltext öffnen

Affektive Psychosen eine Untersuchung der ICD-9 und DSM-III-Diagnosen anhand anamnestischer, demographischer und psychopathologischer Daten von 405 stationär behandelten Patienten... von Lauer, Peter

Schnelle Bahnsteuerung mit Transputern für einen Industrieroboter von Lauer, Peter M.

Formal behavioural specification of concurrent systems without globality assumptions von Lauer, Peter E., Shields, Michael William 1950-, Cotronis, John Y.

A description of path expressions by Petri nets von Lauer, Peter E., Campbell, Roy Harold

COSY +an environment for development and analysis of concurrent and distributed systems von Lauer, Peter E., Shields, Michael William 1950-

Verifying concurrent system specifications in COSY von Shields, Michael William 1950-, Lauer, Peter E.

A COSY banker specification of highly parallel and distributed resource management von Lauer, Peter E., Torrigiani, Piero R., Devillers, Raymond

A formal semantics for concurrent systems von Shields, Michael William 1950-, Lauer, Peter E.

Elektronystagmographische Untersuchungen bei Morbus Menière von Lauer, Peter Christian

Pottery traditions in the D'Entrecasteaux Islands of Papua von Lauer, Peter K.

The perils of indirect proof or another efficient search algorithm to find the elementary circuits of directed graphs von Lauer, Peter E.

Die junge Generation heute und morgen eine Rede auf dem NPD-Parteitag 1966 von Lauer, Peter

Dietl und seine Männer in Marvik das deutsche Landungsunternehmen gegen den bedeutenden norwegischen Erzhafen von Lauer, Erich, Lauer, Peter

Specification and analysis of concurrent systems the COSY approach von Janicki, Ryszard, Lauer, Peter E.

Inhaltsverzeichnis

Computer system dossiers von Lauer, Peter E.

Synchronization of concurrent processes without globality assumptions von Lauer, Peter E.

Programming and verifying concurrent systems in COSY von Shields, Michael William 1950-, Lauer, Peter E.

COSY a system specification language based on paths and processes von Lauer, Peter E., Torrigiani, Piero R., Shields, Michael William 1950-

Abstract specification of resource accessing disciplines adequacy, starvation, priority and interrrupts von Lauer, Peter E., Shields, Michael William 1950-