Monografie
Vergleich der Fehlerüberdeckung von Prüfsummen- und Signaturverfahren
- Sprache
-
Deutsch
- Identifier
-
1156460778
- Reihe
-
Informatik-Berichte; 75.1988
Thema
Informatik
Beteiligte Personen und Organisationen
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:57 MEZ
Objekttyp
- Monografie
Beteiligte
Ähnliche Objekte (12)
On the reliability of systems with switching lifetime distributions
Einfluß von Komponentenselbsttests auf die Systemleistung
Monotone Systeme mit redundanz-abhängigen Komponentenverfügbarkeiten
Ein halbautomatisches Testsystem für Einplatinencomputer
9. Workshop Logische Programmierung
Metainterpretation zur Berechnung intensionaler Antworten in deduktiven Datenbanken
Language Description and Implementation Concepts of LITFAS (Language for Implications from Textual Files and Atomic Sentences)
Subset Space Logics of Knowledge and Time
Modal Logic on Wheels
Nonaxiomatizability and undecidability of an infinite-valued temporal logic
Is the Mandelbrot set computable?
Random Access to Abstract Data Types
On the reliability of systems with switching lifetime distributions
Einfluß von Komponentenselbsttests auf die Systemleistung
Monotone Systeme mit redundanz-abhängigen Komponentenverfügbarkeiten
Ein halbautomatisches Testsystem für Einplatinencomputer
9. Workshop Logische Programmierung
Metainterpretation zur Berechnung intensionaler Antworten in deduktiven Datenbanken
Language Description and Implementation Concepts of LITFAS (Language for Implications from Textual Files and Atomic Sentences)
Subset Space Logics of Knowledge and Time
Modal Logic on Wheels
Nonaxiomatizability and undecidability of an infinite-valued temporal logic
Is the Mandelbrot set computable?
Random Access to Abstract Data Types
On the reliability of systems with switching lifetime distributions
Einfluß von Komponentenselbsttests auf die Systemleistung
Monotone Systeme mit redundanz-abhängigen Komponentenverfügbarkeiten
Ein halbautomatisches Testsystem für Einplatinencomputer
9. Workshop Logische Programmierung
Metainterpretation zur Berechnung intensionaler Antworten in deduktiven Datenbanken
Language Description and Implementation Concepts of LITFAS (Language for Implications from Textual Files and Atomic Sentences)
Subset Space Logics of Knowledge and Time
Modal Logic on Wheels
Nonaxiomatizability and undecidability of an infinite-valued temporal logic
Is the Mandelbrot set computable?