Search Results for Computer networks

1.

Cover image for Advances in Computing 18th Colombian Conference on Computing, CCC 2024, Manizales, Colombia, September 4-6, 2024, Revised Selected Papers, Part II

Advances in Computing 18th Colombian Conference on Computing, CCC 2024, Manizales, Colombia, September 4-6, 2024, Revised Selected Papers, Part II

Author

Duque-Méndez, Néstor Darío. editor. (orcid)0000-0002-4608-281X Aristizábal-Quintero, Luz Ángela. editor. (orcid)0000-0003-4510-9029 Orozco-Alzate, Mauricio. editor. (orcid)0000-0002-5937-6382 Aguilar, Jose. editor. (orcid)0000-0003-4194-6882 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-75236-0

Format:

Availability

Online Library~1

Available:
Copies:

2.

Advances in Computing 18th Colombian Conference on Computing, CCC 2024, Manizales, Colombia, September 4-6, 2024, Revised Selected Papers, Part I

Author

Duque-Méndez, Néstor Darío. editor. (orcid)0000-0002-4608-281X Aristizábal-Quintero, Luz Ángela. editor. (orcid)0000-0003-4510-9029 Orozco-Alzate, Mauricio. editor. (orcid)0000-0002-5937-6382 Aguilar, Jose. editor. (orcid)0000-0003-4194-6882 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-75233-9

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for VLSI-SoC 2023: Innovations for Trustworthy Artificial Intelligence 31st IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2023, Sharjah, United Arab Emirates, October 16-18, 2023, Revised Extended Selected Papers

VLSI-SoC 2023: Innovations for Trustworthy Artificial Intelligence 31st IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2023, Sharjah, United Arab Emirates, October 16-18, 2023, Revised Extended Selected Papers

Author

Elfadel, Ibrahim (Abe) M. editor. (orcid)0000-0003-3220-9987 Albasha, Lutfi. editor. (orcid)0000-0001-5933-0280 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-70947-0

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Artificial Intelligence. ECAI 2023 International Workshops XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 - October 4, 2023, Proceedings, Part II

Artificial Intelligence. ECAI 2023 International Workshops XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 - October 4, 2023, Proceedings, Part II

Author

Nowaczyk, Sławomir. editor. Biecek, Przemysław. editor. Chung, Neo Christopher. editor. Vallati, Mauro. editor. (orcid)0000-0002-8429-3570 Skruch, Paweł. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-50485-3

Format:

Availability

Online Library~1

Available:
Copies:

5.

Artificial Intelligence. ECAI 2023 International Workshops XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 - October 4, 2023, Proceedings, Part I

Author

Nowaczyk, Sławomir. editor. Biecek, Przemysław. editor. Chung, Neo Christopher. editor. Vallati, Mauro. editor. (orcid)0000-0002-8429-3570 Skruch, Paweł. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-50396-2

Format:

Availability

Online Library~1

Available:
Copies:

6.

Bilgisayar mühendisliğine giriş

Author

Çölkesen, Toros Rifat. Eren, Şaban.

Preferred Shelf Number

QA76.27 B552 2022

Format:

Availability

Beytepe Library~1

Available:
Copies:

7.

Bilgisayar mühendisliğine giriş

Author

Çölkesen, Toros Rifat. Eren, Şaban.

Preferred Shelf Number

QA76.27 B552 2019

Format:

Availability

Beytepe Library~1

Available:
Copies:

8.

Cover image for Advanced Computing Strategies for Engineering 25th EG-ICE International Workshop 2018, Lausanne, Switzerland, June 10-13, 2018, Proceedings, Part II

Advanced Computing Strategies for Engineering 25th EG-ICE International Workshop 2018, Lausanne, Switzerland, June 10-13, 2018, Proceedings, Part II

Author

Smith, Ian F. C. editor. Domer, Bernd. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-91638-5

Format:

Availability

Online Library~1

Available:
Copies:

9.

IoT as a Service Third International Conference, IoTaaS 2017, Taichung, Taiwan, September 20–22, 2017, Proceedings

Author

Lin, Yi-Bing. editor. Deng, Der-Jiunn. editor. You, Ilsun. editor. Lin, Chun-Cheng. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-00410-1

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Advances in Cryptology – ASIACRYPT 2018 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2–6, 2018, Proceedings, Part II

Advances in Cryptology – ASIACRYPT 2018 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2–6, 2018, Proceedings, Part II

Author

Peyrin, Thomas. editor. (orcid)0000-0002-2690-9197 Galbraith, Steven. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-03329-3

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Wireless Mobile Communication and Healthcare 7th International Conference, MobiHealth 2017, Vienna, Austria, November 14–15, 2017, Proceedings

Wireless Mobile Communication and Healthcare 7th International Conference, MobiHealth 2017, Vienna, Austria, November 14–15, 2017, Proceedings

Author

Perego, Paolo. editor. Rahmani, Amir M. editor. TaheriNejad, Nima. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-98551-0

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Smart Societies, Infrastructure, Technologies and Applications First International Conference, SCITA 2017, Jeddah, Saudi Arabia, November 27–29, 2017, Proceedings

Smart Societies, Infrastructure, Technologies and Applications First International Conference, SCITA 2017, Jeddah, Saudi Arabia, November 27–29, 2017, Proceedings

Author

Mehmood, Rashid. editor. Bhaduri, Budhendra. editor. Katib, Iyad. editor. Chlamtac, Imrich. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-94180-6

Format:

Availability

Online Library~1

Available:
Copies:

13.

Cover image for Computers Helping People with Special Needs 16th International Conference, ICCHP 2018, Linz, Austria, July 11-13, 2018, Proceedings, Part II

Computers Helping People with Special Needs 16th International Conference, ICCHP 2018, Linz, Austria, July 11-13, 2018, Proceedings, Part II

Author

Miesenberger, Klaus. editor. Kouroupetroglou, Georgios. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-94274-2

Format:

Availability

Online Library~1

Available:
Copies:

14.

Cover image for Recent Advances in Intelligent Manufacturing First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part I

Recent Advances in Intelligent Manufacturing First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part I

Author

Wang, Shilong. editor. Price, Mark. editor. Lim, Ming K. editor. Jin, Yan. editor. Luo, Yuanxin. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-13-2396-6

Format:

Availability

Online Library~1

Available:
Copies:

15.

Emerging Technologies for Authorization and Authentication First International Workshop, ETAA 2018, Barcelona, Spain, September 7, 2018, Proceedings

Author

Saracino, Andrea. editor. Mori, Paolo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-04372-8

Format:

Availability

Online Library~1

Available:
Copies:

16.

Cover image for Cryptology and Network Security 17th International Conference, CANS 2018, Naples, Italy, September 30 – October 3, 2018, Proceedings

Cryptology and Network Security 17th International Conference, CANS 2018, Naples, Italy, September 30 – October 3, 2018, Proceedings

Author

Camenisch, Jan. editor. (orcid)0000-0001-6654-9459 Papadimitratos, Panos. editor. (orcid)0000-0002-3267-5374 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-00434-7

Format:

Availability

Online Library~1

Available:
Copies:

17.

Computer Vision – ECCV 2018 15th European Conference, Munich, Germany, September 8-14, 2018, Proceedings, Part XI

Author

Ferrari, Vittorio. editor. Hebert, Martial. editor. Sminchisescu, Cristian. editor. Weiss, Yair. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-01252-6

Format:

Availability

Online Library~1

Available:
Copies:

18.

Cover image for Human-Computer Interaction. Interaction Technologies 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part III

Human-Computer Interaction. Interaction Technologies 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part III

Author

Kurosu, Masaaki. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-91250-9

Format:

Availability

Online Library~1

Available:
Copies:

19.

Cover image for Virtual, Augmented and Mixed Reality: Applications in Health, Cultural Heritage, and Industry 10th International Conference, VAMR 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II

Virtual, Augmented and Mixed Reality: Applications in Health, Cultural Heritage, and Industry 10th International Conference, VAMR 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II

Author

Chen, Jessie Y.C. editor. Fragomeni, Gino. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-91584-5

Format:

Availability

Online Library~1

Available:
Copies:

20.

Cover image for Computational Science and Its Applications – ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part I

Computational Science and Its Applications – ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part I

Author

Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Torre, Carmelo M. editor. (orcid)0000-0003-4737-6040

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-95162-1

Format:

Availability

Online Library~1

Available:
Copies:

21.

Computational Science and Its Applications – ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part II

Author

Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Torre, Carmelo M. editor. (orcid)0000-0003-4737-6040

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-95165-2

Format:

Availability

Online Library~1

Available:
Copies:

22.

Cover image for Management Perspective for Transport Telematics 18th International Conference on Transport System Telematics, TST 2018, Krakow, Poland, March 20-23, 2018, Selected Papers

Management Perspective for Transport Telematics 18th International Conference on Transport System Telematics, TST 2018, Krakow, Poland, March 20-23, 2018, Selected Papers

Author

Mikulski, Jerzy. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-97955-7

Format:

Availability

Online Library~1

Available:
Copies:

23.

Cover image for Smart Secure Systems – IoT and Analytics Perspective Second International Conference on Intelligent Information Technologies. ICIIT 2017, Chennai, India, December 20-22, 2017, Proceedings

Smart Secure Systems – IoT and Analytics Perspective Second International Conference on Intelligent Information Technologies. ICIIT 2017, Chennai, India, December 20-22, 2017, Proceedings

Author

Venkataramani, Guru Prasadh. editor. Sankaranarayanan, Karthik. editor. Mukherjee, Saswati. editor. Arputharaj, Kannan. editor. Sankara Narayanan, Swamynathan. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-10-7635-0

Format:

Availability

Online Library~1

Available:
Copies:

24.

Cover image for Mobile Web and Intelligent Information Systems 15th International Conference, MobiWIS 2018, Barcelona, Spain, August 6-8, 2018, Proceedings

Mobile Web and Intelligent Information Systems 15th International Conference, MobiWIS 2018, Barcelona, Spain, August 6-8, 2018, Proceedings

Author

Younas, Muhammad. editor. Awan, Irfan. editor. Ghinea, George. editor. Catalan Cid, Marisa. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-97163-6

Format:

Availability

Online Library~1

Available:
Copies:

25.

Cover image for Human-Computer Interaction. Theories, Methods, and Human Issues 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part I

Human-Computer Interaction. Theories, Methods, and Human Issues 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part I

Author

Kurosu, Masaaki. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-91238-7

Format:

Availability

Online Library~1

Available:
Copies:

26.

Cover image for Machine Learning and Intelligent Communications Third International Conference, MLICOM 2018, Hangzhou, China, July 6-8, 2018, Proceedings

Machine Learning and Intelligent Communications Third International Conference, MLICOM 2018, Hangzhou, China, July 6-8, 2018, Proceedings

Author

Meng, Limin. editor. Zhang, Yan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-00557-3

Format:

Availability

Online Library~1

Available:
Copies:

27.

Cover image for Intelligent Computing Theories and Application 14th International Conference, ICIC 2018, Wuhan, China, August 15-18, 2018, Proceedings, Part I

Intelligent Computing Theories and Application 14th International Conference, ICIC 2018, Wuhan, China, August 15-18, 2018, Proceedings, Part I

Author

Huang, De-Shuang. editor. Bevilacqua, Vitoantonio. editor. Premaratne, Prashan. editor. Gupta, Phalguni. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-95930-6

Format:

Availability

Online Library~1

Available:
Copies:

28.

Security and Trust Management 14th International Workshop, STM 2018, Barcelona, Spain, September 6–7, 2018, Proceedings

Author

Katsikas, Sokratis K. editor. (orcid)0000-0003-2966-9683 Alcaraz, Cristina. editor. (orcid)0000-0003-0545-3191 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-01141-3

Format:

Availability

Online Library~1

Available:
Copies:

29.

Cover image for Verification, Model Checking, and Abstract Interpretation 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings

Verification, Model Checking, and Abstract Interpretation 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings

Author

Dillig, Isil. editor. Palsberg, Jens. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-73721-8

Format:

Availability

Online Library~1

Available:
Copies:

30.

Cover image for OR 2.0 Context-Aware Operating Theaters, Computer Assisted Robotic Endoscopy, Clinical Image-Based Procedures, and Skin Image Analysis First International Workshop, OR 2.0 2018, 5th International Workshop, CARE 2018, 7th International Workshop, CLIP 2018, Third International Workshop, ISIC 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16 and 20, 2018, Proceedings

OR 2.0 Context-Aware Operating Theaters, Computer Assisted Robotic Endoscopy, Clinical Image-Based Procedures, and Skin Image Analysis First International Workshop, OR 2.0 2018, 5th International Workshop, CARE 2018, 7th International Workshop, CLIP 2018, Third International Workshop, ISIC 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16 and 20, 2018, Proceedings

Author

Stoyanov, Danail. editor. Taylor, Zeike. editor. Sarikaya, Duygu. editor. McLeod, Jonathan. editor. González Ballester, Miguel Angel. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-01201-4

Format:

Availability

Online Library~1

Available:
Copies:

31.

Computer Vision – ECCV 2018 15th European Conference, Munich, Germany, September 8-14, 2018, Proceedings, Part XVI

Author

Ferrari, Vittorio. editor. Hebert, Martial. editor. Sminchisescu, Cristian. editor. Weiss, Yair. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-01270-0

Format:

Availability

Online Library~1

Available:
Copies:

32.

Cover image for Stabilization, Safety, and Security of Distributed Systems 20th International Symposium, SSS 2018, Tokyo, Japan, November 4–7, 2018, Proceedings

Stabilization, Safety, and Security of Distributed Systems 20th International Symposium, SSS 2018, Tokyo, Japan, November 4–7, 2018, Proceedings

Author

Izumi, Taisuke. editor. Kuznetsov, Petr. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-03232-6

Format:

Availability

Online Library~1

Available:
Copies:

33.

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXVII

Author

Hameurlain, Abdelkader. editor. Wagner, Roland. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-57932-9

Format:

Availability

Online Library~1

Available:
Copies:

34.

Computational Science and Its Applications – ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2–5, 2018, Proceedings, Part IV

Author

Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Torre, Carmelo M. editor. (orcid)0000-0003-4737-6040

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-95171-3

Format:

Availability

Online Library~1

Available:
Copies:

35.

Cover image for Topics in Cryptology – CT-RSA 2018 The Cryptographers' Track at the RSA Conference 2018, San Francisco, CA, USA, April 16-20, 2018, Proceedings

Topics in Cryptology – CT-RSA 2018 The Cryptographers' Track at the RSA Conference 2018, San Francisco, CA, USA, April 16-20, 2018, Proceedings

Author

Smart, Nigel P. editor. (orcid)0000-0003-3567-3304 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-76953-0

Format:

Availability

Online Library~1

Available:
Copies:

36.

Queueing Theory and Network Applications 13th International Conference, QTNA 2018, Tsukuba, Japan, July 25-27, 2018, Proceedings

