Search Results for Systems software. - Narrowed by: Computer science.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSystems$002bsoftware.$0026qf$003dSUBJECT$002509Konu$002509Computer$002bscience.$002509Computer$002bscience.$0026ps$003d300$0026isd$003dtrue?2026-03-06T03:27:06ZEvolving Software Systemsent://SD_ILS/0/SD_ILS:4871212026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Mens, Tom. editor. Serebrenik, Alexander. editor. Cleve, Anthony. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-45398-4">https://doi.org/10.1007/978-3-642-45398-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software and Systems Traceabilityent://SD_ILS/0/SD_ILS:1733972026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Cleland-Huang, Jane. editor. Gotel, Orlena. editor. Zisman, Andrea. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-2239-5">http://dx.doi.org/10.1007/978-1-4471-2239-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Specification of Software Systemsent://SD_ILS/0/SD_ILS:1684762026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Alagar, V.S. author. Periyasamy, K. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-85729-277-3">http://dx.doi.org/10.1007/978-0-85729-277-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Recommendation Systems in Software Engineeringent://SD_ILS/0/SD_ILS:4882562026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Robillard, Martin P. editor. Maalej, Walid. editor. Walker, Robert J. editor. Zimmermann, Thomas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-45135-5">https://doi.org/10.1007/978-3-642-45135-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Engineering for Self-Adaptive Systemsent://SD_ILS/0/SD_ILS:1902352026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Cheng, Betty H. C. editor. Lemos, Rogério. editor. Giese, Holger. editor. Inverardi, Paola. editor. Magee, Jeff. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02161-9">http://dx.doi.org/10.1007/978-3-642-02161-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Networked RFID Systems, Software and Servicesent://SD_ILS/0/SD_ILS:1757352026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Roussos, George. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84800-153-4">http://dx.doi.org/10.1007/978-1-84800-153-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Model-Driven Dependability Assessment of Software Systemsent://SD_ILS/0/SD_ILS:3348122026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Bernardi, Simona. author. Merseguer, José. author. Petriu, Dorina Corina. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334812.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39512-3">http://dx.doi.org/10.1007/978-3-642-39512-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Systems, Software and Services Process Improvement 26th European Conference, EuroSPI 2019, Edinburgh, UK, September 18–20, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4870292026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Walker, Alastair. editor. O'Connor, Rory V. editor. Messnarz, Richard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-28005-5">https://doi.org/10.1007/978-3-030-28005-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4006052026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-89960-2">https://doi.org/10.1007/978-3-319-89960-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4006412026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-89963-3">https://doi.org/10.1007/978-3-319-89963-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4006442026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Ahmed, Amal. editor. (orcid)0000-0001-7424-572X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-89884-1">https://doi.org/10.1007/978-3-319-89884-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Energy Efficient Embedded Video Processing Systems A Hardware-Software Collaborative Approachent://SD_ILS/0/SD_ILS:4025802026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Khan, Muhammad Usman Karim. author. Shafique, Muhammad. author. Henkel, Jörg. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61455-7">https://doi.org/10.1007/978-3-319-61455-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Testing Software and Systems 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3994222026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Medina-Bulo, Inmaculada. editor. Merayo, Mercedes G. editor. Hierons, Robert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99927-2">https://doi.org/10.1007/978-3-319-99927-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Engineering Trustworthy Software Systems Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lecturesent://SD_ILS/0/SD_ILS:4002632026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-02928-9">https://doi.org/10.1007/978-3-030-02928-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Human Factors, Software, and Systems Engineering Proceedings of the AHFE 2017 International Conference on Human Factors, Software, and Systems Engineering, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USAent://SD_ILS/0/SD_ILS:4023412026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Ahram, Tareq. editor. Karwowski, Waldemar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60011-6">https://doi.org/10.1007/978-3-319-60011-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Systems, Software and Services Process Improvement 21st European Conference, EuroSPI 2014, Luxembourg, June 25-27, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4827112026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Barafort, Béatrix. editor. O'Connor, Rory V. editor. Poth, Alexander. editor. (orcid)0000-0002-2868-5633 Messnarz, Richard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-43896-1">https://doi.org/10.1007/978-3-662-43896-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Engineering for Resilient Systems 6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4869152026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Majzik, István. editor. Vieira, Marco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-12241-0">https://doi.org/10.1007/978-3-319-12241-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Open Source Software: Mobile Open Source Technologies 10th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2014, San José, Costa Rica, May 6-9, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4888812026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Corral, Luis. editor. Sillitti, Alberto. editor. Succi, Giancarlo. editor. Vlasenko, Jelena. editor. Wasserman, Anthony I. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-55128-4">https://doi.org/10.1007/978-3-642-55128-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Testing Software and Systems 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4894022026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Merayo, Mercedes G. editor. Montes de Oca, Edgardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-44857-1">https://doi.org/10.1007/978-3-662-44857-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Quality. Model-Based Approaches for Advanced Software and Systems Engineering 6th International Conference, SWQD 2014, Vienna, Austria, January 14-16, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4891672026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Winkler, Dietmar. editor. (orcid)0000-0002-4743-3124 Biffl, Stefan. editor. (orcid)0000-0002-3413-7780 Bergsmann, Johannes. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-03602-1">https://doi.org/10.1007/978-3-319-03602-1</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-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor 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/>Software Quality. Increasing Value in Software and Systems Development 5th International Conference, SWQD 2013, Vienna, Austria, January 15-17, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3340332026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Winkler, Dietmar. editor. Biffl, Stefan. editor. Bergsmann, Johannes. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334033.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35702-2">http://dx.doi.org/10.1007/978-3-642-35702-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:3340552026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Lemos, Rogério. editor. Giese, Holger. editor. Müller, Hausi A. editor. Shaw, Mary. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334055.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35813-5">http://dx.doi.org/10.1007/978-3-642-35813-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Systems and Software Variability Management Concepts, Tools and Experiencesent://SD_ILS/0/SD_ILS:3342402026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Capilla, Rafael. editor. Bosch, Jan. editor. Kang, Kyo-Chul. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334240.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36583-6">http://dx.doi.org/10.1007/978-3-642-36583-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lecturesent://SD_ILS/0/SD_ILS:3346882026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Bernardo, Marco. editor. Vink, Erik. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334688.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38874-3">http://dx.doi.org/10.1007/978-3-642-38874-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Systems, Software and Services Process Improvement 20th European Conference, EuroSPI 2013, Dundalk, Ireland, June 25-27, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3347442026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor McCaffery, Fergal. editor. O’Connor, Rory V. editor. Messnarz, Richard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334744.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39179-8">http://dx.doi.org/10.1007/978-3-642-39179-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-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor 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/>Multicore Systems On-Chip: Practical Software/Hardware Design 2nd Editionent://SD_ILS/0/SD_ILS:3364952026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Ben Abdallah, Abderazek. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(336495.1)<br/>Electronic Access <a href="http://dx.doi.org/10.2991/978-94-91216-92-3">http://dx.doi.org/10.2991/978-94-91216-92-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Using Event-B for Critical Device Software Systemsent://SD_ILS/0/SD_ILS:3311812026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Singh, Neeraj Kumar. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331181.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-5260-6">http://dx.doi.org/10.1007/978-1-4471-5260-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-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor 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/>Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 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:3342782026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Piterman, Nir. editor. Smolka, Scott A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334278.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36742-7">http://dx.doi.org/10.1007/978-3-642-36742-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 22nd European Symposium on Programming, ESOP 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:3343482026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Felleisen, Matthias. editor. Gardner, Philippa. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334348.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37036-6">http://dx.doi.org/10.1007/978-3-642-37036-6</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-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor 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/>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-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor 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/>Trustworthy Eternal Systems via Evolving Software, Data and Knowledge Second International Workshop, EternalS 2012, Montpellier, France, August 28, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:3351982026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Moschitti, Alessandro. editor. Plank, Barbara. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335198.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45260-4">http://dx.doi.org/10.1007/978-3-642-45260-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Lean Enterprise Software and Systems 4th International Conference, LESS 2013, Galway, Ireland, December 1-4, 2013, Proceedingsent://SD_ILS/0/SD_ILS:3351702026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Fitzgerald, Brian. editor. Conboy, Kieran. editor. Power, Ken. editor. Valerdi, Ricardo. editor. Morgan, Lorraine. editor.<br/>Preferred Shelf Number ONLINE(335170.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-44930-7">http://dx.doi.org/10.1007/978-3-642-44930-7</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-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor 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/>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-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor 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 Engineering for Resilient Systems 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1973302026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor 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/>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-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor 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/>Formal Methods for Model-Driven Engineering 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lecturesent://SD_ILS/0/SD_ILS:1970002026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Bernardo, Marco. editor. Cortellessa, Vittorio. editor. Pierantonio, Alfonso. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30982-3">http://dx.doi.org/10.1007/978-3-642-30982-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Systems, Software and Services Process Improvement 19th European Conference, EuroSPI 2012, Vienna, Austria, June 25-27, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1970382026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Winkler, Dietmar. editor. O’Connor, Rory V. editor. Messnarz, Richard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31199-4">http://dx.doi.org/10.1007/978-3-642-31199-4</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-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor 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/>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-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor 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/>Engineering Secure Software and Systems 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1963702026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor 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/>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-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor 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/>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-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor 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-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor 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/>Rigorous Software Engineering for Service-Oriented Systems Results of the SENSORIA Project on Software Engineering for Service-Oriented Computingent://SD_ILS/0/SD_ILS:1943582026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Wirsing, Martin. editor. Hölzl, Matthias. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-20401-2">http://dx.doi.org/10.1007/978-3-642-20401-2</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-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor 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/>Software Engineering for Resilient Systems Third International Workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1955522026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor 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/>Testing Software and Systems 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1956812026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Wolff, Burkhart. editor. Zaïdi, Fatiha. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24580-0">http://dx.doi.org/10.1007/978-3-642-24580-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods for Eternal Networked Software Systems 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lecturesent://SD_ILS/0/SD_ILS:1947062026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Bernardo, Marco. editor. Issarny, Valérie. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21455-4">http://dx.doi.org/10.1007/978-3-642-21455-4</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-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor 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-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor 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-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor 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/>Systems, Software and Service Process Improvement 18th European Conference, EuroSPI 2011, Roskilde, Denmark, June 27-29, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1949482026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor O‘Connor, Rory V. editor. Pries-Heje, Jan. editor. Messnarz, Richard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22206-1">http://dx.doi.org/10.1007/978-3-642-22206-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Environmental Software Systems. Frameworks of eEnvironment 9th IFIP WG 5.11 International Symposium, ISESS 2011, Brno, Czech Republic, June 27-29, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1949752026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Hřebíček, Jiří. editor. Schimak, Gerald. editor. Denzer, Ralf. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22285-6">http://dx.doi.org/10.1007/978-3-642-22285-6</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-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor 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 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-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor 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/>Engineering Secure Software and Systems Third International Symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1939432026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor 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/>Hardware/Software Architectures for Low-Power Embedded Multimedia Systemsent://SD_ILS/0/SD_ILS:1732802026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Shafique, Muhammad. author. Henkel, Jörg. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-9692-3">http://dx.doi.org/10.1007/978-1-4419-9692-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Multicore Systems On-Chip: Practical Software/Hardware Designent://SD_ILS/0/SD_ILS:2070332026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Abdallah, Abderazek Ben. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.2991/978-94-91216-33-6">http://dx.doi.org/10.2991/978-94-91216-33-6</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-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor 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/>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-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor 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/>Open Source Software: New Horizons 6th International IFIP WG 2.13 Conference on Open Source Systems, OSS 2010, Notre Dame, IN, USA, May 30 – June 2, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1922722026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Ågerfalk, Pär. editor. Boldyreff, Cornelia. editor. González-Barahona, Jesús M. editor. Madey, Gregory R. editor. Noll, John. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13244-5">http://dx.doi.org/10.1007/978-3-642-13244-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lecturesent://SD_ILS/0/SD_ILS:1924132026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Aldini, Alessandro. editor. Bernardo, Marco. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13678-8">http://dx.doi.org/10.1007/978-3-642-13678-8</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-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor 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/>Engineering Secure Software and Systems Second International Symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1917902026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor 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/>Cyber-Physical Systems Innovation Durch Software-Intensive Eingebettete Systemeent://SD_ILS/0/SD_ILS:1928072026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Broy, Manfred. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14901-6">http://dx.doi.org/10.1007/978-3-642-14901-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Systems, Software and Services Process Improvement 17th European Conference, EuroSPI 2010, Grenoble, France, September 1-3, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1930452026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Riel, Andreas. editor. O’Connor, Rory. editor. Tichkiewitch, Serge. editor. Messnarz, Richard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15666-3">http://dx.doi.org/10.1007/978-3-642-15666-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Lean Enterprise Software and Systems First International Conference, LESS 2010, Helsinki, Finland, October 17-20, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1932872026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Abrahamsson, Pekka. editor. Oza, Nilay. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16416-3">http://dx.doi.org/10.1007/978-3-642-16416-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Testing Software and Systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1933402026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Petrenko, Alexandre. editor. Simão, Adenilso. editor. Maldonado, José Carlos. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16573-3">http://dx.doi.org/10.1007/978-3-642-16573-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Engineering Secure Software and Systems First International Symposium ESSoS 2009, Leuven, Belgium, February 4-6, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1896102026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Massacci, Fabio. editor. Redwine, Samuel T. 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-00199-4">http://dx.doi.org/10.1007/978-3-642-00199-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Architectures for Adaptive Software Systems 5th International Conference on the Quality of Software Architectures, QoSA 2009, East Stroudsburg, PA, USA, June 24-26, 2009 Proceedingsent://SD_ILS/0/SD_ILS:1902972026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Mirandola, Raffaela. editor. Gorton, Ian. editor. Hofmeister, Christine. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02351-4">http://dx.doi.org/10.1007/978-3-642-02351-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1897392026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Castagna, Giuseppe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00590-9">http://dx.doi.org/10.1007/978-3-642-00590-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1897942026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Kowalewski, Stefan. editor. Philippou, Anna. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00768-2">http://dx.doi.org/10.1007/978-3-642-00768-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods for Web Services 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lecturesent://SD_ILS/0/SD_ILS:1901632026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Bernardo, Marco. editor. Padovani, Luca. 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-642-01918-0">http://dx.doi.org/10.1007/978-3-642-01918-0</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-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor 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 Communication Systems 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1911342026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Núñez, Manuel. editor. Baker, Paul. editor. Merayo, Mercedes G. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-05031-2">http://dx.doi.org/10.1007/978-3-642-05031-2</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-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor 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-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor 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 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-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor 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-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor 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/>Innovations and Advanced Techniques in Systems, Computing Sciences and Software Engineeringent://SD_ILS/0/SD_ILS:1703012026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Elleithy, Khaled. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-8735-6">http://dx.doi.org/10.1007/978-1-4020-8735-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>High Confidence Software Reuse in Large Systems 10th International Conference on Software Reuse, ICSR 2008, Beijing, China, May 25-29, 2008 Proceedingsent://SD_ILS/0/SD_ILS:1853412026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Mei, Hong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68073-4">http://dx.doi.org/10.1007/978-3-540-68073-4</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-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor 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/>Programming Languages and Systems 17th European Symposium on Programming, ESOP 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:1882262026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Drossopoulou, Sophia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78739-6">http://dx.doi.org/10.1007/978-3-540-78739-6</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-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor 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/>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-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor 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/>Embedded Software and Systems Third International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1866192026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor 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/>Software Engineering for Multi-Agent Systems V Research Issues and Practical Applicationsent://SD_ILS/0/SD_ILS:1867532026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor 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/>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-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor 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-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor 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/>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-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor 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/>Cognitive Radio, Software Defined Radio, and Adaptive Wireless Systemsent://SD_ILS/0/SD_ILS:1695142026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Arslan, Hüseyin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-5542-3">http://dx.doi.org/10.1007/978-1-4020-5542-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1862442026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Nicola, Rocco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71316-6">http://dx.doi.org/10.1007/978-3-540-71316-6</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-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor 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/>Programming Languages and Systems 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1836172026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Sestoft, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11693024">http://dx.doi.org/10.1007/11693024</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-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor 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/>Software Engineering Techniques Applied to Agricultural Systems An Object-Oriented and UML Approachent://SD_ILS/0/SD_ILS:1654822026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Papajorgji, Petraq J. author. Pardalos, Panos M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-28171-1">http://dx.doi.org/10.1007/0-387-28171-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Open Source Systems IFIP Working Group 2.13 Foundation on Open Source Software, June 8–10, 2006, Como, Italyent://SD_ILS/0/SD_ILS:1660142026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Damiani, Ernesto. editor. Fitzgerald, Brian. editor. Scacchi, Walt. editor. Scotto, Marco. editor. Succi, Giancarlo. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-34226-5">http://dx.doi.org/10.1007/0-387-34226-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Engineering 2 Specification of Systems and Languagesent://SD_ILS/0/SD_ILS:1836562026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Bjørner, Dines. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-33193-3">http://dx.doi.org/10.1007/978-3-540-33193-3</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-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor 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/>Object-Oriented Metrics in Practice Using Software Metrics to Characterize, Evaluate, and Improve the Design of Object-Oriented Systemsent://SD_ILS/0/SD_ILS:1847352026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Lanza, Michele. author. Marinescu, Radu. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-39538-5">http://dx.doi.org/10.1007/3-540-39538-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Dependable Systems: Software, Computing, Networks Research Results of the DICS Programent://SD_ILS/0/SD_ILS:1844432026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Kohlas, Jürg. editor. Meyer, Bertrand. editor. Schiper, André. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11808107">http://dx.doi.org/10.1007/11808107</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>COTS-Based Software Systems 4th International Conference, ICCBSS 2005, Bilbao, Spain, February 7-11, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1823842026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Franch, Xavier. editor. Port, Daniel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b105900">http://dx.doi.org/10.1007/b105900</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Component-Based Software Development for Embedded Systems An Overview of Current Research Trendsent://SD_ILS/0/SD_ILS:1827812026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Atkinson, Colin. editor. Bunse, Christian. editor. Gross, Hans-Gerhard. editor. Peper, Christian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11591962">http://dx.doi.org/10.1007/11591962</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-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor 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/>Embedded Software and Systems First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:1829092026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor 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-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor 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/>Formal Methods in Software and Systems Modeling Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:1829332026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Kreowski, Hans-Jörg. editor. Montanari, Ugo. editor. Orejas, Fernando. editor. Rozenberg, Grzegorz. editor. Taentzer, Gabriele. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106390">http://dx.doi.org/10.1007/b106390</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-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor 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/>Programming Languages and Systems 14th European Symposium on Programming, ESOP 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:1830582026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Sagiv, Mooly. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b107380">http://dx.doi.org/10.1007/b107380</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-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor 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/>Engineering Theories of Software Intensive Systems Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004ent://SD_ILS/0/SD_ILS:1689202026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Broy, Manfred. editor. Grünbauer, Johannes. editor. Harel, David. editor. Hoare, Tony. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-3532-2">http://dx.doi.org/10.1007/1-4020-3532-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>System-level Test and Validation of Hardware/Software Systemsent://SD_ILS/0/SD_ILS:1752722026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Sonza Reorda, Matteo. editor. Peng, Zebo. editor. Violante, Massimo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-84628-145-8">http://dx.doi.org/10.1007/1-84628-145-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Semantic Web: Concepts, Technologies and Applicationsent://SD_ILS/0/SD_ILS:1755212026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Breitman, Karin Koogan. author. Casanova, Marco Antonio. author. Truszkowski, Walter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84628-710-7">http://dx.doi.org/10.1007/978-1-84628-710-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Agent Technology from a Formal Perspectiveent://SD_ILS/0/SD_ILS:1753552026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Rouff, Christopher A. editor. Hinchey, Michael. editor. Rash, James. editor. Truszkowski, Walter. editor. Gordon-Spears, Diana. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-84628-271-3">http://dx.doi.org/10.1007/1-84628-271-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Aligning Organizations Through Measurement The GQM+Strategies Approachent://SD_ILS/0/SD_ILS:4854712026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Basili, Victor. author. Trendowicz, Adam. author. Kowalczyk, Martin. author. Heidrich, Jens. author. Seaman, Carolyn. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-05047-8">https://doi.org/10.1007/978-3-319-05047-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Cost Estimation, Benchmarking, and Risk Assessment The Software Decision-Makers' Guide to Predictable Software Developmentent://SD_ILS/0/SD_ILS:3333582026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Trendowicz, Adam. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333358.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30764-5">http://dx.doi.org/10.1007/978-3-642-30764-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Process Definition and Managementent://SD_ILS/0/SD_ILS:1955922026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Münch, Jürgen. author. Armbrust, Ove. author. Kowalczyk, Martin. author. Soto, Martín. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24291-5">http://dx.doi.org/10.1007/978-3-642-24291-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Enterprise Information Systems 19th International Conference, ICEIS 2017, Porto, Portugal, April 26-29, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:4015462026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Hammoudi, Slimane. editor. Śmiałek, Michał. editor. Camp, Olivier. editor. Filipe, Joaquim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-93375-7">https://doi.org/10.1007/978-3-319-93375-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Agents and Artificial Intelligence 9th International Conference, ICAART 2017, Porto, Portugal, February 24–26, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:3992102026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor van den Herik, Jaap. editor. Rocha, Ana Paula. editor. Filipe, Joaquim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-93581-2">https://doi.org/10.1007/978-3-319-93581-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Product Lifecycle Management to Support Industry 4.0 15th IFIP WG 5.1 International Conference, PLM 2018, Turin, Italy, July 2-4, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3999562026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Chiabert, Paolo. editor. Bouras, Abdelaziz. editor. Noël, Frédéric. editor. Ríos, José. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-01614-2">https://doi.org/10.1007/978-3-030-01614-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Soft Computing in Computer and Information Scienceent://SD_ILS/0/SD_ILS:5294152026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Wiliński, Antoni. editor. Fray, Imed El. editor. Pejaś, Jerzy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-15147-2">https://doi.org/10.1007/978-3-319-15147-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Encyclopedia of Computational Neuroscienceent://SD_ILS/0/SD_ILS:5302842026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Jaeger, Dieter. editor. Jung, Ranu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4614-6675-8">https://doi.org/10.1007/978-1-4614-6675-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>User-Centred Engineering Creating Products for Humansent://SD_ILS/0/SD_ILS:4875802026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Richter, Michael. author. Flückiger, Markus. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-43989-0">https://doi.org/10.1007/978-3-662-43989-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3329212026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Hung, Dang. editor. Ogawa, Mizuhito. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332921.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-02444-8">http://dx.doi.org/10.1007/978-3-319-02444-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Concurrent Programming: Algorithms, Principles, and Foundations Algorithms, Principles, and Foundationsent://SD_ILS/0/SD_ILS:3335142026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Raynal, Michel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333514.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32027-9">http://dx.doi.org/10.1007/978-3-642-32027-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Industrial Deployment of System Engineering Methodsent://SD_ILS/0/SD_ILS:3336752026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Romanovsky, Alexander. editor. Thomas, Martyn. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333675.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33170-1">http://dx.doi.org/10.1007/978-3-642-33170-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studiesent://SD_ILS/0/SD_ILS:3336882026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Reisig, Wolfgang. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333688.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33278-4">http://dx.doi.org/10.1007/978-3-642-33278-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Job Scheduling Strategies for Parallel Processing 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012. Revised Selected Papersent://SD_ILS/0/SD_ILS:3340712026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Cirne, Walfredo. editor. Desai, Narayan. editor. Frachtenberg, Eitan. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334071.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35867-8">http://dx.doi.org/10.1007/978-3-642-35867-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papersent://SD_ILS/0/SD_ILS:3340772026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Beckert, Bernhard. editor. Damiani, Ferruccio. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334077.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35887-6">http://dx.doi.org/10.1007/978-3-642-35887-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Facing the Multicore-Challenge III Aspects of New Paradigms and Technologies in Parallel Computingent://SD_ILS/0/SD_ILS:3340792026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Keller, Rainer. editor. Kramer, David. editor. Weiss, Jan-Philipp. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334079.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35893-7">http://dx.doi.org/10.1007/978-3-642-35893-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papersent://SD_ILS/0/SD_ILS:3340962026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Lämmel, Ralf. editor. Saraiva, João. editor. Visser, Joost. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334096.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35992-7">http://dx.doi.org/10.1007/978-3-642-35992-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3345332026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Brat, Guillaume. editor. Rungta, Neha. editor. Venet, Arnaud. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334533.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38088-4">http://dx.doi.org/10.1007/978-3-642-38088-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Web Dynpro ABAP for Practitionersent://SD_ILS/0/SD_ILS:3345662026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Gellert, Ulrich. author. Cristea, Ana Daniela. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334566.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38247-5">http://dx.doi.org/10.1007/978-3-642-38247-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Safe and Secure Software Reuse 13th International Conference on Software Reuse, ICSR 2013, Pisa, June 18-20. Proceedingsent://SD_ILS/0/SD_ILS:3347062026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Favaro, John. editor. Morisio, Maurizio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334706.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38977-1">http://dx.doi.org/10.1007/978-3-642-38977-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Knowledge Science, Engineering and Management 6th International Conference, KSEM 2013, Dalian, China, August 10-12, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3348492026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Wang, Mingzheng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334849.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39787-5">http://dx.doi.org/10.1007/978-3-642-39787-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Scala Design Patterns Patterns for Practical Reuse and Designent://SD_ILS/0/SD_ILS:3329042026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Hunt, John. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332904.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-02192-8">http://dx.doi.org/10.1007/978-3-319-02192-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Autonomic Computing Principles, Design and Implementationent://SD_ILS/0/SD_ILS:3311152026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Lalanda, Philippe. author. McCann, Julie A. author. Diaconescu, Ada. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331115.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-5007-7">http://dx.doi.org/10.1007/978-1-4471-5007-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>An Introduction to Network Programming with Java Java 7 Compatibleent://SD_ILS/0/SD_ILS:3311802026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Graba, Jan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331180.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-5254-5">http://dx.doi.org/10.1007/978-1-4471-5254-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Systems Development Reflections, Challenges and New Directionsent://SD_ILS/0/SD_ILS:3316312026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Pooley, Rob. editor. Coady, Jennifer. editor. Schneider, Christoph. editor. Linger, Henry. editor. Barry, Chris. editor.<br/>Preferred Shelf Number ONLINE(331631.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-4951-5">http://dx.doi.org/10.1007/978-1-4614-4951-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Finding Source Code on the Web for Remix and Reuseent://SD_ILS/0/SD_ILS:3320712026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Sim, Susan Elliott. editor. Gallardo-Valencia, Rosalva E. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332071.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-6596-6">http://dx.doi.org/10.1007/978-1-4614-6596-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Concise Guide to Databases A Practical Introductionent://SD_ILS/0/SD_ILS:3312242026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Lake, Peter. author. Crowther, Paul. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331224.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-5601-7">http://dx.doi.org/10.1007/978-1-4471-5601-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Handbook of Neuroevolution Through Erlangent://SD_ILS/0/SD_ILS:3315122026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Sher, Gene I. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331512.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-4463-3">http://dx.doi.org/10.1007/978-1-4614-4463-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Sustainable Web Ecosystem Designent://SD_ILS/0/SD_ILS:3323312026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor O'Toole, Greg. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332331.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-7714-3">http://dx.doi.org/10.1007/978-1-4614-7714-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Introduction to Cryptography with Mapleent://SD_ILS/0/SD_ILS:3335332026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Gómez Pardo, José Luis. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333533.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32166-5">http://dx.doi.org/10.1007/978-3-642-32166-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Euro-Par 2012: Parallel Processing Workshops BDMC, CGWS, HeteroPar, HiBB, OMHI, Paraphrase, PROPER, Resilience, UCHPC, VHPC, Rhodes Islands, Greece, August 27-31, 2012. Revised Selected Papersent://SD_ILS/0/SD_ILS:3343282026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Caragiannis, Ioannis. editor. Alexander, Michael. editor. Badia, Rosa Maria. editor. Cannataro, Mario. editor. Costan, Alexandru. editor.<br/>Preferred Shelf Number ONLINE(334328.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36949-0">http://dx.doi.org/10.1007/978-3-642-36949-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Innovation and Future of Enterprise Information Systems ERP Future 2012 Conference, Salzburg, Austria, November 2012, Revised Papersent://SD_ILS/0/SD_ILS:3343442026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Piazolo, Felix. editor. Felderer, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334344.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37021-2">http://dx.doi.org/10.1007/978-3-642-37021-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Parallel Computing Technologies 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3348712026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Malyshkin, Victor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334871.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39958-9">http://dx.doi.org/10.1007/978-3-642-39958-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Innovative Technologies for Dependable OTS-Based Critical Systems Challenges and Achievements of the CRITICAL STEP Projectent://SD_ILS/0/SD_ILS:3355772026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Cotroneo, Domenico. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335577.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-88-470-2772-5">http://dx.doi.org/10.1007/978-88-470-2772-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software and Data Technologies 5th International Conference, ICSOFT 2010, Athens, Greece, July 22-24, 2010. Revised Selected Papersent://SD_ILS/0/SD_ILS:3332462026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Cordeiro, José. editor. Virvou, Maria. editor. Shishkov, Boris. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333246.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29578-2">http://dx.doi.org/10.1007/978-3-642-29578-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Engineering of Mixed Reality Systemsent://SD_ILS/0/SD_ILS:1760532026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Dubois, Emmanuel. editor. Gray, Philip. editor. Nigay, Laurence. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84882-733-2">http://dx.doi.org/10.1007/978-1-84882-733-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tabletops - Horizontal Interactive Displaysent://SD_ILS/0/SD_ILS:1761602026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Müller-Tomfelde, Christian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84996-113-4">http://dx.doi.org/10.1007/978-1-84996-113-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Pervasive Healthcare Computing EMR/EHR, Wireless and Health Monitoringent://SD_ILS/0/SD_ILS:1718992026-03-06T03:27:06Z2026-03-06T03:27:06ZAuthor Varshney, Upkar. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-0215-3">http://dx.doi.org/10.1007/978-1-4419-0215-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>