Search Results for Software engineering. - Narrowed by: Online Library - Computer software. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSoftware$002bengineering.$0026qf$003dLIBRARY$002509Library$0025091$00253AONLINE$002509Online$002bLibrary$0026qf$003dSUBJECT$002509Subject$002509Computer$002bsoftware.$002509Computer$002bsoftware.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?dt=list 2024-07-12T22:44:59Z Search-Based Software Engineering 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings ent://SD_ILS/0/SD_ILS:398985 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Colanzi, Thelma Elita. editor. (orcid)0000-0001-9761-1999&#160;McMinn, Phil. editor. (orcid)0000-0001-9137-7433&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-99241-9">https://doi.org/10.1007/978-3-319-99241-9</a><br/>Format:&#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-07-12T22:44:59Z 2024-07-12T22:44:59Z 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/> 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-07-12T22:44:59Z 2024-07-12T22:44:59Z 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/> 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-07-12T22:44:59Z 2024-07-12T22:44:59Z 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/> 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-07-12T22:44:59Z 2024-07-12T22:44:59Z 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-07-12T22:44:59Z 2024-07-12T22:44:59Z 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/> 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-07-12T22:44:59Z 2024-07-12T22:44:59Z 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-07-12T22:44:59Z 2024-07-12T22:44:59Z 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-07-12T22:44:59Z 2024-07-12T22:44:59Z 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/> 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-07-12T22:44:59Z 2024-07-12T22:44:59Z 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/> New Software Engineering Paradigm Based on Complexity Science An Introduction to NSE ent://SD_ILS/0/SD_ILS:172841 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Xiong, Jay. 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-4419-7326-9">http://dx.doi.org/10.1007/978-1-4419-7326-9</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-07-12T22:44:59Z 2024-07-12T22:44:59Z 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/> 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-07-12T22:44:59Z 2024-07-12T22:44:59Z 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/> 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-07-12T22:44:59Z 2024-07-12T22:44:59Z 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/> 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-07-12T22:44:59Z 2024-07-12T22:44:59Z 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/> Software architectures and tools for computer aided process engineering ent://SD_ILS/0/SD_ILS:251974 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Braunschweig, Bertrand.&#160;Gani, R. (Rafiqul)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444508270">http://www.sciencedirect.com/science/book/9780444508270</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-07-12T22:44:59Z 2024-07-12T22:44:59Z 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 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-07-12T22:44:59Z 2024-07-12T22:44:59Z 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/> Computer Performance Engineering 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399954 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Bakhshi, Rena. editor.&#160;Ballarini, Paolo. editor.&#160;Barbot, Beno&icirc;t. editor.&#160;Castel-Taleb, Hind. editor.&#160;Remke, Anne. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-02227-3">https://doi.org/10.1007/978-3-030-02227-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> KI 2018: Advances in Artificial Intelligence 41st German Conference on AI, Berlin, Germany, September 24&ndash;28, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399101 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Trollmann, Frank. editor.&#160;Turhan, Anni-Yasmin. 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-00111-7">https://doi.org/10.1007/978-3-030-00111-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web Information Systems Engineering &ndash; WISE 2018 19th International Conference, Dubai, United Arab Emirates, November 12-15, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:399363 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Hacid, Hakim. editor. (orcid)0000-0003-2265-9343&#160;Cellary, Wojciech. editor. (orcid)0000-0001-8578-4307&#160;Wang, Hua. editor. (orcid)0000-0002-8465-0996&#160;Paik, Hye-Young. editor. (orcid)0000-0003-4425-7388&#160;Zhou, Rui. editor. (orcid)0000-0001-6807-4362<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-02922-7">https://doi.org/10.1007/978-3-030-02922-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> PRIMA 2018: Principles and Practice of Multi-Agent Systems 21st International Conference, Tokyo, Japan, October 29-November 2, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399403 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Miller, Tim. editor. (orcid)0000-0003-4908-6063&#160;Oren, Nir. editor. (orcid)0000-0002-4854-9014&#160;Sakurai, Yuko. editor. (orcid)0000-0002-0642-3878&#160;Noda, Itsuki. editor. (orcid)0000-0003-1987-5336&#160;Savarimuthu, Bastin Tony Roy. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-03098-8">https://doi.org/10.1007/978-3-030-03098-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multi-disciplinary Trends in Artificial Intelligence 12th International Conference, MIWAI 2018, Hanoi, Vietnam, November 18&ndash;20, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399405 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Kaenampornpan, Manasawee. editor.&#160;Malaka, Rainer. editor.&#160;Nguyen, Duc Dung. editor.&#160;Schwind, Nicolas. editor. (orcid)0000-0001-7972-5984&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-03014-8">https://doi.org/10.1007/978-3-030-03014-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recent Trends and Future Technology in Applied Intelligence 31st International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2018, Montreal, QC, Canada, June 25-28, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399589 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Mouhoub, Malek. editor.&#160;Sadaoui, Samira. editor.&#160;Ait Mohamed, Otmane. editor.&#160;Ali, Moonis. 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-92058-0">https://doi.org/10.1007/978-3-319-92058-0</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 IV ent://SD_ILS/0/SD_ILS:400175 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z 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-05063-4">https://doi.org/10.1007/978-3-030-05063-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Neural Networks &ndash; ISNN 2018 15th International Symposium on Neural Networks, ISNN 2018, Minsk, Belarus, June 25&ndash;28, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400100 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Huang, Tingwen. editor. (orcid)0000-0001-9610-846X&#160;Lv, Jiancheng. editor.&#160;Sun, Changyin. editor.&#160;Tuzikov, Alexander 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-92537-0">https://doi.org/10.1007/978-3-319-92537-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Green Energy Systems and Smart Grid First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part III ent://SD_ILS/0/SD_ILS:400102 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Li, Kang. editor.&#160;Zhang, Jianhua. editor.&#160;Chen, Minyou. editor.&#160;Yang, Zhile. editor.&#160;Niu, Qun. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-2381-2">https://doi.org/10.1007/978-981-13-2381-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Artificial Intelligence - IBERAMIA 2018 16th Ibero-American Conference on AI, Trujillo, Peru, November 13-16, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400105 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Simari, Guillermo R. editor. (orcid)0000-0001-6247-0428&#160;Ferm&eacute;, Eduardo. editor. (orcid)0000-0002-9618-2421&#160;Guti&eacute;rrez Segura, Flabio. editor.&#160;Rodr&iacute;guez Melquiades, Jos&eacute; Antonio. 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-03928-8">https://doi.org/10.1007/978-3-030-03928-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Large-Scale Scientific Computing 11th International Conference, LSSC 2017, Sozopol, Bulgaria, June 5-9, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400118 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Lirkov, Ivan. editor.&#160;Margenov, Svetozar. 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-73441-5">https://doi.org/10.1007/978-3-319-73441-5</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 II ent://SD_ILS/0/SD_ILS:400303 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z 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-05054-2">https://doi.org/10.1007/978-3-030-05054-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Machines, Computations, and Universality 8th International Conference, MCU 2018, Fontainebleau, France, June 28&ndash;30, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400340 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Durand-Lose, J&eacute;r&ocirc;me. editor. (orcid)0000-0001-6506-074X&#160;Verlan, Sergey. editor. (orcid)0000-0001-7800-1618&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-92402-1">https://doi.org/10.1007/978-3-319-92402-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Computing Theories and Application 14th International Conference, ICIC 2018, Wuhan, China, August 15-18, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:400512 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Huang, De-Shuang. editor.&#160;Bevilacqua, Vitoantonio. editor.&#160;Premaratne, Prashan. editor.&#160;Gupta, Phalguni. 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-95930-6">https://doi.org/10.1007/978-3-319-95930-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Bioinspired Optimization Methods and Their Applications 8th International Conference, BIOMA 2018, Paris, France, May 16-18, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401077 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Koro&scaron;ec, Peter. editor.&#160;Melab, Nouredine. editor.&#160;Talbi, El-Ghazali. 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-91641-5">https://doi.org/10.1007/978-3-319-91641-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence and Soft Computing 17th International Conference, ICAISC 2018, Zakopane, Poland, June 3-7, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:401204 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Rutkowski, Leszek. editor.&#160;Scherer, Rafa&#322;. editor.&#160;Korytkowski, Marcin. editor.&#160;Pedrycz, Witold. editor.&#160;Tadeusiewicz, Ryszard. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-91253-0">https://doi.org/10.1007/978-3-319-91253-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence and Soft Computing 17th International Conference, ICAISC 2018, Zakopane, Poland, June 3-7, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:401205 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Rutkowski, Leszek. editor.&#160;Scherer, Rafa&#322;. editor.&#160;Korytkowski, Marcin. editor.&#160;Pedrycz, Witold. editor.&#160;Tadeusiewicz, Ryszard. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-91262-2">https://doi.org/10.1007/978-3-319-91262-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Application and Theory of Petri Nets and Concurrency 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401274 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Khomenko, Victor. editor.&#160;Roux, Olivier H. 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-91268-4">https://doi.org/10.1007/978-3-319-91268-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401564 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Gallardo, Mar&iacute;a del Mar. editor.&#160;Merino, Pedro. 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-94111-0">https://doi.org/10.1007/978-3-319-94111-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applications of Evolutionary Computation 21st International Conference, EvoApplications 2018, Parma, Italy, April 4-6, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401979 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Sim, Kevin. editor. (orcid)0000-0001-6555-7721&#160;Kaufmann, Paul. editor. (orcid)0000-0001-7196-389X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-77538-8">https://doi.org/10.1007/978-3-319-77538-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Membrane Computing 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:402084 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Gheorghe, Marian. editor.&#160;Rozenberg, Grzegorz. editor.&#160;Salomaa, Arto. editor.&#160;Zandron, Claudio. 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-73359-3">https://doi.org/10.1007/978-3-319-73359-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings ent://SD_ILS/0/SD_ILS:402536 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Galmiche, Didier. editor.&#160;Schulz, Stephan. editor.&#160;Sebastiani, Roberto. 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-94205-6">https://doi.org/10.1007/978-3-319-94205-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Biomimetic and Biohybrid Systems 7th International Conference, Living Machines 2018, Paris, France, July 17&ndash;20, 2018, Proceedings ent://SD_ILS/0/SD_ILS:402555 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Vouloutsi, Vasiliki. editor. (orcid)0000-0001-6425-1026&#160;Halloy, Jos&eacute;. editor.&#160;Mura, Anna. editor.&#160;Mangan, Michael. editor. (orcid)0000-0002-0293-8874&#160;Lepora, Nathan. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-95972-6">https://doi.org/10.1007/978-3-319-95972-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4&ndash;6, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399515 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Jansen, David N. editor. (orcid)0000-0002-6636-3301&#160;Prabhakar, Pavithra. editor. (orcid)0000-0002-5368-3234&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00151-3">https://doi.org/10.1007/978-3-030-00151-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Collective Intelligence 10th International Conference, ICCCI 2018, Bristol, UK, September 5-7, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:399525 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Nguyen, Ngoc Thanh. editor.&#160;Pimenidis, Elias. editor.&#160;Khan, Zaheer. editor.&#160;Trawi&#324;ski, Bogdan. 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-98446-9">https://doi.org/10.1007/978-3-319-98446-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A Study Guide to the ISTQB&reg; Foundation Level 2018 Syllabus Test Techniques and Sample Mock Exams ent://SD_ILS/0/SD_ILS:399773 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Roman, Adam. 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-98740-8">https://doi.org/10.1007/978-3-319-98740-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> AI 2018: Advances in Artificial Intelligence 31st Australasian Joint Conference, Wellington, New Zealand, December 11-14, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399886 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Mitrovic, Tanja. editor.&#160;Xue, Bing. editor. (orcid)0000-0002-4865-8026&#160;Li, Xiaodong. editor. (orcid)0000-0003-0346-1526&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-03991-2">https://doi.org/10.1007/978-3-030-03991-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence 16th Russian Conference, RCAI 2018, Moscow, Russia, September 24-27, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399921 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001&#160;Osipov, Gennady S. editor. (orcid)0000-0002-5329-6234&#160;Stefanuk, Vadim L. 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-00617-4">https://doi.org/10.1007/978-3-030-00617-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Thinking First Algorithms, Then Code ent://SD_ILS/0/SD_ILS:399931 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Ferragina, Paolo. author.&#160;Luccio, Fabrizio. 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-97940-3">https://doi.org/10.1007/978-3-319-97940-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-07-12T22:44:59Z 2024-07-12T22:44:59Z 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-07-12T22:44:59Z 2024-07-12T22:44:59Z 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/> 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-07-12T22:44:59Z 2024-07-12T22:44:59Z 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/> 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-07-12T22:44:59Z 2024-07-12T22:44:59Z 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/> Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:401746 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786&#160;Dongarra, Jack. editor. (orcid)0000-0003-3247-1782&#160;Deelman, Ewa. editor. (orcid)0000-0001-5106-503X&#160;Karczewski, Konrad. 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-78024-5">https://doi.org/10.1007/978-3-319-78024-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graph Transformation, Specifications, and Nets In Memory of Hartmut Ehrig ent://SD_ILS/0/SD_ILS:402223 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Heckel, Reiko. editor.&#160;Taentzer, Gabriele. 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-75396-6">https://doi.org/10.1007/978-3-319-75396-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graph Drawing and Network Visualization 25th International Symposium, GD 2017, Boston, MA, USA, September 25-27, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399189 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Frati, Fabrizio. editor. (orcid)0000-0001-5987-8713&#160;Ma, Kwan-Liu. editor. (orcid)0000-0001-8086-0366&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-73915-1">https://doi.org/10.1007/978-3-319-73915-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Swarm Intelligence 11th International Conference, ANTS 2018, Rome, Italy, October 29&ndash;31, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399297 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Dorigo, Marco. editor. (orcid)0000-0002-3971-0507&#160;Birattari, Mauro. editor. (orcid)0000-0003-3309-2194&#160;Blum, Christian. editor. (orcid)0000-0002-1736-3559&#160;Christensen, Anders L. editor. (orcid)0000-0002-9994-2908&#160;Reina, Andreagiovanni. editor. (orcid)0000-0003-4745-992X<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00533-7">https://doi.org/10.1007/978-3-030-00533-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recent Advances in Intelligent Manufacturing First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:399654 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Wang, Shilong. editor.&#160;Price, Mark. editor.&#160;Lim, Ming K. editor.&#160;Jin, Yan. editor.&#160;Luo, Yuanxin. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-2396-6">https://doi.org/10.1007/978-981-13-2396-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26&ndash;28, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400075 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481&#160;Bensalem, Saddek. editor.&#160;Bliudze, Simon. editor. (orcid)0000-0002-7900-5271&#160;Monsuez, Bruno. 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-00359-3">https://doi.org/10.1007/978-3-030-00359-3</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 I ent://SD_ILS/0/SD_ILS:400155 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z 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-96145-3">https://doi.org/10.1007/978-3-319-96145-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Computing and Internet of Things First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:400314 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Li, Kang. editor.&#160;Fei, Minrui. editor.&#160;Du, Dajun. editor.&#160;Yang, Zhile. editor.&#160;Yang, Dongsheng. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-2384-3">https://doi.org/10.1007/978-981-13-2384-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection 16th International Conference, PAAMS 2018, Toledo, Spain, June 20&ndash;22, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400322 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Demazeau, Yves. editor.&#160;An, Bo. editor. (orcid)0000-0002-7064-7438&#160;Bajo, Javier. editor.&#160;Fern&aacute;ndez-Caballero, Antonio. 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-94580-4">https://doi.org/10.1007/978-3-319-94580-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human Centered Computing Third International Conference, HCC 2017, Kazan, Russia, August 7&ndash;9, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400773 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Zu, Qiaohong. editor.&#160;Hu, Bo. 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-74521-3">https://doi.org/10.1007/978-3-319-74521-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> SOFSEM 2018: Theory and Practice of Computer Science 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400711 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Tjoa, A Min. editor. (orcid)0000-0002-8295-9252&#160;Bellatreche, Ladjel. editor.&#160;Biffl, Stefan. editor.&#160;van Leeuwen, Jan. editor.&#160;Wiedermann, Ji&#345;&iacute;. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-73117-9">https://doi.org/10.1007/978-3-319-73117-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Structured Object-Oriented Formal Language and Method 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400716 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Tian, Cong. editor.&#160;Nagoya, Fumiko. editor.&#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-90104-6">https://doi.org/10.1007/978-3-319-90104-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hybrid Artificial Intelligent Systems 13th International Conference, HAIS 2018, Oviedo, Spain, June 20-22, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401457 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;de Cos Juez, Francisco Javier. editor.&#160;Villar, Jos&eacute; Ram&oacute;n. editor.&#160;de la Cal, Enrique A. editor.&#160;Herrero, &Aacute;lvaro. editor.&#160;Quinti&aacute;n, H&eacute;ctor. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-92639-1">https://doi.org/10.1007/978-3-319-92639-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Swarm Intelligence 9th International Conference, ICSI 2018, Shanghai, China, June 17-22, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:401537 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Tan, Ying. editor.&#160;Shi, Yuhui. editor.&#160;Tang, Qirong. 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-93815-8">https://doi.org/10.1007/978-3-319-93815-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Intelligence and Its Applications 6th IFIP TC 5 International Conference, CIIA 2018, Oran, Algeria, May 8-10, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401557 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Amine, Abdelmalek. editor.&#160;Mouhoub, Malek. editor. (orcid)0000-0001-7381-1064&#160;Ait Mohamed, Otmane. editor.&#160;Djebbar, Bachir. 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-89743-1">https://doi.org/10.1007/978-3-319-89743-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334014 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Qadeer, Shaz. editor.&#160;Tasiran, Serdar. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334014.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35632-2">http://dx.doi.org/10.1007/978-3-642-35632-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Computing and Networking 14th International Conference, ICDCN 2013, Mumbai, India, January 3-6, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334025 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Frey, Davide. editor.&#160;Raynal, Michel. editor.&#160;Sarkar, Saswati. editor.&#160;Shyamasundar, Rudrapatna K. editor.&#160;Sinha, Prasun. editor.<br/>Preferred Shelf Number&#160;ONLINE(334025.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35668-1">http://dx.doi.org/10.1007/978-3-642-35668-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Wireless Sensor Networks 10th European Conference, EWSN 2013, Ghent, Belgium, February 13-15, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334263 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Demeester, Piet. editor.&#160;Moerman, Ingrid. editor.&#160;Terzis, Andreas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334263.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36672-7">http://dx.doi.org/10.1007/978-3-642-36672-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:334547 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Coecke, Bob. editor.&#160;Ong, Luke. editor.&#160;Panangaden, Prakash. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334547.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38164-5">http://dx.doi.org/10.1007/978-3-642-38164-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Deduction &ndash; CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334626 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Bonacina, Maria Paola. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334626.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38574-2">http://dx.doi.org/10.1007/978-3-642-38574-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reversible Computation 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334708 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Dueck, Gerhard W. editor.&#160;Miller, D. Michael. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334708.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38986-3">http://dx.doi.org/10.1007/978-3-642-38986-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Emerging Management Mechanisms for the Future Internet 7th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2013, Barcelona, Spain, June 25-28, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334710 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Doyen, Guillaume. editor.&#160;Waldburger, Martin. editor.&#160;&#268;eleda, Pavel. editor.&#160;Sperotto, Anna. editor.&#160;Stiller, Burkhard. editor.<br/>Preferred Shelf Number&#160;ONLINE(334710.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38998-6">http://dx.doi.org/10.1007/978-3-642-38998-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reversible Computation 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers ent://SD_ILS/0/SD_ILS:334174 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Gl&uuml;ck, Robert. editor.&#160;Yokoyama, Tetsuo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334174.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36315-3">http://dx.doi.org/10.1007/978-3-642-36315-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334278 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Piterman, Nir. editor.&#160;Smolka, Scott A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334278.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36742-7">http://dx.doi.org/10.1007/978-3-642-36742-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Membrane Computing 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334280 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Csuhaj-Varj&uacute;, Erzs&eacute;bet. editor.&#160;Gheorghe, Marian. editor.&#160;Rozenberg, Grzegorz. editor.&#160;Salomaa, Arto. editor.&#160;Vaszil, Gy&ouml;rgy. editor.<br/>Preferred Shelf Number&#160;ONLINE(334280.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36751-9">http://dx.doi.org/10.1007/978-3-642-36751-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Smart Card Research and Advanced Applications 11th International Conference, CARDIS 2012, Graz, Austria, November 28-30, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334401 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Mangard, Stefan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334401.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37288-9">http://dx.doi.org/10.1007/978-3-642-37288-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Infocomm Technology 5th IEEE International Conference, ICAIT 2012, Paris, France, July 25-27, 2012. Revised Papers ent://SD_ILS/0/SD_ILS:334561 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Guyot, Vincent. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334561.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38227-7">http://dx.doi.org/10.1007/978-3-642-38227-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Analytical and Stochastic Modeling Techniques and Applications 20th International Conference, ASMTA 2013, Ghent, Belgium, July 8-10, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334797 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Dudin, Alexander. editor.&#160;Turck, Koen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334797.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39408-9">http://dx.doi.org/10.1007/978-3-642-39408-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial General Intelligence 6th International Conference, AGI 2013, Beijing, China, July 31 &ndash; August 3, 2013 Proceedings ent://SD_ILS/0/SD_ILS:334814 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;K&uuml;hnberger, Kai-Uwe. editor.&#160;Rudolph, Sebastian. editor.&#160;Wang, Pei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334814.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39521-5">http://dx.doi.org/10.1007/978-3-642-39521-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Combinatorics on Words 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings ent://SD_ILS/0/SD_ILS:334973 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Karhum&auml;ki, Juhani. editor.&#160;Lepist&ouml;, Arto. editor.&#160;Zamboni, Luca. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334973.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40579-2">http://dx.doi.org/10.1007/978-3-642-40579-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335003 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Legay, Axel. editor.&#160;Bensalem, Saddek. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335003.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40787-1">http://dx.doi.org/10.1007/978-3-642-40787-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Safety, Reliability, and Security 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335005 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Bitsch, Friedemann. editor.&#160;Guiochet, J&eacute;r&eacute;mie. editor.&#160;Ka&acirc;niche, Mohamed. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335005.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40793-2">http://dx.doi.org/10.1007/978-3-642-40793-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335023 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Fontaine, Pascal. editor.&#160;Ringeissen, Christophe. editor.&#160;Schmidt, Renate A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335023.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40885-4">http://dx.doi.org/10.1007/978-3-642-40885-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Information Systems and Industrial Management 12th IFIP TC8 International Conference, CISIM 2013, Krakow, Poland, September 25-27, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335029 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Saeed, Khalid. editor.&#160;Chaki, Rituparna. editor.&#160;Cortesi, Agostino. editor.&#160;Wierzcho&#324;, S&#322;awomir. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335029.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40925-7">http://dx.doi.org/10.1007/978-3-642-40925-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Logistics 4th International Conference, ICCL 2013, Copenhagen, Denmark, September 25-27, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335043 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Pacino, Dario. editor.&#160;Vo&szlig;, Stefan. editor.&#160;Jensen, Rune M&oslash;ller. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335043.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41019-2">http://dx.doi.org/10.1007/978-3-642-41019-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings ent://SD_ILS/0/SD_ILS:335046 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Abdulla, Parosh Aziz. editor.&#160;Potapov, Igor. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335046.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41036-9">http://dx.doi.org/10.1007/978-3-642-41036-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Wireless Sensor Networks for Developing Countries First International Conference, WSN4DC, Jamshoro, Pakistan, April 24-26, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:335048 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Shaikh, Faisal Karim. editor.&#160;Chowdhry, Bhawani Shankar. editor.&#160;Ammari, Habib M. editor.&#160;Uqaili, Muhammad Aslam. editor.&#160;Shah, Assadullah. editor.<br/>Preferred Shelf Number&#160;ONLINE(335048.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41054-3">http://dx.doi.org/10.1007/978-3-642-41054-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Practice of Natural Computing Second International Conference, TPNC 2013, C&aacute;ceres, Spain, December 3-5, 2013, Proceedings ent://SD_ILS/0/SD_ILS:335178 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Dediu, Adrian-Horia. editor.&#160;Mart&iacute;n-Vide, Carlos. editor.&#160;Truthe, Bianca. editor.&#160;Vega-Rodr&iacute;guez, Miguel A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335178.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-45008-2">http://dx.doi.org/10.1007/978-3-642-45008-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Parallel Processing Technologies 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:335206 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Wu, Chenggang. editor.&#160;Cohen, Albert. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335206.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-45293-2">http://dx.doi.org/10.1007/978-3-642-45293-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> SOFSEM 2013: Theory and Practice of Computer Science 39th International Conference on Current Trends in Theory and Practice of Computer Science, &Scaron;pindler&#367;v Ml&yacute;n, Czech Republic, January 26-31, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334064 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Emde Boas, Peter. editor.&#160;Groen, Frans C. A. editor.&#160;Italiano, Giuseppe F. editor.&#160;Nawrocki, Jerzy. editor.&#160;Sack, Harald. editor.<br/>Preferred Shelf Number&#160;ONLINE(334064.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35843-2">http://dx.doi.org/10.1007/978-3-642-35843-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Job Scheduling Strategies for Parallel Processing 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012. Revised Selected Papers ent://SD_ILS/0/SD_ILS:334071 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Cirne, Walfredo. editor.&#160;Desai, Narayan. editor.&#160;Frachtenberg, Eitan. editor.&#160;Schwiegelshohn, Uwe. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334071.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35867-8">http://dx.doi.org/10.1007/978-3-642-35867-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Euro-Par 2012: Parallel Processing Workshops BDMC, CGWS, HeteroPar, HiBB, OMHI, Paraphrase, PROPER, Resilience, UCHPC, VHPC, Rhodes Islands, Greece, August 27-31, 2012. Revised Selected Papers ent://SD_ILS/0/SD_ILS:334328 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Caragiannis, Ioannis. editor.&#160;Alexander, Michael. editor.&#160;Badia, Rosa Maria. editor.&#160;Cannataro, Mario. editor.&#160;Costan, Alexandru. editor.<br/>Preferred Shelf Number&#160;ONLINE(334328.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36949-0">http://dx.doi.org/10.1007/978-3-642-36949-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pervasive Computing and the Networked World Joint International Conference, ICPCA/SWS 2012, Istanbul, Turkey, November 28-30, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334342 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Zu, Qiaohong. editor.&#160;Hu, Bo. editor.&#160;El&ccedil;i, Atilla. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334342.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37015-1">http://dx.doi.org/10.1007/978-3-642-37015-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334825 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Blazy, Sandrine. editor.&#160;Paulin-Mohring, Christine. editor.&#160;Pichardie, David. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334825.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39634-2">http://dx.doi.org/10.1007/978-3-642-39634-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part I ent://SD_ILS/0/SD_ILS:334826 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Murgante, Beniamino. editor.&#160;Misra, Sanjay. editor.&#160;Carlini, Maurizio. editor.&#160;Torre, Carmelo M. editor.&#160;Nguyen, Hong-Quang. editor.<br/>Preferred Shelf Number&#160;ONLINE(334826.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39637-3">http://dx.doi.org/10.1007/978-3-642-39637-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part V ent://SD_ILS/0/SD_ILS:334827 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Murgante, Beniamino. editor.&#160;Misra, Sanjay. editor.&#160;Carlini, Maurizio. editor.&#160;Torre, Carmelo M. editor.&#160;Nguyen, Hong-Quang. editor.<br/>Preferred Shelf Number&#160;ONLINE(334827.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39640-3">http://dx.doi.org/10.1007/978-3-642-39640-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part II ent://SD_ILS/0/SD_ILS:334828 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Murgante, Beniamino. editor.&#160;Misra, Sanjay. editor.&#160;Carlini, Maurizio. editor.&#160;Torre, Carmelo M. editor.&#160;Nguyen, Hong-Quang. editor.<br/>Preferred Shelf Number&#160;ONLINE(334828.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39643-4">http://dx.doi.org/10.1007/978-3-642-39643-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part III ent://SD_ILS/0/SD_ILS:334829 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Murgante, Beniamino. editor.&#160;Misra, Sanjay. editor.&#160;Carlini, Maurizio. editor.&#160;Torre, Carmelo M. editor.&#160;Nguyen, Hong-Quang. editor.<br/>Preferred Shelf Number&#160;ONLINE(334829.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39646-5">http://dx.doi.org/10.1007/978-3-642-39646-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:334830 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Murgante, Beniamino. editor.&#160;Misra, Sanjay. editor.&#160;Carlini, Maurizio. editor.&#160;Torre, Carmelo M. editor.&#160;Nguyen, Hong-Quang. editor.<br/>Preferred Shelf Number&#160;ONLINE(334830.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39649-6">http://dx.doi.org/10.1007/978-3-642-39649-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel Computing Technologies 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334871 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Malyshkin, Victor. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334871.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39958-9">http://dx.doi.org/10.1007/978-3-642-39958-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Security and Trust Management 9th International Workshop, STM 2013, Egham, UK, September 12-13, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335057 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Accorsi, Rafael. editor.&#160;Ranise, Silvio. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335057.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41098-7">http://dx.doi.org/10.1007/978-3-642-41098-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trustworthy Global Computing 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:335066 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Palamidessi, Catuscia. editor.&#160;Ryan, Mark D. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335066.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41157-1">http://dx.doi.org/10.1007/978-3-642-41157-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Internet and Distributed Computing Systems 6th International Conference, IDCS 2013, Hangzhou, China, October 28-30, 2013, Proceedings ent://SD_ILS/0/SD_ILS:335105 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Pathan, Mukaddim. editor.&#160;Wei, Guiyi. editor.&#160;Fortino, Giancarlo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335105.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41428-2">http://dx.doi.org/10.1007/978-3-642-41428-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evolution of Telecommunication Services The Convergence of Telecom and Internet: Technologies and Ecosystems ent://SD_ILS/0/SD_ILS:335123 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Bertin, Emmanuel. editor.&#160;Crespi, Noel. editor.&#160;Magedanz, Thomas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335123.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41569-2">http://dx.doi.org/10.1007/978-3-642-41569-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift ent://SD_ILS/0/SD_ILS:332822 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Paule, Peter. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332822.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-00966-7">http://dx.doi.org/10.1007/978-3-319-00966-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Stabilization, Safety, and Security of Distributed Systems 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings ent://SD_ILS/0/SD_ILS:332964 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Higashino, Teruo. editor.&#160;Katayama, Yoshiaki. editor.&#160;Masuzawa, Toshimitsu. editor.&#160;Potop-Butucaru, Maria. editor.&#160;Yamashita, Masafumi. editor.<br/>Preferred Shelf Number&#160;ONLINE(332964.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03089-0">http://dx.doi.org/10.1007/978-3-319-03089-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part I ent://SD_ILS/0/SD_ILS:332993 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Panigrahi, Bijaya Ketan. editor.&#160;Suganthan, Ponnuthurai Nagaratnam. editor.&#160;Das, Swagatam. editor.&#160;Dash, Shubhransu Sekhar. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332993.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03753-0">http://dx.doi.org/10.1007/978-3-319-03753-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part II ent://SD_ILS/0/SD_ILS:332994 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Panigrahi, Bijaya Ketan. editor.&#160;Suganthan, Ponnuthurai Nagaratnam. editor.&#160;Das, Swagatam. editor.&#160;Dash, Shubhransu Sekhar. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332994.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03756-1">http://dx.doi.org/10.1007/978-3-319-03756-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles of Distributed Systems 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings ent://SD_ILS/0/SD_ILS:332999 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Baldoni, Roberto. editor.&#160;Nisse, Nicolas. editor.&#160;Steen, Maarten. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332999.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03850-6">http://dx.doi.org/10.1007/978-3-319-03850-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms and Architectures for Parallel Processing 13th International Conference, ICA3PP 2013, Vietri sul Mare, Italy, December 18-20, 2013, Proceedings, Part I ent://SD_ILS/0/SD_ILS:333000 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Ko&#322;odziej, Joanna. editor.&#160;Martino, Beniamino. editor.&#160;Talia, Domenico. editor.&#160;Xiong, Kaiqi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333000.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03859-9">http://dx.doi.org/10.1007/978-3-319-03859-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multiple Access Communcations 6th International Workshop, MACOM 2013, Vilnius, Lithuania, December 16-17, 2013. Proceedings ent://SD_ILS/0/SD_ILS:333001 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Jonsson, Magnus. editor.&#160;Vinel, Alexey. editor.&#160;Bellalta, Boris. editor.&#160;Marina, Ninoslav. editor.&#160;Dimitrova, Desislava. editor.<br/>Preferred Shelf Number&#160;ONLINE(333001.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03871-1">http://dx.doi.org/10.1007/978-3-319-03871-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms and Architectures for Parallel Processing 13th International Conference, ICA3PP 2013, Vietri sul Mare, Italy, December 18-20, 2013, Proceedings, Part II ent://SD_ILS/0/SD_ILS:333003 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Aversa, Rocco. editor.&#160;Ko&#322;odziej, Joanna. editor.&#160;Zhang, Jun. editor.&#160;Amato, Flora. editor.&#160;Fortino, Giancarlo. editor.<br/>Preferred Shelf Number&#160;ONLINE(333003.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03889-6">http://dx.doi.org/10.1007/978-3-319-03889-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical and Engineering Methods in Computer Science 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334106 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Ku&#269;era, Anton&iacute;n. editor.&#160;Henzinger, Thomas A. editor.&#160;Ne&scaron;et&#345;il, Jaroslav. editor.&#160;Vojnar, Tom&aacute;&scaron;. editor.&#160;Anto&scaron;, David. editor.<br/>Preferred Shelf Number&#160;ONLINE(334106.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36046-6">http://dx.doi.org/10.1007/978-3-642-36046-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Solution of Differential Equations by the Finite Element Method The FEniCS Book ent://SD_ILS/0/SD_ILS:195237 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Logg, Anders. editor.&#160;Mardal, Kent-Andre. editor.&#160;Wells, Garth. 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-23099-8">http://dx.doi.org/10.1007/978-3-642-23099-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory of Security and Applications Joint Workshop, TOSCA 2011, Saarbr&uuml;cken, Germany, March 31 - April 1, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196178 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;M&ouml;dersheim, Sebastian. editor.&#160;Palamidessi, Catuscia. 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-27375-9">http://dx.doi.org/10.1007/978-3-642-27375-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations and Practice of Security 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196294 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Garcia-Alfaro, Joaquin. editor.&#160;Lafourcade, Pascal. 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-27901-0">http://dx.doi.org/10.1007/978-3-642-27901-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verification, Model Checking, and Abstract Interpretation 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196304 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Kuncak, Viktor. editor.&#160;Rybalchenko, 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-27940-9">http://dx.doi.org/10.1007/978-3-642-27940-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> SOFSEM 2012: Theory and Practice of Computer Science 38th Conference on Current Trends in Theory and Practice of Computer Science, &Scaron;pindler&#367;v Ml&yacute;n, Czech Republic, January 21-27, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196264 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Bielikov&aacute;, M&aacute;ria. editor.&#160;Friedrich, Gerhard. editor.&#160;Gottlob, Georg. editor.&#160;Katzenbeisser, Stefan. editor.&#160;Tur&aacute;n, Gy&ouml;rgy. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-27660-6">http://dx.doi.org/10.1007/978-3-642-27660-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Building a National Distributed e-Infrastructure&ndash;PL-Grid Scientific and Technical Achievements ent://SD_ILS/0/SD_ILS:196398 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Bubak, Marian. editor.&#160;Szepieniec, Tomasz. editor.&#160;Wiatr, Kazimierz. 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-28267-6">http://dx.doi.org/10.1007/978-3-642-28267-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reconfigurable Computing: Architectures, Tools and Applications 8th International Symposium, ARC 2012, Hong Kong, China, March 19-23, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196427 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Choy, Oliver C. S. editor.&#160;Cheung, Ray C. C. editor.&#160;Athanas, Peter. editor.&#160;Sano, Kentaro. 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-28365-9">http://dx.doi.org/10.1007/978-3-642-28365-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multi-Agent-Based Simulation XII International Workshop, MABS 2011, Taipei, Taiwan, May 2-6, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196436 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Villatoro, Daniel. editor.&#160;Sabater-Mir, Jordi. editor.&#160;Sichman, Jaime Sim&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-28400-7">http://dx.doi.org/10.1007/978-3-642-28400-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Petri Nets and Other Models of Concurrency V ent://SD_ILS/0/SD_ILS:196605 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Jensen, Kurt. editor.&#160;Donatelli, Susanna. editor.&#160;Kleijn, Jetty. 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-29072-5">http://dx.doi.org/10.1007/978-3-642-29072-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mobile and Ubiquitous Systems: Computing, Networking, and Services 7th International ICST Conference, MobiQuitous 2010, Sydeny, Australia, December 6-9, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196628 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;S&eacute;nac, Patrick. editor.&#160;Ott, Max. editor.&#160;Seneviratne, Aruna. 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-29154-8">http://dx.doi.org/10.1007/978-3-642-29154-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Quality, Reliability, Security and Robustness in Heterogeneous Networks 7th International Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness, QShine 2010, and Dedicated Short Range Communications Workshop, DSRC 2010, Houston, TX, USA, November 17-19, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196648 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Zhang, Xi. editor.&#160;Qiao, Daji. 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-29222-4">http://dx.doi.org/10.1007/978-3-642-29222-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Runtime Verification Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196784 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Khurshid, Sarfraz. editor.&#160;Sen, Koushik. 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-29860-8">http://dx.doi.org/10.1007/978-3-642-29860-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> NETWORKING 2012 Workshops International IFIP TC 6 Workshops, ETICS, HetsNets, and CompNets, Held at NETWORKING 2012, Prague, Czech Republic, May 25, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196818 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Becvar, Zdenek. editor.&#160;Bestak, Robert. editor.&#160;Kencl, Lukas. 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-30039-4">http://dx.doi.org/10.1007/978-3-642-30039-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> NETWORKING 2012 11th International IFIP TC 6 Networking Conference, Prague, Czech Republic, May 21-25, 2012, Proceedings, Part I ent://SD_ILS/0/SD_ILS:196820 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Bestak, Robert. editor.&#160;Kencl, Lukas. editor.&#160;Li, Li Erran. editor.&#160;Widmer, Joerg. editor.&#160;Yin, Hao. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30045-5">http://dx.doi.org/10.1007/978-3-642-30045-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> NETWORKING 2012 11th International IFIP TC 6 Networking Conference, Prague, Czech Republic, May 21-25, 2012, Proceedings, Part II ent://SD_ILS/0/SD_ILS:196821 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Bestak, Robert. editor.&#160;Kencl, Lukas. editor.&#160;Li, Li Erran. editor.&#160;Widmer, Joerg. editor.&#160;Yin, Hao. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30054-7">http://dx.doi.org/10.1007/978-3-642-30054-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trustworthy Global Computing 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers ent://SD_ILS/0/SD_ILS:196823 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Bruni, Roberto. editor.&#160;Sassone, Vladimiro. 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-30065-3">http://dx.doi.org/10.1007/978-3-642-30065-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Game Theory for Networks 2nd International ICST Conference, GAMENETS 2011, Shanghai, China, April 16-18, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196869 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Jain, Rahul. editor.&#160;Kannan, Rajgopal. 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-30373-9">http://dx.doi.org/10.1007/978-3-642-30373-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Broadband Communications, Networks, and Systems 7th International ICST Conference, BROADNETS 2010, Athens, Greece, October 25&ndash;27, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196870 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Tomkos, Ioannis. editor.&#160;Bouras, Christos J. editor.&#160;Ellinas, Georgios. editor.&#160;Demestichas, Panagiotis. editor.&#160;Sinha, Prasun. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30376-0">http://dx.doi.org/10.1007/978-3-642-30376-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mobile and Ubiquitous Systems: Computing, Networking, and Services 8th International ICST Conference, MobiQuitous 2011, Copenhagen, Denmark, December 6-9, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196998 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Puiatti, Alessandro. editor.&#160;Gu, Tao. 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-30973-1">http://dx.doi.org/10.1007/978-3-642-30973-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel Processing and Applied Mathematics 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:197082 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Wyrzykowski, Roman. editor.&#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="http://dx.doi.org/10.1007/978-3-642-31464-3">http://dx.doi.org/10.1007/978-3-642-31464-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Progress in VLSI Design and Test 16th International Symposium, VDAT 2012, Shibpur, India, July 1-4, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197090 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Rahaman, Hafizur. editor.&#160;Chattopadhyay, Sanatan. editor.&#160;Chattopadhyay, Santanu. 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-31494-0">http://dx.doi.org/10.1007/978-3-642-31494-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel Processing and Applied Mathematics 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised Selected Papers, Part II ent://SD_ILS/0/SD_ILS:197092 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Wyrzykowski, Roman. editor.&#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="http://dx.doi.org/10.1007/978-3-642-31500-8">http://dx.doi.org/10.1007/978-3-642-31500-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Wireless Algorithms, Systems, and Applications 7th International Conference, WASA 2012, Yellow Mountains, China, August 8-10, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197147 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Wang, Xinbing. editor.&#160;Zheng, Rong. editor.&#160;Jing, Tao. editor.&#160;Xing, Kai. 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-31869-6">http://dx.doi.org/10.1007/978-3-642-31869-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Signal Processing and Information Technology First International Joint Conference, SPIT 2011 and IPC 2011, Amsterdam, The Netherlands, December 1-2, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:197234 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Das, Vinu V. editor.&#160;Ariwa, Ezendu. editor.&#160;Rahayu, Syarifah Bahiyah. 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-32573-1">http://dx.doi.org/10.1007/978-3-642-32573-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Computing 26th International Symposium, DISC 2012, Salvador, Brazil, October 16-18, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197415 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Aguilera, Marcos 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-3-642-33651-5">http://dx.doi.org/10.1007/978-3-642-33651-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graph Transformations 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197416 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Ehrig, Hartmut. editor.&#160;Engels, Gregor. editor.&#160;Kreowski, Hans-J&ouml;rg. editor.&#160;Rozenberg, Grzegorz. 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-33654-6">http://dx.doi.org/10.1007/978-3-642-33654-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Safety, Reliability, and Security 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197420 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Ortmeier, Frank. editor.&#160;Daniel, 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-33678-2">http://dx.doi.org/10.1007/978-3-642-33678-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Practice of Natural Computing First International Conference, TPNC 2012, Tarragona, Spain, October 2-4, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197439 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Dediu, Adrian-Horia. editor.&#160;Mart&iacute;n-Vide, Carlos. editor.&#160;Truthe, Bianca. 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-33860-1">http://dx.doi.org/10.1007/978-3-642-33860-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Computing and Applications Third International Conference, ICICA 2012, Chengde, China, September 14-16, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197467 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Liu, Baoxiang. editor.&#160;Ma, Maode. editor.&#160;Chang, Jincai. 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-34062-8">http://dx.doi.org/10.1007/978-3-642-34062-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Middleware 2012 ACM/IFIP/USENIX 13th International Middleware Conference, Montreal, QC, Canada, December 3-7, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197573 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Narasimhan, Priya. editor.&#160;Triantafillou, 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-35170-9">http://dx.doi.org/10.1007/978-3-642-35170-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Applications for Modeling, Simulation, and Automobile International Conferences, MAS and ASNT 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197583 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Kim, Tai-hoon. editor.&#160;Ramos, Carlos. editor.&#160;Abawajy, Jemal. editor.&#160;Kang, Byeong-Ho. editor.&#160;&#346;l&#281;zak, Dominik. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35248-5">http://dx.doi.org/10.1007/978-3-642-35248-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Green and Smart Technology with Sensor Applications International Conferences, GST and SIA 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197584 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Cho, Hyun-seob. editor.&#160;Kim, Tai-hoon. editor.&#160;Mohammed, Sabah. editor.&#160;Adeli, Hojjat. editor.&#160;Oh, Myoung-kwan. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35251-5">http://dx.doi.org/10.1007/978-3-642-35251-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Internet and Network Economics 8th International Workshop, WINE 2012, Liverpool, UK, December 10-12, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197593 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Goldberg, Paul W. 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-35311-6">http://dx.doi.org/10.1007/978-3-642-35311-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Swarm, Evolutionary, and Memetic Computing Third International Conference, SEMCCO 2012, Bhubaneswar, India, December 20-22, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197600 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Panigrahi, Bijaya Ketan. editor.&#160;Das, Swagatam. editor.&#160;Suganthan, Ponnuthurai Nagaratnam. editor.&#160;Nanda, Pradipta Kumar. 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-35380-2">http://dx.doi.org/10.1007/978-3-642-35380-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles of Distributed Systems 16th International Conference, OPODIS 2012, Rome, Italy, December 18-20, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197607 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Baldoni, Roberto. editor.&#160;Flocchini, Paola. editor.&#160;Binoy, Ravindran. 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-35476-2">http://dx.doi.org/10.1007/978-3-642-35476-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial General Intelligence 5th International Conference, AGI 2012, Oxford, UK, December 8-11, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197608 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Bach, Joscha. editor.&#160;Goertzel, Ben. editor.&#160;Ikl&eacute;, Matthew. 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-35506-6">http://dx.doi.org/10.1007/978-3-642-35506-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Future Generation Information Technology 4th International Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197619 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Kim, Tai-hoon. editor.&#160;Lee, Young-hoon. editor.&#160;Fang, Wai-chi. 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-35585-1">http://dx.doi.org/10.1007/978-3-642-35585-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Applications for Communication, Networking, and Digital Contents International Conferences, FGCN and DCA 2012, Held as Part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197620 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Kim, Tai-hoon. editor.&#160;Ko, Dae-sik. editor.&#160;Vasilakos, Thanos. editor.&#160;Stoica, Adrian. editor.&#160;Abawajy, Jemal. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35594-3">http://dx.doi.org/10.1007/978-3-642-35594-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Applications for Graphics, Grid Computing, and Industrial Environment International Conferences, GDC, IESH and CGAG 2012, Held as Part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197621 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Kim, Tai-hoon. editor.&#160;Cho, Hyun-seob. editor.&#160;Gervasi, Osvaldo. editor.&#160;Yau, Stephen S. 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-35600-1">http://dx.doi.org/10.1007/978-3-642-35600-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Applications for Database, Education, and Ubiquitous Computing International Conferences, EL, DTA and UNESST 2012, Held as Part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197622 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Kim, Tai-hoon. editor.&#160;Ma, Jianhua. editor.&#160;Fang, Wai-chi. editor.&#160;Zhang, Yanchun. editor.&#160;Cuzzocrea, Alfredo. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35603-2">http://dx.doi.org/10.1007/978-3-642-35603-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Network and Parallel Computing 9th IFIP International Conference, NPC 2012, Gwangju, Korea, September 6-8, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197623 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Park, James J. editor.&#160;Zomaya, Albert. editor.&#160;Yeo, Sang-Soo. editor.&#160;Sahni, Sartaj. 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-35606-3">http://dx.doi.org/10.1007/978-3-642-35606-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Guide to FPGA Implementation of Arithmetic Functions ent://SD_ILS/0/SD_ILS:206518 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Deschamps, Jean-Pierre. author.&#160;Sutter, Gustavo D. author.&#160;Cant&oacute;, Enrique. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-94-007-2987-2">http://dx.doi.org/10.1007/978-94-007-2987-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Architecture ISCA 2010 International Workshops A4MMC, AMAS-BT, EAMA, WEED, WIOSCA, Saint-Malo, France, June 19-23, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:195602 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Varbanescu, Ana Lucia. editor.&#160;Molnos, Anca. editor.&#160;Nieuwpoort, Rob. 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-24322-6">http://dx.doi.org/10.1007/978-3-642-24322-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> RFID. Security and Privacy 7th International Workshop, RFIDSec 2011, Amherst, USA, June 26-28, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:195902 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Juels, Ari. editor.&#160;Paar, Christof. 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-25286-0">http://dx.doi.org/10.1007/978-3-642-25286-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multimedia, Computer Graphics and Broadcasting International Conference, MulGraB 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, Part I ent://SD_ILS/0/SD_ILS:196126 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Kim, Tai-hoon. editor.&#160;Adeli, Hojjat. editor.&#160;Grosky, William I. editor.&#160;Pissinou, Niki. editor.&#160;Shih, Timothy K. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-27204-2">http://dx.doi.org/10.1007/978-3-642-27204-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computer Science and Information Technology. Networks and Communications Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part I ent://SD_ILS/0/SD_ILS:196155 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Meghanathan, Natarajan. editor.&#160;Chaki, Nabendu. editor.&#160;Nagamalai, Dhinaharan. 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-27299-8">http://dx.doi.org/10.1007/978-3-642-27299-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computer Science and Information Technology. Computer Science and Engineering Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part II ent://SD_ILS/0/SD_ILS:196158 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Meghanathan, Natarajan. editor.&#160;Chaki, Nabendu. editor.&#160;Nagamalai, Dhinaharan. 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-27308-7">http://dx.doi.org/10.1007/978-3-642-27308-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computer Science and Information Technology. Computer Science and Information Technology Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part III ent://SD_ILS/0/SD_ILS:196161 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Meghanathan, Natarajan. editor.&#160;Chaki, Nabendu. editor.&#160;Nagamalai, Dhinaharan. 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-27317-9">http://dx.doi.org/10.1007/978-3-642-27317-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applied Parallel and Scientific Computing 10th International Conference, PARA 2010, Reykjav&iacute;k, Iceland, June 6-9, 2010, Revised Selected Papers, Part II ent://SD_ILS/0/SD_ILS:196364 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;J&oacute;nasson, Kristj&aacute;n. 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-28145-7">http://dx.doi.org/10.1007/978-3-642-28145-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applied Parallel and Scientific Computing 10th International Conference, PARA 2010, Reykjav&iacute;k, Iceland, June 6-9, 2010, Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:196366 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;J&oacute;nasson, Kristj&aacute;n. 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-28151-8">http://dx.doi.org/10.1007/978-3-642-28151-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Wireless Sensor Networks 9th European Conference, EWSN 2012, Trento, Italy, February 15-17, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196371 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Picco, Gian Pietro. editor.&#160;Heinzelman, Wendi. 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-28169-3">http://dx.doi.org/10.1007/978-3-642-28169-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Computational Science XV Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems ent://SD_ILS/0/SD_ILS:196468 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Gavrilova, Marina L. editor.&#160;Tan, C. J. Kenneth. editor.&#160;Phan, Cong-Vinh. 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-28525-7">http://dx.doi.org/10.1007/978-3-642-28525-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Passive and Active Measurement 13th International Conference, PAM 2012, Vienna, Austria, March 12-14th, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196471 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Taft, Nina. editor.&#160;Ricciato, 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-642-28537-0">http://dx.doi.org/10.1007/978-3-642-28537-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Computing, Networking and Security International Conference, ADCONS 2011, Surathkal, India, December 16-18, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196663 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Thilagam, P. Santhi. editor.&#160;Pais, Alwyn Roshan. editor.&#160;Chandrasekaran, K. editor.&#160;Balakrishnan, N. 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-29280-4">http://dx.doi.org/10.1007/978-3-642-29280-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Euro-Par 2011: Parallel Processing Workshops CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 &ndash; September 2, 2011, Revised Selected Papers, Part II ent://SD_ILS/0/SD_ILS:196762 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Alexander, Michael. editor.&#160;D&rsquo;Ambra, Pasqua. editor.&#160;Belloum, Adam. editor.&#160;Bosilca, George. editor.&#160;Cannataro, Mario. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29740-3">http://dx.doi.org/10.1007/978-3-642-29740-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reachability Problems 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197393 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Finkel, Alain. editor.&#160;Leroux, J&eacute;r&ocirc;me. editor.&#160;Potapov, Igor. 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-33512-9">http://dx.doi.org/10.1007/978-3-642-33512-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recent Advances in the Message Passing Interface 19th European MPI Users&rsquo; Group Meeting, EuroMPI 2012, Vienna, Austria, September 23-26, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197395 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Tr&auml;ff, Jesper Larsson. editor.&#160;Benkner, Siegfried. editor.&#160;Dongarra, Jack 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-33518-1">http://dx.doi.org/10.1007/978-3-642-33518-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Stabilization, Safety, and Security of Distributed Systems 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197399 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Richa, Andr&eacute;a W. editor.&#160;Scheideler, 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-33536-5">http://dx.doi.org/10.1007/978-3-642-33536-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Logistics Third International Conference, ICCL 2012, Shanghai, China, September 24-26, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197405 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Hu, Hao. editor.&#160;Shi, Xiaoning. editor.&#160;Stahlbock, Robert. editor.&#160;Vo&szlig;, 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-33587-7">http://dx.doi.org/10.1007/978-3-642-33587-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applications of Graph Transformations with Industrial Relevance 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers ent://SD_ILS/0/SD_ILS:197486 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Sch&uuml;rr, Andy. editor.&#160;Varr&oacute;, D&aacute;niel. editor.&#160;Varr&oacute;, Gergely. 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-34176-2">http://dx.doi.org/10.1007/978-3-642-34176-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms and Architectures for Parallel Processing 12th International Conference, ICA3PP 2012, Fukuoka, Japan, September 4-7, 2012, Proceedings, Part II ent://SD_ILS/0/SD_ILS:197313 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Xiang, Yang. editor.&#160;Stojmenovic, Ivan. editor.&#160;Apduhan, Bernady O. editor.&#160;Wang, Guojun. editor.&#160;Nakano, Koji. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33065-0">http://dx.doi.org/10.1007/978-3-642-33065-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms and Architectures for Parallel Processing 12th International Conference, ICA3PP 2012, Fukuoka, Japan, September 4-7, 2012, Proceedings, Part I ent://SD_ILS/0/SD_ILS:197316 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Xiang, Yang. editor.&#160;Stojmenovic, Ivan. editor.&#160;Apduhan, Bernady O. editor.&#160;Wang, Guojun. editor.&#160;Nakano, Koji. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33078-0">http://dx.doi.org/10.1007/978-3-642-33078-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multi-Agent Systems 9th European Workshop, EUMAS 2011, Maastricht, The Netherlands, November 14-15, 2011. Revised Selected Papers ent://SD_ILS/0/SD_ILS:197549 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Cossentino, Massimo. editor.&#160;Kaisers, Michael. editor.&#160;Tuyls, Karl. editor.&#160;Weiss, Gerhard. 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-34799-3">http://dx.doi.org/10.1007/978-3-642-34799-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Internet and Distributed Computing Systems 5th International Conference, IDCS 2012, Wuyishan, Fujian, China, November 21-23, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197553 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Xiang, Yang. editor.&#160;Pathan, Mukaddim. editor.&#160;Tao, Xiaohui. editor.&#160;Wang, Hua. 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-34883-9">http://dx.doi.org/10.1007/978-3-642-34883-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multiple Access Communications 5th International Workshop, MACOM 2012, Maynooth, Ireland, November 19-20, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197560 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Bellalta, Boris. editor.&#160;Vinel, Alexey. editor.&#160;Jonsson, Magnus. editor.&#160;Barcelo, Jaume. editor.&#160;Maslennikov, Roman. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34976-8">http://dx.doi.org/10.1007/978-3-642-34976-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical and Engineering Methods in Computer Science 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196086 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Kot&aacute;sek, Zden&#283;k. editor.&#160;Bouda, Jan. editor.&#160;&#268;ern&aacute;, Ivana. editor.&#160;Sekanina, Luk&aacute;&scaron;. editor.&#160;Vojnar, Tom&aacute;&scaron;. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-25929-6">http://dx.doi.org/10.1007/978-3-642-25929-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Computing and Networking 13th International Conference, ICDCN 2012, Hong Kong, China, January 3-6, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196091 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Bononi, Luciano. editor.&#160;Datta, Ajoy K. editor.&#160;Devismes, St&eacute;phane. editor.&#160;Misra, Archan. 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-25959-3">http://dx.doi.org/10.1007/978-3-642-25959-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms for Sensor Systems 7th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2011, Saarbr&uuml;cken, Germany, September 8-9, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196381 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Erlebach, Thomas. editor.&#160;Nikoletseas, Sotiris. editor.&#160;Orponen, Pekka. 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-28209-6">http://dx.doi.org/10.1007/978-3-642-28209-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Latent Variable Analysis and Signal Separation 10th International Conference, LVA/ICA 2012, Tel Aviv, Israel, March 12-15, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196475 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Theis, Fabian. editor.&#160;Cichocki, Andrzej. editor.&#160;Yeredor, Arie. editor.&#160;Zibulevsky, 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-28551-6">http://dx.doi.org/10.1007/978-3-642-28551-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> VLSI-SoC: Forward-Looking Trends in IC and Systems Design 18th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2010, Madrid, Spain, September 27-29, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196478 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Ayala, Jos&eacute; L. editor.&#160;Atienza Alonso, David. editor.&#160;Reis, Ricardo. 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-28566-0">http://dx.doi.org/10.1007/978-3-642-28566-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Compiler Construction 21st International Conference, CC 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 &ndash; April 1, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196501 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;O&rsquo;Boyle, 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-28652-0">http://dx.doi.org/10.1007/978-3-642-28652-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mobile Lightweight Wireless Systems Third International ICST Conference, MOBILIGHT 2011, Bilbao, Spain, May 9-10, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196710 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Ser, Javier. editor.&#160;Jorswieck, Eduard Axel. editor.&#160;Miguez, Joaquin. editor.&#160;Matinmikko, Marja. editor.&#160;Palomar, Daniel P. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29479-2">http://dx.doi.org/10.1007/978-3-642-29479-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic and Program Semantics Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:196711 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Constable, Robert L. editor.&#160;Silva, Alexandra. 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-29485-3">http://dx.doi.org/10.1007/978-3-642-29485-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reversible Computation Third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers ent://SD_ILS/0/SD_ILS:196717 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Vos, Alexis. editor.&#160;Wille, Robert. 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-29517-1">http://dx.doi.org/10.1007/978-3-642-29517-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Perspectives of Systems Informatics 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196754 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Clarke, Edmund. editor.&#160;Virbitskaite, Irina. editor.&#160;Voronkov, Andrei. 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-29709-0">http://dx.doi.org/10.1007/978-3-642-29709-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Euro-Par 2011: Parallel Processing Workshops CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 &ndash; September 2, 2011, Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:196761 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Alexander, Michael. editor.&#160;D&rsquo;Ambra, Pasqua. editor.&#160;Belloum, Adam. editor.&#160;Bosilca, George. editor.&#160;Cannataro, Mario. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29737-3">http://dx.doi.org/10.1007/978-3-642-29737-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Facing the Multicore - Challenge II Aspects of New Paradigms and Technologies in Parallel Computing ent://SD_ILS/0/SD_ILS:196875 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Keller, Rainer. editor.&#160;Kramer, David. editor.&#160;Weiss, Jan-Philipp. 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-30397-5">http://dx.doi.org/10.1007/978-3-642-30397-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mobile Networks and Management Third International ICST Conference, MONAMI 2011, Aveiro, Portugal, September 21-23, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196882 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Pentikousis, Kostas. editor.&#160;Aguiar, Rui. editor.&#160;Sargento, Susana. editor.&#160;Ag&uuml;ero, Ram&oacute;n. 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-30422-4">http://dx.doi.org/10.1007/978-3-642-30422-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Process Improvement and Capability Determination 12th International Conference, SPICE 2012, Palma, Spain, May 29-31, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196887 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Mas, Antonia. editor.&#160;Mesquida, Antoni. editor.&#160;Rout, Terry. editor.&#160;O&rsquo;Connor, Rory V. editor.&#160;Dorling, Alec. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30439-2">http://dx.doi.org/10.1007/978-3-642-30439-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Dependable Networks and Services 6th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2012, Luxembourg, Luxembourg, June 4-8, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196932 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Sadre, Ramin. editor.&#160;Novotn&yacute;, Ji&#345;&iacute;. editor.&#160;&#268;eleda, Pavel. editor.&#160;Waldburger, Martin. editor.&#160;Stiller, Burkhard. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30633-4">http://dx.doi.org/10.1007/978-3-642-30633-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integrated Formal Methods 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196948 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Derrick, John. editor.&#160;Gnesi, Stefania. editor.&#160;Latella, Diego. editor.&#160;Treharne, Helen. 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-30729-4">http://dx.doi.org/10.1007/978-3-642-30729-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Grid and Pervasive Computing 7th International Conference, GPC 2012, Hong Kong, China, May 11-13, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196955 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Li, Ruixuan. editor.&#160;Cao, Jiannong. editor.&#160;Bourgeois, Julien. 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-30767-6">http://dx.doi.org/10.1007/978-3-642-30767-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Analytical and Stochastic Modeling Techniques and Applications 19th International Conference, ASMTA 2012, Grenoble, France, June 4-6, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196959 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Al-Begain, Khalid. editor.&#160;Fiems, Dieter. editor.&#160;Vincent, 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-30782-9">http://dx.doi.org/10.1007/978-3-642-30782-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2012 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part II ent://SD_ILS/0/SD_ILS:197015 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Murgante, Beniamino. editor.&#160;Gervasi, Osvaldo. editor.&#160;Misra, Sanjay. editor.&#160;Nedjah, Nadia. editor.&#160;Rocha, Ana Maria A. C. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31075-1">http://dx.doi.org/10.1007/978-3-642-31075-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2012 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part I ent://SD_ILS/0/SD_ILS:197021 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Murgante, Beniamino. editor.&#160;Gervasi, Osvaldo. editor.&#160;Misra, Sanjay. editor.&#160;Nedjah, Nadia. editor.&#160;Rocha, Ana Maria A. C. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31125-3">http://dx.doi.org/10.1007/978-3-642-31125-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2012 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:197022 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Murgante, Beniamino. editor.&#160;Gervasi, Osvaldo. editor.&#160;Misra, Sanjay. editor.&#160;Nedjah, Nadia. editor.&#160;Rocha, Ana Maria A. C. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31128-4">http://dx.doi.org/10.1007/978-3-642-31128-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2012 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part III ent://SD_ILS/0/SD_ILS:197025 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Murgante, Beniamino. editor.&#160;Gervasi, Osvaldo. editor.&#160;Misra, Sanjay. editor.&#160;Nedjah, Nadia. editor.&#160;Rocha, Ana Maria A. C. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31137-6">http://dx.doi.org/10.1007/978-3-642-31137-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Image and Signal Processing 5th International Conference, ICISP 2012, Agadir, Morocco, June 28-30, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197047 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Elmoataz, Abderrahim. editor.&#160;Mammass, Driss. editor.&#160;Lezoray, Olivier. editor.&#160;Nouboud, Fathallah. editor.&#160;Aboutajdine, Driss. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31254-0">http://dx.doi.org/10.1007/978-3-642-31254-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundational and Practical Aspects of Resource Analysis Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:197226 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Pe&ntilde;a, Ricardo. editor.&#160;Eekelen, Marko. editor.&#160;Shkaravska, Olha. 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-32495-6">http://dx.doi.org/10.1007/978-3-642-32495-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Information Systems and Industrial Management 11th IFIP TC 8 International Conference, CISIM 2012, Venice, Italy, September 26-28, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197342 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Cortesi, Agostino. editor.&#160;Chaki, Nabendu. editor.&#160;Saeed, Khalid. editor.&#160;Wierzcho&#324;, S&#322;awomir. 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-33260-9">http://dx.doi.org/10.1007/978-3-642-33260-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Modeling and Analysis of Timed Systems 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197363 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Jurdzi&#324;ski, Marcin. editor.&#160;Ni&#269;kovi&#263;, Dejan. 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-33365-1">http://dx.doi.org/10.1007/978-3-642-33365-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Security 15th International Conference, ISC 2012, Passau, Germany, September 19-21, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197365 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Gollmann, Dieter. editor.&#160;Freiling, Felix 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-3-642-33383-5">http://dx.doi.org/10.1007/978-3-642-33383-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automata, Languages and Programming 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II ent://SD_ILS/0/SD_ILS:194889 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Aceto, Luca. editor.&#160;Henzinger, Monika. editor.&#160;Sgall, Ji&#345;&iacute;. 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-22012-8">http://dx.doi.org/10.1007/978-3-642-22012-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> VLSI-SoC: Technologies for Systems Integration 17th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2009, Florian&oacute;polis, Brazil, October 12-14, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:195242 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Becker, J&uuml;rgen. editor.&#160;Johann, Marcelo. editor.&#160;Reis, Ricardo. 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-23120-9">http://dx.doi.org/10.1007/978-3-642-23120-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel Computing Technologies 11th International Conference, PaCT 2011, Kazan, Russia, September 19-23, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195262 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Malyshkin, Victor. 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-23178-0">http://dx.doi.org/10.1007/978-3-642-23178-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Performance Evaluation of Computer and Communication Systems. Milestones and Future Challenges IFIP WG 6.3/7.3 International Workshop, PERFORM 2010, in Honor of G&uuml;nter Haring on the Occasion of His Emeritus Celebration, Vienna, Austria, October 14-16, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:195987 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Hummel, Karin Anna. editor.&#160;Hlavacs, Helmut. editor.&#160;Gansterer, Wilfried. 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-25575-5">http://dx.doi.org/10.1007/978-3-642-25575-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Intelligence and Information Technology First International Conference, CIIT 2011, Pune, India, November 7-8, 2011. Proceedings ent://SD_ILS/0/SD_ILS:196029 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Das, Vinu V. editor.&#160;Thankachan, Nessy. 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-25734-6">http://dx.doi.org/10.1007/978-3-642-25734-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles of Distributed Systems 15th International Conference, OPODIS 2011, Toulouse, France, December 13-16, 2011. Proceedings ent://SD_ILS/0/SD_ILS:196070 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Fern&agrave;ndez Anta, Antonio. editor.&#160;Lipari, Giuseppe. editor.&#160;Roy, Matthieu. 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-25873-2">http://dx.doi.org/10.1007/978-3-642-25873-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Computing and Applications Second International Conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011. Proceedings, Part II ent://SD_ILS/0/SD_ILS:196201 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Liu, Chunfeng. editor.&#160;Chang, Jincai. editor.&#160;Yang, Aimin. 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-27452-7">http://dx.doi.org/10.1007/978-3-642-27452-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Computing and Applications Second International Conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011. Proceedings, Part I ent://SD_ILS/0/SD_ILS:196215 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Liu, Chunfeng. editor.&#160;Chang, Jincai. editor.&#160;Yang, Aimin. 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-27503-6">http://dx.doi.org/10.1007/978-3-642-27503-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications - ICCSA 2011 International Conference, Santander, Spain, June 20-23, 2011. Proceedings, Part I ent://SD_ILS/0/SD_ILS:194863 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Murgante, Beniamino. editor.&#160;Gervasi, Osvaldo. editor.&#160;Iglesias, Andr&eacute;s. editor.&#160;Taniar, David. editor.&#160;Apduhan, Bernady O. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-21928-3">http://dx.doi.org/10.1007/978-3-642-21928-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications - ICCSA 2011 International Conference, Santander, Spain, June 20-23, 2011. Proceedings, Part III ent://SD_ILS/0/SD_ILS:194864 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Murgante, Beniamino. editor.&#160;Gervasi, Osvaldo. editor.&#160;Iglesias, Andr&eacute;s. editor.&#160;Taniar, David. editor.&#160;Apduhan, Bernady O. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-21931-3">http://dx.doi.org/10.1007/978-3-642-21931-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications - ICCSA 2011 International Conference, Santander, Spain, June 20-23, 2011. Proceedings, Part V ent://SD_ILS/0/SD_ILS:194865 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Murgante, Beniamino. editor.&#160;Gervasi, Osvaldo. editor.&#160;Iglesias, Andr&eacute;s. editor.&#160;Taniar, David. editor.&#160;Apduhan, Bernady O. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-21934-4">http://dx.doi.org/10.1007/978-3-642-21934-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Methods and Tools of Parallel Programming Multicomputers Second Russia-Taiwan Symposium, MTPP 2010, Vladivostok, Russia, May 16-19, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:192780 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Hsu, Ching-Hsien. editor.&#160;Malyshkin, Victor. 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-14822-4">http://dx.doi.org/10.1007/978-3-642-14822-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Computing and Applications International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part I ent://SD_ILS/0/SD_ILS:193263 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Zhu, Rongbo. editor.&#160;Zhang, Yanchun. editor.&#160;Liu, Baoxiang. editor.&#160;Liu, Chunfeng. 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-16336-4">http://dx.doi.org/10.1007/978-3-642-16336-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Computing and Networking 12th International Conference, ICDCN 2011, Bangalore, India, January 2-5, 2011. Proceedings ent://SD_ILS/0/SD_ILS:193675 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Aguilera, Marcos K. editor.&#160;Yu, Haifeng. editor.&#160;Vaidya, Nitin H. editor.&#160;Srinivasan, Vikram. editor.&#160;Choudhury, Romit Roy. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-17679-1">http://dx.doi.org/10.1007/978-3-642-17679-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 20th International Workshop, PATMOS 2010, Grenoble, France, September 7-10, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:193696 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Leuken, Ren&eacute;. editor.&#160;Sicard, Gilles. 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-17752-1">http://dx.doi.org/10.1007/978-3-642-17752-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Security 13th International Conference, ISC 2010, Boca Raton, FL, USA, October 25-28, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:193823 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Burmester, Mike. editor.&#160;Tsudik, Gene. editor.&#160;Magliveras, Spyros. editor.&#160;Ili&#263;, Ivana. 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-18178-8">http://dx.doi.org/10.1007/978-3-642-18178-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Performance Evaluation, Measurement and Characterization of Complex Systems Second TPC Technology Conference, TPCTC 2010, Singapore, September 13-17, 2010. Revised Selected Papers ent://SD_ILS/0/SD_ILS:193830 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Nambiar, Raghunath. editor.&#160;Poess, Meikel. 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-18206-8">http://dx.doi.org/10.1007/978-3-642-18206-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verification, Model Checking, and Abstract Interpretation 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings ent://SD_ILS/0/SD_ILS:193840 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Jhala, Ranjit. editor.&#160;Schmidt, David. 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-18275-4">http://dx.doi.org/10.1007/978-3-642-18275-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reconfigurable Computing: Architectures, Tools and Applications 7th International Symposium, ARC 2011, Belfast, UK, March 23-25, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194056 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Koch, Andreas. editor.&#160;Krishnamurthy, Ram. editor.&#160;McAllister, John. editor.&#160;Woods, Roger. editor.&#160;El-Ghazawi, Tarek. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-19475-7">http://dx.doi.org/10.1007/978-3-642-19475-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Search Computing Trends and Developments ent://SD_ILS/0/SD_ILS:194116 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Ceri, Stefano. editor.&#160;Brambilla, Marco. 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-19668-3">http://dx.doi.org/10.1007/978-3-642-19668-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Compiler Construction 20th International Conference, CC 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbr&uuml;cken, Germany, March 26&ndash;April 3, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194181 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Knoop, Jens. 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-19861-8">http://dx.doi.org/10.1007/978-3-642-19861-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Practice of Algorithms in (Computer) Systems First International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194144 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Marchetti-Spaccamela, Alberto. editor.&#160;Segal, 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-19754-3">http://dx.doi.org/10.1007/978-3-642-19754-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mobile Networks and Management Second International ICST Conference, MONAMI 2010, Santander, Spain, September 22-24, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:194703 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Pentikousis, Kostas. editor.&#160;Ag&uuml;ero, Ram&oacute;n. editor.&#160;Garc&iacute;a-Arranz, Marta. editor.&#160;Papavassiliou, Symeon. 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-21444-8">http://dx.doi.org/10.1007/978-3-642-21444-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Future Information Technology 6th International Conference, FutureTech 2011, Loutraki, Greece, June 28-30, 2011, Proceedings, Part II ent://SD_ILS/0/SD_ILS:194983 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Park, James J. editor.&#160;Yang, Laurence T. editor.&#160;Lee, Changhoon. 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-22309-9">http://dx.doi.org/10.1007/978-3-642-22309-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Future Information Technology 6th International Conference, FutureTech 2011, Loutraki, Greece, June 28-30, 2011, Proceedings, Part I ent://SD_ILS/0/SD_ILS:194991 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Park, James J. editor.&#160;Yang, Laurence T. editor.&#160;Lee, Changhoon. 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-22333-4">http://dx.doi.org/10.1007/978-3-642-22333-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Digital Information Processing and Communications International Conference , ICDIPC 2011, Ostrava, Czech Republic, July 7-9, 2011, Proceedings, Part I ent://SD_ILS/0/SD_ILS:195010 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Snasel, Vaclav. editor.&#160;Platos, Jan. 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-22389-1">http://dx.doi.org/10.1007/978-3-642-22389-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Digital Information Processing and Communications International Conference, ICDIPC 2011, Ostrava, Czech Republic, July 7-9, 2011, Proceedings, Part II ent://SD_ILS/0/SD_ILS:195017 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Snasel, Vaclav. editor.&#160;Platos, Jan. 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-22410-2">http://dx.doi.org/10.1007/978-3-642-22410-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Information Technology and Education International Conference, CSE 2011, Qingdao, China, July 9-10, 2011, Proceedings, Part I ent://SD_ILS/0/SD_ILS:195020 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Tan, Honghua. editor.&#160;Zhou, 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-22418-8">http://dx.doi.org/10.1007/978-3-642-22418-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computer Science and Education Applications International Conference, CSE 2011, Qingdao, China, July 9-10, 2011. Proceedings, Part II ent://SD_ILS/0/SD_ILS:195033 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Zhou, Mark. editor.&#160;Tan, Honghua. 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-22456-0">http://dx.doi.org/10.1007/978-3-642-22456-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Network Security and Applications 4th International Conference, CNSA 2011, Chennai, India, July 15-17, 2011 ent://SD_ILS/0/SD_ILS:195058 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Wyld, David C. editor.&#160;Wozniak, Michal. editor.&#160;Chaki, Nabendu. editor.&#160;Meghanathan, Natarajan. editor.&#160;Nagamalai, Dhinaharan. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-22540-6">http://dx.doi.org/10.1007/978-3-642-22540-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trends in Network and Communications International Conferences, NeCOM, WeST, WiMoN 2011, Chennai, India, July 15-17, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195059 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Wyld, David C. editor.&#160;Wozniak, Michal. editor.&#160;Chaki, Nabendu. editor.&#160;Meghanathan, Natarajan. editor.&#160;Nagamalai, Dhinaharan. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-22543-7">http://dx.doi.org/10.1007/978-3-642-22543-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rule-Based Reasoning, Programming, and Applications 5th International Symposium, RuleML 2011 &ndash; Europe, Barcelona, Spain, July 19-21, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195060 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Bassiliades, Nick. editor.&#160;Governatori, Guido. editor.&#160;Paschke, Adrian. 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-22546-8">http://dx.doi.org/10.1007/978-3-642-22546-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computing and Information Technology First International Conference, ACITY 2011, Chennai, India, July 15-17, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195062 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Wyld, David C. editor.&#160;Wozniak, Michal. editor.&#160;Chaki, Nabendu. editor.&#160;Meghanathan, Natarajan. editor.&#160;Nagamalai, Dhinaharan. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-22555-0">http://dx.doi.org/10.1007/978-3-642-22555-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> High Performance Architecture and Grid Computing International Conference, HPAGC 2011, Chandigarh, India, July 19-20, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195070 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Mantri, Archana. editor.&#160;Nandi, Suman. editor.&#160;Kumar, Gaurav. editor.&#160;Kumar, Sandeep. 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-22577-2">http://dx.doi.org/10.1007/978-3-642-22577-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> NETWORKING 2011 Workshops International IFIP TC 6 Workshops, PE-CRN, NC-Pro, WCNS, and SUNSET 2011, Held at NETWORKING 2011, Valencia, Spain, May 13, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:195220 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Casares-Giner, Vicente. editor.&#160;Manzoni, Pietro. editor.&#160;Pont, 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-23041-7">http://dx.doi.org/10.1007/978-3-642-23041-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theoretical Aspects of Computing &ndash; ICTAC 2011 8th International Colloquium, Johannesburg, South Africa, August 31 &ndash; September 2, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195296 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Cerone, Antonio. editor.&#160;Pihlajasaari, Pekka. 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-23283-1">http://dx.doi.org/10.1007/978-3-642-23283-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computer Science, Environment, Ecoinformatics, and Education International Conference, CSEE 2011, Wuhan, China, August 21-22, 2011. Proceedings, Part I ent://SD_ILS/0/SD_ILS:195308 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Lin, Song. editor.&#160;Huang, Xiong. 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-23321-0">http://dx.doi.org/10.1007/978-3-642-23321-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computer Science, Environment, Ecoinformatics, and Education International Conference, CSEE 2011, Wuhan, China, August 21-22, 2011. Proceedings, Part II ent://SD_ILS/0/SD_ILS:195309 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Lin, Song. editor.&#160;Huang, Xiong. 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-23324-1">http://dx.doi.org/10.1007/978-3-642-23324-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computer Science, Environment, Ecoinformatics, and Education International Conference, CSEE 2011, Wuhan, China, August 21-22, 2011. Proceedings, Part IV ent://SD_ILS/0/SD_ILS:195314 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Lin, Song. editor.&#160;Huang, Xiong. 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-23339-5">http://dx.doi.org/10.1007/978-3-642-23339-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computer Science, Environment, Ecoinformatics, and Education International Conference, CSEE 2011, Wuhan, China, August 21-22, 2011, Proceedings, Part III ent://SD_ILS/0/SD_ILS:195316 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Lin, Song. editor.&#160;Huang, Xiong. 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-23345-6">http://dx.doi.org/10.1007/978-3-642-23345-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computer Science, Environment, Ecoinformatics, and Education International Conference, CSEE 2011, Wuhan, China, August 21-22, 2011. Proceedings, Part V ent://SD_ILS/0/SD_ILS:195320 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Lin, Song. editor.&#160;Huang, Xiong. 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-23357-9">http://dx.doi.org/10.1007/978-3-642-23357-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> S-BPM ONE - Learning by Doing - Doing by Learning Third International Conference, S-BPM ONE 2011, Ingolstadt, Germany, September 29-30, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195352 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Schmidt, Werner. 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-23471-2">http://dx.doi.org/10.1007/978-3-642-23471-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Wireless Algorithms, Systems, and Applications 6th International Conference, WASA 2011, Chengdu, China, August 11-13, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195358 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Cheng, Yu. editor.&#160;Eun, Do Young. editor.&#160;Qin, Zhiguang. editor.&#160;Song, Min. editor.&#160;Xing, Kai. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-23490-3">http://dx.doi.org/10.1007/978-3-642-23490-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence and Computational Intelligence Third International Conference, AICI 2011, Taiyuan, China, September 24-25, 2011, Proceedings, Part I ent://SD_ILS/0/SD_ILS:195477 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Deng, Hepu. editor.&#160;Miao, Duoqian. editor.&#160;Lei, Jingsheng. editor.&#160;Wang, Fu Lee. 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-23881-9">http://dx.doi.org/10.1007/978-3-642-23881-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence and Computational Intelligence Third International Conference, AICI 2011, Taiyuan, China, September 24-25, 2011, Proceedings, Part II ent://SD_ILS/0/SD_ILS:195478 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Deng, Hepu. editor.&#160;Miao, Duoqian. editor.&#160;Lei, Jingsheng. editor.&#160;Wang, Fu Lee. 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-23887-1">http://dx.doi.org/10.1007/978-3-642-23887-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence and Computational Intelligence Third International Conference, AICI 2011, Taiyuan, China, September 24-25, 2011, Proceedings, Part III ent://SD_ILS/0/SD_ILS:195480 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Deng, Hepu. editor.&#160;Miao, Duoqian. editor.&#160;Lei, Jingsheng. editor.&#160;Wang, Fu Lee. 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-23896-3">http://dx.doi.org/10.1007/978-3-642-23896-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Logistics Second International Conference, ICCL 2011, Hamburg, Germany, September 19-22, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195584 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;B&ouml;se, J&uuml;rgen W. editor.&#160;Hu, Hao. editor.&#160;Jahn, Carlos. editor.&#160;Shi, Xiaoning. editor.&#160;Stahlbock, Robert. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-24264-9">http://dx.doi.org/10.1007/978-3-642-24264-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Computer Science and Information Technology Third International Conference, AST 2011, Seoul, Korea, September 27-29, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195585 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Kim, Tai-hoon. editor.&#160;Adeli, Hojjat. editor.&#160;Robles, Rosslin John. editor.&#160;Balitanas, Maricel. 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-24267-0">http://dx.doi.org/10.1007/978-3-642-24267-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Safety, Reliability, and Security 30th International Conference,SAFECOMP 2011, Naples, Italy, September 19-22, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195586 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Flammini, Francesco. editor.&#160;Bologna, Sandro. editor.&#160;Vittorini, Valeria. 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-24270-0">http://dx.doi.org/10.1007/978-3-642-24270-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reachability Problems 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195591 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Delzanno, Giorgio. editor.&#160;Potapov, Igor. 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-24288-5">http://dx.doi.org/10.1007/978-3-642-24288-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Modeling and Analysis of Timed Systems 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195599 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Fahrenberg, Uli. editor.&#160;Tripakis, Stavros. 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-24310-3">http://dx.doi.org/10.1007/978-3-642-24310-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computing and Intelligent Systems International Conference, ICCIC 2011, Wuhan, China, September 17-18, 2011. Proceedings, Part IV ent://SD_ILS/0/SD_ILS:195542 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Wu, Yanwen. 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-24091-1">http://dx.doi.org/10.1007/978-3-642-24091-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information and Management Engineering International Conference, ICCIC 2011, Wuhan, China, September 17-18, 2011. Proceedings, Part VI ent://SD_ILS/0/SD_ILS:195544 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Zhu, Min. 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-24097-3">http://dx.doi.org/10.1007/978-3-642-24097-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Computing 25th International Symposium, DISC 2011, Rome, Italy, September 20-22, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195545 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Peleg, David. 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-24100-0">http://dx.doi.org/10.1007/978-3-642-24100-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Convergence and Hybrid Information Technology 5th International Conference, ICHIT 2011, Daejeon, Korea, September 22-24, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195547 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Lee, Geuk. editor.&#160;Howard, Daniel. editor.&#160;&#346;l&#281;zak, Dominik. 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-24106-2">http://dx.doi.org/10.1007/978-3-642-24106-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 21st International Workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195562 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Ayala, Jos&eacute; L. editor.&#160;Garc&iacute;a-C&aacute;mara, Braulio. editor.&#160;Prieto, Manuel. editor.&#160;Ruggiero, Martino. editor.&#160;Sicard, Gilles. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-24154-3">http://dx.doi.org/10.1007/978-3-642-24154-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recent Advances in the Message Passing Interface 18th European MPI Users&rsquo; Group Meeting, EuroMPI 2011, Santorini, Greece, September 18-21, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195641 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Cotronis, Yiannis. editor.&#160;Danalis, Anthony. editor.&#160;Nikolopoulos, Dimitrios S. editor.&#160;Dongarra, Jack. 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-24449-0">http://dx.doi.org/10.1007/978-3-642-24449-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Stabilization, Safety, and Security of Distributed Systems 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195671 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;D&eacute;fago, Xavier. editor.&#160;Petit, Franck. editor.&#160;Villain, Vincent. 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-24550-3">http://dx.doi.org/10.1007/978-3-642-24550-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Security 14th International Conference, ISC 2011, Xi&rsquo;an, China, October 26-29, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195771 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Lai, Xuejia. editor.&#160;Zhou, Jianying. editor.&#160;Li, Hui. 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-24861-0">http://dx.doi.org/10.1007/978-3-642-24861-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Computing and Applications Second International Conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195892 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Liu, Baoxiang. editor.&#160;Chai, Chunlai. 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-25255-6">http://dx.doi.org/10.1007/978-3-642-25255-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Complex Networks Second International Workshop, CompleNet 2010, Rio de Janeiro, Brazil, October 13-15, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:195962 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;F. Costa, Luciano. editor.&#160;Evsukoff, Alexandre. editor.&#160;Mangioni, Giuseppe. editor.&#160;Menezes, Ronaldo. 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-25501-4">http://dx.doi.org/10.1007/978-3-642-25501-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Internet and Network Economics 7th International Workshop, WINE 2011, Singapore, December 11-14, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195965 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Chen, Ning. editor.&#160;Elkind, Edith. editor.&#160;Koutsoupias, Elias. 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-25510-6">http://dx.doi.org/10.1007/978-3-642-25510-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Grid and Distributed Computing International Conference, GDC 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings ent://SD_ILS/0/SD_ILS:196118 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Kim, Tai-hoon. editor.&#160;Adeli, Hojjat. editor.&#160;Cho, Hyun-seob. editor.&#160;Gervasi, Osvaldo. editor.&#160;Yau, Stephen S. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-27180-9">http://dx.doi.org/10.1007/978-3-642-27180-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multimedia, Computer Graphics and Broadcasting International Conference, MulGraB 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, Part II ent://SD_ILS/0/SD_ILS:196120 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Kim, Tai-hoon. editor.&#160;Adeli, Hojjat. editor.&#160;Grosky, William I. editor.&#160;Pissinou, Niki. editor.&#160;Shih, Timothy K. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-27186-1">http://dx.doi.org/10.1007/978-3-642-27186-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Information Systems &ndash; Analysis and Technologies 10th International Conference, CISIM 2011, Kolkata, India, December 14-16, 2011. Proceedings ent://SD_ILS/0/SD_ILS:196140 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Chaki, Nabendu. editor.&#160;Cortesi, Agostino. 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-27245-5">http://dx.doi.org/10.1007/978-3-642-27245-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Smart Card Research and Advanced Applications 10th IFIP WG 8.8/11.2 International Conference, CARDIS 2011, Leuven, Belgium, September 14-16, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196143 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Prouff, Emmanuel. 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-27257-8">http://dx.doi.org/10.1007/978-3-642-27257-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Innovative Computing Technology First International Conference, INCT 2011, Tehran, Iran, December 13-15, 2011. Proceedings ent://SD_ILS/0/SD_ILS:196168 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Pichappan, Pit. editor.&#160;Ahmadi, Hojat. editor.&#160;Ariwa, Ezendu. 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-27337-7">http://dx.doi.org/10.1007/978-3-642-27337-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers ent://SD_ILS/0/SD_ILS:193176 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Armando, Alessandro. editor.&#160;Lowe, Gavin. 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-16074-5">http://dx.doi.org/10.1007/978-3-642-16074-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multi-Agent-Based Simulation XI International Workshop, MABS 2010, Toronto, Canada, May 11, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:193863 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Bosse, Tibor. editor.&#160;Geller, Armando. editor.&#160;Jonker, Catholijn 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-642-18345-4">http://dx.doi.org/10.1007/978-3-642-18345-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Adaptive and Natural Computing Algorithms 10th International Conference, ICANNGA 2011, Ljubljana, Slovenia, April 14-16, 2011, Proceedings, Part II ent://SD_ILS/0/SD_ILS:194312 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Dobnikar, Andrej. editor.&#160;Lotri&#269;, Uro&scaron;. editor.&#160;&Scaron;ter, Branko. 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-20267-4">http://dx.doi.org/10.1007/978-3-642-20267-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Adaptive and Natural Computing Algorithms 10th International Conference, ICANNGA 2011, Ljubljana, Slovenia, April 14-16, 2011, Proceedings, Part I ent://SD_ILS/0/SD_ILS:194317 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Dobnikar, Andrej. editor.&#160;Lotri&#269;, Uro&scaron;. editor.&#160;&Scaron;ter, Branko. 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-20282-7">http://dx.doi.org/10.1007/978-3-642-20282-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> UNIX Operating System The Development Tutorial via UNIX Kernel Services ent://SD_ILS/0/SD_ILS:194370 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Liu, Yukun. author.&#160;Yue, Yong. author.&#160;Guo, Liwei. 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-20432-6">http://dx.doi.org/10.1007/978-3-642-20432-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Wireless, Mobile Networks and Applications International Conferences, WiMoA 2011 and ICCSEA 2011, Dubai, United Arab Emirates, May 25-27, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194610 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Al-Majeed, Salah S. editor.&#160;Hu, Chih-Lin. editor.&#160;Nagamalai, Dhinaharan. 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-21153-9">http://dx.doi.org/10.1007/978-3-642-21153-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Process Improvement and Capability Determination 11th International Conference, SPICE 2011, Dublin, Ireland, May 30 &ndash; June 1, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194635 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;O&rsquo;Connor, Rory V. editor.&#160;Rout, Terry. editor.&#160;McCaffery, Fergal. editor.&#160;Dorling, Alec. 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-21233-8">http://dx.doi.org/10.1007/978-3-642-21233-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel and Distributed Computing and Networks International Conference, PDCN 2010, Chongqing, China, December 13-14, 2010. Revised Selected Papers ent://SD_ILS/0/SD_ILS:195111 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Qi, Luo. 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-22706-6">http://dx.doi.org/10.1007/978-3-642-22706-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computing and Communications First International Conference, ACC 2011, Kochi, India, July 22-24, 2011. Proceedings, Part I ent://SD_ILS/0/SD_ILS:195112 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Abraham, Ajith. editor.&#160;Lloret Mauri, Jaime. editor.&#160;Buford, John F. editor.&#160;Suzuki, Junichi. editor.&#160;Thampi, Sabu M. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-22709-7">http://dx.doi.org/10.1007/978-3-642-22709-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computing and Communications First International Conference, ACC 2011, Kochi, India, July 22-24, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195114 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Abraham, Ajith. editor.&#160;Lloret Mauri, Jaime. editor.&#160;Buford, John F. editor.&#160;Suzuki, Junichi. editor.&#160;Thampi, Sabu M. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-22714-1">http://dx.doi.org/10.1007/978-3-642-22714-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Energy-Aware Communications 17th International Workshop, EUNICE 2011, Dresden, Germany, September 5-7, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195374 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Lehnert, 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-642-23541-2">http://dx.doi.org/10.1007/978-3-642-23541-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multiple Access Communications 4th International Workshop, MACOM 2011, Trento, Italy, September 12-13, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195449 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Sacchi, Claudio. editor.&#160;Bellalta, Boris. editor.&#160;Vinel, Alexey. editor.&#160;Schlegel, Christian. editor.&#160;Granelli, Fabrizio. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-23795-9">http://dx.doi.org/10.1007/978-3-642-23795-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Innovative Computing and Information International Conference, ICCIC 2011, Wuhan, China, September 17-18, 2011. Proceedings, Part I ent://SD_ILS/0/SD_ILS:195512 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Dai, Minli. 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-23993-9">http://dx.doi.org/10.1007/978-3-642-23993-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Innovative Computing and Information International Conference, ICCIC 2011, Wuhan, China, September 17-18, 2011. Proceedings, Part II ent://SD_ILS/0/SD_ILS:195514 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Dai, Minli. 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-23998-4">http://dx.doi.org/10.1007/978-3-642-23998-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computing and Intelligent Systems International Conference, ICCIC 2011, Wuhan, China, September 17-18, 2011, Proceedings, Part III ent://SD_ILS/0/SD_ILS:195518 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Wu, Yanwen. 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-24010-2">http://dx.doi.org/10.1007/978-3-642-24010-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information and Management Engineering International Conference, ICCIC 2011, Wuhan, China, September 17-18, 2011. Proceedings, Part V ent://SD_ILS/0/SD_ILS:195521 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Zhu, Min. 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-24022-5">http://dx.doi.org/10.1007/978-3-642-24022-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Parallel Distributed Computing First International Conference on Parallel, Distributed Computing Technologies and Applications, PDCTA 2011, Tirunelveli, India, September 23-25, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195526 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Nagamalai, Dhinaharan. editor.&#160;Renault, Eric. editor.&#160;Dhanuskodi, Murugan. 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-24037-9">http://dx.doi.org/10.1007/978-3-642-24037-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Frontiers of Combining Systems 8th International Symposium, FroCoS 2011, Saarbr&uuml;cken, Germany, October 5-7, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195616 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Tinelli, Cesare. editor.&#160;Sofronie-Stokkermans, Viorica. 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-24364-6">http://dx.doi.org/10.1007/978-3-642-24364-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Network and Parallel Computing 8th IFIP International Conference, NPC 2011, Changsha, China, October 21-23, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195627 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Altman, Erik. editor.&#160;Shi, Weisong. 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-24403-2">http://dx.doi.org/10.1007/978-3-642-24403-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model and Data Engineering First International Conference, MEDI 2011, &Oacute;bidos, Portugal, September 28-30, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195639 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Bellatreche, Ladjel. editor.&#160;Mota Pinto, Filipe. 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-24443-8">http://dx.doi.org/10.1007/978-3-642-24443-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms and Architectures for Parallel Processing 11th International Conference, ICA3PP, Melbourne, Australia, October 24-26, 2011, Proceedings, Part I ent://SD_ILS/0/SD_ILS:195703 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Xiang, Yang. editor.&#160;Cuzzocrea, Alfredo. editor.&#160;Hobbs, Michael. editor.&#160;Zhou, Wanlei. 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-24650-0">http://dx.doi.org/10.1007/978-3-642-24650-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms and Architectures for Parallel Processing 11th International Conference, ICA300 2011, Melbourne, Australia, October 24-26, 2011, Proceedings, Part II ent://SD_ILS/0/SD_ILS:195709 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Xiang, Yang. editor.&#160;Cuzzocrea, Alfredo. editor.&#160;Hobbs, Michael. editor.&#160;Zhou, Wanlei. 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-24669-2">http://dx.doi.org/10.1007/978-3-642-24669-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Towards a Service-Based Internet 4th European Conference, ServiceWave 2011, Poznan, Poland, October 26-28, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195736 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Abramowicz, Witold. editor.&#160;Llorente, Ignacio M. editor.&#160;Surridge, Mike. editor.&#160;Zisman, Andrea. editor.&#160;Vayssi&egrave;re, Julien. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-24755-2">http://dx.doi.org/10.1007/978-3-642-24755-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> On the Move to Meaningful Internet Systems: OTM 2011 Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2011, Hersonissos, Crete, Greece, October 17-21, 2011, Proceedings, Part II ent://SD_ILS/0/SD_ILS:195845 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Meersman, Robert. editor.&#160;Dillon, Tharam. editor.&#160;Herrero, Pilar. editor.&#160;Kumar, Akhil. editor.&#160;Reichert, Manfred. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-25106-1">http://dx.doi.org/10.1007/978-3-642-25106-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> On the Move to Meaningful Internet Systems: OTM 2011 Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2011, Hersonissos, Crete, Greece, October 17-21, 2011, Proceedings, Part I ent://SD_ILS/0/SD_ILS:195846 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Meersman, Robert. editor.&#160;Dillon, Tharam. editor.&#160;Herrero, Pilar. editor.&#160;Kumar, Akhil. editor.&#160;Reichert, Manfred. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-25109-2">http://dx.doi.org/10.1007/978-3-642-25109-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Control and Automation, and Energy System Engineering International Conferences, CA and CES3 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:196104 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Kim, Tai-hoon. editor.&#160;Adeli, Hojjat. editor.&#160;Stoica, Adrian. editor.&#160;Kang, Byeong-Ho. 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-26010-0">http://dx.doi.org/10.1007/978-3-642-26010-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Euro-Par 2010 Parallel Processing Workshops HeteroPar, HPCC, HiBB, CoreGrid, UCHPC, HPCF, PROPER, CCPI, VHPC, Ischia, Italy, August 31&ndash;September 3, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:194849 2024-07-12T22:44:59Z 2024-07-12T22:44:59Z Author&#160;Guarracino, Mario R. editor.&#160;Vivien, Fr&eacute;d&eacute;ric. editor.&#160;Tr&auml;ff, Jesper Larsson. editor.&#160;Cannatoro, Mario. editor.&#160;Danelutto, Marco. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-21878-1">http://dx.doi.org/10.1007/978-3-642-21878-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>