|
3611 |
Ein nichtdeterministischer call-by-need Lambda-Kalkül mit erratic choice Kutzner, Arne, [2005]
|
|
|
3612 |
Eine axiomatische Charakterisierung räumlicher Granularität Schmidtke, Hedda R., [2005]
|
|
|
3613 |
Eine dienstorientierte Methodik zur Koppelung von Netz-QoS-Architekturen Rölle, Harald. - München : Verl. Dr. Hut, 2005, 1. Aufl.
|
|
|
3614 |
Eine Komponentenarchitektur zur Integration heterogener Modellierungswerkzeuge Syrjakow, Elisabeth, 2005
|
|
|
3615 |
Eine logische Applikationssprache zur parallelen Verarbeitung von Neuronalen Netzen - Anwendung in der Qualitätssicherung von Agrarprodukten Richter, Sascha, 2005
|
|
|
3616 |
Eine Verallgemeinerung der Überwachersynthese mit Hilfe des μ-Kalküls [My-Kalküls] Ziller, Roberto, 2005
|
|
|
3617 |
Energie- und qualitätsbewußte Einplanung von periodischen Prozessen in eingebetteten Echtzeitsystemen Ramsauer, Markus, 2005
|
|
|
3618 |
Enhancing the fusion method to fusionB Bittner, Margot, 2005
|
|
|
3619 |
Entropiebasierte Bewertung von Ontologien Daemi-Ahwazi, Anusch, 2005
|
|
|
3620 |
Entwicklung von neuen Algorithmen der Computerarithmetik in Hinsicht auf ihre Nutzung in der Kryptographie Bunimov, Viktor, 2005
|
|