Katalog der Deutschen Nationalbibliothek

Expertensuche ?

eingeschränkt auf
- Standorte:	Frankfurt

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 10

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