Fabio Zanasi – författare
Visar alla böcker från författaren Fabio Zanasi. Handla med fri frakt och snabb leverans.
7 produkter
An Introduction to String Diagrams for Computer Scientists
Av Robin Piedeleu, Fabio Zanasi
Inbunden, 2025
829 kr
Lägg i varukorg
String diagrams are a powerful graphical language used to represent computational phenomena across diverse scientific fields, including computer science, physics, linguistics, amongst others. The appeal of string diagrams lies in their multi-faceted nature: they offer a simple, visual …
Introduction to String Diagrams for Computer Scientists
Av Fabio Zanasi, Robin Piedeleu
E-bok, 2025
277 kr
Lägg i varukorg
An Introduction to String Diagrams for Computer Scientists
Av Robin Piedeleu, Fabio Zanasi
Häftad, 2025
267 kr
Lägg i varukorg
String diagrams are a powerful graphical language used to represent computational phenomena across diverse scientific fields, including computer science, physics, linguistics, amongst others. The appeal of string diagrams lies in their multi-faceted nature: they offer a simple, visual …
String Diagrams for Lambda Calculi and Functional Computation
Inbunden, 2026
791 kr
Kommande
This Element gives an advanced introduction to string diagrams and graph languages for higher-order computation. The subject matter develops in a principled way, starting from the two dimensional syntax of key categorical concepts such as functors, adjunctions, and strictication, and leading up to …
String Diagrams for Lambda Calculi and Functional Computation
Häftad, 2026
282 kr
Kommande
This Element gives an advanced introduction to string diagrams and graph languages for higher-order computation. The subject matter develops in a principled way, starting from the two dimensional syntax of key categorical concepts such as functors, adjunctions, and strictication, and leading up to …
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 …
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 …
