Search Results for Software engineering.

301.

Cover image for Cryptology and Network Security 16th International Conference, CANS 2017, Hong Kong, China, November 30—December 2, 2017, Revised Selected Papers

Cryptology and Network Security 16th International Conference, CANS 2017, Hong Kong, China, November 30—December 2, 2017, Revised Selected Papers

Author

Capkun, Srdjan. editor. Chow, Sherman S. M. editor. (orcid)0000-0001-7306-453X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

302.

Cover image for The Practice of Enterprise Modeling 11th IFIP WG 8.1. Working Conference, PoEM 2018, Vienna, Austria, October 31 – November 2, 2018, Proceedings

The Practice of Enterprise Modeling 11th IFIP WG 8.1. Working Conference, PoEM 2018, Vienna, Austria, October 31 – November 2, 2018, Proceedings

Author

Buchmann, Robert Andrei. editor. (orcid)0000-0002-7385-1610 Karagiannis, Dimitris. editor. Kirikova, Marite. editor. (orcid)0000-0002-1678-9523 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

303.

Cover image for Data Privacy Management, Cryptocurrencies and Blockchain Technology ESORICS 2018 International Workshops, DPM 2018 and CBT 2018, Barcelona, Spain, September 6-7, 2018, Proceedings

Data Privacy Management, Cryptocurrencies and Blockchain Technology ESORICS 2018 International Workshops, DPM 2018 and CBT 2018, Barcelona, Spain, September 6-7, 2018, Proceedings

Author

Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393 Herrera-Joancomartí, Jordi. editor. (orcid)0000-0002-4935-4681 Livraga, Giovanni. editor. (orcid)0000-0003-2661-8573 Rios, Ruben. editor. (orcid)0000-0002-6251-4897 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

304.

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:

305.

SafeScrum® – Agile Development of Safety-Critical Software

Author

Hanssen, Geir Kjetil. author. Stålhane, Tor. author. Myklebust, Thor. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

306.

Cover image for Information Systems: Research, Development, Applications, Education 11th SIGSAND/PLAIS EuroSymposium 2018, Gdansk, Poland, September 20, 2018, Proceedings

Information Systems: Research, Development, Applications, Education 11th SIGSAND/PLAIS EuroSymposium 2018, Gdansk, Poland, September 20, 2018, Proceedings

Author

Wrycza, Stanisław. editor. (orcid)0000-0001-7699-6631 Maślankowski, Jacek. editor. (orcid)0000-0003-0357-2736 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

307.

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:

308.

Cover image for Advances in Cryptology – CRYPTO 2018 38th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19–23, 2018, Proceedings, Part III

Advances in Cryptology – CRYPTO 2018 38th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19–23, 2018, Proceedings, Part III

Author

Shacham, Hovav. editor. Boldyreva, Alexandra. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

309.

Cover image for Applied Computer Sciences in Engineering 5th Workshop on Engineering Applications, WEA 2018, Medellín, Colombia, October 17-19, 2018, Proceedings, Part II

Applied Computer Sciences in Engineering 5th Workshop on Engineering Applications, WEA 2018, Medellín, Colombia, October 17-19, 2018, Proceedings, Part II

Author

Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937 Villegas, Juan G. editor. (orcid)0000-0002-2940-571X Orozco-Arroyave, Juan Rafael. editor. (orcid)0000-0002-8507-0782 Maya Duque, Pablo Andres. editor. (orcid)0000-0002-5348-8615 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

310.

Advances in Computing 13th Colombian Conference, CCC 2018, Cartagena, Colombia, September 26–28, 2018, Proceedings

Author

Serrano C., Jairo E. editor. (orcid)0000-0001-8165-7343 Martínez-Santos, Juan Carlos. editor. (orcid)0000-0003-2755-0718 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

311.

Cover image for Big Data Technologies and Applications 8th International Conference, BDTA 2017, Gwangju, South Korea, November 23–24, 2017, Proceedings

Big Data Technologies and Applications 8th International Conference, BDTA 2017, Gwangju, South Korea, November 23–24, 2017, Proceedings

