„Programmanalyse“

Suchergebnisse

478 Treffer

• Verification, model checking, and abstract interpretation – 6th international conference ; proceedings
  Cousot, Radhia 2005 Springer
• Programming languages and systems – proceedings
  Shao, Zhong 2014 Springer
• Alexsa - Algorithm Explanation by Shape Analysis - Extensions to the TVLA System
  Bieber, Ronald 2001 Saarländische Universitäts- und Landesbibliothek
• Verified software – theories, tools, experiments : 5th international conference ; revised selected papers
  Cohen, Ernie ; Rybalchenko, Andrey 2014 Springer
• Rowohlts Rotations Romane 1946 - 1949 – eine Programmanalyse
  Ziegler, Edda
• Verification, model checking, and abstract interpretation – 15th international conference ; proceedings
  McMillan, Kenneth L. ; Rival, Xavier 2014 Springer
• Programming languages and systems – first Asian symposium
  Ohori, Atsushi 2003 Springer
• Programming languages and systems – proceedings
  Degano, Pierpaolo 2003 Springer
• Die Bildungslandschaft des Agrarsektors – "Vom Unternehmerseminar zum Holzrücken mit dem Pferd" - Eine Programmanalyse
  Pichler, Barbara 2013 AV Akademikerverlag
• The essence of computation – complexity, analysis, transformation ; essays dedicated to Neil D. Jones
  Mogensen, Torben Æ. ; Jones, Neil D. 2002 Springer
• Programmanalyse: Prinzipien und Anwendungen
  2002 Fernuniv.
• Programmanalyse: Prinzipien und Anwendungen
  2002 Fernuniv.
• Programmanalyse: Prinzipien und Anwendungen
  2002 Fernuniv.
• Programmanalyse: Prinzipien und Anwendungen
  2002 Fernuniv.
• Programmanalyse: Prinzipien und Anwendungen
  2002 Fernuniv.
• Reasoning about program transformations – imperative programming and flow of data
  Collard, Jean-François 2003 Springer
• Verification, model checking, and abstract interpretation – third international workshop ; revised papers
  Cortesi, Agostino 2002 Springer
• Programming languages and systems – proceedings
  Le Métayer, Daniel 2002 Springer
• Parteiprogramme im Wandel – ein Vergleich von FDP und Grünen zwischen 1971 und 2013
  Anan, Deniz 2017 Springer VS
• Differenzielle Rezeption, transaktionale Medienwirkungen und die Bewertung öffentlicher Kommunikationsmedien – Methodologische Betrachtungen zur TV-Programmforschung
  Woelke, Jens 2017 Herbert von Halem Verlag