Your search returned 6 results.

Sort
Results
1.
Antworzeitverhalten eines Echtzeit-Rechensystems bei Auslagerung des Betriebssystemkerns auf einen eigenen prozessor Theodor Tempelmeier vol. I by Series: TUM- I. 8015
Publication details: Munchen Universitat Munchen 1980
Availability: Items available for loan: IMAR (1)Call number: II 22252.

2.
Grundstrukturen in fehlertoleranten systemen und ihre formale darstellung J. Schlichter by Series: TUM- I. 8014
Publication details: Munchen Universitat Munchen 1980
Availability: Items available for loan: IMAR (1)Call number: II 22251.

3.
Formale beschreibung und untersuchung des leistungsverhaltens von ein-bus-mehrprozessorsystemen mit und ohne lokale arbeitsspeicher R. Nagele by Series: TUM- I. 8013
Publication details: Munchen Universitat Munchen 1980
Availability: Items available for loan: IMAR (1)Call number: II 22250.

4.
Program development as a formal activity M. Broy, P. Pepper by Series: TUM- I. 8012
Publication details: Munchen Universitat Munchen 1980
Availability: Items available for loan: IMAR (1)Call number: II 22249.

5.
Ein algorithmus for allgemeine erreichbarkeits - problem bei petrinetzen und damit zusammenhangende probleme E. W. Mayr by Series: TUM- I. 8010
Publication details: Munchen Universitat Munchen 1980
Availability: Items available for loan: IMAR (1)Call number: II 22248.

6.
Undendliche schlussregeln zur verifikation von programmen F. Kroger by Series: TUM- I. 8009
Publication details: Munchen Universitat Munchen 1980
Availability: Items available for loan: IMAR (1)Call number: II 22247.

Pages

Powered by Koha