Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

2 results
Deposit type : Fulltext
labStructName_s : Laboratoire de l'Informatique du Parallélisme
labStructName_s : Bremer Institut für Produktion und Logistik GmbH
Image document

Game Mechanics Supporting Pervasive Learning and Experience in Games, Serious Games, and Interactive & Social Media

J. Hauge , T. Lim , S. Louchart , I. A. Stanescu , M. Ma , et al.
14th International Conference on Entertainment Computing (ICEC), Sep 2015, Trondheim, Norway. pp.560-565, ⟨10.1007/978-3-319-24589-8_57⟩
Conference papers hal-01758461v1
Image document

A Behavioural Theory for a π-calculus with Preorders

Daniel Hirschkoff , Jean-Marie Madiot , Xian Xu
6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.143-158, ⟨10.1007/978-3-319-24644-4_10⟩
Conference papers hal-01246094v2