Author

Takahashi, Yutaka. editor. Phung-Duc, Tuan. editor. (orcid)0000-0002-5002-4946 Wittevrongel, Sabine. editor. (orcid)0000-0001-6985-8361 Yue, Wuyi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-93736-6

Format:

Availability

Online Library~1

Available:
Copies:

37.

Cover image for Distributed, Ambient and Pervasive Interactions: Understanding Humans 6th International Conference, DAPI 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part I

Distributed, Ambient and Pervasive Interactions: Understanding Humans 6th International Conference, DAPI 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part I

Author

Streitz, Norbert. editor. (orcid)0000-0002-0244-0945 Konomi, Shin’ichi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-91125-0

Format:

Availability

Online Library~1

Available:
Copies:

38.

Transactions on Computational Collective Intelligence XXVIII

Author

Nguyen, Ngoc Thanh. editor. Kowalczyk, Ryszard. editor. van den Herik, Jaap. editor. Rocha, Ana Paula. editor. (orcid)0000-0002-8129-9758 Filipe, Joaquim. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-78301-7

Format:

Availability

Online Library~1

Available:
Copies:

39.

Emerging Technologies in Computing First International Conference, iCETiC 2018, London, UK, August 23–24, 2018, Proceedings

Author

Miraz, Mahdi H. editor. (orcid)0000-0002-6795-7048 Excell, Peter. editor. Ware, Andrew. editor. (orcid)0000-0002-9354-5039 Soomro, Safeeullah. editor. (orcid)0000-0001-5571-1262 Ali, Maaruf. editor. (orcid)0000-0001-9906-5004

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-95450-9

Format:

Availability

Online Library~1

Available:
Copies:

40.

Cover image for Intelligent Robotics and Applications 11th International Conference, ICIRA 2018, Newcastle, NSW, Australia, August 9–11, 2018, Proceedings, Part I

Intelligent Robotics and Applications 11th International Conference, ICIRA 2018, Newcastle, NSW, Australia, August 9–11, 2018, Proceedings, Part I

Author

Chen, Zhiyong. editor. (orcid)0000-0002-2033-4249 Mendes, Alexandre. editor. (orcid)0000-0003-1759-3765 Yan, Yamin. editor. (orcid)0000-0001-5838-2652 Chen, Shifeng. editor. (orcid)0000-0003-0677-7358 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-97586-3

Format:

Availability

Online Library~1

Available:
Copies:

41.

Cover image for From Animals to Animats 15 15th International Conference on Simulation of Adaptive Behavior, SAB 2018, Frankfurt/Main, Germany, August 14-17, 2018, Proceedings

From Animals to Animats 15 15th International Conference on Simulation of Adaptive Behavior, SAB 2018, Frankfurt/Main, Germany, August 14-17, 2018, Proceedings

Author

Manoonpong, Poramate. editor. (orcid)0000-0002-4806-7576 Larsen, Jørgen Christian. editor. (orcid)0000-0002-4741-8290 Xiong, Xiaofeng. editor. Hallam, John. editor. Triesch, Jochen. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-97628-0

Format:

Availability

Online Library~1

Available:
Copies:

42.

Ambient Intelligence 14th European Conference, AmI 2018, Larnaca, Cyprus, November 12-14, 2018, Proceedings

Author

Kameas, Achilles. editor. (orcid)0000-0002-1004-7860 Stathis, Kostas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-03062-9

Format:

Availability

Online Library~1

Available:
Copies:

43.

Cover image for Internet of Vehicles. Technologies and Services Towards Smart City 5th International Conference, IOV 2018, Paris, France, November 20–22, 2018, Proceedings

Internet of Vehicles. Technologies and Services Towards Smart City 5th International Conference, IOV 2018, Paris, France, November 20–22, 2018, Proceedings

Author

Skulimowski, Andrzej M.J. editor. (orcid)0000-0003-0646-2858 Sheng, Zhengguo. editor. Khemiri-Kallel, Sondès. editor. Cérin, Christophe. editor. Hsu, Ching-Hsien. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-05081-8

Format:

Availability

Online Library~1

Available:
Copies:

44.

Cover image for Internet and Distributed Computing Systems 10th International Conference, IDCS 2017, Mana Island, Fiji, December 11-13, 2017, Proceedings

Internet and Distributed Computing Systems 10th International Conference, IDCS 2017, Mana Island, Fiji, December 11-13, 2017, Proceedings

Author

Fortino, Giancarlo. editor. Ali, A.B.M. Shawkat. editor. Pathan, Mukaddim. editor. Guerrieri, Antonio. editor. Di Fatta, Giuseppe. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-97795-9

Format:

Availability

Online Library~1

Available:
Copies:

45.

Cover image for Collaboration Technologies and Social Computing 10th International Conference, CollabTech 2018, Costa de Caparica, Portugal, September 5-7, 2018, Proceedings

Collaboration Technologies and Social Computing 10th International Conference, CollabTech 2018, Costa de Caparica, Portugal, September 5-7, 2018, Proceedings

Author

Egi, Hironori. editor. Yuizono, Takaya. editor. Baloian, Nelson. editor. Yoshino, Takashi. editor. Ichimura, Satoshi. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-98743-9

Format:

Availability

Online Library~1

Available:
Copies:

46.

Cover image for Cooperative Design, Visualization, and Engineering 15th International Conference, CDVE 2018, Hangzhou, China, October 21–24, 2018, Proceedings

Cooperative Design, Visualization, and Engineering 15th International Conference, CDVE 2018, Hangzhou, China, October 21–24, 2018, Proceedings

Author

Luo, Yuhua. editor. (orcid)0000-0003-3057-4753 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-00560-3

Format:

Availability

Online Library~1

Available:
Copies:

47.

Social Robotics 10th International Conference, ICSR 2018, Qingdao, China, November 28 - 30, 2018, Proceedings

Author

Ge, Shuzhi Sam. editor. (orcid)0000-0001-5549-312X Cabibihan, John-John. editor. (orcid)0000-0001-5892-743X Salichs, Miguel A. editor. Broadbent, Elizabeth. editor. (orcid)0000-0003-3626-9100 He, Hongsheng. editor. (orcid)0000-0002-2810-865X

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-05204-1

Format:

Availability

Online Library~1

Available:
Copies:

48.

Reversible Computation 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings

Author

Kari, Jarkko. editor. (orcid)0000-0003-0670-6138 Ulidowski, Irek. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-99498-7

Format:

Availability

Online Library~1

Available:
Copies:

49.

Cover image for Large-Scale Scientific Computing 11th International Conference, LSSC 2017, Sozopol, Bulgaria, June 5-9, 2017, Revised Selected Papers

Large-Scale Scientific Computing 11th International Conference, LSSC 2017, Sozopol, Bulgaria, June 5-9, 2017, Revised Selected Papers

Author

Lirkov, Ivan. editor. Margenov, Svetozar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-73441-5

Format:

Availability

Online Library~1

Available:
Copies:

50.

Intelligent Robotics and Applications 11th International Conference, ICIRA 2018, Newcastle, NSW, Australia, August 9–11, 2018, Proceedings, Part II

Author

Chen, Zhiyong. editor. (orcid)0000-0002-2033-4249 Mendes, Alexandre. editor. (orcid)0000-0003-1759-3765 Yan, Yamin. editor. (orcid)0000-0001-5838-2652 Chen, Shifeng. editor. (orcid)0000-0003-0677-7358 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-97589-4

Format:

Availability

Online Library~1

Available:
Copies:

51.

Information Systems Security 14th International Conference, ICISS 2018, Bangalore, India, December 17-19, 2018, Proceedings

Author

Ganapathy, Vinod. editor. Jaeger, Trent. editor. Shyamasundar, R.K. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-05171-6

Format:

Availability

Online Library~1

Available:
Copies:

52.

Security Protocols XXVI 26th International Workshop, Cambridge, UK, March 19–21, 2018, Revised Selected Papers

Author

Matyáš, Vashek. editor. Švenda, Petr. editor. Stajano, Frank. editor. Christianson, Bruce. editor. Anderson, Jonathan. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-03251-7

Format:

Availability

Online Library~1

Available:
Copies:

53.

Cover image for Cross-Cultural Design. Methods, Tools, and Users 10th International Conference, CCD 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I

Cross-Cultural Design. Methods, Tools, and Users 10th International Conference, CCD 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I

Author

Rau, Pei-Luen Patrick. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-92141-9

Format:

Availability

Online Library~1

Available:
Copies:

54.

Cover image for Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part II

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part II

Author

Vaidya, Jaideep. editor. Li, Jin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-05054-2

Format:

Availability

Online Library~1

Available:
Copies:

55.

Cover image for Intelligent Computing and Internet of Things First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part II

Intelligent Computing and Internet of Things First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part II

Author

Li, Kang. editor. Fei, Minrui. editor. Du, Dajun. editor. Yang, Zhile. editor. Yang, Dongsheng. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-13-2384-3

Format:

Availability

Online Library~1

Available:
Copies:

56.

Advances in Web-Based Learning – ICWL 2018 17th International Conference, Chiang Mai, Thailand, August 22-24, 2018, Proceedings

Author

Hancke, Gerhard. editor. Spaniol, Marc. editor. Osathanunkul, Kitisak. editor. Unankard, Sayan. editor. Klamma, Ralf. editor. (orcid)0000-0002-2296-3401

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-96565-9

Format:

Availability

Online Library~1

Available:
Copies:

57.

Cover image for Interactive Collaborative Robotics Third International Conference, ICR 2018, Leipzig, Germany, September 18–22, 2018, Proceedings

Interactive Collaborative Robotics Third International Conference, ICR 2018, Leipzig, Germany, September 18–22, 2018, Proceedings

Author

Ronzhin, Andrey. editor. (orcid)0000-0002-8903-3508 Rigoll, Gerhard. editor. (orcid)0000-0003-1096-1596 Meshcheryakov, Roman. editor. (orcid)0000-0002-1129-8434 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-99582-3

Format:

Availability

Online Library~1

Available:
Copies:

58.

Cover image for Advances in Green Energy Systems and Smart Grid First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part III

Advances in Green Energy Systems and Smart Grid First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part III

Author

Li, Kang. editor. Zhang, Jianhua. editor. Chen, Minyou. editor. Yang, Zhile. editor. Niu, Qun. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-13-2381-2

Format:

Availability

Online Library~1

Available:
Copies:

59.

Cover image for Internet and Distributed Computing Systems 11th International Conference, IDCS 2018, Tokyo, Japan, October 11–13, 2018, Proceedings

Internet and Distributed Computing Systems 11th International Conference, IDCS 2018, Tokyo, Japan, October 11–13, 2018, Proceedings

Author

Xiang, Yang. editor. Sun, Jingtao. editor. Fortino, Giancarlo. editor. Guerrieri, Antonio. editor. Jung, Jason J. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-02738-4

Format:

Availability

Online Library~1

Available:
Copies:

60.

Communications and Networking 12th International Conference, ChinaCom 2017, Xi’an, China, October 10-12, 2017, Proceedings, Part II

Author

Li, Bo. editor. Shu, Lei. editor. Zeng, Deze. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-78139-6

Format:

Availability

Online Library~1

Available:
Copies:

61.

Global Thoughts, Local Designs INTERACT 2017 IFIP TC 13 Workshops, Mumbai, India, September 25-27, 2017, Revised Selected Papers

Author

Clemmensen, Torkil. editor. (orcid)0000-0002-0934-2336 Rajamanickam, Venkatesh. editor. Dannenmann, Peter. editor. (orcid)0000-0002-9720-926X Petrie, Helen. editor. (orcid)0000-0002-0100-9846 Winckler, Marco. editor. (orcid)0000-0002-0756-6934

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-92081-8

Format:

Availability

Online Library~1

Available:
Copies:

62.

Cover image for Modelling and Simulation for Autonomous Systems 4th International Conference, MESAS 2017, Rome, Italy, October 24-26, 2017, Revised Selected Papers

Modelling and Simulation for Autonomous Systems 4th International Conference, MESAS 2017, Rome, Italy, October 24-26, 2017, Revised Selected Papers

Author

Mazal, Jan. editor. (orcid)0000-0001-5741-558X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-76072-8

Format:

Availability

Online Library~1

Available:
Copies:

63.

Hybrid Artificial Intelligent Systems 13th International Conference, HAIS 2018, Oviedo, Spain, June 20-22, 2018, Proceedings

Author

de Cos Juez, Francisco Javier. editor. Villar, José Ramón. editor. de la Cal, Enrique A. editor. Herrero, Álvaro. editor. Quintián, Héctor. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-92639-1

Format:

Availability

Online Library~1

Available:
Copies:

64.

Advances in Swarm Intelligence 9th International Conference, ICSI 2018, Shanghai, China, June 17-22, 2018, Proceedings, Part I

Author

Tan, Ying. editor. Shi, Yuhui. editor. Tang, Qirong. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-93815-8

Format:

Availability

Online Library~1

Available:
Copies:

65.

Cover image for Technological Innovation for Resilient Systems 9th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2018, Costa de Caparica, Portugal, May 2-4, 2018, Proceedings

Technological Innovation for Resilient Systems 9th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2018, Costa de Caparica, Portugal, May 2-4, 2018, Proceedings

Author

Camarinha-Matos, Luis M. editor. (orcid)0000-0003-0594-1961 Adu-Kankam, Kankam O. editor. (orcid)0000-0001-8572-1170 Julashokri, Mohammad. editor. (orcid)0000-0003-0012-9456 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-78574-5

Format:

Availability

Online Library~1

Available:
Copies:

66.

Cover image for Artificial Intelligence and Mobile Services – AIMS 2018 7th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings

Artificial Intelligence and Mobile Services – AIMS 2018 7th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings

Author

Aiello, Marco. editor. Yang, Yujiu. editor. Zou, Yuexian. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-94361-9

Format:

Availability

Online Library~1

Available:
Copies:

67.

Cover image for Cloud Computing – CLOUD 2018 11th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedings

Cloud Computing – CLOUD 2018 11th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedings

Author

Luo, Min. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-94295-7

Format:

Availability

Online Library~1

Available:
Copies:

68.

Cover image for Big Data – BigData 2018 7th International Congress, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedings

Big Data – BigData 2018 7th International Congress, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedings

Author

Chin, Francis Y. L. editor. Chen, C. L. Philip. editor. (orcid)0000-0001-5451-7230 Khan, Latifur. editor. Lee, Kisung. editor. (orcid)0000-0003-4367-4374 Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-94301-5

Format:

Availability

Online Library~1

Available:
Copies:

69.

Cover image for Euro-Par 2017: Parallel Processing Workshops Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papers

Euro-Par 2017: Parallel Processing Workshops Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papers

Author

Heras, Dora B. editor. Bougé, Luc. editor. Mencagli, Gabriele. editor. Jeannot, Emmanuel. editor. Sakellariou, Rizos. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-75178-8

