|
4131 |
Ein nichtdeterministischer call-by-need Lambda-Kalkül mit erratic choice Kutzner, Arne, [2005]
|
|
|
4132 |
Ein Standard-File für 3D-Gebietsbeschreibungen. - Datenbasis und Programmschnittstelle data_read Lohse, Dag. - Chemnitz : Universitätsbibliothek Chemnitz, 2005
|
|
|
4133 |
Eine axiomatische Charakterisierung räumlicher Granularität Schmidtke, Hedda R., [2005]
|
|
|
4134 |
Eine dienstorientierte Methodik zur Koppelung von Netz-QoS-Architekturen Rölle, Harald. - München : Verl. Dr. Hut, 2005, 1. Aufl.
|
|
|
4135 |
Eine Komponentenarchitektur zur Integration heterogener Modellierungswerkzeuge Syrjakow, Elisabeth, 2005
|
|
|
4136 |
Eine logische Applikationssprache zur parallelen Verarbeitung von Neuronalen Netzen - Anwendung in der Qualitätssicherung von Agrarprodukten Richter, Sascha, 2005
|
|
|
4137 |
Eine Verallgemeinerung der Überwachersynthese mit Hilfe des μ-Kalküls [My-Kalküls] Ziller, Roberto, 2005
|
|
|
4138 |
Energie- und qualitätsbewußte Einplanung von periodischen Prozessen in eingebetteten Echtzeitsystemen Ramsauer, Markus, 2005
|
|
|
4139 |
Enhancing the fusion method to fusionB Bittner, Margot, 2005
|
|
|
4140 |
Entropiebasierte Bewertung von Ontologien Daemi-Ahwazi, Anusch, 2005
|
|