Author

Jung, Jason J. editor. Kim, Pankoo. editor. Choi, Kwang Nam. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

312.

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:

313.

Transactions on Computational Science XXXI Special Issue on Signal Processing and Security in Distributed Systems

Author

Gavrilova, Marina L. editor. Tan, C.J. Kenneth. editor. Chaki, Nabendu. editor. Saeed, Khalid. editor. (orcid)0000-0002-7741-7045 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

314.

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:

315.

Principled Software Development Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday

Author

Müller, Peter. editor. Schaefer, Ina. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

316.

Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday

Author

Jones, Cliff. editor. Wang, Ji. editor. Zhan, Naijun. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

317.

Cover image for AI 2018: Advances in Artificial Intelligence 31st Australasian Joint Conference, Wellington, New Zealand, December 11-14, 2018, Proceedings

AI 2018: Advances in Artificial Intelligence 31st Australasian Joint Conference, Wellington, New Zealand, December 11-14, 2018, Proceedings

Author

Mitrovic, Tanja. editor. Xue, Bing. editor. (orcid)0000-0002-4865-8026 Li, Xiaodong. editor. (orcid)0000-0003-0346-1526 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

318.

Cover image for Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part II

Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part II

Author

Cheng, Long. editor. (orcid)0000-0001-7565-8788 Leung, Andrew Chi Sing. editor. Ozawa, Seiichi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

319.

Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018, Proceedings, Part I

Author

Cheng, Long. editor. (orcid)0000-0001-7565-8788 Leung, Andrew Chi Sing. editor. Ozawa, Seiichi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

320.

Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018, Proceedings, Part IV

Author

Cheng, Long. editor. (orcid)0000-0001-7565-8788 Leung, Andrew Chi Sing. editor. Ozawa, Seiichi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

321.

Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part VII

Author

Cheng, Long. editor. (orcid)0000-0001-7565-8788 Leung, Andrew Chi Sing. editor. Ozawa, Seiichi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

322.

Cover image for Progress in Cryptology – INDOCRYPT 2018 19th International Conference on Cryptology in India, New Delhi, India, December 9–12, 2018, Proceedings

Progress in Cryptology – INDOCRYPT 2018 19th International Conference on Cryptology in India, New Delhi, India, December 9–12, 2018, Proceedings

Author

Chakraborty, Debrup. editor. (orcid)0000-0001-5179-1971 Iwata, Tetsu. editor. (orcid)0000-0002-4729-0979 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

323.

Cover image for Security, Privacy, and Applied Cryptography Engineering 8th International Conference, SPACE 2018, Kanpur, India, December 15-19, 2018, Proceedings

Security, Privacy, and Applied Cryptography Engineering 8th International Conference, SPACE 2018, Kanpur, India, December 15-19, 2018, Proceedings

Author

Chattopadhyay, Anupam. editor. (orcid)0000-0002-8818-6983 Rebeiro, Chester. editor. (orcid)0000-0001-8063-0026 Yarom, Yuval. editor. (orcid)0000-0003-0401-4197 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

324.

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:

325.

Cover image for Ad-hoc, Mobile, and Wireless Networks 17th International Conference on Ad Hoc Networks and Wireless, ADHOC-NOW 2018, Saint-Malo, France, September 5-7, 2018. Proceedings

Ad-hoc, Mobile, and Wireless Networks 17th International Conference on Ad Hoc Networks and Wireless, ADHOC-NOW 2018, Saint-Malo, France, September 5-7, 2018. Proceedings

Author

Montavont, Nicolas. editor. Papadopoulos, Georgios Z. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

326.

Artificial Intelligence 16th Russian Conference, RCAI 2018, Moscow, Russia, September 24-27, 2018, Proceedings

Author

Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001 Osipov, Gennady S. editor. (orcid)0000-0002-5329-6234 Stefanuk, Vadim L. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

327.

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 I

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:

328.

Software Business 9th International Conference, ICSOB 2018, Tallinn, Estonia, June 11–12, 2018, Proceedings

