Lang, Bruno
Wien [u.a.] : Springer (2001)
Buchbeitrag
In
Symbolic algebraic methods and verification methods / Götz Alefeld ... (eds.), Seite(n)/Artikel-Nr.: 145-152
Der an dieser Stelle eingebundene Inhalt führt Sie auf Seiten, die von der von Google betriebenen Seite YouTube - YouTube, LLC, 901 Cherry Ave., San Bruno, CA 94066, USA - zur Verfügung gestellt werden. Mit dem Aufruf des Inhalts kann YouTube Ihre IP-Adresse und die Sprache des Systems, sowie verschiedene browserspezifische Angaben ermitteln.
Wenn Sie in Ihrem YouTube-Account eingeloggt sind, ermöglichen Sie YouTube, Ihr Surfverhalten direkt Ihrem persönlichen Profil zuzuordnen. Dies können Sie verhindern, indem Sie sich aus Ihrem YouTube-Account ausloggen.
YouTube verwendet Cookies und Tracking-Tools. Die Datenverarbeitungsvorgänge sowie die Zwecke der Verarbeitung können direkt bei YouTube erfragt und eingesehen werden.
Mit dem Klick auf den Button "Zustimmen" willigen Sie ein, die von der Plattform zur Verfügung gestellten Dokumente unter den angegebenen Umständen nutzen zu wollen.
Ihre Zustimmung gilt nur für den einmaligen Aufruf der Seite an dieser Stelle. Bei der nächsten Nutzung werden wir Sie wieder um Ihre Einwilligung bitten.
Der an dieser Stelle eingebundene Inhalt führt Sie auf Seiten, die vom Anbieter Vimeo - Vimeo, LLC mit Hauptsitz in 555 West 18th Street, New York, New York 10011 - zur Verfügung gestellt werden. Mit dem Aufruf des Inhalts kann Vimeo Ihre IP-Adresse und die Sprache des Systems, sowie verschiedene browserspezifische Angaben ermitteln.
Wenn Sie in Ihrem Vimeo-Account eingeloggt sind, ermöglichen Sie Vimeo, Ihr Surfverhalten direkt Ihrem persönlichen Profil zuzuordnen. Dies können Sie verhindern, indem Sie sich aus Ihrem Vimeo-Account ausloggen.
Vimeo verwendet Cookies und Tracking-Tools. Die Datenverarbeitungsvorgänge sowie die Zwecke der Verarbeitung können direkt bei Vimeo erfragt und eingesehen werden.
Mit dem Klick auf den Button "Zustimmen" willigen Sie ein, die von der Plattform zur Verfügung gestellten Dokumente unter den angegebenen Umständen nutzen zu wollen.
Ihre Zustimmung gilt nur für den einmaligen Aufruf der Seite an dieser Stelle. Bei der nächsten Nutzung werden wir Sie wieder um Ihre Einwilligung bitten.
Der an dieser Stelle eingebundene Inhalt führt Sie auf externe Seiten. Mit dem Aufruf des Inhalts kann die externe Plattform Ihre IP-Adresse und die Sprache des Systems, sowie verschiedene browserspezifische Angaben ermitteln.
Mit dem Klick auf den Button "Zustimmen" willigen Sie ein, die von der Plattform zur Verfügung gestellten Dokumente unter den angegebenen Umständen nutzen zu wollen.
Ihre Zustimmung gilt nur für den einmaligen Aufruf der Seite an dieser Stelle. Bei der nächsten Nutzung werden wir Sie wieder um Ihre Einwilligung bitten.