Global ETD Search

81	Erweiterung und Generierung der Zwischendarstellung IML für Java-Programme Knauß, Markus. January 2002 (has links) Stuttgart, Univ., Diplomarb., 2002.
82	Entwicklung einer graphischen Benutzeroberfläche zur Auswertung von Röntgendiffraktogrammen ungeordneter Systeme Eberhardinger, Ulrich. January 2002 (has links) Stuttgart, Univ., Diss., 2002.
83	Vergleich von Lösungsvarianten zur Automatisierung von Geschäftsvorgängen im URZ Hüttmann, Jörg. January 1999 (has links) Chemnitz, Techn. Univ., Diplomarb., 1999.
84	Der Ausstrichtutor: Konzeption eines internetbasierten Hämatologie-Lernprogramms und Entwicklung eines Prototypen Fischer, Jeannette. January 2007 (has links) Ulm, Univ. Diss., 2006.
85	Werkzeuggestützte Entwicklung kooperativer Agenten im Dienstkontext Fricke, Stefan. Unknown Date (has links) Techn. Universiẗat, Diss., 2000--Berlin.
86	MontiCore: agile Entwicklung von domänenspezifischen Sprachen im Software-Engineering Krahn, Holger January 2009 (has links) Zugl.: Aachen, Techn. Hochsch., Diss., 2009
87	Ein nichtdeterministischer call-by-need Lambda-Kalkül mit erratic choice operationale Semantik, Programmtransformationen und Anwendungen / Kutzner, Arne. January 1900 (has links) (PDF) Frankfurt (Main), Univ., Diss., 2000. / Erscheinungsjahr an der Haupttitelstelle: 1999
88	Towards more realistic logic based robot controllers in the GOLOG framework Grosskreutz, Henrik. Unknown Date (has links) (PDF) Techn. Hochsch., Diss., 2002--Aachen.
89	Visual modelling and validation of distributed systems Taentzer, Gabriele. Unknown Date (has links) (PDF) Techn. University, Habil.-Schr., 2003--Berlin.
90	Verification of Erlang programs using abstract interpretation and model checking Huch, Frank Günter. Unknown Date (has links) (PDF) Techn. Hochsch., Diss., 2001--Aachen.

Search results