Author

Wnuk, Krzysztof. editor. Brinkkemper, Sjaak. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

329.

Computational Thinking First Algorithms, Then Code

Author

Ferragina, Paolo. author. Luccio, Fabrizio. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

330.

RoboCup 2017: Robot World Cup XXI

Author

Akiyama, Hidehisa. editor. (orcid)0000-0002-9793-9123 Obst, Oliver. editor. (orcid)0000-0002-8284-2062 Sammut, Claude. editor. (orcid)0000-0001-8873-5228 Tonidandel, Flavio. editor. (orcid)0000-0003-0345-668X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

331.

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:

332.

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:

333.

Cover image for Product Lifecycle Management to Support Industry 4.0 15th IFIP WG 5.1 International Conference, PLM 2018, Turin, Italy, July 2-4, 2018, Proceedings

Product Lifecycle Management to Support Industry 4.0 15th IFIP WG 5.1 International Conference, PLM 2018, Turin, Italy, July 2-4, 2018, Proceedings

Author

Chiabert, Paolo. editor. Bouras, Abdelaziz. editor. Noël, Frédéric. editor. Ríos, José. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

334.

Cover image for Financial Cryptography and Data Security 22nd International Conference, FC 2018, Nieuwpoort, Curaçao, February 26 – March 2, 2018, Revised Selected Papers

Financial Cryptography and Data Security 22nd International Conference, FC 2018, Nieuwpoort, Curaçao, February 26 – March 2, 2018, Revised Selected Papers

Author

Meiklejohn, Sarah. editor. Sako, Kazue. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-58387-6

Format:

Availability

Online Library~1

Available:
Copies:

335.

Persuasive Technology 13th International Conference, PERSUASIVE 2018, Waterloo, ON, Canada, April 18-19, 2018, Proceedings

Author

Ham, Jaap. editor. (orcid)0000-0003-1703-5165 Karapanos, Evangelos. editor. (orcid)0000-0001-5910-4996 Morita, Plinio P. editor. (orcid)0000-0001-9515-6478 Burns, Catherine M. editor. (orcid)0000-0002-6182-958X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

336.

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:

337.

Cover image for Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

Author

Chockler, Hana. editor. (orcid)0000-0003-1219-0713 Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

338.

Combinatorial Algorithms 29th International Workshop, IWOCA 2018, Singapore, July 16–19, 2018, Proceedings

Author

Iliopoulos, Costas. editor. Leong, Hon Wai. editor. Sung, Wing-Kin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

339.

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:

340.

Refinement Semantics, Languages and Applications

Author

Derrick, John. author. Boiten, Eerke. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

341.

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:

342.

Handbook of Dynamic Data Driven Applications Systems

Author

Blasch, Erik. editor. Ravela, Sai. editor. Aved, Alex. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

343.

Cover image for Advanced Information Systems Engineering 30th International Conference, CAiSE 2018, Tallinn, Estonia, June 11-15, 2018, Proceedings

Advanced Information Systems Engineering 30th International Conference, CAiSE 2018, Tallinn, Estonia, June 11-15, 2018, Proceedings

Author

Krogstie, John. editor. Reijers, Hajo A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

344.

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:

345.

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:

346.

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:

347.

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:

348.

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:

349.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I

Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I

Author

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

350.

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:

351.

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:

352.

Enjoying Natural Computing Essays Dedicated to Mario de Jesús Pérez-Jiménez on the Occasion of His 70th Birthday

Author

Graciani, Carmen. editor. Riscos-Núñez, Agustín. editor. Păun, Gheorghe. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

353.

Cover image for Advances in Cryptology – EUROCRYPT 2018 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel Aviv, Israel, April 29 - May 3, 2018 Proceedings, Part I

Advances in Cryptology – EUROCRYPT 2018 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel Aviv, Israel, April 29 - May 3, 2018 Proceedings, Part I

Author

Nielsen, Jesper Buus. editor. Rijmen, Vincent. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

354.

