Search Results for Software engineering. - Narrowed by: Computer science. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSoftware$002bengineering.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026ic$003dtrue$0026ps$003d300$0026isd$003dtrue? 2024-11-14T10:53:06Z Continuous Software Engineering ent://SD_ILS/0/SD_ILS:487296 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Bosch, Jan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11283-1">https://doi.org/10.1007/978-3-319-11283-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Collaborative Software Engineering ent://SD_ILS/0/SD_ILS:191326 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Mistr&iacute;k, Ivan. editor.&#160;Grundy, John. editor.&#160;Hoek, Andr&eacute;. editor.&#160;Whitehead, Jim. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-10294-3">http://dx.doi.org/10.1007/978-3-642-10294-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agile Software Engineering ent://SD_ILS/0/SD_ILS:175757 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Hazzan, Orit. author.&#160;Dubinsky, Yael. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84800-198-5">http://dx.doi.org/10.1007/978-1-84800-198-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Handbook of Software Engineering ent://SD_ILS/0/SD_ILS:484024 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Cha, Sungdeok. editor.&#160;Taylor, Richard N. editor.&#160;Kang, Kyochul. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00262-6">https://doi.org/10.1007/978-3-030-00262-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Experimentation in Software Engineering ent://SD_ILS/0/SD_ILS:196596 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Wohlin, Claes. author.&#160;Runeson, Per. author.&#160;H&ouml;st, Martin. author.&#160;Ohlsson, Magnus C. author.&#160;Regnell, Bj&ouml;rn. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29044-2">http://dx.doi.org/10.1007/978-3-642-29044-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Value-Based Software Engineering ent://SD_ILS/0/SD_ILS:181971 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Biffl, Stefan. editor.&#160;Aurum, Ayb&uuml;ke. editor.&#160;Boehm, Barry. editor.&#160;Erdogmus, Hakan. editor.&#160;Gr&uuml;nbacher, Paul. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/3-540-29263-2">http://dx.doi.org/10.1007/3-540-29263-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rationale-Based Software Engineering ent://SD_ILS/0/SD_ILS:187921 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Burge, Janet E. author.&#160;Carroll, John M. author.&#160;McCall, Raymond. author.&#160;Mistrik, Ivan. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-77583-6">http://dx.doi.org/10.1007/978-3-540-77583-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Categories for Software Engineering ent://SD_ILS/0/SD_ILS:181067 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Fiadeiro, Jos&eacute; Luiz. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b138249">http://dx.doi.org/10.1007/b138249</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recommendation Systems in Software Engineering ent://SD_ILS/0/SD_ILS:488256 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Robillard, Martin P. editor.&#160;Maalej, Walid. editor.&#160;Walker, Robert J. editor.&#160;Zimmermann, Thomas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering: A Hands-On Approach ent://SD_ILS/0/SD_ILS:336486 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Lee, Roger Y. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(336486.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.2991/978-94-6239-006-5">http://dx.doi.org/10.2991/978-94-6239-006-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Projektorganisation und Management im Software Engineering ent://SD_ILS/0/SD_ILS:336947 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Broy, Manfred. author.&#160;Kuhrmann, Marco. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(336947.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29290-3">http://dx.doi.org/10.1007/978-3-642-29290-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Future of Software Engineering ent://SD_ILS/0/SD_ILS:192889 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Nanz, Sebastian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15187-3">http://dx.doi.org/10.1007/978-3-642-15187-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering for Self-Adaptive Systems ent://SD_ILS/0/SD_ILS:190235 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Cheng, Betty H. C. editor.&#160;Lemos, Rog&eacute;rio. editor.&#160;Giese, Holger. editor.&#160;Inverardi, Paola. editor.&#160;Magee, Jeff. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Guide to Advanced Empirical Software Engineering ent://SD_ILS/0/SD_ILS:175684 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Shull, Forrest. editor.&#160;Singer, Janice. editor.&#160;Sj&oslash;berg, Dag I. K. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84800-044-5">http://dx.doi.org/10.1007/978-1-84800-044-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A Concise Introduction to Software Engineering ent://SD_ILS/0/SD_ILS:175804 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Jalote, Pankaj. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84800-302-6">http://dx.doi.org/10.1007/978-1-84800-302-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering Techniques: Design for Quality ent://SD_ILS/0/SD_ILS:166267 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Sacha, Krzysztof. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-39388-9">http://dx.doi.org/10.1007/978-0-387-39388-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rationale Management in Software Engineering ent://SD_ILS/0/SD_ILS:182501 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Dutoit, Allen H. editor.&#160;McCall, Raymond. editor.&#160;Mistr&iacute;k, Ivan. editor.&#160;Paech, Barbara. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-30998-7">http://dx.doi.org/10.1007/978-3-540-30998-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering 1 Abstraction and Modelling ent://SD_ILS/0/SD_ILS:182582 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Bj&oslash;rner, Dines. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/3-540-31288-9">http://dx.doi.org/10.1007/3-540-31288-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering and Managing Software Requirements ent://SD_ILS/0/SD_ILS:181690 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Aurum, Ayb&uuml;ke. editor.&#160;Wohlin, Claes. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/3-540-28244-0">http://dx.doi.org/10.1007/3-540-28244-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> An Integrated Approach to Software Engineering ent://SD_ILS/0/SD_ILS:165473 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Jalote, Pankaj. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/0-387-28132-0">http://dx.doi.org/10.1007/0-387-28132-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399356 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Sun, Jing. editor.&#160;Sun, Meng. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-02450-5">https://doi.org/10.1007/978-3-030-02450-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering and Formal Methods SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:402522 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Cerone, Antonio. editor. (orcid)0000-0003-2691-5279&#160;Roveri, Marco. editor. (orcid)0000-0001-9483-3940&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-74781-1">https://doi.org/10.1007/978-3-319-74781-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Dependable Software Engineering. Theories, Tools, and Applications 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399485 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Feng, Xinyu. editor.&#160;M&uuml;ller-Olm, Markus. editor.&#160;Yang, Zijiang. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-99933-3">https://doi.org/10.1007/978-3-319-99933-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Trustworthy Software Systems Third International School, SETSS 2017, Chongqing, China, April 17&ndash;22, 2017, Tutorial Lectures ent://SD_ILS/0/SD_ILS:400263 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140&#160;Liu, Zhiming. editor. (orcid)0000-0001-9771-3071&#160;Zhang, Zili. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Requirements Engineering: Foundation for Software Quality 24th International Working Conference, REFSQ 2018, Utrecht, The Netherlands, March 19-22, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401978 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Kamsties, Erik. editor. (orcid)0000-0002-7373-8466&#160;Horkoff, Jennifer. editor. (orcid)0000-0002-2019-5277&#160;Dalpiaz, Fabiano. editor. (orcid)0000-0003-4480-3887&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-77243-1">https://doi.org/10.1007/978-3-319-77243-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Language Engineering 7th International Conference, SLE 2014, V&auml;ster&aring;s, Sweden, September 15-16, 2014. Proceedings ent://SD_ILS/0/SD_ILS:486822 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Combemale, Benoit. editor.&#160;Pearce, David. editor.&#160;Barais, Olivier. editor.&#160;Vinju, Jurgen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11245-9">https://doi.org/10.1007/978-3-319-11245-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering for Resilient Systems 6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014. Proceedings ent://SD_ILS/0/SD_ILS:486915 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Majzik, Istv&aacute;n. editor.&#160;Vieira, Marco. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Requirements Engineering: Foundation for Software Quality 20th International Working Conference, REFSQ 2014, Essen, Germany, April 7-10, 2014, Proceedings ent://SD_ILS/0/SD_ILS:489124 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Salinesi, Camille. editor.&#160;van de Weerd, Inge. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-05843-6">https://doi.org/10.1007/978-3-319-05843-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Usability Engineering kompakt Benutzbare Software gezielt entwickeln ent://SD_ILS/0/SD_ILS:198738 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Richter, Michael. author.&#160;Fl&uuml;ckiger, Markus D. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-8274-2329-0">http://dx.doi.org/10.1007/978-3-8274-2329-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Innovations in Computing Sciences and Software Engineering ent://SD_ILS/0/SD_ILS:205401 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Sobh, Tarek. editor.&#160;Elleithy, Khaled. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-90-481-9112-3">http://dx.doi.org/10.1007/978-90-481-9112-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Experience and Knowledge Management in Software Engineering ent://SD_ILS/0/SD_ILS:189551 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Schneider, Kurt. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-95880-2">http://dx.doi.org/10.1007/978-3-540-95880-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ontologies for Software Engineering and Software Technology ent://SD_ILS/0/SD_ILS:184091 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Calero, Coral. editor.&#160;Ruiz, Francisco. editor.&#160;Piattini, Mario. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/3-540-34518-3">http://dx.doi.org/10.1007/3-540-34518-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agile Processes in Software Engineering and Extreme Programming &ndash; Workshops XP 2019 Workshops, Montr&eacute;al, QC, Canada, May 21&ndash;25, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486129 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Hoda, Rashina. editor. (orcid)0000-0001-5147-8096&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-30126-2">https://doi.org/10.1007/978-3-030-30126-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agile Processes in Software Engineering and Extreme Programming 20th International Conference, XP 2019, Montr&eacute;al, QC, Canada, May 21&ndash;25, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483601 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Kruchten, Philippe. editor. (orcid)0000-0003-1359-4867&#160;Fraser, Steven. editor. (orcid)0000-0002-3958-6585&#160;Coallier, Fran&ccedil;ois. editor. (orcid)0000-0002-2730-2469&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-19034-7">https://doi.org/10.1007/978-3-030-19034-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering and Methodology for Emerging Domains 16th National Conference, NASAC 2017, Harbin, China, November 4&ndash;5, 2017, and 17th National Conference, NASAC 2018, Shenzhen, China, November 23&ndash;25, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486017 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Li, Zheng. editor. (orcid)0000-0002-3938-7033&#160;Jiang, He. editor. (orcid)0000-0001-8674-4948&#160;Li, Ge. editor.&#160;Zhou, Minghui. editor.&#160;Li, Ming. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-15-0310-8">https://doi.org/10.1007/978-981-15-0310-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Quality: The Complexity and Challenges of Software Engineering and Software Quality in the Cloud 11th International Conference, SWQD 2019, Vienna, Austria, January 15&ndash;18, 2019, Proceedings ent://SD_ILS/0/SD_ILS:482658 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Winkler, Dietmar. editor. (orcid)0000-0002-4743-3124&#160;Biffl, Stefan. editor. (orcid)0000-0002-3413-7780&#160;Bergsmann, Johannes. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-05767-1">https://doi.org/10.1007/978-3-030-05767-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering and Formal Methods 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27&ndash;29, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399218 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Johnsen, Einar Broch. editor.&#160;Schaefer, Ina. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-92970-5">https://doi.org/10.1007/978-3-319-92970-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Human Factors, Software, and Systems Engineering Proceedings of the AHFE 2017 International Conference on Human Factors, Software, and Systems Engineering, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA ent://SD_ILS/0/SD_ILS:402341 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Ahram, Tareq. editor.&#160;Karwowski, Waldemar. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Current Trends in Web Engineering ICWE 2017 International Workshops, Liquid Multi-Device Software and EnWoT, practi-O-web, NLPIT, SoWeMine, Rome, Italy, June 5-8, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400011 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Garrig&oacute;s, Irene. editor.&#160;Wimmer, Manuel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-74433-9">https://doi.org/10.1007/978-3-319-74433-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamental Approaches to Software Engineering 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400129 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Russo, Alessandra. editor. (orcid)0000-0002-3318-8711&#160;Sch&uuml;rr, Andy. editor. (orcid)0000-0001-8100-1109&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-89363-1">https://doi.org/10.1007/978-3-319-89363-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model-Driven Engineering and Software Development 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400495 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Pires, Lu&iacute;s Ferreira. editor.&#160;Hammoudi, Slimane. editor.&#160;Selic, Bran. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-94764-8">https://doi.org/10.1007/978-3-319-94764-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evaluation of Novel Approaches to Software Engineering 12th International Conference, ENASE 2017, Porto, Portugal, April 28&ndash;29, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:401995 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Damiani, Ernesto. editor.&#160;Spanoudakis, George. editor.&#160;Maciaszek, Leszek. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-94135-6">https://doi.org/10.1007/978-3-319-94135-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Modelling for Archaeology and Anthropology Software Engineering Principles for Cultural Heritage ent://SD_ILS/0/SD_ILS:399464 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Gonzalez-Perez, Cesar. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-72652-6">https://doi.org/10.1007/978-3-319-72652-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agile Processes in Software Engineering and Extreme Programming 15th International Conference, XP 2014, Rome, Italy, May 26-30, 2014, Proceedings ent://SD_ILS/0/SD_ILS:488454 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Cantone, Giovanni. editor.&#160;Marchesi, Michele. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-06862-6">https://doi.org/10.1007/978-3-319-06862-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Knowledge-Based Software Engineering 11th Joint Conference, JCKBSE 2014, Volgograd, Russia, September 17-20, 2014. Proceedings ent://SD_ILS/0/SD_ILS:485742 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Kravets, Alla. editor. (orcid)0000-0003-1675-8652&#160;Shcherbakov, Maxim. editor. (orcid)0000-0001-7173-4499&#160;Kultsova, Marina. editor. (orcid)0000-0002-2584-431X&#160;Iijima, Tadashi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11854-3">https://doi.org/10.1007/978-3-319-11854-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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, Proceedings ent://SD_ILS/0/SD_ILS:489167 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Winkler, Dietmar. editor. (orcid)0000-0002-4743-3124&#160;Biffl, Stefan. editor. (orcid)0000-0002-3413-7780&#160;Bergsmann, Johannes. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Requirements Engineering and Management for Software Development Projects ent://SD_ILS/0/SD_ILS:331756 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Chemuturi, Murali. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331756.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-5377-2">http://dx.doi.org/10.1007/978-1-4614-5377-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Language Engineering 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings ent://SD_ILS/0/SD_ILS:332934 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Erwig, Martin. editor.&#160;Paige, Richard F. editor.&#160;Wyk, Eric. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332934.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-02654-1">http://dx.doi.org/10.1007/978-3-319-02654-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evaluation of Novel Approaches to Software Engineering 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers ent://SD_ILS/0/SD_ILS:333558 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Maciaszek, Leszek A. editor.&#160;Zhang, Kang. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333558.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers ent://SD_ILS/0/SD_ILS:334096 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;L&auml;mmel, Ralf. editor.&#160;Saraiva, Jo&atilde;o. editor.&#160;Visser, Joost. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334096.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering International Summer Schools, ISSSE 2009-2011, Salerno, Italy. Revised Tutorial Lectures ent://SD_ILS/0/SD_ILS:334109 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Lucia, Andrea. editor.&#160;Ferrucci, Filomena. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334109.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36054-1">http://dx.doi.org/10.1007/978-3-642-36054-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334120 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Czarnecki, Krzysztof. editor.&#160;Hedin, G&ouml;rel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334120.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36089-3">http://dx.doi.org/10.1007/978-3-642-36089-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Perspectives on the Future of Software Engineering Essays in Honor of Dieter Rombach ent://SD_ILS/0/SD_ILS:334419 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;M&uuml;nch, J&uuml;rgen. editor.&#160;Schmid, Klaus. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334419.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37395-4">http://dx.doi.org/10.1007/978-3-642-37395-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Requirements Engineering: Foundation for Software Quality 19th International Working Conference, REFSQ 2013, Essen, Germany, April 8-11, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334426 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Doerr, Joerg. editor.&#160;Opdahl, Andreas L. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334426.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37422-7">http://dx.doi.org/10.1007/978-3-642-37422-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agile Processes in Software Engineering and Extreme Programming 14th International Conference, XP 2013, Vienna, Austria, June 3-7, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334579 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Baumeister, Hubert. editor.&#160;Weber, Barbara. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334579.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38314-4">http://dx.doi.org/10.1007/978-3-642-38314-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures ent://SD_ILS/0/SD_ILS:334841 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Liu, Zhiming. editor.&#160;Woodcock, Jim. editor.&#160;Zhu, Huibiao. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334841.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39721-9">http://dx.doi.org/10.1007/978-3-642-39721-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Search Based Software Engineering 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334844 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Ruhe, G&uuml;nther. editor.&#160;Zhang, Yuanyuan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334844.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39742-4">http://dx.doi.org/10.1007/978-3-642-39742-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamentals of Software Engineering 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334911 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Arbab, Farhad. editor.&#160;Sirjani, Marjan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334911.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40213-5">http://dx.doi.org/10.1007/978-3-642-40213-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334968 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Hierons, Robert M. editor.&#160;Merayo, Mercedes G. editor.&#160;Bravetti, Mario. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334968.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering for Resilient Systems 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335024 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Gorbenko, Anatoliy. editor.&#160;Romanovsky, Alexander. editor.&#160;Kharchenko, Vyacheslav. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335024.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering Frameworks for the Cloud Computing Paradigm ent://SD_ILS/0/SD_ILS:331122 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Mahmood, Zaigham. editor.&#160;Saeed, Saqib. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331122.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamental Approaches to Software Engineering 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334354 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Cortellessa, Vittorio. editor.&#160;Varr&oacute;, D&aacute;niel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334354.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37057-1">http://dx.doi.org/10.1007/978-3-642-37057-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evaluation of Novel Approaches to Software Engineering 7th International Conference, ENASE 2012, Warsaw, Poland, June 29-30, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:335217 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Maciaszek, Leszek A. editor.&#160;Filipe, Joaquim. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335217.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-45422-6">http://dx.doi.org/10.1007/978-3-642-45422-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evaluation of Novel Approaches to Software Engineering 8th International Conference, ENASE 2013, Angers, France, July 4-6, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:335227 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Filipe, Joaquim. editor.&#160;Maciaszek, Leszek A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335227.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-54092-9">http://dx.doi.org/10.1007/978-3-642-54092-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Proceedings of the 2012 International Conference on Information Technology and Software Engineering Information Technology &amp; Computing Intelligence ent://SD_ILS/0/SD_ILS:333859 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Lu, Wei. editor.&#160;Cai, Guoqiang. editor.&#160;Liu, Weibin. editor.&#160;Xing, Weiwei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333859.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34522-7">http://dx.doi.org/10.1007/978-3-642-34522-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Proceedings of the 2012 International Conference on Information Technology and Software Engineering Information Technology ent://SD_ILS/0/SD_ILS:333860 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Lu, Wei. editor.&#160;Cai, Guoqiang. editor.&#160;Liu, Weibin. editor.&#160;Xing, Weiwei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333860.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34528-9">http://dx.doi.org/10.1007/978-3-642-34528-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Proceedings of the 2012 International Conference on Information Technology and Software Engineering Software Engineering &amp; Digital Media Technology ent://SD_ILS/0/SD_ILS:333861 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Lu, Wei. editor.&#160;Cai, Guoqiang. editor.&#160;Liu, Weibin. editor.&#160;Xing, Weiwei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333861.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34531-9">http://dx.doi.org/10.1007/978-3-642-34531-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Secure Software and Systems 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334236 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;J&uuml;rjens, Jan. editor.&#160;Livshits, Benjamin. editor.&#160;Scandariato, Riccardo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334236.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers ent://SD_ILS/0/SD_ILS:334055 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Lemos, Rog&eacute;rio. editor.&#160;Giese, Holger. editor.&#160;M&uuml;ller, Hausi A. editor.&#160;Shaw, Mary. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334055.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agent-Oriented Software Engineering XIII 13th International Workshop, AOSE 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334859 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;M&uuml;ller, J&ouml;rg P. editor.&#160;Cossentino, Massimo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334859.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39866-7">http://dx.doi.org/10.1007/978-3-642-39866-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multicore Software Engineering, Performance, and Tools International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334870 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Louren&ccedil;o, Jo&atilde;o M. editor.&#160;Farchi, Eitan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334870.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39955-8">http://dx.doi.org/10.1007/978-3-642-39955-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 &ndash; November 1, 2013, Proceedings ent://SD_ILS/0/SD_ILS:335072 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Groves, Lindsay. editor.&#160;Sun, Jing. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335072.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Grundkurs Software-Engineering mit UML Der pragmatische Weg zu erfolgreichen Softwareprojekten ent://SD_ILS/0/SD_ILS:337559 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Kleuker, Stephan. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(337559.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-658-00642-6">http://dx.doi.org/10.1007/978-3-658-00642-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering for Resilient Systems 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197330 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Avgeriou, Paris. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering and Formal Methods 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197437 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Eleftherakis, George. editor.&#160;Hinchey, Mike. editor.&#160;Holcombe, Mike. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer, network, software, and hardware engineering with applications ent://SD_ILS/0/SD_ILS:249355 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Schneidewind, Norman.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;IEEEXplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6168884">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6168884</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Empirical Software Engineering and Verification International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures ent://SD_ILS/0/SD_ILS:195885 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Meyer, Bertrand. editor.&#160;Nordio, Martin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-25231-0">http://dx.doi.org/10.1007/978-3-642-25231-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Requirements Engineering: Foundation for Software Quality 18th International Working Conference, REFSQ 2012, Essen, Germany, March 19-22, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196517 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Regnell, Bj&ouml;rn. editor.&#160;Damian, Daniela. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Language Engineering 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196547 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Sloane, Anthony. editor.&#160;A&szlig;mann, Uwe. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28830-2">http://dx.doi.org/10.1007/978-3-642-28830-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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. Proceedings ent://SD_ILS/0/SD_ILS:196554 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Lara, Juan. editor.&#160;Zisman, Andrea. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamentals of Software Engineering 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196668 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Arbab, Farhad. editor.&#160;Sirjani, Marjan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29320-7">http://dx.doi.org/10.1007/978-3-642-29320-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Models in Software Engineering Workshops and Symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised Selected Papers ent://SD_ILS/0/SD_ILS:196745 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Kienzle, J&ouml;rg. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29645-1">http://dx.doi.org/10.1007/978-3-642-29645-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Search Based Software Engineering 4th International Symposium, SSBSE 2012, Riva del Garda, Italy, September 28-30, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197321 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Fraser, Gordon. editor.&#160;Teixeira de Souza, Jerffeson. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33119-0">http://dx.doi.org/10.1007/978-3-642-33119-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods and Software Engineering 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197501 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Aoki, Toshiaki. editor.&#160;Taguchi, Kenji. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human-Centered Software Engineering 4th International Conference, HCSE 2012, Toulouse, France, October 29-31, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197508 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Winckler, Marco. editor.&#160;Forbrig, Peter. editor.&#160;Bernhaupt, Regina. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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. Proceedings ent://SD_ILS/0/SD_ILS:197587 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Kim, Tai-hoon. editor.&#160;Ramos, Carlos. editor.&#160;Kim, Haeng-kon. editor.&#160;Kiumi, Akingbehin. editor.&#160;Mohammed, Sabah. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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 Papers ent://SD_ILS/0/SD_ILS:196329 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Szmuc, Tomasz. editor.&#160;Szpyrka, Marcin. editor.&#160;Zendulka, Jaroslav. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Secure Software and Systems 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196370 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Barthe, Gilles. editor.&#160;Livshits, Benjamin. editor.&#160;Scandariato, Riccardo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agile Processes in Software Engineering and Extreme Programming 13th International Conference, XP 2012, Malm&ouml;, Sweden, May 21-25, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196863 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Wohlin, Claes. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30350-0">http://dx.doi.org/10.1007/978-3-642-30350-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Service and Application Engineering Essays Dedicated to Bernd Kr&auml;mer on the Occasion of His 65th Birthday ent://SD_ILS/0/SD_ILS:196973 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Heisel, Maritta. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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 Lectures ent://SD_ILS/0/SD_ILS:197000 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Bernardo, Marco. editor.&#160;Cortellessa, Vittorio. editor.&#160;Pierantonio, Alfonso. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multicore Software Engineering, Performance, and Tools International Conference, MSEPT 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197039 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Pankratius, Victor. editor.&#160;Philippsen, Michael. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31202-1">http://dx.doi.org/10.1007/978-3-642-31202-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Models in Software Engineering Workshops and Symposia at MODELS 2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected Papers ent://SD_ILS/0/SD_ILS:194627 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Dingel, Juergen. editor.&#160;Solberg, Arnor. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-21210-9">http://dx.doi.org/10.1007/978-3-642-21210-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering and Computer Systems Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part I ent://SD_ILS/0/SD_ILS:194936 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Mohamad Zain, Jasni. editor.&#160;Wan Mohd, Wan Maseri bt. editor.&#160;El-Qawasmeh, Eyas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering and Computer Systems Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part II ent://SD_ILS/0/SD_ILS:194943 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Zain, Jasni Mohamad. editor.&#160;Wan Mohd, Wan Maseri bt. editor.&#160;El-Qawasmeh, Eyas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering and Computer Systems Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part III ent://SD_ILS/0/SD_ILS:194947 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Zain, Jasni Mohamad. editor.&#160;Wan Mohd, Wan Maseri bt. editor.&#160;El-Qawasmeh, Eyas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agent-Oriented Software Engineering XI 11th International Workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:195090 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Weyns, Danny. editor.&#160;Gleizes, Marie-Pierre. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evaluation of Novel Approaches to Software Engineering 5th International Conference, ENASE 2010, Athens, Greece, July 22-24, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:195331 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Maciaszek, Leszek A. editor.&#160;Loucopoulos, Pericles. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Search Based Software Engineering Third International Symposium, SSBSE 2011, Szeged, Hungary, September 10-12, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195425 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Cohen, Myra B. editor.&#160;&Oacute; Cinn&eacute;ide, Mel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-23716-4">http://dx.doi.org/10.1007/978-3-642-23716-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods and Software Engineering 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195674 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Qin, Shengchao. editor.&#160;Qiu, Zongyan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Secure Software and Systems Third International Symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedings ent://SD_ILS/0/SD_ILS:193943 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Erlingsson, &Uacute;lfar. editor.&#160;Wieringa, Roel. editor.&#160;Zannone, Nicola. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agent-Oriented Software Engineering X 10th International Workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:193968 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Gleizes, Marie-Pierre. editor.&#160;Gomez-Sanz, Jorge J. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Requirements Engineering: Foundation for Software Quality 17th International Working Conference, REFSQ 2011, Essen, Germany, March 28-30, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194180 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Berry, Daniel. editor.&#160;Franch, Xavier. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Language Engineering Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:194045 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Malloy, Brian. editor.&#160;Staab, Steffen. editor.&#160;Brand, Mark. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-19440-5">http://dx.doi.org/10.1007/978-3-642-19440-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rigorous Software Engineering for Service-Oriented Systems Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing ent://SD_ILS/0/SD_ILS:194358 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Wirsing, Martin. editor.&#160;H&ouml;lzl, Matthias. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agile Processes in Software Engineering and Extreme Programming 12th International Conference, XP 2011, Madrid, Spain, May 10-13, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194450 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Sillitti, Alberto. editor.&#160;Hazzan, Orit. editor.&#160;Bache, Emily. editor.&#160;Albaladejo, Xavier. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-20677-1">http://dx.doi.org/10.1007/978-3-642-20677-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering Techniques Third IFIP TC 2 Central and East European Conference, CEE-SET 2008, Brno, Czech Republic, October 13-15, 2008, Revised Selected Papers ent://SD_ILS/0/SD_ILS:195009 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Huzar, Zbigniew. editor.&#160;Koci, Radek. editor.&#160;Meyer, Bertrand. editor.&#160;Walter, Bartosz. editor.&#160;Zendulka, Jaroslav. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-22386-0">http://dx.doi.org/10.1007/978-3-642-22386-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering for Resilient Systems Third International Workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195552 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Troubitsyna, Elena A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering and Formal Methods 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195716 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Barthe, Gilles. editor.&#160;Pardo, Alberto. editor.&#160;Schneider, Gerardo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Grundkurs Software-Engineering mit UML Der pragmatische Weg zu erfolgreichen Softwareprojekten ent://SD_ILS/0/SD_ILS:199914 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Kleuker, Stephan. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-8348-9843-2">http://dx.doi.org/10.1007/978-3-8348-9843-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering of Software The Continuing Contributions of Leon J. Osterweil ent://SD_ILS/0/SD_ILS:194168 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Tarr, Peri L. editor.&#160;Wolf, Alexander L. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-19823-6">http://dx.doi.org/10.1007/978-3-642-19823-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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. Proceedings ent://SD_ILS/0/SD_ILS:196127 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Kim, Tai-hoon. editor.&#160;Adeli, Hojjat. editor.&#160;Kim, Haeng-kon. editor.&#160;Kang, Heau-jo. editor.&#160;Kim, Kyung Jung. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Generative and Transformational Techniques in Software Engineering III International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009. Revised Papers ent://SD_ILS/0/SD_ILS:193780 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Fernandes, Jo&atilde;o M. editor.&#160;L&auml;mmel, Ralf. editor.&#160;Visser, Joost. editor.&#160;Saraiva, Jo&atilde;o. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-18023-1">http://dx.doi.org/10.1007/978-3-642-18023-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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&uuml;cken, Germany, March 26&ndash;April 3, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194164 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Giannakopoulou, Dimitra. editor.&#160;Orejas, Fernando. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Secure Software and Systems Second International Symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010. Proceedings ent://SD_ILS/0/SD_ILS:191790 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Massacci, Fabio. editor.&#160;Wallach, Dan. editor.&#160;Zannone, Nicola. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Language Engineering Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:191890 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Brand, Mark. editor.&#160;Ga&scaron;evi&#263;, Dragan. editor.&#160;Gray, Jeff. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-12107-4">http://dx.doi.org/10.1007/978-3-642-12107-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Models in Software Engineering Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers ent://SD_ILS/0/SD_ILS:191939 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Ghosh, Sudipto. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-12261-3">http://dx.doi.org/10.1007/978-3-642-12261-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering Approaches for Offshore and Outsourced Development 4th International Conference, SEAFOOD 2010, St. Petersburg, Russia, June 17-18, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192447 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Nordio, Martin. editor.&#160;Joseph, Mathai. editor.&#160;Meyer, Bertrand. editor.&#160;Terekhov, Andrey. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13784-6">http://dx.doi.org/10.1007/978-3-642-13784-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reasoning Web. Semantic Technologies for Software Engineering 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010. Tutorial Lectures ent://SD_ILS/0/SD_ILS:193003 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;A&szlig;mann, Uwe. editor.&#160;Bartho, Andreas. editor.&#160;Wende, Christian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human-Centred Software Engineering Third International Conference, HCSE 2010, Reykjavik, Iceland, October 14-15, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193312 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Bernhaupt, Regina. editor.&#160;Forbrig, Peter. editor.&#160;Gulliksen, Jan. editor.&#160;L&aacute;rusd&oacute;ttir, Marta. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods and Software Engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193452 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Dong, Jin Song. editor.&#160;Zhu, Huibiao. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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. Proceedings ent://SD_ILS/0/SD_ILS:193644 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Kim, Tai-hoon. editor.&#160;Kim, Haeng-Kon. editor.&#160;Khan, Muhammad Khurram. editor.&#160;Kiumi, Akingbehin. editor.&#160;Fang, Wai-chi. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Best Practice Software-Engineering Eine praxiserprobte Zusammenstellung von komponentenorientierten Konzepten, Methoden und Werkzeugen ent://SD_ILS/0/SD_ILS:198764 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Schatten, Alexander. author.&#160;Demolsky, Markus. author.&#160;Winkler, Dietmar. author.&#160;Biffl, Stefan. author.&#160;Gostischa-Franta, Erik. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-8274-2487-7">http://dx.doi.org/10.1007/978-3-8274-2487-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Lectures on Software Engineering LASER Summer School 2007/2008 ent://SD_ILS/0/SD_ILS:192186 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;M&uuml;ller, Peter. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agile Processes in Software Engineering and Extreme Programming 11th International Conference, XP 2010, Trondheim, Norway, June 1-4, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192203 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Sillitti, Alberto. editor.&#160;Martin, Angela. editor.&#160;Wang, Xiaofeng. editor.&#160;Whitworth, Elizabeth. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13054-0">http://dx.doi.org/10.1007/978-3-642-13054-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Component-Based Software Engineering 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192270 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Grunske, Lars. editor.&#160;Reussner, Ralf. editor.&#160;Plasil, Frantisek. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Requirements Engineering: Foundation for Software Quality 16th International Working Conference, REFSQ 2010, Essen, Germany, June 30&ndash;July 2, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192574 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Wieringa, Roel. editor.&#160;Persson, Anne. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Testing Techniques in Software Engineering Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures ent://SD_ILS/0/SD_ILS:192618 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Borba, Paulo. editor.&#160;Cavalcanti, Ana. editor.&#160;Sampaio, Augusto. editor.&#160;Woodcook, Jim. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14335-9">http://dx.doi.org/10.1007/978-3-642-14335-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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 Papers ent://SD_ILS/0/SD_ILS:192779 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Maciaszek, Leszek A. editor.&#160;Gonz&aacute;lez-P&eacute;rez, C&eacute;sar. editor.&#160;Jablonski, Stefan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamentals of Software Engineering Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:191743 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Arbab, Farhad. editor.&#160;Sirjani, Marjan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-11623-0">http://dx.doi.org/10.1007/978-3-642-11623-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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. Proceedings ent://SD_ILS/0/SD_ILS:191866 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Rosenblum, David S. editor.&#160;Taentzer, Gabriele. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Techniques in Computing Sciences and Software Engineering ent://SD_ILS/0/SD_ILS:205144 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Elleithy, Khaled. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-90-481-3660-5">http://dx.doi.org/10.1007/978-90-481-3660-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Foundations of Reuse and Domain Engineering 11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 27-30, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190872 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Edwards, Stephen H. editor.&#160;Kulczycki, Gregory. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04211-9">http://dx.doi.org/10.1007/978-3-642-04211-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Software Engineering International Conference, ASEA 2008, and Its Special Sessions, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers ent://SD_ILS/0/SD_ILS:191312 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Kim, Tai-hoon. editor.&#160;Fang, Wai-Chi. editor.&#160;Lee, Changhoon. editor.&#160;Arnett, Kirk P. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-10242-4">http://dx.doi.org/10.1007/978-3-642-10242-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods and Software Engineering 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings ent://SD_ILS/0/SD_ILS:191347 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Breitman, Karin. editor.&#160;Cavalcanti, Ana. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-10373-5">http://dx.doi.org/10.1007/978-3-642-10373-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Software Engineering International Conference on Advanced Software Engineering and Its Applications, ASEA 2009 Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings ent://SD_ILS/0/SD_ILS:191424 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;&#346;l&#281;zak, Dominik. editor.&#160;Kim, Tai-hoon. editor.&#160;Kiumi, Akingbehin. editor.&#160;Jiang, Tao. editor.&#160;Verner, June. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-10619-4">http://dx.doi.org/10.1007/978-3-642-10619-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agent-Oriented Software Engineering IX 9th International Workshop, AOSE 2008 Estoril, Portugal, May 12-13, 2008 Revised Selected Papers ent://SD_ILS/0/SD_ILS:189961 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Luck, Michael. editor.&#160;Gomez-Sanz, Jorge J. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Models in Software Engineering Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers ent://SD_ILS/0/SD_ILS:190073 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Chaudron, Michel R. V. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-01648-6">http://dx.doi.org/10.1007/978-3-642-01648-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agile Processes in Software Engineering and Extreme Programming 10th International Conference, XP 2009, Pula, Sardinia, Italy, May 25-29, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190142 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Abrahamsson, Pekka. editor.&#160;Marchesi, Michele. editor.&#160;Maurer, Frank. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-01853-4">http://dx.doi.org/10.1007/978-3-642-01853-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering Approaches for Offshore and Outsourced Development Second International Conference, SEAFOOD 2008, Zurich, Switzerland, July 2-3, 2008. Revised Papers ent://SD_ILS/0/SD_ILS:190143 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Berkling, Kay. editor.&#160;Joseph, Mathai. editor.&#160;Meyer, Bertrand. editor.&#160;Nordio, Martin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-01856-5">http://dx.doi.org/10.1007/978-3-642-01856-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering Approaches for Offshore and Outsourced Development Third International Conference, SEAFOOD 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190481 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Gotel, Olly. editor.&#160;Joseph, Mathai. editor.&#160;Meyer, Bertrand. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02987-5">http://dx.doi.org/10.1007/978-3-642-02987-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Language Engineering and Rigorous Software Development International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures ent://SD_ILS/0/SD_ILS:190535 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Bove, Ana. editor.&#160;Barbosa, Lu&iacute;s Soares. editor.&#160;Pardo, Alberto. editor.&#160;Pinto, Jorge Sousa. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-03153-3">http://dx.doi.org/10.1007/978-3-642-03153-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Aspect-Oriented Software Development VI Special Issue on Aspects and Model-Driven Engineering ent://SD_ILS/0/SD_ILS:190731 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Katz, Shmuel. editor.&#160;Ossher, Harold. editor.&#160;France, Robert. editor.&#160;J&eacute;z&eacute;quel, Jean-Marc. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-03764-1">http://dx.doi.org/10.1007/978-3-642-03764-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Grundkurs Software-Engineering mit UML Der pragmatische Weg zu erfolgreichen Softwareprojekten ent://SD_ILS/0/SD_ILS:199366 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Kleuker, Stephan. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-8348-9235-5">http://dx.doi.org/10.1007/978-3-8348-9235-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Adoption-centric Usability Engineering Systematic Deployment, Assessment and Improvement of Usability Methods in Software Engineering ent://SD_ILS/0/SD_ILS:175673 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Seffah, Ahmed. editor.&#160;Metzker, Eduard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84800-019-3">http://dx.doi.org/10.1007/978-1-84800-019-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human-Centered Software Engineering Software Engineering Models, Patterns and Architectures for HCI ent://SD_ILS/0/SD_ILS:175851 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Seffah, Ahmed. editor.&#160;Vanderdonckt, Jean. editor.&#160;Desmarais, Michel C. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84800-907-3">http://dx.doi.org/10.1007/978-1-84800-907-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering International Summer Schools, ISSSE 2006-2008, Salerno, Italy, Revised Tutorial Lectures ent://SD_ILS/0/SD_ILS:189554 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Lucia, Andrea. editor.&#160;Ferrucci, Filomena. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-95888-8">http://dx.doi.org/10.1007/978-3-540-95888-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Secure Software and Systems First International Symposium ESSoS 2009, Leuven, Belgium, February 4-6, 2009. Proceedings ent://SD_ILS/0/SD_ILS:189610 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Massacci, Fabio. editor.&#160;Redwine, Samuel T. editor.&#160;Zannone, Nicola. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Language Engineering First International Conference, SLE 2008, Toulouse, France, September 29-30, 2008. Revised Selected Papers ent://SD_ILS/0/SD_ILS:189684 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Ga&scaron;evi&#263;, Dragan. editor.&#160;L&auml;mmel, Ralf. editor.&#160;Wyk, Eric. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-00434-6">http://dx.doi.org/10.1007/978-3-642-00434-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamental Approaches to Software Engineering 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings ent://SD_ILS/0/SD_ILS:189740 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Chechik, Marsha. editor.&#160;Wirsing, Martin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-00593-0">http://dx.doi.org/10.1007/978-3-642-00593-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Requirements Engineering: Foundation for Software Quality 15th International Working Conference, REFSQ 2009 Amsterdam, The Netherlands, June 8-9, 2009 Proceedings ent://SD_ILS/0/SD_ILS:190200 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Glinz, Martin. editor.&#160;Heymans, Patrick. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02050-6">http://dx.doi.org/10.1007/978-3-642-02050-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Component-Based Software Engineering 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings ent://SD_ILS/0/SD_ILS:190314 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Lewis, Grace A. editor.&#160;Poernomo, Iman. editor.&#160;Hofmeister, Christine. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02414-6">http://dx.doi.org/10.1007/978-3-642-02414-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Requirements Engineering: Foundation for Software Quality 14th International Working Conference, REFSQ 2008 Montpellier, France, June 16-17, 2008 Proceedings ent://SD_ILS/0/SD_ILS:185700 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Paech, Barbara. editor.&#160;Rolland, Colette. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-69062-7">http://dx.doi.org/10.1007/978-3-540-69062-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Models in Software Engineering Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers ent://SD_ILS/0/SD_ILS:185702 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Giese, Holger. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-69073-3">http://dx.doi.org/10.1007/978-3-540-69073-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Balancing Agility and Formalism in Software Engineering Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007, Revised Selected Papers ent://SD_ILS/0/SD_ILS:188660 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Meyer, Bertrand. editor.&#160;Nawrocki, Jerzy R. editor.&#160;Walter, Bartosz. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-85279-7">http://dx.doi.org/10.1007/978-3-540-85279-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agile Processes in Software Engineering and Extreme Programming 9th International Conference, XP 2008, Limerick, Ireland, June 10-14, 2008. Proceedings ent://SD_ILS/0/SD_ILS:185424 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Abrahamsson, Pekka. editor.&#160;Baskerville, Richard. editor.&#160;Conboy, Kieran. editor.&#160;Fitzgerald, Brian. editor.&#160;Morgan, Lorraine. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-68255-4">http://dx.doi.org/10.1007/978-3-540-68255-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Innovations and Advanced Techniques in Systems, Computing Sciences and Software Engineering ent://SD_ILS/0/SD_ILS:170301 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Elleithy, Khaled. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods and Software Engineering 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings ent://SD_ILS/0/SD_ILS:189005 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Liu, Shaoying. editor.&#160;Maibaum, Tom. editor.&#160;Araki, Keijiro. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-88194-0">http://dx.doi.org/10.1007/978-3-540-88194-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Generative and Transformational Techniques in Software Engineering II International Summer School, GTTSE 2007, Braga, Portugal, July 2-7, 2007. Revised Papers ent://SD_ILS/0/SD_ILS:189093 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;L&auml;mmel, Ralf. editor.&#160;Visser, Joost. editor.&#160;Saraiva, Jo&atilde;o. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamental Approaches to Software Engineering 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188227 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Fiadeiro, Jos&eacute; Luiz. editor.&#160;Inverardi, Paola. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-78743-3">http://dx.doi.org/10.1007/978-3-540-78743-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agent-Oriented Software Engineering VIII 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers ent://SD_ILS/0/SD_ILS:188453 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Luck, Michael. editor.&#160;Padgham, Lin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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. Proceedings ent://SD_ILS/0/SD_ILS:188827 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Forbrig, Peter. editor.&#160;Patern&ograve;, Fabio. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Component-Based Software Engineering 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188936 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Chaudron, Michel R. V. editor.&#160;Szyperski, Clemens. editor.&#160;Reussner, Ralf. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-87891-9">http://dx.doi.org/10.1007/978-3-540-87891-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Software Engineering Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures ent://SD_ILS/0/SD_ILS:189331 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;B&ouml;rger, Egon. editor.&#160;Cisternino, Antonio. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-89762-0">http://dx.doi.org/10.1007/978-3-540-89762-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering for Multi-Agent Systems V Research Issues and Practical Applications ent://SD_ILS/0/SD_ILS:186753 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Choren, Ricardo. editor.&#160;Garcia, Alessandro. editor.&#160;Giese, Holger. editor.&#160;Leung, Ho-fung. editor.&#160;Lucena, Carlos. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods and Software Engineering 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings ent://SD_ILS/0/SD_ILS:187645 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Butler, Michael. editor.&#160;Hinchey, Michael G. editor.&#160;Larrondo-Petrie, Mar&iacute;a M. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-76650-6">http://dx.doi.org/10.1007/978-3-540-76650-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Models in Software Engineering Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers ent://SD_ILS/0/SD_ILS:185845 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;K&uuml;hne, Thomas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-69489-2">http://dx.doi.org/10.1007/978-3-540-69489-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agent-Oriented Software Engineering VII 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers ent://SD_ILS/0/SD_ILS:186111 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Padgham, Lin. editor.&#160;Zambonelli, Franco. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamental Approaches to Software Engineering 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings ent://SD_ILS/0/SD_ILS:186237 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Dwyer, Matthew B. editor.&#160;Lopes, Ant&oacute;nia. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-71289-3">http://dx.doi.org/10.1007/978-3-540-71289-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Empirical Software Engineering Issues. Critical Assessment and Future Directions International Workshop, Dagstuhl Castle, Germany, June 26-30, 2006. Revised Papers ent://SD_ILS/0/SD_ILS:186242 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Basili, Victor R. editor.&#160;Rombach, Dieter. editor.&#160;Schneider, Kurt. editor.&#160;Kitchenham, Barbara. editor.&#160;Pfahl, Dietmar. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-71301-2">http://dx.doi.org/10.1007/978-3-540-71301-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Product Lines in Action The Best Industrial Practice in Product Line Engineering ent://SD_ILS/0/SD_ILS:186280 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Linden, Frank. author.&#160;Schmid, Klaus. author.&#160;Rommes, Eelco. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-71437-8">http://dx.doi.org/10.1007/978-3-540-71437-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rapid Integration of Software Engineering Techniques Third International Workshop, RISE 2006, Geneva, Switzerland, September 13-15, 2006. Revised Selected Papers ent://SD_ILS/0/SD_ILS:186385 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Guelfi, Nicolas. editor.&#160;Buchs, Didier. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-71876-5">http://dx.doi.org/10.1007/978-3-540-71876-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Requirements Engineering: Foundation for Software Quality 13th International Working Conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007. Proceedings ent://SD_ILS/0/SD_ILS:186723 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Sawyer, Pete. editor.&#160;Paech, Barbara. editor.&#160;Heymans, Patrick. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-73031-6">http://dx.doi.org/10.1007/978-3-540-73031-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agile Processes in Software Engineering and Extreme Programming 8th International Conference, XP 2007, Como, Italy, June 18-22, 2007. Proceedings ent://SD_ILS/0/SD_ILS:186742 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Concas, Giulio. editor.&#160;Damiani, Ernesto. editor.&#160;Scotto, Marco. editor.&#160;Succi, Giancarlo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-73101-6">http://dx.doi.org/10.1007/978-3-540-73101-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Component-Based Software Engineering 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007. Proceedings ent://SD_ILS/0/SD_ILS:186892 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Schmidt, Heinz W. editor.&#160;Crnkovic, Ivica. editor.&#160;Heineman, George T. editor.&#160;Stafford, Judith A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007. Proceedings ent://SD_ILS/0/SD_ILS:187479 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Arbab, Farhad. editor.&#160;Sirjani, Marjan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-75698-9">http://dx.doi.org/10.1007/978-3-540-75698-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Verification and Validation An Engineering and Scientific Approach ent://SD_ILS/0/SD_ILS:166391 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Fisher, Marcus S. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-47939-2">http://dx.doi.org/10.1007/978-0-387-47939-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Managing Humans Biting and Humorous Tales of a Software Engineering Manager ent://SD_ILS/0/SD_ILS:170938 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Lopp, Michael. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4302-0271-4">http://dx.doi.org/10.1007/978-1-4302-0271-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering Approaches for Offshore and Outsourced Development First International Conference, SEAFOOD 2007, Zurich, Switzerland, February 5-6, 2007. Revised Papers ent://SD_ILS/0/SD_ILS:187442 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Meyer, Bertrand. editor.&#160;Joseph, Mathai. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-75542-5">http://dx.doi.org/10.1007/978-3-540-75542-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Generative and Transformational Techniques in Software Engineering International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers ent://SD_ILS/0/SD_ILS:184898 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;L&auml;mmel, Ralf. editor.&#160;Saraiva, Jo&atilde;o. editor.&#160;Visser, Joost. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11877028">http://dx.doi.org/10.1007/11877028</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Refinement Techniques in Software Engineering First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 Revised Lectures ent://SD_ILS/0/SD_ILS:184907 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Cavalcanti, Ana. editor.&#160;Sampaio, Augusto. editor.&#160;Woodcock, Jim. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11889229">http://dx.doi.org/10.1007/11889229</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods and Software Engineering 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006. Proceedings ent://SD_ILS/0/SD_ILS:185017 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Liu, Zhiming. editor.&#160;He, Jifeng. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11901433">http://dx.doi.org/10.1007/11901433</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamental Approaches to Software Engineering 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings ent://SD_ILS/0/SD_ILS:183616 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Baresi, Luciano. editor.&#160;Heckel, Reiko. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11693017">http://dx.doi.org/10.1007/11693017</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering 2 Specification of Systems and Languages ent://SD_ILS/0/SD_ILS:183656 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Bj&oslash;rner, Dines. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Extreme Programming and Agile Processes in Software Engineering 7th International Conference, XP 2006, Oulu, Finland, June 17-22, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184201 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Abrahamsson, Pekka. editor.&#160;Marchesi, Michele. editor.&#160;Succi, Giancarlo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11774129">http://dx.doi.org/10.1007/11774129</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering Education in the Modern Age Software Education and Training Sessions at the International Conference on Software Engineering, ICSE 2005, St. Louis, MO, USA, May 15-21, 2005, Revised Lectures ent://SD_ILS/0/SD_ILS:185399 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Inverardi, Paola. editor.&#160;Jazayeri, Mehdi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11949374">http://dx.doi.org/10.1007/11949374</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering Techniques Applied to Agricultural Systems An Object-Oriented and UML Approach ent://SD_ILS/0/SD_ILS:165482 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Papajorgji, Petraq J. author.&#160;Pardalos, Panos M. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Software Engineering: Expanding the Frontiers of Software Technology IFIP 19th World Computer Congress, First International Workshop on Advanced Software Engineering, August 25, 2006, Santiago, Chile ent://SD_ILS/0/SD_ILS:166081 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Ochoa, Sergio F. editor.&#160;Roman, Gruia-Catalin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-34831-5">http://dx.doi.org/10.1007/978-0-387-34831-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> MDA&reg; Effektives Software-Engineering mit UML 2&reg; und Eclipse&trade; ent://SD_ILS/0/SD_ILS:181845 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Gruhn, Volker. author.&#160;Pieper, Daniel. author.&#160;R&ouml;ttgers, Carsten. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/3-540-28746-9">http://dx.doi.org/10.1007/3-540-28746-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering Research and Applications Second International Conference, SERA 2004, Los Angeles, CA, USA, MAY 5-7, 2004, Revised Selected Papers ent://SD_ILS/0/SD_ILS:183192 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Dosch, Walter. editor.&#160;Lee, Roger Y. editor.&#160;Wu, Chisu. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11668855">http://dx.doi.org/10.1007/11668855</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering for Multi-Agent Systems IV Research Issues and Practical Applications ent://SD_ILS/0/SD_ILS:183777 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Garcia, Alessandro. editor.&#160;Choren, Ricardo. editor.&#160;Lucena, Carlos. editor.&#160;Giorgini, Paolo. editor.&#160;Holvoet, Tom. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11738817">http://dx.doi.org/10.1007/11738817</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering 3 Domains, Requirements, and Software Design ent://SD_ILS/0/SD_ILS:183791 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Bj&oslash;ner, Dines. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/3-540-33653-2">http://dx.doi.org/10.1007/3-540-33653-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Component-Based Software Engineering 9th International Symposium, CBSE 2006, V&auml;ster&aring;s, Sweden, June 29 - July 1, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184281 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Gorton, Ian. editor.&#160;Heineman, George T. editor.&#160;Crnkovi&#263;, Ivica. editor.&#160;Schmidt, Heinz W. editor.&#160;Stafford, Judith A. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11783565">http://dx.doi.org/10.1007/11783565</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rapid Integration of Software Engineering Techniques Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers ent://SD_ILS/0/SD_ILS:183925 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Guelfi, Nicolas. editor.&#160;Savidis, Anthony. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11751113">http://dx.doi.org/10.1007/11751113</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agent-Oriented Software Engineering VI 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers ent://SD_ILS/0/SD_ILS:183938 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;M&uuml;ller, J&ouml;rg P. editor.&#160;Zambonelli, Franco. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11752660">http://dx.doi.org/10.1007/11752660</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamental Approaches to Software Engineering 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183055 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Cerioli, Maura. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b107062">http://dx.doi.org/10.1007/b107062</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods and Software Engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183237 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Lau, Kung-Kiu. editor.&#160;Banach, Richard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11576280">http://dx.doi.org/10.1007/11576280</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering for Multi-Agent Systems III Research Issues and Practical Applications ent://SD_ILS/0/SD_ILS:182932 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Choren, Ricardo. editor.&#160;Garcia, Alessandro. editor.&#160;Lucena, Carlos. editor.&#160;Romanovsky, Alexander. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b106347">http://dx.doi.org/10.1007/b106347</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering and Middleware 4th International Workshop, SEM 2004, Linz, Austria, September 20-21, 2004. Revised Selected Papers ent://SD_ILS/0/SD_ILS:183046 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Gschwind, Thomas. editor.&#160;Mascolo, Cecilia. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b107130">http://dx.doi.org/10.1007/b107130</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Product Line Engineering Foundations, Principles, and Techniques ent://SD_ILS/0/SD_ILS:181893 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Pohl, Klaus. author.&#160;B&ouml;ckle, G&uuml;nter. author.&#160;Linden, Frank. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/3-540-28901-1">http://dx.doi.org/10.1007/3-540-28901-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agent-Oriented Software Engineering V 5th International Workshop, AOSE 2004, New York, NY, USA, July 19, 2004. Revised Selected Papers ent://SD_ILS/0/SD_ILS:182375 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Odell, James. editor.&#160;Giorgini, Paolo. editor.&#160;M&uuml;ller, J&ouml;rg P. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b105022">http://dx.doi.org/10.1007/b105022</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rapid Integration of Software Engineering Techniques First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004. Revised Selected Papers ent://SD_ILS/0/SD_ILS:183104 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Guelfi, Nicolas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b136153">http://dx.doi.org/10.1007/b136153</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Component-Based Software Engineering 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183114 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Heineman, George T. editor.&#160;Crnkovic, Ivica. editor.&#160;Schmidt, Heinz W. editor.&#160;Stafford, Judith A. editor.&#160;Szyperski, Clemens. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b136248">http://dx.doi.org/10.1007/b136248</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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&ndash;15 August 2004 ent://SD_ILS/0/SD_ILS:168920 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Broy, Manfred. editor.&#160;Gr&uuml;nbauer, Johannes. editor.&#160;Harel, David. editor.&#160;Hoare, Tony. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human-Centered Software Engineering &mdash; Integrating Usability in the Software Development Lifecycle ent://SD_ILS/0/SD_ILS:169085 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Seffah, Ahmed. editor.&#160;Gulliksen, Jan. editor.&#160;Desmarais, Michel C. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/1-4020-4113-6">http://dx.doi.org/10.1007/1-4020-4113-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Extreme Programming and Agile Processes in Software Engineering 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005. Proceedings ent://SD_ILS/0/SD_ILS:182671 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Baumeister, Hubert. editor.&#160;Marchesi, Michele. editor.&#160;Holcombe, Mike. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b137278">http://dx.doi.org/10.1007/b137278</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399353 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Lahiri, Shuvendu K. editor.&#160;Wang, Chao. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-01090-4">https://doi.org/10.1007/978-3-030-01090-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018, Oxford, UK, July 18&ndash;19, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399597 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Piskac, Ruzica. editor.&#160;R&uuml;mmer, Philipp. editor. (orcid)0000-0002-2733-7098&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-03592-1">https://doi.org/10.1007/978-3-030-03592-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399551 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Dutle, Aaron. editor.&#160;Mu&ntilde;oz, C&eacute;sar. editor.&#160;Narkawicz, Anthony. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-77935-5">https://doi.org/10.1007/978-3-319-77935-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Aspects of Component Software 15th International Conference, FACS 2018, Pohang, South Korea, October 10&ndash;12, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399964 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Bae, Kyungmin. editor. (orcid)0000-0002-6430-5175&#160;&Ouml;lveczky, Peter Csaba. editor. (orcid)0000-0002-0708-3721&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-02146-7">https://doi.org/10.1007/978-3-030-02146-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Product-Focused Software Process Improvement 19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28&ndash;30, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400547 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Kuhrmann, Marco. editor. (orcid)0000-0001-6101-8931&#160;Schneider, Kurt. editor.&#160;Pfahl, Dietmar. editor. (orcid)0000-0003-2400-501X&#160;Amasaki, Sousuke. editor.&#160;Ciolkowski, Marcus. editor. (orcid)0000-0001-8494-4794<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-03673-7">https://doi.org/10.1007/978-3-030-03673-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Runtime Verification 18th International Conference, RV 2018, Limassol, Cyprus, November 10&ndash;13, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400554 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Colombo, Christian. editor.&#160;Leucker, Martin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-03769-7">https://doi.org/10.1007/978-3-030-03769-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> It's All About Coordination Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab ent://SD_ILS/0/SD_ILS:401217 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;de Boer, Frank. editor.&#160;Bonsangue, Marcello. editor.&#160;Rutten, Jan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-90089-6">https://doi.org/10.1007/978-3-319-90089-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tests and Proofs 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401698 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Dubois, Catherine. editor.&#160;Wolff, Burkhart. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-92994-1">https://doi.org/10.1007/978-3-319-92994-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods: Foundations and Applications 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26&ndash;30, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399406 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Massoni, Tiago. editor. (orcid)0000-0002-9423-7556&#160;Mousavi, Mohammad Reza. editor. (orcid)0000-0002-4869-6794&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-03044-5">https://doi.org/10.1007/978-3-030-03044-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Analysis, Testing, and Evolution 8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 23&ndash;24, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399416 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Bu, Lei. editor. (orcid)0000-0003-0517-7801&#160;Xiong, Yingfei. editor. (orcid)0000-0001-8991-747X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-04272-1">https://doi.org/10.1007/978-3-030-04272-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Service-Oriented Computing &ndash; ICSOC 2017 Workshops ASOCA, ISyCC, WESOACS, and Satellite Events, M&aacute;laga, Spain, November 13&ndash;16, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399608 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Braubach, Lars. editor.&#160;Murillo, Juan M. editor. (orcid)0000-0003-4961-4030&#160;Kaviani, Nima. editor.&#160;Lama, Manuel. editor. (orcid)0000-0001-7195-6155&#160;Burgue&ntilde;o, Loli. editor. (orcid)0000-0002-7779-8810<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-91764-1">https://doi.org/10.1007/978-3-319-91764-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model and Data Engineering 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24&ndash;26, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400220 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Abdelwahed, El Hassan. editor.&#160;Bellatreche, Ladjel. editor. (orcid)0000-0001-9968-0066&#160;Golfarelli, Matt&eacute;o. editor. (orcid)0000-0002-0437-0725&#160;M&eacute;ry, Dominique. editor. (orcid)0000-0001-5231-6611&#160;Ordonez, Carlos. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00856-7">https://doi.org/10.1007/978-3-030-00856-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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. Proceedings ent://SD_ILS/0/SD_ILS:401247 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Di Marzo Serugendo, Giovanna. editor. (orcid)0000-0001-5048-5251&#160;Loreti, Michele. editor. (orcid)0000-0003-3061-863X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Techniques for Distributed Objects, Components, and Systems 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401312 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Baier, Christel. editor.&#160;Caires, Lu&iacute;s. editor. (orcid)0000-0002-3215-6734&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modelling Foundations and Applications 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401565 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Pierantonio, Alfonso. editor. (orcid)0000-0002-5231-3952&#160;Trujillo, Salvador. editor. (orcid)0000-0002-3147-4618&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-92997-2">https://doi.org/10.1007/978-3-319-92997-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence 4th Workshop, OpenSHMEM 2017, Annapolis, MD, USA, August 7-9, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:401932 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Gorentla Venkata, Manjunath. editor. (orcid)0000-0002-5282-1682&#160;Imam, Neena. editor. (orcid)0000-0001-8860-4738&#160;Pophale, Swaroop. editor. (orcid)0000-0001-8544-6367&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-73814-7">https://doi.org/10.1007/978-3-319-73814-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Testing Software and Systems 30th IFIP WG 6.1 International Conference, ICTSS 2018, C&aacute;diz, Spain, October 1-3, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399422 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Medina-Bulo, Inmaculada. editor.&#160;Merayo, Mercedes G. editor.&#160;Hierons, Robert. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integrated Formal Methods 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399782 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Furia, Carlo A. editor.&#160;Winter, Kirsten. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-98938-9">https://doi.org/10.1007/978-3-319-98938-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Technologies: Applications and Foundations STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399903 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948&#160;Ober, Iulian. editor.&#160;Sala&uuml;n, Gwen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-04771-9">https://doi.org/10.1007/978-3-030-04771-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Practice of Model Transformation 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25&ndash;26, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401991 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Rensink, Arend. editor. (orcid)0000-0002-1714-6319&#160;S&aacute;nchez Cuadrado, Jes&uacute;s. editor. (orcid)0000-0001-9755-5616&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-93317-7">https://doi.org/10.1007/978-3-319-93317-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Technologies: Applications and Foundations STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:401951 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Seidl, Martina. editor.&#160;Zschaler, Steffen. editor. (orcid)0000-0001-9062-6637&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-74730-9">https://doi.org/10.1007/978-3-319-74730-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399472 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Havelund, Klaus. editor. (orcid)0000-0001-7079-0472&#160;Peleska, Jan. editor. (orcid)0000-0003-3667-9775&#160;Roscoe, Bill. editor.&#160;de Vink, Erik. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-95582-7">https://doi.org/10.1007/978-3-319-95582-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Measurement, Modelling and Evaluation of Computing Systems 19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400812 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;German, Reinhard. editor.&#160;Hielscher, Kai-Steffen. editor.&#160;Krieger, Udo R. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-74947-1">https://doi.org/10.1007/978-3-319-74947-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings ent://SD_ILS/0/SD_ILS:485524 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Jones, Cliff. editor.&#160;Pihlajasaari, Pekka. editor.&#160;Sun, Jun. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-06410-9">https://doi.org/10.1007/978-3-319-06410-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Practice of Model Transformations 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485603 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Di Ruscio, Davide. editor.&#160;Varr&oacute;, D&aacute;niel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-08789-4">https://doi.org/10.1007/978-3-319-08789-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Architecture 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485645 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Avgeriou, Paris. editor.&#160;Zdun, Uwe. editor. (orcid)0000-0002-6233-2591&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-09970-5">https://doi.org/10.1007/978-3-319-09970-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> System Analysis and Modeling: Models and Reusability 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings ent://SD_ILS/0/SD_ILS:485731 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Amyot, Daniel. editor.&#160;Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736&#160;Mussbacher, Gunter. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11743-0">https://doi.org/10.1007/978-3-319-11743-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical and Engineering Methods in Computer Science 9th International Doctoral Workshop, MEMICS 2014, Tel&#269;, Czech Republic, October 17--19, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486681 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Hlin&#283;n&yacute;, Petr. editor.&#160;Dvo&#345;&aacute;k, Zden&#283;k. editor.&#160;Jaro&scaron;, Ji&#345;&iacute;. editor. (orcid)0000-0002-0087-8804&#160;Kofro&#328;, Jan. editor.&#160;Ko&#345;enek, Jan. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-14896-0">https://doi.org/10.1007/978-3-319-14896-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Aspects of Component Software 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486854 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Fiadeiro, Jos&eacute; Luiz. editor.&#160;Liu, Zhiming. editor.&#160;Xue, Jinyun. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-07602-7">https://doi.org/10.1007/978-3-319-07602-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Service-Oriented and Cloud Computing Third European Conference, ESOCC 2014, Manchester, UK, September 2-4, 2014, Proceedings ent://SD_ILS/0/SD_ILS:489000 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Villari, Massimo. editor.&#160;Zimmermann, Wolf. editor.&#160;Lau, Kung-Kiu. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-44879-3">https://doi.org/10.1007/978-3-662-44879-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Risk Assessment and Risk-Driven Testing First International Workshop, RISK 2013, Held in Conjunction with ICTSS 2013, Istanbul, Turkey, November 12, 2013. Revised Selected Papers ent://SD_ILS/0/SD_ILS:487821 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Bauer, Thomas. editor.&#160;Gro&szlig;mann, J&uuml;rgen. editor.&#160;Seehusen, Fredrik. editor.&#160;St&oslash;len, Ketil. editor.&#160;Wendland, Marc-Florian. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-07076-6">https://doi.org/10.1007/978-3-319-07076-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations of Health Information Engineering and Systems Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papers ent://SD_ILS/0/SD_ILS:489098 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917&#160;MacCaull, Wendy. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-53956-5">https://doi.org/10.1007/978-3-642-53956-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Product-Focused Software Process Improvement 15th International Conference, PROFES 2014, Helsinki, Finland, December 10-12, 2014, Proceedings ent://SD_ILS/0/SD_ILS:487100 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Jedlitschka, Andreas. editor.&#160;Kuvaja, Pasi. editor.&#160;Kuhrmann, Marco. editor.&#160;M&auml;nnist&ouml;, Tomi. editor.&#160;M&uuml;nch, J&uuml;rgen. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-13835-0">https://doi.org/10.1007/978-3-319-13835-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Service-Oriented Computing 12th International Conference, ICSOC 2014, Paris, France, November 3-6, 2014, Proceedings ent://SD_ILS/0/SD_ILS:487207 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Franch, Xavier. editor.&#160;Ghose, Aditya K. editor.&#160;Lewis, Grace A. editor.&#160;Bhiri, Sami. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-45391-9">https://doi.org/10.1007/978-3-662-45391-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modelling Foundations and Applications 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings ent://SD_ILS/0/SD_ILS:489251 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Cabot, Jordi. editor.&#160;Rubin, Julia. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-09195-2">https://doi.org/10.1007/978-3-319-09195-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Service-Oriented Computing--ICSOC 2013 Workshops CCSA, CSB, PASCEB, SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013. Revised Selected Papers ent://SD_ILS/0/SD_ILS:482751 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Lomuscio, Alessio. editor.&#160;Nepal, Surya. editor.&#160;Patrizi, Fabio. editor.&#160;Benatallah, Boualem. editor.&#160;Brandi&#263;, Ivona. editor. (orcid)0000-0001-7424-0208<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-06859-6">https://doi.org/10.1007/978-3-319-06859-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Testing Software and Systems 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings ent://SD_ILS/0/SD_ILS:489402 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Merayo, Mercedes G. editor.&#160;Montes de Oca, Edgardo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming with Actors State-of-the-Art and Research Perspectives ent://SD_ILS/0/SD_ILS:399671 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Ricci, Alessandro. editor.&#160;Haller, Philipp. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00302-9">https://doi.org/10.1007/978-3-030-00302-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2&ndash;6, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399537 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Ryu, Sukyoung. editor. (orcid)0000-0002-0019-9772&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-02768-1">https://doi.org/10.1007/978-3-030-02768-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Practical Aspects of Declarative Languages 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8&ndash;9, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400560 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834&#160;Hamlen, Kevin. editor.&#160;Leone, Nicola. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-73305-0">https://doi.org/10.1007/978-3-319-73305-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evolving OpenMP for Evolving Architectures 14th International Workshop on OpenMP, IWOMP 2018, Barcelona, Spain, September 26&ndash;28, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399167 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;de Supinski, Bronis R. editor.&#160;Valero-Lara, Pedro. editor. (orcid)0000-0002-1479-4310&#160;Martorell, Xavier. editor.&#160;Mateo Bellido, Sergi. editor.&#160;Labarta, Jesus. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-98521-3">https://doi.org/10.1007/978-3-319-98521-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles and Practice of Constraint Programming 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399700 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Hooker, John. editor. (orcid)0000-0003-3169-1871&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-98334-9">https://doi.org/10.1007/978-3-319-98334-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400230 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Howar, Falk. editor.&#160;Barnat, Ji&#345;&iacute;. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00244-2">https://doi.org/10.1007/978-3-030-00244-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Accelerator Programming Using Directives 4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings ent://SD_ILS/0/SD_ILS:400823 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Chandrasekaran, Sunita. editor. (orcid)0000-0002-3560-9428&#160;Juckeland, Guido. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-74896-2">https://doi.org/10.1007/978-3-319-74896-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Tutoring Systems 14th International Conference, ITS 2018, Montreal, QC, Canada, June 11&ndash;15, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401315 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Nkambou, Roger. editor.&#160;Azevedo, Roger. editor.&#160;Vassileva, Julita. editor. (orcid)0000-0001-5050-3106&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-91464-0">https://doi.org/10.1007/978-3-319-91464-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reversible Computation 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399794 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Kari, Jarkko. editor. (orcid)0000-0003-0670-6138&#160;Ulidowski, Irek. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rules and Reasoning Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18&ndash;21, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399809 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Benzm&uuml;ller, Christoph. editor. (orcid)0000-0002-3392-3093&#160;Ricca, Francesco. editor.&#160;Parent, Xavier. editor.&#160;Roman, Dumitru. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-99906-7">https://doi.org/10.1007/978-3-319-99906-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles of Modeling Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:400121 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Lohstroh, Marten. editor.&#160;Derler, Patricia. editor.&#160;Sirjani, Marjan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-95246-8">https://doi.org/10.1007/978-3-319-95246-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> On the Move to Meaningful Internet Systems. OTM 2018 Conferences Confederated International Conferences: CoopIS, C&amp;TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:400124 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Panetto, Herv&eacute;. editor. (orcid)0000-0002-5537-2261&#160;Debruyne, Christophe. editor.&#160;Proper, Henderik A. editor. (orcid)0000-0002-7318-2496&#160;Ardagna, Claudio Agostino. editor.&#160;Roman, Dumitru. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-02671-4">https://doi.org/10.1007/978-3-030-02671-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Static Analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29&ndash;31, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400131 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Podelski, Andreas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-99725-4">https://doi.org/10.1007/978-3-319-99725-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> New Opportunities for Software Reuse 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400151 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Capilla, Rafael. editor. (orcid)0000-0002-6943-1285&#160;Gallina, Barbara. editor. (orcid)0000-0002-6952-1053&#160;Cetina, Carlos. editor. (orcid)0000-0001-8542-5515&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-90421-4">https://doi.org/10.1007/978-3-319-90421-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283&ndash; October 4, 2014. Proceedings ent://SD_ILS/0/SD_ILS:485724 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Dingel, Juergen. editor.&#160;Schulte, Wolfram. editor.&#160;Ramos, Isidro. editor.&#160;Abrahao, Silvia. editor.&#160;Insfran, Emilio. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11653-2">https://doi.org/10.1007/978-3-319-11653-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reversible Computation 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings ent://SD_ILS/0/SD_ILS:488939 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Yamashita, Shigeru. editor.&#160;Minato, Shin-ichi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-08494-7">https://doi.org/10.1007/978-3-319-08494-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Energy-Efficient Data Centers Second International Workshop, E&sup2;DC 2013, Berkeley, CA, USA, May 21, 2013. Revised Selected Papers ent://SD_ILS/0/SD_ILS:489547 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Klingert, Sonja. editor.&#160;Hesselbach-Serra, Xavier. editor.&#160;Perez Ortega, Maria. editor.&#160;Giuliani, Giovanni. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-55149-9">https://doi.org/10.1007/978-3-642-55149-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Process Modeling ent://SD_ILS/0/SD_ILS:165037 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Acu&ntilde;a, Silvia T. editor.&#160;Juristo, Natalia. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b104986">http://dx.doi.org/10.1007/b104986</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Semantic Web: Concepts, Technologies and Applications ent://SD_ILS/0/SD_ILS:175521 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Breitman, Karin Koogan. author.&#160;Casanova, Marco Antonio. author.&#160;Truszkowski, Walter. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agent Technology from a Formal Perspective ent://SD_ILS/0/SD_ILS:175355 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Rouff, Christopher A. editor.&#160;Hinchey, Michael. editor.&#160;Rash, James. editor.&#160;Truszkowski, Walter. editor.&#160;Gordon-Spears, Diana. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Aligning Organizations Through Measurement The GQM+Strategies Approach ent://SD_ILS/0/SD_ILS:485471 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Basili, Victor. author.&#160;Trendowicz, Adam. author.&#160;Kowalczyk, Martin. author.&#160;Heidrich, Jens. author.&#160;Seaman, Carolyn. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Process Definition and Management ent://SD_ILS/0/SD_ILS:195592 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;M&uuml;nch, J&uuml;rgen. author.&#160;Armbrust, Ove. author.&#160;Kowalczyk, Martin. author.&#160;Soto, Mart&iacute;n. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Cost Estimation, Benchmarking, and Risk Assessment The Software Decision-Makers' Guide to Predictable Software Development ent://SD_ILS/0/SD_ILS:333358 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Trendowicz, Adam. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333358.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Algebra in Scientific Computing 21st International Workshop, CASC 2019, Moscow, Russia, August 26&ndash;30, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483738 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;England, Matthew. editor. (orcid)0000-0001-5729-3420&#160;Koepf, Wolfram. editor.&#160;Sadykov, Timur M. editor. (orcid)0000-0003-0741-2318&#160;Seiler, Werner M. editor. (orcid)0000-0002-0565-1334&#160;Vorozhtsov, Evgenii V. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-26831-2">https://doi.org/10.1007/978-3-030-26831-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Practice of Natural Computing 8th International Conference, TPNC 2019, Kingston, ON, Canada, December 9&ndash;11, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484958 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Mart&iacute;n-Vide, Carlos. editor. (orcid)0000-0003-1670-6000&#160;Pond, Geoffrey. editor. (orcid)0000-0001-5069-0845&#160;Vega-Rodr&iacute;guez, Miguel A. editor. (orcid)0000-0002-3003-758X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-34500-6">https://doi.org/10.1007/978-3-030-34500-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computing and Software Science State of the Art and Perspectives ent://SD_ILS/0/SD_ILS:486069 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#160;Woeginger, Gerhard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-91908-9">https://doi.org/10.1007/978-3-319-91908-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agile Methods 10th Brazilian Workshop, WBMA 2019, Belo Horizonte, Brazil, September 11, 2019, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486700 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Meirelles, Paulo. editor. (orcid)0000-0002-8923-2814&#160;Nelson, Maria Augusta. editor. (orcid)0000-0002-1151-1362&#160;Rocha, Carla. editor. (orcid)0000-0003-3102-5166&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-36701-5">https://doi.org/10.1007/978-3-030-36701-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Managed Software Evolution ent://SD_ILS/0/SD_ILS:484605 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Reussner, Ralf. editor.&#160;Goedicke, Michael. editor.&#160;Hasselbring, Wilhelm. editor.&#160;Vogel-Heuser, Birgit. editor.&#160;Keim, Jan. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-13499-0">https://doi.org/10.1007/978-3-030-13499-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Business 10th International Conference, ICSOB 2019, Jyv&auml;skyl&auml;, Finland, November 18&ndash;20, 2019, Proceedings ent://SD_ILS/0/SD_ILS:485079 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Hyrynsalmi, Sami. editor. (orcid)0000-0002-5073-3750&#160;Suoranta, Mari. editor. (orcid)0000-0002-3849-4902&#160;Nguyen-Duc, Anh. editor. (orcid)0000-0002-7063-9200&#160;Tyrv&auml;inen, Pasi. editor. (orcid)0000-0001-7716-3244&#160;Abrahamsson, Pekka. editor. (orcid)0000-0002-4360-2226<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-33742-1">https://doi.org/10.1007/978-3-030-33742-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Membrane Computing 19th International Conference, CMC 2018, Dresden, Germany, September 4&ndash;7, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486575 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Hinze, Thomas. editor.&#160;Rozenberg, Grzegorz. editor.&#160;Salomaa, Arto. editor.&#160;Zandron, Claudio. editor. (orcid)0000-0002-2163-7639&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-12797-8">https://doi.org/10.1007/978-3-030-12797-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Systems, Software and Services Process Improvement 26th European Conference, EuroSPI 2019, Edinburgh, UK, September 18&ndash;20, 2019, Proceedings ent://SD_ILS/0/SD_ILS:487029 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Walker, Alastair. editor.&#160;O'Connor, Rory V. editor.&#160;Messnarz, Richard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Open Source Systems 15th IFIP WG 2.13 International Conference, OSS 2019, Montreal, QC, Canada, May 26&ndash;27, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483194 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Bordeleau, Francis. editor.&#160;Sillitti, Alberto. editor.&#160;Meirelles, Paulo. editor. (orcid)0000-0002-8923-2814&#160;Lenarduzzi, Valentina. editor. (orcid)0000-0003-0511-5133&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-20883-7">https://doi.org/10.1007/978-3-030-20883-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agile Methods 9th Brazilian Workshop, WBMA 2018, Campinas, Brazil, October 4, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:482815 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Tonin, Graziela Simone. editor.&#160;Est&aacute;cio, Bernardo. editor.&#160;Goldman, Alfredo. editor.&#160;Guerra, Eduardo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-14310-7">https://doi.org/10.1007/978-3-030-14310-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cryptology and Network Security 16th International Conference, CANS 2017, Hong Kong, China, November 30&mdash;December 2, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399347 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Capkun, Srdjan. editor.&#160;Chow, Sherman S. M. editor. (orcid)0000-0001-7306-453X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-02641-7">https://doi.org/10.1007/978-3-030-02641-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Emerging Technologies for Authorization and Authentication First International Workshop, ETAA 2018, Barcelona, Spain, September 7, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399665 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Saracino, Andrea. editor.&#160;Mori, Paolo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Music Technology with Swing 13th International Symposium, CMMR 2017, Matosinhos, Portugal, September 25-28, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399586 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Aramaki, Mitsuko. editor.&#160;Davies, Matthew E. P. editor. (orcid)0000-0002-1315-3992&#160;Kronland-Martinet, Richard. editor. (orcid)0000-0002-7325-4920&#160;Ystad, S&oslash;lvi. editor. (orcid)0000-0001-9022-9690&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-01692-0">https://doi.org/10.1007/978-3-030-01692-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Cryptology &ndash; ASIACRYPT 2018 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2&ndash;6, 2018, Proceedings, Part III ent://SD_ILS/0/SD_ILS:399545 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Peyrin, Thomas. editor. (orcid)0000-0002-2690-9197&#160;Galbraith, Steven. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part III ent://SD_ILS/0/SD_ILS:399967 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Vaidya, Jaideep. editor.&#160;Li, Jin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-05057-3">https://doi.org/10.1007/978-3-030-05057-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Robotics and Applications 11th International Conference, ICIRA 2018, Newcastle, NSW, Australia, August 9&ndash;11, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:399970 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Chen, Zhiyong. editor. (orcid)0000-0002-2033-4249&#160;Mendes, Alexandre. editor. (orcid)0000-0003-1759-3765&#160;Yan, Yamin. editor. (orcid)0000-0001-5838-2652&#160;Chen, Shifeng. editor. (orcid)0000-0003-0677-7358&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13&ndash;16, 2018, Proceedings, Part V ent://SD_ILS/0/SD_ILS:399976 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Cheng, Long. editor. (orcid)0000-0001-7565-8788&#160;Leung, Andrew Chi Sing. editor.&#160;Ozawa, Seiichi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-04221-9">https://doi.org/10.1007/978-3-030-04221-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Algebra in Scientific Computing 20th International Workshop, CASC 2018, Lille, France, September 17&ndash;21, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399984 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Gerdt, Vladimir P. editor.&#160;Koepf, Wolfram. editor.&#160;Seiler, Werner M. editor. (orcid)0000-0002-0565-1334&#160;Vorozhtsov, Evgenii V. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-99639-4">https://doi.org/10.1007/978-3-319-99639-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Collaborative Networks of Cognitive Systems 19th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2018, Cardiff, UK, September 17-19, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399985 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Camarinha-Matos, Luis M. editor. (orcid)0000-0003-0594-1961&#160;Afsarmanesh, Hamideh. editor. (orcid)0000-0001-5402-2000&#160;Rezgui, Yacine. editor. (orcid)0000-0002-5711-8400&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-99127-6">https://doi.org/10.1007/978-3-319-99127-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Interactive Collaborative Robotics Third International Conference, ICR 2018, Leipzig, Germany, September 18&ndash;22, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399986 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Ronzhin, Andrey. editor. (orcid)0000-0002-8903-3508&#160;Rigoll, Gerhard. editor. (orcid)0000-0003-1096-1596&#160;Meshcheryakov, Roman. editor. (orcid)0000-0002-1129-8434&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Virtual Reality and Augmented Reality 15th EuroVR International Conference, EuroVR 2018, London, UK, October 22&ndash;23, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400096 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Bourdot, Patrick. editor. (orcid)0000-0003-2247-1930&#160;Cobb, Sue. editor. (orcid)0000-0002-4600-6235&#160;Interrante, Victoria. editor. (orcid)0000-0002-3313-6663&#160;kato, Hirokazu. editor.&#160;Stricker, Didier. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-01790-3">https://doi.org/10.1007/978-3-030-01790-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information and Communications Security 20th International Conference, ICICS 2018, Lille, France, October 29-31, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400052 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Naccache, David. editor. (orcid)0000-0002-8651-6555&#160;Xu, Shouhuai. editor. (orcid)0000-0001-8034-0942&#160;Qing, Sihan. editor.&#160;Samarati, Pierangela. editor. (orcid)0000-0001-7395-4620&#160;Blanc, Gregory. editor. (orcid)0000-0001-8150-6617<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-01950-1">https://doi.org/10.1007/978-3-030-01950-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13&ndash;16, 2018, Proceedings, Part VI ent://SD_ILS/0/SD_ILS:400056 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Cheng, Long. editor. (orcid)0000-0001-7565-8788&#160;Leung, Andrew Chi Sing. editor.&#160;Ozawa, Seiichi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-04224-0">https://doi.org/10.1007/978-3-030-04224-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Social Networks Science: Design, Implementation, Security, and Challenges From Social Networks Analysis to Social Networks Intelligence ent://SD_ILS/0/SD_ILS:400310 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Dey, Nilanjan. editor.&#160;Babo, Rosalina. editor.&#160;Ashour, Amira S. editor.&#160;Bhatnagar, Vishal. editor.&#160;Bouhlel, Med Salim. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-90059-9">https://doi.org/10.1007/978-3-319-90059-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:400563 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Chockler, Hana. editor. (orcid)0000-0003-1219-0713&#160;Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-96142-2">https://doi.org/10.1007/978-3-319-96142-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400459 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Itsykson, Vladimir. editor.&#160;Scedrov, Andre. editor.&#160;Zakharov, Victor. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-71734-0">https://doi.org/10.1007/978-3-319-71734-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Towards Extensible and Adaptable Methods in Computing ent://SD_ILS/0/SD_ILS:400236 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Chakraverty, Shampa. editor.&#160;Goel, Anil. editor.&#160;Misra, Sanjay. editor. (orcid)0000-0002-3556-9331&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-2348-5">https://doi.org/10.1007/978-981-13-2348-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Systems Security 14th International Conference, ICISS 2018, Bangalore, India, December 17-19, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400247 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Ganapathy, Vinod. editor.&#160;Jaeger, Trent. editor.&#160;Shyamasundar, R.K. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial General Intelligence 11th International Conference, AGI 2018, Prague, Czech Republic, August 22-25, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399061 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Ikl&eacute;, Matthew. editor.&#160;Franz, Arthur. editor.&#160;Rzepka, Rafal. editor.&#160;Goertzel, Ben. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-97676-1">https://doi.org/10.1007/978-3-319-97676-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Computing Strategies for Engineering 25th EG-ICE International Workshop 2018, Lausanne, Switzerland, June 10-13, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:399203 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Smith, Ian F. C. editor.&#160;Domer, Bernd. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agents and Artificial Intelligence 9th International Conference, ICAART 2017, Porto, Portugal, February 24&ndash;26, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399210 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;van den Herik, Jaap. editor.&#160;Rocha, Ana Paula. editor.&#160;Filipe, Joaquim. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamentals of Software Culture ent://SD_ILS/0/SD_ILS:399110 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Qin, Zheng. author.&#160;Zhang, Huidi. author.&#160;Qin, Xin. author.&#160;Xu, Kaiping. author.&#160;Dimitrov, Kouemo Ngayo Anatoli. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-0701-0">https://doi.org/10.1007/978-981-13-0701-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Provable Security 12th International Conference, ProvSec 2018, Jeju, South Korea, October 25-28, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399111 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Baek, Joonsang. editor.&#160;Susilo, Willy. editor.&#160;Kim, Jongkil. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-01446-9">https://doi.org/10.1007/978-3-030-01446-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multi-Agent Systems and Agreement Technologies 15th European Conference, EUMAS 2017, and 5th International Conference, AT 2017, Evry, France, December 14-15, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399113 2024-11-14T10:53:06Z 2024-11-14T10:53:06Z Author&#160;Belardinelli, Francesco. editor. (orcid)0000-0002-7768-1794&#160;Argente, Estefan&iacute;a. editor. (orcid)0000-0002-5431-3868&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-01713-2">https://doi.org/10.1007/978-3-030-01713-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>