Search Results for Computer science - Narrowed by: 2012 SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputer$002bscience$0026qf$003dPUBDATE$002509Publication$002bDate$0025092012$0025092012$0026ic$003dtrue$0026ps$003d300$0026isd$003dtrue?dt=list 2026-01-13T05:20:04Z Applied Computer Science ent://SD_ILS/0/SD_ILS:174039 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Torbert, Shane. 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-4614-1888-7">http://dx.doi.org/10.1007/978-1-4614-1888-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer science : an overview ent://SD_ILS/0/SD_ILS:354120 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Brookshear, J. Glenn.<br/>Preferred Shelf Number&#160;QA76 B743 2012<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Computer science : an overview ent://SD_ILS/0/SD_ILS:313472 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Brookshear, J. Glenn.<br/>Preferred Shelf Number&#160;QA 76 B743 2012<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Computer and Information Science 2012 ent://SD_ILS/0/SD_ILS:196891 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Lee, Roger. 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-30454-5">http://dx.doi.org/10.1007/978-3-642-30454-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computer Science and Education ent://SD_ILS/0/SD_ILS:196306 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Xie, Anne. 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-27945-4">http://dx.doi.org/10.1007/978-3-642-27945-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computer Science and Engineering ent://SD_ILS/0/SD_ILS:196307 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Zeng, Dehuai. 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-27948-5">http://dx.doi.org/10.1007/978-3-642-27948-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Instruction Sequences for Computer Science ent://SD_ILS/0/SD_ILS:207045 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Bergstra, Jan A. author.&#160;Middelburg, Cornelis A. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.2991/978-94-91216-65-7">http://dx.doi.org/10.2991/978-94-91216-65-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Logic for Computer Science ent://SD_ILS/0/SD_ILS:173540 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Ben-Ari, Mordechai. 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-4471-4129-7">http://dx.doi.org/10.1007/978-1-4471-4129-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Science and its Applications CSA 2012 ent://SD_ILS/0/SD_ILS:206762 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Yeo, Sang-Soo. editor.&#160;Pan, Yi. editor.&#160;Lee, Yang Sun. editor.&#160;Chang, Hang Bae. editor.&#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-5699-1">http://dx.doi.org/10.1007/978-94-007-5699-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematics of Discrete Structures for Computer Science ent://SD_ILS/0/SD_ILS:196778 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Pace, Gordon J. 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-29840-0">http://dx.doi.org/10.1007/978-3-642-29840-0</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 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z 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/> Computation, Physics and Beyond International Workshop on Theoretical Computer Science, WTCS 2012, Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 21-24, 2012, Revised Selected and Invited Papers ent://SD_ILS/0/SD_ILS:196262 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Dinneen, Michael J. editor.&#160;Khoussainov, Bakhadyr. editor.&#160;Nies, Andr&eacute;. 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-27654-5">http://dx.doi.org/10.1007/978-3-642-27654-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Science &ndash; Theory and Applications 7th International Computer Science Symposium in Russia, CSR 2012, Nizhny Novgorod, Russia, July 3-7, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196934 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Hirsch, Edward A. editor.&#160;Karhum&auml;ki, Juhani. editor.&#160;Lepist&ouml;, Arto. editor.&#160;Prilutskii, Michail. 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-30642-6">http://dx.doi.org/10.1007/978-3-642-30642-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Deontic Logic in Computer Science 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197106 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;&Aring;gotnes, Thomas. editor.&#160;Broersen, Jan. editor.&#160;Elgesem, Dag. 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-31570-1">http://dx.doi.org/10.1007/978-3-642-31570-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Foundations of Computer Science 2012 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197237 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Rovan, Branislav. editor.&#160;Sassone, Vladimiro. editor.&#160;Widmayer, 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-32589-2">http://dx.doi.org/10.1007/978-3-642-32589-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Coalgebraic Methods in Computer Science 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 &ndash; April 1, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:197276 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Pattinson, Dirk. editor.&#160;Schr&ouml;der, Lutz. 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-32784-1">http://dx.doi.org/10.1007/978-3-642-32784-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Relational and Algebraic Methods in Computer Science 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197355 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Kahl, Wolfram. editor.&#160;Griffin, Timothy G. 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-33314-9">http://dx.doi.org/10.1007/978-3-642-33314-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theoretical Computer Science 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197382 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Baeten, Jos C. M. editor.&#160;Ball, Tom. editor.&#160;Boer, Frank 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-33475-7">http://dx.doi.org/10.1007/978-3-642-33475-7</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 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z 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/> Graph-Theoretic Concepts in Computer Science 38th International Workshop, WG 2012, Jerusalem, Israel, June 26-28, 2012, Revised Selcted Papers ent://SD_ILS/0/SD_ILS:197531 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Golumbic, Martin Charles. editor.&#160;Stern, Michal. editor.&#160;Levy, Avivit. editor.&#160;Morgenstern, Gila. 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-34611-8">http://dx.doi.org/10.1007/978-3-642-34611-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced research on material science, environmental science and computer science selected, peer reviewed papers from the 2012 2nd International Conference on Material Science, Environmental Science and Computer Science (MSESCS2012) August 25-26, 2012, Wuhan, China ent://SD_ILS/0/SD_ILS:279619 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;International Conference on Material Science, Environmental Science and Computer Science (2nd : 2012 : Wuhan, China)&#160;Zhang, Helen, editor of compilation.&#160;Jin, David, editor of compilation.&#160;Zhao, X. J., editor of compilation.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=517244">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=517244</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Linear algebra and probability for computer science applications ent://SD_ILS/0/SD_ILS:364620 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Davis, Ernest.<br/>Preferred Shelf Number&#160;QA76.9.M35 D38 2012<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Challenges at the Interface of Data Analysis, Computer Science, and Optimization Proceedings of the 34th Annual Conference of the Gesellschaft f&uuml;r Klassifikation e. V., Karlsruhe, July 21 - 23, 2010 ent://SD_ILS/0/SD_ILS:195645 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Gaul, Wolfgang A. editor.&#160;Geyer-Schulz, Andreas. editor.&#160;Schmidt-Thieme, Lars. editor.&#160;Kunze, Jonas. 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-24466-7">http://dx.doi.org/10.1007/978-3-642-24466-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computing Statistics under Interval and Fuzzy Uncertainty Applications to Computer Science and Engineering ent://SD_ILS/0/SD_ILS:195785 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Nguyen, Hung T. author.&#160;Kreinovich, Vladik. author.&#160;Wu, Berlin. author.&#160;Xiang, Gang. 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-24905-1">http://dx.doi.org/10.1007/978-3-642-24905-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Proceedings of the 2011 2nd International Congress on Computer Applications and Computational Science Volume 1 ent://SD_ILS/0/SD_ILS:196414 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Gaol, Ford Lumban. editor.&#160;Nguyen, Quang 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-28314-7">http://dx.doi.org/10.1007/978-3-642-28314-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computer Science, Engineering &amp; Applications Proceedings of the Second International Conference on Computer Science, Engineering &amp; Applications (ICCSEA 2012), May 25-27, 2012, New Delhi, India. Volume 2 ent://SD_ILS/0/SD_ILS:196831 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Wyld, David C. editor.&#160;Zizka, Jan. 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-30111-7">http://dx.doi.org/10.1007/978-3-642-30111-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computer Science and Information Engineering Volume 1 ent://SD_ILS/0/SD_ILS:196833 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Jin, David. editor.&#160;Lin, Sally. 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-30126-1">http://dx.doi.org/10.1007/978-3-642-30126-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computer Science, Engineering &amp; Applications Proceedings of the Second International Conference on Computer Science, Engineering and Applications (ICCSEA 2012), May 25-27, 2012, New Delhi, India, Volume 1 ent://SD_ILS/0/SD_ILS:196836 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Wyld, David C. editor.&#160;Zizka, Jan. 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-30157-5">http://dx.doi.org/10.1007/978-3-642-30157-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computer Science and Information Engineering Volume 2 ent://SD_ILS/0/SD_ILS:196847 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Jin, David. editor.&#160;Lin, Sally. 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-30223-7">http://dx.doi.org/10.1007/978-3-642-30223-7</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 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z 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 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z 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 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z 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/> Computer Science and Convergence CSA 2011 &amp; WCC 2011 Proceedings ent://SD_ILS/0/SD_ILS:206459 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;J. (Jong Hyuk) Park, James. editor.&#160;Chao, Han-Chieh. editor.&#160;S. Obaidat, Mohammad. editor.&#160;Kim, Jongsung. editor.&#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-2792-2">http://dx.doi.org/10.1007/978-94-007-2792-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Technology in Teaching - Proceedings of the 2009 3rd International Conference on Teaching and Computational Science (WTCS 2009) Volume 2: Education, Psychology and Computer Science ent://SD_ILS/0/SD_ILS:195944 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z 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-25437-6">http://dx.doi.org/10.1007/978-3-642-25437-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recent Advances in Computer Science and Information Engineering Volume 3 ent://SD_ILS/0/SD_ILS:196040 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Qian, Zhihong. editor.&#160;Cao, Lei. editor.&#160;Su, Weilian. editor.&#160;Wang, Tingkai. editor.&#160;Yang, Huamin. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-25766-7">http://dx.doi.org/10.1007/978-3-642-25766-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recent Advances in Computer Science and Information Engineering Volume 4 ent://SD_ILS/0/SD_ILS:196041 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Qian, Zhihong. editor.&#160;Cao, Lei. editor.&#160;Su, Weilian. editor.&#160;Wang, Tingkai. editor.&#160;Yang, Huamin. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-25769-8">http://dx.doi.org/10.1007/978-3-642-25769-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recent Advances in Computer Science and Information Engineering Volume 6 ent://SD_ILS/0/SD_ILS:196043 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Qian, Zhihong. editor.&#160;Cao, Lei. editor.&#160;Su, Weilian. editor.&#160;Wang, Tingkai. editor.&#160;Yang, Huamin. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-25778-0">http://dx.doi.org/10.1007/978-3-642-25778-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recent Advances in Computer Science and Information Engineering Volume 1 ent://SD_ILS/0/SD_ILS:196044 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Qian, Zhihong. editor.&#160;Cao, Lei. editor.&#160;Su, Weilian. editor.&#160;Wang, Tingkai. editor.&#160;Yang, Huamin. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-25781-0">http://dx.doi.org/10.1007/978-3-642-25781-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recent Advances in Computer Science and Information Engineering Volume 2 ent://SD_ILS/0/SD_ILS:196046 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Qian, Zhihong. editor.&#160;Cao, Lei. editor.&#160;Su, Weilian. editor.&#160;Wang, Tingkai. editor.&#160;Yang, Huamin. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-25789-6">http://dx.doi.org/10.1007/978-3-642-25789-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recent Advances in Computer Science and Information Engineering Volume 5 ent://SD_ILS/0/SD_ILS:196047 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Qian, Zhihong. editor.&#160;Cao, Lei. editor.&#160;Su, Weilian. editor.&#160;Wang, Tingkai. editor.&#160;Yang, Huamin. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-25792-6">http://dx.doi.org/10.1007/978-3-642-25792-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Proceedings of the 2011 2nd International Congress on Computer Applications and Computational Science Volume 2 ent://SD_ILS/0/SD_ILS:196412 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Gaol, Ford Lumban. editor.&#160;Nguyen, Quang 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-28308-6">http://dx.doi.org/10.1007/978-3-642-28308-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Operator Calculus on Graphs Theory and Applications in Computer Science. ent://SD_ILS/0/SD_ILS:279465 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Schott, Rene.&#160;Staples, G. Stacey.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=457191">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=457191</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Simulating nature : a philosohpical study of computer-simulation uncertainties and their role in climate science and policy advice ent://SD_ILS/0/SD_ILS:538628 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Petersen, Arthur C. (Arthur Caesar), 1970, author.<br/>Preferred Shelf Number&#160;QC981.45 .P48 2012<br/>Electronic Access&#160;<a href="https://www.taylorfrancis.com/books/9781466500679">Click here to view.</a><br/>Format:&#160;Books<br/>Availability&#160;Online Library~1<br/> Software Similarity and Classification ent://SD_ILS/0/SD_ILS:173499 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Cesare, Silvio. author.&#160;Xiang, Yang. 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-4471-2909-7">http://dx.doi.org/10.1007/978-1-4471-2909-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Entropy Guided Transformation Learning: Algorithms and Applications ent://SD_ILS/0/SD_ILS:173513 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Santos, C&iacute;cero Nogueira. author.&#160;Milidi&uacute;, Ruy Luiz. 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-4471-2978-3">http://dx.doi.org/10.1007/978-1-4471-2978-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Context Management for Distributed and Dynamic Context-Aware Computing ent://SD_ILS/0/SD_ILS:173522 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Rocha, Ricardo Couto Antunes. author.&#160;Endler, Markus. 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-4471-4020-7">http://dx.doi.org/10.1007/978-1-4471-4020-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Decentralized Reasoning in Ambient Intelligence ent://SD_ILS/0/SD_ILS:173543 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Viterbo, Jos&eacute;. author.&#160;Endler, Markus. 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-4471-4168-6">http://dx.doi.org/10.1007/978-1-4471-4168-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Spatial AutoRegression (SAR) Model Parameter Estimation Techniques ent://SD_ILS/0/SD_ILS:174029 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Kazar, Baris M. author.&#160;Celik, Mete. 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-4614-1842-9">http://dx.doi.org/10.1007/978-1-4614-1842-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A Primer of Multicast Routing ent://SD_ILS/0/SD_ILS:174036 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Rosenberg, Eric. 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-4614-1873-3">http://dx.doi.org/10.1007/978-1-4614-1873-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Design of Cloud Workflow Systems ent://SD_ILS/0/SD_ILS:174054 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Liu, Xiao. author.&#160;Yuan, Dong. author.&#160;Zhang, Gaofeng. author.&#160;Li, Wenhao. author.&#160;Cao, Dahai. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-1933-4">http://dx.doi.org/10.1007/978-1-4614-1933-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A Survey of Data Leakage Detection and Prevention Solutions ent://SD_ILS/0/SD_ILS:174080 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Shabtai, Asaf. author.&#160;Elovici, Yuval. author.&#160;Rokach, Lior. 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-4614-2053-8">http://dx.doi.org/10.1007/978-1-4614-2053-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Autonomic Cooperative Networking ent://SD_ILS/0/SD_ILS:174192 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;W&oacute;dczak, Micha&#322;. 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-4614-3100-8">http://dx.doi.org/10.1007/978-1-4614-3100-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Power Distribution and Performance Analysis for Wireless Communication Networks ent://SD_ILS/0/SD_ILS:174227 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Zhao, Dongmei. 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-4614-3284-5">http://dx.doi.org/10.1007/978-1-4614-3284-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages ent://SD_ILS/0/SD_ILS:196775 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Henderson-Sellers, Brian. 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-29825-7">http://dx.doi.org/10.1007/978-3-642-29825-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A Proof Theory for Description Logics ent://SD_ILS/0/SD_ILS:173517 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Rademaker, Alexandre. 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-4471-4002-3">http://dx.doi.org/10.1007/978-1-4471-4002-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> ITIL&reg; 2011 At a Glance ent://SD_ILS/0/SD_ILS:174354 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Long, John O. 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-4614-3897-7">http://dx.doi.org/10.1007/978-1-4614-3897-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Service-Oriented Crowdsourcing Architecture, Protocols and Algorithms ent://SD_ILS/0/SD_ILS:174438 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Schall, Daniel. 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-4614-5956-9">http://dx.doi.org/10.1007/978-1-4614-5956-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Event-Driven Surveillance Possibilities and Challenges ent://SD_ILS/0/SD_ILS:196360 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Denecke, Kerstin. 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-28135-8">http://dx.doi.org/10.1007/978-3-642-28135-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Testing in the Cloud Migration and Execution ent://SD_ILS/0/SD_ILS:197182 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Tilley, Scott. author.&#160;Parveen, Tauhida. 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-32122-1">http://dx.doi.org/10.1007/978-3-642-32122-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Understanding High-Dimensional Spaces ent://SD_ILS/0/SD_ILS:197368 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Skillicorn, David B. 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-33398-9">http://dx.doi.org/10.1007/978-3-642-33398-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Service Placement in Ad Hoc Networks ent://SD_ILS/0/SD_ILS:173433 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Wittenburg, Georg. author.&#160;Schiller, Jochen. 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-4471-2363-7">http://dx.doi.org/10.1007/978-1-4471-2363-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Guide to Reliable Distributed Systems Building High-Assurance Applications and Cloud-Hosted Services ent://SD_ILS/0/SD_ILS:173442 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Birman, Kenneth P. 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-4471-2416-0">http://dx.doi.org/10.1007/978-1-4471-2416-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Self-* and P2P for Network Management Design Principles and Case Studies ent://SD_ILS/0/SD_ILS:173546 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Marquezan, Clarissa Cassales. author.&#160;Granville, Lisandro Zambenedetti. 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-4471-4201-0">http://dx.doi.org/10.1007/978-1-4471-4201-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Robust Motion Detection in Real-Life Scenarios ent://SD_ILS/0/SD_ILS:173547 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Mart&iacute;nez-Mart&iacute;n, Ester. author.&#160;Pobil, &Aacute;ngel P. del. 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-4471-4216-4">http://dx.doi.org/10.1007/978-1-4471-4216-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Guide to Cisco Routers Configuration Becoming a Router Geek ent://SD_ILS/0/SD_ILS:173550 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Alani, Mohammed M. 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-4471-4246-1">http://dx.doi.org/10.1007/978-1-4471-4246-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Two-Dimensional Change Detection Methods Remote Sensing Applications ent://SD_ILS/0/SD_ILS:173551 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;&#304;lsever, Murat. author.&#160;&Uuml;nsalan, Cem. 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-4471-4255-3">http://dx.doi.org/10.1007/978-1-4471-4255-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Visual Indexing and Retrieval ent://SD_ILS/0/SD_ILS:174294 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Benois-Pineau, Jenny. author.&#160;Precioso, Fr&eacute;d&eacute;ric. author.&#160;Cord, Matthieu. 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-4614-3588-4">http://dx.doi.org/10.1007/978-1-4614-3588-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Configuration Problem Solving ent://SD_ILS/0/SD_ILS:174403 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Petrie, Charles J.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-4532-6">http://dx.doi.org/10.1007/978-1-4614-4532-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Scalable Parallel Programming Applied to H.264/AVC Decoding ent://SD_ILS/0/SD_ILS:174127 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Juurlink, Ben. author.&#160;Alvarez-Mesa, Mauricio. author.&#160;Chi, Chi Ching. author.&#160;Azevedo, Arnaldo. author.&#160;Meenderinck, Cor. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-2230-3">http://dx.doi.org/10.1007/978-1-4614-2230-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Data Dissemination and Query in Mobile Social Networks ent://SD_ILS/0/SD_ILS:174135 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Chen, Jiming. author.&#160;Fan, Jialu. author.&#160;Sun, Youxian. 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-4614-2254-9">http://dx.doi.org/10.1007/978-1-4614-2254-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Criminal Justice Forecasts of Risk A Machine Learning Approach ent://SD_ILS/0/SD_ILS:174189 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Berk, Richard. 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-4614-3085-8">http://dx.doi.org/10.1007/978-1-4614-3085-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Peer-to-Peer Query Processing over Multidimensional Data ent://SD_ILS/0/SD_ILS:174097 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Vlachou, Akrivi. author.&#160;Doulkeridis, Christos. author.&#160;N&oslash;rv&aring;g, Kjetil. author.&#160;Kotidis, Yannis. 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-4614-2110-8">http://dx.doi.org/10.1007/978-1-4614-2110-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applications of Algebra to Communications, Control, and Signal Processing ent://SD_ILS/0/SD_ILS:174349 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Boston, Nigel. 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-4614-3863-2">http://dx.doi.org/10.1007/978-1-4614-3863-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rhodes Framework for Android&trade; Platform and BlackBerry&reg; Smartphones ent://SD_ILS/0/SD_ILS:174292 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Vohra, Deepak.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-3579-2">http://dx.doi.org/10.1007/978-1-4614-3579-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Group Cell Architecture for Cooperative Communications ent://SD_ILS/0/SD_ILS:174392 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Tao, Xiaofeng.&#160;Cui, Qimei.&#160;Xu, Xiaodong.&#160;Zhang, Ping.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-4319-3">http://dx.doi.org/10.1007/978-1-4614-4319-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Interworking of Wireless LANs and Cellular Networks ent://SD_ILS/0/SD_ILS:174395 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Song, Wei. author.&#160;Zhuang, Weihua. 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-4614-4379-7">http://dx.doi.org/10.1007/978-1-4614-4379-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Practical Aspects of Declarative Languages 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196271 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Russo, Claudio. editor.&#160;Zhou, Neng-Fa. 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-27694-1">http://dx.doi.org/10.1007/978-3-642-27694-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Knowledge Representation for Health-Care AIME 2011 Workshop KR4HC 2011, Bled, Slovenia, July 2-6, 2011. Revised Selected Papers ent://SD_ILS/0/SD_ILS:196272 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Ria&ntilde;o, David. editor.&#160;Teije, Annette. editor.&#160;Miksch, Silvia. 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-27697-2">http://dx.doi.org/10.1007/978-3-642-27697-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verified Software: Theories, Tools, Experiments 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196275 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Joshi, Rajeev. editor.&#160;M&uuml;ller, Peter. editor.&#160;Podelski, Andreas. 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-27705-4">http://dx.doi.org/10.1007/978-3-642-27705-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Data Engineering and Management Second International Conference, ICDEM 2010, Tiruchirappalli, India, July 29-31, 2010. Revised Selected Papers ent://SD_ILS/0/SD_ILS:196286 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Kannan, Rajkumar. editor.&#160;Andres, Frederic. 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-27872-3">http://dx.doi.org/10.1007/978-3-642-27872-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Security Applications 12th International Workshop, WISA 2011, Jeju Island, Korea, August 22-24, 2011. Revised Selected Papers ent://SD_ILS/0/SD_ILS:196291 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Jung, Souhwan. editor.&#160;Yung, Moti. 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-27890-7">http://dx.doi.org/10.1007/978-3-642-27890-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Bio-Inspired Computing and Applications 7th International Conference on Intelligent Computing, ICIC 2011, Zhengzhou,China, August 11-14. 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:195672 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Huang, De-Shuang. editor.&#160;Gan, Yong. editor.&#160;Premaratne, Prashan. editor.&#160;Han, Kyungsook. 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-24553-4">http://dx.doi.org/10.1007/978-3-642-24553-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Intelligent Computing 7th International Conference, ICIC 2011, Zhengzhou, China, August 11-14, 2011. Revised Selected Papers ent://SD_ILS/0/SD_ILS:195728 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Huang, De-Shuang. editor.&#160;Gan, Yong. editor.&#160;Bevilacqua, Vitoantonio. editor.&#160;Figueroa, Juan Carlos. 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-24728-6">http://dx.doi.org/10.1007/978-3-642-24728-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Scale Space and Variational Methods in Computer Vision Third International Conference, SSVM 2011, Ein-Gedi, Israel, May 29 &ndash; June 2, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:195745 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Bruckstein, Alfred M. editor.&#160;Haar Romeny, Bart M. editor.&#160;Bronstein, Alexander M. editor.&#160;Bronstein, Michael 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-24785-9">http://dx.doi.org/10.1007/978-3-642-24785-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Security and Intelligent Information Systems International Joint Conferences, SIIS 2011, Warsaw, Poland, June 13-14, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:195894 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Bouvry, Pascal. editor.&#160;K&#322;opotek, Mieczys&#322;aw A. editor.&#160;Lepr&eacute;vost, Franck. editor.&#160;Marciniak, Ma&#322;gorzata. editor.&#160;Mykowiecka, Agnieszka. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-25261-7">http://dx.doi.org/10.1007/978-3-642-25261-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> SDL 2011: Integrating System and Software Modeling 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers ent://SD_ILS/0/SD_ILS:195895 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Ober, Iulian. editor.&#160;Ober, Ileana. 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-25264-8">http://dx.doi.org/10.1007/978-3-642-25264-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers ent://SD_ILS/0/SD_ILS:195898 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Aichernig, Bernhard K. editor.&#160;Boer, Frank S. editor.&#160;Bonsangue, Marcello 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-25271-6">http://dx.doi.org/10.1007/978-3-642-25271-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 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z 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/> Advances in Image and Video Technology 5th Pacific Rim Symposium, PSIVT 2011, Gwangju, South Korea, November 20-23, 2011, Proceedings, Part II ent://SD_ILS/0/SD_ILS:195919 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Ho, Yo-Sung. 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-25346-1">http://dx.doi.org/10.1007/978-3-642-25346-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Image and Video Technology 5th Pacific Rim Symposium, PSIVT 2011, Gwangju, South Korea, November 20-23, 2011, Proceedings, Part I ent://SD_ILS/0/SD_ILS:195926 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Ho, Yo-Sung. 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-25367-6">http://dx.doi.org/10.1007/978-3-642-25367-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> e-Business and Telecommunications 7th International Joint Conference, ICETE 2010, Athens, Greece, July 26-28, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:195876 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Obaidat, Mohammad S. editor.&#160;Tsihrintzis, George A. editor.&#160;Filipe, Joaquim. 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-25206-8">http://dx.doi.org/10.1007/978-3-642-25206-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Empirical Software Engineering and Verification International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures ent://SD_ILS/0/SD_ILS:195885 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Meyer, Bertrand. editor.&#160;Nordio, Martin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-25231-0">http://dx.doi.org/10.1007/978-3-642-25231-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Systems Theory &ndash; EUROCAST 2011 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:196229 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Moreno-D&iacute;az, Roberto. editor.&#160;Pichler, Franz. editor.&#160;Quesada-Arencibia, Alexis. 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-27549-4">http://dx.doi.org/10.1007/978-3-642-27549-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Financial Cryptography and Data Security 15th International Conference, FC 2011, Gros Islet, St. Lucia, February 28 - March 4, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196237 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Danezis, George. 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-27576-0">http://dx.doi.org/10.1007/978-3-642-27576-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Systems Theory &ndash; EUROCAST 2011 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part II ent://SD_ILS/0/SD_ILS:196238 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Moreno-D&iacute;az, Roberto. editor.&#160;Pichler, Franz. editor.&#160;Quesada-Arencibia, Alexis. 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-27579-1">http://dx.doi.org/10.1007/978-3-642-27579-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Open Problems in Network Security IFIP WG 11.4 International Workshop, iNetSec 2011, Lucerne, Switzerland, June 9, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196240 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Camenisch, Jan. editor.&#160;Kesdogan, Dogan. 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-27585-2">http://dx.doi.org/10.1007/978-3-642-27585-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agents and Data Mining Interaction 7th International Workshop on Agents and Data Mining Interation, ADMI 2011, Taipei, Taiwan, May 2-6, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196247 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Cao, Longbing. editor.&#160;Bazzan, Ana L. C. editor.&#160;Symeonidis, Andreas L. editor.&#160;Gorodetsky, Vladimir I. editor.&#160;Weiss, Gerhard. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-27609-5">http://dx.doi.org/10.1007/978-3-642-27609-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> New Frontiers in Applied Data Mining PAKDD 2011 International Workshops, Shenzhen, China, May 24-27, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196415 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Cao, Longbing. editor.&#160;Huang, Joshua Zhexue. editor.&#160;Bailey, James. editor.&#160;Koh, Yun Sing. editor.&#160;Luo, Jun. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28320-8">http://dx.doi.org/10.1007/978-3-642-28320-8</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 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z 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/> Recent Trends in Algebraic Development Techniques 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196438 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Mossakowski, Till. editor.&#160;Kreowski, Hans-J&ouml;rg. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28412-0">http://dx.doi.org/10.1007/978-3-642-28412-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Linguistics and Intelligent Text Processing 13th International Conference, CICLing 2012, New Delhi, India, March 11-17, 2012, Proceedings, Part II ent://SD_ILS/0/SD_ILS:196486 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Gelbukh, Alexander. 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-28601-8">http://dx.doi.org/10.1007/978-3-642-28601-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Linguistics and Intelligent Text Processing 13th International Conference, CICLing 2012, New Delhi, India, March 11-17, 2012, Proceedings, Part I ent://SD_ILS/0/SD_ILS:196487 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Gelbukh, Alexander. 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-28604-9">http://dx.doi.org/10.1007/978-3-642-28604-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Impact of Virtual, Remote, and Real Logistics Labs First International Conference, ImViReLL 2012 Bremen, Germany, February 28 &ndash; March 1, 2012 Proceedings ent://SD_ILS/0/SD_ILS:196543 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Uckelmann, Dieter. editor.&#160;Scholz-Reiter, Bernd. editor.&#160;R&uuml;gge, Ingrid. editor.&#160;Hong, Bonghee. editor.&#160;Rizzi, Antonio. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28816-6">http://dx.doi.org/10.1007/978-3-642-28816-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Language Engineering 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196547 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Sloane, Anthony. editor.&#160;A&szlig;mann, Uwe. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28830-2">http://dx.doi.org/10.1007/978-3-642-28830-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196553 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Seidl, Helmut. 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-28869-2">http://dx.doi.org/10.1007/978-3-642-28869-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamental Approaches to Software Engineering 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196554 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Lara, Juan. editor.&#160;Zisman, Andrea. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28872-2">http://dx.doi.org/10.1007/978-3-642-28872-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Data Privacy Management and Autonomous Spontaneus Security 6th International Workshop, DPM 2011, and 4th International Workshop, SETOP 2011, Leuven, Belgium, September 15-16, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196555 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Garcia-Alfaro, Joaquin. editor.&#160;Navarro-Arribas, Guillermo. editor.&#160;Cuppens-Boulahia, Nora. editor.&#160;Capitani di Vimercati, Sabrina. 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-28879-1">http://dx.doi.org/10.1007/978-3-642-28879-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Processing of the Portuguese Language 10th International Conference, PROPOR 2012, Coimbra, Portugal, April 17-20, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196557 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Caseli, Helena. editor.&#160;Villavicencio, Aline. editor.&#160;Teixeira, Ant&oacute;nio. editor.&#160;Perdig&atilde;o, Fernando. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28885-2">http://dx.doi.org/10.1007/978-3-642-28885-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> NASA Formal Methods 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196559 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Goodloe, Alwyn E. editor.&#160;Person, Suzette. 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-28891-3">http://dx.doi.org/10.1007/978-3-642-28891-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory of Cryptography 9th Theory of Cryptography Conference, TCC 2012, Taormina, Sicily, Italy, March 19-21, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196562 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Cramer, Ronald. 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-28914-9">http://dx.doi.org/10.1007/978-3-642-28914-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Critical Infrastructure Protection Information Infrastructure Models, Analysis, and Defense ent://SD_ILS/0/SD_ILS:196564 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Lopez, Javier. editor.&#160;Setola, Roberto. editor.&#160;Wolthusen, Stephen D. 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-28920-0">http://dx.doi.org/10.1007/978-3-642-28920-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Modelling and Scientific Computation International Conference, ICMMSC 2012, Gandhigram, Tamil Nadu, India, March 16-18, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196566 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Balasubramaniam, P. editor.&#160;Uthayakumar, R. 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-28926-2">http://dx.doi.org/10.1007/978-3-642-28926-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hybrid Artificial Intelligent Systems 7th International Conference, HAIS 2012, Salamanca, Spain, March 28-30th, 2012. Proceedings, Part II ent://SD_ILS/0/SD_ILS:196567 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Corchado, Emilio. editor.&#160;Sn&aacute;&scaron;el, V&aacute;clav. editor.&#160;Abraham, Ajith. editor.&#160;Wo&#378;niak, Micha&#322;. editor.&#160;Gra&ntilde;a, Manuel. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28931-6">http://dx.doi.org/10.1007/978-3-642-28931-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Multi-Agent Systems 8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010. Revised Selected Papers ent://SD_ILS/0/SD_ILS:196569 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Collier, Rem. editor.&#160;Dix, J&uuml;rgen. editor.&#160;Nov&aacute;k, 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-28939-2">http://dx.doi.org/10.1007/978-3-642-28939-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hybrid Artificial Intelligent Systems 7th International Conference, HAIS 2012, Salamanca, Spain, March 28-30th, 2012. Proceedings, Part I ent://SD_ILS/0/SD_ILS:196570 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Corchado, Emilio. editor.&#160;Sn&aacute;&scaron;el, V&aacute;clav. editor.&#160;Abraham, Ajith. editor.&#160;Wo&#378;niak, Micha&#322;. editor.&#160;Gra&ntilde;a, Manuel. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28942-2">http://dx.doi.org/10.1007/978-3-642-28942-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Emerging Trends and Applications in Information Communication Technologies Second International Multi Topic Conference, IMTIC 2012, Jamshoro, Pakistan, March 28-30, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196576 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Chowdhry, Bhawani Shankar. editor.&#160;Shaikh, Faisal Karim. editor.&#160;Hussain, Dil Muhammad Akbar. editor.&#160;Uqaili, Muhammad Aslam. 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-28962-0">http://dx.doi.org/10.1007/978-3-642-28962-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Information Retrieval 34th European Conference on IR Research, ECIR 2012, Barcelona, Spain, April 1-5, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196585 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Baeza-Yates, Ricardo. editor.&#160;Vries, Arjen P. editor.&#160;Zaragoza, Hugo. editor.&#160;Cambazoglu, B. Barla. editor.&#160;Murdock, Vanessa. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28997-2">http://dx.doi.org/10.1007/978-3-642-28997-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Cryptology &ndash; EUROCRYPT 2012 31st Annual International Conference on the Theory and Applications of Cryptographic Techniques, Cambridge, UK, April 15-19, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196588 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Pointcheval, David. editor.&#160;Johansson, Thomas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29011-4">http://dx.doi.org/10.1007/978-3-642-29011-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Database Systems for Advanced Applications 17th International Conference, DASFAA 2012, International Workshops: FlashDB, ITEMS, SNSM, SIM3, DQDI, Busan, South Korea, April 15-19, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196591 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Yu, Hwanjo. editor.&#160;Yu, Ge. editor.&#160;Hsu, Wynne. editor.&#160;Moon, Yang-Sae. editor.&#160;Unland, Rainer. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29023-7">http://dx.doi.org/10.1007/978-3-642-29023-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Database Systems for Advanced Applications 17th International Conference, DASFAA 2012, Busan, South Korea, April 15-19, 2012, Proceedings, Part II ent://SD_ILS/0/SD_ILS:196593 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Lee, Sang-goo. editor.&#160;Peng, Zhiyong. editor.&#160;Zhou, Xiaofang. editor.&#160;Moon, Yang-Sae. editor.&#160;Unland, Rainer. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29035-0">http://dx.doi.org/10.1007/978-3-642-29035-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Database Systems for Advanced Applications 17th International Conference, DASFAA 2012, Busan, South Korea, April 15-19, 2012, Proceedings, Part I ent://SD_ILS/0/SD_ILS:196594 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Lee, Sang-goo. editor.&#160;Peng, Zhiyong. editor.&#160;Zhou, Xiaofang. editor.&#160;Moon, Yang-Sae. editor.&#160;Unland, Rainer. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29038-1">http://dx.doi.org/10.1007/978-3-642-29038-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Social Computing, Behavioral - Cultural Modeling and Prediction 5th International Conference, SBP 2012, College Park, MD, USA, April 3-5, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196597 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Yang, Shanchieh Jay. editor.&#160;Greenberg, Ariel M. editor.&#160;Endsley, Mica. 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-29047-3">http://dx.doi.org/10.1007/978-3-642-29047-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Edutainment VII ent://SD_ILS/0/SD_ILS:196598 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Pan, Zhigeng. editor.&#160;Cheok, Adrian David. editor.&#160;M&uuml;ller, Wolfgang. editor.&#160;Chang, Maiga. editor.&#160;Zhang, Mingmin. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29050-3">http://dx.doi.org/10.1007/978-3-642-29050-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics 10th European Conference, EvoBIO 2012, M&aacute;laga, Spain, April 11-13, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196603 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Giacobini, Mario. editor.&#160;Vanneschi, Leonardo. editor.&#160;Bush, William 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-29066-4">http://dx.doi.org/10.1007/978-3-642-29066-4</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 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z 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/> Information and Business Intelligence International Conference, IBI 2011, Chongqing, China, December 23-25, 2011. Proceedings, Part I ent://SD_ILS/0/SD_ILS:196607 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Qu, Xilong. editor.&#160;Yang, Yuhang. 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-29084-8">http://dx.doi.org/10.1007/978-3-642-29084-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information and Business Intelligence International Conference, IBI 2011, Chongqing, China, December 23-25, 2011. Proceedings, Part II ent://SD_ILS/0/SD_ILS:196608 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Qu, Xilong. editor.&#160;Yang, Yuhang. 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-29087-9">http://dx.doi.org/10.1007/978-3-642-29087-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Security Practice and Experience 8th International Conference, ISPEC 2012, Hangzhou, China, April 9-12, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196613 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Ryan, Mark D. editor.&#160;Smyth, Ben. editor.&#160;Wang, Guilin. 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-29101-2">http://dx.doi.org/10.1007/978-3-642-29101-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Declarative Agent Languages and Technologies IX 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers ent://SD_ILS/0/SD_ILS:196616 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Sakama, Chiaki. editor.&#160;Sardina, Sebastian. editor.&#160;Vasconcelos, Wamberto. editor.&#160;Winikoff, 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-29113-5">http://dx.doi.org/10.1007/978-3-642-29113-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Approximation and Online Algorithms 9th International Workshop, WAOA 2011, Saarbr&uuml;cken, Germany, September 8-9, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196617 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Solis-Oba, Roberto. editor.&#160;Persiano, Giuseppe. 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-29116-6">http://dx.doi.org/10.1007/978-3-642-29116-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evolutionary Computation in Combinatorial Optimization 12th European Conference, EvoCOP 2012, M&aacute;laga, Spain, April 11-13, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196620 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Hao, Jin-Kao. editor.&#160;Middendorf, Martin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29124-1">http://dx.doi.org/10.1007/978-3-642-29124-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Genetic Programming 15th European Conference, EuroGP 2012, M&aacute;laga, Spain, April 11-13, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196623 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Moraglio, Alberto. editor.&#160;Silva, Sara. editor.&#160;Krawiec, Krzysztof. editor.&#160;Machado, Penousal. editor.&#160;Cotta, Carlos. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29139-5">http://dx.doi.org/10.1007/978-3-642-29139-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evolutionary and Biologically Inspired Music, Sound, Art and Design First International Conference, EvoMUSART 2012, M&aacute;laga, Spain, April 11-13, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196624 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Machado, Penousal. editor.&#160;Romero, Juan. editor.&#160;Carballal, 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-29142-5">http://dx.doi.org/10.1007/978-3-642-29142-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Systems, Technology and Management 6th International Conference, ICISTM 2012, Grenoble, France, March 28-30, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196632 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Dua, Sumeet. editor.&#160;Gangopadhyay, Aryya. editor.&#160;Thulasiraman, Parimala. editor.&#160;Straccia, Umberto. editor.&#160;Shepherd, Michael. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29166-1">http://dx.doi.org/10.1007/978-3-642-29166-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applications of Evolutionary Computation EvoApplications 2012: EvoCOMNET, EvoCOMPLEX, EvoFIN, EvoGAMES, EvoHOT, EvoIASP, EvoNUM, EvoPAR, EvoRISK, EvoSTIM, and EvoSTOC, M&aacute;laga, Spain, April 11-13, 2012, Proceedings ent://SD_ILS/0/SD_ILS:196635 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Chio, Cecilia. editor.&#160;Agapitos, Alexandros. editor.&#160;Cagnoni, Stefano. editor.&#160;Cotta, Carlos. editor.&#160;Vega, Francisco Fern&aacute;ndez. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29178-4">http://dx.doi.org/10.1007/978-3-642-29178-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theorie and Applications of Formal Argumentation First International Workshop, TAFA 2011. Barcelona, Spain, July 16-17, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196637 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Modgil, Sanjay. editor.&#160;Oren, Nir. editor.&#160;Toni, Francesca. 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-29184-5">http://dx.doi.org/10.1007/978-3-642-29184-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Global Trends in Information Systems and Software Applications 4th International Conference, ObCom 2011, Vellore, TN, India, December 9-11, 2011. Proceedings, Part II ent://SD_ILS/0/SD_ILS:196646 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Krishna, P. Venkata. editor.&#160;Babu, M. Rajasekhara. 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-29216-3">http://dx.doi.org/10.1007/978-3-642-29216-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Global Trends in Computing and Communication Systems 4th International Conference, ObCom 2011, Vellore, TN, India, December 9-11, 2011. Proceedings, Part I ent://SD_ILS/0/SD_ILS:196647 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Krishna, P. Venkata. editor.&#160;Babu, M. Rajasekhara. 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-29219-4">http://dx.doi.org/10.1007/978-3-642-29219-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web and Wireless Geographical Information Systems 11th International Symposium, W2GIS 2012, Naples, Italy, April 12-13, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196654 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Martino, Sergio. editor.&#160;Peron, Adriano. editor.&#160;Tezuka, Taro. 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-29247-7">http://dx.doi.org/10.1007/978-3-642-29247-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web Technologies and Applications 14th Asia-Pacific Web Conference, APWeb 2012, Kunming, China, April 11-13, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196655 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Sheng, Quan Z. editor.&#160;Wang, Guoren. editor.&#160;Jensen, Christian S. editor.&#160;Xu, Guandong. 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-29253-8">http://dx.doi.org/10.1007/978-3-642-29253-8</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 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z 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/> S-BPM ONE - Education and Industrial Developments 4th International Conference, S-BPM ONE 2012, Vienna, Austria, April 4-5, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196664 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Oppl, Stefan. editor.&#160;Fleischmann, Albert. 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-29294-1">http://dx.doi.org/10.1007/978-3-642-29294-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamentals of Software Engineering 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196668 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Arbab, Farhad. editor.&#160;Sirjani, Marjan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29320-7">http://dx.doi.org/10.1007/978-3-642-29320-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Games, Actions and Social Software Multidisciplinary Aspects ent://SD_ILS/0/SD_ILS:196670 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Eijck, Jan. editor.&#160;Verbrugge, Rineke. 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-29326-9">http://dx.doi.org/10.1007/978-3-642-29326-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> LATIN 2012: Theoretical Informatics 10th Latin American Symposium, Arequipa, Peru, April 16-20, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196674 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Fern&aacute;ndez-Baca, 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-29344-3">http://dx.doi.org/10.1007/978-3-642-29344-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence and Soft Computing 11th International Conference, ICAISC 2012, Zakopane, Poland, April 29-May 3, 2012, Proceedings, Part I ent://SD_ILS/0/SD_ILS:196675 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Rutkowski, Leszek. editor.&#160;Korytkowski, Marcin. editor.&#160;Scherer, Rafa&#322;. editor.&#160;Tadeusiewicz, Ryszard. editor.&#160;Zadeh, Lotfi A. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29347-4">http://dx.doi.org/10.1007/978-3-642-29347-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence and Soft Computing 11th International Conference, ICAISC 2012, Zakopane, Poland, April 29-May 3, 2012, Proceedings, Part II ent://SD_ILS/0/SD_ILS:196676 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Rutkowski, Leszek. editor.&#160;Korytkowski, Marcin. editor.&#160;Scherer, Rafa&#322;. editor.&#160;Tadeusiewicz, Ryszard. editor.&#160;Zadeh, Lotfi A. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29350-4">http://dx.doi.org/10.1007/978-3-642-29350-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Swarm and Evolutionary Computation International Symposia, SIDE 2012 and EC 2012, Held in Conjunction with ICAISC 2012, Zakopane, Poland, April 29-May 3, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196677 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Rutkowski, Leszek. editor.&#160;Korytkowski, Marcin. editor.&#160;Scherer, Rafa&#322;. editor.&#160;Tadeusiewicz, Ryszard. editor.&#160;Zadeh, Lotfi A. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29353-5">http://dx.doi.org/10.1007/978-3-642-29353-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Computational Collective Intelligence VI ent://SD_ILS/0/SD_ILS:196678 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Nguyen, Ngoc Thanh. 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-29356-6">http://dx.doi.org/10.1007/978-3-642-29356-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Health Information Science First International Conference, HIS 2012, Beijing, China, April 8-10, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196680 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;He, Jing. editor.&#160;Liu, Xiaohui. editor.&#160;Krupinski, Elizabeth A. editor.&#160;Xu, Guandong. 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-29361-0">http://dx.doi.org/10.1007/978-3-642-29361-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Camera-Based Document Analysis and Recognition 4th International Workshop, CBDAR 2011, Beijing, China, September 22, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196681 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Iwamura, Masakazu. editor.&#160;Shafait, Faisal. 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-29364-1">http://dx.doi.org/10.1007/978-3-642-29364-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic Programs, Norms and Action Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:196693 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Artikis, Alexander. editor.&#160;Craven, Robert. editor.&#160;Kesim &Ccedil;i&ccedil;ekli, Nihan. editor.&#160;Sadighi, Babak. editor.&#160;Stathis, Kostas. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29414-3">http://dx.doi.org/10.1007/978-3-642-29414-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Aspects of Security and Trust 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers ent://SD_ILS/0/SD_ILS:196695 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Barthe, Gilles. editor.&#160;Datta, Anupam. editor.&#160;Etalle, Sandro. 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-29420-4">http://dx.doi.org/10.1007/978-3-642-29420-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web Technologies and Applications APWeb 2012 International Workshops: SenDe, IDP, IEKB, MBC, Kunming, China, April 11-13, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196697 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Wang, Hua. editor.&#160;Zou, Lei. editor.&#160;Huang, Guangyan. editor.&#160;He, Jing. editor.&#160;Pang, Chaoyi. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29426-6">http://dx.doi.org/10.1007/978-3-642-29426-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graph Structures for Knowledge Representation and Reasoning Second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers ent://SD_ILS/0/SD_ILS:196702 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Croitoru, Madalina. editor.&#160;Rudolph, Sebastian. editor.&#160;Wilson, Nic. editor.&#160;Howse, John. editor.&#160;Corby, Olivier. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29449-5">http://dx.doi.org/10.1007/978-3-642-29449-5</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 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z 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 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z 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/> Information Security Technology for Applications 16th Nordic Conference on Secure IT Systems, NordSec 2011, Tallinn, Estonia, October 26-28, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196738 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Laud, Peeter. 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-29615-4">http://dx.doi.org/10.1007/978-3-642-29615-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Research in Computational Molecular Biology 16th Annual International Conference, RECOMB 2012, Barcelona, Spain, April 21-24, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196742 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Chor, Benny. 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-29627-7">http://dx.doi.org/10.1007/978-3-642-29627-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Models in Software Engineering Workshops and Symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised Selected Papers ent://SD_ILS/0/SD_ILS:196745 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Kienzle, J&ouml;rg. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29645-1">http://dx.doi.org/10.1007/978-3-642-29645-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Communication Technologies for Vehicles 4th International Workshop, Nets4Cars/Nets4Trains 2012, Vilnius, Lithuania, April 25-27, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196747 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Vinel, Alexey. editor.&#160;Mehmood, Rashid. editor.&#160;Berbineau, Marion. editor.&#160;Garcia, Cristina Rico. editor.&#160;Huang, Chung-Ming. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29667-3">http://dx.doi.org/10.1007/978-3-642-29667-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Frontiers in Algorithmics and Algorithmic Aspects in Information and Management Joint International Conference, FAW-AAIM 2012, Beijing, China, May 14-16, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196751 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Snoeyink, Jack. editor.&#160;Lu, Pinyan. editor.&#160;Su, Kaile. editor.&#160;Wang, Lusheng. 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-29700-7">http://dx.doi.org/10.1007/978-3-642-29700-7</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 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z 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 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z 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/> 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 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z 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/> Digital Urban Modeling and Simulation ent://SD_ILS/0/SD_ILS:196764 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Arisona, Stefan M&uuml;ller. editor.&#160;Aschwanden, Gideon. editor.&#160;Halatsch, Jan. editor.&#160;Wonka, 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-29758-8">http://dx.doi.org/10.1007/978-3-642-29758-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Public Key Infrastructures, Services and Applications 8th European Workshop, EuroPKI 2011, Leuven, Belgium, September 15-16, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196771 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Petkova-Nikova, Svetla. editor.&#160;Pashalidis, Andreas. editor.&#160;Pernul, G&uuml;nther. 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-29804-2">http://dx.doi.org/10.1007/978-3-642-29804-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Functional and Logic Programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196774 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Schrijvers, Tom. editor.&#160;Thiemann, 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-29822-6">http://dx.doi.org/10.1007/978-3-642-29822-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems 9th International Conference, CPAIOR 2012, Nantes, France, May 28 &ndash; June1, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196776 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Beldiceanu, Nicolas. editor.&#160;Jussien, Narendra. editor.&#160;Pinson, &Eacute;ric. 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-29828-8">http://dx.doi.org/10.1007/978-3-642-29828-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web Services and Formal Methods 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196777 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Carbone, Marco. editor.&#160;Petit, 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-29834-9">http://dx.doi.org/10.1007/978-3-642-29834-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196779 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Lirkov, Ivan. editor.&#160;Margenov, Svetozar. 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-29843-1">http://dx.doi.org/10.1007/978-3-642-29843-1</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 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z 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/> Design Science Research in Information Systems. Advances in Theory and Practice 7th International Conference, DESRIST 2012, Las Vegas, NV, USA, May 14-15, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196785 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Peffers, Ken. editor.&#160;Rothenberger, Marcus. editor.&#160;Kuechler, Bill. 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-29863-9">http://dx.doi.org/10.1007/978-3-642-29863-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Financial Cryptography and Data Security FC 2011 Workshops, RLCPS and WECSR 2011, Rodney Bay, St. Lucia, February 28 - March 4, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196791 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Danezis, George. editor.&#160;Dietrich, Sven. editor.&#160;Sako, Kazue. 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-29889-9">http://dx.doi.org/10.1007/978-3-642-29889-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Concept Analysis 10th International Conference, ICFCA 2012, Leuven, Belgium, May 7-10, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196792 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Domenach, Florent. editor.&#160;Ignatov, Dmitry I. editor.&#160;Poelmans, Jonas. 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-29892-9">http://dx.doi.org/10.1007/978-3-642-29892-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Constructive Side-Channel Analysis and Secure Design Third International Workshop, COSADE 2012, Darmstadt, Germany, May 3-4, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196796 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Schindler, Werner. editor.&#160;Huss, Sorin A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29912-4">http://dx.doi.org/10.1007/978-3-642-29912-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Semantic Web Joint International Semantic Technology Conference, JIST 2011, Hangzhou, China, December 4-7, 2011. Proceedings ent://SD_ILS/0/SD_ILS:196798 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Pan, Jeff Z. editor.&#160;Chen, Huajun. editor.&#160;Kim, Hong-Gee. editor.&#160;Li, Juanzi. editor.&#160;Wu, Zhe. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29923-0">http://dx.doi.org/10.1007/978-3-642-29923-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recent Advances in Reinforcement Learning 9th European Workshop, EWRL 2011, Athens, Greece, September 9-11, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196801 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Sanner, Scott. editor.&#160;Hutter, Marcus. 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-29946-9">http://dx.doi.org/10.1007/978-3-642-29946-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Applications of Models of Computation 9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196803 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Agrawal, Manindra. editor.&#160;Cooper, S. Barry. editor.&#160;Li, Angsheng. 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-29952-0">http://dx.doi.org/10.1007/978-3-642-29952-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Security and Trust Management 7th International Workshop, STM 2011, Copenhagen, Denmark, June 27-28, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196805 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Meadows, Catherine. editor.&#160;Fernandez-Gago, Carmen. 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-29963-6">http://dx.doi.org/10.1007/978-3-642-29963-6</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 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z 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 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z 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 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z 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/> Public Key Cryptography &ndash; PKC 2012 15th International Conference on Practice and Theory in Public Key Cryptography, Darmstadt, Germany, May 21-23, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196822 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Fischlin, Marc. editor.&#160;Buchmann, Johannes. editor.&#160;Manulis, 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-30057-8">http://dx.doi.org/10.1007/978-3-642-30057-8</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 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z 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/> Bioinformatics Research and Applications 8th International Symposium, ISBRA 2012, Dallas, TX, USA, May 21-23, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196842 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Bleris, Leonidas. editor.&#160;M&#259;ndoiu, Ion. editor.&#160;Schwartz, Russell. editor.&#160;Wang, Jianxin. 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-30191-9">http://dx.doi.org/10.1007/978-3-642-30191-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Knowledge Discovery and Data Mining 16th Pacific-Asia Conference, PAKDD 2012, Kuala Lumpur, Malaysia, May 29-June 1, 2012, Proceedings, Part I ent://SD_ILS/0/SD_ILS:196845 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Tan, Pang-Ning. editor.&#160;Chawla, Sanjay. editor.&#160;Ho, Chin Kuan. editor.&#160;Bailey, James. 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-30217-6">http://dx.doi.org/10.1007/978-3-642-30217-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Knowledge Discovery and Data Mining 16th Pacific-Asia Conference, PAKDD 2012, Kuala Lumpur, Malaysia, May 29 &ndash; June 1, 2012, Proceedings, Part II ent://SD_ILS/0/SD_ILS:196846 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Tan, Pang-Ning. editor.&#160;Chawla, Sanjay. editor.&#160;Ho, Chin Kuan. editor.&#160;Bailey, James. 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-30220-6">http://dx.doi.org/10.1007/978-3-642-30220-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Topology in Image Context 4th International Workshop, CTIC 2012, Bertinoro, Italy, May 28-30, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196848 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Ferri, Massimo. editor.&#160;Frosini, Patrizio. editor.&#160;Landi, Claudia. editor.&#160;Cerri, Andrea. editor.&#160;Fabio, Barbara. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30238-1">http://dx.doi.org/10.1007/978-3-642-30238-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Future Internet Future Internet Assembly 2012: From Promises to Reality ent://SD_ILS/0/SD_ILS:196849 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;&Aacute;lvarez, Federico. editor.&#160;Cleary, Frances. editor.&#160;Daras, Petros. editor.&#160;Domingue, John. editor.&#160;Galis, Alex. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30241-1">http://dx.doi.org/10.1007/978-3-642-30241-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Semantic Web: Research and Applications 9th Extended Semantic Web Conference, ESWC 2012, Heraklion, Crete, Greece, May 27-31, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196855 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Simperl, Elena. editor.&#160;Cimiano, Philipp. editor.&#160;Polleres, Axel. editor.&#160;Corcho, Oscar. editor.&#160;Presutti, Valentina. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30284-8">http://dx.doi.org/10.1007/978-3-642-30284-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fun with Algorithms 6th International Conference, FUN 2012, Venice, Italy, June 4-6, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196862 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Kranakis, Evangelos. editor.&#160;Krizanc, Danny. editor.&#160;Luccio, Flaminia. 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-30347-0">http://dx.doi.org/10.1007/978-3-642-30347-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Artificial Intelligence 25th Canadian Conference on Artificial Intelligence, Canadian AI 2012, Toronto, ON, Canada, May 28-30, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196864 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Kosseim, Leila. editor.&#160;Inkpen, Diana. 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-30353-1">http://dx.doi.org/10.1007/978-3-642-30353-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Telecommunication Economics Selected Results of the COST Action ISO605 Econ@Tel ent://SD_ILS/0/SD_ILS:196872 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Hadjiantonis, Antonis M. editor.&#160;Stiller, Burkhard. 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-30382-1">http://dx.doi.org/10.1007/978-3-642-30382-1</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 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z 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/> Intelligence and Security Informatics Pacific Asia Workshop, PAISI 2012, Kuala Lumpur, Malaysia, May 29, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196884 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Chau, Michael. editor.&#160;Wang, G. Alan. editor.&#160;Yue, Wei Thoo. editor.&#160;Chen, Hsinchun. 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-30428-6">http://dx.doi.org/10.1007/978-3-642-30428-6</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 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z 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/> Artificial Intelligence: Theories and Applications 7th Hellenic Conference on AI, SETN 2012, Lamia, Greece, May 28-31, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196889 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Maglogiannis, Ilias. editor.&#160;Plagianakos, Vassilis. editor.&#160;Vlahavas, Ioannis. 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-30448-4">http://dx.doi.org/10.1007/978-3-642-30448-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tests and Proofs 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 &ndash; June 1, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196896 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Brucker, Achim D. editor.&#160;Julliand, Jacques. 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-30473-6">http://dx.doi.org/10.1007/978-3-642-30473-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Practice of Model Transformations 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196897 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Hu, Zhenjiang. editor.&#160;Lara, Juan. 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-30476-7">http://dx.doi.org/10.1007/978-3-642-30476-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Networked Digital Technologies 4th International Conference, NDT 2012, Dubai, UAE, April 24-26, 2012. Proceedings, Part I ent://SD_ILS/0/SD_ILS:196903 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Benlamri, Rachid. 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-30507-8">http://dx.doi.org/10.1007/978-3-642-30507-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms and Models for the Web Graph 9th International Workshop, WAW 2012, Halifax, NS, Canada, June 22-23, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196910 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Bonato, Anthony. editor.&#160;Janssen, Jeannette. 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-30541-2">http://dx.doi.org/10.1007/978-3-642-30541-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Objects, Models, Components, Patterns 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196917 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Furia, Carlo A. editor.&#160;Nanz, Sebastian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30561-0">http://dx.doi.org/10.1007/978-3-642-30561-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Composition 11th International Conference, SC 2012, Prague, Czech Republic, May 31 &ndash; June 1, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196918 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Gschwind, Thomas. editor.&#160;Paoli, Flavio. editor.&#160;Gruhn, Volker. editor.&#160;Book, Matthias. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30564-1">http://dx.doi.org/10.1007/978-3-642-30564-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Networked Digital Technologies 4th International Conference, NDT 2012, Dubai, UAE, April 24-26, 2012, Proceedings, Part II ent://SD_ILS/0/SD_ILS:196919 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Benlamri, Rachid. 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-30567-2">http://dx.doi.org/10.1007/978-3-642-30567-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reliable Software Technologies &ndash; Ada-Europe 2012 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196925 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Brorsson, Mats. editor.&#160;Pinho, Lu&iacute;s Miguel. 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-30598-6">http://dx.doi.org/10.1007/978-3-642-30598-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Sequences and Their Applications &ndash; SETA 2012 7th International Conference, Waterloo, ON, Canada, June 4-8, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196928 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Helleseth, Tor. editor.&#160;Jedwab, Jonathan. 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-30615-0">http://dx.doi.org/10.1007/978-3-642-30615-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Processing in Computer-Assisted Interventions Third International Conference, IPCAI 2012, Pisa, Italy, June 27, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196929 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Abolmaesumi, Purang. editor.&#160;Joskowicz, Leo. editor.&#160;Navab, Nassir. editor.&#160;Jannin, Pierre. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30618-1">http://dx.doi.org/10.1007/978-3-642-30618-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Wired/Wireless Internet Communication 10th International Conference, WWIC 2012, Santorini, Greece, June 6-8, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196931 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Koucheryavy, Yevgeni. editor.&#160;Mamatas, Lefteris. editor.&#160;Matta, Ibrahim. editor.&#160;Tsaoussidis, Vassilis. 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-30630-3">http://dx.doi.org/10.1007/978-3-642-30630-3</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 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z 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/> Advances in Computational Intelligence IEEE World Congress on Computational Intelligence, WCCI 2012, Brisbane, Australia, June 10-15, 2012. Plenary/Invited Lectures ent://SD_ILS/0/SD_ILS:196941 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Liu, Jing. editor.&#160;Alippi, Cesare. editor.&#160;Bouchon-Meunier, Bernadette. editor.&#160;Greenwood, Garrison W. editor.&#160;Abbass, Hussein A. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30687-7">http://dx.doi.org/10.1007/978-3-642-30687-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multimedia Communications, Services and Security 5th International Conference, MCSS 2012, Krakow, Poland, May 31&ndash;June 1, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196945 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Dziech, Andrzej. editor.&#160;Czy&#380;ewski, Andrzej. 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-30721-8">http://dx.doi.org/10.1007/978-3-642-30721-8</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 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z 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/> Correct Reasoning Essays on Logic-Based AI in Honour of Vladimir Lifschitz ent://SD_ILS/0/SD_ILS:196950 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Erdem, Esra. editor.&#160;Lee, Joohyung. editor.&#160;Lierler, Yuliya. editor.&#160;Pearce, 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-30743-0">http://dx.doi.org/10.1007/978-3-642-30743-0</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 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z 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/> Impact Analysis of Solutions for Chronic Disease Prevention and Management 10th International Conference on Smart Homes and Health Telematics, ICOST 2012, Artiminio, Italy, June 12-15, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196958 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Donnelly, Mark. editor.&#160;Paggetti, Cristiano. editor.&#160;Nugent, Chris. editor.&#160;Mokhtari, Mounir. 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-30779-9">http://dx.doi.org/10.1007/978-3-642-30779-9</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 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z 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/> Formal Techniques for Distributed Systems Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196962 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Giese, Holger. editor.&#160;Rosu, Grigore. 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-30793-5">http://dx.doi.org/10.1007/978-3-642-30793-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Applications and Interoperable Systems 12th IFIP WG 6.1 International Conference, DAIS 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196969 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;G&ouml;schka, Karl Michael. editor.&#160;Haridi, Seif. 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-30823-9">http://dx.doi.org/10.1007/978-3-642-30823-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Coordination Models and Languages 14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196971 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Sirjani, Marjan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30829-1">http://dx.doi.org/10.1007/978-3-642-30829-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Service and Application Engineering Essays Dedicated to Bernd Kr&auml;mer on the Occasion of His 65th Birthday ent://SD_ILS/0/SD_ILS:196973 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Heisel, Maritta. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30835-2">http://dx.doi.org/10.1007/978-3-642-30835-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Experimental Algorithms 11th International Symposium, SEA 2012, Bordeaux, France, June 7-9, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196976 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Klasing, 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-30850-5">http://dx.doi.org/10.1007/978-3-642-30850-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> How the World Computes Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196979 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Cooper, S. Barry. editor.&#160;Dawar, Anuj. editor.&#160;L&ouml;we, Benedikt. 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-30870-3">http://dx.doi.org/10.1007/978-3-642-30870-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Abstract State Machines, Alloy, B, VDM, and Z Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196982 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Derrick, John. editor.&#160;Fitzgerald, John. editor.&#160;Gnesi, Stefania. editor.&#160;Khurshid, Sarfraz. editor.&#160;Leuschel, Michael. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30885-7">http://dx.doi.org/10.1007/978-3-642-30885-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Multivariate Algorithmic Revolution and Beyond Essays Dedicated to Michael R. Fellows on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:196983 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Bodlaender, Hans L. editor.&#160;Downey, Rod. editor.&#160;Fomin, Fedor V. editor.&#160;Marx, D&aacute;niel. 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-30891-8">http://dx.doi.org/10.1007/978-3-642-30891-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trust and Trustworthy Computing 5th International Conference, TRUST 2012, Vienna, Austria, June 13-15, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196986 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Katzenbeisser, Stefan. editor.&#160;Weippl, Edgar. editor.&#160;Camp, L. Jean. editor.&#160;Volkamer, Melanie. editor.&#160;Reiter, Mike. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30921-2">http://dx.doi.org/10.1007/978-3-642-30921-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agent and Multi-Agent Systems. Technologies and Applications 6th KES International Conference, KES-AMSTA 2012,Dubrovnik, Croatia, June 25-27, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196992 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Jezic, Gordan. editor.&#160;Kusek, Mario. editor.&#160;Nguyen, Ngoc-Thanh. editor.&#160;Howlett, Robert J. editor.&#160;Jain, Lakhmi C. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30947-2">http://dx.doi.org/10.1007/978-3-642-30947-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computers Helping People with Special Needs 13th International Conference, ICCHP 2012, Linz, Austria, July 11-13, 2012, Proceedings, Part I ent://SD_ILS/0/SD_ILS:197097 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Miesenberger, Klaus. editor.&#160;Karshmer, Arthur. editor.&#160;Penaz, Petr. editor.&#160;Zagler, Wolfgang. 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-31522-0">http://dx.doi.org/10.1007/978-3-642-31522-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Biomimetic and Biohybrid Systems First International Conference, Living Machines 2012, Barcelona, Spain, July 9-12, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197098 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Prescott, Tony J. editor.&#160;Lepora, Nathan F. editor.&#160;Mura, Anna. editor.&#160;Verschure, Paul F. M. 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-31525-1">http://dx.doi.org/10.1007/978-3-642-31525-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computers Helping People with Special Needs 13th International Conference, ICCHP 2012, Linz, Austria, July 11-13, 2012, Proceedings, Part II ent://SD_ILS/0/SD_ILS:197099 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Miesenberger, Klaus. editor.&#160;Karshmer, Arthur. editor.&#160;Penaz, Petr. editor.&#160;Zagler, Wolfgang. 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-31534-3">http://dx.doi.org/10.1007/978-3-642-31534-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Machine Learning and Data Mining in Pattern Recognition 8th International Conference, MLDM 2012, Berlin, Germany, July 13-20, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197100 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Perner, Petra. 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-31537-4">http://dx.doi.org/10.1007/978-3-642-31537-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Data and Applications Security and Privacy XXVI 26th Annual IFIP WG 11.3 Conference, DBSec 2012, Paris, France, July 11-13,2012. Proceedings ent://SD_ILS/0/SD_ILS:197101 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Cuppens-Boulahia, Nora. editor.&#160;Cuppens, Fr&eacute;d&eacute;ric. editor.&#160;Garcia-Alfaro, Joaquin. 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-31540-4">http://dx.doi.org/10.1007/978-3-642-31540-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Logic of Categorial Grammars A Deductive Account of Natural Language Syntax and Semantics ent://SD_ILS/0/SD_ILS:197102 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Moot, Richard. author.&#160;Retor&eacute;, Christian. 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-31555-8">http://dx.doi.org/10.1007/978-3-642-31555-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Brain Inspired Cognitive Systems 5th International Conference, BICS 2012, Shenyang, China, July 11-14, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197103 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Zhang, Huaguang. editor.&#160;Hussain, Amir. editor.&#160;Liu, Derong. editor.&#160;Wang, Zhanshan. 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-31561-9">http://dx.doi.org/10.1007/978-3-642-31561-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Articulated Motion and Deformable Objects 7th International Conference, AMDO 2012, Port d&rsquo;Andratx, Mallorca, Spain, July 11-13, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197105 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Perales, Francisco J. editor.&#160;Fisher, Robert B. editor.&#160;Moeslund, Thomas B. 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-31567-1">http://dx.doi.org/10.1007/978-3-642-31567-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Computing Theories and Applications 8th International Conference, ICIC 2012, Huangshan, China, July 25-29, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197107 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Huang, De-Shuang. editor.&#160;Ma, Jianhua. editor.&#160;Jo, Kang-Hyun. editor.&#160;Gromiha, M. 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-31576-3">http://dx.doi.org/10.1007/978-3-642-31576-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automata, Languages, and Programming 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II ent://SD_ILS/0/SD_ILS:197110 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Czumaj, Artur. editor.&#160;Mehlhorn, Kurt. editor.&#160;Pitts, Andrew. editor.&#160;Wattenhofer, Roger. 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-31585-5">http://dx.doi.org/10.1007/978-3-642-31585-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Computing Technology 8th International Conference, ICIC 2012, Huangshan, China, July 25-29, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197111 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Huang, De-Shuang. editor.&#160;Jiang, Changjun. editor.&#160;Bevilacqua, Vitoantonio. editor.&#160;Figueroa, Juan Carlos. 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-31588-6">http://dx.doi.org/10.1007/978-3-642-31588-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automata, Languages, and Programming 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part I ent://SD_ILS/0/SD_ILS:197112 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Czumaj, Artur. editor.&#160;Mehlhorn, Kurt. editor.&#160;Pitts, Andrew. editor.&#160;Wattenhofer, Roger. 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-31594-7">http://dx.doi.org/10.1007/978-3-642-31594-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Implementation and Application of Automata 17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197113 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Moreira, Nelma. editor.&#160;Reis, Rog&eacute;rio. 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-31606-7">http://dx.doi.org/10.1007/978-3-642-31606-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Applications of Satisfiability Testing &ndash; SAT 2012 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197115 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Cimatti, Alessandro. editor.&#160;Sebastiani, Roberto. 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-31612-8">http://dx.doi.org/10.1007/978-3-642-31612-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Descriptional Complexity of Formal Systems 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197117 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Kutrib, Martin. editor.&#160;Moreira, Nelma. editor.&#160;Reis, Rog&eacute;rio. 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-31623-4">http://dx.doi.org/10.1007/978-3-642-31623-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ad-hoc, Mobile, and Wireless Networks 11th International Conference, ADHOC-NOW 2012, Belgrade, Serbia, July 9-11, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197119 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Li, Xiang-Yang. editor.&#160;Papavassiliou, Symeon. editor.&#160;Ruehrup, 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-31638-8">http://dx.doi.org/10.1007/978-3-642-31638-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Languages Alive Essays Dedicated to J&uuml;rgen Dassow on the Occasion of His 65th Birthday ent://SD_ILS/0/SD_ILS:197120 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Bordihn, Henning. editor.&#160;Kutrib, Martin. 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-31644-9">http://dx.doi.org/10.1007/978-3-642-31644-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Developments in Language Theory 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197121 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Yen, Hsu-Chun. editor.&#160;Ibarra, Oscar H. 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-31653-1">http://dx.doi.org/10.1007/978-3-642-31653-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Arithmetic of Finite Fields 4th International Workshop, WAIFI 2012, Bochum, Germany, July 16-19, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197122 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;&Ouml;zbudak, Ferruh. editor.&#160;Rodr&iacute;guez-Henr&iacute;quez, Francisco. 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-31662-3">http://dx.doi.org/10.1007/978-3-642-31662-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Privacy Enhancing Technologies 12th International Symposium, PETS 2012, Vigo, Spain, July 11-13, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197124 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Fischer-H&uuml;bner, Simone. editor.&#160;Wright, 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-31680-7">http://dx.doi.org/10.1007/978-3-642-31680-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Wireless Networks and Computational Intelligence 6th International Conference on Information Processing, ICIP 2012, Bangalore, India, August 10-12, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197125 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Venugopal, K. R. editor.&#160;Patnaik, L. 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-31686-9">http://dx.doi.org/10.1007/978-3-642-31686-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances on Computational Intelligence 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, Catania, Italy, July 9-13, 2012. Proceedings, Part I ent://SD_ILS/0/SD_ILS:197126 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Greco, Salvatore. editor.&#160;Bouchon-Meunier, Bernadette. editor.&#160;Coletti, Giulianella. editor.&#160;Fedrizzi, Mario. editor.&#160;Matarazzo, Benedetto. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31709-5">http://dx.doi.org/10.1007/978-3-642-31709-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computational Intelligence 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, Catania, Italy, July 9-13, 2012. Proceedings, Part II ent://SD_ILS/0/SD_ILS:197127 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Greco, Salvatore. editor.&#160;Bouchon-Meunier, Bernadette. editor.&#160;Coletti, Giulianella. editor.&#160;Fedrizzi, Mario. editor.&#160;Matarazzo, Benedetto. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31715-6">http://dx.doi.org/10.1007/978-3-642-31715-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computational Intelligence 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, Catania, Italy, July 9-13, 2012, Proceedings, Part III ent://SD_ILS/0/SD_ILS:197128 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Greco, Salvatore. editor.&#160;Bouchon-Meunier, Bernadette. editor.&#160;Coletti, Giulianella. editor.&#160;Fedrizzi, Mario. editor.&#160;Matarazzo, Benedetto. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31718-7">http://dx.doi.org/10.1007/978-3-642-31718-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computational Intelligence 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, Catania, Italy, July 9-13, 2012, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:197129 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Greco, Salvatore. editor.&#160;Bouchon-Meunier, Bernadette. editor.&#160;Coletti, Giulianella. editor.&#160;Fedrizzi, Mario. editor.&#160;Matarazzo, Benedetto. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31724-8">http://dx.doi.org/10.1007/978-3-642-31724-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Methodologies and Technologies for Networked Enterprises ArtDeco: Adaptive Infrastructures for Decentralised Organisations ent://SD_ILS/0/SD_ILS:197131 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Anastasi, Giuseppe. editor.&#160;Bellini, Emilio. editor.&#160;Nitto, Elisabetta. editor.&#160;Ghezzi, Carlo. editor.&#160;Tanca, Letizia. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31739-2">http://dx.doi.org/10.1007/978-3-642-31739-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web Engineering 12th International Conference, ICWE 2012, Berlin, Germany, July 23-27, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197132 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Brambilla, Marco. editor.&#160;Tokuda, Takehiro. editor.&#160;Tolksdorf, 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-31753-8">http://dx.doi.org/10.1007/978-3-642-31753-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model Checking Software 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197133 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Donaldson, Alastair. editor.&#160;Parker, 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-31759-0">http://dx.doi.org/10.1007/978-3-642-31759-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Verification of Object-Oriented Software International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:197134 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Beckert, Bernhard. editor.&#160;Damiani, Ferruccio. editor.&#160;Gurov, Dilian. 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-31762-0">http://dx.doi.org/10.1007/978-3-642-31762-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Combinatorial Optimization and Applications 6th International Conference, COCOA 2012, Banff, AB, Canada, August 5-9, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197135 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Lin, Guohui. 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-31770-5">http://dx.doi.org/10.1007/978-3-642-31770-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Virtual and Networked Organizations, Emergent Technologies and Tools First International Conference, ViNOrg 2011, Ofir, Portugal, July 6-8, 2011. Revised Selected Papers ent://SD_ILS/0/SD_ILS:197138 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Putnik, Goran D. editor.&#160;Cruz-Cunha, Maria Manuela. 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-31800-9">http://dx.doi.org/10.1007/978-3-642-31800-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agents and Peer-to-Peer Computing 7th International Workshop, AP2PC 2008, Estoril, Portugal, May 13, 2008 and 8th International Workshop, AP2PC 2009, Budapest, Hungary, May 11, 2009. Revised Selected Papers ent://SD_ILS/0/SD_ILS:197140 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Beneventano, Domenico. editor.&#160;Despotovic, Zoran. editor.&#160;Guerra, Francesco. editor.&#160;Joseph, Sam. editor.&#160;Moro, Gianluca. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31809-2">http://dx.doi.org/10.1007/978-3-642-31809-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computing and Combinatorics 18th Annual International Conference, COCOON 2012, Sydney, Australia, August 20-22, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197193 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Gudmundsson, Joachim. editor.&#160;Mestre, Juli&aacute;n. editor.&#160;Viglas, Taso. 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-32241-9">http://dx.doi.org/10.1007/978-3-642-32241-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web-Age Information Management 13th International Conference, WAIM 2012, Harbin, China, August 18-20, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197200 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Gao, Hong. editor.&#160;Lim, Lipyeow. editor.&#160;Wang, Wei. editor.&#160;Li, Chuan. editor.&#160;Chen, Lei. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32281-5">http://dx.doi.org/10.1007/978-3-642-32281-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Theoretic Security 6th International Conference, ICITS 2012, Montreal, QC, Canada, August 15-17, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197201 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Smith, Adam. 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-32284-6">http://dx.doi.org/10.1007/978-3-642-32284-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trust, Privacy and Security in Digital Business 9th International Conference, TrustBus 2012, Vienna, Austria, September 3-7, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197202 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Fischer-H&uuml;bner, Simone. editor.&#160;Katsikas, Sokratis. editor.&#160;Quirchmayr, Gerald. 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-32287-7">http://dx.doi.org/10.1007/978-3-642-32287-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trusted Systems Third International Conference, INTRUST 2011, Beijing, China, November 27-29, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:197203 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Chen, Liqun. editor.&#160;Yung, Moti. editor.&#160;Zhu, Liehuang. 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-32298-3">http://dx.doi.org/10.1007/978-3-642-32298-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applications of Discrete Geometry and Mathematical Morphology First International Workshop, WADGMM 2010, Istanbul, Turkey, August 22, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:197205 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;K&ouml;the, Ullrich. editor.&#160;Montanvert, Annick. editor.&#160;Soille, Pierre. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32313-3">http://dx.doi.org/10.1007/978-3-642-32313-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agents for Educational Games and Simulations International Workshop, AEGS 2011, Taipei, Taiwan, May 2, 2011. Revised Papers ent://SD_ILS/0/SD_ILS:197208 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Beer, Martin. editor.&#160;Brom, Cyril. editor.&#160;Dignum, Frank. editor.&#160;Soo, Von-Wun. 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-32326-3">http://dx.doi.org/10.1007/978-3-642-32326-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Data Management in Cloud, Grid and P2P Systems 5th International Conference, Globe 2012, Vienna, Austria, September 5-6, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197210 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Hameurlain, Abdelkader. editor.&#160;Hussain, Farookh Khadeer. editor.&#160;Morvan, Franck. editor.&#160;Tjoa, A 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-32344-7">http://dx.doi.org/10.1007/978-3-642-32344-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Interactive Theorem Proving Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197211 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Beringer, Lennart. editor.&#160;Felty, Amy. 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-32347-8">http://dx.doi.org/10.1007/978-3-642-32347-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations of Health Informatics Engineering and Systems First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers ent://SD_ILS/0/SD_ILS:197212 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Liu, Zhiming. editor.&#160;Wassyng, Alan. 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-32355-3">http://dx.doi.org/10.1007/978-3-642-32355-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Technology in Bio- and Medical Informatics Third International Conference, ITBAM 2012, Vienna, Austria, September 4-5, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197215 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;B&ouml;hm, Christian. editor.&#160;Khuri, Sami. editor.&#160;Lhotsk&aacute;, Lenka. editor.&#160;Renda, M. Elena. 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-32395-9">http://dx.doi.org/10.1007/978-3-642-32395-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Internet of Things International Workshop, IOT 2012, Changsha, China, August 17-19, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197216 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Wang, Yongheng. editor.&#160;Zhang, Xiaoming. 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-32427-7">http://dx.doi.org/10.1007/978-3-642-32427-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Intelligence for Multimedia Understanding International Workshop, MUSCLE 2011, Pisa, Italy, December 13-15, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:197217 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Salerno, Emanuele. editor.&#160;&Ccedil;etin, A. Enis. editor.&#160;Salvetti, Ovidio. 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-32436-9">http://dx.doi.org/10.1007/978-3-642-32436-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Business System Management and Engineering From Open Issues to Applications ent://SD_ILS/0/SD_ILS:197218 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Ardagna, Claudio A. editor.&#160;Damiani, Ernesto. editor.&#160;Maciaszek, Leszek A. editor.&#160;Missikoff, Michele. editor.&#160;Parkin, Michael. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32439-0">http://dx.doi.org/10.1007/978-3-642-32439-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Industrial Critical Systems 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197223 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Stoelinga, Mari&euml;lle. editor.&#160;Pinger, 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-32469-7">http://dx.doi.org/10.1007/978-3-642-32469-7</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 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z 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/> Multidisciplinary Research and Practice for Information Systems IFIP WG 8.4, 8.9/TC 5 International Cross-Domain Conference and Workshop on Availability, Reliability, and Security, CD-ARES 2012, Prague, Czech Republic, August 20-24, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197227 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Quirchmayr, Gerald. editor.&#160;Basl, Josef. editor.&#160;You, Ilsun. editor.&#160;Xu, Lida. editor.&#160;Weippl, Edgar. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32498-7">http://dx.doi.org/10.1007/978-3-642-32498-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 15th International Workshop, APPROX 2012, and 16th International Workshop, RANDOM 2012, Cambridge, MA, USA, August 15-17, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197228 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Gupta, Anupam. editor.&#160;Jansen, Klaus. editor.&#160;Rolim, Jos&eacute;. editor.&#160;Servedio, Rocco. 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-32512-0">http://dx.doi.org/10.1007/978-3-642-32512-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Autonomous Robotics Joint Proceedings of the 13th Annual TAROS Conference and the 15th Annual FIRA RoboWorld Congress, Bristol, UK, August 20-23, 2012 ent://SD_ILS/0/SD_ILS:197229 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Herrmann, Guido. editor.&#160;Studley, Matthew. editor.&#160;Pearson, Martin. editor.&#160;Conn, Andrew. editor.&#160;Melhuish, Chris. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32527-4">http://dx.doi.org/10.1007/978-3-642-32527-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Knowledge Management and Acquisition for Intelligent Systems 12th Pacific Rim Knowledge Acquisition Workshop, PKAW 2012, Kuching, Malaysia, September 5-6, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197231 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Richards, Deborah. 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-32541-0">http://dx.doi.org/10.1007/978-3-642-32541-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Data Warehousing and Knowledge Discovery 14th International Conference, DaWaK 2012, Vienna, Austria, September 3-6, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197236 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Cuzzocrea, Alfredo. editor.&#160;Dayal, Umeshwar. 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-32584-7">http://dx.doi.org/10.1007/978-3-642-32584-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Database and Expert Systems Applications 23rd International Conference, DEXA 2012, Vienna, Austria, September 3-6, 2012. Proceedings, Part II ent://SD_ILS/0/SD_ILS:197240 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Liddle, Stephen W. editor.&#160;Schewe, Klaus-Dieter. editor.&#160;Tjoa, A Min. editor.&#160;Zhou, Xiaofang. 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-32597-7">http://dx.doi.org/10.1007/978-3-642-32597-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Database and Expert Systems Applications 23rd International Conference, DEXA 2012, Vienna, Austria, September 3-6, 2012. Proceedings, Part I ent://SD_ILS/0/SD_ILS:197241 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Liddle, Stephen W. editor.&#160;Schewe, Klaus-Dieter. editor.&#160;Tjoa, A Min. editor.&#160;Zhou, Xiaofang. 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-32600-4">http://dx.doi.org/10.1007/978-3-642-32600-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> ICT as Key Technology against Global Warming Second International Conference, ICT-GLOW 2012, Vienna, Austria, September 6, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197242 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Auweter, Axel. editor.&#160;Kranzlm&uuml;ller, Dieter. editor.&#160;Tahamtan, Amirreza. editor.&#160;Tjoa, A 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-32606-6">http://dx.doi.org/10.1007/978-3-642-32606-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cooperative Design, Visualization, and Engineering 9th International Conference, CDVE 2012, Osaka, Japan, September 2-5, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197243 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Luo, Yuhua. 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-32609-7">http://dx.doi.org/10.1007/978-3-642-32609-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Controlled Natural Language Third International Workshop, CNL 2012, Zurich, Switzerland, August 29-31, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197244 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Kuhn, Tobias. editor.&#160;Fuchs, Norbert E. 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-32612-7">http://dx.doi.org/10.1007/978-3-642-32612-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic, Language, Information and Computation 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197246 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Ong, Luke. editor.&#160;Queiroz, Ruy. 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-32621-9">http://dx.doi.org/10.1007/978-3-642-32621-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Topics in Performance Evaluation, Measurement and Characterization Third TPC Technology Conference, TPCTC 2011, Seattle, WA, USA, August 29-September 3, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:197247 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z 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-32627-1">http://dx.doi.org/10.1007/978-3-642-32627-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Augmented Environments for Computer-Assisted Interventions 6th International Workshop, AE-CAI 2011, Held in Conjunction with MICCAI 2011, Toronto, ON, Canada, September 22, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:197248 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Linte, Cristian A. editor.&#160;Moore, John T. editor.&#160;Chen, Elvis C. S. editor.&#160;Holmes, David R. 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-32630-1">http://dx.doi.org/10.1007/978-3-642-32630-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Data Engineering and Automated Learning - IDEAL 2012 13th International Conference, Natal, Brazil, August 29-31, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197249 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Yin, Hujun. editor.&#160;Costa, Jos&eacute; A. F. editor.&#160;Barreto, Guilherme. 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-32639-4">http://dx.doi.org/10.1007/978-3-642-32639-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Convergence and Hybrid Information Technology 6th International Conference, ICHIT 2012, Daejeon, Korea, August 23-25, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197250 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Lee, Geuk. editor.&#160;Howard, Daniel. editor.&#160;Kang, Jeong Jin. 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-32645-5">http://dx.doi.org/10.1007/978-3-642-32645-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Swarm Intelligence 8th International Conference, ANTS 2012, Brussels, Belgium, September 12-14, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197251 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Dorigo, Marco. editor.&#160;Birattari, Mauro. editor.&#160;Blum, Christian. editor.&#160;Christensen, Anders Lyhne. editor.&#160;Engelbrecht, Andries P. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32650-9">http://dx.doi.org/10.1007/978-3-642-32650-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Computational Science XVI ent://SD_ILS/0/SD_ILS:197254 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Gavrilova, Marina L. editor.&#160;Tan, C. J. Kenneth. 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-32663-9">http://dx.doi.org/10.1007/978-3-642-32663-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Internet of Things, Smart Spaces, and Next Generation Networking 12th International Conference, NEW2AN 2012, and 5th Conference, ruSMART 2012, St. Petersburg, Russia, August 27-29, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197257 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Andreev, Sergey. editor.&#160;Balandin, Sergey. editor.&#160;Koucheryavy, Yevgeni. 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-32686-8">http://dx.doi.org/10.1007/978-3-642-32686-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rules on the Web: Research and Applications 6th International Symposium, RuleML 2012, Montpellier, France, August 27-29, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197258 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Bikakis, Antonis. editor.&#160;Giurca, 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-32689-9">http://dx.doi.org/10.1007/978-3-642-32689-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Convergence and Hybrid Information Technology 6th International Conference, ICHIT 2012, Daejeon, Korea, August 23-25, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197259 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Lee, Geuk. editor.&#160;Howard, Daniel. editor.&#160;&#346;l&#281;zak, Dominik. editor.&#160;Hong, You Sik. 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-32692-9">http://dx.doi.org/10.1007/978-3-642-32692-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> PRICAI 2012: Trends in Artificial Intelligence 12th Pacific Rim International Conference on Artificial Intelligence, Kuching, Malaysia, September 3-7, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197260 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Anthony, Patricia. editor.&#160;Ishizuka, Mitsuru. editor.&#160;Lukose, Dickson. 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-32695-0">http://dx.doi.org/10.1007/978-3-642-32695-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advancing Democracy, Government and Governance Joint International Conference on Electronic Government and the Information Systems Perspective, and Electronic Democracy, EGOVIS/EDEM 2012, Vienna, Austria, September 3-6, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197261 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;K&#337;, Andrea. editor.&#160;Leitner, Christine. editor.&#160;Leitold, Herbert. editor.&#160;Prosser, Alexander. 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-32701-8">http://dx.doi.org/10.1007/978-3-642-32701-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pattern Recognition Joint 34th DAGM and 36th OAGM Symposium, Graz, Austria, August 28-31, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197264 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Pinz, Axel. editor.&#160;Pock, Thomas. editor.&#160;Bischof, Horst. editor.&#160;Leberl, Franz. 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-32717-9">http://dx.doi.org/10.1007/978-3-642-32717-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> PRIMA 2012: Principles and Practice of Multi-Agent Systems 15th International Conference, Kuching, Sarawak, Malaysia, September 3-7, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197265 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Rahwan, Iyad. editor.&#160;Wobcke, Wayne. editor.&#160;Sen, Sandip. editor.&#160;Sugawara, Toshiharu. 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-32729-2">http://dx.doi.org/10.1007/978-3-642-32729-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Spatial Cognition VIII International Conference, Spatial Cognition 2012, Kloster Seeon, Germany, August 31 &ndash; September 3, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197266 2026-01-13T05:20:04Z 2026-01-13T05:20:04Z Author&#160;Stachniss, Cyrill. editor.&#160;Schill, Kerstin. editor.&#160;Uttal, 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-32732-2">http://dx.doi.org/10.1007/978-3-642-32732-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>