Search Results for Computer science. - Narrowed by: 2014 - Software engineering. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputer$002bscience.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092014$0025092014$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?dt=list 2024-07-15T04:25:53Z 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-07-15T04:25:53Z 2024-07-15T04:25:53Z 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/> Emergent Interfaces for Feature Modularization ent://SD_ILS/0/SD_ILS:485711 2024-07-15T04:25:53Z 2024-07-15T04:25:53Z Author&#160;Ribeiro, M&aacute;rcio. author.&#160;Borba, Paulo. author.&#160;Brabrand, Claus. 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-11493-4">https://doi.org/10.1007/978-3-319-11493-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agile Risk Management ent://SD_ILS/0/SD_ILS:488430 2024-07-15T04:25:53Z 2024-07-15T04:25:53Z Author&#160;Moran, Alan. 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-05008-9">https://doi.org/10.1007/978-3-319-05008-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agile Anywhere Essays on Agile Projects and Beyond ent://SD_ILS/0/SD_ILS:489258 2024-07-15T04:25:53Z 2024-07-15T04:25:53Z Author&#160;Hazzan, Orit. author. (orcid)0000-0002-8627-0997&#160;Dubinsky, Yael. 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-10157-6">https://doi.org/10.1007/978-3-319-10157-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automatic Generation of Combinatorial Test Data ent://SD_ILS/0/SD_ILS:489313 2024-07-15T04:25:53Z 2024-07-15T04:25:53Z Author&#160;Zhang, Jian. author.&#160;Zhang, Zhiqiang. author.&#160;Ma, Feifei. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-43429-1">https://doi.org/10.1007/978-3-662-43429-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graph Transformation 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings ent://SD_ILS/0/SD_ILS:487471 2024-07-15T04:25:53Z 2024-07-15T04:25:53Z Author&#160;Giese, Holger. editor.&#160;K&ouml;nig, Barbara. 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-09108-2">https://doi.org/10.1007/978-3-319-09108-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings ent://SD_ILS/0/SD_ILS:489079 2024-07-15T04:25:53Z 2024-07-15T04:25:53Z Author&#160;Hong, Hoon. editor.&#160;Yap, Chee. 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-44199-2">https://doi.org/10.1007/978-3-662-44199-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Operational Semantics A Concise Overview ent://SD_ILS/0/SD_ILS:484561 2024-07-15T04:25:53Z 2024-07-15T04:25:53Z Author&#160;Fern&aacute;ndez, Maribel. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4471-6368-8">https://doi.org/10.1007/978-1-4471-6368-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications - ICCSA 2014 14th International Conference, Guimar&atilde;es, Portugal, June 30 - July 3, 204, Proceedings, Part III ent://SD_ILS/0/SD_ILS:485626 2024-07-15T04:25:53Z 2024-07-15T04:25:53Z Author&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Misra, Sanjay. editor. (orcid)0000-0002-3556-9331&#160;Rocha, Ana Maria Alves Coutinho. editor. (orcid)0000-0001-8679-2886&#160;Torre, Carmelo. editor. (orcid)0000-0003-4737-6040&#160;Rocha, Jorge Gustavo. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-09150-1">https://doi.org/10.1007/978-3-319-09150-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Modeling and Analysis of Timed Systems 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485634 2024-07-15T04:25:53Z 2024-07-15T04:25:53Z Author&#160;Legay, Axel. editor.&#160;Bozga, Marius. 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-10512-3">https://doi.org/10.1007/978-3-319-10512-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms and Architectures for Parallel Processing 14th International Conference, ICA3PP 2014, Dalian, China, August 24-27, 2014. Proceedings, Part I ent://SD_ILS/0/SD_ILS:485695 2024-07-15T04:25:53Z 2024-07-15T04:25:53Z Author&#160;Sun, Xiang-he. editor.&#160;Qu, Wenyu. editor.&#160;Stojmenovic, Ivan. editor.&#160;Zhou, Wanlei. editor.&#160;Li, Zhiyang. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11197-1">https://doi.org/10.1007/978-3-319-11197-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Stabilization, Safety, and Security of Distributed Systems 16th International Symposium, SSS 2014, Paderborn, Germany, September 28 -- October 1, 2014. Proceedings ent://SD_ILS/0/SD_ILS:485732 2024-07-15T04:25:53Z 2024-07-15T04:25:53Z Author&#160;Felber, Pascal. editor.&#160;Garg, Vijay. 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-11764-5">https://doi.org/10.1007/978-3-319-11764-5</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-07-15T04:25:53Z 2024-07-15T04:25:53Z 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/> Euro-Par 2014: Parallel Processing Workshops Euro-Par 2014 International Workshops, Porto, Portugal, August 25-26, 2014, Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:485778 2024-07-15T04:25:53Z 2024-07-15T04:25:53Z Author&#160;Lopes, Lu&iacute;s. editor.&#160;&#381;ilinskas, Julius. editor.&#160;Costan, Alexandru. editor.&#160;Cascella, Roberto G. editor.&#160;Kecskemeti, Gabor. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-14325-5">https://doi.org/10.1007/978-3-319-14325-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485783 2024-07-15T04:25:53Z 2024-07-15T04:25:53Z Author&#160;Escobar, Santiago. editor. (orcid)0000-0002-3550-4781&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-12904-4">https://doi.org/10.1007/978-3-319-12904-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information and Communication Technologies in Education, Research, and Industrial Applications 10th International Conference, ICTERI 2014, Kherson, Ukraine, June 9-12, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485792 2024-07-15T04:25:53Z 2024-07-15T04:25:53Z Author&#160;Ermolayev, Vadim. editor.&#160;Mayr, Heinrich C. editor. (orcid)0000-0001-5770-8091&#160;Nikitchenko, Mykola. editor. (orcid)0000-0002-4078-1062&#160;Spivakovsky, Aleksander. editor. (orcid)0000-0001-7574-4133&#160;Zholtkevych, Grygoriy. editor. (orcid)0000-0002-7515-2143<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-13206-8">https://doi.org/10.1007/978-3-319-13206-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Process Improvement and Capability Determination 14th International Conference, SPICE 2014, Vilnius, Lithuania, November 4-6, 2014. Proceedings ent://SD_ILS/0/SD_ILS:485841 2024-07-15T04:25:53Z 2024-07-15T04:25:53Z Author&#160;Mitasiunas, Antanas. editor.&#160;Rout, Terry. editor.&#160;O&rsquo;Connor, Rory V. editor.&#160;Dorling, Alec. 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-13036-1">https://doi.org/10.1007/978-3-319-13036-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi ent://SD_ILS/0/SD_ILS:487212 2024-07-15T04:25:53Z 2024-07-15T04:25:53Z Author&#160;Iida, Shusaku. editor.&#160;Meseguer, Jos&eacute;. editor.&#160;Ogata, Kazuhiro. 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-54624-2">https://doi.org/10.1007/978-3-642-54624-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I ent://SD_ILS/0/SD_ILS:487246 2024-07-15T04:25:53Z 2024-07-15T04:25:53Z Author&#160;Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-45234-9">https://doi.org/10.1007/978-3-662-45234-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Techniques for Safety-Critical Systems Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers ent://SD_ILS/0/SD_ILS:487476 2024-07-15T04:25:53Z 2024-07-15T04:25:53Z Author&#160;Artho, Cyrille. editor.&#160;&Ouml;lveczky, Peter Csaba. 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-05416-2">https://doi.org/10.1007/978-3-319-05416-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Logistics 5th International Conference, ICCL 2014, Valpara&iacute;so, Chile, September 24-26, 2014, Proceedings ent://SD_ILS/0/SD_ILS:487652 2024-07-15T04:25:53Z 2024-07-15T04:25:53Z Author&#160;Gonz&aacute;lez-Ram&iacute;rez, Rosa G. editor.&#160;Schulte, Frederik. editor.&#160;Vo&szlig;, Stefan. editor.&#160;Ceroni D&iacute;az, Jose A. 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-11421-7">https://doi.org/10.1007/978-3-319-11421-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Membrane Computing 14th International Conference, CMC 2013, Chi&#351;in&#259;u, Republic of Moldova, August 20-23, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:487795 2024-07-15T04:25:53Z 2024-07-15T04:25:53Z Author&#160;Alhazov, Artiom. editor.&#160;Cojocaru, Svetlana. editor.&#160;Gheorghe, Marian. editor.&#160;Rogozhin, Yurii. editor.&#160;Rozenberg, Grzegorz. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-54239-8">https://doi.org/10.1007/978-3-642-54239-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Technologies 8th International Joint Conference, ICSOFT 2013, Reykjavik, Iceland, July 29-31, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:488425 2024-07-15T04:25:53Z 2024-07-15T04:25:53Z Author&#160;Cordeiro, Jos&eacute;. editor.&#160;van Sinderen, Marten. 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-44920-2">https://doi.org/10.1007/978-3-662-44920-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Job Scheduling Strategies for Parallel Processing 17th International Workshop, JSSPP 2013, Boston, MA, USA, May 24, 2013 Revised Selected Papers ent://SD_ILS/0/SD_ILS:488991 2024-07-15T04:25:53Z 2024-07-15T04:25:53Z Author&#160;Desai, Narayan. editor.&#160;Cirne, Walfredo. 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-43779-7">https://doi.org/10.1007/978-3-662-43779-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamental Approaches to Software Engineering 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings ent://SD_ILS/0/SD_ILS:489013 2024-07-15T04:25:53Z 2024-07-15T04:25:53Z Author&#160;Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421&#160;Rensink, Arend. 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-54804-8">https://doi.org/10.1007/978-3-642-54804-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Stochastic Model Checking International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures ent://SD_ILS/0/SD_ILS:489017 2024-07-15T04:25:53Z 2024-07-15T04:25:53Z Author&#160;Remke, Anne. editor.&#160;Stoelinga, Mari&euml;lle. 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-45489-3">https://doi.org/10.1007/978-3-662-45489-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:489041 2024-07-15T04:25:53Z 2024-07-15T04:25:53Z Author&#160;Liu, Shaoying. editor.&#160;Duan, Zhenhua. 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-04915-1">https://doi.org/10.1007/978-3-319-04915-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Membrane Computing 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:489069 2024-07-15T04:25:53Z 2024-07-15T04:25:53Z Author&#160;Gheorghe, Marian. editor.&#160;Rozenberg, Grzegorz. editor.&#160;Salomaa, Arto. editor.&#160;Sos&iacute;k, Petr. editor.&#160;Zandron, Claudio. editor. (orcid)0000-0002-2163-7639<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-14370-5">https://doi.org/10.1007/978-3-319-14370-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications - ICCSA 2014 14th International Conference, Guimar&atilde;es, Portugal, June 30 - July 3, 204, Proceedings, Part V ent://SD_ILS/0/SD_ILS:489073 2024-07-15T04:25:53Z 2024-07-15T04:25:53Z Author&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Misra, Sanjay. editor. (orcid)0000-0002-3556-9331&#160;Rocha, Ana Maria Alves Coutinho. editor. (orcid)0000-0001-8679-2886&#160;Torre, Carmelo. editor. (orcid)0000-0003-4737-6040&#160;Rocha, Jorge Gustavo. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-09156-3">https://doi.org/10.1007/978-3-319-09156-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Verification 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings ent://SD_ILS/0/SD_ILS:489075 2024-07-15T04:25:53Z 2024-07-15T04:25:53Z Author&#160;Biere, Armin. editor. (orcid)0000-0001-7170-9242&#160;Bloem, Roderick. 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-08867-9">https://doi.org/10.1007/978-3-319-08867-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings ent://SD_ILS/0/SD_ILS:483100 2024-07-15T04:25:53Z 2024-07-15T04:25:53Z Author&#160;Abraham, Erika. editor.&#160;Havelund, Klaus. editor. (orcid)0000-0001-7079-0472&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-54862-8">https://doi.org/10.1007/978-3-642-54862-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications - ICCSA 2014 14th International Conference, Guimar&atilde;es, Portugal, June 30 - July 3, 204, Proceedings, Part I ent://SD_ILS/0/SD_ILS:484951 2024-07-15T04:25:53Z 2024-07-15T04:25:53Z Author&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Misra, Sanjay. editor. (orcid)0000-0002-3556-9331&#160;Rocha, Ana Maria Alves Coutinho. editor. (orcid)0000-0001-8679-2886&#160;Torre, Carmelo. editor. (orcid)0000-0003-4737-6040&#160;Rocha, Jorge Gustavo. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-09144-0">https://doi.org/10.1007/978-3-319-09144-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Static Analysis 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings ent://SD_ILS/0/SD_ILS:485693 2024-07-15T04:25:53Z 2024-07-15T04:25:53Z Author&#160;M&uuml;ller-Olm, Markus. editor.&#160;Seidl, Helmut. 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-10936-7">https://doi.org/10.1007/978-3-319-10936-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information and Software Technologies 20th International Conference, ICIST 2014, Druskininkai, Lithuania, October 9-10, 2014, Proceedings ent://SD_ILS/0/SD_ILS:487091 2024-07-15T04:25:53Z 2024-07-15T04:25:53Z Author&#160;Dregvaite, Giedre. editor.&#160;Damasevicius, Robertas. 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-11958-8">https://doi.org/10.1007/978-3-319-11958-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms and Architectures for Parallel Processing 14th International Conference, ICA3PP 2014, Dalian, China, August 24-27, 2014. Proceedings, Part II ent://SD_ILS/0/SD_ILS:487279 2024-07-15T04:25:53Z 2024-07-15T04:25:53Z Author&#160;Sun, Xiang-he. editor.&#160;Qu, Wenyu. editor.&#160;Stojmenovic, Ivan. editor.&#160;Zhou, Wanlei. editor.&#160;Li, Zhiyang. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11194-0">https://doi.org/10.1007/978-3-319-11194-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Systems, Software and Services Process Improvement 21st European Conference, EuroSPI 2014, Luxembourg, June 25-27, 2014. Proceedings ent://SD_ILS/0/SD_ILS:482711 2024-07-15T04:25:53Z 2024-07-15T04:25:53Z Author&#160;Barafort, B&eacute;atrix. editor.&#160;O'Connor, Rory V. editor.&#160;Poth, Alexander. editor. (orcid)0000-0002-2868-5633&#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-662-43896-1">https://doi.org/10.1007/978-3-662-43896-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Euro-Par 2013: Parallel Processing Workshops BigDataCloud, DIHC, FedICI, HeteroPar, HiBB, LSDVE, MHPC, OMHI, PADABS, PROPER, Resilience, ROME, UCHPC 2013, Aachen, Germany, August 26-30, 2013. Revised Selected Papers ent://SD_ILS/0/SD_ILS:482660 2024-07-15T04:25:53Z 2024-07-15T04:25:53Z Author&#160;an Mey, Dieter. editor.&#160;Alexander, Michael. editor.&#160;Paolo, Bientinesi. editor.&#160;Cannataro, Mario. editor.&#160;Clauss, Carsten. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-54420-0">https://doi.org/10.1007/978-3-642-54420-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications - ICCSA 2014 14th International Conference, Guimar&atilde;es, Portugal, June 30 - July 3, 204, Proceedings, Part VI ent://SD_ILS/0/SD_ILS:486853 2024-07-15T04:25:53Z 2024-07-15T04:25:53Z Author&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Misra, Sanjay. editor. (orcid)0000-0002-3556-9331&#160;Rocha, Ana Maria Alves Coutinho. editor. (orcid)0000-0001-8679-2886&#160;Torre, Carmelo. editor. (orcid)0000-0003-4737-6040&#160;Rocha, Jorge Gustavo. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-09153-2">https://doi.org/10.1007/978-3-319-09153-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verification, Model Checking, and Abstract Interpretation 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings ent://SD_ILS/0/SD_ILS:487418 2024-07-15T04:25:53Z 2024-07-15T04:25:53Z Author&#160;McMillan, Kenneth. editor.&#160;Rival, Xavier. 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-54013-4">https://doi.org/10.1007/978-3-642-54013-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Introduction to Software Quality ent://SD_ILS/0/SD_ILS:487425 2024-07-15T04:25:53Z 2024-07-15T04:25:53Z Author&#160;O&rsquo;Regan, Gerard. 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-06106-1">https://doi.org/10.1007/978-3-319-06106-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Computing and Networking 15th International Conference, ICDCN 2014, Coimbatore, India, January 4-7, 2014, Proceedings ent://SD_ILS/0/SD_ILS:487483 2024-07-15T04:25:53Z 2024-07-15T04:25:53Z Author&#160;Chatterjee, Mainak. editor.&#160;Cao, Jian-nong. editor.&#160;Kothapalli, Kishore. editor.&#160;Rajsbaum, Sergio. 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-45249-9">https://doi.org/10.1007/978-3-642-45249-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Application and Theory of Petri Nets and Concurrency 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedings ent://SD_ILS/0/SD_ILS:487484 2024-07-15T04:25:53Z 2024-07-15T04:25:53Z Author&#160;Ciardo, Gianfranco. editor.&#160;Kindler, Ekkart. 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-07734-5">https://doi.org/10.1007/978-3-319-07734-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Practice of Natural Computing Third International Conference, TPNC 2014, Granada, Spain, December 9-11, 2014. Proceedings ent://SD_ILS/0/SD_ILS:487519 2024-07-15T04:25:53Z 2024-07-15T04:25:53Z Author&#160;Dediu, Adrian-Horia. editor.&#160;Lozano, Manuel. editor.&#160;Mart&iacute;n-Vide, Carlos. 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-13749-0">https://doi.org/10.1007/978-3-319-13749-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications - ICCSA 2014 14th International Conference, Guimar&atilde;es, Portugal, June 30 - July 3, 204, Proceedings, Part II ent://SD_ILS/0/SD_ILS:487758 2024-07-15T04:25:53Z 2024-07-15T04:25:53Z Author&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Misra, Sanjay. editor. (orcid)0000-0002-3556-9331&#160;Rocha, Ana Maria Alves Coutinho. editor. (orcid)0000-0001-8679-2886&#160;Torre, Carmelo. editor. (orcid)0000-0003-4737-6040&#160;Rocha, Jorge Gustavo. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-09129-7">https://doi.org/10.1007/978-3-319-09129-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications - ICCSA 2014 14th International Conference, Guimar&atilde;es, Portugal, June 30 - July 3, 204, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:487790 2024-07-15T04:25:53Z 2024-07-15T04:25:53Z Author&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Misra, Sanjay. editor. (orcid)0000-0002-3556-9331&#160;Rocha, Ana Maria Alves Coutinho. editor. (orcid)0000-0001-8679-2886&#160;Torre, Carmelo. editor. (orcid)0000-0003-4737-6040&#160;Rocha, Jorge Gustavo. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-09147-1">https://doi.org/10.1007/978-3-319-09147-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel Processing and Applied Mathematics 10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013, Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:487767 2024-07-15T04:25:53Z 2024-07-15T04:25:53Z Author&#160;Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786&#160;Dongarra, Jack. editor.&#160;Karczewski, Konrad. editor.&#160;Wa&#347;niewski, Jerzy. 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-55224-3">https://doi.org/10.1007/978-3-642-55224-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Requirements Engineering First Asia Pacific Requirements Engineering Symposium, APRES 2014, Auckland, New Zealand, April 28-29, 2014, Proceedings ent://SD_ILS/0/SD_ILS:488510 2024-07-15T04:25:53Z 2024-07-15T04:25:53Z Author&#160;Zowghi, Didar. editor.&#160;Jin, Zhi. 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-43610-3">https://doi.org/10.1007/978-3-662-43610-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Process Design for Natural Scientists An Agile Model-Driven Approach ent://SD_ILS/0/SD_ILS:488739 2024-07-15T04:25:53Z 2024-07-15T04:25:53Z Author&#160;Lamprecht, Anna-Lena. editor.&#160;Margaria, Tiziana. 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-45006-2">https://doi.org/10.1007/978-3-662-45006-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cloud Computing and Services Science Third International Conference, CLOSER 2013, Aachen, Germany, May 8-10, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:489256 2024-07-15T04:25:53Z 2024-07-15T04:25:53Z Author&#160;Helfert, Markus. editor.&#160;Desprez, Fr&eacute;d&eacute;ric. editor.&#160;Ferguson, Donald. editor.&#160;Leymann, Frank. 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-11561-0">https://doi.org/10.1007/978-3-319-11561-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reachability Problems 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Proceedings ent://SD_ILS/0/SD_ILS:489310 2024-07-15T04:25:53Z 2024-07-15T04:25:53Z Author&#160;Ouaknine, Joel. editor.&#160;Potapov, Igor. editor.&#160;Worrell, James. 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-11439-2">https://doi.org/10.1007/978-3-319-11439-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings ent://SD_ILS/0/SD_ILS:489434 2024-07-15T04:25:53Z 2024-07-15T04:25:53Z Author&#160;Shao, Zhong. 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-54833-8">https://doi.org/10.1007/978-3-642-54833-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings ent://SD_ILS/0/SD_ILS:488914 2024-07-15T04:25:53Z 2024-07-15T04:25:53Z Author&#160;Cohen, Albert. 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-54807-9">https://doi.org/10.1007/978-3-642-54807-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proof ent://SD_ILS/0/SD_ILS:488919 2024-07-15T04:25:53Z 2024-07-15T04:25:53Z Author&#160;Kovalev, Mikhail. author.&#160;M&uuml;ller, Silvia M. author.&#160;Paul, Wolfgang J. 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-13906-7">https://doi.org/10.1007/978-3-319-13906-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Euro-Par 2014: Parallel Processing Workshops Euro-Par 2014 International Workshops, Porto, Portugal, August 25-26, 2014, Revised Selected Papers, Part II ent://SD_ILS/0/SD_ILS:488925 2024-07-15T04:25:53Z 2024-07-15T04:25:53Z Author&#160;Lopes, Lu&iacute;s. editor.&#160;&#381;ilinskas, Julius. editor.&#160;Costan, Alexandru. editor.&#160;Cascella, Roberto G. editor.&#160;Kecskemeti, Gabor. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-14313-2">https://doi.org/10.1007/978-3-319-14313-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> From Programs to Systems - The Systems Perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings ent://SD_ILS/0/SD_ILS:488965 2024-07-15T04:25:53Z 2024-07-15T04:25:53Z Author&#160;Bensalem, Saddek. editor.&#160;Lakhnech, Yassine. editor.&#160;Legay, Axel. 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-54848-2">https://doi.org/10.1007/978-3-642-54848-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II ent://SD_ILS/0/SD_ILS:488980 2024-07-15T04:25:53Z 2024-07-15T04:25:53Z Author&#160;Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-45231-8">https://doi.org/10.1007/978-3-662-45231-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings ent://SD_ILS/0/SD_ILS:489089 2024-07-15T04:25:53Z 2024-07-15T04:25:53Z Author&#160;Codish, Michael. editor.&#160;Sumii, Eijiro. 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-07151-0">https://doi.org/10.1007/978-3-319-07151-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> CONCUR 2014 &ndash; Concurrency Theory 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings. ent://SD_ILS/0/SD_ILS:489153 2024-07-15T04:25:53Z 2024-07-15T04:25:53Z Author&#160;Baldan, 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-662-44584-6">https://doi.org/10.1007/978-3-662-44584-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:489579 2024-07-15T04:25:53Z 2024-07-15T04:25:53Z Author&#160;Gupta, Gopal. editor.&#160;Pe&ntilde;a, Ricardo. 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-14125-1">https://doi.org/10.1007/978-3-319-14125-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Object-oriented software engineering : using UML, patterns, and Java ent://SD_ILS/0/SD_ILS:313618 2024-07-15T04:25:53Z 2024-07-15T04:25:53Z Author&#160;Bruegge, Bernd.&#160;Dutoit, Allen H.<br/>Preferred Shelf Number&#160;QA76.758 B785 2014<br/>Format:&#160;Books<br/>Availability&#160;Beytepe 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-07-15T04:25:53Z 2024-07-15T04:25:53Z 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/> Aligning Organizations Through Measurement The GQM+Strategies Approach ent://SD_ILS/0/SD_ILS:485471 2024-07-15T04:25:53Z 2024-07-15T04:25:53Z 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/> Engineering Secure Software and Systems 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014. Proceedings ent://SD_ILS/0/SD_ILS:485473 2024-07-15T04:25:53Z 2024-07-15T04:25:53Z Author&#160;J&uuml;rjens, Jan. editor.&#160;Piessens, Frank. editor.&#160;Bielova, Nataliia. 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-04897-0">https://doi.org/10.1007/978-3-319-04897-0</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-07-15T04:25:53Z 2024-07-15T04:25:53Z 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/> Software Architecture 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485645 2024-07-15T04:25:53Z 2024-07-15T04:25:53Z 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/> 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-07-15T04:25:53Z 2024-07-15T04:25:53Z 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/> 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-07-15T04:25:53Z 2024-07-15T04:25:53Z 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/> Service-Oriented Computing 12th International Conference, ICSOC 2014, Paris, France, November 3-6, 2014, Proceedings ent://SD_ILS/0/SD_ILS:487207 2024-07-15T04:25:53Z 2024-07-15T04:25:53Z 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/> Software Project Management in a Changing World ent://SD_ILS/0/SD_ILS:487243 2024-07-15T04:25:53Z 2024-07-15T04:25:53Z Author&#160;Ruhe, G&uuml;nther. editor.&#160;Wohlin, Claes. 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-55035-5">https://doi.org/10.1007/978-3-642-55035-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Situational Method Engineering ent://SD_ILS/0/SD_ILS:487285 2024-07-15T04:25:53Z 2024-07-15T04:25:53Z Author&#160;Henderson-Sellers, Brian. author.&#160;Ralyt&eacute;, Jolita. author.&#160;&Aring;gerfalk, P&auml;r J. author.&#160;Rossi, Matti. author. (orcid)0000-0001-8913-3747&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-41467-1">https://doi.org/10.1007/978-3-642-41467-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Systems Management in the Big Data Era ent://SD_ILS/0/SD_ILS:487441 2024-07-15T04:25:53Z 2024-07-15T04:25:53Z Author&#160;Lake, Peter. author.&#160;Drake, Robert. 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-13503-8">https://doi.org/10.1007/978-3-319-13503-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> User-Centred Engineering Creating Products for Humans ent://SD_ILS/0/SD_ILS:487580 2024-07-15T04:25:53Z 2024-07-15T04:25:53Z Author&#160;Richter, Michael. author.&#160;Fl&uuml;ckiger, Markus. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-43989-0">https://doi.org/10.1007/978-3-662-43989-0</a><br/>Format:&#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-07-15T04:25:53Z 2024-07-15T04:25:53Z 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/> Software Project Effort Estimation Foundations and Best Practice Guidelines for Success ent://SD_ILS/0/SD_ILS:488059 2024-07-15T04:25:53Z 2024-07-15T04:25:53Z Author&#160;Trendowicz, Adam. author.&#160;Jeffery, Ross. 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-03629-8">https://doi.org/10.1007/978-3-319-03629-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Practitioner's Knowledge Representation A Pathway to Improve Software Effort Estimation ent://SD_ILS/0/SD_ILS:488361 2024-07-15T04:25:53Z 2024-07-15T04:25:53Z Author&#160;Mendes, Emilia. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-54157-5">https://doi.org/10.1007/978-3-642-54157-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Lean Software Development in Action ent://SD_ILS/0/SD_ILS:488415 2024-07-15T04:25:53Z 2024-07-15T04:25:53Z Author&#160;Janes, Andrea. author.&#160;Succi, Giancarlo. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-00503-9">https://doi.org/10.1007/978-3-642-00503-9</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-07-15T04:25:53Z 2024-07-15T04:25:53Z 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/> 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-07-15T04:25:53Z 2024-07-15T04:25:53Z 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/> 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-07-15T04:25:53Z 2024-07-15T04:25:53Z 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 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-07-15T04:25:53Z 2024-07-15T04:25:53Z 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/> 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-07-15T04:25:53Z 2024-07-15T04:25:53Z 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/> Evolving Software Systems ent://SD_ILS/0/SD_ILS:487121 2024-07-15T04:25:53Z 2024-07-15T04:25:53Z Author&#160;Mens, Tom. editor.&#160;Serebrenik, Alexander. editor.&#160;Cleve, 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-642-45398-4">https://doi.org/10.1007/978-3-642-45398-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Continuous Software Engineering ent://SD_ILS/0/SD_ILS:487296 2024-07-15T04:25:53Z 2024-07-15T04:25:53Z 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/> 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-07-15T04:25:53Z 2024-07-15T04:25:53Z 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/> Computational Methods in Systems Biology 12th International Conference, CMSB 2014, Manchester, UK, November 17-19, 2014, Proceedings ent://SD_ILS/0/SD_ILS:487033 2024-07-15T04:25:53Z 2024-07-15T04:25:53Z Author&#160;Mendes, Pedro. editor.&#160;Dada, Joseph O. editor.&#160;Smallbone, Kieran. 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-12982-2">https://doi.org/10.1007/978-3-319-12982-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agile Kaizen Managing Continuous Improvement Far Beyond Retrospectives ent://SD_ILS/0/SD_ILS:487857 2024-07-15T04:25:53Z 2024-07-15T04:25:53Z Author&#160;Medinilla, &Aacute;ngel. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-54991-5">https://doi.org/10.1007/978-3-642-54991-5</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-07-15T04:25:53Z 2024-07-15T04:25:53Z 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/> Agile! The Good, the Hype and the Ugly ent://SD_ILS/0/SD_ILS:488675 2024-07-15T04:25:53Z 2024-07-15T04:25:53Z Author&#160;Meyer, Bertrand. author. (orcid)0000-0002-5985-7434&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-05155-0">https://doi.org/10.1007/978-3-319-05155-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multiple Access Communications 7th International Workshop, MACOM 2014, Halmstad, Sweden, August 27-28, 2014, Proceedings ent://SD_ILS/0/SD_ILS:489165 2024-07-15T04:25:53Z 2024-07-15T04:25:53Z Author&#160;Jonsson, Magnus. editor.&#160;Vinel, Alexey. editor.&#160;Bellalta, Boris. editor.&#160;Belyaev, Evgeny. 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-10262-7">https://doi.org/10.1007/978-3-319-10262-7</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-07-15T04:25:53Z 2024-07-15T04:25:53Z 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/> Agile Methods. Large-Scale Development, Refactoring, Testing, and Estimation XP 2014 International Workshops, Rome, Italy, May 26-30, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:489435 2024-07-15T04:25:53Z 2024-07-15T04:25:53Z Author&#160;Dings&oslash;yr, Torgeir. editor.&#160;Moe, Nils Brede. editor.&#160;Tonelli, Roberto. editor.&#160;Counsell, Steve. editor.&#160;Gencel, Cigdem. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-14358-3">https://doi.org/10.1007/978-3-319-14358-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ad-hoc, Mobile, and Wireless Networks 13th International Conference, ADHOC-NOW 2014, Benidorm, Spain, June 22-27, 2014 Proceedings ent://SD_ILS/0/SD_ILS:488917 2024-07-15T04:25:53Z 2024-07-15T04:25:53Z Author&#160;Guo, Song. editor.&#160;Mauri, Jaime Lloret. editor.&#160;Manzoni, Pietro. editor.&#160;Ruehrup, Stefan. 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-07425-2">https://doi.org/10.1007/978-3-319-07425-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Open Source Software: Mobile Open Source Technologies 10th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2014, San Jos&eacute;, Costa Rica, May 6-9, 2014, Proceedings ent://SD_ILS/0/SD_ILS:488881 2024-07-15T04:25:53Z 2024-07-15T04:25:53Z Author&#160;Corral, Luis. editor.&#160;Sillitti, Alberto. editor.&#160;Succi, Giancarlo. editor.&#160;Vlasenko, Jelena. editor.&#160;Wasserman, Anthony I. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-55128-4">https://doi.org/10.1007/978-3-642-55128-4</a><br/>Format:&#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-07-15T04:25:53Z 2024-07-15T04:25:53Z 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/> Engineering Secure Future Internet Services and Systems Current Research ent://SD_ILS/0/SD_ILS:488944 2024-07-15T04:25:53Z 2024-07-15T04:25:53Z Author&#160;Heisel, Maritta. editor.&#160;Joosen, Wouter. editor.&#160;L&oacute;pez, Javier. editor.&#160;Martinelli, Fabio. 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-07452-8">https://doi.org/10.1007/978-3-319-07452-8</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-07-15T04:25:53Z 2024-07-15T04:25:53Z 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/> 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-07-15T04:25:53Z 2024-07-15T04:25:53Z 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/> 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-07-15T04:25:53Z 2024-07-15T04:25:53Z 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/> 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-07-15T04:25:53Z 2024-07-15T04:25:53Z 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/>