Ergebnisse filtern
-
- 3
- 2
-
- 1
- 2
- 2
-
- 4
- 1
-
- 1
- 4
-
- 5
-
- 5
-
- 5
-
Thiemann / Weidenbach Frontiers of Combining Systems
15th International Symposium, FroCoS 2025, Reykjavik, Iceland, September 29 - October 1, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-04166-1Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Voronkov / Weidenbach Programming Logics
Essays in Memory of Harald Ganzinger2013Verlag: SpringerISBN: 978-3-642-37651-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Voronkov / Weidenbach Programming Logics
Essays in Memory of Harald Ganzinger1. Auflage 2013Verlag: SpringerISBN: 978-3-642-37650-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Demri / Kapur / Weidenbach Automated Reasoning
7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings2014Verlag: Springer International PublishingISBN: 978-3-319-08587-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Demri / Kapur / Weidenbach Automated Reasoning
7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-08586-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
