- Language
-
Deutsch
- Notes
-
Saarbrücken, Univ., Diss., 2005
- Identifier
-
975450662
Subject
Gcc ; Zwischensprache ; Programmanalyse ; Theoretische Informatik; Hochschulschrift; Online-Publikation
Contributor
Backes, Werner
- URN
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
26.01.2023, 1:56 PM CET
Object type
- Monografie
Associated
- Backes, Werner
Other Objects (12)
Generating program analyzers
Shadow techniques for interactive and real-time applications
Ein Algorithmus zur Bestimmung der Klassengruppe positiv definierter binärer quadratischer Formen
Cryptographically sound analysis of security protocols
Constraints and changes
Aufbereitung von Shapeanalyseausgaben zur Visualisierung der abstrakten Programmausführung
Network integrated multimedia middleware, services, and applications
Shape analysis for algorithm animation : strengths and weaknesses
Pragmatischer Konstruktivismus und fundamentale Ideen als Leitlinien der Curriculumentwicklung : am Beispiel der theoretischen und technischen Informatik
Urbane Böden : Genese, Eigenschaften und räumliche Verteilungsmuster ; eine Untersuchung im Stadtgebiet Saarbrücken
Eine ökonomische statische Analysemethode zur Berechnung von relational attributes mittels regulärer Pfadbedingungen und ihre Anwendung auf Zeigeranalyse
Ablaufplanungsprobleme mit beschränkter Verfügbarkeit der Prozessoren und beschränkter Anzahl der Präemptionen
Generating program analyzers
Shadow techniques for interactive and real-time applications
Ein Algorithmus zur Bestimmung der Klassengruppe positiv definierter binärer quadratischer Formen
Cryptographically sound analysis of security protocols
Constraints and changes
Aufbereitung von Shapeanalyseausgaben zur Visualisierung der abstrakten Programmausführung
Network integrated multimedia middleware, services, and applications
Shape analysis for algorithm animation : strengths and weaknesses
Pragmatischer Konstruktivismus und fundamentale Ideen als Leitlinien der Curriculumentwicklung : am Beispiel der theoretischen und technischen Informatik
Urbane Böden : Genese, Eigenschaften und räumliche Verteilungsmuster ; eine Untersuchung im Stadtgebiet Saarbrücken
Eine ökonomische statische Analysemethode zur Berechnung von relational attributes mittels regulärer Pfadbedingungen und ihre Anwendung auf Zeigeranalyse
Ablaufplanungsprobleme mit beschränkter Verfügbarkeit der Prozessoren und beschränkter Anzahl der Präemptionen
Generating program analyzers
Shadow techniques for interactive and real-time applications
Ein Algorithmus zur Bestimmung der Klassengruppe positiv definierter binärer quadratischer Formen
Cryptographically sound analysis of security protocols
Constraints and changes
Aufbereitung von Shapeanalyseausgaben zur Visualisierung der abstrakten Programmausführung
Network integrated multimedia middleware, services, and applications
Shape analysis for algorithm animation : strengths and weaknesses
Pragmatischer Konstruktivismus und fundamentale Ideen als Leitlinien der Curriculumentwicklung : am Beispiel der theoretischen und technischen Informatik
Urbane Böden : Genese, Eigenschaften und räumliche Verteilungsmuster ; eine Untersuchung im Stadtgebiet Saarbrücken
Eine ökonomische statische Analysemethode zur Berechnung von relational attributes mittels regulärer Pfadbedingungen und ihre Anwendung auf Zeigeranalyse