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

Filter your results

5 results
publicationDateY_i : 2017
Page :
sorted by

Human-Computer Interaction – INTERACT 2017

 Regina Bernhaupt , Girish Dalvi , Anirudha Joshi , Devanuj K. Balkrishan , Jacki O’neill , et al.
Springer International Publishing, LNCS-10516, 2017, Lecture Notes in Computer Science, 978-3-319-68058-3. ⟨10.1007/978-3-319-68059-0⟩
Books hal-01679769v1
Image document

Dealing with Conflicting User Interface Properties in User-Centered Development Processes

 Marco Winckler , Marta Larusdottir , Kati Kuusinen , Cristian Bogdan , Philippe Palanque
16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.521-523
Conference papers hal-01680275v1
Image document

Enumerating Orthogonal Latin Squares Generated by Bipermutive Cellular Automata

 Luca Mariot , Enrico Formenti , Alberto Leporati
23th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2017, Milan, Italy. pp.151-164, ⟨10.1007/978-3-319-58631-1_12⟩
Conference papers hal-01656352v1
Image document

A Decidable Subtyping Logic for Intersection and Union Types

 Luigi Liquori , Claude Stolze
TTCS 2017 - 2nd International Conference on Topics in Theoretical Computer Science, Sep 2017, Tehran, Iran. pp.74-90, ⟨10.1007/978-3-319-68953-1_7⟩
Conference papers hal-01760641v1

Cellular Automata and Discrete Complex Systems

 Alberto Dennunzio , Enrico Formenti , Luca Manzoni , Antonio E. Porreca
Springer International Publishing, LNCS-10248, 2017, Lecture Notes in Computer Science, 978-3-319-58630-4. ⟨10.1007/978-3-319-58631-1⟩
Books hal-01656363v1
Page :