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

Filter your results

4 results
Deposit type : Annex
Page :
sorted by

Testing Software and Systems

 Mercedes G. Merayo , Edgardo Montes de Oca
Springer, LNCS-8763, 2014, Lecture Notes in Computer Science, 978-3-662-44856-4. ⟨10.1007/978-3-662-44857-1⟩
Books hal-01405294v1

Formal Techniques for Distributed Objects, Components, and Systems

 Elvira Albert , Ivan Lanese
Springer, LNCS-9688, 2016, Formal Techniques for Distributed Objects, Components, and Systems, 978-3-319-39569-2. ⟨10.1007/978-3-319-39570-8⟩
Books hal-01432933v1

Entertainment Computing – ICEC 2021

 Jannicke Baalsrud Hauge , Jorge C. S. Cardoso , Licínio Roque , Pedro A. González-Calero
Springer International Publishing, LNCS-13056, 2021, Lecture Notes in Computer Science, 978-3-030-89393-4. ⟨10.1007/978-3-030-89394-1⟩
Books hal-04144378v1

Recent Trends in Algebraic Development Techniques

 Narciso Martí-Oliet , Miguel Palomino
Springer, LNCS-7841, 2013, Lecture Notes in Computer Science, 978-3-642-37634-4. ⟨10.1007/978-3-642-37635-1⟩
Books hal-01485894v1
Page :