NDLTD Global ETD Search
  • Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 10
  • 6
  • 1
  • 1
  • Tagged with
  • 18
  • 18
  • 5
  • 5
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.

Search results

Showing 1 to 10 of 18 (0.053 seconds)

Spelling suggestions: "subject:"eustatische 3analyse"" "subject:"eustatische aanalyse""

1

Eine ökonomische statische Analysemethode zur Berechnung von relational attributes mittels regulärer Pfadbedingungen und ihre Anwendung auf Zeigeranalyse

Mian Syed, Ahmed. January 1900 (has links) (PDF)
Passau, Universiẗat, Diss., 2003. / Erscheinungsjahr an der Haupttitelstelle: 2003.
Statische Analyse
2

Static detection of software errors precise and scalable algorithms for automatic detection of software errors

Xie, Yichen January 2006 (has links)
Zugl.: Stanford, Univ., Diss., 2006
3

Statische Analyse von Javaprogrammen /

Stamm, Frank. Unknown Date (has links)
Clausthal, Techn. University, Diss., 2005.
4

Verbesserung statischer Analysen in praxisrelevanten Fällen

Teuber, Arthur. January 2008 (has links)
Stuttgart, Univ., Diplomarbeit, 2008.
Statische Analyse. Datenfluss.
5

Schwierigkeiten für statische Programmanalysen in der Praxis

Stach, Christoph. January 2007 (has links)
Stuttgart, Univ., Studienarbeit, 2007.
Programmanalyse. Statische Analyse.
6

Computationally secure information flow

Laud, Peeter. Unknown Date (has links) (PDF)
University, Diss., 2002--Saarbrücken.
7

Strategieverbesserungsalgorithmen für exakte Programmanalysen

Gawlitza, Thomas Martin January 2009 (has links)
Zugl.: München, Techn. Univ., Diss., 2009
8

Open integrated development and analysis environments

Eichberg, Michael. Unknown Date (has links)
Techn. University, Diss., 2007--Darmstadt.
9

Control flow graphs for real-time systems analysis reconstruction from binary executables and usage in ILP-based path analysis /

Theiling, Henrik. Unknown Date (has links) (PDF)
University, Diss., 2003--Saarbrücken. / Erscheinungsjahr an der Haupttitelstelle: 2002.
10

Bayesian portfolio optimization from a static and dynamic perspective /

Bade, Alexander. January 2009 (has links)
Zugl.: Köln, University, Diss., 2009.

Page generated in 0.0554 seconds