Human Centered Computing Third International Conference, HCC 2017, Kazan, Russia, August 7–9, 2017, Revised Selected Papers

Author

Zu, Qiaohong. editor. Hu, Bo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

355.

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:

356.

Multi-Disciplinary Digital Signal Processing A Functional Approach Using Matlab

Author

Gopi, E. S. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

357.

Computer Engineering and Technology 21st CCF Conference, NCCET 2017, Xiamen, China, August 16–18, 2017, Revised Selected Papers

Author

Xu, Weixia. editor. Xiao, Liquan. editor. Li, Jinwen. editor. Zhang, Chengyi. editor. Zhu, Zhenzhen. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

358.

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:

359.

5G for Future Wireless Networks First International Conference, 5GWN 2017, Beijing, China, April 21-23, 2017, Proceedings

Author

Long, Keping. editor. Leung, Victor C.M. editor. Zhang, Haijun. editor. Feng, Zhiyong. editor. Li, Yonghui. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

360.

Cover image for On the Move to Meaningful Internet Systems. OTM 2017 Workshops Confederated International Workshops, EI2N, FBM, ICSP, Meta4eS, OTMA 2017 and ODBASE Posters 2017, Rhodes, Greece, October 23–28, 2017, Revised Selected Papers

On the Move to Meaningful Internet Systems. OTM 2017 Workshops Confederated International Workshops, EI2N, FBM, ICSP, Meta4eS, OTMA 2017 and ODBASE Posters 2017, Rhodes, Greece, October 23–28, 2017, Revised Selected Papers

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

361.

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:

362.

Cover image for Database Systems for Advanced Applications DASFAA 2018 International Workshops: BDMS, BDQM, GDMA, and SeCoP, Gold Coast, QLD, Australia, May 21-24, 2018, Proceedings

Database Systems for Advanced Applications DASFAA 2018 International Workshops: BDMS, BDQM, GDMA, and SeCoP, Gold Coast, QLD, Australia, May 21-24, 2018, Proceedings

Author

Liu, Chengfei. editor. Zou, Lei. editor. Li, Jianxin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

363.

Cover image for Bioinspired Optimization Methods and Their Applications 8th International Conference, BIOMA 2018, Paris, France, May 16-18, 2018, Proceedings

Bioinspired Optimization Methods and Their Applications 8th International Conference, BIOMA 2018, Paris, France, May 16-18, 2018, Proceedings

Author

Korošec, Peter. editor. Melab, Nouredine. editor. Talbi, El-Ghazali. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

364.

Functional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings

Author

Gallagher, John P. editor. (orcid)0000-0001-6984-7419 Sulzmann, Martin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

365.

Multi-Agent Based Simulation XVIII International Workshop, MABS 2017, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers

Author

Dimuro, Graçaliz Pereira. editor. (orcid)0000-0001-6986-9888 Antunes, Luis. editor. (orcid)0000-0002-8237-6524 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

366.

Managing Software Crisis: A Smart Way to Enterprise Agility

Author

Zykov, Sergey V. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

367.

Software Fault Prediction A Road Map

Author

Kumar, Sandeep. author. Rathore, Santosh Singh. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

368.

Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings

Author

Gallardo, María del Mar. editor. Merino, Pedro. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

369.

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:

370.

Cover image for Computational Intelligence and Its Applications 6th IFIP TC 5 International Conference, CIIA 2018, Oran, Algeria, May 8-10, 2018, Proceedings

Computational Intelligence and Its Applications 6th IFIP TC 5 International Conference, CIIA 2018, Oran, Algeria, May 8-10, 2018, Proceedings

Author

Amine, Abdelmalek. editor. Mouhoub, Malek. editor. (orcid)0000-0001-7381-1064 Ait Mohamed, Otmane. editor. Djebbar, Bachir. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

371.

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:

372.

Cover image for Internet of Things – ICIOT 2018 Third International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings

Internet of Things – ICIOT 2018 Third International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings

Author

Georgakopoulos, Dimitrios. 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-94370-1

Format:

Availability

Online Library~1

Available:
Copies:

