106 Session A: PLM 1 - Know4Car, ENEPLAN, amePLM

106 Session A: PLM 1 - Know4Car, ENEPLAN, amePLM

Know4Car initial tracking and measuringПодробнее

Know4Car initial tracking and measuring

Braving the Storm with the Stefnir - Maritime Safety Committee 107th SessionПодробнее

Braving the Storm with the Stefnir - Maritime Safety Committee 107th Session

108 Session A: PLM 3 - VISTRAПодробнее

108 Session A: PLM 3 - VISTRA

[EGRAPHS24] Bridging Syntax and Semantics of Lean Expressions in E-GraphsПодробнее

[EGRAPHS24] Bridging Syntax and Semantics of Lean Expressions in E-Graphs

BPM 10040 : BPMT01 - Using Decision Activity in a Process (with Runcode Type)Подробнее

BPM 10040 : BPMT01 - Using Decision Activity in a Process (with Runcode Type)

The Know4Car projectПодробнее

The Know4Car project

[GALOP'24] Fully Abstract Normal Form Bisimulation for Call-by-Value PCFПодробнее

[GALOP'24] Fully Abstract Normal Form Bisimulation for Call-by-Value PCF