Verfasser Suchresultate :: Subito Katalog

1

Kniha pamětní Král. Krajského města Plzně : od roku 775 až 1870

von Hruška, Martin
Veröffentlicht 1883

Volltext // Exemplar mit der Signatur: München, Bayerische Staatsbibliothek -- Austr. 5445 h

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Kniha pamětní Král. Krajského města Plzně : od roku 775 až 1870

von Hruška, Martin
Veröffentlicht 1883

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

Towards Efficient Shape Analysis with Tree Automata

von Hruska, Martin
Veröffentlicht in NETYS (9. : 2021 : Online) Networked Systems (2021)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

Reasoning About Regular Properties: A Comparative Study

von Fiedor, Tomás
Veröffentlicht in International Conference on Automated Deduction (29. : 2023 : Rom) Automated deduction - CADE 29 (2023)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

Mata: A Fast and Simple Finite Automata Library

von Chocholatý, David
Veröffentlicht in International Conference on Tools and Algorithms for the Construction and Analysis of Systems (30. : 2024 : Luxemburg) Tools and algorithms for the construction and analysis of systems ; Part 2 (2024)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

Symbiotic 7: Integration of Predator and More (Competition Contribution)

von Chalupa, Marek
Veröffentlicht in TACAS (26. : 2020 : Online) Tools and algorithms for the construction and analysis of systems ; Part 2 (2020)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: