Katalog der Deutschen Nationalbibliothek

Gesamter Bestand

Musikarchiv

Buchmuseum

Suchformular zurücksetzen

Expertensuche ?

eingeschränkt auf
- Kataloge/Sammlungen:	Teilbestand nach VGG

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

Ergebnis der Suche nach: auRef=1049861523
im Bestand: Gesamter Bestand

1 - 7 von 7

	1	Composition and refinement mapping based construction of distributed applications Mester, Arnulf. - Dortmund : Dekanat Informatik, Univ., 1994
	2	Compositional specification and verification of high speed transfer protocols Herrmann, Peter. - Dortmund : Dekanat Informatik, Univ., 1994
	3	Protokollimplementierung König, Hartmut. - Cottbus : Techn. Univ., Fak. für Mathematik, Naturwiss. und Informatik, 1994
	4	Report on analysis and verification techniques Herrmann, Peter. - Dortmund : Dekanat Informatik, Univ., 1993
	5	Telekommunikation und Datenhaltung Lockemann, Peter C.. - München : Hanser, 1993
	6	Theorem prover based verification of TLA systems Eickhoff, Ulrich. - Dortmund : Dekanat Informatik, Univ., 1993
	7	Funktionelle Analyse von Kommunikationsprotokollen Krumm, Heiko. - Berlin : Springer, 1990

1 - 7 von 7

Alle Materialarten > Bücher (7)

Alle Kataloge/Sammlungen > Teilbestand nach VGG (7)

Alle Standorte > Frankfurt (7)

Aktionen