„Programmanalyse“

Suchergebnisse

478 Treffer

• Kommunikations- und Laufzeitanalyse für den Entwurf eingebetteter Systeme
  Siebenborn, Axel 2007 Logos-Verl.
• Cooperative bug isolation – winning thesis of the 2005 ACM doctoral dissertation competition
  Liblit, Ben 2007 Springer
• Program analysis and compilation, theory and practice – essays dedicated to Reinhard Wilhelm on the occasion of his 60th Birthday
  Reps, Thomas W. ; Wilhelm, Reinhard 2007 Springer
• Horrorfilme im Fernsehen – eine Programmanalyse
  Hahn, Elena R. 2007 VDM, Müller
• Leveraging applications of formal methods – first international symposium ; revised selected papers
  Margaria, Tiziana 2006 Springer
• Programming languages and systems – 4th Asian symposium ; proceedings
  Kobayashi, Naoki 2006 Springer
• Formal methods and software engineering – proceedings
  Liu, Zhiming 2006 Springer
• Variations on constants – flow analysis of sequential and parallel programs
  Müller-Olm, Markus 2006 Springer
• Formal methods – proceedings
  Misra, Jayadev 2006 Springer
• Sponsoring im Schweizer Fernsehen – Ergebnisse einer viersprachigen Programmanalyse
  Trebbe, Joachim 2006 Haupt
• Lokalisierung von Merkmalen in Softwaresystemen
  Simon, Daniel 2006 Logos-Verl.
• Hardware and software verification and testing – revised selected papers
  Ur, Shmuel 2006 Springer
• Verification, model checking, and abstract interpretation – 7th international conference ; proceedings
  Emerson, E. Allen 2006 Springer
• Programming languages and systems – third Asian symposium ; proceedings
  Yi, Kwangkeun 2005 Springer
• Formal methods and software engineering – proceedings
  Lau, Kung-Kiu 2005 Springer
• Scripted Reality-Formate im deutschsprachigen Fernsehprogramm. Trinationale Programmanalyse und Konzeption einer kombinierten Produkt- und Produktionsanalyse
  Klug, Daniel ; Schmidt, Axel 2016 Institut für Deutsche Sprache, Bibliothek
• Familienbildung als Aufgabe der Erwachsenenbildung – Programmanalyse familienbildungsbezogener Bildungsangebote an einer Berliner Volkshochschule
  Rämer, Sabrina 2014 Abteilung Erwachsenenbildung/Weiterbildung, Kultur-, Sozial- und Bildungswissenschaftliche Fakultät der Humboldt-Universität zu Berlin
• Frauenbildung im Wandel - eine exemplarische Programmanalyse der Einrichtung "Flotte Lotte"
  Hinneburg, Victoria 2014 Abteilung Erwachsenenbildung/Weiterbildung, Kultur-, Sozial- und Bildungswissenschaftliche Fakultät der Humboldt-Universität