Home Advanced Search
Advanced Search - Page 1
Verification, Model Checking, and Abstract Interpretation: 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, Proceedings
- English
- Year: 2021
- Author: Fritz Henglein (editor), Sharon Shoham (editor), Yakir Vizel (editor)
Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I
- English
- Year: 2022
- Author: Sharon Shoham, Yakir Vizel
Die Epitome Ulpiani des Codex Vaticanus Reginae 1128
- German
- Year: 1926
- Author: Ulpianus (editor); Fritz Schulz (editor)
Gesetz über die Angelegenheiten der freiwilligen Gerichtsbarkeit vom 17. Mai 1898: Ergänzungsbändchen enthaltend Erläuterungen aus Grund der Bayerischen Ausführungsbestimmungen
- German
- Year: 1901
- Author: Fritz Reidel (editor)
1200 Jahre deutsche Sprache: Die Entfaltung der deutschen Sprachgestalt in ausgewählten Stücken der Bibelübersetzung vom Ausgang des 8 Jahrhunderts bis in die Gegenwart. Ein Lese- und ein Arbeitsbuch
- German
- Year: 1955
- Author: Fritz Tschirch (editor)
Tabellen zum direkten Ablesen der Sudhausausbeute: Unter Zugrundelegung der durch das neue bayer. Malzaufschlaggesetz vom 18. März 1910 vorgeschriebenen Berechnungsformel
- German
- Year: 1910
- Author: Fritz Bauer (editor)
Jahresberichte für deutsche Geschichte. Neue Folge: Band 3/4, Jahrgang 1951/52
- German
- Year: 2022
- Author: Fritz Hartung (editor)