Global ETD Search

101	Modellgetriebene Konfiguration von Transaktionsdiensten in der komponentenbasierten Softwareentwicklung Löcher, Sten January 2005 (has links) Zugl.: Dresden, Techn. Univ., Diss, 2005
102	XNet, ein echtzeitfähiges Ausführungsmodell für Petri-Netz-basierte Komponentenbeschreibungen in der Steuerungstechnik Hagge, Nils Heinrich January 1978 (has links) Zugl.: Hannover, Univ., (1978-), Diss., 2006
103	Architekturen und Werkzeuge zur strukturierten Dokumentenverarbeitung Lucke, Ulrike January 2006 (has links) Zugl.: Rostock, Univ., Diss., 2006
104	Java lernen in virtuellen Teams : Kompensation defizitärer Rollen durch Simulation / Kölle, Ralph. January 2007 (has links) Zugl.: Hildesheim, Universiẗat, Diss., 2007.
105	An integrated operational semantics for a UML core based on graph transformation / Ziemann, Paul. January 2006 (has links) University, Diss.--Bremen, 2005.
106	Formale Verifikation der Korrektheit sicherheitskritischer Java-Anwendungen / Grandy, Holger. January 2008 (has links) Zugl.: Augsburg, Universiẗat, Diss., 2008.
107	Prozeßvisualisierung im World Wide Web am Beispiel von Transportsystemen / Ritter, Klaus-Christoph. January 1999 (has links) Universiẗat, Fak. für Informatik, Diss.--Magdeburg, 1999.
108	Effiziente Ad-Hoc-Abfragen in Objektdatenbanken am Beispiel der ZODB Wehrmann, Sebastian. Theune, Christian. January 2008 (has links) Chemnitz, Techn. Univ., Diplomarb., 2008.
109	Deklarative Modellierung von verteilten Systemen mit Graphersetungssprachen / Ranger, Ulrike Ingrid. January 2008 (has links) Zugl.: Aachen, Techn. Hochsch., Diss., 2008.
110	Bewertung des Simulationsmodells des HiSAP-Werkzeugs zur interaktiven Simulation von Protokollen Kaiser, Michael. January 1998 (has links) Stuttgart, Univ., Fakultät Informatik, Diplomarb., 1998.

Search results