Format:

Availability

Online Library~1

Available:
Copies:

70.

Cover image for e-Infrastructure and e-Services for Developing Countries 8th International Conference, AFRICOMM 2016, Ouagadougou, Burkina Faso, December 6-7, 2016, Proceedings

e-Infrastructure and e-Services for Developing Countries 8th International Conference, AFRICOMM 2016, Ouagadougou, Burkina Faso, December 6-7, 2016, Proceedings

Author

Bissyande, Tegawendé F. editor. Sie, Oumarou. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-66742-3

Format:

Availability

Online Library~1

Available:
Copies:

71.

Cover image for Cloud Infrastructures, Services, and IoT Systems for Smart Cities Second EAI International Conference, IISSC 2017 and CN4IoT 2017, Brindisi, Italy, April 20–21, 2017, Proceedings

Cloud Infrastructures, Services, and IoT Systems for Smart Cities Second EAI International Conference, IISSC 2017 and CN4IoT 2017, Brindisi, Italy, April 20–21, 2017, Proceedings

Author

Longo, Antonella. editor. Zappatore, Marco. editor. Villari, Massimo. editor. Rana, Omer. editor. Bruneo, Dario. editor. (orcid)0000-0002-6080-9077

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-67636-4

Format:

Availability

Online Library~1

Available:
Copies:

72.

Cover image for Communications and Networking 11th EAI international Conference, ChinaCom 2016 Chongqing, China, September 24-26, 2016, Proceedings, Part II

Communications and Networking 11th EAI international Conference, ChinaCom 2016 Chongqing, China, September 24-26, 2016, Proceedings, Part II

Author

Chen, Qianbin. editor. Meng, Weixiao. editor. Zhao, Liqiang. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-66628-0

Format:

Availability

Online Library~1

Available:
Copies:

73.

Communications and Networking 11th EAI International Conference, ChinaCom 2016, Chongqing, China, September 24-26, 2016, Proceedings, Part I

Author

Chen, Qianbin. editor. Meng, Weixiao. editor. Zhao, Liqiang. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-66625-9

Format:

Availability

Online Library~1

Available:
Copies:

74.

Membrane Computing 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers

Author

Gheorghe, Marian. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Zandron, Claudio. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-73359-3

Format:

Availability

Online Library~1

Available:
Copies:

75.

Cover image for Information and Communications Security 19th International Conference, ICICS 2017, Beijing, China, December 6-8, 2017, Proceedings

Information and Communications Security 19th International Conference, ICICS 2017, Beijing, China, December 6-8, 2017, Proceedings

Author

Qing, Sihan. editor. Mitchell, Chris. editor. Chen, Liqun. editor. Liu, Dongmei. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-89500-0

Format:

Availability

Online Library~1

Available:
Copies:

76.

Cover image for Applications of Computing and Communication Technologies First International Conference, ICACCT 2018, Delhi, India, March 9, 2018, Revised Selected Papers

Applications of Computing and Communication Technologies First International Conference, ICACCT 2018, Delhi, India, March 9, 2018, Revised Selected Papers

Author

Deka, Ganesh Chandra. editor. Kaiwartya, Omprakash. editor. Vashisth, Pooja. editor. Rathee, Priyanka. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-13-2035-4

Format:

Availability

Online Library~1

Available:
Copies:

77.

Cover image for Virtual, Augmented and Mixed Reality: Interaction, Navigation, Visualization, Embodiment, and Simulation 10th International Conference, VAMR 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I

Virtual, Augmented and Mixed Reality: Interaction, Navigation, Visualization, Embodiment, and Simulation 10th International Conference, VAMR 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I

Author

Chen, Jessie Y.C. editor. Fragomeni, Gino. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-91581-4

Format:

Availability

Online Library~1

Available:
Copies:

78.

Cover image for Blended Learning. Enhancing Learning Success 11th International Conference, ICBL 2018, Osaka, Japan, July 31- August 2, 2018, Proceedings

Blended Learning. Enhancing Learning Success 11th International Conference, ICBL 2018, Osaka, Japan, July 31- August 2, 2018, Proceedings

Author

Cheung, Simon K.S. editor. Kwok, Lam-for. editor. Kubota, Kenichi. editor. Lee, Lap-Kei. editor. Tokito, Jumpei. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-94505-7

Format:

Availability

Online Library~1

Available:
Copies:

79.

Cover image for PRIMA 2018: Principles and Practice of Multi-Agent Systems 21st International Conference, Tokyo, Japan, October 29-November 2, 2018, Proceedings

PRIMA 2018: Principles and Practice of Multi-Agent Systems 21st International Conference, Tokyo, Japan, October 29-November 2, 2018, Proceedings

Author

Miller, Tim. editor. (orcid)0000-0003-4908-6063 Oren, Nir. editor. (orcid)0000-0002-4854-9014 Sakurai, Yuko. editor. (orcid)0000-0002-0642-3878 Noda, Itsuki. editor. (orcid)0000-0003-1987-5336 Savarimuthu, Bastin Tony Roy. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-03098-8

Format:

Availability

Online Library~1

Available:
Copies:

80.

Cover image for Multi-disciplinary Trends in Artificial Intelligence 12th International Conference, MIWAI 2018, Hanoi, Vietnam, November 18–20, 2018, Proceedings

Multi-disciplinary Trends in Artificial Intelligence 12th International Conference, MIWAI 2018, Hanoi, Vietnam, November 18–20, 2018, Proceedings

Author

Kaenampornpan, Manasawee. editor. Malaka, Rainer. editor. Nguyen, Duc Dung. editor. Schwind, Nicolas. editor. (orcid)0000-0001-7972-5984 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-03014-8

Format:

Availability

Online Library~1

Available:
Copies:

81.

Cover image for Computer and Information Sciences 32nd International Symposium, ISCIS 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 20-21, 2018, Proceedings

Computer and Information Sciences 32nd International Symposium, ISCIS 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 20-21, 2018, Proceedings

Author

Czachórski, Tadeusz. editor. (orcid)0000-0001-7158-0258 Gelenbe, Erol. editor. (orcid)0000-0001-9688-2201 Grochla, Krzysztof. editor. (orcid)0000-0001-6221-4790 Lent, Ricardo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-00840-6

Format:

Availability

Online Library~1

Available:
Copies:

82.

Ad Hoc Networks 9th International Conference, AdHocNets 2017, Niagara Falls, ON, Canada, September 28–29, 2017, Proceedings

Author

Zhou, Yifeng. editor. Kunz, Thomas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-74439-1

Format:

Availability

Online Library~1

Available:
Copies:

83.

Cover image for Mobile Networks and Management 9th International Conference, MONAMI 2017, Melbourne, Australia, December 13-15, 2017, Proceedings

Mobile Networks and Management 9th International Conference, MONAMI 2017, Melbourne, Australia, December 13-15, 2017, Proceedings

Author

Hu, Jiankun. editor. Khalil, Ibrahim. editor. Tari, Zahir. editor. Wen, Sheng. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-90775-8

Format:

Availability

Online Library~1

Available:
Copies:

84.

Cover image for New Frontiers in Quantitative Methods in Informatics 7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017, Revised Selected Papers

New Frontiers in Quantitative Methods in Informatics 7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017, Revised Selected Papers

Author

Balsamo, Simonetta. editor. Marin, Andrea. editor. Vicario, Enrico. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-91632-3

Format:

Availability

Online Library~1

Available:
Copies:

85.

Cover image for Coordination Models and Languages 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings

Coordination Models and Languages 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings

Author

Di Marzo Serugendo, Giovanna. editor. (orcid)0000-0001-5048-5251 Loreti, Michele. editor. (orcid)0000-0003-3061-863X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-92408-3

Format:

Availability

Online Library~1

Available:
Copies:

86.

Cover image for Distributed Applications and Interoperable Systems 18th IFIP WG 6.1 International Conference, DAIS 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings

Distributed Applications and Interoperable Systems 18th IFIP WG 6.1 International Conference, DAIS 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings

Author

Bonomi, Silvia. editor. Rivière, Etienne. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-93767-0

Format:

Availability

Online Library~1

Available:
Copies:

87.

Cover image for Formal Techniques for Distributed Objects, Components, and Systems 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings

Formal Techniques for Distributed Objects, Components, and Systems 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings

Author

Baier, Christel. editor. Caires, Luís. editor. (orcid)0000-0002-3215-6734 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-92612-4

Format:

Availability

Online Library~1

Available:
Copies:

88.

Cover image for Emerging Technologies for Developing Countries First International EAI Conference, AFRICATEK 2017, Marrakech, Morocco, March 27-28, 2017 Proceedings

Emerging Technologies for Developing Countries First International EAI Conference, AFRICATEK 2017, Marrakech, Morocco, March 27-28, 2017 Proceedings

Author

Belqasmi, Fatna. editor. Harroud, Hamid. editor. Agueh, Max. editor. Dssouli, Rachida. editor. Kamoun, Faouzi. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-67837-5

Format:

Availability

Online Library~1

Available:
Copies:

89.

Love and Sex with Robots Third International Conference, LSR 2017, London, UK, December 19-20, 2017, Revised Selected Papers

Author

Cheok, Adrian David. editor. (orcid)0000-0001-6316-2339 Levy, David. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-76369-9

Format:

Availability

Online Library~1

Available:
Copies:

90.

Cover image for Ubiquitous Communications and Network Computing First International Conference, UBICNET 2017, Bangalore, India, August 3-5, 2017, Proceedings

Ubiquitous Communications and Network Computing First International Conference, UBICNET 2017, Bangalore, India, August 3-5, 2017, Proceedings

Author

Kumar, Navin. editor. Thakre, Arpita. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-73423-1

Format:

Availability

Online Library~1

Available:
Copies:

91.

Cover image for Future Access Enablers for Ubiquitous and Intelligent Infrastructures Third International Conference, FABULOUS 2017, Bucharest, Romania, October 12-14, 2017, Proceedings

Future Access Enablers for Ubiquitous and Intelligent Infrastructures Third International Conference, FABULOUS 2017, Bucharest, Romania, October 12-14, 2017, Proceedings

Author

Fratu, Octavian. editor. Militaru, Nicolae. editor. Halunga, Simona. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-92213-3

Format:

Availability

Online Library~1

Available:
Copies:

92.

Computational Science and Its Applications – ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2–5, 2018, Proceedings, Part III

Author

Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Torre, Carmelo M. editor. (orcid)0000-0003-4737-6040

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-95168-3

Format:

Availability

Online Library~1

Available:
Copies:

93.

Computational Science and Its Applications – ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part V

Author

Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Torre, Carmelo M. editor. (orcid)0000-0003-4737-6040

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-95174-4

Format:

Availability

Online Library~1

Available:
Copies:

94.

MultiMedia Modeling 24th International Conference, MMM 2018, Bangkok, Thailand, February 5-7, 2018, Proceedings, Part I

Author

Schoeffmann, Klaus. editor. Chalidabhongse, Thanarat H. editor. Ngo, Chong Wah. editor. Aramvith, Supavadee. editor. O’Connor, Noel E. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-73603-7

Format:

Availability

Online Library~1

Available:
Copies:

95.

Cover image for Computing, Analytics and Networks First International Conference, ICAN 2017, Chandigarh, India, October 27-28, 2017, Revised Selected Papers

Computing, Analytics and Networks First International Conference, ICAN 2017, Chandigarh, India, October 27-28, 2017, Revised Selected Papers

Author

Sharma, Rajnish. editor. Mantri, Archana. editor. Dua, Sumeet. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-13-0755-3

Format:

Availability

Online Library~1

Available:
Copies:

96.

Biomimetic and Biohybrid Systems 7th International Conference, Living Machines 2018, Paris, France, July 17–20, 2018, Proceedings

Author

Vouloutsi, Vasiliki. editor. (orcid)0000-0001-6425-1026 Halloy, José. editor. Mura, Anna. editor. Mangan, Michael. editor. (orcid)0000-0002-0293-8874 Lepora, Nathan. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-95972-6

Format:

Availability

Online Library~1

Available:
Copies:

97.

Cover image for Digital Human Modeling. Applications in Health, Safety, Ergonomics, and Risk Management 9th International Conference, DHM 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings

Digital Human Modeling. Applications in Health, Safety, Ergonomics, and Risk Management 9th International Conference, DHM 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings

Author

Duffy, Vincent G. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-91397-1

Format:

Availability

Online Library~1

Available:
Copies:

98.

Cover image for Universal Access in Human-Computer Interaction. Virtual, Augmented, and Intelligent Environments 12th International Conference, UAHCI 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II

Universal Access in Human-Computer Interaction. Virtual, Augmented, and Intelligent Environments 12th International Conference, UAHCI 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II

Author

Antona, Margherita. editor. Stephanidis, Constantine. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-92052-8

Format:

Availability

Online Library~1

Available:
Copies:

99.

Cover image for Human Interface and the Management of Information. Interaction, Visualization, and Analytics 20th International Conference, HIMI 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I

Human Interface and the Management of Information. Interaction, Visualization, and Analytics 20th International Conference, HIMI 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I

Author

Yamamoto, Sakae. editor. Mori, Hirohiko. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-92043-6

Format:

Availability

Online Library~1

Available:
Copies:

100.

Cover image for Distributed, Ambient and Pervasive Interactions: Technologies and Contexts 6th International Conference, DAPI 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part II

Distributed, Ambient and Pervasive Interactions: Technologies and Contexts 6th International Conference, DAPI 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part II

Author

Streitz, Norbert. editor. (orcid)0000-0002-0244-0945 Konomi, Shin’ichi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-91131-1

Format:

Availability

Online Library~1

Available:
Copies:

101.

Cover image for Design, User Experience, and Usability: Theory and Practice 7th International Conference, DUXU 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I

Design, User Experience, and Usability: Theory and Practice 7th International Conference, DUXU 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I

Author

Marcus, Aaron. editor. Wang, Wentao. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-91797-9

Format:

Availability

Online Library~1

Available:
Copies:

102.

Software Failure Investigation A Near-Miss Analysis Approach

Author

Eloff, Jan. author. Bihina Bella, Madeleine. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-61334-5

Format:

Availability

Online Library~1

Available:
Copies:

103.

Fog Computing Concepts, Frameworks and Technologies

Author

Mahmood, Zaigham. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-94890-4

Format:

Availability

Online Library~1

Available:
Copies:

104.

Cover image for Augmented Reality, Virtual Reality, and Computer Graphics 5th International Conference, AVR 2018, Otranto, Italy, June 24–27, 2018, Proceedings, Part I

Augmented Reality, Virtual Reality, and Computer Graphics 5th International Conference, AVR 2018, Otranto, Italy, June 24–27, 2018, Proceedings, Part I

Author

De Paolis, Lucio Tommaso. editor. (orcid)0000-0003-1274-9070 Bourdot, Patrick. editor. (orcid)0000-0003-2247-1930 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-95270-3

