Helle Hvid Hansen – författare

Visar alla böcker från författaren Helle Hvid Hansen. Handla med fri frakt och snabb leverans.

6 produkter

1. 

   Coalgebraic Methods in Computer Science

   16th IFIP WG 1.3 International Workshop, CMCS 2022, Colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022, Proceedings

   Av Helle Hvid Hansen, Fabio Zanasi

   Häftad, 2022

   1243 kr

   Lägg i varukorg

   This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2022, colocated with ETAPS 2022, held in Munich, Germany, in April 2022. The 9 revised full papers were carefully reviewed and selected from …

2. 

   Coalgebraic Methods in Computer Science

   16th IFIP WG 1.3 International Workshop, CMCS 2022, Colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022, Proceedings

   Av Fabio Zanasi, Helle Hvid Hansen

   E-bok, 2022

   1617 kr

   Lägg i varukorg

   This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2022, colocated with ETAPS 2022, held in Munich, Germany, in April 2022. The 9 revised full papers were carefully reviewed and selected from …

3. 

   Logic, Language, Information, and Computation

   29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023, Proceedings

   Av Helle Hvid Hansen, Andre Scedrov m. fl.

   Häftad, 2023

   825 kr

   Lägg i varukorg

   Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the of the 29th International Workshop on Logic, Language, Information, and Computation, WoLLIC 2023, held in Halifax, NS, Canada, during July 11–14, 2023. The 24 …

4. 

   Logic, Language, Information, and Computation

   29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023, Proceedings

   Av Ruy J.G.B. de Queiroz, Andre Scedrov m. fl.

   E-bok, 2023

   1059 kr

   Lägg i varukorg

   Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the of the 29th International Workshop on Logic, Language, Information, and Computation, WoLLIC 2023, held in Halifax, NS, Canada, during July 11–14, 2023. The 24 …

5. 

   Logic, Language, and Computation

   11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015, Revised Selected Papers

   Av Helle Hvid Hansen, Sarah E. Murray m. fl.

   Häftad, 2017

   567 kr

   Lägg i varukorg

   This book constitutes the refereed proceedings of the 11th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2015, held in Tbilisi, Georgia, in September 2015.The 18 papers in this book were selected from the invited submissions of full, revised versions of the 37 short …

6. 

   Logic, Language, and Computation

   11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015, Revised Selected Papers

   Av Henk Zeevat, Mehrnoosh Sadrzadeh m. fl.

   E-bok, 2017

   755 kr

   Lägg i varukorg

   This book constitutes the refereed proceedings of the 11th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2015, held in Tbilisi, Georgia, in September 2015. The 18 papers in this book were selected from the invited submissions of full, revised versions of the 37 short …