Search - IFIP Open Digital Library Access content directly

Filter your results

3 results
Structure: Internal structure identifier : 96520
publicationDateY_i : 2018

Formal Techniques for Distributed Objects, Components, and Systems

Christel Baier , Luís Caires
Springer International Publishing, LNCS-10854, 2018, Lecture Notes in Computer Science, 978-3-319-92611-7. ⟨10.1007/978-3-319-92612-4⟩
Books hal-01824818v1
Image document

Issues of Culture in Designing for Accessibility

Helen Petrie , Gerhard Weber , Charudatta Jadhav , Jennifer S. Darzentas
16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.55-67, ⟨10.1007/978-3-319-92081-8_6⟩
Conference papers hal-01821414v1
Image document

Conceptual Navigation for Polyadic Formal Concept Analysis

Sebastian Rudolph , Christian Săcărea , Diana Troancă
4th IFIP International Workshop on Artificial Intelligence for Knowledge Management (AI4KM), Jul 2016, New York, NY, United States. pp.50-70, ⟨10.1007/978-3-319-92928-6_4⟩
Conference papers hal-01950006v1