Katalog der Deutschen Nationalbibliothek

Gesamter Bestand

Musikarchiv

Exilsammlungen

Buchmuseum

Suchformular zurücksetzen

Expertensuche ?

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

Vom 10. September 2025, 13 Uhr, bis 11. September 2025, 22 Uhr, kann es zu Einschränkungen bei der Bereitstellung von Medienwerken kommen. Wir informieren Sie per E-Mail über den aktuellen Stand Ihrer Bestellungen. // From 13:00 on 10 September 2025 until 22:00 on 11 September 2025, there may be restrictions on the provision of media works. We will inform you by email about the current status of your orders.

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

1 - 10 von 12

	1	Trust-Based Runtime Monitoring of Distributed Component-Structured E-Commerce Software Herrmann, Peter. - Dortmund : Universitätsbibliothek Dortmund, 2004
	2	Advanced implementation techniques for automated protocol implementation Langendörfer, Peter. - [Cottbus] : [Brandenburgische Techn. Univ., Fak. für Mathematik, Naturwiss. und Informatik], 1999
	3	Implementierung von Kommunikationsprotokollen König, Hartmut. - Cottbus : Brandenburgische Techn. Univ., Fak. für Mathematik, Naturwiss. und Informatik, 1996
	4	Composition and refinement mapping based construction of distributed applications Mester, Arnulf. - Dortmund : Dekanat Informatik, Univ., 1994
	5	Compositional specification and verification of high speed transfer protocols Herrmann, Peter. - Dortmund : Dekanat Informatik, Univ., 1994
	6	Protokollimplementierung König, Hartmut. - Cottbus : Techn. Univ., Fak. für Mathematik, Naturwiss. und Informatik, 1994
	7	Report on analysis and verification techniques Herrmann, Peter. - Dortmund : Dekanat Informatik, Univ., 1993
	8	Telekommunikation und Datenhaltung Lockemann, Peter C.. - München : Hanser, 1993
	9	Theorem prover based verification of TLA systems Eickhoff, Ulrich. - Dortmund : Dekanat Informatik, Univ., 1993
	10	Funktionelle Analyse von Kommunikationsprotokollen Krumm, Heiko. - Berlin : Springer, 1990