Search Results for - Narrowed by: E-Book - 2018 - Software engineering.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qf$003dITYPE$002509Material$002bType$0025091$00253AE-KITAP$002509E-Book$0026qf$003dPUBDATE$002509Publication$002bDate$0025092018$0025092018$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026te$003dILS$0026rt$003dfalse$00257C$00257C$00257CISBN$00257C$00257C$00257CISBN$0026ps$003d300$0026isd$003dtrue?
2024-09-12T11:17:10Z
Bioinformatics Research and Applications 14th International Symposium, ISBRA 2018, Beijing, China, June 8-11, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:398931
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Zhang, Fa. editor. Cai, Zhipeng. editor. Skums, Pavel. editor. Zhang, Shihua. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94968-0">https://doi.org/10.1007/978-3-319-94968-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Queueing Theory and Network Applications 13th International Conference, QTNA 2018, Tsukuba, Japan, July 25-27, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:398933
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
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)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-93736-6">https://doi.org/10.1007/978-3-319-93736-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Computational Intelligence 17th Mexican International Conference on Artificial Intelligence, MICAI 2018, Guadalajara, Mexico, October 22–27, 2018, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:398957
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Batyrshin, Ildar. editor. Martínez-Villaseñor, María de Lourdes. editor. Ponce Espinosa, Hiram Eredín. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-04497-8">https://doi.org/10.1007/978-3-030-04497-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:398959
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Streitz, Norbert. editor. (orcid)0000-0002-0244-0945 Konomi, Shin’ichi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91125-0">https://doi.org/10.1007/978-3-319-91125-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Case-Based Reasoning Research and Development 26th International Conference, ICCBR 2018, Stockholm, Sweden, July 9-12, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:398962
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Cox, Michael T. editor. Funk, Peter. editor. (orcid)0000-0002-5562-1424 Begum, Shahina. editor. (orcid)0000-0002-1212-7637 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-01081-2">https://doi.org/10.1007/978-3-030-01081-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Vision – ECCV 2018 15th European Conference, Munich, Germany, September 8-14, 2018, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:398963
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Ferrari, Vittorio. editor. Hebert, Martial. editor. Sminchisescu, Cristian. editor. Weiss, Yair. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-01216-8">https://doi.org/10.1007/978-3-030-01216-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Computational Collective Intelligence XXVIII
ent://SD_ILS/0/SD_ILS:398970
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
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.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-78301-7">https://doi.org/10.1007/978-3-319-78301-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Search-Based Software Engineering 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:398985
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Colanzi, Thelma Elita. editor. (orcid)0000-0001-9761-1999 McMinn, Phil. editor. (orcid)0000-0001-9137-7433 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99241-9">https://doi.org/10.1007/978-3-319-99241-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:399018
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
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<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99707-0">https://doi.org/10.1007/978-3-319-99707-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:399019
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Drevin, Lynette. editor. (orcid)0000-0001-9370-8216 Theocharidou, Marianthi. editor. (orcid)0000-0002-8870-1746 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99734-6">https://doi.org/10.1007/978-3-319-99734-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Informatics in Schools. Fundamentals of Computer Science and Software Engineering 11th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2018, St. Petersburg, Russia, October 10-12, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399045
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Pozdniakov, Sergei N. editor. (orcid)0000-0002-1899-9145 Dagienė, Valentina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-02750-6">https://doi.org/10.1007/978-3-030-02750-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Evolving OpenMP for Evolving Architectures 14th International Workshop on OpenMP, IWOMP 2018, Barcelona, Spain, September 26–28, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399167
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author de Supinski, Bronis R. editor. Valero-Lara, Pedro. editor. (orcid)0000-0002-1479-4310 Martorell, Xavier. editor. Mateo Bellido, Sergi. editor. Labarta, Jesus. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-98521-3">https://doi.org/10.1007/978-3-319-98521-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamentals of Software Culture
ent://SD_ILS/0/SD_ILS:399110
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Qin, Zheng. author. Zhang, Huidi. author. Qin, Xin. author. Xu, Kaiping. author. Dimitrov, Kouemo Ngayo Anatoli. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-13-0701-0">https://doi.org/10.1007/978-981-13-0701-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pattern Recognition and Computer Vision First Chinese Conference, PRCV 2018, Guangzhou, China, November 23-26, 2018, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:399116
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Lai, Jian-Huang. editor. Liu, Cheng-Lin. editor. Chen, Xilin. editor. Zhou, Jie. editor. Tan, Tieniu. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-03338-5">https://doi.org/10.1007/978-3-030-03338-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Internet Multimedia Computing and Service 9th International Conference, ICIMCS 2017, Qingdao, China, August 23-25, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:399118
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Huet, Benoit. editor. Nie, Liqiang. editor. Hong, Richang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-8530-7">https://doi.org/10.1007/978-981-10-8530-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Computing Strategies for Engineering 25th EG-ICE International Workshop 2018, Lausanne, Switzerland, June 10-13, 2018, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:399203
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Smith, Ian F. C. editor. Domer, Bernd. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91638-5">https://doi.org/10.1007/978-3-319-91638-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reliability Aspect of Cloud Computing Environment
ent://SD_ILS/0/SD_ILS:399144
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Kumar, Vikas. author. Vidhyalakshmi, R. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-13-3023-0">https://doi.org/10.1007/978-981-13-3023-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Computer Architecture 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399155
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Li, Chao. editor. Wu, Junjie. editor. (orcid)0000-0001-5951-8988 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-13-2423-9">https://doi.org/10.1007/978-981-13-2423-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Information Systems Engineering – WISE 2018 19th International Conference, Dubai, United Arab Emirates, November 12-15, 2018, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:399363
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
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<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-02922-7">https://doi.org/10.1007/978-3-030-02922-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:399365
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-03418-4">https://doi.org/10.1007/978-3-030-03418-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:399366
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-03427-6">https://doi.org/10.1007/978-3-030-03427-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ambient Intelligence 14th European Conference, AmI 2018, Larnaca, Cyprus, November 12-14, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399383
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Kameas, Achilles. editor. (orcid)0000-0002-1004-7860 Stathis, Kostas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-03062-9">https://doi.org/10.1007/978-3-030-03062-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web and Big Data APWeb-WAIM 2018 International Workshops: MWDA, BAH, KGMA, DMMOOC, DS, Macau, China, July 23–25, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:399395
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author U, Leong Hou. editor. Xie, Haoran. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-01298-4">https://doi.org/10.1007/978-3-030-01298-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:399397
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-03424-5">https://doi.org/10.1007/978-3-030-03424-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
PRIMA 2018: Principles and Practice of Multi-Agent Systems 21st International Conference, Tokyo, Japan, October 29-November 2, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399403
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
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.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-03098-8">https://doi.org/10.1007/978-3-030-03098-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multi-disciplinary Trends in Artificial Intelligence 12th International Conference, MIWAI 2018, Hanoi, Vietnam, November 18–20, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399405
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Kaenampornpan, Manasawee. editor. Malaka, Rainer. editor. Nguyen, Duc Dung. editor. Schwind, Nicolas. editor. (orcid)0000-0001-7972-5984 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-03014-8">https://doi.org/10.1007/978-3-030-03014-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods: Foundations and Applications 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399406
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Massoni, Tiago. editor. (orcid)0000-0002-9423-7556 Mousavi, Mohammad Reza. editor. (orcid)0000-0002-4869-6794 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-03044-5">https://doi.org/10.1007/978-3-030-03044-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:399410
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-03421-4">https://doi.org/10.1007/978-3-030-03421-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Analysis, Testing, and Evolution 8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 23–24, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399416
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Bu, Lei. editor. (orcid)0000-0003-0517-7801 Xiong, Yingfei. editor. (orcid)0000-0001-8991-747X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-04272-1">https://doi.org/10.1007/978-3-030-04272-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Testing Software and Systems 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399422
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Medina-Bulo, Inmaculada. editor. Merayo, Mercedes G. editor. Hierons, Robert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99927-2">https://doi.org/10.1007/978-3-319-99927-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Emerging Technologies for Authorization and Authentication First International Workshop, ETAA 2018, Barcelona, Spain, September 7, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399665
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Saracino, Andrea. editor. Mori, Paolo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-04372-8">https://doi.org/10.1007/978-3-030-04372-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:399589
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Mouhoub, Malek. editor. Sadaoui, Samira. editor. Ait Mohamed, Otmane. editor. Ali, Moonis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-92058-0">https://doi.org/10.1007/978-3-319-92058-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:399597
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Piskac, Ruzica. editor. Rümmer, Philipp. editor. (orcid)0000-0002-2733-7098 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-03592-1">https://doi.org/10.1007/978-3-030-03592-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399537
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Ryu, Sukyoung. editor. (orcid)0000-0002-0019-9772 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-02768-1">https://doi.org/10.1007/978-3-030-02768-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Internet and Distributed Computing Systems 10th International Conference, IDCS 2017, Mana Island, Fiji, December 11-13, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:399750
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Fortino, Giancarlo. editor. Ali, A.B.M. Shawkat. editor. Pathan, Mukaddim. editor. Guerrieri, Antonio. editor. Di Fatta, Giuseppe. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-97795-9">https://doi.org/10.1007/978-3-319-97795-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Architecture 12th European Conference on Software Architecture, ECSA 2018, Madrid, Spain, September 24–28, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399751
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Cuesta, Carlos E. editor. (orcid)0000-0003-0286-4219 Garlan, David. editor. (orcid)0000-0002-6735-8301 Pérez, Jennifer. editor. (orcid)0000-0003-3192-7995 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00761-4">https://doi.org/10.1007/978-3-030-00761-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Internet of Things (IoT) Technologies for HealthCare 4th International Conference, HealthyIoT 2017, Angers, France, October 24-25, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:399548
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Ahmed, Mobyen Uddin. editor. Begum, Shahina. editor. (orcid)0000-0002-1212-7637 Fasquel, Jean-Baptiste. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-76213-5">https://doi.org/10.1007/978-3-319-76213-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Certifiable software applications. 3, Downward cycle
ent://SD_ILS/0/SD_ILS:460284
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Boulanger, Jean-Louis, author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="https://www.sciencedirect.com/science/book/9781785481192">https://www.sciencedirect.com/science/book/9781785481192</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial General Intelligence 11th International Conference, AGI 2018, Prague, Czech Republic, August 22-25, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399061
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Iklé, Matthew. editor. Franz, Arthur. editor. Rzepka, Rafal. editor. Goertzel, Ben. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-97676-1">https://doi.org/10.1007/978-3-319-97676-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Crowdsourced Data Management Hybrid Machine-Human Computing
ent://SD_ILS/0/SD_ILS:399073
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Li, Guoliang. author. Wang, Jiannan. author. Zheng, Yudian. author. Fan, Ju. author. Franklin, Michael J. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-7847-7">https://doi.org/10.1007/978-981-10-7847-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
IoT as a Service Third International Conference, IoTaaS 2017, Taichung, Taiwan, September 20–22, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:399081
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Lin, Yi-Bing. editor. Deng, Der-Jiunn. editor. You, Ilsun. editor. Lin, Chun-Cheng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00410-1">https://doi.org/10.1007/978-3-030-00410-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligence Science II Third IFIP TC 12 International Conference, ICIS 2018, Beijing, China, November 2-5, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399082
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Shi, Zhongzhi. editor. Pennartz, Cyriel. editor. Huang, Tiejun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-01313-4">https://doi.org/10.1007/978-3-030-01313-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:399086
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Peyrin, Thomas. editor. (orcid)0000-0002-2690-9197 Galbraith, Steven. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-03329-3">https://doi.org/10.1007/978-3-030-03329-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Blended Learning. Enhancing Learning Success 11th International Conference, ICBL 2018, Osaka, Japan, July 31- August 2, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399093
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Cheung, Simon K.S. editor. Kwok, Lam-for. editor. Kubota, Kenichi. editor. Lee, Lap-Kei. editor. Tokito, Jumpei. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94505-7">https://doi.org/10.1007/978-3-319-94505-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Chinese Lexical Semantics 19th Workshop, CLSW 2018, Chiayi, Taiwan, May 26–28, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:399096
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Hong, Jia-Fei. editor. Su, Qi. editor. (orcid)0000-0002-4769-2812 Wu, Jiun-Shiung. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-04015-4">https://doi.org/10.1007/978-3-030-04015-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
KI 2018: Advances in Artificial Intelligence 41st German Conference on AI, Berlin, Germany, September 24–28, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399101
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Trollmann, Frank. editor. Turhan, Anni-Yasmin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00111-7">https://doi.org/10.1007/978-3-030-00111-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Provable Security 12th International Conference, ProvSec 2018, Jeju, South Korea, October 25-28, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399111
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Baek, Joonsang. editor. Susilo, Willy. editor. Kim, Jongkil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-01446-9">https://doi.org/10.1007/978-3-030-01446-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:399113
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Belardinelli, Francesco. editor. (orcid)0000-0002-7768-1794 Argente, Estefanía. editor. (orcid)0000-0002-5431-3868 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-01713-2">https://doi.org/10.1007/978-3-030-01713-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Graph Drawing and Network Visualization 25th International Symposium, GD 2017, Boston, MA, USA, September 25-27, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:399189
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Frati, Fabrizio. editor. (orcid)0000-0001-5987-8713 Ma, Kwan-Liu. editor. (orcid)0000-0001-8086-0366 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-73915-1">https://doi.org/10.1007/978-3-319-73915-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Fault Detection and Correction: Modeling and Applications
ent://SD_ILS/0/SD_ILS:399124
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Peng, Rui. author. Li, Yan-Fu. author. Liu, Yu. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-13-1162-8">https://doi.org/10.1007/978-981-13-1162-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agents and Artificial Intelligence 9th International Conference, ICAART 2017, Porto, Portugal, February 24–26, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:399210
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author van den Herik, Jaap. editor. Rocha, Ana Paula. editor. Filipe, Joaquim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-93581-2">https://doi.org/10.1007/978-3-319-93581-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering and Formal Methods 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399218
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Johnsen, Einar Broch. editor. Schaefer, Ina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-92970-5">https://doi.org/10.1007/978-3-319-92970-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applications of Computing and Communication Technologies First International Conference, ICACCT 2018, Delhi, India, March 9, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:399226
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Deka, Ganesh Chandra. editor. Kaiwartya, Omprakash. editor. Vashisth, Pooja. editor. Rathee, Priyanka. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-13-2035-4">https://doi.org/10.1007/978-981-13-2035-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Information Systems Engineering 30th International Conference, CAiSE 2018, Tallinn, Estonia, June 11-15, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399238
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Krogstie, John. editor. Reijers, Hajo A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91563-0">https://doi.org/10.1007/978-3-319-91563-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:399239
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Chen, Jessie Y.C. editor. Fragomeni, Gino. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91581-4">https://doi.org/10.1007/978-3-319-91581-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Emerging Technologies in Computing First International Conference, iCETiC 2018, London, UK, August 23–24, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399241
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
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<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-95450-9">https://doi.org/10.1007/978-3-319-95450-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Robotics and Applications 11th International Conference, ICIRA 2018, Newcastle, NSW, Australia, August 9–11, 2018, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:399243
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
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)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-97586-3">https://doi.org/10.1007/978-3-319-97586-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Methods in Systems Biology 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399265
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Češka, Milan. editor. (orcid)0000-0002-0300-9727 Šafránek, David. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99429-1">https://doi.org/10.1007/978-3-319-99429-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information and Software Technologies 24th International Conference, ICIST 2018, Vilnius, Lithuania, October 4–6, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399266
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Damaševičius, Robertas. editor. Vasiljevienė, Giedrė. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99972-2">https://doi.org/10.1007/978-3-319-99972-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Foundations of Advanced Informatics Volume 1: Inductive Approaches
ent://SD_ILS/0/SD_ILS:399270
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Steffen, Bernhard. author. Rüthing, Oliver. author. Huth, Michael. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68397-3">https://doi.org/10.1007/978-3-319-68397-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software-Defined Cloud Centers Operational and Management Technologies and Tools
ent://SD_ILS/0/SD_ILS:399283
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Raj, Pethuru. author. Raman, Anupama. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-78637-7">https://doi.org/10.1007/978-3-319-78637-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Swarm Intelligence 11th International Conference, ANTS 2018, Rome, Italy, October 29–31, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399297
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Dorigo, Marco. editor. (orcid)0000-0002-3971-0507 Birattari, Mauro. editor. (orcid)0000-0003-3309-2194 Blum, Christian. editor. (orcid)0000-0002-1736-3559 Christensen, Anders L. editor. (orcid)0000-0002-9994-2908 Reina, Andreagiovanni. editor. (orcid)0000-0003-4745-992X<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00533-7">https://doi.org/10.1007/978-3-030-00533-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
From Animals to Animats 15 15th International Conference on Simulation of Adaptive Behavior, SAB 2018, Frankfurt/Main, Germany, August 14-17, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399324
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
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.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-97628-0">https://doi.org/10.1007/978-3-319-97628-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
New Trends in Information and Communications Technology Applications Third International Conference, NTICT 2018, Baghdad, Iraq, October 2–4, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399325
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Al-mamory, Safaa O. editor. (orcid)0000-0003-3144-8222 Alwan, Jwan K. editor. Hussein, Ali D. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-01653-1">https://doi.org/10.1007/978-3-030-01653-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cryptology and Network Security 16th International Conference, CANS 2017, Hong Kong, China, November 30—December 2, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:399347
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Capkun, Srdjan. editor. Chow, Sherman S. M. editor. (orcid)0000-0001-7306-453X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-02641-7">https://doi.org/10.1007/978-3-030-02641-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399353
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Lahiri, Shuvendu K. editor. Wang, Chao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-01090-4">https://doi.org/10.1007/978-3-030-01090-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Practice of Enterprise Modeling 11th IFIP WG 8.1. Working Conference, PoEM 2018, Vienna, Austria, October 31 – November 2, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399355
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Buchmann, Robert Andrei. editor. (orcid)0000-0002-7385-1610 Karagiannis, Dimitris. editor. Kirikova, Marite. editor. (orcid)0000-0002-1678-9523 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-02302-7">https://doi.org/10.1007/978-3-030-02302-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399356
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Sun, Jing. editor. Sun, Meng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-02450-5">https://doi.org/10.1007/978-3-030-02450-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Modelling for Archaeology and Anthropology Software Engineering Principles for Cultural Heritage
ent://SD_ILS/0/SD_ILS:399464
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Gonzalez-Perez, Cesar. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-72652-6">https://doi.org/10.1007/978-3-319-72652-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399472
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 Peleska, Jan. editor. (orcid)0000-0003-3667-9775 Roscoe, Bill. editor. de Vink, Erik. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-95582-7">https://doi.org/10.1007/978-3-319-95582-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Dependable Software Engineering. Theories, Tools, and Applications 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399485
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Feng, Xinyu. editor. Müller-Olm, Markus. editor. Yang, Zijiang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99933-3">https://doi.org/10.1007/978-3-319-99933-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Systems, Software and Services Process Improvement 25th European Conference, EuroSPI 2018, Bilbao, Spain, September 5-7, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399494
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Larrucea, Xabier. editor. Santamaria, Izaskun. editor. O'Connor, Rory V. editor. Messnarz, Richard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-97925-0">https://doi.org/10.1007/978-3-319-97925-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Wireless Mobile Communication and Healthcare 7th International Conference, MobiHealth 2017, Vienna, Austria, November 14–15, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:399504
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Perego, Paolo. editor. Rahmani, Amir M. editor. TaheriNejad, Nima. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-98551-0">https://doi.org/10.1007/978-3-319-98551-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Production Management Systems. Production Management for Data-Driven, Intelligent, Collaborative, and Sustainable Manufacturing IFIP WG 5.7 International Conference, APMS 2018, Seoul, Korea, August 26-30, 2018, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:399505
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
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<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99704-9">https://doi.org/10.1007/978-3-319-99704-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Processes and Life Cycle Models An Introduction to Modelling, Using and Managing Agile, Plan-Driven and Hybrid Processes
ent://SD_ILS/0/SD_ILS:399513
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Kneuper, Ralf. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-98845-0">https://doi.org/10.1007/978-3-319-98845-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Systems: Research, Development, Applications, Education 11th SIGSAND/PLAIS EuroSymposium 2018, Gdansk, Poland, September 20, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399711
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Wrycza, Stanisław. editor. (orcid)0000-0001-7699-6631 Maślankowski, Jacek. editor. (orcid)0000-0003-0357-2736 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00060-8">https://doi.org/10.1007/978-3-030-00060-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
ICT Innovations 2018. Engineering and Life Sciences 10th International Conference, ICT Innovations 2018, Ohrid, Macedonia, September 17–19, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399713
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Kalajdziski, Slobodan. editor. (orcid)0000-0003-3373-8637 Ackovska, Nevena. editor. (orcid)0000-0002-8990-0915 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00825-3">https://doi.org/10.1007/978-3-030-00825-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Service-Oriented Computing – ICSOC 2017 Workshops ASOCA, ISyCC, WESOACS, and Satellite Events, Málaga, Spain, November 13–16, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:399608
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Braubach, Lars. editor. Murillo, Juan M. editor. (orcid)0000-0003-4961-4030 Kaviani, Nima. editor. Lama, Manuel. editor. (orcid)0000-0001-7195-6155 Burgueño, Loli. editor. (orcid)0000-0002-7779-8810<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91764-1">https://doi.org/10.1007/978-3-319-91764-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Cryptology – CRYPTO 2018 38th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19–23, 2018, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:399719
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Shacham, Hovav. editor. Boldyreva, Alexandra. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-96878-0">https://doi.org/10.1007/978-3-319-96878-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applied Computer Sciences in Engineering 5th Workshop on Engineering Applications, WEA 2018, Medellín, Colombia, October 17-19, 2018, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:399722
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
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)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00353-1">https://doi.org/10.1007/978-3-030-00353-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Collective Intelligence 10th International Conference, ICCCI 2018, Bristol, UK, September 5-7, 2018, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:399525
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Nguyen, Ngoc Thanh. editor. Pimenidis, Elias. editor. Khan, Zaheer. editor. Trawiński, Bogdan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-98446-9">https://doi.org/10.1007/978-3-319-98446-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information and Communication Technologies in Education, Research, and Industrial Applications 13th International Conference, ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:399530
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Bassiliades, Nick. editor. (orcid)0000-0001-6035-1038 Ermolayev, Vadim. editor. (orcid)0000-0002-5159-254X Fill, Hans-Georg. editor. Yakovyna, Vitaliy. editor. (orcid)0000-0003-0133-8591 Mayr, Heinrich C. editor. (orcid)0000-0001-5770-8091<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-76168-8">https://doi.org/10.1007/978-3-319-76168-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Big Data Technologies and Applications 8th International Conference, BDTA 2017, Gwangju, South Korea, November 23–24, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:399726
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Jung, Jason J. editor. Kim, Pankoo. editor. Choi, Kwang Nam. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-98752-1">https://doi.org/10.1007/978-3-319-98752-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:399732
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
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)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00840-6">https://doi.org/10.1007/978-3-030-00840-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Computational Science XXXI Special Issue on Signal Processing and Security in Distributed Systems
ent://SD_ILS/0/SD_ILS:399739
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Gavrilova, Marina L. editor. Tan, C.J. Kenneth. editor. Chaki, Nabendu. editor. Saeed, Khalid. editor. (orcid)0000-0002-7741-7045 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-56499-8">https://doi.org/10.1007/978-3-662-56499-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:399654
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Wang, Shilong. editor. Price, Mark. editor. Lim, Ming K. editor. Jin, Yan. editor. Luo, Yuanxin. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-13-2396-6">https://doi.org/10.1007/978-981-13-2396-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday
ent://SD_ILS/0/SD_ILS:399861
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Jones, Cliff. editor. Wang, Ji. editor. Zhan, Naijun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-01461-2">https://doi.org/10.1007/978-3-030-01461-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Aspects of Component Software 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399964
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Bae, Kyungmin. editor. (orcid)0000-0002-6430-5175 Ölveczky, Peter Csaba. editor. (orcid)0000-0002-0708-3721 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-02146-7">https://doi.org/10.1007/978-3-030-02146-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Technologies: Applications and Foundations STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:399903
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948 Ober, Iulian. editor. Salaün, Gwen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-04771-9">https://doi.org/10.1007/978-3-030-04771-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:399967
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Vaidya, Jaideep. editor. Li, Jin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-05057-3">https://doi.org/10.1007/978-3-030-05057-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Security, Privacy, and Applied Cryptography Engineering 8th International Conference, SPACE 2018, Kanpur, India, December 15-19, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399906
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
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)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-05072-6">https://doi.org/10.1007/978-3-030-05072-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human-Computer Interaction. Interaction in Context 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:399910
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Kurosu, Masaaki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91244-8">https://doi.org/10.1007/978-3-319-91244-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part V
ent://SD_ILS/0/SD_ILS:399976
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Cheng, Long. editor. (orcid)0000-0001-7565-8788 Leung, Andrew Chi Sing. editor. Ozawa, Seiichi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-04221-9">https://doi.org/10.1007/978-3-030-04221-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Vision – ECCV 2018 15th European Conference, Munich, Germany, September 8-14, 2018, Proceedings, Part XI
ent://SD_ILS/0/SD_ILS:399953
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Ferrari, Vittorio. editor. Hebert, Martial. editor. Sminchisescu, Cristian. editor. Weiss, Yair. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-01252-6">https://doi.org/10.1007/978-3-030-01252-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Performance Engineering 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399954
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Bakhshi, Rena. editor. Ballarini, Paolo. editor. Barbot, Benoît. editor. Castel-Taleb, Hind. editor. Remke, Anne. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-02227-3">https://doi.org/10.1007/978-3-030-02227-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Product Lifecycle Management to Support Industry 4.0 15th IFIP WG 5.1 International Conference, PLM 2018, Turin, Italy, July 2-4, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399956
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Chiabert, Paolo. editor. Bouras, Abdelaziz. editor. Noël, Frédéric. editor. Ríos, José. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-01614-2">https://doi.org/10.1007/978-3-030-01614-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Financial Cryptography and Data Security 22nd International Conference, FC 2018, Nieuwpoort, Curaçao, February 26 – March 2, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:399957
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Meiklejohn, Sarah. editor. Sako, Kazue. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-58387-6">https://doi.org/10.1007/978-3-662-58387-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:400031
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Chen, Jessie Y.C. editor. Fragomeni, Gino. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91584-5">https://doi.org/10.1007/978-3-319-91584-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:400039
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
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<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-95162-1">https://doi.org/10.1007/978-3-319-95162-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:400040
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
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<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-95165-2">https://doi.org/10.1007/978-3-319-95165-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Machine Learning for Dynamic Software Analysis: Potentials and Limits International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers
ent://SD_ILS/0/SD_ILS:400041
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Bennaceur, Amel. editor. (orcid)0000-0002-6124-9622 Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613 Meinke, Karl. editor. (orcid)0000-0002-9706-5008 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-96562-8">https://doi.org/10.1007/978-3-319-96562-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Business Process Management 16th International Conference, BPM 2018, Sydney, NSW, Australia, September 9–14, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400043
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Weske, Mathias. editor. Montali, Marco. editor. (orcid)0000-0002-8021-3430 Weber, Ingo. editor. (orcid)0000-0002-4833-5921 vom Brocke, Jan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-98648-7">https://doi.org/10.1007/978-3-319-98648-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Management Perspective for Transport Telematics 18th International Conference on Transport System Telematics, TST 2018, Krakow, Poland, March 20-23, 2018, Selected Papers
ent://SD_ILS/0/SD_ILS:400044
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Mikulski, Jerzy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-97955-7">https://doi.org/10.1007/978-3-319-97955-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
ICT Systems Security and Privacy Protection 33rd IFIP TC 11 International Conference, SEC 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-20, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400045
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Janczewski, Lech Jan. editor. (orcid)0000-0003-3319-924X Kutyłowski, Mirosław. editor. (orcid)0000-0003-3192-2430 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99828-2">https://doi.org/10.1007/978-3-319-99828-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information and Communications Security 20th International Conference, ICICS 2018, Lille, France, October 29-31, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400052
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Naccache, David. editor. (orcid)0000-0002-8651-6555 Xu, Shouhuai. editor. (orcid)0000-0001-8034-0942 Qing, Sihan. editor. Samarati, Pierangela. editor. (orcid)0000-0001-7395-4620 Blanc, Gregory. editor. (orcid)0000-0001-8150-6617<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-01950-1">https://doi.org/10.1007/978-3-030-01950-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part VI
ent://SD_ILS/0/SD_ILS:400056
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Cheng, Long. editor. (orcid)0000-0001-7565-8788 Leung, Andrew Chi Sing. editor. Ozawa, Seiichi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-04224-0">https://doi.org/10.1007/978-3-030-04224-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Internet and Distributed Computing Systems 11th International Conference, IDCS 2018, Tokyo, Japan, October 11–13, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400103
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Xiang, Yang. editor. Sun, Jingtao. editor. Fortino, Giancarlo. editor. Guerrieri, Antonio. editor. Jung, Jason J. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-02738-4">https://doi.org/10.1007/978-3-030-02738-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Provenance and Annotation of Data and Processes 7th International Provenance and Annotation Workshop, IPAW 2018, London, UK, July 9-10, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400164
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Belhajjame, Khalid. editor. (orcid)0000-0001-6938-0820 Gehani, Ashish. editor. (orcid)0000-0002-3940-2467 Alper, Pinar. editor. (orcid)0000-0002-2224-0780 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-98379-0">https://doi.org/10.1007/978-3-319-98379-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:400110
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Kurosu, Masaaki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91238-7">https://doi.org/10.1007/978-3-319-91238-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Information Systems and Industrial Management 17th International Conference, CISIM 2018, Olomouc, Czech Republic, September 27-29, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400173
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Saeed, Khalid. editor. (orcid)0000-0002-7741-7045 Homenda, Władysław. editor. (orcid)0000-0001-7787-4927 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99954-8">https://doi.org/10.1007/978-3-319-99954-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:400175
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Vaidya, Jaideep. editor. Li, Jin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-05063-4">https://doi.org/10.1007/978-3-030-05063-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applied Computer Sciences in Engineering 5th Workshop on Engineering Applications, WEA 2018, Medellín, Colombia, October 17-19, 2018, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:400116
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937 López-Santana, Eduyn Ramiro. editor. (orcid)0000-0001-7670-7756 Rodriguez-Molano, José Ignacio. editor. (orcid)0000-0003-2581-277X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00350-0">https://doi.org/10.1007/978-3-030-00350-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Large-Scale Scientific Computing 11th International Conference, LSSC 2017, Sozopol, Bulgaria, June 5-9, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:400118
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Lirkov, Ivan. editor. Margenov, Svetozar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-73441-5">https://doi.org/10.1007/978-3-319-73441-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
On the Move to Meaningful Internet Systems. OTM 2018 Conferences Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:400124
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 Debruyne, Christophe. editor. Proper, Henderik A. editor. (orcid)0000-0002-7318-2496 Ardagna, Claudio Agostino. editor. Roman, Dumitru. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-02671-4">https://doi.org/10.1007/978-3-030-02671-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamental Approaches to Software Engineering 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400129
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Russo, Alessandra. editor. (orcid)0000-0002-3318-8711 Schürr, Andy. editor. (orcid)0000-0001-8100-1109 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-89363-1">https://doi.org/10.1007/978-3-319-89363-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Static Analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400131
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Podelski, Andreas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99725-4">https://doi.org/10.1007/978-3-319-99725-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Combinatorial Algorithms 29th International Workshop, IWOCA 2018, Singapore, July 16–19, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400158
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Iliopoulos, Costas. editor. Leong, Hon Wai. editor. Sung, Wing-Kin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94667-2">https://doi.org/10.1007/978-3-319-94667-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:400159
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Antona, Margherita. editor. Stephanidis, Constantine. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-92049-8">https://doi.org/10.1007/978-3-319-92049-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Systems Security 14th International Conference, ICISS 2018, Bangalore, India, December 17-19, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400247
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Ganapathy, Vinod. editor. Jaeger, Trent. editor. Shyamasundar, R.K. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-05171-6">https://doi.org/10.1007/978-3-030-05171-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Privacy Technologies and Policy 6th Annual Privacy Forum, APF 2018, Barcelona, Spain, June 13-14, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:400265
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Medina, Manel. editor. Mitrakas, Andreas. editor. Rannenberg, Kai. editor. Schweighofer, Erich. editor. Tsouroulas, Nikolaos. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-02547-2">https://doi.org/10.1007/978-3-030-02547-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theoretical Aspects of Computing – ICTAC 2018 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400253
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Fischer, Bernd. editor. (orcid)0000-0002-1815-218X Uustalu, Tarmo. editor. (orcid)0000-0002-1297-0579 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-02508-3">https://doi.org/10.1007/978-3-030-02508-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Service-Oriented Computing 16th International Conference, ICSOC 2018, Hangzhou, China, November 12-15, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400256
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Pahl, Claus. editor. Vukovic, Maja. editor. Yin, Jianwei. editor. Yu, Qi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-03596-9">https://doi.org/10.1007/978-3-030-03596-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information and Communication Technologies for Ageing Well and e-Health Third International Conference, ICT4AWE 2017, Porto, Portugal, April 28-29, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:400464
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Röcker, Carsten. editor. O’Donoghue, John. editor. Ziefle, Martina. editor. Maciaszek, Leszek. editor. Molloy, William. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-93644-4">https://doi.org/10.1007/978-3-319-93644-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Process Improvement and Capability Determination 18th International Conference, SPICE 2018, Thessaloniki, Greece, October 9–10, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400465
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Stamelos, Ioannis. editor. O'Connor, Rory V. editor. Rout, Terry. editor. Dorling, Alec. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00623-5">https://doi.org/10.1007/978-3-030-00623-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Practical Aspects of Declarative Languages 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400560
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834 Hamlen, Kevin. editor. Leone, Nicola. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-73305-0">https://doi.org/10.1007/978-3-319-73305-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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 II
ent://SD_ILS/0/SD_ILS:400563
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Chockler, Hana. editor. (orcid)0000-0003-1219-0713 Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-96142-2">https://doi.org/10.1007/978-3-319-96142-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXVII
ent://SD_ILS/0/SD_ILS:400564
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Hameurlain, Abdelkader. editor. Wagner, Roland. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-57932-9">https://doi.org/10.1007/978-3-662-57932-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2–5, 2018, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:400571
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
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<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-95171-3">https://doi.org/10.1007/978-3-319-95171-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Service-Oriented and Cloud Computing 7th IFIP WG 2.14 European Conference, ESOCC 2018, Como, Italy, September 12-14, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400572
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Kritikos, Kyriakos. editor. (orcid)0000-0001-9633-1610 Plebani, Pierluigi. editor. (orcid)0000-0001-8245-226X de Paoli, Flavio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99819-0">https://doi.org/10.1007/978-3-319-99819-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Conceptual Modeling 37th International Conference, ER 2018, Xi'an, China, October 22–25, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400576
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Trujillo, Juan C. editor. (orcid)0000-0003-0139-6724 Davis, Karen C. editor. Du, Xiaoyong. editor. Li, Zhanhuai. editor. Ling, Tok Wang. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00847-5">https://doi.org/10.1007/978-3-030-00847-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cloud Computing and Security 4th International Conference, ICCCS 2018, Haikou, China, June 8-10, 2018, Revised Selected Papers, Part VI
ent://SD_ILS/0/SD_ILS:400584
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Sun, Xingming. editor. (orcid)0000-0001-7982-726X Pan, Zhaoqing. editor. (orcid)0000-0003-1390-399X Bertino, Elisa. editor. (orcid)0000-0002-4029-7051 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00021-9">https://doi.org/10.1007/978-3-030-00021-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Topics in Cryptology – CT-RSA 2018 The Cryptographers' Track at the RSA Conference 2018, San Francisco, CA, USA, April 16-20, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400594
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Smart, Nigel P. editor. (orcid)0000-0003-3567-3304 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-76953-0">https://doi.org/10.1007/978-3-319-76953-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:400605
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-89960-2">https://doi.org/10.1007/978-3-319-89960-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings
ent://SD_ILS/0/SD_ILS:400607
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Baier, Christel. editor. (orcid)0000-0002-5321-9343 Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-89366-2">https://doi.org/10.1007/978-3-319-89366-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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 III
ent://SD_ILS/0/SD_ILS:400625
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Nielsen, Jesper Buus. editor. Rijmen, Vincent. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-78372-7">https://doi.org/10.1007/978-3-319-78372-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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 II
ent://SD_ILS/0/SD_ILS:400626
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Nielsen, Jesper Buus. editor. Rijmen, Vincent. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-78375-8">https://doi.org/10.1007/978-3-319-78375-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:400627
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Nielsen, Jesper Buus. editor. Rijmen, Vincent. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-78381-9">https://doi.org/10.1007/978-3-319-78381-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Constructive Side-Channel Analysis and Secure Design 9th International Workshop, COSADE 2018, Singapore, April 23–24, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400637
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Fan, Junfeng. editor. Gierlichs, Benedikt. editor. (orcid)0000-0002-5866-1990 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-89641-0">https://doi.org/10.1007/978-3-319-89641-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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 II
ent://SD_ILS/0/SD_ILS:400641
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-89963-3">https://doi.org/10.1007/978-3-319-89963-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:400969
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Debruyne, Christophe. editor. Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 Weichhart, Georg. editor. Bollen, Peter. editor. Ciuciu, Ioana. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-73805-5">https://doi.org/10.1007/978-3-319-73805-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Risks and Security of Internet and Systems 12th International Conference, CRiSIS 2017, Dinard, France, September 19-21, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:400971
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Cuppens, Nora. editor. Cuppens, Frédéric. editor. Lanet, Jean-Louis. editor. (orcid)0000-0002-4751-3941 Legay, Axel. editor. Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-76687-4">https://doi.org/10.1007/978-3-319-76687-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Real-Time C++ Efficient Object-Oriented and Template Microcontroller Programming
ent://SD_ILS/0/SD_ILS:400976
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Kormanyos, Christopher. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-56718-0">https://doi.org/10.1007/978-3-662-56718-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ad Hoc Networks 9th International Conference, AdHocNets 2017, Niagara Falls, ON, Canada, September 28–29, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:401013
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Zhou, Yifeng. editor. Kunz, Thomas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-74439-1">https://doi.org/10.1007/978-3-319-74439-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
TraceME: A Traceability-Based Method for Conceptual Model Evolution Model-Driven Techniques, Tools, Guidelines, and Open Challenges in Conceptual Model Evolution
ent://SD_ILS/0/SD_ILS:401042
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Ruiz, Marcela. author. (orcid)0000-0002-0592-1779 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-89716-5">https://doi.org/10.1007/978-3-319-89716-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multi-Agent Based Simulation XVIII International Workshop, MABS 2017, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:401115
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Dimuro, Graçaliz Pereira. editor. (orcid)0000-0001-6986-9888 Antunes, Luis. editor. (orcid)0000-0002-8237-6524 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91587-6">https://doi.org/10.1007/978-3-319-91587-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Symbiotic Interaction 6th International Workshop, Symbiotic 2017, Eindhoven, The Netherlands, December 18–19, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:401203
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Ham, Jaap. editor. (orcid)0000-0003-1703-5165 Spagnolli, Anna. editor. Blankertz, Benjamin. editor. Gamberini, Luciano. editor. Jacucci, Giulio. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91593-7">https://doi.org/10.1007/978-3-319-91593-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence and Soft Computing 17th International Conference, ICAISC 2018, Zakopane, Poland, June 3-7, 2018, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:401204
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Rutkowski, Leszek. editor. Scherer, Rafał. editor. Korytkowski, Marcin. editor. Pedrycz, Witold. editor. Tadeusiewicz, Ryszard. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91253-0">https://doi.org/10.1007/978-3-319-91253-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence and Soft Computing 17th International Conference, ICAISC 2018, Zakopane, Poland, June 3-7, 2018, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:401205
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Rutkowski, Leszek. editor. Scherer, Rafał. editor. Korytkowski, Marcin. editor. Pedrycz, Witold. editor. Tadeusiewicz, Ryszard. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91262-2">https://doi.org/10.1007/978-3-319-91262-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Application and Theory of Petri Nets and Concurrency 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:401274
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Khomenko, Victor. editor. Roux, Olivier H. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91268-4">https://doi.org/10.1007/978-3-319-91268-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Autonomous Control for a Reliable Internet of Services Methods, Models, Approaches, Techniques, Algorithms, and Tools
ent://SD_ILS/0/SD_ILS:401277
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Ganchev, Ivan. editor. (orcid)0000-0003-0535-7087 van der Mei, R. D. editor. van den Berg, Hans. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-90415-3">https://doi.org/10.1007/978-3-319-90415-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Handbook of Model Checking
ent://SD_ILS/0/SD_ILS:401293
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Clarke, Edmund M. editor. Henzinger, Thomas A. editor. Veith, Helmut. editor. Bloem, Roderick. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-10575-8">https://doi.org/10.1007/978-3-319-10575-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Global Thoughts, Local Designs INTERACT 2017 IFIP TC 13 Workshops, Mumbai, India, September 25-27, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:401311
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
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<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-92081-8">https://doi.org/10.1007/978-3-319-92081-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:401312
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Baier, Christel. editor. Caires, Luís. editor. (orcid)0000-0002-3215-6734 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-92612-4">https://doi.org/10.1007/978-3-319-92612-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:401337
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Bonomi, Silvia. editor. Rivière, Etienne. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-93767-0">https://doi.org/10.1007/978-3-319-93767-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Gear Engineering
ent://SD_ILS/0/SD_ILS:401469
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Goldfarb, Veniamin. editor. Trubachev, Evgenii. editor. Barmina, Natalya. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60399-5">https://doi.org/10.1007/978-3-319-60399-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Public-Key Cryptography – PKC 2018 21st IACR International Conference on Practice and Theory of Public-Key Cryptography, Rio de Janeiro, Brazil, March 25-29, 2018, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:401426
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Abdalla, Michel. editor. (orcid)0000-0002-2447-4329 Dahab, Ricardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-76578-5">https://doi.org/10.1007/978-3-319-76578-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Service Research and Innovation 5th and 6th Australasian Symposium, ASSRI 2015 and ASSRI 2017, Sydney, NSW, Australia, November 2–3, 2015, and October 19–20, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:401427
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Beheshti, Amin. editor. (orcid)0000-0002-5988-5494 Hashmi, Mustafa. editor. (orcid)0000-0002-6376-082X Dong, Hai. editor. (orcid)0000-0002-7033-5688 Zhang, Wei Emma. editor. (orcid)0000-0002-0406-5974 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-76587-7">https://doi.org/10.1007/978-3-319-76587-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modelling and Simulation for Autonomous Systems 4th International Conference, MESAS 2017, Rome, Italy, October 24-26, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:401453
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Mazal, Jan. editor. (orcid)0000-0001-5741-558X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-76072-8">https://doi.org/10.1007/978-3-319-76072-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:401564
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Gallardo, María del Mar. editor. Merino, Pedro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94111-0">https://doi.org/10.1007/978-3-319-94111-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modelling Foundations and Applications 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:401565
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Pierantonio, Alfonso. editor. (orcid)0000-0002-5231-3952 Trujillo, Salvador. editor. (orcid)0000-0002-3147-4618 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-92997-2">https://doi.org/10.1007/978-3-319-92997-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:401572
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
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)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-78574-5">https://doi.org/10.1007/978-3-319-78574-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:401587
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Aiello, Marco. editor. Yang, Yujiu. editor. Zou, Yuexian. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94361-9">https://doi.org/10.1007/978-3-319-94361-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:401593
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Georgakopoulos, Dimitrios. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94370-1">https://doi.org/10.1007/978-3-319-94370-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:401605
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Luo, Min. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94295-7">https://doi.org/10.1007/978-3-319-94295-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:401609
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Ziemba, Ewa. editor. (orcid)0000-0002-1084-7497 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-77721-4">https://doi.org/10.1007/978-3-319-77721-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tests and Proofs 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:401698
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Dubois, Catherine. editor. Wolff, Burkhart. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-92994-1">https://doi.org/10.1007/978-3-319-92994-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Comparing and Aligning Process Representations Foundations and Technical Solutions
ent://SD_ILS/0/SD_ILS:401701
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author van der Aa, Han. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94634-4">https://doi.org/10.1007/978-3-319-94634-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:401714
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Beyersdorff, Olaf. editor. Wintersteiger, Christoph M. editor. (orcid)0000-0003-0102-4381 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94144-8">https://doi.org/10.1007/978-3-319-94144-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Emerging Technologies for Developing Countries First International EAI Conference, AFRICATEK 2017, Marrakech, Morocco, March 27-28, 2017 Proceedings
ent://SD_ILS/0/SD_ILS:401719
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Belqasmi, Fatna. editor. Harroud, Hamid. editor. Agueh, Max. editor. Dssouli, Rachida. editor. Kamoun, Faouzi. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67837-5">https://doi.org/10.1007/978-3-319-67837-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Love and Sex with Robots Third International Conference, LSR 2017, London, UK, December 19-20, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:401721
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Cheok, Adrian David. editor. (orcid)0000-0001-6316-2339 Levy, David. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-76369-9">https://doi.org/10.1007/978-3-319-76369-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Smart STEM-Driven Computer Science Education Theory, Methodology and Robot-based Practices
ent://SD_ILS/0/SD_ILS:401726
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Štuikys, Vytautas. author. Burbaitė, Renata. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-78485-4">https://doi.org/10.1007/978-3-319-78485-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Services Computing – SCC 2018 15th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:401732
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Ferreira, João Eduardo. editor. (orcid)0000-0001-9607-2014 Spanoudakis, George. editor. Ma, Yutao. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94376-3">https://doi.org/10.1007/978-3-319-94376-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Services – SERVICES 2018 14th World Congress, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:401733
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Yang, Alvin. editor. Kantamneni, Siva. editor. (orcid)0000-0002-5729-2898 Li, Ying. editor. Dico, Awel. editor. Chen, Xiangang. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94472-2">https://doi.org/10.1007/978-3-319-94472-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I
ent://SD_ILS/0/SD_ILS:401746
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
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)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-78024-5">https://doi.org/10.1007/978-3-319-78024-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, Language, Information, and Computation 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:401755
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Moss, Lawrence S. editor. de Queiroz, Ruy. editor. Martinez, Maricarmen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-57669-4">https://doi.org/10.1007/978-3-662-57669-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Service-Oriented and Cloud Computing Workshops of ESOCC 2016, Vienna, Austria, September 5–7, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:401905
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Lazovik, Alexander. editor. Schulte, Stefan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-72125-5">https://doi.org/10.1007/978-3-319-72125-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Wireless Internet 9th International Conference, WICON 2016, Haikou, China, December 19-20, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:401922
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Huang, Mengxing. editor. Zhang, Yan. editor. Jing, Weipeng. editor. Mehmood, Amjad. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-72998-5">https://doi.org/10.1007/978-3-319-72998-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence 4th Workshop, OpenSHMEM 2017, Annapolis, MD, USA, August 7-9, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:401932
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Gorentla Venkata, Manjunath. editor. (orcid)0000-0002-5282-1682 Imam, Neena. editor. (orcid)0000-0001-8860-4738 Pophale, Swaroop. editor. (orcid)0000-0001-8544-6367 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-73814-7">https://doi.org/10.1007/978-3-319-73814-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Security ESORICS 2017 International Workshops, CyberICPS 2017 and SECPRE 2017, Oslo, Norway, September 14-15, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:401940
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Katsikas, Sokratis K. editor. (orcid)0000-0003-2966-9683 Cuppens, Frédéric. editor. Cuppens, Nora. editor. Lambrinoudakis, Costas. editor. Kalloniatis, Christos. editor. (orcid)0000-0002-8844-2596<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-72817-9">https://doi.org/10.1007/978-3-319-72817-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Perspectives of System Informatics 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:401949
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Petrenko, Alexander K. editor. (orcid)0000-0001-7411-3831 Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-74313-4">https://doi.org/10.1007/978-3-319-74313-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamentals of Business Process Management
ent://SD_ILS/0/SD_ILS:402027
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Dumas, Marlon. author. La Rosa, Marcello. author. Mendling, Jan. author. Reijers, Hajo A. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-56509-4">https://doi.org/10.1007/978-3-662-56509-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Selected Areas in Cryptography – SAC 2017 24th International Conference, Ottawa, ON, Canada, August 16-18, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:402041
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Adams, Carlisle. editor. Camenisch, Jan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-72565-9">https://doi.org/10.1007/978-3-319-72565-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Business Modeling and Software Design 8th International Symposium, BMSD 2018, Vienna, Austria, July 2-4, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:402217
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Shishkov, Boris. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94214-8">https://doi.org/10.1007/978-3-319-94214-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Low-Power Design and Power-Aware Verification
ent://SD_ILS/0/SD_ILS:402053
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Khondkar, Progyna. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66619-8">https://doi.org/10.1007/978-3-319-66619-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modeling Companion for Software Practitioners
ent://SD_ILS/0/SD_ILS:402757
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Börger, Egon. author. Raschke, Alexander. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-56641-1">https://doi.org/10.1007/978-3-662-56641-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:400542
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Stoyanov, Danail. editor. Taylor, Zeike. editor. Sarikaya, Duygu. editor. McLeod, Jonathan. editor. González Ballester, Miguel Angel. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-01201-4">https://doi.org/10.1007/978-3-030-01201-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Vision – ECCV 2018 15th European Conference, Munich, Germany, September 8-14, 2018, Proceedings, Part XVI
ent://SD_ILS/0/SD_ILS:400543
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Ferrari, Vittorio. editor. Hebert, Martial. editor. Sminchisescu, Cristian. editor. Weiss, Yair. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-01270-0">https://doi.org/10.1007/978-3-030-01270-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Enjoying Natural Computing Essays Dedicated to Mario de Jesús Pérez-Jiménez on the Occasion of His 70th Birthday
ent://SD_ILS/0/SD_ILS:400546
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Graciani, Carmen. editor. Riscos-Núñez, Agustín. editor. Păun, Gheorghe. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00265-7">https://doi.org/10.1007/978-3-030-00265-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Product-Focused Software Process Improvement 19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28–30, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400547
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Kuhrmann, Marco. editor. (orcid)0000-0001-6101-8931 Schneider, Kurt. editor. Pfahl, Dietmar. editor. (orcid)0000-0003-2400-501X Amasaki, Sousuke. editor. Ciolkowski, Marcus. editor. (orcid)0000-0001-8494-4794<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-03673-7">https://doi.org/10.1007/978-3-030-03673-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Conceptual Modeling ER 2018 Workshops Emp-ER, MoBiD, MREBA, QMMQ, SCME, Xi’an, China, October 22-25, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400549
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Woo, Carson. editor. Lu, Jiaheng. editor. (orcid)0000-0003-2067-454X Li, Zhanhuai. editor. Ling, Tok Wang. editor. Li, Guoliang. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-01391-2">https://doi.org/10.1007/978-3-030-01391-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Stabilization, Safety, and Security of Distributed Systems 20th International Symposium, SSS 2018, Tokyo, Japan, November 4–7, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400553
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Izumi, Taisuke. editor. Kuznetsov, Petr. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-03232-6">https://doi.org/10.1007/978-3-030-03232-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Runtime Verification 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400554
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Colombo, Christian. editor. Leucker, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-03769-7">https://doi.org/10.1007/978-3-030-03769-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II
ent://SD_ILS/0/SD_ILS:399569
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
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)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-78054-2">https://doi.org/10.1007/978-3-319-78054-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Open Source Systems: Enterprise Software and Solutions 14th IFIP WG 2.13 International Conference, OSS 2018, Athens, Greece, June 8-10, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399571
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
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)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-92375-8">https://doi.org/10.1007/978-3-319-92375-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Post-Quantum Cryptography 9th International Conference, PQCrypto 2018, Fort Lauderdale, FL, USA, April 9-11, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399578
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Lange, Tanja. editor. Steinwandt, Rainer. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-79063-3">https://doi.org/10.1007/978-3-319-79063-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Data Privacy Management, Cryptocurrencies and Blockchain Technology ESORICS 2018 International Workshops, DPM 2018 and CBT 2018, Barcelona, Spain, September 6-7, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399660
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
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)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00305-0">https://doi.org/10.1007/978-3-030-00305-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Music Technology with Swing 13th International Symposium, CMMR 2017, Matosinhos, Portugal, September 25-28, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:399586
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
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)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-01692-0">https://doi.org/10.1007/978-3-030-01692-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming with Actors State-of-the-Art and Research Perspectives
ent://SD_ILS/0/SD_ILS:399671
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Ricci, Alessandro. editor. Haller, Philipp. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00302-9">https://doi.org/10.1007/978-3-030-00302-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
SafeScrum® – Agile Development of Safety-Critical Software
ent://SD_ILS/0/SD_ILS:399696
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Hanssen, Geir Kjetil. author. Stålhane, Tor. author. Myklebust, Thor. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99334-8">https://doi.org/10.1007/978-3-319-99334-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principles and Practice of Constraint Programming 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399700
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Hooker, John. editor. (orcid)0000-0003-3169-1871 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-98334-9">https://doi.org/10.1007/978-3-319-98334-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399515
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Jansen, David N. editor. (orcid)0000-0002-6636-3301 Prabhakar, Pavithra. editor. (orcid)0000-0002-5368-3234 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00151-3">https://doi.org/10.1007/978-3-030-00151-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Security Standardisation Research 4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399445
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Cremers, Cas. editor. (orcid)0000-0003-0322-2293 Lehmann, Anja. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-04762-7">https://doi.org/10.1007/978-3-030-04762-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Internet of Vehicles. Technologies and Services Towards Smart City 5th International Conference, IOV 2018, Paris, France, November 20–22, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399446
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
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.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-05081-8">https://doi.org/10.1007/978-3-030-05081-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Social, Cultural, and Behavioral Modeling 11th International Conference, SBP-BRiMS 2018, Washington, DC, USA, July 10-13, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399452
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Thomson, Robert. editor. Dancy, Christopher. editor. Hyder, Ayaz. editor. Bisgin, Halil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-93372-6">https://doi.org/10.1007/978-3-319-93372-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic-Based Program Synthesis and Transformation 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:399611
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Fioravanti, Fabio. editor. (orcid)0000-0002-1268-7829 Gallagher, John P. editor. (orcid)0000-0001-6984-7419 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94460-9">https://doi.org/10.1007/978-3-319-94460-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Security and Cryptography for Networks 11th International Conference, SCN 2018, Amalfi, Italy, September 5–7, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399614
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Catalano, Dario. editor. De Prisco, Roberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-98113-0">https://doi.org/10.1007/978-3-319-98113-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Computing 13th Colombian Conference, CCC 2018, Cartagena, Colombia, September 26–28, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399725
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
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)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-98998-3">https://doi.org/10.1007/978-3-319-98998-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Smart Societies, Infrastructure, Technologies and Applications First International Conference, SCITA 2017, Jeddah, Saudi Arabia, November 27–29, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:399619
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Mehmood, Rashid. editor. Bhaduri, Budhendra. editor. Katib, Iyad. editor. Chlamtac, Imrich. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94180-6">https://doi.org/10.1007/978-3-319-94180-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computers Helping People with Special Needs 16th International Conference, ICCHP 2018, Linz, Austria, July 11-13, 2018, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:399630
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Miesenberger, Klaus. editor. Kouroupetroglou, Georgios. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94274-2">https://doi.org/10.1007/978-3-319-94274-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:399653
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
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)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99426-0">https://doi.org/10.1007/978-3-319-99426-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:399545
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Peyrin, Thomas. editor. (orcid)0000-0002-2690-9197 Galbraith, Steven. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-03332-3">https://doi.org/10.1007/978-3-030-03332-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Combinatorial Image Analysis 19th International Workshop, IWCIA 2018, Porto, Portugal, November 22–24, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399546
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Barneva, Reneta P. editor. Brimkov, Valentin E. editor. Tavares, João Manuel R.S. editor. (orcid)0000-0001-7603-6526 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-05288-1">https://doi.org/10.1007/978-3-030-05288-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principled Software Development Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday
ent://SD_ILS/0/SD_ILS:399756
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Müller, Peter. editor. Schaefer, Ina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-98047-8">https://doi.org/10.1007/978-3-319-98047-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399551
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Dutle, Aaron. editor. Muñoz, César. editor. Narkawicz, Anthony. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-77935-5">https://doi.org/10.1007/978-3-319-77935-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
e-Infrastructure and e-Services for Developing Countries 8th International Conference, AFRICOMM 2016, Ouagadougou, Burkina Faso, December 6-7, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:401872
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Bissyande, Tegawendé F. editor. Sie, Oumarou. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66742-3">https://doi.org/10.1007/978-3-319-66742-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:401875
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Longo, Antonella. editor. Zappatore, Marco. editor. Villari, Massimo. editor. Rana, Omer. editor. Bruneo, Dario. editor. (orcid)0000-0002-6080-9077<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67636-4">https://doi.org/10.1007/978-3-319-67636-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Low Earth Orbit Satellite Design
ent://SD_ILS/0/SD_ILS:401885
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Sebestyen, George. author. Fujikawa, Steve. author. Galassi, Nicholas. author. Chuchra, Alex. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68315-7">https://doi.org/10.1007/978-3-319-68315-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Requirements Engineering: Foundation for Software Quality 24th International Working Conference, REFSQ 2018, Utrecht, The Netherlands, March 19-22, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:401978
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Kamsties, Erik. editor. (orcid)0000-0002-7373-8466 Horkoff, Jennifer. editor. (orcid)0000-0002-2019-5277 Dalpiaz, Fabiano. editor. (orcid)0000-0003-4480-3887 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-77243-1">https://doi.org/10.1007/978-3-319-77243-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applications of Evolutionary Computation 21st International Conference, EvoApplications 2018, Parma, Italy, April 4-6, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:401979
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Sim, Kevin. editor. (orcid)0000-0001-6555-7721 Kaufmann, Paul. editor. (orcid)0000-0001-7196-389X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-77538-8">https://doi.org/10.1007/978-3-319-77538-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:401980
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Cong Vinh, Phan. editor. Ha Huy Cuong, Nguyen. editor. Vassev, Emil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-77818-1">https://doi.org/10.1007/978-3-319-77818-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Business Modeling and Software Design 7th International Symposium, BMSD 2017, Barcelona, Spain, July 3–5, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:401983
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Shishkov, Boris. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-78428-1">https://doi.org/10.1007/978-3-319-78428-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Job Scheduling Strategies for Parallel Processing 21st International Workshop, JSSPP 2017, Orlando, FL, USA, June 2, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:401984
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Klusáček, Dalibor. editor. Cirne, Walfredo. editor. Desai, Narayan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-77398-8">https://doi.org/10.1007/978-3-319-77398-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Computing Strategies for Engineering 25th EG-ICE International Workshop 2018, Lausanne, Switzerland, June 10-13, 2018, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:401986
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Smith, Ian F. C. editor. Domer, Bernd. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91635-4">https://doi.org/10.1007/978-3-319-91635-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Practice of Model Transformation 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:401991
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Rensink, Arend. editor. (orcid)0000-0002-1714-6319 Sánchez Cuadrado, Jesús. editor. (orcid)0000-0001-9755-5616 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-93317-7">https://doi.org/10.1007/978-3-319-93317-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
e-Learning, e-Education, and Online Training 4th International Conference, eLEOT 2018, Shanghai, China, April 5–7, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:401993
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Liu, Shuai. editor. (orcid)0000-0001-9909-0664 Glowatz, Matt. editor. Zappatore, Marco. editor. Gao, Honghao. editor. Jia, Bing. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-93719-9">https://doi.org/10.1007/978-3-319-93719-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Evaluation of Novel Approaches to Software Engineering 12th International Conference, ENASE 2017, Porto, Portugal, April 28–29, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:401995
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Damiani, Ernesto. editor. Spanoudakis, George. editor. Maciaszek, Leszek. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94135-6">https://doi.org/10.1007/978-3-319-94135-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Technologies: Applications and Foundations STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:401951
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Seidl, Martina. editor. Zschaler, Steffen. editor. (orcid)0000-0001-9062-6637 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-74730-9">https://doi.org/10.1007/978-3-319-74730-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Towards a Synergistic Combination of Research and Practice in Software Engineering
ent://SD_ILS/0/SD_ILS:402061
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Kosiuczenko, Piotr. editor. Madeyski, Lech. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-65208-5">https://doi.org/10.1007/978-3-319-65208-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Digging into Software Knowledge Generation in Cultural Heritage Modeling Assistance Strategies for Large Archaeological Data Sets
ent://SD_ILS/0/SD_ILS:402169
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Martin-Rodilla, Patricia. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-69188-6">https://doi.org/10.1007/978-3-319-69188-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Unconventional Computation and Natural Computation 17th International Conference, UCNC 2018, Fontainebleau, France, June 25-29, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:402196
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Stepney, Susan. editor. (orcid)0000-0003-3146-5401 Verlan, Sergey. editor. (orcid)0000-0001-7800-1618 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-92435-9">https://doi.org/10.1007/978-3-319-92435-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Technologies 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24–26, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:402213
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Cabello, Enrique. editor. Cardoso, Jorge. editor. Maciaszek, Leszek A. editor. van Sinderen, Marten. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-93641-3">https://doi.org/10.1007/978-3-319-93641-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Security Theory and Practice 11th IFIP WG 11.2 International Conference, WISTP 2017, Heraklion, Crete, Greece, September 28–29, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:402215
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Hancke, Gerhard P. editor. Damiani, Ernesto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-93524-9">https://doi.org/10.1007/978-3-319-93524-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Graph Transformation, Specifications, and Nets In Memory of Hartmut Ehrig
ent://SD_ILS/0/SD_ILS:402223
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Heckel, Reiko. editor. Taentzer, Gabriele. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-75396-6">https://doi.org/10.1007/978-3-319-75396-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Biomedical Engineering Systems and Technologies 10th International Joint Conference, BIOSTEC 2017, Porto, Portugal, February 21–23, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:402227
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Peixoto, Nathalia. editor. Silveira, Margarida. editor. Ali, Hesham H. editor. Maciel, Carlos. editor. van den Broek, Egon L. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94806-5">https://doi.org/10.1007/978-3-319-94806-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Safety and Security Case Studies for Aerospace Applications
ent://SD_ILS/0/SD_ILS:402229
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Nanda, Manju. editor. Jeppu, Yogananda. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-4121-1">https://doi.org/10.1007/978-981-10-4121-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Interactive Theorem Proving 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:402375
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Avigad, Jeremy. editor. Mahboubi, Assia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94821-8">https://doi.org/10.1007/978-3-319-94821-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation 8th International Workshop, PMBS 2017, Denver, CO, USA, November 13, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:402313
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Jarvis, Stephen. editor. Wright, Steven. editor. Hammond, Simon. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-72971-8">https://doi.org/10.1007/978-3-319-72971-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ubiquitous Communications and Network Computing First International Conference, UBICNET 2017, Bangalore, India, August 3-5, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:402320
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Kumar, Navin. editor. Thakre, Arpita. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-73423-1">https://doi.org/10.1007/978-3-319-73423-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Requirements Engineering for Internet of Things 4th Asia-Pacific Symposium, APRES 2017, Melaka, Malaysia, November 9–10, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:402330
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Kamalrudin, Massila. editor. Ahmad, Sabrina. editor. (orcid)0000-0002-4277-2063 Ikram, Naveed. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-7796-8">https://doi.org/10.1007/978-981-10-7796-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Human Factors, Software, and Systems Engineering Proceedings of the AHFE 2017 International Conference on Human Factors, Software, and Systems Engineering, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA
ent://SD_ILS/0/SD_ILS:402341
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Ahram, Tareq. editor. Karwowski, Waldemar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60011-6">https://doi.org/10.1007/978-3-319-60011-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Smart Homes and Health Telematics, Designing a Better Future: Urban Assisted Living 16th International Conference, ICOST 2018, Singapore, Singapore, July 10-12, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:402485
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Mokhtari, Mounir. editor. Abdulrazak, Bessam. editor. Aloulou, Hamdi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94523-1">https://doi.org/10.1007/978-3-319-94523-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Digitalisation, Innovation, and Transformation 18th IFIP WG 8.1 International Conference on Informatics and Semiotics in Organisations, ICISO 2018, Reading, UK, July 16-18, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:402486
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Liu, Kecheng. editor. Nakata, Keiichi. editor. Li, Weizi. editor. Baranauskas, Cecilia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94541-5">https://doi.org/10.1007/978-3-319-94541-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering and Formal Methods SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:402522
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Cerone, Antonio. editor. (orcid)0000-0003-2691-5279 Roveri, Marco. editor. (orcid)0000-0001-9483-3940 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-74781-1">https://doi.org/10.1007/978-3-319-74781-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Graphical Models for Security 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:402524
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Liu, Peng. editor. Mauw, Sjouke. editor. Stolen, Ketil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-74860-3">https://doi.org/10.1007/978-3-319-74860-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:402536
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Galmiche, Didier. editor. Schulz, Stephan. editor. Sebastiani, Roberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94205-6">https://doi.org/10.1007/978-3-319-94205-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computing, Analytics and Networks First International Conference, ICAN 2017, Chandigarh, India, October 27-28, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:402547
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Sharma, Rajnish. editor. Mantri, Archana. editor. Dua, Sumeet. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-13-0755-3">https://doi.org/10.1007/978-981-13-0755-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Biomimetic and Biohybrid Systems 7th International Conference, Living Machines 2018, Paris, France, July 17–20, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:402555
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
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.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-95972-6">https://doi.org/10.1007/978-3-319-95972-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Agile Safety Case
ent://SD_ILS/0/SD_ILS:402625
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Myklebust, Thor. author. Stålhane, Tor. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-70265-0">https://doi.org/10.1007/978-3-319-70265-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:402654
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Duffy, Vincent G. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91397-1">https://doi.org/10.1007/978-3-319-91397-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:402656
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Antona, Margherita. editor. Stephanidis, Constantine. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-92052-8">https://doi.org/10.1007/978-3-319-92052-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:402658
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Yamamoto, Sakae. editor. Mori, Hirohiko. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-92043-6">https://doi.org/10.1007/978-3-319-92043-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:402664
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Streitz, Norbert. editor. (orcid)0000-0002-0244-0945 Konomi, Shin’ichi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91131-1">https://doi.org/10.1007/978-3-319-91131-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:402670
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Marcus, Aaron. editor. Wang, Wentao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91803-7">https://doi.org/10.1007/978-3-319-91803-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:402671
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Marcus, Aaron. editor. Wang, Wentao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91797-9">https://doi.org/10.1007/978-3-319-91797-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:402672
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Marcus, Aaron. editor. Wang, Wentao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91806-8">https://doi.org/10.1007/978-3-319-91806-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Facilitating Daily Life Integration of Technologies for Active and Healthy Aging Understanding Demands of Older Adults in Health Technology Design
ent://SD_ILS/0/SD_ILS:402676
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Vaziri, Daryoush Daniel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-658-22875-0">https://doi.org/10.1007/978-3-658-22875-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Failure Investigation A Near-Miss Analysis Approach
ent://SD_ILS/0/SD_ILS:402680
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Eloff, Jan. author. Bihina Bella, Madeleine. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61334-5">https://doi.org/10.1007/978-3-319-61334-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Trends and Applications in Software Engineering Proceedings of the 6th International Conference on Software Process Improvement (CIMPS 2017)
ent://SD_ILS/0/SD_ILS:402692
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Mejia, Jezreel. editor. Muñoz, Mirna. editor. Rocha, Álvaro. editor. Quiñonez, Yadira. editor. Calvo-Manzano, Jose. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-69341-5">https://doi.org/10.1007/978-3-319-69341-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Business Information Systems 21st International Conference, BIS 2018, Berlin, Germany, July 18-20, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:402696
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Abramowicz, Witold. editor. (orcid)0000-0001-5464-9698 Paschke, Adrian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-93931-5">https://doi.org/10.1007/978-3-319-93931-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fog Computing Concepts, Frameworks and Technologies
ent://SD_ILS/0/SD_ILS:402707
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Mahmood, Zaigham. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94890-4">https://doi.org/10.1007/978-3-319-94890-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Augmented Reality, Virtual Reality, and Computer Graphics 5th International Conference, AVR 2018, Otranto, Italy, June 24–27, 2018, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:402725
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author De Paolis, Lucio Tommaso. editor. (orcid)0000-0003-1274-9070 Bourdot, Patrick. editor. (orcid)0000-0003-2247-1930 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-95270-3">https://doi.org/10.1007/978-3-319-95270-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Security in Computer and Information Sciences First International ISCIS Security Workshop 2018, Euro-CYBERSEC 2018, London, UK, February 26-27, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:402736
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
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.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-95189-8">https://doi.org/10.1007/978-3-319-95189-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Augmented Reality, Virtual Reality, and Computer Graphics 5th International Conference, AVR 2018, Otranto, Italy, June 24–27, 2018, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:402737
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author De Paolis, Lucio Tommaso. editor. (orcid)0000-0003-1274-9070 Bourdot, Patrick. editor. (orcid)0000-0003-2247-1930 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-95282-6">https://doi.org/10.1007/978-3-319-95282-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Development Measurement Programs Development, Management and Evolution
ent://SD_ILS/0/SD_ILS:402744
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Staron, Miroslaw. author. Meding, Wilhelm. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91836-5">https://doi.org/10.1007/978-3-319-91836-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:402746
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Sun, Yu. editor. Falco, Joe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94568-2">https://doi.org/10.1007/978-3-319-94568-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Computing Theories and Application 14th International Conference, ICIC 2018, Wuhan, China, August 15-18, 2018, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:400512
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Huang, De-Shuang. editor. Bevilacqua, Vitoantonio. editor. Premaratne, Prashan. editor. Gupta, Phalguni. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-95930-6">https://doi.org/10.1007/978-3-319-95930-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Collaboration Technologies and Social Computing 10th International Conference, CollabTech 2018, Costa de Caparica, Portugal, September 5-7, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399769
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Egi, Hironori. editor. Yuizono, Takaya. editor. Baloian, Nelson. editor. Yoshino, Takashi. editor. Ichimura, Satoshi. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-98743-9">https://doi.org/10.1007/978-3-319-98743-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cooperative Design, Visualization, and Engineering 15th International Conference, CDVE 2018, Hangzhou, China, October 21–24, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399772
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Luo, Yuhua. editor. (orcid)0000-0003-3057-4753 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00560-3">https://doi.org/10.1007/978-3-030-00560-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Study Guide to the ISTQB® Foundation Level 2018 Syllabus Test Techniques and Sample Mock Exams
ent://SD_ILS/0/SD_ILS:399773
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Roman, Adam. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-98740-8">https://doi.org/10.1007/978-3-319-98740-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Integrated Formal Methods 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399782
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Furia, Carlo A. editor. Winter, Kirsten. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-98938-9">https://doi.org/10.1007/978-3-319-98938-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Safety, Reliability, and Security SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399783
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Gallina, Barbara. editor. (orcid)0000-0002-6952-1053 Skavhaug, Amund. editor. Schoitsch, Erwin. editor. (orcid)0000-0002-0335-5443 Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99229-7">https://doi.org/10.1007/978-3-319-99229-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Social Robotics 10th International Conference, ICSR 2018, Qingdao, China, November 28 - 30, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399786
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
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<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-05204-1">https://doi.org/10.1007/978-3-030-05204-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Proceedings of 5th International Conference in Software Engineering for Defence Applications SEDA 2016
ent://SD_ILS/0/SD_ILS:399792
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Ciancarini, Paolo. editor. Litvinov, Stanislav. editor. Messina, Angelo. editor. Sillitti, Alberto. editor. Succi, Giancarlo. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-70578-1">https://doi.org/10.1007/978-3-319-70578-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reversible Computation 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399794
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Kari, Jarkko. editor. (orcid)0000-0003-0670-6138 Ulidowski, Irek. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99498-7">https://doi.org/10.1007/978-3-319-99498-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parallel Computational Technologies 12th International Conference, PCT 2018, Rostov-on-Don, Russia, April 2–6, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:399802
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918 Zymbler, Mikhail. editor. (orcid)0000-0001-7491-8656 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99673-8">https://doi.org/10.1007/978-3-319-99673-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Building Information Modeling Technology Foundations and Industry Practice
ent://SD_ILS/0/SD_ILS:399807
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Borrmann, André. editor. König, Markus. editor. Koch, Christian. editor. Beetz, Jakob. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-92862-3">https://doi.org/10.1007/978-3-319-92862-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Beyond Databases, Architectures and Structures. Facing the Challenges of Data Proliferation and Growing Variety 14th International Conference, BDAS 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-20, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399811
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Kozielski, Stanisław. editor. Mrozek, Dariusz. editor. (orcid)0000-0001-6764-6656 Kasprowski, Paweł. editor. (orcid)0000-0002-2090-335X Małysiak-Mrozek, Bożena. editor. (orcid)0000-0003-4977-4915 Kostrzewa, Daniel. editor. (orcid)0000-0003-2781-3709<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99987-6">https://doi.org/10.1007/978-3-319-99987-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rewriting Logic and Its Applications 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399812
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Rusu, Vlad. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99840-4">https://doi.org/10.1007/978-3-319-99840-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Concepts for Intelligent Vision Systems 19th International Conference, ACIVS 2018, Poitiers, France, September 24–27, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399823
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Blanc-Talon, Jacques. editor. Helbert, David. editor. Philips, Wilfried. editor. Popescu, Dan. editor. Scheunders, Paul. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-01449-0">https://doi.org/10.1007/978-3-030-01449-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cloud Computing and Security 4th International Conference, ICCCS 2018, Haikou, China, June 8-10, 2018, Revised Selected Papers, Part V
ent://SD_ILS/0/SD_ILS:399839
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Sun, Xingming. editor. (orcid)0000-0001-7982-726X Pan, Zhaoqing. editor. (orcid)0000-0003-1390-399X Bertino, Elisa. editor. (orcid)0000-0002-4029-7051 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00018-9">https://doi.org/10.1007/978-3-030-00018-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Multi-Agent Systems 5th International Workshop, EMAS 2017, Sao Paulo, Brazil, May 8-9, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:399851
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author El Fallah-Seghrouchni, Amal. editor. Ricci, Alessandro. editor. (orcid)0000-0002-9222-5092 Son, Tran Cao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91899-0">https://doi.org/10.1007/978-3-319-91899-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Declarative Programming and Knowledge Management Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:399852
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Seipel, Dietmar. editor. Hanus, Michael. editor. (orcid)0000-0002-4953-8202 Abreu, Salvador. editor. (orcid)0000-0002-1613-4631 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00801-7">https://doi.org/10.1007/978-3-030-00801-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
AI 2018: Advances in Artificial Intelligence 31st Australasian Joint Conference, Wellington, New Zealand, December 11-14, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399886
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Mitrovic, Tanja. editor. Xue, Bing. editor. (orcid)0000-0002-4865-8026 Li, Xiaodong. editor. (orcid)0000-0003-0346-1526 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-03991-2">https://doi.org/10.1007/978-3-030-03991-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:399887
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Cheng, Long. editor. (orcid)0000-0001-7565-8788 Leung, Andrew Chi Sing. editor. Ozawa, Seiichi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-04179-3">https://doi.org/10.1007/978-3-030-04179-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:399891
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Cheng, Long. editor. (orcid)0000-0001-7565-8788 Leung, Andrew Chi Sing. editor. Ozawa, Seiichi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-04167-0">https://doi.org/10.1007/978-3-030-04167-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:399892
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Cheng, Long. editor. (orcid)0000-0001-7565-8788 Leung, Andrew Chi Sing. editor. Ozawa, Seiichi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-04212-7">https://doi.org/10.1007/978-3-030-04212-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part VII
ent://SD_ILS/0/SD_ILS:399893
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Cheng, Long. editor. (orcid)0000-0001-7565-8788 Leung, Andrew Chi Sing. editor. Ozawa, Seiichi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-04239-4">https://doi.org/10.1007/978-3-030-04239-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering 10th International Conference, SAM 2018, Copenhagen, Denmark, October 15–16, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399962
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Khendek, Ferhat. editor. Gotzhein, Reinhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-01042-3">https://doi.org/10.1007/978-3-030-01042-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Progress in Cryptology – INDOCRYPT 2018 19th International Conference on Cryptology in India, New Delhi, India, December 9–12, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399904
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Chakraborty, Debrup. editor. (orcid)0000-0001-5179-1971 Iwata, Tetsu. editor. (orcid)0000-0002-4729-0979 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-05378-9">https://doi.org/10.1007/978-3-030-05378-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Robotics and Applications 11th International Conference, ICIRA 2018, Newcastle, NSW, Australia, August 9–11, 2018, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:399970
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
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)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-97589-4">https://doi.org/10.1007/978-3-319-97589-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:399919
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Montavont, Nicolas. editor. Papadopoulos, Georgios Z. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00247-3">https://doi.org/10.1007/978-3-030-00247-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence 16th Russian Conference, RCAI 2018, Moscow, Russia, September 24-27, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399921
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
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)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00617-4">https://doi.org/10.1007/978-3-030-00617-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:399923
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Peyrin, Thomas. editor. (orcid)0000-0002-2690-9197 Galbraith, Steven. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-03326-2">https://doi.org/10.1007/978-3-030-03326-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Business 9th International Conference, ICSOB 2018, Tallinn, Estonia, June 11–12, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399925
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Wnuk, Krzysztof. editor. Brinkkemper, Sjaak. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-04840-2">https://doi.org/10.1007/978-3-030-04840-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Thinking First Algorithms, Then Code
ent://SD_ILS/0/SD_ILS:399931
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Ferragina, Paolo. author. Luccio, Fabrizio. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-97940-3">https://doi.org/10.1007/978-3-319-97940-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
RoboCup 2017: Robot World Cup XXI
ent://SD_ILS/0/SD_ILS:399943
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
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)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00308-1">https://doi.org/10.1007/978-3-030-00308-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cryptology and Network Security 17th International Conference, CANS 2018, Naples, Italy, September 30 – October 3, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399945
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Camenisch, Jan. editor. (orcid)0000-0001-6654-9459 Papadimitratos, Panos. editor. (orcid)0000-0002-3267-5374 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00434-7">https://doi.org/10.1007/978-3-030-00434-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Web-Based Learning – ICWL 2018 17th International Conference, Chiang Mai, Thailand, August 22-24, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399981
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Hancke, Gerhard. editor. Spaniol, Marc. editor. Osathanunkul, Kitisak. editor. Unankard, Sayan. editor. Klamma, Ralf. editor. (orcid)0000-0002-2296-3401<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-96565-9">https://doi.org/10.1007/978-3-319-96565-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Algebra in Scientific Computing 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399984
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Seiler, Werner M. editor. (orcid)0000-0002-0565-1334 Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99639-4">https://doi.org/10.1007/978-3-319-99639-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Collaborative Networks of Cognitive Systems 19th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2018, Cardiff, UK, September 17-19, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399985
2024-09-12T11:17:10Z
2024-09-12T11:17:10Z
Author Camarinha-Matos, Luis M. editor. (orcid)0000-0003-0594-1961 Afsarmanesh, Hamideh. editor. (orcid)0000-0001-5402-2000 Rezgui, Yacine. editor. (orcid)0000-0002-5711-8400 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99127-6">https://doi.org/10.1007/978-3-319-99127-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>