• 

  Overview

  http://isabelle.in.tum.de/overview.html

  Keine Beschreibung vorhanden.

• 

  Extension:InputBox – MediaWiki

  https://www.mediawiki.org/wiki/Extension:InputBox?uselang=de

  Keine Beschreibung vorhanden.

• 

  PHP: Anonyme Funktionen - Manual

  http://php.net/manual/de/functions.anonymous.php

  Keine Beschreibung vorhanden.

• 

  Publications and Working Paper - Lehrstuhl für Logistik und Quantitative Methoden in der Betriebswirtschaftslehre

  http://www.wiwi.uni-wuerzburg.de/lehrstuhl/bwl11/research/publications_and_working_paper/

  Keine Beschreibung vorhanden.

• 

  Chair of Software Engineering: Dependability:

  http://agde.informatik.uni-kl.de/publications/?author=Liggesmeyer

  Keine Beschreibung vorhanden.

---

---