Clemens Kupke – författare
Visar alla böcker från författaren Clemens Kupke. Handla med fri frakt och snabb leverans.
3 produkter
Coalgebraic Methods in Computer Science
18th IFIP WG 1.3 International Workshop, CMCS 2026, Turin, Italy, April 11–12, 2026, Proceedings
Av Henning Basold, Clemens Kupke
Häftad, 2027
689 kr
Kommande
This book constitutes the proceedings of the 18th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2025, Turin, Italy, during April 11–12, 2026.The 7 full papers included in this book were carefully reviewed and selected from 10 submissions. The papers cover a wide range of …
Logic, Language, and Computation
10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers
Av Martin Aher, Daniel Hole m. fl.
Häftad, 2015
562 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 10th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2013, held in Gudauri, Georgia, in September 2013. The conference series is centered around the interaction between logic, language and computation. The …
Logic, Language, and Computation
10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers
Av Clemens Kupke, Emil Jerabek m. fl.
E-bok, 2015
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 10th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2013, held in Gudauri, Georgia, in September 2013. The conference series is centered around the interaction between logic, language and computation. The …
