|
20001 |
Ein nichtdeterministischer call-by-need Lambda-Kalkül mit erratic choice
Kutzner, Arne, [2005]
|
|
|
|
20002 |
Ein Standard-File für 3D-Gebietsbeschreibungen. - Datenbasis und Programmschnittstelle data_read
Lohse, Dag. - Chemnitz : Universitätsbibliothek Chemnitz, 2005
|
|
|
|
20003 |
Eine axiomatische Charakterisierung räumlicher Granularität
Schmidtke, Hedda R., [2005]
|
|
|
|
20004 |
Eine dienstorientierte Methodik zur Koppelung von Netz-QoS-Architekturen
Rölle, Harald. - München : Verl. Dr. Hut, 2005, 1. Aufl.
|
|
|
|
20005 |
Eine Komponentenarchitektur zur Integration heterogener Modellierungswerkzeuge
Syrjakow, Elisabeth, 2005
|
|
|
|
20006 |
Eine logische Applikationssprache zur parallelen Verarbeitung von Neuronalen Netzen - Anwendung in der Qualitätssicherung von Agrarprodukten
Richter, Sascha, 2005
|
|
|
|
20007 |
Eine Verallgemeinerung der Überwachersynthese mit Hilfe des μ-Kalküls [My-Kalküls]
Ziller, Roberto, 2005
|
|
|
|
20008 |
Embedded and ubiquitous computing
Berlin : Springer, 2005
|
|
|
|
20009 |
Energie- und qualitätsbewußte Einplanung von periodischen Prozessen in eingebetteten Echtzeitsystemen
Ramsauer, Markus, 2005
|
|
|
|
20010 |
Engineering Self-Organising Systems
Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
|
|
Administration