373.

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:

374.

Cover image for Information Technology for Management. Ongoing Research and Development 15th Conference, AITM 2017, and 12th Conference, ISM 2017, Held as Part of FedCSIS, Prague, Czech Republic, September 3-6, 2017, Extended Selected Papers

Information Technology for Management. Ongoing Research and Development 15th Conference, AITM 2017, and 12th Conference, ISM 2017, Held as Part of FedCSIS, Prague, Czech Republic, September 3-6, 2017, Extended Selected Papers

Author

Ziemba, Ewa. editor. (orcid)0000-0002-1084-7497 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

375.

Thinking-Driven Testing The Most Reasonable Approach to Quality Control

Author

Roman, Adam. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

376.

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:

377.

Simulating Nonlinear Circuits with Python Power Electronics An Open-Source Simulator, Based on Python™

Author

Iyer, Shivkumar V. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

378.

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:

379.

Comparing and Aligning Process Representations Foundations and Technical Solutions

Author

van der Aa, Han. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

380.

Cover image for Theory and Applications of Satisfiability Testing – SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings

Theory and Applications of Satisfiability Testing – SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings

Author

Beyersdorff, Olaf. editor. Wintersteiger, Christoph M. editor. (orcid)0000-0003-0102-4381 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

381.

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:

382.

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:

383.

Smart STEM-Driven Computer Science Education Theory, Methodology and Robot-based Practices

Author

Štuikys, Vytautas. author. Burbaitė, Renata. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

384.

Cover image for Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I

Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I

Author

Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Dongarra, Jack. editor. (orcid)0000-0003-3247-1782 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Karczewski, Konrad. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

385.

Cover image for Logic, Language, Information, and Computation 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings

Logic, Language, Information, and Computation 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings

Author

Moss, Lawrence S. editor. de Queiroz, Ruy. editor. Martinez, Maricarmen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-57669-4

Format:

Availability

Online Library~1

Available:
Copies:

386.

Cover image for Articulated Motion and Deformable Objects 10th International Conference, AMDO 2018, Palma de Mallorca, Spain, July 12-13, 2018, Proceedings

Articulated Motion and Deformable Objects 10th International Conference, AMDO 2018, Palma de Mallorca, Spain, July 12-13, 2018, Proceedings

Author

Perales, Francisco José. editor. Kittler, Josef. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

387.

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:

388.

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:

389.

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:

390.

Software Development Measurement Programs Development, Management and Evolution

Author

Staron, Miroslaw. author. Meding, Wilhelm. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

391.

Cover image for Robotic Grasping and Manipulation First Robotic Grasping and Manipulation Challenge, RGMC 2016, Held in Conjunction with IROS 2016, Daejeon, South Korea, October 10–12, 2016, Revised Papers

Robotic Grasping and Manipulation First Robotic Grasping and Manipulation Challenge, RGMC 2016, Held in Conjunction with IROS 2016, Daejeon, South Korea, October 10–12, 2016, Revised Papers

Author

Sun, Yu. editor. Falco, Joe. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

392.

Artificial General Intelligence 11th International Conference, AGI 2018, Prague, Czech Republic, August 22-25, 2018, Proceedings

Author

Iklé, Matthew. editor. Franz, Arthur. editor. Rzepka, Rafal. editor. Goertzel, Ben. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

393.

Crowdsourced Data Management Hybrid Machine-Human Computing

Author

Li, Guoliang. author. Wang, Jiannan. author. Zheng, Yudian. author. Fan, Ju. author. Franklin, Michael J. author.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-10-7847-7

Format:

Availability

Online Library~1

Available:
Copies:

394.

Cover image for Advances in Production Management Systems. Smart Manufacturing for Industry 4.0 IFIP WG 5.7 International Conference, APMS 2018, Seoul, Korea, August 26-30, 2018, Proceedings, Part II

Advances in Production Management Systems. Smart Manufacturing for Industry 4.0 IFIP WG 5.7 International Conference, APMS 2018, Seoul, Korea, August 26-30, 2018, Proceedings, Part II

