Suche   SiteMap
Home
A bis Z
BIB-KAT
Andere Bibliothekskataloge
Digitale Medien
Dokumentlieferung
Fachspezifische Informationen
Suchhilfen und Datenbanken
 
Ihr Suchergebnis

Ergebnis 21 - 30 von 31  Zurück   1   2   3   4  Vorwärts   Gehe zu Seite
von 4
21. Stangier, Christian (2002) High-level Methods for OBDD-based Sequential Verification Dissertation
 
22. Sack, Harald (2002) Improving the Power of Ordered Binary Decision Diagrams by Integrating Parity Nodes Dissertation
 
23. Rothkugel, Steffen (2002) Towards Middleware Support for Mobile and Cellular Networks Dissertation
 
24. Heuer, Andreas (2002) Web-Präsenz-Management im Unternehmen Dissertation
 
25. Barth, Christof (2001) Medien im Transformationsprozeß Dissertation
 
26. Haffner, Ernst-Georg (2001) Request-Prediction and Hyperlink-Proposals Dissertation
 
27. Khludov, Sergey (2000) Entwicklung von Algorithmen und Programmen für ein Archivierungs- und Kommunikationssystem zur internetbasierten Verwaltung medizinischer Bilder Dissertation
 
28. Gieseking, Kathrin (2000) Frequenzbasiertes Parsing als Modell menschlicher Syntaxanalyse Dissertation
 
29. Neumann, Andreas (2000) Parsing and Quering XML Documents in SML Dissertation
 
30. Breuer, Lothar (2000) Spatial Queues Dissertation
 
Ergebnis 21 - 30 von 31  Zurück   1   2   3   4  Vorwärts   Gehe zu Seite
von 4

Home | Suchen | Veröffentlichen | Hilfe | Viewer