Search Results for Software. - Narrowed by: Computer Communication Networks.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSoftware.$0026qf$003dSUBJECT$002509Konu$002509Computer$002bCommunication$002bNetworks.$002509Computer$002bCommunication$002bNetworks.$0026ps$003d300?2026-02-21T09:11:51ZGrid Computing: Software Environments and Toolsent://SD_ILS/0/SD_ILS:1753892026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Cunha, José C. editor. Rana, Omer F. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-84628-339-6">http://dx.doi.org/10.1007/1-84628-339-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Games, Actions and Social Software Multidisciplinary Aspectsent://SD_ILS/0/SD_ILS:1966702026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Eijck, Jan. editor. Verbrugge, Rineke. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29326-9">http://dx.doi.org/10.1007/978-3-642-29326-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software-Defined Cloud Centers Operational and Management Technologies and Toolsent://SD_ILS/0/SD_ILS:3992832026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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/>Handbook of Smart Cities Software Services and Cyber Infrastructureent://SD_ILS/0/SD_ILS:3993772026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Maheswaran, Muthucumaru. editor. Badidi, Elarbi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-97271-8">https://doi.org/10.1007/978-3-319-97271-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Engineering Secure Software and Systems 10th International Symposium, ESSoS 2018, Paris, France, June 26-27, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4016542026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Payer, Mathias. editor. Rashid, Awais. editor. Such, Jose M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94496-8">https://doi.org/10.1007/978-3-319-94496-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Failure Investigation A Near-Miss Analysis Approachent://SD_ILS/0/SD_ILS:4026802026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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/>Software Engineering Frameworks for the Cloud Computing Paradigment://SD_ILS/0/SD_ILS:3311222026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Mahmood, Zaigham. editor. Saeed, Saqib. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331122.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-5031-2">http://dx.doi.org/10.1007/978-1-4471-5031-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedingsent://SD_ILS/0/SD_ILS:3329622026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Bertacco, Valeria. editor. Legay, Axel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332962.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-03077-7">http://dx.doi.org/10.1007/978-3-319-03077-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Principles of Security and Trust Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3343052026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Basin, David. editor. Mitchell, John C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334305.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36830-1">http://dx.doi.org/10.1007/978-3-642-36830-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Architecture 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3347142026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Drira, Khalil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334714.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39031-9">http://dx.doi.org/10.1007/978-3-642-39031-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Engineering for Resilient Systems 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3350242026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Gorbenko, Anatoliy. editor. Romanovsky, Alexander. editor. Kharchenko, Vyacheslav. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335024.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40894-6">http://dx.doi.org/10.1007/978-3-642-40894-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Engineering Secure Software and Systems 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3342362026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Jürjens, Jan. editor. Livshits, Benjamin. editor. Scandariato, Riccardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334236.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36563-8">http://dx.doi.org/10.1007/978-3-642-36563-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papersent://SD_ILS/0/SD_ILS:3345562026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Machado, Ricardo J. editor. Maciel, Rita Suzana P. editor. Rubin, Julia. editor. Botterweck, Goetz. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334556.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38209-3">http://dx.doi.org/10.1007/978-3-642-38209-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Environmental Software Systems. Fostering Information Sharing 10th IFIP WG 5.11 International Symposium, ISESS 2013, Neusiedl am See, Austria, October 9-11, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3350642026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Hřebíček, Jiří. editor. Schimak, Gerald. editor. Kubásek, Miroslav. editor. Rizzoli, Andrea E. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335064.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41151-9">http://dx.doi.org/10.1007/978-3-642-41151-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3349682026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Hierons, Robert M. editor. Merayo, Mercedes G. editor. Bravetti, Mario. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334968.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40561-7">http://dx.doi.org/10.1007/978-3-642-40561-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Sensor Systems and Software 4th International ICST Conference, S-Cube 2013, Lucca, Italy, June 11-12, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:3330152026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Zuniga, Marco. editor. Dini, Gianluca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333015.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-04166-7">http://dx.doi.org/10.1007/978-3-319-04166-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Evaluation of Novel Approaches to Software Engineering 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papersent://SD_ILS/0/SD_ILS:3335582026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Maciaszek, Leszek A. editor. Zhang, Kang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333558.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32341-6">http://dx.doi.org/10.1007/978-3-642-32341-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedingsent://SD_ILS/0/SD_ILS:3350722026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Groves, Lindsay. editor. Sun, Jing. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335072.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41202-8">http://dx.doi.org/10.1007/978-3-642-41202-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Testing Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedingsent://SD_ILS/0/SD_ILS:3351412026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Yenigün, Hüsnü. editor. Yilmaz, Cemal. editor. Ulrich, Andreas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335141.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41707-8">http://dx.doi.org/10.1007/978-3-642-41707-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Reliable Software Technologies – Ada-Europe 2012 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1969252026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Brorsson, Mats. editor. Pinho, Luís Miguel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30598-6">http://dx.doi.org/10.1007/978-3-642-30598-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Service and Application Engineering Essays Dedicated to Bernd Krämer on the Occasion of His 65th Birthdayent://SD_ILS/0/SD_ILS:1969732026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Heisel, Maritta. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30835-2">http://dx.doi.org/10.1007/978-3-642-30835-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Sensor Systems and Software Third International ICST Conference, S-Cube 2012, Lisbon, Portugal, June 4-5, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:1972742026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Martins, Francisco. editor. Lopes, Luís. editor. Paulino, Hervé. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32778-0">http://dx.doi.org/10.1007/978-3-642-32778-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Engineering for Resilient Systems 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1973302026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Avgeriou, Paris. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33176-3">http://dx.doi.org/10.1007/978-3-642-33176-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Engineering and Formal Methods 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1974372026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Eleftherakis, George. editor. Hinchey, Mike. editor. Holcombe, Mike. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33826-7">http://dx.doi.org/10.1007/978-3-642-33826-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fast Software Encryption 19th International Workshop, FSE 2012, Washington, DC, USA, March 19-21, 2012. Revised Selected Papersent://SD_ILS/0/SD_ILS:1974642026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Canteaut, Anne. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34047-5">http://dx.doi.org/10.1007/978-3-642-34047-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods and Software Engineering 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1975012026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Aoki, Toshiaki. editor. Taguchi, Kenji. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34281-3">http://dx.doi.org/10.1007/978-3-642-34281-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Human-Centered Software Engineering 4th International Conference, HCSE 2012, Toulouse, France, October 29-31, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1975082026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Winckler, Marco. editor. Forbrig, Peter. editor. Bernhaupt, Regina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34347-6">http://dx.doi.org/10.1007/978-3-642-34347-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Testing Software and Systems 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1975402026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Nielsen, Brian. editor. Weise, Carsten. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34691-0">http://dx.doi.org/10.1007/978-3-642-34691-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>AI Approaches to the Complexity of Legal Systems. Models and Ethical Challenges for Legal Systems, Legal Language and Legal Ontologies, Argumentation and Software Agents International Workshop AICOL-III, Held as Part of the 25th IVR Congress, Frankfurt am Main, Germany, August 15-16, 2011. Revised Selected Papersent://SD_ILS/0/SD_ILS:1976302026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Palmirani, Monica. editor. Pagallo, Ugo. editor. Casanovas, Pompeu. editor. Sartor, Giovanni. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35731-2">http://dx.doi.org/10.1007/978-3-642-35731-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Principles of Security and Trust First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedingsent://SD_ILS/0/SD_ILS:1964972026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Degano, Pierpaolo. editor. Guttman, Joshua D. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28641-4">http://dx.doi.org/10.1007/978-3-642-28641-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Compiler Construction 21st International Conference, CC 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1965012026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor O’Boyle, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28652-0">http://dx.doi.org/10.1007/978-3-642-28652-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Requirements Engineering: Foundation for Software Quality 18th International Working Conference, REFSQ 2012, Essen, Germany, March 19-22, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1965172026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Regnell, Björn. editor. Damian, Daniela. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28714-5">http://dx.doi.org/10.1007/978-3-642-28714-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>SDL 2011: Integrating System and Software Modeling 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papersent://SD_ILS/0/SD_ILS:1958952026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Ober, Iulian. editor. Ober, Ileana. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-25264-8">http://dx.doi.org/10.1007/978-3-642-25264-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Aspects of Component Software 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papersent://SD_ILS/0/SD_ILS:1961452026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Barbosa, Luís Soares. editor. Lumpe, Markus. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-27269-1">http://dx.doi.org/10.1007/978-3-642-27269-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Software Engineering Techniques 4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009. Revised Selected Papersent://SD_ILS/0/SD_ILS:1963292026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Szmuc, Tomasz. editor. Szpyrka, Marcin. editor. Zendulka, Jaroslav. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28038-2">http://dx.doi.org/10.1007/978-3-642-28038-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Engineering Secure Software and Systems 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1963702026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Barthe, Gilles. editor. Livshits, Benjamin. editor. Scandariato, Riccardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28166-2">http://dx.doi.org/10.1007/978-3-642-28166-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1965262026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Flanagan, Cormac. editor. König, Barbara. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28756-5">http://dx.doi.org/10.1007/978-3-642-28756-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1965532026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Seidl, Helmut. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28869-2">http://dx.doi.org/10.1007/978-3-642-28869-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fundamental Approaches to Software Engineering 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1965542026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Lara, Juan. editor. Zisman, Andrea. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28872-2">http://dx.doi.org/10.1007/978-3-642-28872-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Global Trends in Information Systems and Software Applications 4th International Conference, ObCom 2011, Vellore, TN, India, December 9-11, 2011. Proceedings, Part IIent://SD_ILS/0/SD_ILS:1966462026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Krishna, P. Venkata. editor. Babu, M. Rajasekhara. editor. Ariwa, Ezendu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29216-3">http://dx.doi.org/10.1007/978-3-642-29216-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Composition 11th International Conference, SC 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1969182026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Gschwind, Thomas. editor. Paoli, Flavio. editor. Gruhn, Volker. editor. Book, Matthias. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30564-1">http://dx.doi.org/10.1007/978-3-642-30564-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Process Improvement and Capability Determination 12th International Conference, SPICE 2012, Palma, Spain, May 29-31, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1968872026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Mas, Antonia. editor. Mesquida, Antoni. editor. Rout, Terry. editor. O’Connor, Rory V. editor. Dorling, Alec. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30439-2">http://dx.doi.org/10.1007/978-3-642-30439-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Applications for Software Engineering, Disaster Recovery, and Business Continuity International Conferences, ASEA and DRBC 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1975872026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Kim, Tai-hoon. editor. Ramos, Carlos. editor. Kim, Haeng-kon. editor. Kiumi, Akingbehin. editor. Mohammed, Sabah. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35267-6">http://dx.doi.org/10.1007/978-3-642-35267-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Recent Trends and Developments in Social Software International Conferences on Social Software, BlogTalk 2008, Cork, Ireland, March 3-4, 2008, and BlogTalk 2009, Jeju Island, South Korea, September 15-16, 2009. Revised Selected Papersent://SD_ILS/0/SD_ILS:1933432026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Breslin, John G. editor. Burg, Thomas N. editor. Kim, Hong-Gee. editor. Raftery, Tom. editor. Schmidt, Jan-Hinrik. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16581-8">http://dx.doi.org/10.1007/978-3-642-16581-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Evaluation of Novel Approaches to Software Engineering 5th International Conference, ENASE 2010, Athens, Greece, July 22-24, 2010, Revised Selected Papersent://SD_ILS/0/SD_ILS:1953312026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Maciaszek, Leszek A. editor. Loucopoulos, Pericles. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23391-3">http://dx.doi.org/10.1007/978-3-642-23391-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Sensor Systems and Software Second International ICST Conference, S-Cube 2010, Miami, FL, USA, December 13-15, 2010, Revised Selected Papersent://SD_ILS/0/SD_ILS:1953852026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Par, Gerard. editor. Morrow, Philip. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23583-2">http://dx.doi.org/10.1007/978-3-642-23583-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Architecture 5th European Conference, ECSA 2011, Essen, Germany, September 13-16, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1954502026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Crnkovic, Ivica. editor. Gruhn, Volker. editor. Book, Matthias. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23798-0">http://dx.doi.org/10.1007/978-3-642-23798-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Engineering for Resilient Systems Third International Workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1955522026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Troubitsyna, Elena A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24124-6">http://dx.doi.org/10.1007/978-3-642-24124-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods and Software Engineering 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1956742026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Qin, Shengchao. editor. Qiu, Zongyan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24559-6">http://dx.doi.org/10.1007/978-3-642-24559-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Engineering and Formal Methods 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1957162026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Barthe, Gilles. editor. Pardo, Alberto. editor. Schneider, Gerardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24690-6">http://dx.doi.org/10.1007/978-3-642-24690-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Technologies for Embedded and Ubiquitous Systems 8th IFIP WG 10.2 International Workshop, SEUS 2010, Waidhofen/Ybbs, Austria, October 13-15, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1932372026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Min, Sang Lyul. editor. Pettit, Robert. editor. Puschner, Peter. editor. Ungerer, Theo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16256-5">http://dx.doi.org/10.1007/978-3-642-16256-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fundamental Approaches to Software Engineering 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1941642026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Giannakopoulou, Dimitra. editor. Orejas, Fernando. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19811-3">http://dx.doi.org/10.1007/978-3-642-19811-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Requirements Engineering: Foundation for Software Quality 17th International Working Conference, REFSQ 2011, Essen, Germany, March 28-30, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1941802026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Berry, Daniel. editor. Franch, Xavier. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19858-8">http://dx.doi.org/10.1007/978-3-642-19858-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Compiler Construction 20th International Conference, CC 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1941812026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Knoop, Jens. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19861-8">http://dx.doi.org/10.1007/978-3-642-19861-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Process Improvement and Capability Determination 11th International Conference, SPICE 2011, Dublin, Ireland, May 30 – June 1, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1946352026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor O’Connor, Rory V. editor. Rout, Terry. editor. McCaffery, Fergal. editor. Dorling, Alec. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21233-8">http://dx.doi.org/10.1007/978-3-642-21233-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papersent://SD_ILS/0/SD_ILS:1946542026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Calinescu, Radu. editor. Jackson, Ethan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21292-5">http://dx.doi.org/10.1007/978-3-642-21292-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Reliable Software Technologies - Ada-Europe 2011 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1946682026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Romanovsky, Alexander. editor. Vardanega, Tullio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21338-0">http://dx.doi.org/10.1007/978-3-642-21338-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fast Software Encryption 18th International Workshop, FSE 2011, Lyngby, Denmark, February 13-16, 2011, Revised Selected Papersent://SD_ILS/0/SD_ILS:1947892026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Joux, Antoine. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21702-9">http://dx.doi.org/10.1007/978-3-642-21702-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Composition 10th International Conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1948992026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Apel, Sven. editor. Jackson, Ethan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22045-6">http://dx.doi.org/10.1007/978-3-642-22045-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Engineering, Business Continuity, and Education International Conferences ASEA, DRBC and EL 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1961272026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Kim, Tai-hoon. editor. Adeli, Hojjat. editor. Kim, Haeng-kon. editor. Kang, Heau-jo. editor. Kim, Kyung Jung. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-27207-3">http://dx.doi.org/10.1007/978-3-642-27207-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Engineering Secure Software and Systems Third International Symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1939432026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Erlingsson, Úlfar. editor. Wieringa, Roel. editor. Zannone, Nicola. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19125-1">http://dx.doi.org/10.1007/978-3-642-19125-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Agent-Oriented Software Engineering X 10th International Workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009, Revised Selected Papersent://SD_ILS/0/SD_ILS:1939682026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Gleizes, Marie-Pierre. editor. Gomez-Sanz, Jorge J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19208-1">http://dx.doi.org/10.1007/978-3-642-19208-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1941332026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Barthe, Gilles. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19718-5">http://dx.doi.org/10.1007/978-3-642-19718-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1941722026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Abdulla, Parosh Aziz. editor. Leino, K. Rustan M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19835-9">http://dx.doi.org/10.1007/978-3-642-19835-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Engineering and Computer Systems Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part Ient://SD_ILS/0/SD_ILS:1949362026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Mohamad Zain, Jasni. editor. Wan Mohd, Wan Maseri bt. editor. El-Qawasmeh, Eyas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22170-5">http://dx.doi.org/10.1007/978-3-642-22170-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Engineering and Computer Systems Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part IIent://SD_ILS/0/SD_ILS:1949432026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Zain, Jasni Mohamad. editor. Wan Mohd, Wan Maseri bt. editor. El-Qawasmeh, Eyas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22191-0">http://dx.doi.org/10.1007/978-3-642-22191-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Engineering and Computer Systems Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:1949472026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Zain, Jasni Mohamad. editor. Wan Mohd, Wan Maseri bt. editor. El-Qawasmeh, Eyas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22203-0">http://dx.doi.org/10.1007/978-3-642-22203-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Agent-Oriented Software Engineering XI 11th International Workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010, Revised Selected Papersent://SD_ILS/0/SD_ILS:1950902026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Weyns, Danny. editor. Gleizes, Marie-Pierre. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22636-6">http://dx.doi.org/10.1007/978-3-642-22636-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Science The Hardware, Software and Heart of Itent://SD_ILS/0/SD_ILS:1738712026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Blum, Edward K. editor. Aho, Alfred V. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-1168-0">http://dx.doi.org/10.1007/978-1-4614-1168-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Agile Software Development Best Practices for Large Software Development Projectsent://SD_ILS/0/SD_ILS:1860642026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Stober, Thomas. author. Hansmann, Uwe. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-70832-2">http://dx.doi.org/10.1007/978-3-540-70832-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations of Computer Software. Future Trends and Techniques for Development 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papersent://SD_ILS/0/SD_ILS:1920362026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Choppy, Christine. editor. Sokolsky, Oleg. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12566-9">http://dx.doi.org/10.1007/978-3-642-12566-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Component-Based Software Engineering 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1922702026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Grunske, Lars. editor. Reussner, Ralf. editor. Plasil, Frantisek. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13238-4">http://dx.doi.org/10.1007/978-3-642-13238-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Reliable Software Technologiey – Ada-Europe 2010 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1923722026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Real, Jorge. editor. Vardanega, Tullio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13550-7">http://dx.doi.org/10.1007/978-3-642-13550-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Composition 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1925322026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Baudry, Benoît. editor. Wohlstadter, Eric. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14046-4">http://dx.doi.org/10.1007/978-3-642-14046-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Requirements Engineering: Foundation for Software Quality 16th International Working Conference, REFSQ 2010, Essen, Germany, June 30–July 2, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1925742026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Wieringa, Roel. editor. Persson, Anne. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14192-8">http://dx.doi.org/10.1007/978-3-642-14192-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Human-Centred Software Engineering Third International Conference, HCSE 2010, Reykjavik, Iceland, October 14-15, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1933122026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Bernhaupt, Regina. editor. Forbrig, Peter. editor. Gulliksen, Jan. editor. Lárusdóttir, Marta. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16488-0">http://dx.doi.org/10.1007/978-3-642-16488-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Software Engineering International Conference, ASEA 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1936442026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Kim, Tai-hoon. editor. Kim, Haeng-Kon. editor. Khan, Muhammad Khurram. editor. Kiumi, Akingbehin. editor. Fang, Wai-chi. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17578-7">http://dx.doi.org/10.1007/978-3-642-17578-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Sensor Systems and Software First International ICST Conference, S-CUBE 2009, Pisa, Italy, September 7-9, 2009, Revised Selected Papersent://SD_ILS/0/SD_ILS:1917132026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Hailes, Stephen. editor. Sicari, Sabrina. editor. Roussos, George. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11528-8">http://dx.doi.org/10.1007/978-3-642-11528-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1918472026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Gordon, Andrew D. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11957-6">http://dx.doi.org/10.1007/978-3-642-11957-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Compiler Construction 19th International Conference, CC 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1918502026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Gupta, Rajiv. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11970-5">http://dx.doi.org/10.1007/978-3-642-11970-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1918572026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Esparza, Javier. editor. Majumdar, Rupak. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12002-2">http://dx.doi.org/10.1007/978-3-642-12002-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fundamental Approaches to Software Engineering 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1918662026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Rosenblum, David S. editor. Taentzer, Gabriele. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12029-9">http://dx.doi.org/10.1007/978-3-642-12029-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advanced Lectures on Software Engineering LASER Summer School 2007/2008ent://SD_ILS/0/SD_ILS:1921862026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Müller, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13010-6">http://dx.doi.org/10.1007/978-3-642-13010-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Research into Practice – Reality and Gaps 6th International Conference on the Quality of Software Architectures, QoSA 2010, Prague, Czech Republic, June 23 - 25, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1924602026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Heineman, George T. editor. Kofron, Jan. editor. Plasil, Frantisek. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13821-8">http://dx.doi.org/10.1007/978-3-642-13821-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>New Modeling Concepts for Today’s Software Processes International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1926222026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Münch, Jürgen. editor. Yang, Ye. editor. Schäfer, Wilhelm. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14347-2">http://dx.doi.org/10.1007/978-3-642-14347-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Evaluation of Novel Approaches to Software Engineering 3rd and 4th International Conferences, ENASE 2008/2009, Funchal, Madeira, Portugal, May 4-7, 2008 / Milan, Italy, May 9-10, 2009. Revised Selected Papersent://SD_ILS/0/SD_ILS:1927792026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Maciaszek, Leszek A. editor. González-Pérez, César. editor. Jablonski, Stefan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14819-4">http://dx.doi.org/10.1007/978-3-642-14819-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Services for e-World 10th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2010, Buenos Aires, Argentina, November 3-5, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1932462026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Cellary, Wojciech. editor. Estevez, Elsa. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16283-1">http://dx.doi.org/10.1007/978-3-642-16283-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Architecture 4th European Conference, ECSA 2010, Copenhagen, Denmark, August 23-26, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1928652026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Babar, Muhammad Ali. editor. Gorton, Ian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15114-9">http://dx.doi.org/10.1007/978-3-642-15114-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Engineering Secure Software and Systems Second International Symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1917902026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Massacci, Fabio. editor. Wallach, Dan. editor. Zannone, Nicola. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11747-3">http://dx.doi.org/10.1007/978-3-642-11747-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fast Software Encryption 17th International Workshop, FSE 2010, Seoul, Korea, February 7-10, 2010, Revised Selected Papersent://SD_ILS/0/SD_ILS:1924722026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Hong, Seokhie. editor. Iwata, Tetsu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13858-4">http://dx.doi.org/10.1007/978-3-642-13858-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Reasoning Web. Semantic Technologies for Software Engineering 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010. Tutorial Lecturesent://SD_ILS/0/SD_ILS:1930032026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Aßmann, Uwe. editor. Bartho, Andreas. editor. Wende, Christian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15543-7">http://dx.doi.org/10.1007/978-3-642-15543-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Product Lines: Going Beyond 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1930152026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Bosch, Jan. editor. Lee, Jaejoon. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15579-6">http://dx.doi.org/10.1007/978-3-642-15579-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Aspect-Oriented Software Development VII A Common Case Study for Aspect-Oriented Modelingent://SD_ILS/0/SD_ILS:1931802026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Katz, Shmuel. editor. Mezini, Mira. editor. Kienzle, Jörg. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16086-8">http://dx.doi.org/10.1007/978-3-642-16086-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods and Software Engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1934522026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Dong, Jin Song. editor. Zhu, Huibiao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16901-4">http://dx.doi.org/10.1007/978-3-642-16901-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Green Software Defined Radios Enabling seamless connectivity while saving on hardware and energyent://SD_ILS/0/SD_ILS:1700712026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Perre, Liesbet Van der. author. Craninckx, Jan. author. Dejonghe, Antoine. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-8212-2">http://dx.doi.org/10.1007/978-1-4020-8212-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Agent-Oriented Software Engineering IX 9th International Workshop, AOSE 2008 Estoril, Portugal, May 12-13, 2008 Revised Selected Papersent://SD_ILS/0/SD_ILS:1899612026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Luck, Michael. editor. Gomez-Sanz, Jorge J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-01338-6">http://dx.doi.org/10.1007/978-3-642-01338-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Composition 8th International Conference, SC 2009, Zurich, Switzerland, July 2-3, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1903892026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Bergel, Alexandre. editor. Fabry, Johan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02655-3">http://dx.doi.org/10.1007/978-3-642-02655-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Services for e-Business and e-Society 9th IFIP WG 6.1 Conference on e-Business, e-Services and e-Society, I3E 2009, Nancy, France, September 23-25, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1908962026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Godart, Claude. editor. Gronau, Norbert. editor. Sharma, Sushil. editor. Canals, Gérôme. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04280-5">http://dx.doi.org/10.1007/978-3-642-04280-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software-intensive verteilte Echtzeitsysteme Fachtagung des GI/GMA-Fachausschusses Echtzeitsysteme (real-time) Boppard, 19. und 20. November 2009ent://SD_ILS/0/SD_ILS:1910562026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Halang, Wolfgang A. editor. Holleczek, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04783-1">http://dx.doi.org/10.1007/978-3-642-04783-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Technologies for Embedded and Ubiquitous Systems 7th IFIP WG 10.2 International Workshop, SEUS 2009 Newport Beach, CA, USA, November 16-18, 2009 Proceedingsent://SD_ILS/0/SD_ILS:1913162026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Lee, Sunggu. editor. Narasimhan, Priya. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-10265-3">http://dx.doi.org/10.1007/978-3-642-10265-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Testing of Software and Communicating Systems 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedingsent://SD_ILS/0/SD_ILS:1855002026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Suzuki, Kenji. editor. Higashino, Teruo. editor. Ulrich, Andreas. editor. Hasegawa, Toru. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68524-1">http://dx.doi.org/10.1007/978-3-540-68524-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Reliable Software Technologies – Ada-Europe 2008 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1855322026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Kordon, Fabrice. editor. Vardanega, Tullio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68624-8">http://dx.doi.org/10.1007/978-3-540-68624-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Internet-Security aus Software-Sicht Ein Leitfaden zur Software-Erstellung für sicherheitskritische Bereicheent://SD_ILS/0/SD_ILS:1856432026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Kriha, Walter. author. Schmitz, Roland. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68906-5">http://dx.doi.org/10.1007/978-3-540-68906-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Generative and Transformational Techniques in Software Engineering II International Summer School, GTTSE 2007, Braga, Portugal, July 2-7, 2007. Revised Papersent://SD_ILS/0/SD_ILS:1890932026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Lämmel, Ralf. editor. Visser, Joost. editor. Saraiva, João. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-88643-3">http://dx.doi.org/10.1007/978-3-540-88643-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Engineering Interactive Systems Second Conference on Human-Centered Software Engineering, HCSE 2008, and 7th International Workshop on Task Models and Diagrams, TAMODIA 2008, Pisa, Italy, September 25-26, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1888272026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Forbrig, Peter. editor. Paternò, Fabio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85992-5">http://dx.doi.org/10.1007/978-3-540-85992-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lecturesent://SD_ILS/0/SD_ILS:1856372026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Bernardo, Marco. editor. Degano, Pierpaolo. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68894-5">http://dx.doi.org/10.1007/978-3-540-68894-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Composition 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1882422026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Pautasso, Cesare. editor. Tanter, Éric. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78789-1">http://dx.doi.org/10.1007/978-3-540-78789-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1882462026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Ramakrishnan, C. R. editor. Rehof, Jakob. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78800-3">http://dx.doi.org/10.1007/978-3-540-78800-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Model-Based Software and Data Integration First International Workshop, MBSDI 2008, Berlin, Germany, April 1-3, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1883032026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Kutsche, Ralf-Detlef. editor. Milanovic, Nikola. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78999-4">http://dx.doi.org/10.1007/978-3-540-78999-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Agent-Oriented Software Engineering VIII 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papersent://SD_ILS/0/SD_ILS:1884532026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Luck, Michael. editor. Padgham, Lin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-79488-2">http://dx.doi.org/10.1007/978-3-540-79488-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Technologies for Embedded and Ubiquitous Systems 6th IFIP WG 10.2 International Workshop, SEUS 2008, Anacarpi, Capri Island, Italy, October 1-3, 2008 Proceedingsent://SD_ILS/0/SD_ILS:1889132026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Brinkschulte, Uwe. editor. Givargis, Tony. editor. Russo, Stefano. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-87785-1">http://dx.doi.org/10.1007/978-3-540-87785-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software-Intensive Systems and New Computing Paradigms Challenges and Visionsent://SD_ILS/0/SD_ILS:1892672026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Wirsing, Martin. editor. Banâtre, Jean-Pierre. editor. Hölzl, Matthias. editor. Rauschmayer, Axel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-89437-7">http://dx.doi.org/10.1007/978-3-540-89437-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Testing Network An Integral Approach to Test Activities in Large Software Projectsent://SD_ILS/0/SD_ILS:1881542026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Henry, Pierre. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78504-0">http://dx.doi.org/10.1007/978-3-540-78504-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Agent-Oriented Software Engineering VII 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papersent://SD_ILS/0/SD_ILS:1861112026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Padgham, Lin. editor. Zambonelli, Franco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-70945-9">http://dx.doi.org/10.1007/978-3-540-70945-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Technologies for Embedded and Ubiquitous Systems 5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 2007. Revised Papersent://SD_ILS/0/SD_ILS:1874702026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Obermaisser, Roman. editor. Nah, Yunmook. editor. Puschner, Peter. editor. Rammig, Franz J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75664-4">http://dx.doi.org/10.1007/978-3-540-75664-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1862132026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Grumberg, Orna. editor. Huth, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71209-1">http://dx.doi.org/10.1007/978-3-540-71209-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods for Performance Evaluation 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lecturesent://SD_ILS/0/SD_ILS:1865662026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Bernardo, Marco. editor. Hillston, Jane. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72522-0">http://dx.doi.org/10.1007/978-3-540-72522-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Composition 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papersent://SD_ILS/0/SD_ILS:1878492026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Lumpe, Markus. editor. Vanderperren, Wim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77351-1">http://dx.doi.org/10.1007/978-3-540-77351-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Embedded Software and Systems Third International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1866192026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Lee, Yann-Hang. editor. Kim, Heung-Nam. editor. Kim, Jong. editor. Park, Yongwan. editor. Yang, Laurence T. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72685-2">http://dx.doi.org/10.1007/978-3-540-72685-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Testing of Software and Communicating Systems 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1867332026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Petrenko, Alexandre. editor. Veanes, Margus. editor. Tretmans, Jan. editor. Grieskamp, Wolfgang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73066-8">http://dx.doi.org/10.1007/978-3-540-73066-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Engineering for Multi-Agent Systems V Research Issues and Practical Applicationsent://SD_ILS/0/SD_ILS:1867532026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Choren, Ricardo. editor. Garcia, Alessandro. editor. Giese, Holger. editor. Leung, Ho-fung. editor. Lucena, Carlos. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73131-3">http://dx.doi.org/10.1007/978-3-540-73131-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Reliable Software Technologies – Ada Europe 2007 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1867832026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Abdennadher, Nabil. editor. Kordon, Fabrice. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73230-3">http://dx.doi.org/10.1007/978-3-540-73230-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Component-Based Software Engineering 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1868922026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Schmidt, Heinz W. editor. Crnkovic, Ivica. editor. Heineman, George T. editor. Stafford, Judith A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73551-9">http://dx.doi.org/10.1007/978-3-540-73551-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papersent://SD_ILS/0/SD_ILS:1878962026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Okada, Mitsu. editor. Satoh, Ichiro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77505-8">http://dx.doi.org/10.1007/978-3-540-77505-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Architectures, Components, and Applications Third International Conference on Quality of Software Architectures, QoSA 2007, Medford, MA, USA, July 11-23, 2007, Revised Selected Papersent://SD_ILS/0/SD_ILS:1879312026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Overhage, Sven. editor. Szyperski, Clemens A. editor. Reussner, Ralf. editor. Stafford, Judith A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77619-2">http://dx.doi.org/10.1007/978-3-540-77619-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Reliable Software Technologies – Ada-Europe 2006 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1841382026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Pinho, Luís Miguel. editor. González Harbour, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11767077">http://dx.doi.org/10.1007/11767077</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Quality of Software Architectures Second International Conference on Quality of Software Architectures, QoSA 2006, Västerås, Sweden, June 27-29, 2006 Revised Papersent://SD_ILS/0/SD_ILS:1851302026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Hofmeister, Christine. editor. Crnkovic, Ivica. editor. Reussner, Ralf. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11921998">http://dx.doi.org/10.1007/11921998</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Engineering Research and Applications Second International Conference, SERA 2004, Los Angeles, CA, USA, MAY 5-7, 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:1831922026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Dosch, Walter. editor. Lee, Roger Y. editor. Wu, Chisu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11668855">http://dx.doi.org/10.1007/11668855</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1836042026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Hermanns, Holger. editor. Palsberg, Jens. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11691372">http://dx.doi.org/10.1007/11691372</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Agent-Oriented Software Engineering VI 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papersent://SD_ILS/0/SD_ILS:1839382026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Müller, Jörg P. editor. Zambonelli, Franco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11752660">http://dx.doi.org/10.1007/11752660</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Engineering for Multi-Agent Systems IV Research Issues and Practical Applicationsent://SD_ILS/0/SD_ILS:1837772026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Garcia, Alessandro. editor. Choren, Ricardo. editor. Lucena, Carlos. editor. Giorgini, Paolo. editor. Holvoet, Tom. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11738817">http://dx.doi.org/10.1007/11738817</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lecturesent://SD_ILS/0/SD_ILS:1840022026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Bernardo, Marco. editor. Cimatti, Alessandro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11757283">http://dx.doi.org/10.1007/11757283</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Component-Based Software Engineering 9th International Symposium, CBSE 2006, Västerås, Sweden, June 29 - July 1, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1842812026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Gorton, Ian. editor. Heineman, George T. editor. Crnković, Ivica. editor. Schmidt, Heinz W. editor. Stafford, Judith A. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11783565">http://dx.doi.org/10.1007/11783565</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Composition 5th International Symposium, SC 2006 Vienna, Austria, March 25-26, 2006 Revised Papersent://SD_ILS/0/SD_ILS:1845852026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Löwe, Welf. editor. Südholt, Mario. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11821946">http://dx.doi.org/10.1007/11821946</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods for Mobile Computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lecturesent://SD_ILS/0/SD_ILS:1830882026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Bernardo, Marco. editor. Bogliolo, Alessandro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b135888">http://dx.doi.org/10.1007/b135888</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Agent-Oriented Software Engineering V 5th International Workshop, AOSE 2004, New York, NY, USA, July 19, 2004. Revised Selected Papersent://SD_ILS/0/SD_ILS:1823752026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Odell, James. editor. Giorgini, Paolo. editor. Müller, Jörg P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b105022">http://dx.doi.org/10.1007/b105022</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Reliable Software Technology – Ada-Europe 2005 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1828142026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Vardanega, Tullio. editor. Wellings, Andy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137344">http://dx.doi.org/10.1007/b137344</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Embedded Software and Systems First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:1829092026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Wu, Zhaohui. editor. Chen, Chun. editor. Guo, Minyi. editor. Bu, Jiajun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11535409">http://dx.doi.org/10.1007/11535409</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Engineering for Multi-Agent Systems III Research Issues and Practical Applicationsent://SD_ILS/0/SD_ILS:1829322026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Choren, Ricardo. editor. Garcia, Alessandro. editor. Lucena, Carlos. editor. Romanovsky, Alexander. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106347">http://dx.doi.org/10.1007/b106347</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Engineering and Middleware 4th International Workshop, SEM 2004, Linz, Austria, September 20-21, 2004. Revised Selected Papersent://SD_ILS/0/SD_ILS:1830462026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Gschwind, Thomas. editor. Mascolo, Cecilia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b107130">http://dx.doi.org/10.1007/b107130</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1830512026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Halbwachs, Nicolas. editor. Zuck, Lenore D. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b107194">http://dx.doi.org/10.1007/b107194</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Quality of Software Architectures and Software Quality First International Conference on the Quality of Software Architectures, QoSA 2005, and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September 20-22, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1831212026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Reussner, Ralf. editor. Mayer, Johannes. editor. Stafford, Judith A. editor. Overhage, Sven. editor. Becker, Steffen. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11558569">http://dx.doi.org/10.1007/11558569</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Embedded Software and Systems Second International Conference, ICESS 2005, Xi’an, China, December 16-18, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1832822026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Yang, Laurence T. editor. Zhou, Xingshe. editor. Zhao, Wei. editor. Wu, Zhaohui. editor. Zhu, Yian. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11599555">http://dx.doi.org/10.1007/11599555</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Composition 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005. Revised Selected Papersent://SD_ILS/0/SD_ILS:1818462026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Gschwind, Thomas. editor. Aßmann, Uwe. editor. Nierstrasz, Oscar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11550679">http://dx.doi.org/10.1007/11550679</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Coordination Models and Languages 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedingsent://SD_ILS/0/SD_ILS:4012472026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Di Marzo Serugendo, Giovanna. editor. (orcid)0000-0001-5048-5251 Loreti, Michele. editor. (orcid)0000-0003-3061-863X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-92408-3">https://doi.org/10.1007/978-3-319-92408-3</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, Proceedingsent://SD_ILS/0/SD_ILS:4013122026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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/>Intelligent, Secure, and Dependable Systems in Distributed and Cloud Environments Second International Conference, ISDDC 2018, Vancouver, BC, Canada, November 28–30, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3994442026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Traore, Issa. editor. (orcid)0000-0003-2987-8047 Woungang, Isaac. editor. (orcid)0000-0003-2484-4649 Ahmed, Sherif Saad. editor. Malik, Yasir. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-03712-3">https://doi.org/10.1007/978-3-030-03712-3</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 Ient://SD_ILS/0/SD_ILS:4000532026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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-02610-3">https://doi.org/10.1007/978-3-030-02610-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Safety, Reliability, and Security 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4003442026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Gallina, Barbara. editor. (orcid)0000-0002-6952-1053 Skavhaug, Amund. editor. 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-99130-6">https://doi.org/10.1007/978-3-319-99130-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Reversible Computation 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3997942026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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/>Emerging Web Services Technology Volume IIIent://SD_ILS/0/SD_ILS:1766282026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Binder, Walter. editor. Dustdar, Schahram. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-0346-0104-7">http://dx.doi.org/10.1007/978-3-0346-0104-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advanced Autonomic Networking and Communicationent://SD_ILS/0/SD_ILS:1980972026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Calisti, Monique. editor. Meer, Sven. editor. Strassner, John. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-7643-8569-9">http://dx.doi.org/10.1007/978-3-7643-8569-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Emerging Web Services Technology, Volume IIent://SD_ILS/0/SD_ILS:1981642026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Gschwind, Thomas. editor. Pautasso, Cesare. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-7643-8864-5">http://dx.doi.org/10.1007/978-3-7643-8864-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Emerging Web Services Technologyent://SD_ILS/0/SD_ILS:1980692026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Pautasso, Cesare. editor. Bussler, Christoph. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-7643-8448-7">http://dx.doi.org/10.1007/978-3-7643-8448-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Proceedings of 7th ASRES International Conference on Intelligent Technologies ICIT 2022, Jakarta, Indonesiaent://SD_ILS/0/SD_ILS:5289082026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Arya, Karm Veer. editor. Tripathi, Vipin Kumar. editor. Rodriguez, Ciro. editor. Yusuf, Eddy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-1912-3">https://doi.org/10.1007/978-981-99-1912-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Proceedings of 2nd International Conference on Artificial Intelligence, Robotics, and Communication ICAIRC 2022ent://SD_ILS/0/SD_ILS:5285372026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Yadav, Sanjay. editor. Kumar, Harish. editor. Kankar, Pavan Kumar. editor. Dai, Wanyang. editor. Huang, Fenghua. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-4554-2">https://doi.org/10.1007/978-981-99-4554-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Artificial Intelligence for Edge Computingent://SD_ILS/0/SD_ILS:5289642026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Srivatsa, Mudhakar. editor. Abdelzaher, Tarek. editor. He, Ting. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-40787-1">https://doi.org/10.1007/978-3-031-40787-1</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, Proceedingsent://SD_ILS/0/SD_ILS:3996652026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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/>Cooperative Design, Visualization, and Engineering 15th International Conference, CDVE 2018, Hangzhou, China, October 21–24, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3997722026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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/>ICT Innovations 2018. Engineering and Life Sciences 10th International Conference, ICT Innovations 2018, Ohrid, Macedonia, September 17–19, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3997132026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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/>Human-Computer Interaction. Interaction in Context 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part IIent://SD_ILS/0/SD_ILS:3999102026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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/>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. Proceedingsent://SD_ILS/0/SD_ILS:3999192026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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/>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 Ient://SD_ILS/0/SD_ILS:3999232026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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/>Cryptology and Network Security 17th International Conference, CANS 2018, Naples, Italy, September 30 – October 3, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3999452026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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/>Computer Vision – ECCV 2018 15th European Conference, Munich, Germany, September 8-14, 2018, Proceedings, Part XIent://SD_ILS/0/SD_ILS:3999532026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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/>Intelligent Robotics and Applications 11th International Conference, ICIRA 2018, Newcastle, NSW, Australia, August 9–11, 2018, Proceedings, Part IIent://SD_ILS/0/SD_ILS:3999702026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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/>Advances in Web-Based Learning – ICWL 2018 17th International Conference, Chiang Mai, Thailand, August 22-24, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3999812026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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/>Interactive Collaborative Robotics Third International Conference, ICR 2018, Leipzig, Germany, September 18–22, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3999862026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Ronzhin, Andrey. editor. (orcid)0000-0002-8903-3508 Rigoll, Gerhard. editor. (orcid)0000-0003-1096-1596 Meshcheryakov, Roman. editor. (orcid)0000-0002-1129-8434 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99582-3">https://doi.org/10.1007/978-3-319-99582-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Bio-inspired Computing: Theories and Applications 13th International Conference, BIC-TA 2018, Beijing, China, November 2–4, 2018, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4000662026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Qiao, Jianyong. editor. Zhao, Xinchao. editor. (orcid)0000-0001-9376-7646 Pan, Linqiang. editor. (orcid)0000-0002-4554-455X Zuo, Xingquan. editor. (orcid)0000-0001-9580-1182 Zhang, Xingyi. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-13-2829-9">https://doi.org/10.1007/978-981-13-2829-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Cellular Automata 13th International Conference on Cellular Automata for Research and Industry, ACRI 2018, Como, Italy, September 17–21, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4001722026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Mauri, Giancarlo. editor. (orcid)0000-0003-3520-4022 El Yacoubi, Samira. editor. (orcid)0000-0002-8017-5286 Dennunzio, Alberto. editor. (orcid)0000-0003-1420-404X Nishinari, Katsuhiro. editor. Manzoni, Luca. editor. (orcid)0000-0001-6312-7728<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99813-8">https://doi.org/10.1007/978-3-319-99813-8</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, Proceedingsent://SD_ILS/0/SD_ILS:4001732026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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/>Mining Over Air: Wireless Communication Networks Analyticsent://SD_ILS/0/SD_ILS:4003632026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Ouyang, Ye. author. Hu, Mantian. author. Huet, Alexis. author. Li, Zhongyuan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-92312-3">https://doi.org/10.1007/978-3-319-92312-3</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 Papersent://SD_ILS/0/SD_ILS:4014532026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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/>Hybrid Artificial Intelligent Systems 13th International Conference, HAIS 2018, Oviedo, Spain, June 20-22, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4014572026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor de Cos Juez, Francisco Javier. editor. Villar, José Ramón. editor. de la Cal, Enrique A. editor. Herrero, Álvaro. editor. Quintián, Héctor. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-92639-1">https://doi.org/10.1007/978-3-319-92639-1</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, Proceedingsent://SD_ILS/0/SD_ILS:3989332026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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/>Combinatorial Optimization 5th International Symposium, ISCO 2018, Marrakesh, Morocco, April 11–13, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:3989442026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Lee, Jon. editor. Rinaldi, Giovanni. editor. Mahjoub, A. Ridha. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-96151-4">https://doi.org/10.1007/978-3-319-96151-4</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 Ient://SD_ILS/0/SD_ILS:3989592026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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/>Applications of Big Data Analytics Trends, Issues, and Challengesent://SD_ILS/0/SD_ILS:3990712026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Alani, Mohammed M. editor. Tawfik, Hissam. editor. Saeed, Mohammed. editor. Anya, Obinna. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-76472-6">https://doi.org/10.1007/978-3-319-76472-6</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, Proceedingsent://SD_ILS/0/SD_ILS:3990812026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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/>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 IIent://SD_ILS/0/SD_ILS:3990862026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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, Proceedingsent://SD_ILS/0/SD_ILS:3990932026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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/>Advanced Computing Strategies for Engineering 25th EG-ICE International Workshop 2018, Lausanne, Switzerland, June 10-13, 2018, Proceedings, Part IIent://SD_ILS/0/SD_ILS:3992032026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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/>Computational Intelligence and Intelligent Systems 9th International Symposium, ISICA 2017, Guangzhou, China, November 18–19, 2017, Revised Selected Papers, Part Ient://SD_ILS/0/SD_ILS:3992222026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Li, Kangshun. editor. Li, Wei. editor. Chen, Zhangxing. editor. Liu, Yong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-13-1648-7">https://doi.org/10.1007/978-981-13-1648-7</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 Papersent://SD_ILS/0/SD_ILS:3992262026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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/>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 Ient://SD_ILS/0/SD_ILS:3992392026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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, Proceedingsent://SD_ILS/0/SD_ILS:3992412026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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 Ient://SD_ILS/0/SD_ILS:3992432026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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/>Intelligent Computing Theories and Application 14th International Conference, ICIC 2018, Wuhan, China, August 15-18, 2018, Proceedings, Part IIent://SD_ILS/0/SD_ILS:3992442026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Huang, De-Shuang. editor. Jo, Kang-Hyun. editor. Zhang, Xiao-Long. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-95933-7">https://doi.org/10.1007/978-3-319-95933-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Towards Autonomous Robotic Systems 19th Annual Conference, TAROS 2018, Bristol, UK July 25-27, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3992902026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Giuliani, Manuel. editor. (orcid)0000-0003-3781-7623 Assaf, Tareq. editor. Giannaccini, Maria Elena. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-96728-8">https://doi.org/10.1007/978-3-319-96728-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Intelligence and Intelligent Systems 9th International Symposium, ISICA 2017, Guangzhou, China, November 18–19, 2017, Revised Selected Papers, Part IIent://SD_ILS/0/SD_ILS:3993692026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Li, Kangshun. editor. Li, Wei. editor. Chen, Zhangxing. editor. Liu, Yong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-13-1651-7">https://doi.org/10.1007/978-981-13-1651-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, Proceedingsent://SD_ILS/0/SD_ILS:3993242026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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/>Multi-disciplinary Trends in Artificial Intelligence 12th International Conference, MIWAI 2018, Hanoi, Vietnam, November 18–20, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3994052026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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/>Internet of Vehicles. Technologies and Services Towards Smart City 5th International Conference, IOV 2018, Paris, France, November 20–22, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3994462026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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/>Security and Cryptography for Networks 11th International Conference, SCN 2018, Amalfi, Italy, September 5–7, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3996142026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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/>Smart Societies, Infrastructure, Technologies and Applications First International Conference, SCITA 2017, Jeddah, Saudi Arabia, November 27–29, 2017, Proceedingsent://SD_ILS/0/SD_ILS:3996192026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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/>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 Ient://SD_ILS/0/SD_ILS:3996542026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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/>Intelligent Computing Methodologies 14th International Conference, ICIC 2018, Wuhan, China, August 15-18, 2018, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:3996902026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Huang, De-Shuang. editor. Gromiha, M. Michael. editor. Han, Kyungsook. editor. Hussain, Abir. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-95957-3">https://doi.org/10.1007/978-3-319-95957-3</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, Proceedingsent://SD_ILS/0/SD_ILS:3997692026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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/>Intelligent Transport Systems – From Research and Development to the Market Uptake First International Conference, INTSYS 2017, Hyvinkää, Finland, November 29-30, 2017, Proceedingsent://SD_ILS/0/SD_ILS:4001532026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Kováčiková, Tatiana. editor. Buzna, Ľuboš. editor. Pourhashem, Ghadir. editor. Lugano, Giuseppe. editor. Cornet, Yannick. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-93710-6">https://doi.org/10.1007/978-3-319-93710-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Security Protocols XXVI 26th International Workshop, Cambridge, UK, March 19–21, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4002772026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Matyáš, Vashek. editor. Švenda, Petr. editor. Stajano, Frank. editor. Christianson, Bruce. editor. Anderson, Jonathan. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-03251-7">https://doi.org/10.1007/978-3-030-03251-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Intelligent Computing and Internet of Things First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4003142026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Li, Kang. editor. Fei, Minrui. editor. Du, Dajun. editor. Yang, Zhile. editor. Yang, Dongsheng. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-13-2384-3">https://doi.org/10.1007/978-981-13-2384-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Web and Internet Economics 14th International Conference, WINE 2018, Oxford, UK, December 15–17, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4003372026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Christodoulou, George. editor. Harks, Tobias. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-04612-5">https://doi.org/10.1007/978-3-030-04612-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mobile Web and Intelligent Information Systems 15th International Conference, MobiWIS 2018, Barcelona, Spain, August 6-8, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4003422026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Younas, Muhammad. editor. Awan, Irfan. editor. Ghinea, George. editor. Catalan Cid, Marisa. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-97163-6">https://doi.org/10.1007/978-3-319-97163-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXVIIent://SD_ILS/0/SD_ILS:4005642026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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/>Intelligent Computing Theories and Application 14th International Conference, ICIC 2018, Wuhan, China, August 15-18, 2018, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4005122026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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/>Verification, Model Checking, and Abstract Interpretation 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4005282026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Dillig, Isil. editor. Palsberg, Jens. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-73721-8">https://doi.org/10.1007/978-3-319-73721-8</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, Proceedingsent://SD_ILS/0/SD_ILS:4005422026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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 XVIent://SD_ILS/0/SD_ILS:4005432026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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/>Approximation and Online Algorithms 15th International Workshop, WAOA 2017, Vienna, Austria, September 7–8, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:4007042026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Solis-Oba, Roberto. editor. (orcid)0000-0002-7518-4161 Fleischer, Rudolf. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-89441-6">https://doi.org/10.1007/978-3-319-89441-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Communications and Networking 12th International Conference, ChinaCom 2017, Xi’an, China, October 10-12, 2017, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4008432026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Li, Bo. editor. Shu, Lei. editor. Zeng, Deze. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-78139-6">https://doi.org/10.1007/978-3-319-78139-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>New Frontiers in Quantitative Methods in Informatics 7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:4012232026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Balsamo, Simonetta. editor. Marin, Andrea. editor. Vicario, Enrico. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91632-3">https://doi.org/10.1007/978-3-319-91632-3</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 Toolsent://SD_ILS/0/SD_ILS:4012772026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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/>Global Thoughts, Local Designs INTERACT 2017 IFIP TC 13 Workshops, Mumbai, India, September 25-27, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:4013112026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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/>Algorithms and Models for the Web Graph 15th International Workshop, WAW 2018, Moscow, Russia, May 17-18, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4013132026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Bonato, Anthony. editor. Prałat, Paweł. editor. Raigorodskii, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-92871-5">https://doi.org/10.1007/978-3-319-92871-5</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, Proceedingsent://SD_ILS/0/SD_ILS:4013372026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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/>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, Proceedingsent://SD_ILS/0/SD_ILS:4015722026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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 Applications and Innovations 14th IFIP WG 12.5 International Conference, AIAI 2018, Rhodes, Greece, May 25–27, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4015732026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Iliadis, Lazaros. editor. Maglogiannis, Ilias. editor. Plagianakos, Vassilis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-92007-8">https://doi.org/10.1007/978-3-319-92007-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Artificial Intelligence Applications and Innovations AIAI 2018 IFIP WG 12.5 International Workshops, SEDSEAL, 5G-PINE, MHDW, and HEALTHIOT, Rhodes, Greece, May 25-27, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4015842026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Iliadis, Lazaros. editor. Maglogiannis, Ilias. editor. Plagianakos, Vassilis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-92016-0">https://doi.org/10.1007/978-3-319-92016-0</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, Proceedingsent://SD_ILS/0/SD_ILS:4015872026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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/>Cloud Computing – CLOUD 2018 11th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4016052026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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/>Computational Intelligence and Its Applications 6th IFIP TC 5 International Conference, CIIA 2018, Oran, Algeria, May 8-10, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4015572026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Amine, Abdelmalek. editor. Mouhoub, Malek. editor. (orcid)0000-0001-7381-1064 Ait Mohamed, Otmane. editor. Djebbar, Bachir. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-89743-1">https://doi.org/10.1007/978-3-319-89743-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Big Data – BigData 2018 7th International Congress, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4016552026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Chin, Francis Y. L. editor. Chen, C. L. Philip. editor. (orcid)0000-0001-5451-7230 Khan, Latifur. editor. Lee, Kisung. editor. (orcid)0000-0003-4367-4374 Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94301-5">https://doi.org/10.1007/978-3-319-94301-5</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, Proceedingsent://SD_ILS/0/SD_ILS:4019792026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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, Proceedingsent://SD_ILS/0/SD_ILS:4019802026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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/>Advanced Computing Strategies for Engineering 25th EG-ICE International Workshop 2018, Lausanne, Switzerland, June 10-13, 2018, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4019862026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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/>Computing and Combinatorics 24th International Conference, COCOON 2018, Qing Dao, China, July 2-4, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4020062026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Wang, Lusheng. editor. Zhu, Daming. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94776-1">https://doi.org/10.1007/978-3-319-94776-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Membrane Computing 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:4020842026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Gheorghe, Marian. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Zandron, Claudio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-73359-3">https://doi.org/10.1007/978-3-319-73359-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Communications and Networking 11th EAI international Conference, ChinaCom 2016 Chongqing, China, September 24-26, 2016, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4021502026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Chen, Qianbin. editor. Meng, Weixiao. editor. Zhao, Liqiang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66628-0">https://doi.org/10.1007/978-3-319-66628-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Communications and Networking 11th EAI International Conference, ChinaCom 2016, Chongqing, China, September 24-26, 2016, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4021582026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Chen, Qianbin. editor. Meng, Weixiao. editor. Zhao, Liqiang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66625-9">https://doi.org/10.1007/978-3-319-66625-9</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, Proceedingsent://SD_ILS/0/SD_ILS:4022152026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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/>Smart Homes and Health Telematics, Designing a Better Future: Urban Assisted Living 16th International Conference, ICOST 2018, Singapore, Singapore, July 10-12, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4024852026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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/>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, Proceedingsent://SD_ILS/0/SD_ILS:4026542026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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 IIent://SD_ILS/0/SD_ILS:4026562026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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 Ient://SD_ILS/0/SD_ILS:4026582026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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/>Auction Based Resource Provisioning in Cloud Computingent://SD_ILS/0/SD_ILS:4004822026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Baranwal, Gaurav. author. Kumar, Dinesh. author. Raza, Zahid. author. Vidyarthi, Deo Prakash. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-8737-0">https://doi.org/10.1007/978-981-10-8737-0</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 Ient://SD_ILS/0/SD_ILS:4004842026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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-98443-8">https://doi.org/10.1007/978-3-319-98443-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Machine Learning and Intelligent Communications Third International Conference, MLICOM 2018, Hangzhou, China, July 6-8, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4004872026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Meng, Limin. editor. Zhang, Yan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00557-3">https://doi.org/10.1007/978-3-030-00557-3</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 IVent://SD_ILS/0/SD_ILS:4005712026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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/>Security and Trust Management 14th International Workshop, STM 2018, Barcelona, Spain, September 6–7, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4005132026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Katsikas, Sokratis K. editor. (orcid)0000-0003-2966-9683 Alcaraz, Cristina. editor. (orcid)0000-0003-0545-3191 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-01141-3">https://doi.org/10.1007/978-3-030-01141-3</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, Proceedingsent://SD_ILS/0/SD_ILS:4005942026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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/>Stabilization, Safety, and Security of Distributed Systems 20th International Symposium, SSS 2018, Tokyo, Japan, November 4–7, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4005532026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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/>Algorithms and Architectures for Parallel Processing ICA3PP 2018 International Workshops, Guangzhou, China, November 15-17, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4005562026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Hu, Ting. editor. Wang, Feng. editor. Li, Hongwei. editor. Wang, Qian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-05234-8">https://doi.org/10.1007/978-3-030-05234-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Wireless Personal Communications Simulation and Complexityent://SD_ILS/0/SD_ILS:4007852026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor A. M. El-Bendary, Mohsen. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-7131-7">https://doi.org/10.1007/978-981-10-7131-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information and Communications Security 19th International Conference, ICICS 2017, Beijing, China, December 6-8, 2017, Proceedingsent://SD_ILS/0/SD_ILS:4007862026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Qing, Sihan. editor. Mitchell, Chris. editor. Chen, Liqun. editor. Liu, Dongmei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-89500-0">https://doi.org/10.1007/978-3-319-89500-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Wireless Sensor Networks 11th China Wireless Sensor Network Conference, CWSN 2017, Tianjin, China, October 12-14, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:4007942026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Li, Jianzhong. editor. Ma, Huadong. editor. Li, Keqiu. editor. Cui, Li. editor. Sun, Limin. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-8123-1">https://doi.org/10.1007/978-981-10-8123-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Communication Technologies for Vehicles 13th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2018, Madrid, Spain, May 17-18, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4008972026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Moreno García-Loygorri, Juan. editor. (orcid)0000-0002-4626-1535 Pérez-Yuste, Antonio. editor. (orcid)0000-0002-3503-5065 Briso, César. editor. (orcid)0000-0001-8219-9110 Berbineau, Marion. editor. Pirovano, Alain. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-90371-2">https://doi.org/10.1007/978-3-319-90371-2</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, Proceedingsent://SD_ILS/0/SD_ILS:4010132026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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/>Mobile Networks and Management 9th International Conference, MONAMI 2017, Melbourne, Australia, December 13-15, 2017, Proceedingsent://SD_ILS/0/SD_ILS:4010652026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Hu, Jiankun. editor. Khalil, Ibrahim. editor. Tari, Zahir. editor. Wen, Sheng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-90775-8">https://doi.org/10.1007/978-3-319-90775-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part IIent://SD_ILS/0/SD_ILS:4011052026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-74727-9">https://doi.org/10.1007/978-3-319-74727-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Wireless Algorithms, Systems, and Applications 13th International Conference, WASA 2018, Tianjin, China, June 20-22, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4015312026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Chellappan, Sriram. editor. Cheng, Wei. editor. Li, Wei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94268-1">https://doi.org/10.1007/978-3-319-94268-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Swarm Intelligence 9th International Conference, ICSI 2018, Shanghai, China, June 17-22, 2018, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4015372026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Tan, Ying. editor. Shi, Yuhui. editor. Tang, Qirong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-93815-8">https://doi.org/10.1007/978-3-319-93815-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Euro-Par 2017: Parallel Processing Workshops Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:4016702026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Heras, Dora B. editor. Bougé, Luc. editor. Mencagli, Gabriele. editor. Jeannot, Emmanuel. editor. Sakellariou, Rizos. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-75178-8">https://doi.org/10.1007/978-3-319-75178-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Algorithmic Aspects of Cloud Computing Third International Workshop, ALGOCLOUD 2017, Vienna, Austria, September 5, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:4016782026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Alistarh, Dan. editor. Delis, Alex. editor. Pallis, George. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-74875-7">https://doi.org/10.1007/978-3-319-74875-7</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 Proceedingsent://SD_ILS/0/SD_ILS:4017192026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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 Papersent://SD_ILS/0/SD_ILS:4017212026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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/>e-Infrastructure and e-Services for Developing Countries 8th International Conference, AFRICOMM 2016, Ouagadougou, Burkina Faso, December 6-7, 2016, Proceedingsent://SD_ILS/0/SD_ILS:4018722026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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, Proceedingsent://SD_ILS/0/SD_ILS:4018752026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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/>Wireless Internet 9th International Conference, WICON 2016, Haikou, China, December 19-20, 2016, Proceedingsent://SD_ILS/0/SD_ILS:4019222026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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/>Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part Ient://SD_ILS/0/SD_ILS:4019582026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-74718-7">https://doi.org/10.1007/978-3-319-74718-7</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, Proceedingsent://SD_ILS/0/SD_ILS:4023202026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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/>Future Access Enablers for Ubiquitous and Intelligent Infrastructures Third International Conference, FABULOUS 2017, Bucharest, Romania, October 12-14, 2017, Proceedingsent://SD_ILS/0/SD_ILS:4023662026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Fratu, Octavian. editor. Militaru, Nicolae. editor. Halunga, Simona. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-92213-3">https://doi.org/10.1007/978-3-319-92213-3</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 IIIent://SD_ILS/0/SD_ILS:4023762026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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-95168-3">https://doi.org/10.1007/978-3-319-95168-3</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 Vent://SD_ILS/0/SD_ILS:4023772026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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-95174-4">https://doi.org/10.1007/978-3-319-95174-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>MultiMedia Modeling 24th International Conference, MMM 2018, Bangkok, Thailand, February 5-7, 2018, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4024082026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Schoeffmann, Klaus. editor. Chalidabhongse, Thanarat H. editor. Ngo, Chong Wah. editor. Aramvith, Supavadee. editor. O’Connor, Noel E. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-73603-7">https://doi.org/10.1007/978-3-319-73603-7</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 Papersent://SD_ILS/0/SD_ILS:4025472026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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, Proceedingsent://SD_ILS/0/SD_ILS:4025552026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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/>Concurrency Control in Distributed System Using Mutual Exclusionent://SD_ILS/0/SD_ILS:4024602026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Kanrar, Sukhendu. author. Chaki, Nabendu. author. Chattopadhyay, Samiran. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-5559-1">https://doi.org/10.1007/978-981-10-5559-1</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 IIent://SD_ILS/0/SD_ILS:4026642026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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 IIent://SD_ILS/0/SD_ILS:4026702026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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 Ient://SD_ILS/0/SD_ILS:4026712026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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 IIIent://SD_ILS/0/SD_ILS:4026722026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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/>Fog Computing Concepts, Frameworks and Technologiesent://SD_ILS/0/SD_ILS:4027072026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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 Ient://SD_ILS/0/SD_ILS:4027252026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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 Papersent://SD_ILS/0/SD_ILS:4027362026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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 IIent://SD_ILS/0/SD_ILS:4027372026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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/>Transactions on Computational Collective Intelligence XXVIIIent://SD_ILS/0/SD_ILS:3989702026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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/>Ambient Intelligence 14th European Conference, AmI 2018, Larnaca, Cyprus, November 12-14, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3993832026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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/>PRIMA 2018: Principles and Practice of Multi-Agent Systems 21st International Conference, Tokyo, Japan, October 29-November 2, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3994032026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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/>Wireless Mobile Communication and Healthcare 7th International Conference, MobiHealth 2017, Vienna, Austria, November 14–15, 2017, Proceedingsent://SD_ILS/0/SD_ILS:3995042026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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/>Computers Helping People with Special Needs 16th International Conference, ICCHP 2018, Linz, Austria, July 11-13, 2018, Proceedings, Part IIent://SD_ILS/0/SD_ILS:3996302026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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/>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 IIIent://SD_ILS/0/SD_ILS:3995452026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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/>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, Proceedingsent://SD_ILS/0/SD_ILS:3997322026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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/>Internet and Distributed Computing Systems 10th International Conference, IDCS 2017, Mana Island, Fiji, December 11-13, 2017, Proceedingsent://SD_ILS/0/SD_ILS:3997502026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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/>Social Robotics 10th International Conference, ICSR 2018, Qingdao, China, November 28 - 30, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3997862026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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/>Engineering Multi-Agent Systems 5th International Workshop, EMAS 2017, Sao Paulo, Brazil, May 8-9, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:3998512026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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/>Human-Computer Interaction. Interaction Technologies 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:4000302026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Kurosu, Masaaki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91250-9">https://doi.org/10.1007/978-3-319-91250-9</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 IIent://SD_ILS/0/SD_ILS:4000312026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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 Ient://SD_ILS/0/SD_ILS:4000392026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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 IIent://SD_ILS/0/SD_ILS:4000402026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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/>Management Perspective for Transport Telematics 18th International Conference on Transport System Telematics, TST 2018, Krakow, Poland, March 20-23, 2018, Selected Papersent://SD_ILS/0/SD_ILS:4000442026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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/>Advances in Green Energy Systems and Smart Grid First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:4001022026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Li, Kang. editor. Zhang, Jianhua. editor. Chen, Minyou. editor. Yang, Zhile. editor. Niu, Qun. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-13-2381-2">https://doi.org/10.1007/978-981-13-2381-2</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, Proceedingsent://SD_ILS/0/SD_ILS:4001032026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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/>Artificial Intelligence XXXV 38th SGAI International Conference on Artificial Intelligence, AI 2018, Cambridge, UK, December 11–13, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4001062026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Bramer, Max. editor. Petridis, Miltos. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-04191-5">https://doi.org/10.1007/978-3-030-04191-5</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 Ient://SD_ILS/0/SD_ILS:4001102026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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/>Large-Scale Scientific Computing 11th International Conference, LSSC 2017, Sozopol, Bulgaria, June 5-9, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:4001182026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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/>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 Ient://SD_ILS/0/SD_ILS:4001592026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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/>Cross-Cultural Design. Methods, Tools, and Users 10th International Conference, CCD 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4002932026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Rau, Pei-Luen Patrick. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-92141-9">https://doi.org/10.1007/978-3-319-92141-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 IIent://SD_ILS/0/SD_ILS:4003032026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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-05054-2">https://doi.org/10.1007/978-3-030-05054-2</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, Proceedingsent://SD_ILS/0/SD_ILS:4002472026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor 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/>Bio-inspired Computing: Theories and Applications 13th International Conference, BIC-TA 2018, Beijing, China, November 2–4, 2018, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4004062026-02-21T09:11:51Z2026-02-21T09:11:51ZAuthor Qiao, Jianyong. editor. Zhao, Xinchao. editor. (orcid)0000-0001-9376-7646 Pan, Linqiang. editor. (orcid)0000-0002-4554-455X Zuo, Xingquan. editor. (orcid)0000-0001-9580-1182 Zhang, Xingyi. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-13-2826-8">https://doi.org/10.1007/978-981-13-2826-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>