Author

Moon, Ilkyeong. editor. (orcid)0000-0002-7072-1351 Lee, Gyu M. editor. (orcid)0000-0001-5466-6244 Park, Jinwoo. editor. Kiritsis, Dimitris. editor. (orcid)0000-0003-3660-9187 von Cieminski, Gregor. editor. (orcid)0000-0001-9869-5055

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

395.

Cover image for Information Security Education – Towards a Cybersecure Society 11th IFIP WG 11.8 World Conference, WISE 11, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18–20, 2018, Proceedings

Information Security Education – Towards a Cybersecure Society 11th IFIP WG 11.8 World Conference, WISE 11, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18–20, 2018, Proceedings

Author

Drevin, Lynette. editor. (orcid)0000-0001-9370-8216 Theocharidou, Marianthi. editor. (orcid)0000-0002-8870-1746 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

396.

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:

397.

Cover image for Graph Drawing and Network Visualization 25th International Symposium, GD 2017, Boston, MA, USA, September 25-27, 2017, Revised Selected Papers

Graph Drawing and Network Visualization 25th International Symposium, GD 2017, Boston, MA, USA, September 25-27, 2017, Revised Selected Papers

Author

Frati, Fabrizio. editor. (orcid)0000-0001-5987-8713 Ma, Kwan-Liu. editor. (orcid)0000-0001-8086-0366 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

398.

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:

399.

Cover image for Agents and Artificial Intelligence 9th International Conference, ICAART 2017, Porto, Portugal, February 24–26, 2017, Revised Selected Papers

Agents and Artificial Intelligence 9th International Conference, ICAART 2017, Porto, Portugal, February 24–26, 2017, Revised Selected Papers

Author

van den Herik, Jaap. editor. Rocha, Ana Paula. editor. Filipe, Joaquim. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

400.

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:

401.

KI 2018: Advances in Artificial Intelligence 41st German Conference on AI, Berlin, Germany, September 24–28, 2018, Proceedings

Author

Trollmann, Frank. editor. Turhan, Anni-Yasmin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

402.

Fundamentals of Software Culture

Author

Qin, Zheng. author. Zhang, Huidi. author. Qin, Xin. author. Xu, Kaiping. author. Dimitrov, Kouemo Ngayo Anatoli. author.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-13-0701-0

Format:

Availability

Online Library~1

Available:
Copies:

403.

Provable Security 12th International Conference, ProvSec 2018, Jeju, South Korea, October 25-28, 2018, Proceedings

Author

Baek, Joonsang. editor. Susilo, Willy. editor. Kim, Jongkil. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

404.

Cover image for Multi-Agent Systems and Agreement Technologies 15th European Conference, EUMAS 2017, and 5th International Conference, AT 2017, Evry, France, December 14-15, 2017, Revised Selected Papers

Multi-Agent Systems and Agreement Technologies 15th European Conference, EUMAS 2017, and 5th International Conference, AT 2017, Evry, France, December 14-15, 2017, Revised Selected Papers

Author

Belardinelli, Francesco. editor. (orcid)0000-0002-7768-1794 Argente, Estefanía. editor. (orcid)0000-0002-5431-3868 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

405.

Cover image for Pattern Recognition and Computer Vision First Chinese Conference, PRCV 2018, Guangzhou, China, November 23-26, 2018, Proceedings, Part III

Pattern Recognition and Computer Vision First Chinese Conference, PRCV 2018, Guangzhou, China, November 23-26, 2018, Proceedings, Part III

Author

Lai, Jian-Huang. editor. Liu, Cheng-Lin. editor. Chen, Xilin. editor. Zhou, Jie. editor. Tan, Tieniu. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-03338-5

Format:

Availability

Online Library~1

Available:
Copies:

406.

Cover image for Internet Multimedia Computing and Service 9th International Conference, ICIMCS 2017, Qingdao, China, August 23-25, 2017, Revised Selected Papers

Internet Multimedia Computing and Service 9th International Conference, ICIMCS 2017, Qingdao, China, August 23-25, 2017, Revised Selected Papers

