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

Author Results for Klin, Bartek,

Cover is for reference only

Algebra and Coalgebra in Computer Science：4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings

Main Authors: Corradini Andrea
Corporate Authors: SpringerLink (Online service)
Group Author: Cirstea Corina.; Klin Bartek.
Published: Springer-Verlag Berlin Heidelberg,
Publication Dates: 2011.

Book

Cover is for reference only

31st EACSL Annual Conference on Computer Science Logic : CSL 2023, February 13-16, 2023, Warsaw, Poland /

Corporate Authors: EACSL Annual Conference on Computer Science Logic Warsaw, Poland); Schloss Dagstuhl, Leibniz-Zentrum für Informatik.
Group Author: Klin, Bartek (Editor); Pimentel, Elaine (Editor)
Published: Schloss Dagstuhl,
Publication Dates: 2023.
Call Number: TP301-532/C738-1/2023

Book

Narrow Search