Search - IFIP Open Digital Library Access content directly

Filter your results

4 results
Structure: Internal structure identifier : 74348
Deposit type : Annex
Page :
sorted by

Building Bridges: HCI, Visualization, and Non-formal Modeling

 Achim Ebert , Gerrit van Der Veer , Gitta Domik , Nahum D. Gershon , Inga Scheler
Springer, LNCS-8345, 2014, Coalgebraic Methods in Computer Science, 978-3-642-54893-2. ⟨10.1007/978-3-642-54894-9⟩
Books hal-01414711v1

Human-Centered Software Engineering

 Stefan Sauer , Cristian Bogdan , Peter Forbrig , Regina Bernhaupt , Marco Winckler
Springer, LNCS-8742, 2014, Lecture Notes in Computer Science, 978-3-662-44810-6. ⟨10.1007/978-3-662-44811-3⟩
Books hal-01405095v1

Human-Centered and Error-Resilient Systems Development

 Cristian Bogdan , Jan Gulliksen , Stefan Sauer , Peter Forbrig , Marco Winckler , et al.
Springer International Publishing, 9856, 2016, Lecture Notes in Computer Science (LNCS), 978-3-319-44901-2. ⟨10.1007/978-3-319-44902-9⟩
Books hal-01647710v1

Embedded Systems: Design, Analysis and Verification

 Gunar Schirner , Marcelo Götz , Achim Rettberg , Mauro C. Zanella , Franz J. Rammig
Springer, AICT-403, 2013, IFIP Advances in Information and Communication Technology, 978-3-642-38852-1. ⟨10.1007/978-3-642-38853-8⟩
Books hal-01466697v1
Page :