Entscheidungsalgorithmen für Äquivalenzen in Echtzeit-Prozesskalkülen mit dichtem Zeitbereich

Name of awarding university/degree: Rheinisch-Westfälische Technische Hochschule Aachen. Mathematisch-Naturwissenschaftliche Fakultät

Search by Bookstore

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Material Type: 博士論文
Title: Entscheidungsalgorithmen für Äquivalenzen in Echtzeit-Prozesskalkülen mit dichtem Zeitbereich
Author/Editor: Carsten Weise.
Author Heading: Weise, Carsten.
Publication, Distribution, etc.: Aachen : Rheinisch-Westfälische Technische Hochschule Aachen
Publication Date: 1995.
Extent: v, 279 p.
Degree grantor/type: Rheinisch-Westfälische Technische Hochschule Aachen. Mathematisch-Naturwissenschaftliche Fakultät
Date Granted: 1995.
Date Granted (W3CDTF): 1995
Note (Dissertation): 博士論文
Thesis (doctoral) --Rheinisch-Westfälische Technische Hochschule Aachen, 1995.
Place of Publication (Country Code): DE
Text Language Code: ger
Note (Bibliography): Includes bibliographies.
Holding library: 国立国会図書館
Call No.: M-DIGA-8492
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000003434740
http://id.ndl.go.jp/bib/000003434740
Bibliographic Record Category (NDL): 216