Format:

Availability

Online Library~1

Available:
Copies:

105.

Cover image for Security in Computer and Information Sciences First International ISCIS Security Workshop 2018, Euro-CYBERSEC 2018, London, UK, February 26-27, 2018, Revised Selected Papers

Security in Computer and Information Sciences First International ISCIS Security Workshop 2018, Euro-CYBERSEC 2018, London, UK, February 26-27, 2018, Revised Selected Papers

Author

Gelenbe, Erol. editor. (orcid)0000-0001-9688-2201 Campegiani, Paolo. editor. Czachórski, Tadeusz. editor. Katsikas, Sokratis K. editor. (orcid)0000-0003-2966-9683 Komnios, Ioannis. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-95189-8

Format:

Availability

Online Library~1

Available:
Copies:

106.

Augmented Reality, Virtual Reality, and Computer Graphics 5th International Conference, AVR 2018, Otranto, Italy, June 24–27, 2018, Proceedings, Part II

Author

De Paolis, Lucio Tommaso. editor. (orcid)0000-0003-1274-9070 Bourdot, Patrick. editor. (orcid)0000-0003-2247-1930 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-95282-6

Format:

Availability

Online Library~1

Available:
Copies:

107.

Advances in Cryptology – ASIACRYPT 2018 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2–6, 2018, Proceedings, Part III

Author

Peyrin, Thomas. editor. (orcid)0000-0002-2690-9197 Galbraith, Steven. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-03332-3

Format:

Availability

Online Library~1

Available:
Copies:

108.

Engineering Multi-Agent Systems 5th International Workshop, EMAS 2017, Sao Paulo, Brazil, May 8-9, 2017, Revised Selected Papers

Author

El Fallah-Seghrouchni, Amal. editor. Ricci, Alessandro. editor. (orcid)0000-0002-9222-5092 Son, Tran Cao. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-91899-0

Format:

Availability

Online Library~1

Available:
Copies:

109.

Security and Cryptography for Networks 11th International Conference, SCN 2018, Amalfi, Italy, September 5–7, 2018, Proceedings

Author

Catalano, Dario. editor. De Prisco, Roberto. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-98113-0

Format:

Availability

Online Library~1

Available:
Copies:

110.

Cover image for ICT Innovations 2018. Engineering and Life Sciences 10th International Conference, ICT Innovations 2018, Ohrid, Macedonia, September 17–19, 2018, Proceedings

ICT Innovations 2018. Engineering and Life Sciences 10th International Conference, ICT Innovations 2018, Ohrid, Macedonia, September 17–19, 2018, Proceedings

Author

Kalajdziski, Slobodan. editor. (orcid)0000-0003-3373-8637 Ackovska, Nevena. editor. (orcid)0000-0002-8990-0915 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-00825-3

Format:

Availability

Online Library~1

Available:
Copies:

111.

Advances in Cryptology – ASIACRYPT 2018 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2–6, 2018, Proceedings, Part I

Author

Peyrin, Thomas. editor. (orcid)0000-0002-2690-9197 Galbraith, Steven. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-03326-2

Format:

Availability

Online Library~1

Available:
Copies:

112.

Cover image for Human-Computer Interaction. Interaction in Context 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part II

Human-Computer Interaction. Interaction in Context 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part II

Author

Kurosu, Masaaki. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-91244-8

Format:

Availability

Online Library~1

Available:
Copies:

113.

Cover image for Intelligent Transport Systems – From Research and Development to the Market Uptake First International Conference, INTSYS 2017, Hyvinkää, Finland, November 29-30, 2017, Proceedings

Intelligent Transport Systems – From Research and Development to the Market Uptake First International Conference, INTSYS 2017, Hyvinkää, Finland, November 29-30, 2017, Proceedings

Author

Kováčiková, Tatiana. editor. Buzna, Ľuboš. editor. Pourhashem, Ghadir. editor. Lugano, Giuseppe. editor. Cornet, Yannick. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-93710-6

Format:

Availability

Online Library~1

Available:
Copies:

114.

Cover image for Universal Access in Human-Computer Interaction. Methods, Technologies, and Users 12th International Conference, UAHCI 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I

Universal Access in Human-Computer Interaction. Methods, Technologies, and Users 12th International Conference, UAHCI 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I

Author

Antona, Margherita. editor. Stephanidis, Constantine. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-92049-8

Format:

Availability

Online Library~1

Available:
Copies:

115.

Cover image for Cellular Automata 13th International Conference on Cellular Automata for Research and Industry, ACRI 2018, Como, Italy, September 17–21, 2018, Proceedings

Cellular Automata 13th International Conference on Cellular Automata for Research and Industry, ACRI 2018, Como, Italy, September 17–21, 2018, Proceedings

Author

Mauri, Giancarlo. editor. (orcid)0000-0003-3520-4022 El Yacoubi, Samira. editor. (orcid)0000-0002-8017-5286 Dennunzio, Alberto. editor. (orcid)0000-0003-1420-404X Nishinari, Katsuhiro. editor. Manzoni, Luca. editor. (orcid)0000-0001-6312-7728

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-99813-8

Format:

Availability

Online Library~1

Available:
Copies:

116.

Cover image for Computer Information Systems and Industrial Management 17th International Conference, CISIM 2018, Olomouc, Czech Republic, September 27-29, 2018, Proceedings

Computer Information Systems and Industrial Management 17th International Conference, CISIM 2018, Olomouc, Czech Republic, September 27-29, 2018, Proceedings

Author

Saeed, Khalid. editor. (orcid)0000-0002-7741-7045 Homenda, Władysław. editor. (orcid)0000-0001-7787-4927 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-99954-8

Format:

Availability

Online Library~1

Available:
Copies:

117.

Cover image for Computer Safety, Reliability, and Security 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings

Computer Safety, Reliability, and Security 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings

Author

Gallina, Barbara. editor. (orcid)0000-0002-6952-1053 Skavhaug, Amund. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-99130-6

Format:

Availability

Online Library~1

Available:
Copies:

118.

Wireless Internet 9th International Conference, WICON 2016, Haikou, China, December 19-20, 2016, Proceedings

Author

Huang, Mengxing. editor. Zhang, Yan. editor. Jing, Weipeng. editor. Mehmood, Amjad. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-72998-5

Format:

Availability

Online Library~1

Available:
Copies:

119.

Cover image for Applications of Evolutionary Computation 21st International Conference, EvoApplications 2018, Parma, Italy, April 4-6, 2018, Proceedings

Applications of Evolutionary Computation 21st International Conference, EvoApplications 2018, Parma, Italy, April 4-6, 2018, Proceedings

Author

Sim, Kevin. editor. (orcid)0000-0001-6555-7721 Kaufmann, Paul. editor. (orcid)0000-0001-7196-389X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-77538-8

Format:

Availability

Online Library~1

Available:
Copies:

120.

Cover image for Context-Aware Systems and Applications, and Nature of Computation and Communication 6th International Conference, ICCASA 2017, and 3rd International Conference, ICTCC 2017, Tam Ky, Vietnam, November 23-24, 2017, Proceedings

Context-Aware Systems and Applications, and Nature of Computation and Communication 6th International Conference, ICCASA 2017, and 3rd International Conference, ICTCC 2017, Tam Ky, Vietnam, November 23-24, 2017, Proceedings

Author

Cong Vinh, Phan. editor. Ha Huy Cuong, Nguyen. editor. Vassev, Emil. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-77818-1

Format:

Availability

Online Library~1

Available:
Copies:

121.

Advanced Computing Strategies for Engineering 25th EG-ICE International Workshop 2018, Lausanne, Switzerland, June 10-13, 2018, Proceedings, Part I

Author

Smith, Ian F. C. editor. Domer, Bernd. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-91635-4

Format:

Availability

Online Library~1

Available:
Copies:

122.

Cover image for Information Security Theory and Practice 11th IFIP WG 11.2 International Conference, WISTP 2017, Heraklion, Crete, Greece, September 28–29, 2017, Proceedings

Information Security Theory and Practice 11th IFIP WG 11.2 International Conference, WISTP 2017, Heraklion, Crete, Greece, September 28–29, 2017, Proceedings

Author

Hancke, Gerhard P. editor. Damiani, Ernesto. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-93524-9

Format:

Availability

Online Library~1

Available:
Copies:

123.

Cover image for Smart Homes and Health Telematics, Designing a Better Future: Urban Assisted Living 16th International Conference, ICOST 2018, Singapore, Singapore, July 10-12, 2018, Proceedings

Smart Homes and Health Telematics, Designing a Better Future: Urban Assisted Living 16th International Conference, ICOST 2018, Singapore, Singapore, July 10-12, 2018, Proceedings

Author

Mokhtari, Mounir. editor. Abdulrazak, Bessam. editor. Aloulou, Hamdi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-94523-1

Format:

Availability

Online Library~1

Available:
Copies:

124.

Cover image for Design, User Experience, and Usability: Designing Interactions 7th International Conference, DUXU 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II

Design, User Experience, and Usability: Designing Interactions 7th International Conference, DUXU 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II

Author

Marcus, Aaron. editor. Wang, Wentao. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-91803-7

Format:

Availability

Online Library~1

Available:
Copies:

125.

Cover image for Design, User Experience, and Usability: Users, Contexts and Case Studies 7th International Conference, DUXU 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part III

Design, User Experience, and Usability: Users, Contexts and Case Studies 7th International Conference, DUXU 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part III

Author

Marcus, Aaron. editor. Wang, Wentao. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-91806-8

Format:

Availability

Online Library~1

Available:
Copies:

126.

Cover image for Wireless Sensor Networks 11th China Wireless Sensor Network Conference, CWSN 2017, Tianjin, China, October 12-14, 2017, Revised Selected Papers

Wireless Sensor Networks 11th China Wireless Sensor Network Conference, CWSN 2017, Tianjin, China, October 12-14, 2017, Revised Selected Papers

Author

Li, Jianzhong. editor. Ma, Huadong. editor. Li, Keqiu. editor. Cui, Li. editor. Sun, Limin. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-10-8123-1

Format:

Availability

Online Library~1

Available:
Copies:

127.

Cover image for Formal Methods and Software Engineering 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings

Formal Methods and Software Engineering 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings

Author

Duan, Zhenhua. editor. Ong, Luke. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-68690-5

Format:

Availability

Online Library~1

Available:
Copies:

128.

Cover image for Cryptographic Hardware and Embedded Systems - CHES 2017 19th International Conference, Taipei, Taiwan, September 25-28, 2017, Proceedings

Cryptographic Hardware and Embedded Systems - CHES 2017 19th International Conference, Taipei, Taiwan, September 25-28, 2017, Proceedings

Author

Fischer, Wieland. editor. Homma, Naofumi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-66787-4

Format:

Availability

Online Library~1

Available:
Copies:

129.

Cover image for Augmented Reality, Virtual Reality, and Computer Graphics 4th International Conference, AVR 2017, Ugento, Italy, June 12-15, 2017, Proceedings, Part I

Augmented Reality, Virtual Reality, and Computer Graphics 4th International Conference, AVR 2017, Ugento, Italy, June 12-15, 2017, Proceedings, Part I

Author

De Paolis, Lucio Tommaso. editor. Bourdot, Patrick. editor. Mongelli, Antonio. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-60922-5

Format:

Availability

Online Library~1

Available:
Copies:

130.

Cover image for Theory and Applications of Satisfiability Testing - SAT 2017 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings

Theory and Applications of Satisfiability Testing - SAT 2017 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings

Author

Gaspers, Serge. editor. Walsh, Toby. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-66263-3

Format:

Availability

Online Library~1

Available:
Copies:

131.

Cover image for Computational Science and Its Applications - ICCSA 2017 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part V

Computational Science and Its Applications - ICCSA 2017 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part V

Author

Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Borruso, Giuseppe. editor. Torre, Carmelo M. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-62404-4

Format:

Availability

Online Library~1

Available:
Copies:

132.

Computational Science and Its Applications - ICCSA 2017 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part VI

Author

Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Borruso, Giuseppe. editor. Torre, Carmelo M. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-62407-5

Format:

Availability

Online Library~1

Available:
Copies:

133.

Cover image for Interoperability, Safety and Security in IoT Second International Conference, InterIoT 2016 and Third International Conference, SaSeIoT 2016, Paris, France, October 26-27, 2016, Revised Selected Papers

Interoperability, Safety and Security in IoT Second International Conference, InterIoT 2016 and Third International Conference, SaSeIoT 2016, Paris, France, October 26-27, 2016, Revised Selected Papers

Author

Mitton, Nathalie. editor. Chaouchi, Hakima. editor. Noel, Thomas. editor. Watteyne, Thomas. editor. Gabillon, Alban. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-52727-7

Format:

Availability

Online Library~1

Available:
Copies:

134.

Cover image for Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings

Author

Fantechi, Alessandro. editor. Lecomte, Thierry. editor. Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-68499-4

Format:

Availability

Online Library~1

Available:
Copies:

135.

Cover image for Combinatorial Optimization and Applications 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part I

Combinatorial Optimization and Applications 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part I

Author

Gao, Xiaofeng. editor. Du, Hongwei. editor. Han, Meng. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-71150-8

Format:

Availability

Online Library~1

Available:
Copies:

136.

Cover image for Environmental Software Systems. Computer Science for Environmental Protection 12th IFIP WG 5.11 International Symposium, ISESS 2017, Zadar, Croatia, May 10-12, 2017, Proceedings

Environmental Software Systems. Computer Science for Environmental Protection 12th IFIP WG 5.11 International Symposium, ISESS 2017, Zadar, Croatia, May 10-12, 2017, Proceedings

Author

Hřebíček, Jiří. editor. Denzer, Ralf. editor. Schimak, Gerald. editor. Pitner, Tomáš. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-89935-0

Format:

Availability

Online Library~1

Available:
Copies:

137.

Cover image for On the Move to Meaningful Internet Systems: OTM 2016 Workshops Confederated International Workshops: EI2N, FBM, ICSP, Meta4eS, and OTMA 2016, Rhodes, Greece, October 24-28, 2016, Revised Selected Papers

On the Move to Meaningful Internet Systems: OTM 2016 Workshops Confederated International Workshops: EI2N, FBM, ICSP, Meta4eS, and OTMA 2016, Rhodes, Greece, October 24-28, 2016, Revised Selected Papers

Author

Ciuciu, Ioana. editor. Debruyne, Christophe. editor. Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 Weichhart, Georg. editor. Bollen, Peter. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-55961-2

Format:

Availability

Online Library~1

Available:
Copies:

138.

Cover image for Information and Software Technologies 23rd International Conference, ICIST 2017, Druskininkai, Lithuania, October 12-14, 2017, Proceedings

Information and Software Technologies 23rd International Conference, ICIST 2017, Druskininkai, Lithuania, October 12-14, 2017, Proceedings

Author

