Search - IFIP Open Digital Library Access content directly

Filter your results

5 results
Structure: Internal structure identifier : 301081
Deposit type : Annex

Descriptional Complexity of Formal Systems

Cezar Câmpeanu , Florin Manea , Jeffrey Shallit
Springer International Publishing, LNCS-9777, 2016, Lecture Notes in Computer Science, 978-3-319-41113-2. ⟨10.1007/978-3-319-41114-9⟩
Books hal-01633947v1

Data and Applications Security and Privacy XXXII

Florian Kerschbaum , Stefano Paraboschi
Springer International Publishing, LNCS-10980, 2018, Lecture Notes in Computer Science, 978-3-319-95728-9. ⟨10.1007/978-3-319-95729-6⟩
Books hal-01954400v1

Human-Computer Interaction – INTERACT 2019

David Lamas , Fernando Loizides , Lennart E. Nacke , Helen Petrie , Marco Winckler , et al.
Springer International Publishing, LNCS-11747, 2019, Lecture Notes in Computer Science, 978-3-030-29383-3. ⟨10.1007/978-3-030-29384-0⟩
Books hal-02544612v1

Human-Computer Interaction – INTERACT 2019

David Lamas , Fernando Loizides , Lennart Nacke , Helen Petrie , Marco Winckler , et al.
Springer International Publishing, LNCS-11746, 2019, Lecture Notes in Computer Science, 978-3-030-29380-2. ⟨10.1007/978-3-030-29381-9⟩
Books hal-02544551v1

Human-Computer Interaction – INTERACT 2019

David Lamas , Fernando Loizides , Helen Petrie , Marco Winckler , Panayiotis Zaphiris , et al.
Springer International Publishing, LNCS-11748, 2019, Lecture Notes in Computer Science
Books hal-02553855v1