- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783110500639
3110500639
- Maße
-
25 cm
- Umfang
-
xiii, 516 Seiten
- Sprache
-
Englisch
- Anmerkungen
-
16 Illustrationen
- Erschienen in
-
De Gruyter studies in mathematics ; Volume 65
- Schlagwort
-
Intervallalgebra
Richtigkeit von Ergebnissen
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin, Boston
- (wer)
-
De Gruyter
- (wann)
-
[2017]
- Urheber
- Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.03.2025, 11:50 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Mayer, Günter
- Walter de Gruyter GmbH & Co. KG
- De Gruyter
Entstanden
- [2017]
Ähnliche Objekte (12)
Automatic signature verification using segmentation
Automatic complexity : a computable measure of irregularity
Acceleration of digital transformation as a result of launching programs financed from public funds: Assessment of the implementation of the operational program digital Poland
Automatic Verification of Application-Tailored OSEK Kernels
Automatic generation of specifications using verification tools
Population Protocols: Expressiveness, Succinctness and Automatic Verification.
Automatic verification of sequential infinite state processes
Automatic Data Dependence Analysis by Deductive Verification
Iterative solution of linear systems with improved arithmetic and result verification
Iterative solution of linear systems with improved arithmetic and result verification
Automatic Synthesis and Verification of Industrial Commissioning Processes
Uses of Methods with Result Verification in the Context of MIMO Systems
Automatic signature verification using segmentation
Automatic complexity : a computable measure of irregularity
Acceleration of digital transformation as a result of launching programs financed from public funds: Assessment of the implementation of the operational program digital Poland
Automatic Verification of Application-Tailored OSEK Kernels
Automatic generation of specifications using verification tools
Population Protocols: Expressiveness, Succinctness and Automatic Verification.
Automatic verification of sequential infinite state processes
Automatic Data Dependence Analysis by Deductive Verification
Iterative solution of linear systems with improved arithmetic and result verification
Iterative solution of linear systems with improved arithmetic and result verification
Automatic Synthesis and Verification of Industrial Commissioning Processes
Uses of Methods with Result Verification in the Context of MIMO Systems
Automatic signature verification using segmentation
Automatic complexity : a computable measure of irregularity
Acceleration of digital transformation as a result of launching programs financed from public funds: Assessment of the implementation of the operational program digital Poland
Automatic Verification of Application-Tailored OSEK Kernels
Automatic generation of specifications using verification tools
Population Protocols: Expressiveness, Succinctness and Automatic Verification.
Automatic verification of sequential infinite state processes
Automatic Data Dependence Analysis by Deductive Verification
Iterative solution of linear systems with improved arithmetic and result verification
Iterative solution of linear systems with improved arithmetic and result verification
Automatic Synthesis and Verification of Industrial Commissioning Processes