search result

Cover von Recent Trends in Algebraic Development Techniques
25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers
Search for this author
Year: 2021
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 12669
Media group: MONOGRAPHIE
Cover von Recent Trends in Algebraic Development Techniques
23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21 - 24, 2016, Revised Selected Papers
Search for this author
Year: 2017
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 10644
Media group: MONOGRAPHIE
Cover von LIPIcs, Volume 139, CALCO'19, Complete Volume

LIPIcs, Volume 139, CALCO'19, Complete Volume

Year: 2019
Media group: LIPIcs
Cover von Front Matter, Table of Contents, Preface, Conference Organization

Front Matter, Table of Contents, Preface, Conference Organization

Year: 2019
Media group: LIPIcs
Cover von 8th Conference on Algebra and Coalgebra in Computer Science
CALCO 2019 : June 3 - 6, 2019, London, United Kingdom
Search for this author
Year: 2019
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 139
Media group: LIPIcs
Cover von Applicable Formal Methods for Safe Industrial Products
Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday
Search for this author
Year: 2023
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : Festschrift; 14165
Media group: MONOGRAPHIE
Cover von Algebra and coalgebra in computer science
first international conference, Swansea, UK, September 3 - 6, 2005, proceedings
Search for this author
Year: 2005
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 3629
Media group: MONOGRAPHIE
OPEN V 11.1.0.0