|
9511 |
Ein nichtdeterministischer call-by-need Lambda-Kalkül mit erratic choice
Kutzner, Arne, [2005]
|
|
|
9512 |
Ein objektorientierter Ansatz zur verteilten Simulation von digitalen Kommunikationssystemen
Hatnik, Uwe, 2005
|
|
|
|
9513 |
Eine automatisierte optimierende formale Synthese steuerflussbehafteter Schaltungsbeschreibungen
Kapp, Kai, 2005
|
|
|
|
9514 |
Eine axiomatische Charakterisierung räumlicher Granularität
Schmidtke, Hedda R., [2005]
|
|
|
|
9515 |
Eine dienstorientierte Methodik zur Koppelung von Netz-QoS-Architekturen
Rölle, Harald. - München : Verl. Dr. Hut, 2005, 1. Aufl.
|
|
|
|
9516 |
Eine Komponentenarchitektur zur Integration heterogener Modellierungswerkzeuge
Syrjakow, Elisabeth, 2005
|
|
|
|
9517 |
Eine Komponentenarchitektur zur Integration heterogener Modellierungswerkzeuge
Syrjakow, Elisabeth, 2005
|
|
|
|
9518 |
Eine logische Applikationssprache zur parallelen Verarbeitung von Neuronalen Netzen - Anwendung in der Qualitätssicherung von Agrarprodukten
Richter, Sascha, 2005
|
|
|
|
9519 |
Eine Verallgemeinerung der Überwachersynthese mit Hilfe des μ-Kalküls [My-Kalküls]
Ziller, Roberto, 2005
|
|
|
|
9520 |
Eine Verallgemeinerung der Überwachersynthese mit Hilfe des μ-Kalküls [My-Kalküls]
Ziller, Roberto, 2005
|
|
Administration
