Your search returned 75 results.

Not what you expected? Check for suggestions
Sort
Results
1.
2.
3.
Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems : 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, Proceedings / edited by Anne Remke, Boudewijn R. Haverkort. by Series: Lecture notes in computer science ; 9629.
Edition: 1st ed. 2016.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint : Springer, 2016
Online resources:
Availability: Items available for loan: e-Library (1).
4.
Computer Aided Verification : 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003. Proceedings. by
Edition: N.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin/Heidelberg : Springer Berlin Heidelberg, 2003
Online resources:
Availability: Items available for loan: e-Library (1).
5.
6.
7.
Modeling and Using Context : 10th International and Interdisciplinary Conference, CONTEXT 2017, Paris, France, June 20-23, 2017, Proceedings / edited by Patrick Brézillon, Roy Turner, Carlo Penco. by Series: Lecture notes in computer science ; 10257.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint : Springer, 2017
Online resources:
Availability: Items available for loan: e-Library (1).
8.
9.
10.
11.
Human-computer interaction : user interface design, development and multimodality : 19th International Conference, HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings. Part I / Masaaki Kurosu (Ed.). by Series: Lecture notes in computer science ; 10271. | LNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCI.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham, Switzerland : Springer, [2017]
Other title:
  • HCI International 2017
Online resources:
Availability: Items available for loan: e-Library (1).
12.
Human-computer interaction : interaction contexts : 19th International Conference, HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, proceedings. Part II / Masaaki Kurosu (Ed.). by Series: Lecture notes in computer science ; 10272. | LNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCI.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham, Switzerland : Springer, [2017]
Other title:
  • HCI International 2017
Online resources:
Availability: Items available for loan: e-Library (1).
13.
14.
15.
16.
17.
18.
19.
20.
Pages

Powered by Koha