101 |
Modellgetriebene Konfiguration von Transaktionsdiensten in der komponentenbasierten SoftwareentwicklungLöcher, Sten January 2005 (has links)
Zugl.: Dresden, Techn. Univ., Diss, 2005
|
102 |
XNet, ein echtzeitfähiges Ausführungsmodell für Petri-Netz-basierte Komponentenbeschreibungen in der SteuerungstechnikHagge, Nils Heinrich January 1978 (has links)
Zugl.: Hannover, Univ., (1978-), Diss., 2006
|
103 |
Architekturen und Werkzeuge zur strukturierten DokumentenverarbeitungLucke, Ulrike January 2006 (has links)
Zugl.: Rostock, Univ., Diss., 2006
|
104 |
Java lernen in virtuellen Teams : Kompensation defizitärer Rollen durch Simulation /Kölle, Ralph. January 2007 (has links)
Zugl.: Hildesheim, Universiẗ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, Universiẗat, Diss., 2008.
|
107 |
Prozeßvisualisierung im World Wide Web am Beispiel von Transportsystemen /Ritter, Klaus-Christoph. January 1999 (has links)
Universiẗat, Fak. für Informatik, Diss.--Magdeburg, 1999.
|
108 |
Effiziente Ad-Hoc-Abfragen in Objektdatenbanken am Beispiel der ZODBWehrmann, 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 ProtokollenKaiser, Michael. January 1998 (has links)
Stuttgart, Univ., Fakultät Informatik, Diplomarb., 1998.
|
Page generated in 0.0911 seconds