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$0026ps$003d300? 2026-05-14T07:42:43Z Applied Computer Science ent://SD_ILS/0/SD_ILS:174039 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z 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:313472 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z 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 science : an overview ent://SD_ILS/0/SD_ILS:354120 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Brookshear, J. Glenn.<br/>Preferred Shelf Number&#160;QA76 B743 2012<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Mathematical Logic for Computer Science ent://SD_ILS/0/SD_ILS:173540 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z 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/> Advances in Computer Science and Education ent://SD_ILS/0/SD_ILS:196306 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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/> Computer and Information Science 2012 ent://SD_ILS/0/SD_ILS:196891 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z 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/> Instruction Sequences for Computer Science ent://SD_ILS/0/SD_ILS:207045 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z 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/> Mathematics of Discrete Structures for Computer Science ent://SD_ILS/0/SD_ILS:196778 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z 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/> Computer Science and its Applications CSA 2012 ent://SD_ILS/0/SD_ILS:206762 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z 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/> 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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/> 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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/> 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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/> 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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/> 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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/> 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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/> 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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/> 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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/> 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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/> 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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, 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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/> Computer Science and Convergence CSA 2011 &amp; WCC 2011 Proceedings ent://SD_ILS/0/SD_ILS:206459 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z 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/> 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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/> Linear algebra and probability for computer science applications ent://SD_ILS/0/SD_ILS:364620 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z 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/> Operator Calculus on Graphs Theory and Applications in Computer Science. ent://SD_ILS/0/SD_ILS:279465 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z 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/> Recent Advances in Computer Science and Information Engineering Volume 3 ent://SD_ILS/0/SD_ILS:196040 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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/> 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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/> Proceedings of the 2011 2nd International Congress on Computer Applications and Computational Science Volume 2 ent://SD_ILS/0/SD_ILS:196412 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z 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/> Proceedings of the 2011 2nd International Congress on Computer Applications and Computational Science Volume 1 ent://SD_ILS/0/SD_ILS:196414 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z 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/> Service Placement in Ad Hoc Networks ent://SD_ILS/0/SD_ILS:173433 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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/> Decentralized Reasoning in Ambient Intelligence ent://SD_ILS/0/SD_ILS:173543 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z 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/> Self-* and P2P for Network Management Design Principles and Case Studies ent://SD_ILS/0/SD_ILS:173546 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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/> Two-Dimensional Change Detection Methods Remote Sensing Applications ent://SD_ILS/0/SD_ILS:173551 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z 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/> Spatial AutoRegression (SAR) Model Parameter Estimation Techniques ent://SD_ILS/0/SD_ILS:174029 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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/> Data Dissemination and Query in Mobile Social Networks ent://SD_ILS/0/SD_ILS:174135 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z 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/> Visual Indexing and Retrieval ent://SD_ILS/0/SD_ILS:174294 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z 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/> Power Distribution and Performance Analysis for Wireless Communication Networks ent://SD_ILS/0/SD_ILS:174227 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z 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/> ITIL&reg; 2011 At a Glance ent://SD_ILS/0/SD_ILS:174354 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z 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/> Automated Configuration Problem Solving ent://SD_ILS/0/SD_ILS:174403 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z 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/> Service-Oriented Crowdsourcing Architecture, Protocols and Algorithms ent://SD_ILS/0/SD_ILS:174438 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z 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/> Understanding High-Dimensional Spaces ent://SD_ILS/0/SD_ILS:197368 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z 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/> Software Testing in the Cloud Migration and Execution ent://SD_ILS/0/SD_ILS:197182 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z 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/> Software Similarity and Classification ent://SD_ILS/0/SD_ILS:173499 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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/> Guide to Cisco Routers Configuration Becoming a Router Geek ent://SD_ILS/0/SD_ILS:173550 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z 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/> A Proof Theory for Description Logics ent://SD_ILS/0/SD_ILS:173517 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z 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/> Context Management for Distributed and Dynamic Context-Aware Computing ent://SD_ILS/0/SD_ILS:173522 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z 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/> Scalable Parallel Programming Applied to H.264/AVC Decoding ent://SD_ILS/0/SD_ILS:174127 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z 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/> Criminal Justice Forecasts of Risk A Machine Learning Approach ent://SD_ILS/0/SD_ILS:174189 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z 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/> Autonomic Cooperative Networking ent://SD_ILS/0/SD_ILS:174192 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z 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/> Event-Driven Surveillance Possibilities and Challenges ent://SD_ILS/0/SD_ILS:196360 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z 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/> On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages ent://SD_ILS/0/SD_ILS:196775 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z 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/> Peer-to-Peer Query Processing over Multidimensional Data ent://SD_ILS/0/SD_ILS:174097 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z 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/> Rhodes Framework for Android&trade; Platform and BlackBerry&reg; Smartphones ent://SD_ILS/0/SD_ILS:174292 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z 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/> Applications of Algebra to Communications, Control, and Signal Processing ent://SD_ILS/0/SD_ILS:174349 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z 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/> Group Cell Architecture for Cooperative Communications ent://SD_ILS/0/SD_ILS:174392 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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/> Multicore Programming Using the ParC Language ent://SD_ILS/0/SD_ILS:173376 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Ben-Asher, Yosi. 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-2164-0">http://dx.doi.org/10.1007/978-1-4471-2164-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Sets, Logic and Maths for Computing ent://SD_ILS/0/SD_ILS:173460 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Makinson, David. 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-2500-6">http://dx.doi.org/10.1007/978-1-4471-2500-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Introduction to Video and Image Processing Building Real Systems and Applications ent://SD_ILS/0/SD_ILS:173461 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Moeslund, Thomas 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-1-4471-2503-7">http://dx.doi.org/10.1007/978-1-4471-2503-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Language Concepts ent://SD_ILS/0/SD_ILS:173542 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Sestoft, Peter. 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-4156-3">http://dx.doi.org/10.1007/978-1-4471-4156-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Architecture ISCA 2010 International Workshops A4MMC, AMAS-BT, EAMA, WEED, WIOSCA, Saint-Malo, France, June 19-23, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:195602 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Varbanescu, Ana Lucia. editor.&#160;Molnos, Anca. editor.&#160;Nieuwpoort, Rob. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-24322-6">http://dx.doi.org/10.1007/978-3-642-24322-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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/> 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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/> 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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/> Foundations and Practice of Security 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196294 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Garcia-Alfaro, Joaquin. editor.&#160;Lafourcade, Pascal. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-27901-0">http://dx.doi.org/10.1007/978-3-642-27901-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Grid and Pervasive Computing Workshops International Workshops, S3E, HWTS, Doctoral Colloquium, Held in Conjunction with GPC 2011, Oulu, Finland, May 11-13, 2011. Revised Selected Papers ent://SD_ILS/0/SD_ILS:196298 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Rautiainen, Mika. editor.&#160;Korhonen, Timo. editor.&#160;Mutafungwa, Edward. editor.&#160;Ovaska, Eila. editor.&#160;Katasonov, Artem. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-27916-4">http://dx.doi.org/10.1007/978-3-642-27916-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Security Technology for Applications 15th Nordic Conference on Secure IT Systems, NordSec 2010, Espoo, Finland, October 27-29, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196303 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Aura, Tuomas. editor.&#160;J&auml;rvinen, Kimmo. editor.&#160;Nyberg, Kaisa. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-27937-9">http://dx.doi.org/10.1007/978-3-642-27937-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verification, Model Checking, and Abstract Interpretation 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196304 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Kuncak, Viktor. editor.&#160;Rybalchenko, Andrey. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-27940-9">http://dx.doi.org/10.1007/978-3-642-27940-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Topics in Cryptology &ndash; CT-RSA 2012 The Cryptographers&rsquo; Track at the RSA Conference 2012, San Francisco, CA, USA, February 27 &ndash; March 2, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196309 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Dunkelman, Orr. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-27954-6">http://dx.doi.org/10.1007/978-3-642-27954-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multimedia for Cultural Heritage First International Workshop, MM4CH 2011, Modena, Italy, May 3, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196315 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Grana, Costantino. editor.&#160;Cucchiara, Rita. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-27978-2">http://dx.doi.org/10.1007/978-3-642-27978-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Secure Software and Systems 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196370 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Barthe, Gilles. editor.&#160;Livshits, Benjamin. editor.&#160;Scandariato, Riccardo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28166-2">http://dx.doi.org/10.1007/978-3-642-28166-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Membrane Computing 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196326 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Gheorghe, Marian. editor.&#160;P&#259;un, Gheorghe. editor.&#160;Rozenberg, Grzegorz. editor.&#160;Salomaa, Arto. editor.&#160;Verlan, Sergey. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28024-5">http://dx.doi.org/10.1007/978-3-642-28024-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms for Sensor Systems 7th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2011, Saarbr&uuml;cken, Germany, September 8-9, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196381 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Erlebach, Thomas. editor.&#160;Nikoletseas, Sotiris. editor.&#160;Orponen, Pekka. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28209-6">http://dx.doi.org/10.1007/978-3-642-28209-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Modeling and Computational Science International Conference, MMCP 2011, Star&aacute; Lesn&aacute;, Slovakia, July 4-8, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196382 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Adam, Gheorghe. editor.&#160;Bu&scaron;a, J&aacute;n. editor.&#160;Hnati&#269;, Michal. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28212-6">http://dx.doi.org/10.1007/978-3-642-28212-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Processign in Cells and Tissues 9th International Conference, IPCAT 2012, Cambridge, UK, March 31 &ndash; April 2, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196536 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Lones, Michael A. editor.&#160;Smith, Stephen L. editor.&#160;Teichmann, Sarah. editor.&#160;Naef, Felix. editor.&#160;Walker, James A. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28792-3">http://dx.doi.org/10.1007/978-3-642-28792-3</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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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/> 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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/> Transactions on Petri Nets and Other Models of Concurrency V ent://SD_ILS/0/SD_ILS:196605 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z 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/> 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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/> Requirements Engineering: Foundation for Software Quality 18th International Working Conference, REFSQ 2012, Essen, Germany, March 19-22, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196517 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Regnell, Bj&ouml;rn. editor.&#160;Damian, Daniela. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28714-5">http://dx.doi.org/10.1007/978-3-642-28714-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, M&eacute;rida, Venezuela, March 11-15, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196518 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Bj&oslash;rner, Nikolaj. 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-28717-6">http://dx.doi.org/10.1007/978-3-642-28717-6</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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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/> 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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/> 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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/> Reversible Computation Third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers ent://SD_ILS/0/SD_ILS:196717 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z 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/> Genetic Programming 15th European Conference, EuroGP 2012, M&aacute;laga, Spain, April 11-13, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196623 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z 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/> 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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 II ent://SD_ILS/0/SD_ILS:196762 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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/> Correct Reasoning Essays on Logic-Based AI in Honour of Vladimir Lifschitz ent://SD_ILS/0/SD_ILS:196950 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z 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/> 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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/> 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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/> Intelligence and Security Informatics Pacific Asia Workshop, PAISI 2012, Kuala Lumpur, Malaysia, May 29, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196884 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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/> ECOOP 2012 &ndash; Object-Oriented Programming 26th European Conference, Beijing, China, June 11-16, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197011 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Noble, 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-31057-7">http://dx.doi.org/10.1007/978-3-642-31057-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Product-Focused Software Process Improvement 13th International Conference, PROFES 2012, Madrid, Spain, June 13-15, 2012 Proceedings ent://SD_ILS/0/SD_ILS:197012 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Dieste, Oscar. editor.&#160;Jedlitschka, Andreas. editor.&#160;Juristo, Natalia. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31063-8">http://dx.doi.org/10.1007/978-3-642-31063-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> NETWORKING 2012 Workshops International IFIP TC 6 Workshops, ETICS, HetsNets, and CompNets, Held at NETWORKING 2012, Prague, Czech Republic, May 25, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196818 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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/> Computational Science and Its Applications &ndash; ICCSA 2012 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part I ent://SD_ILS/0/SD_ILS:197021 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Murgante, Beniamino. editor.&#160;Gervasi, Osvaldo. editor.&#160;Misra, Sanjay. editor.&#160;Nedjah, Nadia. editor.&#160;Rocha, Ana Maria A. C. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31125-3">http://dx.doi.org/10.1007/978-3-642-31125-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2012 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:197022 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Murgante, Beniamino. editor.&#160;Gervasi, Osvaldo. editor.&#160;Misra, Sanjay. editor.&#160;Nedjah, Nadia. editor.&#160;Rocha, Ana Maria A. C. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31128-4">http://dx.doi.org/10.1007/978-3-642-31128-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Application and Theory of Petri Nets 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197023 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Haddad, Serge. editor.&#160;Pomello, Lucia. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31131-4">http://dx.doi.org/10.1007/978-3-642-31131-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2012 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part III ent://SD_ILS/0/SD_ILS:197025 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Murgante, Beniamino. editor.&#160;Gervasi, Osvaldo. editor.&#160;Misra, Sanjay. editor.&#160;Nedjah, Nadia. editor.&#160;Rocha, Ana Maria A. C. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31137-6">http://dx.doi.org/10.1007/978-3-642-31137-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pattern Recognition 4th Mexican Conference, MCPR 2012, Huatulco, Mexico, June 27-30, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197027 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Carrasco-Ochoa, Jes&uacute;s Ariel. editor.&#160;Mart&iacute;nez-Trinidad, Jos&eacute; Francisco. editor.&#160;Olvera L&oacute;pez, Jos&eacute; Arturo. editor.&#160;Boyer, Kim L. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31149-9">http://dx.doi.org/10.1007/978-3-642-31149-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithm Theory &ndash; SWAT 2012 13th Scandinavian Symposium and Workshops, Helsinki, Finland, July 4-6, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197029 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Fomin, Fedor V. editor.&#160;Kaski, Petteri. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31155-0">http://dx.doi.org/10.1007/978-3-642-31155-0</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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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/> Controlled Natural Language Second International Workshop, CNL 2010, Marettimo Island, Italy, September 13-15, 2010. Revised Papers ent://SD_ILS/0/SD_ILS:197033 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Rosner, Michael. 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-31175-8">http://dx.doi.org/10.1007/978-3-642-31175-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Natural Language Processing and Information Systems 17th International Conference on Applications of Natural Language to Information Systems, NLDB 2012, Groningen, The Netherlands, June 26-28, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197034 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Bouma, Gosse. editor.&#160;Ittoo, Ashwin. editor.&#160;M&eacute;tais, Elisabeth. editor.&#160;Wortmann, Hans. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31178-9">http://dx.doi.org/10.1007/978-3-642-31178-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Systems, Software and Services Process Improvement 19th European Conference, EuroSPI 2012, Vienna, Austria, June 25-27, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197038 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Winkler, Dietmar. editor.&#160;O&rsquo;Connor, Rory V. editor.&#160;Messnarz, Richard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31199-4">http://dx.doi.org/10.1007/978-3-642-31199-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multicore Software Engineering, Performance, and Tools International Conference, MSEPT 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197039 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Pankratius, Victor. editor.&#160;Philippsen, Michael. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31202-1">http://dx.doi.org/10.1007/978-3-642-31202-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pervasive Computing 10th International Conference, Pervasive 2012, Newcastle, UK, June 18-22, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197040 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Kay, Judy. editor.&#160;Lukowicz, Paul. editor.&#160;Tokuda, Hideyuki. editor.&#160;Olivier, Patrick. editor.&#160;Kr&uuml;ger, Antonio. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31205-2">http://dx.doi.org/10.1007/978-3-642-31205-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Networks 19th International Conference, CN 2012, Szczyrk, Poland, June 19-23, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197042 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Kwiecie&#324;, Andrzej. editor.&#160;Gaj, Piotr. editor.&#160;Stera, Piotr. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31217-5">http://dx.doi.org/10.1007/978-3-642-31217-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Diagrammatic Representation and Inference 7th International Conference, Diagrams 2012, Canterbury, UK, July 2-6, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197043 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Cox, Philip. editor.&#160;Plimmer, Beryl. editor.&#160;Rodgers, 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-31223-6">http://dx.doi.org/10.1007/978-3-642-31223-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Scientific and Statistical Database Management 24th International Conference, SSDBM 2012, Chania, Crete, Greece, June 25-27, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197044 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Ailamaki, Anastasia. editor.&#160;Bowers, Shawn. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31235-9">http://dx.doi.org/10.1007/978-3-642-31235-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Image and Signal Processing 5th International Conference, ICISP 2012, Agadir, Morocco, June 28-30, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197047 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Elmoataz, Abderrahim. editor.&#160;Mammass, Driss. editor.&#160;Lezoray, Olivier. editor.&#160;Nouboud, Fathallah. editor.&#160;Aboutajdine, Driss. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31254-0">http://dx.doi.org/10.1007/978-3-642-31254-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logical Aspects of Computational Linguistics 7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197048 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;B&eacute;chet, Denis. editor.&#160;Dikovsky, 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-31262-5">http://dx.doi.org/10.1007/978-3-642-31262-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Combinatorial Pattern Matching 23rd Annual Symposium, CPM 2012, Helsinki, Finland, July 3-5, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197049 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;K&auml;rkk&auml;inen, Juha. editor.&#160;Stoye, Jens. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31265-6">http://dx.doi.org/10.1007/978-3-642-31265-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Breast Imaging 11th International Workshop, IWDM 2012, Philadelphia, PA, USA, July 8-11, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197051 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Maidment, Andrew D. A. editor.&#160;Bakic, Predrag R. editor.&#160;Gavenonis, Sara. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31271-7">http://dx.doi.org/10.1007/978-3-642-31271-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multidisciplinary Information Retrieval 5th International Retrieval Facility Conference, IRFC 2012, Vienna, Austria, July 2-3, 2012 Proceedings ent://SD_ILS/0/SD_ILS:197052 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Salampasis, Michail. editor.&#160;Larsen, Birger. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31274-8">http://dx.doi.org/10.1007/978-3-642-31274-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applied Cryptography and Network Security 10th International Conference, ACNS 2012, Singapore, June 26-29, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197053 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Bao, Feng. editor.&#160;Samarati, Pierangela. editor.&#160;Zhou, Jianying. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31284-7">http://dx.doi.org/10.1007/978-3-642-31284-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Image Analysis and Recognition 9th International Conference, ICIAR 2012, Aveiro, Portugal, June 25-27, 2012. Proceedings, Part I ent://SD_ILS/0/SD_ILS:197055 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Campilho, Aur&eacute;lio. editor.&#160;Kamel, Mohamed. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31295-3">http://dx.doi.org/10.1007/978-3-642-31295-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> New Frontiers in Artificial Intelligence JSAI-isAI 2011 Workshops, LENLS, JURISIN, ALSIP, MiMI, Takamatsu, Japan, December 1-2, 2011. Revised Selected Papers ent://SD_ILS/0/SD_ILS:197175 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Okumura, Manabu. editor.&#160;Bekki, Daisuke. editor.&#160;Satoh, Ken. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32090-3">http://dx.doi.org/10.1007/978-3-642-32090-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Security and Privacy 17th Australasian Conference, ACISP 2012, Wollongong, NSW, Australia, July 9-11, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197080 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Susilo, Willy. editor.&#160;Mu, Yi. editor.&#160;Seberry, Jennifer. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31448-3">http://dx.doi.org/10.1007/978-3-642-31448-3</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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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/> Parallel Processing and Applied Mathematics 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:197082 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Wyrzykowski, Roman. editor.&#160;Dongarra, Jack. editor.&#160;Karczewski, Konrad. editor.&#160;Wa&#347;niewski, Jerzy. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31464-3">http://dx.doi.org/10.1007/978-3-642-31464-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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/> Logic, Language and Meaning 18th Amsterdam Colloquium, Amsterdam , The Netherlands, December 19-21, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:197086 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Aloni, Maria. editor.&#160;Kimmelman, Vadim. editor.&#160;Roelofsen, Floris. editor.&#160;Sassoon, Galit W. editor.&#160;Schulz, Katrin. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31482-7">http://dx.doi.org/10.1007/978-3-642-31482-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Lectures on Logic and Computation ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes ent://SD_ILS/0/SD_ILS:197087 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Bezhanishvili, Nick. editor.&#160;Goranko, Valentin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31485-8">http://dx.doi.org/10.1007/978-3-642-31485-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Data Mining. Applications and Theoretical Aspects 12th Industrial Conference, ICDM 2012, Berlin, Germany, July 13-20, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197088 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-31488-9">http://dx.doi.org/10.1007/978-3-642-31488-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modelling Foundations and Applications 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197089 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Vallecillo, Antonio. editor.&#160;Tolvanen, Juha-Pekka. editor.&#160;Kindler, Ekkart. editor.&#160;St&ouml;rrle, Harald. editor.&#160;Kolovos, Dimitris. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31491-9">http://dx.doi.org/10.1007/978-3-642-31491-9</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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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/> Programming Languages 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197332 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Carvalho Junior, Francisco Heron. editor.&#160;Barbosa, Luis Soares. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33182-4">http://dx.doi.org/10.1007/978-3-642-33182-4</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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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/> Advances in Visual Computing 8th International Symposium, ISVC 2012, Rethymnon, Crete, Greece, July 16-18, 2012, Revised Selected Papers, Part II ent://SD_ILS/0/SD_ILS:197334 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Bebis, George. editor.&#160;Boyle, Richard. editor.&#160;Parvin, Bahram. editor.&#160;Koracin, Darko. editor.&#160;Fowlkes, Charless. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33191-6">http://dx.doi.org/10.1007/978-3-642-33191-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Virtual Agents 12th International Conference, IVA 2012, Santa Cruz, CA, USA, September, 12-14, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197335 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Nakano, Yukiko. editor.&#160;Neff, Michael. editor.&#160;Paiva, Ana. editor.&#160;Walker, Marilyn. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33197-8">http://dx.doi.org/10.1007/978-3-642-33197-8</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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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-05-14T07:42:43Z 2026-05-14T07:42:43Z 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/> Computer Information Systems and Industrial Management 11th IFIP TC 8 International Conference, CISIM 2012, Venice, Italy, September 26-28, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197342 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Cortesi, Agostino. editor.&#160;Chaki, Nabendu. editor.&#160;Saeed, Khalid. editor.&#160;Wierzcho&#324;, S&#322;awomir. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33260-9">http://dx.doi.org/10.1007/978-3-642-33260-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> 21st Century Learning for 21st Century Skills 7th European Conference of Technology Enhanced Learning, EC-TEL 2012, Saarbr&uuml;cken, Germany, September 18-21, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197343 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Ravenscroft, Andrew. editor.&#160;Lindstaedt, Stefanie. editor.&#160;Kloos, Carlos Delgado. editor.&#160;Hern&aacute;ndez-Leo, Davinia. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33263-0">http://dx.doi.org/10.1007/978-3-642-33263-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Neural Networks and Machine Learning &ndash; ICANN 2012 22nd International Conference on Artificial Neural Networks, Lausanne, Switzerland, September 11-14, 2012, Proceedings, Part II ent://SD_ILS/0/SD_ILS:197344 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Villa, Alessandro E. editor.&#160;Duch, W&#322;odzis&#322;aw. editor.&#160;&Eacute;rdi, P&eacute;ter. editor.&#160;Masulli, Francesco. editor.&#160;Palm, G&uuml;nther. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33266-1">http://dx.doi.org/10.1007/978-3-642-33266-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Neural Networks and Machine Learning &ndash; ICANN 2012 22nd International Conference on Artificial Neural Networks, Lausanne, Switzerland, September 11-14, 2012, Proceedings, Part I ent://SD_ILS/0/SD_ILS:197345 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Villa, Alessandro E. P. editor.&#160;Duch, W&#322;odzis&#322;aw. editor.&#160;&Eacute;rdi, P&eacute;ter. editor.&#160;Masulli, Francesco. editor.&#160;Palm, G&uuml;nther. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33269-2">http://dx.doi.org/10.1007/978-3-642-33269-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Provable Security 6th International Conference, ProvSec 2012, Chengdu, China, September 26-28, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197346 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Takagi, Tsuyoshi. editor.&#160;Wang, Guilin. editor.&#160;Qin, Zhiguang. editor.&#160;Jiang, Shaoquan. editor.&#160;Yu, Yong. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33272-2">http://dx.doi.org/10.1007/978-3-642-33272-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 17th Iberoamerican Congress, CIARP 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197347 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Alvarez, Luis. editor.&#160;Mejail, Marta. editor.&#160;Gomez, Luis. editor.&#160;Jacobo, Julio. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33275-3">http://dx.doi.org/10.1007/978-3-642-33275-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Collaboration and Technology 18th International Conference, CRIWG 2012 Raesfeld, Germany, September 16-19, 2012 Proceedings ent://SD_ILS/0/SD_ILS:197349 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Herskovic, Valeria. editor.&#160;Hoppe, H. Ulrich. editor.&#160;Jansen, Marc. editor.&#160;Ziegler, J&uuml;rgen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33284-5">http://dx.doi.org/10.1007/978-3-642-33284-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Practice of Digital Libraries Second International Conference, TPDL 2012, Paphos, Cyprus, September 23-27, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197350 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Zaphiris, Panayiotis. editor.&#160;Buchanan, George. editor.&#160;Rasmussen, Edie. editor.&#160;Loizides, 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-33290-6">http://dx.doi.org/10.1007/978-3-642-33290-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parameterized and Exact Computation 7th International Symposium, IPEC 2012, Ljubljana, Slovenia, September 12-14, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197351 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Thilikos, Dimitrios M. editor.&#160;Woeginger, Gerhard 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-33293-7">http://dx.doi.org/10.1007/978-3-642-33293-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods: Foundations and Applications 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197352 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Gheyi, Rohit. editor.&#160;Naumann, 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-33296-8">http://dx.doi.org/10.1007/978-3-642-33296-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information and Software Technologies 18th International Conference, ICIST 2012, Kaunas, Lithuania, September 13-14, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197354 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Skersys, Tomas. editor.&#160;Butleris, Rimantas. editor.&#160;Butkiene, Rita. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33308-8">http://dx.doi.org/10.1007/978-3-642-33308-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Research in Attacks, Intrusions, and Defenses 15th International Symposium, RAID 2012, Amsterdam, The Netherlands, September 12-14, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197358 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Balzarotti, Davide. editor.&#160;Stolfo, Salvatore J. editor.&#160;Cova, Marco. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33338-5">http://dx.doi.org/10.1007/978-3-642-33338-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> KI 2012: Advances in Artificial Intelligence 35th Annual German Conference on AI, Saarbr&uuml;cken, Germany, September 24-27, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197359 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Glimm, Birte. editor.&#160;Kr&uuml;ger, Antonio. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33347-7">http://dx.doi.org/10.1007/978-3-642-33347-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cellular Automata 10th International Conference on Cellular Automata for Research and Industry, ACRI 2012, Santorini Island, Greece, September 24-27, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197360 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Sirakoulis, Georgios Ch. editor.&#160;Bandini, Stefania. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33350-7">http://dx.doi.org/10.1007/978-3-642-33350-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logics in Artificial Intelligence 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197361 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Cerro, Luis Fari&ntilde;as. editor.&#160;Herzig, Andreas. editor.&#160;Mengin, J&eacute;r&ocirc;me. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33353-8">http://dx.doi.org/10.1007/978-3-642-33353-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Scalable Uncertainty Management 6th International Conference, SUM 2012, Marburg, Germany, September 17-19, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197362 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;H&uuml;llermeier, Eyke. editor.&#160;Link, Sebastian. editor.&#160;Fober, Thomas. editor.&#160;Seeger, Bernhard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33362-0">http://dx.doi.org/10.1007/978-3-642-33362-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Modeling and Analysis of Timed Systems 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197363 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Jurdzi&#324;ski, Marcin. editor.&#160;Ni&#269;kovi&#263;, Dejan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33365-1">http://dx.doi.org/10.1007/978-3-642-33365-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Security 15th International Conference, ISC 2012, Passau, Germany, September 19-21, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197365 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Gollmann, Dieter. editor.&#160;Freiling, Felix C. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33383-5">http://dx.doi.org/10.1007/978-3-642-33383-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Technology for Verification and Analysis 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197366 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Chakraborty, Supratik. editor.&#160;Mukund, Madhavan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33386-6">http://dx.doi.org/10.1007/978-3-642-33386-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Medical Image Computing and Computer-Assisted Intervention &ndash; MICCAI 2012 15th International Conference, Nice, France, October 1-5, 2012, Proceedings, Part I ent://SD_ILS/0/SD_ILS:197371 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Ayache, Nicholas. editor.&#160;Delingette, Herv&eacute;. editor.&#160;Golland, Polina. editor.&#160;Mori, Kensaku. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33415-3">http://dx.doi.org/10.1007/978-3-642-33415-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Medical Image Computing and Computer-Assisted Intervention &ndash; MICCAI 2012 15th International Conference, Nice, France, October 1-5, 2012, Proceedings, Part II ent://SD_ILS/0/SD_ILS:197372 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Ayache, Nicholas. editor.&#160;Delingette, Herv&eacute;. editor.&#160;Golland, Polina. editor.&#160;Mori, Kensaku. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33418-4">http://dx.doi.org/10.1007/978-3-642-33418-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Service-Oriented and Cloud Computing First European Conference, ESOCC 2012, Bertinoro, Italy, September 19-21, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197373 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Paoli, Flavio. editor.&#160;Pimentel, Ernesto. editor.&#160;Zavattaro, Gianluigi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33427-6">http://dx.doi.org/10.1007/978-3-642-33427-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Medical Image Computing and Computer-Assisted Intervention &ndash; MICCAI 2012 15th International Conference, Nice, France, October 1-5, 2012, Proceedings, Part III ent://SD_ILS/0/SD_ILS:197377 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Ayache, Nicholas. editor.&#160;Delingette, Herv&eacute;. editor.&#160;Golland, Polina. editor.&#160;Mori, Kensaku. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33454-2">http://dx.doi.org/10.1007/978-3-642-33454-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2012, Bristol, UK, September 24-28, 2012. Proceedings, Part I ent://SD_ILS/0/SD_ILS:197378 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Flach, Peter A. editor.&#160;Bie, Tijl. editor.&#160;Cristianini, Nello. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33460-3">http://dx.doi.org/10.1007/978-3-642-33460-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mesh Processing in Medical Image Analysis 2012 MICCAI 2012 International Workshop, MeshMed 2012, Nice, France, October 1, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197379 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Levine, Joshua A. editor.&#160;Paulsen, Rasmus R. editor.&#160;Zhang, Yongjie. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33463-4">http://dx.doi.org/10.1007/978-3-642-33463-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> E-Learning and Games for Training, Education, Health and Sports 7th International Conference, Edutainment 2012 and 3rd International Conference, GameDays 2012, Darmstadt, Germany, September 18-20, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197380 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;G&ouml;bel, Stefan. editor.&#160;M&uuml;ller, Wolfgang. editor.&#160;Urban, Bodo. editor.&#160;Wiemeyer, Josef. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33466-5">http://dx.doi.org/10.1007/978-3-642-33466-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web Information Systems and Mining International Conference, WISM 2012, Chengdu, China, October 26-28, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197381 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Wang, Fu Lee. editor.&#160;Lei, Jingsheng. editor.&#160;Gong, Zhiguo. editor.&#160;Luo, Xiangfeng. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33469-6">http://dx.doi.org/10.1007/978-3-642-33469-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence and Computational Intelligence 4th International Conference, AICI 2012, Chengdu, China, October 26-28, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197383 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Lei, Jingsheng. editor.&#160;Wang, Fu Lee. editor.&#160;Deng, Hepu. editor.&#160;Miao, Duoqian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33478-8">http://dx.doi.org/10.1007/978-3-642-33478-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Progress in Cryptology &ndash; LATINCRYPT 2012 2nd International Conference on Cryptology and Information Security in Latin America, Santiago, Chile, October 7-10, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197384 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Hevia, Alejandro. editor.&#160;Neven, Gregory. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33481-8">http://dx.doi.org/10.1007/978-3-642-33481-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2012, Bristol, UK, September 24-28, 2012. Proceedings, Part II ent://SD_ILS/0/SD_ILS:197385 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Flach, Peter A. editor.&#160;Bie, Tijl. editor.&#160;Cristianini, Nello. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33486-3">http://dx.doi.org/10.1007/978-3-642-33486-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Electronic Government 11th IFIP WG 8.5 International Conference, EGOV 2012, Kristiansand, Norway, September 3-6, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197386 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Scholl, Hans J. editor.&#160;Janssen, Marijn. editor.&#160;Wimmer, Maria A. editor.&#160;Moe, Carl Erik. editor.&#160;Flak, Leif Skiftenes. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33489-4">http://dx.doi.org/10.1007/978-3-642-33489-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Discovery Science 15th International Conference, DS 2012, Lyon, France, October 29-31, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197387 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Ganascia, Jean-Gabriel. editor.&#160;Lenca, Philippe. 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-33492-4">http://dx.doi.org/10.1007/978-3-642-33492-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Robotics and Applications 5th International Conference, ICIRA 2012, Montreal, QC, Canada, October 3-5, 2012, Proceedings, Part III ent://SD_ILS/0/SD_ILS:197390 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Su, Chun-Yi. editor.&#160;Rakheja, Subhash. editor.&#160;Liu, Honghai. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33503-7">http://dx.doi.org/10.1007/978-3-642-33503-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pattern Recognition Chinese Conference, CCPR 2012, Beijing, China, September 24-26, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197391 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Liu, Cheng-Lin. editor.&#160;Zhang, Changshui. editor.&#160;Wang, Liang. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33506-8">http://dx.doi.org/10.1007/978-3-642-33506-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Robotics and Applications 5th International Conference, ICIRA 2012, Montreal, QC, Canada, October 3-5, 2012, Proceedings, Part I ent://SD_ILS/0/SD_ILS:197392 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Su, Chun-Yi. editor.&#160;Rakheja, Subhash. editor.&#160;Liu, Honghai. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33509-9">http://dx.doi.org/10.1007/978-3-642-33509-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reachability Problems 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197393 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Finkel, Alain. editor.&#160;Leroux, J&eacute;r&ocirc;me. editor.&#160;Potapov, Igor. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33512-9">http://dx.doi.org/10.1007/978-3-642-33512-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Robotics and Applications 5th International Conference, ICIRA 2012, Montreal, Canada, October 3-5, 2012, Proceedings, Part II ent://SD_ILS/0/SD_ILS:197394 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Su, Chun-Yi. editor.&#160;Rakheja, Subhash. editor.&#160;Liu, Honghai. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33515-0">http://dx.doi.org/10.1007/978-3-642-33515-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recent Advances in the Message Passing Interface 19th European MPI Users&rsquo; Group Meeting, EuroMPI 2012, Vienna, Austria, September 23-26, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197395 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Tr&auml;ff, Jesper Larsson. editor.&#160;Benkner, Siegfried. editor.&#160;Dongarra, Jack J. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33518-1">http://dx.doi.org/10.1007/978-3-642-33518-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multimodal Brain Image Analysis Second International Workshop, MBIA 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 1-5, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197397 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Yap, Pew-Thian. editor.&#160;Liu, Tianming. editor.&#160;Shen, Dinggang. editor.&#160;Westin, Carl-Fredrik. editor.&#160;Shen, Li. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33530-3">http://dx.doi.org/10.1007/978-3-642-33530-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evaluating AAL Systems Through Competitive Benchmarking. Indoor Localization and Tracking International Competition, EvAAL 2011, Competition in Valencia, Spain, July 25-29, 2011, and Final Workshop in Lecce, Italy, September 26, 2011. Revised Selected Papers ent://SD_ILS/0/SD_ILS:197398 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Chessa, Stefano. editor.&#160;Knauth, 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-33533-4">http://dx.doi.org/10.1007/978-3-642-33533-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Stabilization, Safety, and Security of Distributed Systems 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197399 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Richa, Andr&eacute;a W. editor.&#160;Scheideler, Christian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33536-5">http://dx.doi.org/10.1007/978-3-642-33536-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Entertainment Computing - ICEC 2012 11th International Conference, ICEC 2012, Bremen, Germany, September 26-29, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197400 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Herrlich, Marc. editor.&#160;Malaka, Rainer. editor.&#160;Masuch, Maic. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33542-6">http://dx.doi.org/10.1007/978-3-642-33542-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Spatio-temporal Image Analysis for Longitudinal and Time-Series Image Data Second International Workshop, STIA 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 1, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197401 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Durrleman, Stanley. editor.&#160;Fletcher, Tom. editor.&#160;Gerig, Guido. editor.&#160;Niethammer, 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-33555-6">http://dx.doi.org/10.1007/978-3-642-33555-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles and Practice of Constraint Programming 18th International Conference, CP 2012, Qu&eacute;bec City, QC, Canada, October 8-12, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197402 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Milano, Michela. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33558-7">http://dx.doi.org/10.1007/978-3-642-33558-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Vision and Graphics International Conference, ICCVG 2012, Warsaw, Poland, September 24-26, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197403 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Bolc, Leonard. editor.&#160;Tadeusiewicz, Ryszard. editor.&#160;Chmielewski, Leszek J. editor.&#160;Wojciechowski, Konrad. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33564-8">http://dx.doi.org/10.1007/978-3-642-33564-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Logistics Third International Conference, ICCL 2012, Shanghai, China, September 24-26, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197405 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Hu, Hao. editor.&#160;Shi, Xiaoning. editor.&#160;Stahlbock, Robert. editor.&#160;Vo&szlig;, Stefan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33587-7">http://dx.doi.org/10.1007/978-3-642-33587-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> On the Move to Meaningful Internet Systems: OTM 2012 Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2012, Rome, Italy, September 10-14, 2012. Proceedings, Part I ent://SD_ILS/0/SD_ILS:197406 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Meersman, Robert. editor.&#160;Panetto, Herv&eacute;. editor.&#160;Dillon, Tharam. editor.&#160;Rinderle-Ma, Stefanie. editor.&#160;Dadam, Peter. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33606-5">http://dx.doi.org/10.1007/978-3-642-33606-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model and Data Engineering 2nd International Conference, MEDI 2012, Poitiers, France, October 3-5, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197407 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Abell&oacute;, Alberto. editor.&#160;Bellatreche, Ladjel. editor.&#160;Benatallah, Boualem. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33609-6">http://dx.doi.org/10.1007/978-3-642-33609-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Abdominal Imaging. Computational and Clinical Applications 4th International Workshop, Held in Conjunction with MICCAI 2012, Nice, France, October 1, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197408 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Yoshida, Hiroyuki. editor.&#160;Hawkes, David. editor.&#160;Vannier, Michael W. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33612-6">http://dx.doi.org/10.1007/978-3-642-33612-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> On the Move to Meaningful Internet Systems: OTM 2012 Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2012, Rome, Italy, September 10-14, 2012. Proceedings, Part II ent://SD_ILS/0/SD_ILS:197409 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Meersman, Robert. editor.&#160;Panetto, Herv&eacute;. editor.&#160;Dillon, Tharam. editor.&#160;Rinderle-Ma, Stefanie. editor.&#160;Dadam, Peter. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33615-7">http://dx.doi.org/10.1007/978-3-642-33615-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> On the Move to Meaningful Internet Systems: OTM 2012 Workshops Confederated International Workshops: OTM Academy, Industry Case Studies Program, EI2N, INBAST, META4eS, OnToContent, ORM, SeDeS, SINCOM, and SOMOCO 2012, Rome, Italy, September 10-14, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197410 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Herrero, Pilar. editor.&#160;Panetto, Herv&eacute;. editor.&#160;Meersman, Robert. editor.&#160;Dillon, Tharam. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33618-8">http://dx.doi.org/10.1007/978-3-642-33618-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Privacy in Statistical Databases UNESCO Chair in Data Privacy, International Conference, PSD 2012, Palermo, Italy, September 26-28, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197411 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Domingo-Ferrer, Josep. editor.&#160;Tinnirello, Ilenia. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33627-0">http://dx.doi.org/10.1007/978-3-642-33627-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Methods in Systems Biology 10th International Conference, CMSB 2012, London, UK, October 3-5, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197412 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Gilbert, David. editor.&#160;Heiner, Monika. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33636-2">http://dx.doi.org/10.1007/978-3-642-33636-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Web-Based Learning - ICWL 2012 11th International Conference, Sinaia, Romania, September 2-4, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197413 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Popescu, Elvira. editor.&#160;Li, Qing. editor.&#160;Klamma, Ralf. editor.&#160;Leung, Howard. editor.&#160;Specht, Marcus. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33642-3">http://dx.doi.org/10.1007/978-3-642-33642-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Energy Efficient Data Centers First International Workshop, E2DC 2012, Madrid, Spain, Mai 8, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:197414 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Huusko, Jyrki. editor.&#160;Meer, Hermann. editor.&#160;Klingert, Sonja. editor.&#160;Somov, Andrey. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33645-4">http://dx.doi.org/10.1007/978-3-642-33645-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Computing 26th International Symposium, DISC 2012, Salvador, Brazil, October 16-18, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197415 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Aguilera, Marcos K. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33651-5">http://dx.doi.org/10.1007/978-3-642-33651-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graph Transformations 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197416 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Ehrig, Hartmut. editor.&#160;Engels, Gregor. editor.&#160;Kreowski, Hans-J&ouml;rg. editor.&#160;Rozenberg, Grzegorz. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33654-6">http://dx.doi.org/10.1007/978-3-642-33654-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in New Technologies, Interactive Interfaces and Communicability Second International Conference, ADNTIIC 2011, Huerta Grande, Argentina, December 5-7, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:197457 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Cipolla-Ficarra, Francisco. editor.&#160;Veltman, Kim. editor.&#160;Verber, Domen. editor.&#160;Cipolla-Ficarra, Miguel. editor.&#160;Kamm&uuml;ller, Florian. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34010-9">http://dx.doi.org/10.1007/978-3-642-34010-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human Behavior Understanding Third International Workshop, HBU 2012, Vilamoura, Portugal, October 7, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197458 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Salah, Albert Ali. editor.&#160;Ruiz-del-Solar, Javier. editor.&#160;Meri&ccedil;li, &Ccedil;etin. editor.&#160;Oudeyer, Pierre-Yves. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34014-7">http://dx.doi.org/10.1007/978-3-642-34014-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I ent://SD_ILS/0/SD_ILS:197459 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Margaria, Tiziana. editor.&#160;Steffen, Bernhard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34026-0">http://dx.doi.org/10.1007/978-3-642-34026-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II ent://SD_ILS/0/SD_ILS:197460 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Margaria, Tiziana. editor.&#160;Steffen, Bernhard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34032-1">http://dx.doi.org/10.1007/978-3-642-34032-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Computing and Applications Third International Conference, ICICA 2012, Chengde, China, September 14-16, 2012. Proceedings, Part I ent://SD_ILS/0/SD_ILS:197461 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Liu, Chunfeng. editor.&#160;Wang, Leizhen. editor.&#160;Yang, Aimin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34038-3">http://dx.doi.org/10.1007/978-3-642-34038-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Computing and Applications Third International Conference, ICICA 2012, Chengde, China, September 14-16, 2012. Proceedings, Part II ent://SD_ILS/0/SD_ILS:197462 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Liu, Chunfeng. editor.&#160;Wang, Leizhen. editor.&#160;Yang, Aimin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34041-3">http://dx.doi.org/10.1007/978-3-642-34041-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fast Software Encryption 19th International Workshop, FSE 2012, Washington, DC, USA, March 19-21, 2012. Revised Selected Papers ent://SD_ILS/0/SD_ILS:197464 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Canteaut, Anne. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34047-5">http://dx.doi.org/10.1007/978-3-642-34047-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Telematics in the Transport Environment 12th International Conference on Transport Systems Telematics, TST 2012, Katowice-Ustro&#324;, Poland, October 10&ndash;13, 2012. Selected Papers ent://SD_ILS/0/SD_ILS:197465 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Mikulski, 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-34050-5">http://dx.doi.org/10.1007/978-3-642-34050-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Large-Scale Complex IT Systems. Development, Operation and Management 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:197466 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Calinescu, Radu. editor.&#160;Garlan, 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-34059-8">http://dx.doi.org/10.1007/978-3-642-34059-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Computing and Applications Third International Conference, ICICA 2012, Chengde, China, September 14-16, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197467 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Liu, Baoxiang. editor.&#160;Ma, Maode. editor.&#160;Chang, Jincai. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34062-8">http://dx.doi.org/10.1007/978-3-642-34062-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Outdoor and Large-Scale Real-World Scene Analysis 15th International Workshop on Theoretical Foundations of Computer Vision, Dagstuhl Castle, Germany, June 26 - July 1, 2011. Revised Selected Papers ent://SD_ILS/0/SD_ILS:197471 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Dellaert, Frank. editor.&#160;Frahm, Jan-Michael. editor.&#160;Pollefeys, Marc. editor.&#160;Leal-Taix&eacute;, Laura. editor.&#160;Rosenhahn, Bodo. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34091-8">http://dx.doi.org/10.1007/978-3-642-34091-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Social Robotics 4th International Conference, ICSR 2012, Chengdu, China, October 29-31, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197472 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Ge, Shuzhi Sam. editor.&#160;Khatib, Oussama. editor.&#160;Cabibihan, John-John. editor.&#160;Simmons, Reid. editor.&#160;Williams, Mary-Anne. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34103-8">http://dx.doi.org/10.1007/978-3-642-34103-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithmic Learning Theory 23rd International Conference, ALT 2012, Lyon, France, October 29-31, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197473 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Bshouty, Nader H. editor.&#160;Stoltz, Gilles. editor.&#160;Vayatis, Nicolas. editor.&#160;Zeugmann, 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-34106-9">http://dx.doi.org/10.1007/978-3-642-34106-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> String Processing and Information Retrieval 19th International Symposium, SPIRE 2012, Cartagena de Indias, Colombia, October 21-25, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197474 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Calder&oacute;n-Benavides, Liliana. editor.&#160;Gonz&aacute;lez-Caro, Cristina. editor.&#160;Ch&aacute;vez, Edgar. editor.&#160;Ziviani, Nivio. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34109-0">http://dx.doi.org/10.1007/978-3-642-34109-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Information and Computer Security 7th International Workshop on Security, IWSEC 2012, Fukuoka, Japan, November 7-9, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197475 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Hanaoka, Goichiro. editor.&#160;Yamauchi, Toshihiro. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34117-5">http://dx.doi.org/10.1007/978-3-642-34117-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Issues in Fluid Construction Grammar A New Formalism for the Representation of Lexicons and Grammars ent://SD_ILS/0/SD_ILS:197476 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Steels, Luc. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34120-5">http://dx.doi.org/10.1007/978-3-642-34120-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pattern Recognition in Bioinformatics 7th IAPR International Conference, PRIB 2012, Tokyo, Japan, November 8-10, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197477 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Shibuya, Tetsuo. editor.&#160;Kashima, Hisashi. editor.&#160;Sese, Jun. editor.&#160;Ahmad, Shandar. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34123-6">http://dx.doi.org/10.1007/978-3-642-34123-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information and Communications Security 14th International Conference, ICICS 2012, Hong Kong, China, October 29-31, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197478 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Chim, Tat Wing. editor.&#160;Yuen, Tsz Hon. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34129-8">http://dx.doi.org/10.1007/978-3-642-34129-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recent Trends in Computer Networks and Distributed Systems Security International Conference, SNDS 2012, Trivandrum, India, October 11-12, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197479 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Thampi, Sabu M. editor.&#160;Zomaya, Albert Y. editor.&#160;Strufe, Thorsten. editor.&#160;Alcaraz Calero, Jose M. editor.&#160;Thomas, Tony , 1927-1977 editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34135-9">http://dx.doi.org/10.1007/978-3-642-34135-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Intelligent Data Analysis XI 11th International Symposium, IDA 2012, Helsinki, Finland, October 25-27, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197480 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Hollm&eacute;n, Jaakko. editor.&#160;Klawonn, Frank. editor.&#160;Tucker, Allan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34156-4">http://dx.doi.org/10.1007/978-3-642-34156-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applications of Graph Transformations with Industrial Relevance 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers ent://SD_ILS/0/SD_ILS:197486 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Sch&uuml;rr, Andy. editor.&#160;Varr&oacute;, D&aacute;niel. editor.&#160;Varr&oacute;, Gergely. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34176-2">http://dx.doi.org/10.1007/978-3-642-34176-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Large-Scale Data- and Knowledge-Centered Systems VI Special Issue on Database- and Expert-Systems Applications ent://SD_ILS/0/SD_ILS:197487 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Hameurlain, Abdelkader. editor.&#160;K&uuml;ng, Josef. editor.&#160;Wagner, Roland. editor.&#160;Liddle, Stephen W. editor.&#160;Schewe, Klaus-Dieter. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34179-3">http://dx.doi.org/10.1007/978-3-642-34179-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hardware and Software: Verification and Testing 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:197489 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;Eder, Kerstin. editor.&#160;Louren&ccedil;o, Jo&atilde;o. editor.&#160;Shehory, Onn. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34188-5">http://dx.doi.org/10.1007/978-3-642-34188-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Geometry XIV Spanish Meeting on Computational Geometry, EGC 2011, Dedicated to Ferran Hurtado on the Occasion of His 60th Birthday, Alcal&aacute; de Henares, Spain, June 27-30, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:197490 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;M&aacute;rquez, Alberto. editor.&#160;Ramos, Pedro. editor.&#160;Urrutia, Jorge. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34191-5">http://dx.doi.org/10.1007/978-3-642-34191-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Secure IT Systems 17th Nordic Conference, NordSec 2012, Karlskrona, Sweden, October 31 &ndash; November 2, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197492 2026-05-14T07:42:43Z 2026-05-14T07:42:43Z Author&#160;J&oslash;sang, Audun. editor.&#160;Carlsson, Bengt. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34210-3">http://dx.doi.org/10.1007/978-3-642-34210-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>