Damaševičius, Robertas. editor. (orcid)0000-0001-9990-1084 Mikašytė, Vilma. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-67642-5

Format:

Availability

Online Library~1

Available:
Copies:

139.

Smart Cities The Internet of Things, People and Systems

Author

Dustdar, Schahram. author. Nastić, Stefan. author. Šćekić, Ognjen. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-60030-7

Format:

Availability

Online Library~1

Available:
Copies:

140.

Cover image for SOFSEM 2017: Theory and Practice of Computer Science 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings

SOFSEM 2017: Theory and Practice of Computer Science 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings

Author

Steffen, Bernhard. editor. Baier, Christel. editor. van den Brand, Mark. editor. Eder, Johann. editor. Hinchey, Mike. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-51963-0

Format:

Availability

Online Library~1

Available:
Copies:

141.

Serviceology for Services 5th International Conference, ICServ 2017, Vienna, Austria, July 12-14, 2017, Proceedings

Author

Hara, Yoshinori. editor. Karagiannis, Dimitris. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-61240-9

Format:

Availability

Online Library~1

Available:
Copies:

142.

Cover image for Automated Technology for Verification and Analysis 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings

Automated Technology for Verification and Analysis 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings

Author

D'Souza, Deepak. editor. Narayan Kumar, K. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-68167-2

Format:

Availability

Online Library~1

Available:
Copies:

143.

Network and System Security 11th International Conference, NSS 2017, Helsinki, Finland, August 21-23, 2017, Proceedings

Author

Yan, Zheng. editor. (orcid)0000-0002-9697-2108 Molva, Refik. editor. Mazurczyk, Wojciech. editor. Kantola, Raimo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-64701-2

Format:

Availability

Online Library~1

Available:
Copies:

144.

Cover image for Testing Software and Systems 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings

Testing Software and Systems 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings

Author

Yevtushenko, Nina. editor. Cavalli, Ana Rosa. editor. Yenigün, Hüsnü. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-67549-7

Format:

Availability

Online Library~1

Available:
Copies:

145.

Cover image for Advances in Cryptology - CRYPTO 2017 37th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 20-24, 2017, Proceedings, Part II

Advances in Cryptology - CRYPTO 2017 37th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 20-24, 2017, Proceedings, Part II

Author

Katz, Jonathan. editor. Shacham, Hovav. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-63715-0

Format:

Availability

Online Library~1

Available:
Copies:

146.

Cover image for Numerical Software Verification 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers

Numerical Software Verification 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers

Author

Bogomolov, Sergiy. editor. Martel, Matthieu. editor. Prabhakar, Pavithra. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-54292-8

Format:

Availability

Online Library~1

Available:
Copies:

147.

Cover image for Risk Assessment and Risk-Driven Quality Assurance 4th International Workshop, RISK 2016, Held in Conjunction with ICTSS 2016, Graz, Austria, October 18, 2016, Revised Selected Papers

Risk Assessment and Risk-Driven Quality Assurance 4th International Workshop, RISK 2016, Held in Conjunction with ICTSS 2016, Graz, Austria, October 18, 2016, Revised Selected Papers

Author

Großmann, Jürgen. editor. Felderer, Michael. editor. Seehusen, Fredrik. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-57858-3

Format:

Availability

Online Library~1

Available:
Copies:

148.

Cover image for Software Engineering for Self-Adaptive Systems III. Assurances International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers

Software Engineering for Self-Adaptive Systems III. Assurances International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers

Author

de Lemos, Rogério. editor. Garlan, David. editor. Ghezzi, Carlo. editor. Giese, Holger. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-74183-3

Format:

Availability

Online Library~1

Available:
Copies:

149.

Cover image for Euro-Par 2016: Parallel Processing Workshops Euro-Par 2016 International Workshops, Grenoble, France, August 24-26, 2016, Revised Selected Papers

Euro-Par 2016: Parallel Processing Workshops Euro-Par 2016 International Workshops, Grenoble, France, August 24-26, 2016, Revised Selected Papers

Author

Desprez, Frédéric. editor. Dutot, Pierre-François. editor. Kaklamanis, Christos. editor. Marchal, Loris. editor. Molitorisz, Korbinian. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-58943-5

Format:

Availability

Online Library~1

Available:
Copies:

150.

Cover image for High-Performance Scientific Computing First JARA-HPC Symposium, JHPCS 2016, Aachen, Germany, October 4-5, 2016, Revised Selected Papers

High-Performance Scientific Computing First JARA-HPC Symposium, JHPCS 2016, Aachen, Germany, October 4-5, 2016, Revised Selected Papers

Author

Di Napoli, Edoardo. editor. Hermanns, Marc-André. editor. Iliev, Hristo. editor. Lintermann, Andreas. editor. Peyser, Alexander. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-53862-4

Format:

Availability

Online Library~1

Available:
Copies:

151.

Cover image for SDL 2017: Model-Driven Engineering for Future Internet 18th International SDL Forum, Budapest, Hungary, October 9-11, 2017, Proceedings

SDL 2017: Model-Driven Engineering for Future Internet 18th International SDL Forum, Budapest, Hungary, October 9-11, 2017, Proceedings

Author

Csöndes, Tibor. editor. Kovács, Gábor. editor. Réthy, György. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-68015-6

Format:

Availability

Online Library~1

Available:
Copies:

152.

Service-Oriented Computing 15th International Conference, ICSOC 2017, Malaga, Spain, November 13-16, 2017, Proceedings

Author

Maximilien, Michael. editor. Vallecillo, Antonio. editor. Wang, Jianmin. editor. Oriol, Marc. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-69035-3

Format:

Availability

Online Library~1

Available:
Copies:

153.

Transactions on Computational Collective Intelligence XXVII

Author

Mercik, Jacek. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-70647-4

Format:

Availability

Online Library~1

Available:
Copies:

154.

Cover image for Advances in Computer Games 15th International Conferences, ACG 2017, Leiden, The Netherlands, July 3-5, 2017, Revised Selected Papers

Advances in Computer Games 15th International Conferences, ACG 2017, Leiden, The Netherlands, July 3-5, 2017, Revised Selected Papers

Author

Winands, Mark H.M. editor. (orcid)0000-0002-0125-0824 van den Herik, H. Jaap. editor. Kosters, Walter A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-71649-7

Format:

Availability

Online Library~1

Available:
Copies:

155.

Requirements Engineering for Service and Cloud Computing

Author

Ramachandran, Muthu. editor. Mahmood, Zaigham. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-51310-2

Format:

Availability

Online Library~1

Available:
Copies:

156.

End-User Development 6th International Symposium, IS-EUD 2017, Eindhoven, The Netherlands, June 13-15, 2017, Proceedings

Author

Barbosa, Simone. editor. Markopoulos, Panos. editor. Paternò, Fabio. editor. Stumpf, Simone. editor. Valtolina, Stefano. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-58735-6

Format:

Availability

Online Library~1

Available:
Copies:

157.

Electronic Voting Second International Joint Conference, E-Vote-ID 2017, Bregenz, Austria, October 24-27, 2017, Proceedings

Author

Krimmer, Robert. editor. Volkamer, Melanie. editor. (orcid)0000-0003-2674-4043 Braun Binder, Nadja. editor. Kersting, Norbert. editor. Pereira, Olivier. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-68687-5

Format:

Availability

Online Library~1

Available:
Copies:

158.

Cover image for Trust, Privacy and Security in Digital Business 14th International Conference, TrustBus 2017, Lyon, France, August 30-31, 2017, Proceedings

Trust, Privacy and Security in Digital Business 14th International Conference, TrustBus 2017, Lyon, France, August 30-31, 2017, Proceedings

Author

Lopez, Javier. editor. Fischer-Hübner, Simone. editor. Lambrinoudakis, Costas. editor. (orcid)0000-0003-3101-5347 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-64483-7

Format:

Availability

Online Library~1

Available:
Copies:

159.

Cover image for Job Scheduling Strategies for Parallel Processing 19th and 20th International Workshops, JSSPP 2015, Hyderabad, India, May 26, 2015 and JSSPP 2016, Chicago, IL, USA, May 27, 2016, Revised Selected Papers

Job Scheduling Strategies for Parallel Processing 19th and 20th International Workshops, JSSPP 2015, Hyderabad, India, May 26, 2015 and JSSPP 2016, Chicago, IL, USA, May 27, 2016, Revised Selected Papers

Author

Desai, Narayan. editor. Cirne, Walfredo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-61756-5

Format:

Availability

Online Library~1

Available:
Copies:

160.

Cover image for Agent Based Modelling of Urban Systems First International Workshop, ABMUS 2016, Held in Conjunction with AAMAS, Singapore, Singapore, May 10, 2016, Revised, Selected, and Invited Papers

Agent Based Modelling of Urban Systems First International Workshop, ABMUS 2016, Held in Conjunction with AAMAS, Singapore, Singapore, May 10, 2016, Revised, Selected, and Invited Papers

Author

Namazi-Rad, Mohammad-Reza. editor. Padgham, Lin. editor. Perez, Pascal. editor. Nagel, Kai. editor. Bazzan, Ana. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-51957-9

Format:

Availability

Online Library~1

Available:
Copies:

161.

Cover image for Algorithms and Architectures for Parallel Processing 17th International Conference, ICA3PP 2017, Helsinki, Finland, August 21-23, 2017, Proceedings

Algorithms and Architectures for Parallel Processing 17th International Conference, ICA3PP 2017, Helsinki, Finland, August 21-23, 2017, Proceedings

Author

Ibrahim, Shadi. editor. Choo, Kim-Kwang Raymond. editor. (orcid)0000-0001-9208-5336 Yan, Zheng. editor. Pedrycz, Witold. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-65482-9

Format:

Availability

Online Library~1

Available:
Copies:

162.

Engineering Secure Software and Systems 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings

Author

Bodden, Eric. editor. Payer, Mathias. editor. (orcid)0000-0001-5054-7547 Athanasopoulos, Elias. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-62105-0

Format:

Availability

Online Library~1

Available:
Copies:

163.

Cover image for Progress in Artificial Intelligence 18th EPIA Conference on Artificial Intelligence, EPIA 2017, Porto, Portugal, September 5-8, 2017, Proceedings

Progress in Artificial Intelligence 18th EPIA Conference on Artificial Intelligence, EPIA 2017, Porto, Portugal, September 5-8, 2017, Proceedings

Author

Oliveira, Eugénio. editor. Gama, João. editor. Vale, Zita. editor. Lopes Cardoso, Henrique. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-65340-2

Format:

Availability

Online Library~1

Available:
Copies:

164.

Cover image for Modeling and Using Context 10th International and Interdisciplinary Conference, CONTEXT 2017, Paris, France, June 20-23, 2017, Proceedings

Modeling and Using Context 10th International and Interdisciplinary Conference, CONTEXT 2017, Paris, France, June 20-23, 2017, Proceedings

Author

Brézillon, Patrick. editor. Turner, Roy. editor. Penco, Carlo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-57837-8

Format:

Availability

Online Library~1

Available:
Copies:

165.

Architecture of Computing Systems - ARCS 2017 30th International Conference, Vienna, Austria, April 3-6, 2017, Proceedings

Author

Knoop, Jens. editor. Karl, Wolfgang. editor. Schulz, Martin. editor. Inoue, Koji. editor. Pionteck, Thilo. editor. (orcid)0000-0001-6518-1226

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-54999-6

Format:

Availability

Online Library~1

Available:
Copies:

166.

Cover image for Parallel Computing Technologies 14th International Conference, PaCT 2017, Nizhny Novgorod, Russia, September 4-8, 2017, Proceedings

Parallel Computing Technologies 14th International Conference, PaCT 2017, Nizhny Novgorod, Russia, September 4-8, 2017, Proceedings

Author

Malyshkin, Victor. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-62932-2

Format:

Availability

Online Library~1

Available:
Copies:

167.

Cover image for Structured Object-Oriented Formal Language and Method 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers

Structured Object-Oriented Formal Language and Method 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers

Author

Liu, Shaoying. editor. Duan, Zhenhua. editor. (orcid)0000-0003-2772-1433 Tian, Cong. editor. Nagoya, Fumiko. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-57708-1

Format:

Availability

Online Library~1

Available:
Copies:

168.

Security and Trust Management 13th International Workshop, STM 2017, Oslo, Norway, September 14-15, 2017, Proceedings

Author

Livraga, Giovanni. editor. Mitchell, Chris. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-68063-7

Format:

Availability

Online Library~1

Available:
Copies:

169.

Challenges and Opportunity with Big Data 19th Monterey Workshop 2016, Beijing, China, October 8 - 11, 2016, Revised Selected Papers

Author

Zhang, Lin. editor. Ren, Lei. editor. Kordon, Fabrice. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-61994-1

Format:

Availability

Online Library~1

Available:
Copies:

170.

Cover image for Intelligent, Secure, and Dependable Systems in Distributed and Cloud Environments First International Conference, ISDDC 2017, Vancouver, BC, Canada, October 26-28, 2017, Proceedings

Intelligent, Secure, and Dependable Systems in Distributed and Cloud Environments First International Conference, ISDDC 2017, Vancouver, BC, Canada, October 26-28, 2017, Proceedings

Author

Traore, Issa. editor. Woungang, Isaac. editor. Awad, Ahmed. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-69155-8

Format:

Availability

Online Library~1

Available:
Copies:

171.

Cover image for Interoperability and Open-Source Solutions for the Internet of Things Second International Workshop, InterOSS-IoT 2016, Held in Conjunction with IoT 2016, Stuttgart, Germany, November 7, 2016, Invited Papers

Interoperability and Open-Source Solutions for the Internet of Things Second International Workshop, InterOSS-IoT 2016, Held in Conjunction with IoT 2016, Stuttgart, Germany, November 7, 2016, Invited Papers

Author

Podnar Žarko, Ivana. editor. Broering, Arne. editor. Soursos, Sergios. editor. Serrano, Martin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-56877-5

Format:

Availability

Online Library~1

Available:
Copies:

172.

Self-Aware Computing Systems

Author

Kounev, Samuel. editor. Kephart, Jeffrey O. editor. Milenkoski, Aleksandar. editor. Zhu, Xiaoyun. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-47474-8

Format:

Availability

Online Library~1

Available:
Copies:

173.

Cover image for Risks and Security of Internet and Systems 11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papers

Risks and Security of Internet and Systems 11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papers

Author

Cuppens, Frédéric. editor. Cuppens, Nora. editor. Lanet, Jean-Louis. editor. Legay, Axel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-54876-0

Format:

Availability

Online Library~1

Available:
Copies:

174.

Cover image for Advances in Artificial Intelligence: From Theory to Practice 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017, Proceedings, Part I

Advances in Artificial Intelligence: From Theory to Practice 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017, Proceedings, Part I

Author

Benferhat, Salem. editor. (orcid)0000-0002-4853-3637 Tabia, Karim. editor. Ali, Moonis. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-60042-0