Author

Huet, Benoit. editor. Nie, Liqiang. editor. Hong, Richang. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-10-8530-7

Format:

Availability

Online Library~1

Available:
Copies:

407.

Software Fault Detection and Correction: Modeling and Applications

Author

Peng, Rui. author. Li, Yan-Fu. author. Liu, Yu. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-13-1162-8

Format:

Availability

Online Library~1

Available:
Copies:

408.

Reliability Aspect of Cloud Computing Environment

Author

Kumar, Vikas. author. Vidhyalakshmi, R. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-13-3023-0

Format:

Availability

Online Library~1

Available:
Copies:

409.

Cover image for Web Information Systems Engineering – WISE 2018 19th International Conference, Dubai, United Arab Emirates, November 12-15, 2018, Proceedings, Part I

Web Information Systems Engineering – WISE 2018 19th International Conference, Dubai, United Arab Emirates, November 12-15, 2018, Proceedings, Part I

Author

Hacid, Hakim. editor. (orcid)0000-0003-2265-9343 Cellary, Wojciech. editor. (orcid)0000-0001-8578-4307 Wang, Hua. editor. (orcid)0000-0002-8465-0996 Paik, Hye-Young. editor. (orcid)0000-0003-4425-7388 Zhou, Rui. editor. (orcid)0000-0001-6807-4362

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

410.

Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I

Author

Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

411.

Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV

Author

Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

412.

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:

413.

Cover image for Web and Big Data APWeb-WAIM 2018 International Workshops: MWDA, BAH, KGMA, DMMOOC, DS, Macau, China, July 23–25, 2018, Revised Selected Papers

Web and Big Data APWeb-WAIM 2018 International Workshops: MWDA, BAH, KGMA, DMMOOC, DS, Macau, China, July 23–25, 2018, Revised Selected Papers

Author

U, Leong Hou. editor. Xie, Haoran. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

414.

Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III

Author

Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-03424-5

Format:

Availability

Online Library~1

Available:
Copies:

415.

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:

416.

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:

417.

Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II

Author

Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

418.

Security Standardisation Research 4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings

Author

Cremers, Cas. editor. (orcid)0000-0003-0322-2293 Lehmann, Anja. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

419.

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:

420.

Cover image for Social, Cultural, and Behavioral Modeling 11th International Conference, SBP-BRiMS 2018, Washington, DC, USA, July 10-13, 2018, Proceedings

Social, Cultural, and Behavioral Modeling 11th International Conference, SBP-BRiMS 2018, Washington, DC, USA, July 10-13, 2018, Proceedings

Author

Thomson, Robert. editor. Dancy, Christopher. editor. Hyder, Ayaz. editor. Bisgin, Halil. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

421.

Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II

Author

Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Dongarra, Jack. editor. (orcid)0000-0003-3247-1782 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Karczewski, Konrad. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

422.

Cover image for Open Source Systems: Enterprise Software and Solutions 14th IFIP WG 2.13 International Conference, OSS 2018, Athens, Greece, June 8-10, 2018, Proceedings

Open Source Systems: Enterprise Software and Solutions 14th IFIP WG 2.13 International Conference, OSS 2018, Athens, Greece, June 8-10, 2018, Proceedings

Author

Stamelos, Ioannis. editor. Gonzalez-Barahoña, Jesus M. editor. (orcid)0000-0001-9682-460X Varlamis, Iraklis. editor. (orcid)0000-0002-0876-8167 Anagnostopoulos, Dimosthenis. editor. (orcid)0000-0003-0747-4252 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

423.

Post-Quantum Cryptography 9th International Conference, PQCrypto 2018, Fort Lauderdale, FL, USA, April 9-11, 2018, Proceedings

Author

Lange, Tanja. editor. Steinwandt, Rainer. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

424.

Cover image for Music Technology with Swing 13th International Symposium, CMMR 2017, Matosinhos, Portugal, September 25-28, 2017, Revised Selected Papers

