馆藏书目查询系统 - 上海图书馆

Author Results for Hansen, Helle Hvid,

Cover is for reference only

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 /

Corporate Authors: Workshop on Coalgebraic Methods in Computer Science Munich, Germany); ETAPS (Conference) Munich, Germany)
Group Author: Hansen, Helle Hvid (Editor); Zanasi, Fabio (Editor)
Published: Springer,
Publication Dates: [2022]
Call Number: TP301.6-532/C652/2022

Book

Cover is for reference only

Logic, Language, Information, and Computation : 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, proceedings /

Corporate Authors: Workshop on Logic, Language, Information and Computation Halifax, N.S.)
Group Author: Hansen, Helle Hvid (Editor); Scedrov, Andre (Editor); Queiroz, Ruy J. G. B. de (Editor)
Published: Springer,
Publication Dates: [2023]
Call Number: O141-532/W926/2023

Book

Narrow Search