Format:

Availability

Online Library~1

Available:
Copies:

175.

Coding Theory and Applications 5th International Castle Meeting, ICMCTA 2017, Vihula, Estonia, August 28-31, 2017, Proceedings

Author

Barbero, Ángela I. editor. Skachek, Vitaly. editor. Ytrehus, Øyvind. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-66278-7

Format:

Availability

Online Library~1

Available:
Copies:

176.

Model-Driven Development and Operation of Multi-Cloud Applications The MODAClouds Approach

Author

Di Nitto, Elisabetta. editor. Matthews, Peter. editor. Petcu, Dana. editor. Solberg, Arnor. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-46031-4

Format:

Availability

Online Library~1

Available:
Copies:

177.

Cover image for Web Information Systems Engineering - WISE 2017 18th International Conference, Puschino, Russia, October 7-11, 2017, Proceedings, Part I

Web Information Systems Engineering - WISE 2017 18th International Conference, Puschino, Russia, October 7-11, 2017, Proceedings, Part I

Author

Bouguettaya, Athman. editor. Gao, Yunjun. editor. Klimenko, Andrey. editor. Chen, Lu. editor. Zhang, Xiangliang. editor. (orcid)0000-0002-3574-5665

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-68783-4

Format:

Availability

Online Library~1

Available:
Copies:

178.

Cover image for Hardware and Software: Verification and Testing 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings

Hardware and Software: Verification and Testing 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings

Author

Strichman, Ofer. editor. Tzoref-Brill, Rachel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-70389-3

Format:

Availability

Online Library~1

Available:
Copies:

179.

Reversible Computation 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings

Author

Phillips, Iain. editor. Rahaman, Hafizur. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-59936-6

Format:

Availability

Online Library~1

Available:
Copies:

180.

Cover image for Computer Safety, Reliability, and Security 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings

Computer Safety, Reliability, and Security 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings

Author

Tonetta, Stefano. editor. Schoitsch, Erwin. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-66266-4

Format:

Availability

Online Library~1

Available:
Copies:

181.

Cover image for Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings

Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings

Author

Bouajjani, Ahmed. editor. Monniaux, David. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-52234-0

Format:

Availability

Online Library~1

Available:
Copies:

182.

Combinatorial Optimization and Applications 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part II

Author

Gao, Xiaofeng. editor. Du, Hongwei. editor. Han, Meng. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-71147-8

Format:

Availability

Online Library~1

Available:
Copies:

183.

Algorithmic Decision Theory 5th International Conference, ADT 2017, Luxembourg, Luxembourg, October 25-27, 2017, Proceedings

Author

Rothe, Jörg. editor. (orcid)0000-0002-0589-3616 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-67504-6

Format:

Availability

Online Library~1

Available:
Copies:

184.

Cover image for Service-Oriented Computing - ICSOC 2016 Workshops ASOCA, ISyCC, BSCI, and Satellite Events, Banff, AB, Canada, October 10-13, 2016, Revised Selected Papers

Service-Oriented Computing - ICSOC 2016 Workshops ASOCA, ISyCC, BSCI, and Satellite Events, Banff, AB, Canada, October 10-13, 2016, Revised Selected Papers

Author

Drira, Khalil. editor. (orcid)0000-0002-4770-1563 Wang, Hongbing. editor. Yu, Qi. editor. Wang, Yan. editor. Yan, Yuhong. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-68136-8

Format:

Availability

Online Library~1

Available:
Copies:

185.

Cover image for Fundamentals of Software Engineering 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers

Fundamentals of Software Engineering 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers

Author

Dastani, Mehdi. editor. Sirjani, Marjan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-68972-2

Format:

Availability

Online Library~1

Available:
Copies:

186.

Cover image for Information, Communication and Computing Technology Second International Conference, ICICCT 2017, New Delhi, India, May 13, 2017, Revised Selected Papers

Information, Communication and Computing Technology Second International Conference, ICICCT 2017, New Delhi, India, May 13, 2017, Revised Selected Papers

Author

Kaushik, Saroj. editor. Gupta, Daya. editor. Kharb, Latika. editor. (orcid)0000-0002-8549-0920 Chahal, Deepak. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-10-6544-6

Format:

Availability

Online Library~1

Available:
Copies:

187.

Cover image for Information Theoretic Security 10th International Conference, ICITS 2017, Hong Kong, China, November 29 - December 2, 2017, Proceedings

Information Theoretic Security 10th International Conference, ICITS 2017, Hong Kong, China, November 29 - December 2, 2017, Proceedings

Author

Shikata, Junji. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-72089-0

Format:

Availability

Online Library~1

Available:
Copies:

188.

Cover image for Human Aspects of Information Security, Privacy and Trust 5th International Conference, HAS 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings

Human Aspects of Information Security, Privacy and Trust 5th International Conference, HAS 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings

Author

Tryfonas, Theo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-58460-7

Format:

Availability

Online Library~1

Available:
Copies:

189.

Integrated Formal Methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

Author

Polikarpova, Nadia. editor. Schneider, Steve. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-66845-1

Format:

Availability

Online Library~1

Available:
Copies:

190.

Cloud Service Benchmarking Measuring Quality of Cloud Services from a Client Perspective

Author

Bermbach, David. author. Wittern, Erik. author. Tai, Stefan. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-55483-9

Format:

Availability

Online Library~1

Available:
Copies:

191.

Transactions on Engineering Technologies International MultiConference of Engineers and Computer Scientists 2016

Author

Ao, Sio-Iong. editor. Kim, Haeng Kon. editor. Huang, Xu. editor. Castillo, Oscar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-10-3950-8

Format:

Availability

Online Library~1

Available:
Copies:

192.

Engineering Scalable, Elastic, and Cost-Efficient Cloud Computing Applications The CloudScale Method

Author

Becker, Steffen. editor. Brataas, Gunnar. editor. Lehrig, Sebastian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-54286-7

Format:

Availability

Online Library~1

Available:
Copies:

193.

Cover image for Formal Techniques for Distributed Objects, Components, and Systems 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings

Formal Techniques for Distributed Objects, Components, and Systems 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings

Author

Bouajjani, Ahmed. editor. Silva, Alexandra. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-60225-7

Format:

Availability

Online Library~1

Available:
Copies:

194.

Cover image for Cooperative Design, Visualization, and Engineering 14th International Conference, CDVE 2017, Mallorca, Spain, September 17-20, 2017, Proceedings

Cooperative Design, Visualization, and Engineering 14th International Conference, CDVE 2017, Mallorca, Spain, September 17-20, 2017, Proceedings

Author

Luo, Yuhua. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-66805-5

Format:

Availability

Online Library~1

Available:
Copies:

195.

Cover image for Computer Safety, Reliability, and Security SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings

Computer Safety, Reliability, and Security SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings

Author

Tonetta, Stefano. editor. Schoitsch, Erwin. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-66284-8

Format:

Availability

Online Library~1

Available:
Copies:

196.

Cover image for AI 2017: Advances in Artificial Intelligence 30th Australasian Joint Conference, Melbourne, VIC, Australia, August 19-20, 2017, Proceedings

AI 2017: Advances in Artificial Intelligence 30th Australasian Joint Conference, Melbourne, VIC, Australia, August 19-20, 2017, Proceedings

Author

Peng, Wei. editor. Alahakoon, Damminda. editor. (orcid)0000-0003-3291-888X Li, Xiaodong. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-63004-5

Format:

Availability

Online Library~1

Available:
Copies:

197.

Augmented Reality, Virtual Reality, and Computer Graphics 4th International Conference, AVR 2017, Ugento, Italy, June 12-15, 2017, Proceedings, Part II

Author

De Paolis, Lucio Tommaso. editor. Bourdot, Patrick. editor. Mongelli, Antonio. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-60928-7

Format:

Availability

Online Library~1

Available:
Copies:

198.

Cover image for Advanced Parallel Processing Technologies 12th International Symposium, APPT 2017, Santiago de Compostela, Spain, August 29, 2017, Proceedings

Advanced Parallel Processing Technologies 12th International Symposium, APPT 2017, Santiago de Compostela, Spain, August 29, 2017, Proceedings

Author

Dou, Yong. editor. Lin, Haixiang. editor. Sun, Guangyu. editor. Wu, Junjie. editor. (orcid)0000-0001-5951-8988 Heras, Dora. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-67952-5

Format:

Availability

Online Library~1

Available:
Copies:

199.

Applied Reconfigurable Computing 13th International Symposium, ARC 2017, Delft, The Netherlands, April 3-7, 2017, Proceedings

Author

Wong, Stephan. editor. Beck, Antonio Carlos. editor. Bertels, Koen. editor. Carro, Luigi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-56258-2

Format:

Availability

Online Library~1

Available:
Copies:

200.

Software Architecture 11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017, Proceedings

Author

Lopes, Antónia. editor. de Lemos, Rogério. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-65831-5

Format:

Availability

Online Library~1

Available:
Copies:

201.

Data Analytics 31st British International Conference on Databases, BICOD 2017, London, UK, July 10-12, 2017, Proceedings

Author

Calì, Andrea. editor. Wood, Peter. editor. Martin, Nigel. editor. Poulovassilis, Alexandra. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-60795-5

Format:

Availability

Online Library~1

Available:
Copies:

202.

Cover image for Information Security and Cryptology 12th International Conference, Inscrypt 2016, Beijing, China, November 4-6, 2016, Revised Selected Papers

Information Security and Cryptology 12th International Conference, Inscrypt 2016, Beijing, China, November 4-6, 2016, Revised Selected Papers

Author

Chen, Kefei. editor. Lin, Dongdai. editor. Yung, Moti. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-54705-3

Format:

Availability

Online Library~1

Available:
Copies:

203.

Cloud Broker and Cloudlet for Workflow Scheduling

Author

Youn, Chan-Hyun. author. Chen, Min. author. Dazzi, Patrizio. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-10-5071-8

Format:

Availability

Online Library~1

Available:
Copies:

204.

Pervasive Computing Engineering Smart Systems

Author

Silvis-Cividjian, Natalia. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-51655-4

Format:

Availability

Online Library~1

Available:
Copies:

205.

Cover image for OWL: Experiences and Directions - Reasoner Evaluation 13th International Workshop, OWLED 2016, and 5th International Workshop, ORE 2016, Bologna, Italy, November 20, 2016, Revised Selected Papers

OWL: Experiences and Directions - Reasoner Evaluation 13th International Workshop, OWLED 2016, and 5th International Workshop, ORE 2016, Bologna, Italy, November 20, 2016, Revised Selected Papers

Author

Dragoni, Mauro. editor. (orcid)0000-0003-0380-6571 Poveda-Villalón, María. editor. Jimenez-Ruiz, Ernesto. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-54627-8

Format:

Availability

Online Library~1

Available:
Copies:

206.

Cover image for Cyber Physical Systems. Design, Modeling, and Evaluation 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers

Cyber Physical Systems. Design, Modeling, and Evaluation 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers

Author

Berger, Christian. editor. Mousavi, Mohammad Reza. editor. Wisniewski, Rafael. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-51738-4

Format:

Availability

Online Library~1

Available:
Copies:

207.

Cover image for Data Management on New Hardware 7th International Workshop on Accelerating Data Analysis and Data Management Systems Using Modern Processor and Storage Architectures, ADMS 2016 and 4th International Workshop on In-Memory Data Management and Analytics, IMDM 2016, New Delhi, India, September 1, 2016, Revised Selected Papers

Data Management on New Hardware 7th International Workshop on Accelerating Data Analysis and Data Management Systems Using Modern Processor and Storage Architectures, ADMS 2016 and 4th International Workshop on In-Memory Data Management and Analytics, IMDM 2016, New Delhi, India, September 1, 2016, Revised Selected Papers

Author

Blanas, Spyros. editor. Bordawekar, Rajesh. editor. Lahiri, Tirthankar. editor. Levandoski, Justin. editor. Pavlo, Andrew. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-56111-0

Format:

Availability

Online Library~1

Available:
Copies:

208.

Load Modelling and Generation in IP-based Networks A Unified Approach and Tool Support

Author

Kolesnikov, Andrey. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-658-19102-3

Format:

Availability

Online Library~1

Available:
Copies:

209.

Advances in Cryptology - CRYPTO 2017 37th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 20-24, 2017, Proceedings, Part III

Author

Katz, Jonathan. editor. Shacham, Hovav. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-63697-9

Format:

Availability

Online Library~1

Available:
Copies:

210.

Cover image for On the Move to Meaningful Internet Systems. OTM 2017 Conferences Confederated International Conferences: CoopIS, C&TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings, Part I

On the Move to Meaningful Internet Systems. OTM 2017 Conferences Confederated International Conferences: CoopIS, C&TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings, Part I

Author

Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 Debruyne, Christophe. editor. Gaaloul, Walid. editor. (orcid)0000-0003-0451-532X Papazoglou, Mike. editor. Paschke, Adrian. editor. (orcid)0000-0003-3156-9040

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-69462-7

Format:

Availability

Online Library~1

Available:
Copies:

211.

Cover image for Designing the Digital Transformation 12th International Conference, DESRIST 2017, Karlsruhe, Germany, May 30 - June 1, 2017, Proceedings

Designing the Digital Transformation 12th International Conference, DESRIST 2017, Karlsruhe, Germany, May 30 - June 1, 2017, Proceedings

Author

Maedche, Alexander. editor. vom Brocke, Jan. editor. Hevner, Alan. editor. (orcid)0000-0003-4953-3900 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-59144-5

Format:

Availability

Online Library~1

Available:
Copies:

212.

Concurrency, Security, and Puzzles Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday

Author

Gibson-Robinson, Thomas. editor. Hopcroft, Philippa. editor. Lazić, Ranko. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-51046-0

Format:

Availability

Online Library~1

Available:
Copies:

213.

Cover image for Product-Focused Software Process Improvement 18th International Conference, PROFES 2017, Innsbruck, Austria, November 29-December 1, 2017, Proceedings

Product-Focused Software Process Improvement 18th International Conference, PROFES 2017, Innsbruck, Austria, November 29-December 1, 2017, Proceedings

Author

Felderer, Michael. editor. (orcid)0000-0003-3818-4442 Méndez Fernández, Daniel. editor. Turhan, Burak. editor. Kalinowski, Marcos. editor. (orcid)0000-0003-1445-3425 Sarro, Federica. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-69926-4

Format:

Availability

Online Library~1

Available:
Copies:

214.

Cover image for Financial Cryptography and Data Security 21st International Conference, FC 2017, Sliema, Malta, April 3-7, 2017, Revised Selected Papers

Financial Cryptography and Data Security 21st International Conference, FC 2017, Sliema, Malta, April 3-7, 2017, Revised Selected Papers

Author

Kiayias, Aggelos. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-70972-7

Format:

Availability

Online Library~1

