- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783764336257
3764336250
9780817636258
0817636250
- Dimensions
-
24 cm
- Extent
-
VI, 113 S.
- Language
-
Englisch
- Notes
-
Literaturverz. S. 105 - 109
- Bibliographic citation
-
Progress in theoretical computer science ; 6
- Keyword
-
Unendlichdimensionales System
Nebenläufigkeit
Verifikation
Temporale Logik
- Event
-
Veröffentlichung
- (where)
-
Boston, Basel, Berlin
- (who)
-
Birkhäuser
- (when)
-
1992
- Creator
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 11:55 AM CET
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.
Associated
- Bradfield, Julian
- Birkhäuser
Time of origin
- 1992
Other Objects (12)
Expressing and verifying temporal and structural properties of mobile agents
Water and ions in biomolecular systems, 5
Water and ions in biomolecular systems, 5
Effects of nicotine on biological systems II, [...]. Abstracts
Effects of nicotine on biological systems II, [...]. [Proceedings]
Mathematical modeling of biological systems, Vol. 2.. Epidemiology, evolution and ecology, immunology, neural systems and the brain, and innovative mathematical methods
Representation and control of infinite dimensional systems, Vol. 1
Representation and control of infinite dimensional systems, Vol. 2
Mechanik, Bd. 3.. Dynamik der Systeme / Von Hans Ziegler
Mechanik, Bd. 2.. Dynamik der starren Körper und Systeme
Pharmacological and clinical aspects of the kallikrein kinin system, Pt. 2
Pharmacological and clinical aspects of the kallikrein kinin system, Pt. 1
Expressing and verifying temporal and structural properties of mobile agents
Water and ions in biomolecular systems, 5
Water and ions in biomolecular systems, 5
Effects of nicotine on biological systems II, [...]. Abstracts
Effects of nicotine on biological systems II, [...]. [Proceedings]
Mathematical modeling of biological systems, Vol. 2.. Epidemiology, evolution and ecology, immunology, neural systems and the brain, and innovative mathematical methods
Representation and control of infinite dimensional systems, Vol. 1
Representation and control of infinite dimensional systems, Vol. 2
Mechanik, Bd. 3.. Dynamik der Systeme / Von Hans Ziegler
Mechanik, Bd. 2.. Dynamik der starren Körper und Systeme
Pharmacological and clinical aspects of the kallikrein kinin system, Pt. 2
Pharmacological and clinical aspects of the kallikrein kinin system, Pt. 1
Expressing and verifying temporal and structural properties of mobile agents
Water and ions in biomolecular systems, 5
Water and ions in biomolecular systems, 5
Effects of nicotine on biological systems II, [...]. Abstracts
Effects of nicotine on biological systems II, [...]. [Proceedings]
Mathematical modeling of biological systems, Vol. 2.. Epidemiology, evolution and ecology, immunology, neural systems and the brain, and innovative mathematical methods
Representation and control of infinite dimensional systems, Vol. 1
Representation and control of infinite dimensional systems, Vol. 2
Mechanik, Bd. 3.. Dynamik der Systeme / Von Hans Ziegler
Mechanik, Bd. 2.. Dynamik der starren Körper und Systeme
Pharmacological and clinical aspects of the kallikrein kinin system, Pt. 2