- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783897228313
3897228319
- Dimensions
-
21 cm
- Extent
-
VIII, 203 S.
- Edition
-
Rev. version, December 2001
- Language
-
Englisch
- Notes
-
graph. Darst.
Zugl.: Bremen, Univ., Diss., 2001
- Bibliographic citation
-
BISS monographs / Bremer Institut für Sichere Systeme ; 2
- Keyword
-
Abstrakter Datentyp
Graph
Programmierlogik
HOL
Formale Spezifikationstechnik
Formale Sprache
- Event
-
Veröffentlichung
- (where)
-
Berlin
- (who)
-
Logos-Verl.
- (when)
-
2002
- Creator
-
Mossakowski, Till
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.20252025, 1:49 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
- Mossakowski, Till
- Logos-Verl.
Time of origin
- 2002
Other Objects (12)
Shape-centered representations : from features to applications
Relaxations and solutions for the minimum graph bisection problem
Distributed memetic algorithms for graph theoretical combinatorial optimization problems
Static and dynamic graph partitioning : a comparative study of existing algorithms
An integrated operational semantics for a UML core based on graph transformation
Theorie und Praxis in den Arbeitsfeldern der sozialen Arbeit, 1
Proceedings of software engineering and quality assurance, 1
Záhyby reči : nová rakúska lyrika = Sprachfalten
Entwicklungsmethoden und Entwicklungsprozesse im Maschinenbau, Tagungsbd. 1
Stress and anxiety, [...]. Applications to health and well-being, work stressors, and assessment
Schriften zum Software-Qualitätsmanagement, [...]. Erfahrungs- und Forschungsberichte
Erfahrungsbericht der Landesanstalt für das Rundfunkwesen Saarland (LAR) an die Regierung des Saarlandes über die Durchführung des Offenen Kanals
Shape-centered representations : from features to applications
Relaxations and solutions for the minimum graph bisection problem
Distributed memetic algorithms for graph theoretical combinatorial optimization problems
Static and dynamic graph partitioning : a comparative study of existing algorithms
An integrated operational semantics for a UML core based on graph transformation
Theorie und Praxis in den Arbeitsfeldern der sozialen Arbeit, 1
Proceedings of software engineering and quality assurance, 1
Záhyby reči : nová rakúska lyrika = Sprachfalten
Entwicklungsmethoden und Entwicklungsprozesse im Maschinenbau, Tagungsbd. 1
Stress and anxiety, [...]. Applications to health and well-being, work stressors, and assessment
Schriften zum Software-Qualitätsmanagement, [...]. Erfahrungs- und Forschungsberichte
Erfahrungsbericht der Landesanstalt für das Rundfunkwesen Saarland (LAR) an die Regierung des Saarlandes über die Durchführung des Offenen Kanals
Shape-centered representations : from features to applications
Relaxations and solutions for the minimum graph bisection problem
Distributed memetic algorithms for graph theoretical combinatorial optimization problems
Static and dynamic graph partitioning : a comparative study of existing algorithms
An integrated operational semantics for a UML core based on graph transformation
Theorie und Praxis in den Arbeitsfeldern der sozialen Arbeit, 1
Proceedings of software engineering and quality assurance, 1
Záhyby reči : nová rakúska lyrika = Sprachfalten
Entwicklungsmethoden und Entwicklungsprozesse im Maschinenbau, Tagungsbd. 1
Stress and anxiety, [...]. Applications to health and well-being, work stressors, and assessment
Schriften zum Software-Qualitätsmanagement, [...]. Erfahrungs- und Forschungsberichte