Available:
Copies:

215.

Cover image for Industrial Applications of Holonic and Multi-Agent Systems 8th International Conference, HoloMAS 2017, Lyon, France, August 28-30, 2017, Proceedings

Industrial Applications of Holonic and Multi-Agent Systems 8th International Conference, HoloMAS 2017, Lyon, France, August 28-30, 2017, Proceedings

Author

Mařík, Vladimír. editor. Wahlster, Wolfgang. editor. Strasser, Thomas. editor. Kadera, Petr. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-64635-0

Format:

Availability

Online Library~1

Available:
Copies:

216.

Cover image for Towards Integrative Machine Learning and Knowledge Extraction BIRS Workshop, Banff, AB, Canada, July 24-26, 2015, Revised Selected Papers

Towards Integrative Machine Learning and Knowledge Extraction BIRS Workshop, Banff, AB, Canada, July 24-26, 2015, Revised Selected Papers

Author

Holzinger, Andreas. editor. Goebel, Randy. editor. (orcid)0000-0002-0739-2946 Ferri, Massimo. editor. Palade, Vasile. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-69775-8

Format:

Availability

Online Library~1

Available:
Copies:

217.

Network and Parallel Computing 14th IFIP WG 10.3 International Conference, NPC 2017, Hefei, China, October 20-21, 2017, Proceedings

Author

Shi, Xuanhua. editor. (orcid)0000-0001-8451-8656 An, Hong. editor. Wang, Chao. editor. Kandemir, Mahmut. editor. Jin, Hai. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-68210-5

Format:

Availability

Online Library~1

Available:
Copies:

218.

Advances in Computing 12th Colombian Conference, CCC 2017, Cali, Colombia, September 19-22, 2017, Proceedings

Author

Solano, Andrés. editor. Ordoñez, Hugo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-66562-7

Format:

Availability

Online Library~1

Available:
Copies:

219.

Tests and Proofs 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings

Author

Gabmeyer, Sebastian. editor. Johnsen, Einar Broch. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-61467-0

Format:

Availability

Online Library~1

Available:
Copies:

220.

Cover image for Applied Cryptography and Network Security 15th International Conference, ACNS 2017, Kanazawa, Japan, July 10-12, 2017, Proceedings

Applied Cryptography and Network Security 15th International Conference, ACNS 2017, Kanazawa, Japan, July 10-12, 2017, Proceedings

Author

Gollmann, Dieter. editor. Miyaji, Atsuko. editor. Kikuchi, Hiroaki. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-61204-1

Format:

Availability

Online Library~1

Available:
Copies:

221.

Fundamentals of Computation Theory 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings

Author

Klasing, Ralf. editor. Zeitoun, Marc. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-55751-8

Format:

Availability

Online Library~1

Available:
Copies:

222.

Cover image for Cross-Cultural Design 9th International Conference, CCD 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings

Cross-Cultural Design 9th International Conference, CCD 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings

Author

Rau, Pei-Luen Patrick. editor. (orcid)0000-0002-5713-8612 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-57931-3

Format:

Availability

Online Library~1

Available:
Copies:

223.

Cover image for Information Technology in Disaster Risk Reduction First IFIP TC 5 DCITDRR International Conference, ITDRR 2016, Sofia, Bulgaria, November 16-18, 2016, Revised Selected Papers

Information Technology in Disaster Risk Reduction First IFIP TC 5 DCITDRR International Conference, ITDRR 2016, Sofia, Bulgaria, November 16-18, 2016, Revised Selected Papers

Author

Murayama, Yuko. editor. (orcid)0000-0003-0414-1356 Velev, Dimiter. editor. Zlateva, Plamena. editor. Gonzalez, Jose J. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-68486-4

Format:

Availability

Online Library~1

Available:
Copies:

224.

Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

Author

Aceto, Luca. editor. Bacci, Giorgio. editor. Bacci, Giovanni. editor. Ingólfsdóttir, Anna. editor. Legay, Axel. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-63121-9

Format:

Availability

Online Library~1

Available:
Copies:

225.

Concise Guide to Software Engineering From Fundamentals to Application Methods

Author

O'Regan, Gerard. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-57750-0

Format:

Availability

Online Library~1

Available:
Copies:

226.

Advances in Artificial Intelligence: From Theory to Practice 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017, Proceedings, Part II

Author

Benferhat, Salem. editor. (orcid)0000-0002-4853-3637 Tabia, Karim. editor. Ali, Moonis. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-60045-1

Format:

Availability

Online Library~1

Available:
Copies:

227.

Cover image for Conflict Resolution in Decision Making Second International Workshop, COREDEMA 2016, The Hague, The Netherlands, August 29-30, 2016, Revised Selected Papers

Conflict Resolution in Decision Making Second International Workshop, COREDEMA 2016, The Hague, The Netherlands, August 29-30, 2016, Revised Selected Papers

Author

Aydoğan, Reyhan. editor. Baarslag, Tim. editor. Gerding, Enrico. editor. Jonker, Catholijn M. editor. Julian, Vicente. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-57285-7

Format:

Availability

Online Library~1

Available:
Copies:

228.

Green, Pervasive, and Cloud Computing 12th International Conference, GPC 2017, Cetara, Italy, May 11-14, 2017, Proceedings

Author

Au, Man Ho Allen. editor. Castiglione, Arcangelo. editor. Choo, Kim-Kwang Raymond. editor. (orcid)0000-0001-9208-5336 Palmieri, Francesco. editor. Li, Kuan-Ching. editor. (orcid)0000-0003-1381-4364

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-57186-7

Format:

Availability

Online Library~1

Available:
Copies:

229.

Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude

Author

Ölveczky, Peter Csaba. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-1-4471-6687-0

Format:

Availability

Online Library~1

Available:
Copies:

230.

Cover image for Applied Computer Sciences in Engineering 4th Workshop on Engineering Applications, WEA 2017, Cartagena, Colombia, September 27-29, 2017, Proceedings

Applied Computer Sciences in Engineering 4th Workshop on Engineering Applications, WEA 2017, Cartagena, Colombia, September 27-29, 2017, Proceedings

Author

Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937 López-Santana, Eduyn Ramiro. editor. Villa-Ramírez, José Luis. editor. Ferro-Escobar, Roberto. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-66963-2

Format:

Availability

Online Library~1

Available:
Copies:

231.

Cover image for Symbolic and Quantitative Approaches to Reasoning with Uncertainty 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10-14, 2017, Proceedings

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10-14, 2017, Proceedings

Author

Antonucci, Alessandro. editor. Cholvy, Laurence. editor. Papini, Odile. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-61581-3

Format:

Availability

Online Library~1

Available:
Copies:

232.

Web Information Systems Engineering - WISE 2017 18th International Conference, Puschino, Russia, October 7-11, 2017, Proceedings, Part II

Author

Bouguettaya, Athman. editor. Gao, Yunjun. editor. Klimenko, Andrey. editor. Chen, Lu. editor. Zhang, Xiangliang. editor. (orcid)0000-0002-3574-5665

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-68786-5

Format:

Availability

Online Library~1

Available:
Copies:

233.

Cover image for Hardware and Software: Verification and Testing 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings

Hardware and Software: Verification and Testing 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings

Author

Bloem, Roderick. editor. Arbel, Eli. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-49052-6

Format:

Availability

Online Library~1

Available:
Copies:

234.

Cover image for Advances in Network Science 12th International Conference and School, NetSci-X 2016, Wroclaw, Poland, January 11-13, 2016, Proceedings

Advances in Network Science 12th International Conference and School, NetSci-X 2016, Wroclaw, Poland, January 11-13, 2016, Proceedings

Author

Wierzbicki, Adam. editor. Brandes, Ulrik. editor. Schweitzer, Frank. editor. Pedreschi, Dino. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-28361-6

Format:

Availability

Online Library~1

Available:
Copies:

235.

Cover image for Information and Software Technologies 22nd International Conference, ICIST 2016, Druskininkai, Lithuania, October 13-15, 2016, Proceedings

Information and Software Technologies 22nd International Conference, ICIST 2016, Druskininkai, Lithuania, October 13-15, 2016, Proceedings

Author

Dregvaite, Giedre. editor. Damasevicius, Robertas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-46254-7

Format:

Availability

Online Library~1

Available:
Copies:

236.

Cover image for System Analysis and Modeling. Technology-Specific Aspects of Models 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings

System Analysis and Modeling. Technology-Specific Aspects of Models 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings

Author

Grabowski, Jens. editor. Herbold, Steffen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-46613-2

Format:

Availability

Online Library~1

Available:
Copies:

237.

Cover image for Computer Safety, Reliability, and Security 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings

Computer Safety, Reliability, and Security 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings

Author

Skavhaug, Amund. editor. Guiochet, Jérémie. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-45477-1

Format:

Availability

Online Library~1

Available:
Copies:

238.

Cover image for Swarm, Evolutionary, and Memetic Computing 6th International Conference, SEMCCO 2015, Hyderabad, India, December 18-19, 2015, Revised Selected Papers

Swarm, Evolutionary, and Memetic Computing 6th International Conference, SEMCCO 2015, Hyderabad, India, December 18-19, 2015, Revised Selected Papers

Author

Panigrahi, Bijaya Ketan. editor. Suganthan, Ponnuthurai Nagaratnam. editor. Das, Swagatam. editor. Satapathy, Suresh Chandra. editor. (orcid)0000-0001-8236-4104 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-48959-9

Format:

Availability

Online Library~1

Available:
Copies:

239.

Cover image for 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

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

Author

Remke, Anne. editor. Haverkort, Boudewijn R. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-31559-1

Format:

Availability

Online Library~1

Available:
Copies:

240.

Cover image for Web Information Systems Engineering - WISE 2016 17th International Conference, Shanghai, China, November 8-10, 2016, Proceedings, Part II

Web Information Systems Engineering - WISE 2016 17th International Conference, Shanghai, China, November 8-10, 2016, Proceedings, Part II

Author

Cellary, Wojciech. editor. Mokbel, Mohamed F. editor. Wang, Jianmin. editor. Wang, Hua. editor. Zhou, Rui. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-48743-4

Format:

Availability

Online Library~1

Available:
Copies:

241.

Cover image for Computational Science and Its Applications - ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part II

Computational Science and Its Applications - ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part II

Author

Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Rocha, Ana Maria A.C. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo M. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-42108-7

Format:

Availability

Online Library~1

Available:
Copies:

242.

Web Information Systems Engineering - WISE 2016 17th International Conference, Shanghai, China, November 8-10, 2016, Proceedings, Part I

Author

Cellary, Wojciech. editor. Mokbel, Mohamed F. editor. Wang, Jianmin. editor. Wang, Hua. editor. Zhou, Rui. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-48740-3

Format:

Availability

Online Library~1

Available:
Copies:

243.

Cover image for Algorithms and Architectures for Parallel Processing ICA3PP 2016 Collocated Workshops: SCDT, TAPEMS, BigTrust, UCER, DLMCS, Granada, Spain, December 14-16, 2016, Proceedings

Algorithms and Architectures for Parallel Processing ICA3PP 2016 Collocated Workshops: SCDT, TAPEMS, BigTrust, UCER, DLMCS, Granada, Spain, December 14-16, 2016, Proceedings

Author

Carretero, Jesus. editor. Garcia-Blas, Javier. editor. Gergel, Victor. editor. Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Meyerov, Iosif. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-49956-7

Format:

Availability

Online Library~1

Available:
Copies:

244.

Computational Science and Its Applications - ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part IV

Author

Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Rocha, Ana Maria A.C. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo M. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-42089-9

Format:

Availability

Online Library~1

Available:
Copies:

245.

Control Modes on Mobile Software Platforms Empirical Studies on the Importance of Informal Control

Author

Goldbach, Tobias. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-658-14893-5

Format:

Availability

Online Library~1

Available:
Copies:

246.

System Architecture An Ordinary Engineering Discipline

Author

Paul, Wolfgang J. author. Baumann, Christoph. author. Lutsyk, Petro. author. Schmaltz, Sabine. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-43065-2

Format:

Availability

Online Library~1

Available:
Copies:

247.

Service-Oriented Computing 14th International Conference, ICSOC 2016, Banff, AB, Canada, October 10-13, 2016, Proceedings

Author

Sheng, Quan Z. editor. Stroulia, Eleni. editor. (orcid)0000-0002-8784-8236 Tata, Samir. editor. Bhiri, Sami. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-46295-0

Format:

Availability

Online Library~1

Available:
Copies:

248.

Computational Science and Its Applications - ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part V

Author

Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Rocha, Ana Maria A.C. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo M. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-42092-9

Format:

Availability

Online Library~1

Available:
Copies:

249.

Cover image for Mathematical and Engineering Methods in Computer Science 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papers

Mathematical and Engineering Methods in Computer Science 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papers

Author

Kofroň, Jan. editor. Vojnar, Tomáš. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-29817-7

Format:

Availability

Online Library~1

Available:
Copies:

250.

Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I

Author

Chaudhuri, Swarat. editor. Farzan, Azadeh. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-41528-4

Format:

Availability

Online Library~1

Available:
Copies:

251.

Transactions on Computational Science XXVII

Author

Gavrilova, Marina L. editor. Tan, C.J. Kenneth. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-50412-3

Format:

Availability

Online Library~1

Available:
Copies:

252.

Computer Performance Engineering 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings

Author

Fiems, Dieter. editor. Paolieri, Marco. editor. Platis, Agapios N. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-46433-6

Format:

Availability

Online Library~1

Available:
Copies:

253.

Cover image for Algorithms and Architectures for Parallel Processing 16th International Conference, ICA3PP 2016, Granada, Spain, December 14-16, 2016, Proceedings

Algorithms and Architectures for Parallel Processing 16th International Conference, ICA3PP 2016, Granada, Spain, December 14-16, 2016, Proceedings

Author

Carretero, Jesus. editor. Garcia-Blas, Javier. editor. Ko, Ryan K.L. editor. Mueller, Peter. editor. Nakano, Koji. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-49583-5

Format:

Availability

Online Library~1

Available:
Copies:

254.

Cover image for Parallel Processing and Applied Mathematics 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part I

Parallel Processing and Applied Mathematics 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part I

Author

Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Dongarra, Jack. editor. Karczewski, Konrad. editor. Kitowski, Jacek. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-32149-3

Format:

Availability

Online Library~1

Available:
Copies:

255.

Graphical Models for Security Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Papers

Author

Mauw, Sjouke. editor. Kordy, Barbara. editor. Jajodia, Sushil. editor. (orcid)0000-0003-3210-558X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-29968-6

Format:

Availability

Online Library~1

Available:
Copies:

256.

Coordination of Complex Sociotechnical Systems Self-organisation of Knowledge in MoK

Author

Mariani, Stefano. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-47109-9

Format:

Availability

Online Library~1

Available:
Copies:

257.

