Verfasser Suchresultate :: Subito Katalog

1

De testamento imperfecto

von Fetzer, Christoph Magnus
Veröffentlicht 1688

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

De testamento imperfecto

von Fetzer, Christoph Magnus
Veröffentlicht 1688

Volltext // Exemplar mit der Signatur: Regensburg, Staatliche Bibliothek -- 999/A.Diss.3003

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

Antonius Perezius : ad codic. lib. 3. tit. 8.-12. publicis dissertationibus explicatus

von Hammer, Georg Reichard
Veröffentlicht 1688

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

A failure detection protocol based on a lazy approach

von Fetzer, Christof
Veröffentlicht 2000

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

Formal Foundations for Intel SGX Data Center Attestation Primitives

von Sardar, Muhammad Usama
Veröffentlicht in ICFEM (22. : 2021 : Singapur) Formal methods and software engineering (2021)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

PERUN: Confidential Multi-stakeholder Machine Learning Framework with Hardware Acceleration Support

von Ozga, Wojciech
Veröffentlicht in DBSec (35. : 2021 : Online) Data and Applications Security and Privacy XXXV (2021)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

Systems support for emerging memory technologies

von Sartakov, Vasily
Veröffentlicht 2019

Inhaltsverzeichnis

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

Capacity Planning for Dependable Services

von Faqeh, Rasha
Veröffentlicht in SSS (24. : 2022 : Clermont-Ferrand) Stabilization, safety, and security of distributed systems (2022)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
9

A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic

von Bromberger, Martin
Veröffentlicht in FroCoS (13. : 2021 : Birmingham) Frontiers of Combining Systems (2021)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
10

Towards Dynamic Dependable Systems Through Evidence-Based Continuous Certification

von Faqeh, Rasha
Veröffentlicht in ISoLA (9. : 2020 : Online) Leveraging applications of formal methods, verification and validation ; Part 2: Engineering principles (2020)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
11

A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic

von Bromberger, Martin
Veröffentlicht in TACAS (28. : 2022 : München) Tools and algorithms for the construction and analysis of systems ; Part 1 (2022)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
12

Programma Invitationem Officiosam Ad Solennem Renunciationem Quinque Iuris Doctorum Continens. [Candidati pereximii, ... Dn. Henricus Christoph. Hochmann/ ... Dn. Christoph. Magnu...

von Linck, Heinrich
Veröffentlicht 1690

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
13

De Testamento Imperfecto

von Fetzer, Christoph Magnus
Veröffentlicht 1688

Volltext

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: