Christoph Weidenbach – författare

Visar alla böcker från författaren Christoph Weidenbach.

3 produkter

Kategorier

3 produkter

Del 15979
Del 15979 - Lecture Notes in Computer Science
Frontiers of Combining Systems
15th International Symposium, FroCoS 2025, Reykjavik, Iceland, September 29 – October 1, 2025, Proceedings
AvRené Thiemann,Christoph Weidenbach
Häftad, Engelska, 2025
599 kr
Skickas inom 5-8 vardagar
Del 8562
Del 8562 - Lecture Notes in Computer Science
Automated Reasoning
7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings
AvStéphane Demri,Deepak Kapurm. fl.
Häftad, Engelska, 2014
749 kr
Skickas inom 10-15 vardagar
Programming Logics
Essays in Memory of Harald Ganzinger
AvAndrei Voronkov,Christoph Weidenbach
Häftad, Engelska, 2013
749 kr
Skickas inom 10-15 vardagar