Ergebnisse
|
101.
|
A demand-driven solver for constraint-based control flow analysis von Christian W. Probst von
Materialtyp: Text; Format:
Druck Sprache: Englisch Verlag: Saarbrücken COD-Verl. 2002
Hochschulschriftenvermerk: Zugl.: Saarbrücken, Univ., Diss., 2002
Weitere Titel: - demand-driven constraint-based
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) 2002 Probst, Christian W.. Nicht verfügbar: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik): restricted use (1).
|
|
102.
|
Combined schedulability and WCET analysis for real-time operating systems Jörn Schneider von Reihen: Berichte aus der Informatik
Materialtyp: Text; Format:
Druck Sprache: Englisch, Deutsch Verlag: Aachen Shaker 2003
Hochschulschriftenvermerk: Zugl.: Saarbrücken, Univ., Diss., 2003
Weitere Titel: - Combined schedulability and WCET analysis for RTOSs
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) 2002 Schneider, Jörn Jakob. Nicht verfügbar: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik): restricted use (1).
|
|
103.
|
|
|
104.
|
|
|
105.
|
Principles of program analysis with 51 tables Flemming Nielson; Hanne Riis Nielson; Chris Hankin von
Auflage: [Softcover version of original hardcover edition 1999]
Materialtyp: Text; Format:
Druck Sprache: Englisch Verlag: Berlin [u.a.] Springer 2010
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) NIE f 2010:1 3.Ex. Verfügbarer Präsenzbestand: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik): Nicht ausleihbar (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) NIE f 2010:1 2.Ex. Nicht verfügbar: Gebäude E1 7 (UdS MMCI): restricted use (1).
|
|
106.
|
|
|
107.
|
|
|
108.
|
|