|
9451 |
Eine automatisierte optimierende formale Synthese steuerflussbehafteter Schaltungsbeschreibungen
Kapp, Kai, 2005
|
|
|
9452 |
Eine axiomatische Charakterisierung räumlicher Granularität
Schmidtke, Hedda R., [2005]
|
|
|
|
9453 |
Eine dienstorientierte Methodik zur Koppelung von Netz-QoS-Architekturen
Rölle, Harald. - München : Verl. Dr. Hut, 2005, 1. Aufl.
|
|
|
|
9454 |
Eine Komponentenarchitektur zur Integration heterogener Modellierungswerkzeuge
Syrjakow, Elisabeth, 2005
|
|
|
|
9455 |
Eine Komponentenarchitektur zur Integration heterogener Modellierungswerkzeuge
Syrjakow, Elisabeth, 2005
|
|
|
|
9456 |
Eine logische Applikationssprache zur parallelen Verarbeitung von Neuronalen Netzen - Anwendung in der Qualitätssicherung von Agrarprodukten
Richter, Sascha, 2005
|
|
|
|
9457 |
Eine Verallgemeinerung der Überwachersynthese mit Hilfe des μ-Kalküls [My-Kalküls]
Ziller, Roberto, 2005
|
|
|
|
9458 |
Eine Verallgemeinerung der Überwachersynthese mit Hilfe des μ-Kalküls [My-Kalküls]
Ziller, Roberto, 2005
|
|
|
|
9459 |
Energie- und qualitätsbewußte Einplanung von periodischen Prozessen in eingebetteten Echtzeitsystemen
Ramsauer, Markus, 2005
|
|
|
|
9460 |
Enhancing the fusion method to fusionB
Bittner, Margot, 2005
|
|
Administration