Music Technology with Swing 13th International Symposium, CMMR 2017, Matosinhos, Portugal, September 25-28, 2017, Revised Selected Papers

Author

Aramaki, Mitsuko. editor. Davies, Matthew E. P. editor. (orcid)0000-0002-1315-3992 Kronland-Martinet, Richard. editor. (orcid)0000-0002-7325-4920 Ystad, Sølvi. editor. (orcid)0000-0001-9022-9690 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

425.

Cover image for Recent Trends and Future Technology in Applied Intelligence 31st International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2018, Montreal, QC, Canada, June 25-28, 2018, Proceedings

Recent Trends and Future Technology in Applied Intelligence 31st International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2018, Montreal, QC, Canada, June 25-28, 2018, Proceedings

Author

Mouhoub, Malek. editor. Sadaoui, Samira. editor. Ait Mohamed, Otmane. editor. Ali, Moonis. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

426.

Cover image for Logic-Based Program Synthesis and Transformation 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers

Logic-Based Program Synthesis and Transformation 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers

Author

Fioravanti, Fabio. editor. (orcid)0000-0002-1268-7829 Gallagher, John P. editor. (orcid)0000-0001-6984-7419 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

427.

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:

428.

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:

429.

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:

430.

Cover image for Entertainment Computing – ICEC 2018 17th IFIP TC 14 International Conference, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 17–20, 2018, Proceedings

Entertainment Computing – ICEC 2018 17th IFIP TC 14 International Conference, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 17–20, 2018, Proceedings

Author

Clua, Esteban. editor. (orcid)0000-0001-5650-1718 Roque, Licinio. editor. (orcid)0000-0002-1911-2788 Lugmayr, Artur. editor. (orcid)0000-0001-6994-4470 Tuomi, Pauliina. editor. (orcid)0000-0001-9986-6426 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

431.

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:

432.

Cover image for Cloud Computing and Service Science 7th International Conference, CLOSER 2017, Porto, Portugal, April 24–26, 2017, Revised Selected Papers

Cloud Computing and Service Science 7th International Conference, CLOSER 2017, Porto, Portugal, April 24–26, 2017, Revised Selected Papers

Author

Ferguson, Donald. editor. Muñoz, Víctor Méndez. editor. Cardoso, Jorge. editor. Helfert, Markus. editor. Pahl, Claus. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

433.

Conceptual Modeling 37th International Conference, ER 2018, Xi'an, China, October 22–25, 2018, Proceedings

Author

Trujillo, Juan C. editor. (orcid)0000-0003-0139-6724 Davis, Karen C. editor. Du, Xiaoyong. editor. Li, Zhanhuai. editor. Ling, Tok Wang. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-00847-5

Format:

Availability

Online Library~1

Available:
Copies:

434.

Tree-Based Convolutional Neural Networks Principles and Applications

Author

Mou, Lili. author. Jin, Zhi. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

435.

Cover image for Advances in Soft Computing 17th Mexican International Conference on Artificial Intelligence, MICAI 2018, Guadalajara, Mexico, October 22–27, 2018, Proceedings, Part I

Advances in Soft Computing 17th Mexican International Conference on Artificial Intelligence, MICAI 2018, Guadalajara, Mexico, October 22–27, 2018, Proceedings, Part I

Author

Batyrshin, Ildar. editor. Martínez-Villaseñor, María de Lourdes. editor. Ponce Espinosa, Hiram Eredín. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

436.

Cover image for Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

Author

Itsykson, Vladimir. editor. Scedrov, Andre. editor. Zakharov, Victor. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

437.

Cover image for TraceME: A Traceability-Based Method for Conceptual Model Evolution Model-Driven Techniques, Tools, Guidelines, and Open Challenges in Conceptual Model Evolution

TraceME: A Traceability-Based Method for Conceptual Model Evolution Model-Driven Techniques, Tools, Guidelines, and Open Challenges in Conceptual Model Evolution

Author

Ruiz, Marcela. author. (orcid)0000-0002-0592-1779 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

438.

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:

439.

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

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:

440.