Cloud Computing 6th International Conference, CloudComp 2015, Daejeon, South Korea, October 28-29, 2015, Revised Selected Papers

Author

Zhang, Yin. editor. Peng, Limei. editor. Youn, Chan-Hyun. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-38904-2

Format:

Availability

Online Library~1

Available:
Copies:

258.

Cover image for Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings

Author

Lecomte, Thierry. editor. Pinger, Ralf. editor. Romanovsky, Alexander. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-33951-1

Format:

Availability

Online Library~1

Available:
Copies:

259.

Cover image for Software Technologies: Applications and Foundations STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers

Software Technologies: Applications and Foundations STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers

Author

Milazzo, Paolo. editor. (orcid)0000-0002-7309-6424 Varró, Dániel. editor. Wimmer, Manuel. editor. (orcid)0000-0002-1124-7098 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-50230-4

Format:

Availability

Online Library~1

Available:
Copies:

260.

Cover image for Biomedical Data Management and Graph Online Querying VLDB 2015 Workshops, Big-O(Q) and DMAH, Waikoloa, HI, USA, August 31 - September 4, 2015, Revised Selected Papers

Biomedical Data Management and Graph Online Querying VLDB 2015 Workshops, Big-O(Q) and DMAH, Waikoloa, HI, USA, August 31 - September 4, 2015, Revised Selected Papers

Author

Wang, Fusheng. editor. (orcid)0000-0002-9369-9361 Luo, Gang. editor. Weng, Chunhua. editor. Khan, Arijit. editor. Mitra, Prasenjit. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-41576-5

Format:

Availability

Online Library~1

Available:
Copies:

261.

Enterprise Interoperability VII Enterprise Interoperability in the Digitized and Networked Factory of the Future

Author

Mertins, Kai. editor. Jardim-Gonçalves, Ricardo. editor. Popplewell, Keith. editor. Mendonça, João P. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-30957-6

Format:

Availability

Online Library~1

Available:
Copies:

262.

Cover image for OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments Third Workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2 - 4, 2016, Revised Selected Papers

OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments Third Workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2 - 4, 2016, Revised Selected Papers

Author

Gorentla Venkata, Manjunath. editor. Imam, Neena. editor. Pophale, Swaroop. editor. Mintz, Tiffany M. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-50995-2

Format:

Availability

Online Library~1

Available:
Copies:

263.

Cover image for Research in Attacks, Intrusions, and Defenses 19th International Symposium, RAID 2016, Paris, France, September 19-21, 2016, Proceedings

Research in Attacks, Intrusions, and Defenses 19th International Symposium, RAID 2016, Paris, France, September 19-21, 2016, Proceedings

Author

Monrose, Fabian. editor. Dacier, Marc. editor. Blanc, Gregory. editor. (orcid)0000-0001-8150-6617 Garcia-Alfaro, Joaquin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-45719-2

Format:

Availability

Online Library~1

Available:
Copies:

264.

Computational Science and Its Applications - ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part I

Author

Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Rocha, Ana Maria A. C. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo M. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-42085-1

Format:

Availability

Online Library~1

Available:
Copies:

265.

Cover image for Formal Methods and Software Engineering 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings

Formal Methods and Software Engineering 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings

Author

Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259 Lawford, Mark. editor. Liu, Shaoying. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-47846-3

Format:

Availability

Online Library~1

Available:
Copies:

266.

Architecture of Computing Systems -- ARCS 2016 29th International Conference, Nuremberg, Germany, April 4-7, 2016, Proceedings

Author

Hannig, Frank. editor. (orcid)0000-0003-3663-6484 Cardoso, João M.P. editor. Pionteck, Thilo. editor. Fey, Dietmar. editor. (orcid)0000-0002-6077-4732 Schröder-Preikschat, Wolfgang. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-30695-7

Format:

Availability

Online Library~1

Available:
Copies:

267.

Cover image for Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings

Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings

Author

Crnkovic, Ivica. editor. Troubitsyna, Elena. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-45892-2

Format:

Availability

Online Library~1

Available:
Copies:

268.

Cover image for Coordination, Organizations, Institutions, and Norms in Agent Systems XI COIN 2015 International Workshops, COIN@AAMAS, Istanbul, Turkey, May 4, 2015, COIN@IJCAI, Buenos Aires, Argentina, July 26, 2015, Revised Selected Papers

Coordination, Organizations, Institutions, and Norms in Agent Systems XI COIN 2015 International Workshops, COIN@AAMAS, Istanbul, Turkey, May 4, 2015, COIN@IJCAI, Buenos Aires, Argentina, July 26, 2015, Revised Selected Papers

Author

Dignum, Virginia. editor. (orcid)0000-0001-7409-5813 Noriega, Pablo. editor. Sensoy, Murat. editor. Sichman, Jaime Simão. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-42691-4

Format:

Availability

Online Library~1

Available:
Copies:

269.

Cover image for Engineering Multi-Agent Systems 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers

Engineering Multi-Agent Systems 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers

Author

Baldoni, Matteo. editor. (orcid)0000-0002-9294-0408 Müller, Jörg P. editor. Nunes, Ingrid. editor. Zalila-Wenkstern, Rym. editor. (orcid)0000-0002-2062-6794 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-50983-9

Format:

Availability

Online Library~1

Available:
Copies:

270.

Computer and Information Sciences 31st International Symposium, ISCIS 2016, Kraków, Poland, October 27-28, 2016, Proceedings

Author

Czachórski, Tadeusz. editor. Gelenbe, Erol. editor. Grochla, Krzysztof. editor. Lent, Ricardo. editor. (orcid)0000-0003-4884-3456 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-47217-1

Format:

Availability

Online Library~1

Available:
Copies:

271.

Big Data Technologies and Applications

Author

Furht, Borko. author. Villanustre, Flavio. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-44550-2

Format:

Availability

Online Library~1

Available:
Copies:

272.

Computers and Games 9th International Conference, CG 2016, Leiden, The Netherlands, June 29 - July 1, 2016, Revised Selected Papers

Author

Plaat, Aske. editor. Kosters, Walter. editor. van den Herik, Jaap. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-50935-8

Format:

Availability

Online Library~1

Available:
Copies:

273.

Cover image for Stabilization, Safety, and Security of Distributed Systems 18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016, Proceedings

Stabilization, Safety, and Security of Distributed Systems 18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016, Proceedings

Author

Bonakdarpour, Borzoo. editor. Petit, Franck. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-49259-9

Format:

Availability

Online Library~1

Available:
Copies:

274.

Cover image for Mobile Web and Intelligent Information Systems 13th International Conference, MobiWIS 2016, Vienna, Austria, August 22-24, 2016, Proceedings

Mobile Web and Intelligent Information Systems 13th International Conference, MobiWIS 2016, Vienna, Austria, August 22-24, 2016, Proceedings

Author

Younas, Muhammad. editor. Awan, Irfan. editor. Kryvinska, Natalia. editor. (orcid)0000-0003-3678-9229 Strauss, Christine. editor. (orcid)0000-0003-0276-3610 Thanh, Do van. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-44215-0

Format:

Availability

Online Library~1

Available:
Copies:

275.

Cover image for Modelling Foundations and Applications 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings

Modelling Foundations and Applications 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings

Author

Wąsowski, Andrzej. editor. Lönn, Henrik. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-42061-5

Format:

Availability

Online Library~1

Available:
Copies:

276.

Testing Software and Systems 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings

Author

Wotawa, Franz. editor. Nica, Mihai. editor. Kushik, Natalia. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-47443-4

Format:

Availability

Online Library~1

Available:
Copies:

277.

Network and Parallel Computing 13th IFIP WG 10.3 International Conference, NPC 2016, Xi'an, China, October 28-29, 2016, Proceedings

Author

Gao, Guang R. editor. Qian, Depei. editor. Gao, Xinbo. editor. Chapman, Barbara. editor. Chen, Wenguang. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-47099-3

Format:

Availability

Online Library~1

Available:
Copies:

278.

Cover image for Trust, Privacy and Security in Digital Business 13th International Conference, TrustBus 2016, Porto, Portugal, September 7-8, 2016, Proceedings

Trust, Privacy and Security in Digital Business 13th International Conference, TrustBus 2016, Porto, Portugal, September 7-8, 2016, Proceedings

Author

Katsikas, Sokratis. editor. (orcid)0000-0003-2966-9683 Lambrinoudakis, Costas. editor. (orcid)0000-0003-3101-5347 Furnell, Steven. editor. (orcid)0000-0003-0984-7542 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-44341-6

Format:

Availability

Online Library~1

Available:
Copies:

279.

Cover image for Verification, Model Checking, and Abstract Interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings

Verification, Model Checking, and Abstract Interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings

Author

Jobstmann, Barbara. editor. Leino, K. Rustan M. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-49122-5

Format:

Availability

Online Library~1

Available:
Copies:

280.

Computational Science and Its Applications - ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part III

Author

Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Rocha, Ana Maria A.C. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo M. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-42111-7

Format:

Availability

Online Library~1

Available:
Copies:

281.

Cover image for Internet of Things. IoT Infrastructures Second International Summit, IoT 360° 2015, Rome, Italy, October 27-29, 2015, Revised Selected Papers, Part II

Internet of Things. IoT Infrastructures Second International Summit, IoT 360° 2015, Rome, Italy, October 27-29, 2015, Revised Selected Papers, Part II

Author

Mandler, Benny. editor. Marquez-Barja, Johann. editor. Mitre Campista, Miguel Elias. editor. Cagáňová, Dagmar. editor. (orcid)0000-0002-6834-6126 Chaouchi, Hakima. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-47075-7

Format:

Availability

Online Library~1

Available:
Copies:

282.

Analyzing Time Interval Data Introducing an Information System for Time Interval Data Analysis

Author

Meisen, Philipp. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-658-15728-9

Format:

Availability

Online Library~1

Available:
Copies:

283.

Cover image for Web Services, Formal Methods, and Behavioral Types 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers

Web Services, Formal Methods, and Behavioral Types 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers

Author

Hildebrandt, Thomas. editor. Ravara, António. editor. van der Werf, Jan Martijn. editor. Weidlich, Matthias. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-33612-1

Format:

Availability

Online Library~1

Available:
Copies:

284.

Cover image for Formal Techniques for Distributed Objects, Components, and Systems 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

Formal Techniques for Distributed Objects, Components, and Systems 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

Author

Albert, Elvira. editor. Lanese, Ivan. editor. (orcid)0000-0003-2527-9995 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-39570-8

Format:

Availability

Online Library~1

Available:
Copies:

285.

Cover image for Cloud Computing and Services Science 5th International Conference, CLOSER 2015, Lisbon, Portugal, May 20-22, 2015, Revised Selected Papers

Cloud Computing and Services Science 5th International Conference, CLOSER 2015, Lisbon, Portugal, May 20-22, 2015, Revised Selected Papers

Author

Helfert, Markus. editor. Méndez Muñoz, Víctor. editor. Ferguson, Donald. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-29582-4

Format:

Availability

Online Library~1

Available:
Copies:

286.

Frontier Computing Theory, Technologies and Applications

Author

Hung, Jason C. editor. Yen, Neil Y. editor. Li, Kuan-Ching. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-10-0539-8

Format:

Availability

Online Library~1

Available:
Copies:

287.

Cover image for Analytical and Stochastic Modelling Techniques and Applications 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings

Analytical and Stochastic Modelling Techniques and Applications 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings

Author

Wittevrongel, Sabine. editor. Phung-Duc, Tuan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-43904-4

Format:

Availability

Online Library~1

Available:
Copies:

288.

Cover image for Service-Oriented Computing - ICSOC 2015 Workshops WESOA, RMSOC, ISC, DISCO, WESE, BSCI, FOR-MOVES, Goa, India, November 16-19, 2015, Revised Selected Papers

Service-Oriented Computing - ICSOC 2015 Workshops WESOA, RMSOC, ISC, DISCO, WESE, BSCI, FOR-MOVES, Goa, India, November 16-19, 2015, Revised Selected Papers

Author

Norta, Alex. editor. (orcid)0000-0003-0593-8244 Gaaloul, Walid. editor. (orcid)0000-0003-0451-532X Gangadharan, G. R. editor. Dam, Hoa Khanh. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-50539-7

Format:

Availability

Online Library~1

Available:
Copies:

289.

Description and Selection of Communication Services for Service Oriented Network Architectures

Author

Khondoker, Rahamatullah. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-658-12742-8

Format:

Availability

Online Library~1

Available:
Copies:

290.

Engineering Secure Software and Systems 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings

Author

Caballero, Juan. editor. Bodden, Eric. editor. Athanasopoulos, Elias. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-30806-7

Format:

Availability

Online Library~1

Available:
Copies:

291.

Cover image for Advances in Service-Oriented and Cloud Computing Workshops of ESOCC 2015, Taormina, Italy, September 15-17, 2015, Revised Selected Papers

Advances in Service-Oriented and Cloud Computing Workshops of ESOCC 2015, Taormina, Italy, September 15-17, 2015, Revised Selected Papers

Author

Celesti, Antonio. editor. Leitner, Philipp. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-33313-7

Format:

Availability

Online Library~1

Available:
Copies:

292.

Cover image for Evaluation of Novel Approaches to Software Engineering 11th International Conference, ENASE 2016, Rome, Italy, April 27-28, 2016, Revised Selected Papers

Evaluation of Novel Approaches to Software Engineering 11th International Conference, ENASE 2016, Rome, Italy, April 27-28, 2016, Revised Selected Papers

Author

Maciaszek, Leszek A. editor. (orcid)0000-0001-6561-0545 Filipe, Joaquim. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-56390-9

Format:

Availability

Online Library~1

Available:
Copies:

293.

Transactions on Computational Collective Intelligence XXV

Author

Nguyen, Ngoc Thanh. editor. Kowalczyk, Ryszard. editor. Orłowski, Cezary. editor. Ziółkowski, Artur. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-53580-6

Format:

Availability

Online Library~1

Available:
Copies:

294.

Cover image for Smart City 360° First EAI International Summit, Smart City 360°, Bratislava, Slovakia and Toronto, Canada, October 13-16, 2015. Revised Selected Papers

Smart City 360° First EAI International Summit, Smart City 360°, Bratislava, Slovakia and Toronto, Canada, October 13-16, 2015. Revised Selected Papers

Author

Leon-Garcia, Alberto. editor. Lenort, Radim. editor. Holman, David. editor. Staš, David. editor. Krutilova, Veronika. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-33681-7

Format:

Availability

Online Library~1

Available:
Copies:

295.

Parallel Processing and Applied Mathematics 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part II

Author

Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Dongarra, Jack. editor. Karczewski, Konrad. editor. Kitowski, Jacek. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-32152-3

Format:

Availability

Online Library~1

Available:
Copies:

296.

Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II

Author

Chaudhuri, Swarat. editor. Farzan, Azadeh. editor. SpringerLink (Online service)