|
|
1.
|
Smart homes and health telematics : 12th International Conference, ICOST 2014, Denver, CO, USA, June 25-27, 2014, Revised papers / Cathy Bodine, Sumi Helal, Tao Gu, Mounir Mokhtari (eds.). by International Conference on Smart Homes and Health Telematics (12th : 2014 : Denver, Colo.) | Bodine, Cathy [editor.] | Helal, Abdelsalam A, 1959- [editor.] | Gu, Tao [editor.] | Mokhtari, Mounir [editor.]. Material type:  Text; Format:
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer, 2015Other title: ICOST 2014.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
|
2.
|
E-Voting and identity : 5th International Conference, VoteID 2015, Bern, Switzerland, September 2-4, 2015, Proceedings / Rolf Haenni, Reto E. Koenig, Douglas Wikström (eds.). by Vote-ID (Conference) (5th : 2015 : Bern, Switzerland) | Haenni, Rolf [editor.] | Koenig, Reto E [editor.] | Wikström, Douglas [editor.]. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, 2015Other title: VoteID 2015.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
|
3.
|
Latent variable analysis and signal separation : 12th International Conference, LVA/ICA 2015, Liberec, Czech Republic, August 25-28, 2015, Proceedings / Emmanuel Vincent, Arie Yeredor, Zbyněk Koldovský, Petr Tichavský (eds.). by International Conference on Latent Variable Analysis and Signal Separation (12th : 2015 : Liberec, Czech Republic) | Vincent, Emmanuel [editor.] | Yeredor, Arie [editor.] | Koldovský, Zbyněk [editor.] | Tichavský, Petr [editor.]. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, 2015Other title: LVA/ICA 2015.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
|
4.
|
Information security : 18th International Conference, ISC 2015, Trondheim, Norway, September 9-11, 2015, Proceedings / Javier Lopez, Chris J. Mitchell (eds.). by ISC (Conference : Information security) (18th : 2015 : Trondheim, Norway) | López, Javier [editor.] | Mitchell, Chris J [editor.]. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, 2015Other title: ISC 2015.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
|
5.
|
Engineering trustworthy software systems : first International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures / edited by Zhiming Liu, Zili Zhang. by International School on Engineering Trustworthy Software Systems (1st : 2014 : Chongqing, China) | Liu, Zhiming [editor.] | Zhang, Zili [editor.]. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, 2016Other title: SETSS 2014.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
|
6.
|
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 Remke, Anne, 1980- [editor.] | Haverkort, Boudewijn R [editor.]. Edition: 1st ed. 2016.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint : Springer, 2016Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
|
7.
|
Human centered computing : second International Conference, HCC 2016, Colombo, Sri Lanka, January 7-9, 2016, Revised selected papers / Qiaohong Zu, Bo Hu (eds.). by HCC (Conference : Human Centered Computing) (2nd : 2016 : Colombo, Sri Lanka) | Zu, Qiaohong [editor.] | Hu, Bo [editor.]. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, 2015Other title: HCC 2016.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
|
8.
|
Reliable software technologies -- Ada-Europe 2016 : 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings / Marko Bertogna, Luis Miguel Pinho, Eduardo Quiñones (eds.). by Ada-Europe International Conference on Reliable Software Technologies (21st : 2016 : Pisa, Italy) | Bertogna, Marko [editor.] | Pinho, Luís Miguel [editor.] | Quiñones, Eduardo [editor.]. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Switzerland : : Springer, 2016Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
|
9.
|
Universal access in human-computer interaction : methods, techniques, and best practices : 10th International Conference, UAHCI 2016, held as part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedings. Part I / Margherita Antona, Constantine Stephanidis (eds.). by International Conference on Universal Access in Human-Computer Interaction (10th : 2016 : Toronto, Ont.) | Antona, Margherita [editor.] | Stephanidis, Constantine [editor.] | International Conference on Human-Computer Interaction (18th : 2016 : Toronto, Ont.). Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Switzerland : Springer, 2016Other title: UAHCI 2016.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
|
10.
|
Universal access in human-computer interaction : methods, techniques, and best practices : 10th International Conference, UAHCI 2016, held as part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedings. Part II / Margherita Antona, Constantine Stephanidis (eds.). by International Conference on Universal Access in Human-Computer Interaction (10th : 2016 : Toronto, Ont.) | Antona, Margherita [editor.] | Stephanidis, Constantine [editor.] | International Conference on Human-Computer Interaction (18th : 2016 : Toronto, Ont.). Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Switzerland : Springer, 2016Other title: UAHCI 2016.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
|
11.
|
Universal access in human-computer interaction : users and context diversity : 10th International Conference, UAHCI 2016, held as part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedings. Part III / Margherita Antona, Constantine Stephanidis (eds.). by International Conference on Universal Access in Human-Computer Interaction (10th : 2016 : Toronto, Ont.) | Antona, Margherita [editor.] | Stephanidis, Constantine [editor.] | International Conference on Human-Computer Interaction (18th : 2016 : Toronto, Ont.). Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Switzerland : Springer, 2016Other title: UAHCI 2016.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
|
12.
|
Haptics : perception, devices, control, and applications : 10th International Conference, EuroHaptics 2016, London, UK, July 4-7, 2016, Proceedings. Part I / Fernando Bello, Hiroyuki Kajimoto, Yon Visell (eds.). by EuroHaptics Conference (10th : 2016 : London, England) | Bello, Fernando [editor.] | Kajimoto, Hiroyuki [editor.] | Visell, Yon [editor.]. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Switzerland : Springer, 2016Other title: EuroHaptics 2016.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
|
13.
|
Haptics : perception, devices, control, and applications : 10th International Conference, EuroHaptics 2016, London, UK, July 4-7, 2016, Proceedings. Part II / Fernando Bello, Hiroyuki Kajimoto, Yon Visell (eds.). by EuroHaptics Conference (10th : 2016 : London, England) | Bello, Fernando [editor.] | Kajimoto, Hiroyuki [editor.] | Visell, Yon [editor.]. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Switzerland : Springer, 2016Other title: EuroHaptics 2016.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
|
14.
|
Euro-Par 2016 : parallel processing : 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings / Pierre-François Dutot, Denis Trystram (eds.). by International EURO-PAR Conference (22nd : 2016 : Grenoble, France) | Dutot, Pierre-François [editor.] | Trystram, Denis [editor.]. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Switzerland : Springer, 2016Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
|
15.
|
Interactive collaborative robotics : first International Conference, ICR 2016, Budapest, Hungary, August 24-26, 2016, Proceedings / Andrey Ronzhin, Gerhard Rigoll, Roman Meshcheryakov (eds.). by ICR (Conference) (1st : 2016 : Budapest, Hungary) | Ronzhin, A. L. (Andreĭ Leonidovich) [editor.] | Rigoll, Gerhard [editor.] | Meshcheryakov, Roman [editor.]. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Switzerland : Springer, 2016Other title: ICR 2016.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
|
16.
|
PRIMA 2016 : princiles and practice of multi-agent systems : 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings / Matteo Baldoni, Amit K. Chopra, Tran Cao Son, Katsutoshi Hirayama, Paolo Torroni (eds.). by International Conference on Principles and Practice of Multi-agent Systems (19th : 2016 : Phuket, Thailand) | Baldoni, Matteo, 1968- [editor.] | Chopra, Amit K [editor.] | Son, Tran Cao, 1962- [editor.] | Hirayama, Katsutoshi [editor.] | Torroni, Paolo [editor.]. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Switzerland : Springer, 2016Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
|
17.
|
Critical systems : formal methods and automated verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings / edited by Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp. by International Workshop on Formal Methods for Industrial Critical Systems (21st : 2016 : Pisa, Italy) | Beek, Maurice H. ter [editor.] | Gnesi, Stefania, 1954- [editor.] | Knapp, Alexander, 1971- [editor.] | International Workshop on Automated Verification of Critical Systems (16th : 2016 : Pisa, Italy). Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, 2016Other title: FMICS-AVoCS 2016.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
|
18.
|
Music, mind, and embodiment : 11th International Symposium, CMMR 2015, Plymouth, UK, June 16-19, 2015, Revised selected papers / Richard Kronland-Martinet, Mitsuko Aramaki, Sølvi Ystad (eds.). by CMMR (Symposium) (11th : 2015 : Plymouth, England) | Kronland-Martinet, Richard [editor.] | Aramaki, Mitsuko [editor.] | Ystad, Sølvi [editor.]. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Switzerland : Springer, 2016Other title: CMMR 2015.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
|
19.
|
Testing software and systems : 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings / Franz Wotawa, Mihai Nica, Natalia Kushik (eds.). by ICTSS (Conference) (28th : 2016 : Graz, Austria) | Wotawa, Franz [editor.] | Nica, Mihai [editor.] | Kushik, Natalia [editor.]. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, 2016Other title: ICTSS 2016.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
|
20.
|
Swarm intelligence based optimization : second International Conference, ICSIBO 2016, Mulhouse, France, June 13-14, 2016, revised selected papers / edited by Patrick Siarry, Lhassane Idoumghar, Julien Lepagnot. by ICSIBO (Conference) (2nd : 2016 : Mulhouse, France) | Siarry, Patrick [editor.] | Idoumghar, Lhassane [editor.] | Lepagnot, Julien [editor.]. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Switzerland : Springer, 2016Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|