|
5841 |
Efficient state space exploration of reactive object-oriented programs Lettrari, Marc, 2005
|
|
|
5842 |
Efficient XML processing with tree automata Berlea, Alexandru, 2005
|
|
|
5843 |
Effizienter interaktiver Entwurf von Klassifikationssystemen Müller, Tim-Oliver, 2005
|
|
|
5844 |
Ein Beitrag zur Problematik der Integration virtueller Maschinen Kugel, Rudolf, 2005
|
|
|
5845 |
Ein intuitives Verfahren zur adaptiven merkmalsgestützten Segmentierung Beller, Michael, 2005
|
|
|
5846 |
Ein Modell zur Beschreibung und Implementierung von Bildanalysefunktionen Herrmann, Stephan, 2005
|
|
|
5847 |
Ein objektorientierter Ansatz zur verteilten Simulation von digitalen Kommunikationssystemen Hatnik, Uwe, 2005
|
|
|
5848 |
Eine automatisierte optimierende formale Synthese steuerflussbehafteter Schaltungsbeschreibungen Kapp, Kai, 2005
|
|
|
5849 |
Eine Komponentenarchitektur zur Integration heterogener Modellierungswerkzeuge Syrjakow, Elisabeth, 2005
|
|
|
5850 |
Eine Verallgemeinerung der Überwachersynthese mit Hilfe des μ-Kalküls [My-Kalküls] Ziller, Roberto, 2005
|
|