Del 13923
Logic, Language, Information, and Computation
Helle Hvid Hansen, Andre Scedrov, Ruy J.G.B. de Queiroz
Häftad, 2023
1 079 kr
Del 13225 i serien Lecture Notes in Computer Science
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
Häftad, Engelska, 2022
1 629 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
Finns i fler format (6)
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 12 submissions. The papers cover a wide range of topics in the theory, logics, and applications of coalgebras.
Produktinformation
- Utgivningsdatum2022-07-23
- Mått155 x 235 x 12 mm
- Vikt335 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor195
- Upplaga22001
- FörlagSpringer International Publishing AG
- ISBN9783031107351
Tillhör följande kategorier
Hoppa över listan
Mer från samma författare
Logic, Language, and Computation
Helle Hvid Hansen, Sarah E. Murray, Mehrnoosh Sadrzadeh, Henk Zeevat
Häftad, 2017
749 kr
Hoppa över listan
Mer från samma serie
Agent Mediated Electronic Commerce II
Alexandros Moukas, Carles Sierra, Fredrik Ygge
Häftad, 2000
749 kr
Del 16375
Del 16376
Segmentation, Classification, and Synthesis for Brain Tumors and Traumatic Brain Injuries
Spyridon Bakas, Emily Dennis, Mehdi Astaraki, Ujjwal Baid, Gian Marco Conte, Martha Foltyn-Dumitru, Zhifan Jiang, Dominic Labella, Marie-Christin Metz, Udunna Anazodo, Maria Correia de Verdier, Florian Kofler, Hongwei Bran Li, Marius George Linguraru, Nazanin Maleki
Häftad, 2026
1 219 kr
Del 15401
Medical Image Computing and Computer Assisted Intervention – MICCAI 2024 Workshops
Anna Schroder, Xiang Li, Tanveer Syeda-Mahmood, Neil P. Oxtoby, Alexandra Young, Alessa Hering, Tejas S. Mathai, Pritam Mukherjee, Sven Kuckertz, Tiantian He, Isaac Llorente-Saguer, Andreas Maier, Satyananda Kashyap, Hayit Greenspan, Anant Madabhushi
Häftad, 2025
969 kr
Hoppa över listan
Du kanske också är intresserad av
Del 12094
Del 11202
Del 14617
Del 9608
Logic, Language, and Computation
Helle Hvid Hansen, Sarah E. Murray, Mehrnoosh Sadrzadeh, Henk Zeevat
Häftad, 2017
749 kr
Del 13923
Logic, Language, Information, and Computation
Helle Hvid Hansen, Andre Scedrov, Ruy J.G.B. de Queiroz
Häftad, 2023
1 079 kr
String Diagrams for Lambda Calculi and Functional Computation
Dan R. Ghica, Fabio Zanasi
Inbunden, 2026
1 149 kr