Search Results for Computer science. - Narrowed by: E-Book - 2012 SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputer$002bscience.$0026qf$003dITYPE$002509Material$002bType$0025091$00253AE-KITAP$002509E-Book$0026qf$003dPUBDATE$002509Publication$002bDate$0025092012$0025092012$0026ic$003dtrue$0026te$003dILS$0026ps$003d300$0026isd$003dtrue? 2024-08-30T19:01:20Z Applied Computer Science ent://SD_ILS/0/SD_ILS:174039 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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 and Information Science 2012 ent://SD_ILS/0/SD_ILS:196891 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Lee, Roger. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30454-5">http://dx.doi.org/10.1007/978-3-642-30454-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computer Science and Education ent://SD_ILS/0/SD_ILS:196306 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Zeng, Dehuai. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-27948-5">http://dx.doi.org/10.1007/978-3-642-27948-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Instruction Sequences for Computer Science ent://SD_ILS/0/SD_ILS:207045 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Bergstra, Jan A. author.&#160;Middelburg, Cornelis A. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.2991/978-94-91216-65-7">http://dx.doi.org/10.2991/978-94-91216-65-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Logic for Computer Science ent://SD_ILS/0/SD_ILS:173540 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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/> Mathematics of Discrete Structures for Computer Science ent://SD_ILS/0/SD_ILS:196778 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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/> 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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 and Engineering Methods in Computer Science 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196086 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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/> 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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/> Deontic Logic in Computer Science 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197106 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;&Aring;gotnes, Thomas. editor.&#160;Broersen, Jan. editor.&#160;Elgesem, Dag. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31570-1">http://dx.doi.org/10.1007/978-3-642-31570-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Foundations of Computer Science 2012 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197237 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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/> 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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/> 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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/> 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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/> Computing Statistics under Interval and Fuzzy Uncertainty Applications to Computer Science and Engineering ent://SD_ILS/0/SD_ILS:195785 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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/> 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Wu, Yanwen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-25437-6">http://dx.doi.org/10.1007/978-3-642-25437-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recent Advances in Computer Science and Information Engineering Volume 3 ent://SD_ILS/0/SD_ILS:196040 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Qian, Zhihong. editor.&#160;Cao, Lei. editor.&#160;Su, Weilian. editor.&#160;Wang, Tingkai. editor.&#160;Yang, Huamin. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-25792-6">http://dx.doi.org/10.1007/978-3-642-25792-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Proceedings of the 2011 2nd International Congress on Computer Applications and Computational Science Volume 2 ent://SD_ILS/0/SD_ILS:196412 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Gaol, Ford Lumban. editor.&#160;Nguyen, Quang Vinh. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28314-7">http://dx.doi.org/10.1007/978-3-642-28314-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computer Science, Engineering &amp; Applications Proceedings of the Second International Conference on Computer Science, Engineering &amp; Applications (ICCSEA 2012), May 25-27, 2012, New Delhi, India. Volume 2 ent://SD_ILS/0/SD_ILS:196831 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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, 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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/> Operator Calculus on Graphs Theory and Applications in Computer Science. ent://SD_ILS/0/SD_ILS:279465 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Schott, Rene.&#160;Staples, G. Stacey.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=457191">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=457191</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Simulating nature a philosohpical study of computer-simulation uncertainties and their role in climate science and policy advice ent://SD_ILS/0/SD_ILS:286226 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Petersen, Arthur C. (Arthur Caesar), 1970-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781466500679">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computer Science and Information Technology. Networks and Communications Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part I ent://SD_ILS/0/SD_ILS:196155 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Meghanathan, Natarajan. editor.&#160;Chaki, Nabendu. editor.&#160;Nagamalai, Dhinaharan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-27299-8">http://dx.doi.org/10.1007/978-3-642-27299-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computer Science and Information Technology. Computer Science and Engineering Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part II ent://SD_ILS/0/SD_ILS:196158 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Meghanathan, Natarajan. editor.&#160;Chaki, Nabendu. editor.&#160;Nagamalai, Dhinaharan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-27308-7">http://dx.doi.org/10.1007/978-3-642-27308-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computer Science and Information Technology. Computer Science and Information Technology Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part III ent://SD_ILS/0/SD_ILS:196161 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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/> Advances in Computer Science and Information Engineering Volume 1 ent://SD_ILS/0/SD_ILS:196833 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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/> 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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/> Computer Science and Convergence CSA 2011 &amp; WCC 2011 Proceedings ent://SD_ILS/0/SD_ILS:206459 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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/> Understanding High-Dimensional Spaces ent://SD_ILS/0/SD_ILS:197368 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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/> Event-Driven Surveillance Possibilities and Challenges ent://SD_ILS/0/SD_ILS:196360 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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/> Software Testing in the Cloud Migration and Execution ent://SD_ILS/0/SD_ILS:197182 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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/> Self-* and P2P for Network Management Design Principles and Case Studies ent://SD_ILS/0/SD_ILS:173546 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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/> Spatial AutoRegression (SAR) Model Parameter Estimation Techniques ent://SD_ILS/0/SD_ILS:174029 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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/> Visual Indexing and Retrieval ent://SD_ILS/0/SD_ILS:174294 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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/> ITIL&reg; 2011 At a Glance ent://SD_ILS/0/SD_ILS:174354 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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/> Context Management for Distributed and Dynamic Context-Aware Computing ent://SD_ILS/0/SD_ILS:173522 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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/> Service Placement in Ad Hoc Networks ent://SD_ILS/0/SD_ILS:173433 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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/> Decentralized Reasoning in Ambient Intelligence ent://SD_ILS/0/SD_ILS:173543 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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/> Power Distribution and Performance Analysis for Wireless Communication Networks ent://SD_ILS/0/SD_ILS:174227 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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/> A Survey of Data Leakage Detection and Prevention Solutions ent://SD_ILS/0/SD_ILS:174080 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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/> Scalable Parallel Programming Applied to H.264/AVC Decoding ent://SD_ILS/0/SD_ILS:174127 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Juurlink, Ben. author.&#160;Alvarez-Mesa, Mauricio. author.&#160;Chi, Chi Ching. author.&#160;Azevedo, Arnaldo. author.&#160;Meenderinck, Cor. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-2230-3">http://dx.doi.org/10.1007/978-1-4614-2230-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Data Dissemination and Query in Mobile Social Networks ent://SD_ILS/0/SD_ILS:174135 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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/> Automated Configuration Problem Solving ent://SD_ILS/0/SD_ILS:174403 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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/> Software Similarity and Classification ent://SD_ILS/0/SD_ILS:173499 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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/> A Proof Theory for Description Logics ent://SD_ILS/0/SD_ILS:173517 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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/> Guide to Reliable Distributed Systems Building High-Assurance Applications and Cloud-Hosted Services ent://SD_ILS/0/SD_ILS:173442 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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/> Guide to Cisco Routers Configuration Becoming a Router Geek ent://SD_ILS/0/SD_ILS:173550 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Alani, Mohammed M. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-4246-1">http://dx.doi.org/10.1007/978-1-4471-4246-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Two-Dimensional Change Detection Methods Remote Sensing Applications ent://SD_ILS/0/SD_ILS:173551 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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/> Criminal Justice Forecasts of Risk A Machine Learning Approach ent://SD_ILS/0/SD_ILS:174189 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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/> Rhodes Framework for Android&trade; Platform and BlackBerry&reg; Smartphones ent://SD_ILS/0/SD_ILS:174292 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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/> Peer-to-Peer Query Processing over Multidimensional Data ent://SD_ILS/0/SD_ILS:174097 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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/> Group Cell Architecture for Cooperative Communications ent://SD_ILS/0/SD_ILS:174392 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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/> Data Security and Security Data 27th British National Conference on Databases, BNCOD 27, Dundee, UK, June 29 - July 1, 2010. Revised Selected Papers ent://SD_ILS/0/SD_ILS:196019 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;MacKinnon, Lachlan 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-25704-9">http://dx.doi.org/10.1007/978-3-642-25704-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Image and Video Technology 5th Pacific Rim Symposium, PSIVT 2011, Gwangju, South Korea, November 20-23, 2011, Proceedings, Part II ent://SD_ILS/0/SD_ILS:195919 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Ho, Yo-Sung. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-25346-1">http://dx.doi.org/10.1007/978-3-642-25346-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Image and Video Technology 5th Pacific Rim Symposium, PSIVT 2011, Gwangju, South Korea, November 20-23, 2011, Proceedings, Part I ent://SD_ILS/0/SD_ILS:195926 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Ho, Yo-Sung. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-25367-6">http://dx.doi.org/10.1007/978-3-642-25367-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graph Drawing 19th International Symposium, GD 2011, Eindhoven, The Netherlands, September 21-23, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196072 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Kreveld, Marc. editor.&#160;Speckmann, Bettina. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-25878-7">http://dx.doi.org/10.1007/978-3-642-25878-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms for Sensor Systems 7th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2011, Saarbr&uuml;cken, Germany, September 8-9, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196381 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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/> Partially Supervised Learning First IAPR TC3 Workshop, PSL 2011, Ulm, Germany, September 15-16, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196395 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Schwenker, Friedhelm. editor.&#160;Trentin, Edmondo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28258-4">http://dx.doi.org/10.1007/978-3-642-28258-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Building a National Distributed e-Infrastructure&ndash;PL-Grid Scientific and Technical Achievements ent://SD_ILS/0/SD_ILS:196398 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Bubak, Marian. editor.&#160;Szepieniec, Tomasz. editor.&#160;Wiatr, Kazimierz. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28267-6">http://dx.doi.org/10.1007/978-3-642-28267-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Conceptual Modelling and Its Theoretical Foundations Essays Dedicated to Bernhard Thalheim on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:196402 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;D&uuml;sterh&ouml;ft, Antje. editor.&#160;Klettke, Meike. editor.&#160;Schewe, Klaus-Dieter. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28279-9">http://dx.doi.org/10.1007/978-3-642-28279-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Architecture of Computing Systems &ndash; ARCS 2012 25th International Conference, Munich, Germany, February 28 - March 2, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196407 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Herkersdorf, Andreas. editor.&#160;R&ouml;mer, Kay. editor.&#160;Brinkschulte, 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-28293-5">http://dx.doi.org/10.1007/978-3-642-28293-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> New Frontiers in Applied Data Mining PAKDD 2011 International Workshops, Shenzhen, China, May 24-27, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196415 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Cao, Longbing. editor.&#160;Huang, Joshua Zhexue. editor.&#160;Bailey, James. editor.&#160;Koh, Yun Sing. editor.&#160;Luo, Jun. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28320-8">http://dx.doi.org/10.1007/978-3-642-28320-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Statistical Atlases and Computational Models of the Heart. Imaging and Modelling Challenges Second International Workshop, STACOM 2011, Held in Conjunction with MICCAI 2011, Toronto, ON, Canada, September 22, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196416 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Camara, Oscar. editor.&#160;Konukoglu, Ender. editor.&#160;Pop, Mihaela. editor.&#160;Rhode, Kawal. editor.&#160;Sermesant, Maxime. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28326-0">http://dx.doi.org/10.1007/978-3-642-28326-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Language and Automata Theory and Applications 6th International Conference, LATA 2012, A Coru&ntilde;a, Spain, March 5-9, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196418 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Dediu, Adrian-Horia. editor.&#160;Mart&iacute;n-Vide, Carlos. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28332-1">http://dx.doi.org/10.1007/978-3-642-28332-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reconfigurable Computing: Architectures, Tools and Applications 8th International Symposium, ARC 2012, Hong Kong, China, March 19-23, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196427 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Choy, Oliver C. S. editor.&#160;Cheung, Ray C. C. editor.&#160;Athanas, Peter. editor.&#160;Sano, Kentaro. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28365-9">http://dx.doi.org/10.1007/978-3-642-28365-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cryptography and Security: From Theory to Applications Essays Dedicated to Jean-Jacques Quisquater on the Occasion of His 65th Birthday ent://SD_ILS/0/SD_ILS:196428 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Naccache, 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-28368-0">http://dx.doi.org/10.1007/978-3-642-28368-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multi-Agent-Based Simulation XII International Workshop, MABS 2011, Taipei, Taiwan, May 2-6, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196436 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Villatoro, Daniel. editor.&#160;Sabater-Mir, Jordi. editor.&#160;Sichman, Jaime Sim&atilde;o. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28400-7">http://dx.doi.org/10.1007/978-3-642-28400-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recent Trends in Algebraic Development Techniques 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196438 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Mossakowski, Till. editor.&#160;Kreowski, Hans-J&ouml;rg. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28412-0">http://dx.doi.org/10.1007/978-3-642-28412-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Medical Content-Based Retrieval for Clinical Decision Support Second MICCAI International Workshop, MCBR-CDS 2011, Toronto, ON, Canada, September 22, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196449 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;M&uuml;ller, Henning. editor.&#160;Greenspan, Hayit. editor.&#160;Syeda-Mahmood, Tanveer. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28460-1">http://dx.doi.org/10.1007/978-3-642-28460-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations of Information and Knowledge Systems 7th International Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196452 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Lukasiewicz, Thomas. editor.&#160;Sali, Attila. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28472-4">http://dx.doi.org/10.1007/978-3-642-28472-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Information and Database Systems 4th Asian Conference, ACIIDS 2012, Kaohsiung, Taiwan, March 19-21, 2012, Proceedings, Part I ent://SD_ILS/0/SD_ILS:196456 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Pan, Jeng-Shyang. editor.&#160;Chen, Shyi-Ming. editor.&#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-28487-8">http://dx.doi.org/10.1007/978-3-642-28487-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Information and Database Systems 4th Asian Conference, ACIIDS 2012, Kaohsiung, Taiwan, March 19-21, 2012, Proceedings, Part II ent://SD_ILS/0/SD_ILS:196457 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Pan, Jeng-Shyang. editor.&#160;Chen, Shyi-Ming. editor.&#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-28490-8">http://dx.doi.org/10.1007/978-3-642-28490-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Information and Database Systems 4th Asian Conference, ACIIDS 2012, Kaohsiung, Taiwan, March 19-21, 2012, Proceedings, Part III ent://SD_ILS/0/SD_ILS:196458 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Pan, Jeng-Shyang. editor.&#160;Chen, Shyi-Ming. editor.&#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-28493-9">http://dx.doi.org/10.1007/978-3-642-28493-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Selected Areas in Cryptography 18th International Workshop, SAC 2011, Toronto, ON, Canada, August 11-12, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196459 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Miri, Ali. editor.&#160;Vaudenay, Serge. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28496-0">http://dx.doi.org/10.1007/978-3-642-28496-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Adaptive and Learning Agents International Workshop, ALA 2011, Held at AAMAS 2011, Taipei, Taiwan, May 2, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196460 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Vrancx, Peter. editor.&#160;Knudson, Matthew. editor.&#160;Grze&#347;, Marek. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28499-1">http://dx.doi.org/10.1007/978-3-642-28499-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in User Modeling UMAP 2011 Workshops, Girona, Spain, July 11-15, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196462 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Ardissono, Liliana. editor.&#160;Kuflik, Tsvi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28509-7">http://dx.doi.org/10.1007/978-3-642-28509-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Computational Science XV Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems ent://SD_ILS/0/SD_ILS:196468 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Gavrilova, Marina L. editor.&#160;Tan, C. J. Kenneth. editor.&#160;Phan, Cong-Vinh. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28525-7">http://dx.doi.org/10.1007/978-3-642-28525-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Traffic Monitoring and Analysis 4th International Workshop, TMA 2012, Vienna, Austria, March 12, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196470 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Pescap&egrave;, Antonio. editor.&#160;Salgarelli, Luca. editor.&#160;Dimitropoulos, Xenofontas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28534-9">http://dx.doi.org/10.1007/978-3-642-28534-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Passive and Active Measurement 13th International Conference, PAM 2012, Vienna, Austria, March 12-14th, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196471 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Taft, Nina. editor.&#160;Ricciato, Fabio. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28537-0">http://dx.doi.org/10.1007/978-3-642-28537-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance 16th International GI/ITG Conference, MMB &amp; DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196472 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Schmitt, Jens B. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28540-0">http://dx.doi.org/10.1007/978-3-642-28540-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Latent Variable Analysis and Signal Separation 10th International Conference, LVA/ICA 2012, Tel Aviv, Israel, March 12-15, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196475 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Theis, Fabian. editor.&#160;Cichocki, Andrzej. editor.&#160;Yeredor, Arie. editor.&#160;Zibulevsky, Michael. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28551-6">http://dx.doi.org/10.1007/978-3-642-28551-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Abdominal Imaging. Computational and Clinical Applications Third International Workshop, Held in Conjunction with MICCAI 2011, Toronto, ON, Canada, September 18, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196476 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Yoshida, Hiroyuki. editor.&#160;Sakas, Georgios. editor.&#160;Linguraru, Marius 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-28557-8">http://dx.doi.org/10.1007/978-3-642-28557-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Self-Organizing Systems 6th IFIP TC 6 International Workshop, IWSOS 2012, Delft, The Netherlands, March 15-16, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196481 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Kuipers, Fernando A. editor.&#160;Heegaard, Poul 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-28583-7">http://dx.doi.org/10.1007/978-3-642-28583-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Linguistics and Intelligent Text Processing 13th International Conference, CICLing 2012, New Delhi, India, March 11-17, 2012, Proceedings, Part II ent://SD_ILS/0/SD_ILS:196486 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Gelbukh, Alexander. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28601-8">http://dx.doi.org/10.1007/978-3-642-28601-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Linguistics and Intelligent Text Processing 13th International Conference, CICLing 2012, New Delhi, India, March 11-17, 2012, Proceedings, Part I ent://SD_ILS/0/SD_ILS:196487 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Gelbukh, Alexander. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28604-9">http://dx.doi.org/10.1007/978-3-642-28604-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web-Age Information Management WAIM 2011 International Workshops: WGIM 2011, XMLDM 2011, SNA 2011, Wuhan, China, September 14-16, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196496 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Wang, Liwei. editor.&#160;Jiang, Jingjue. editor.&#160;Lu, Jiaheng. editor.&#160;Hong, Liang. editor.&#160;Liu, Bin. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28635-3">http://dx.doi.org/10.1007/978-3-642-28635-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles of Security and Trust First International Conference, POST 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:196497 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Degano, Pierpaolo. editor.&#160;Guttman, Joshua 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-28641-4">http://dx.doi.org/10.1007/978-3-642-28641-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Compiler Construction 21st International Conference, CC 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 &ndash; April 1, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196501 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;O&rsquo;Boyle, Michael. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28652-0">http://dx.doi.org/10.1007/978-3-642-28652-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Economics of Grids, Clouds, Systems, and Services 8th International Workshop, GECON 2011, Paphos, Cyprus, December 5, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196507 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Vanmechelen, Kurt. editor.&#160;Altmann, J&ouml;rn. editor.&#160;Rana, Omer F. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28675-9">http://dx.doi.org/10.1007/978-3-642-28675-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Data Hiding and Multimedia Security VII ent://SD_ILS/0/SD_ILS:196512 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Shi, Yun Q. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28693-3">http://dx.doi.org/10.1007/978-3-642-28693-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Requirements Engineering: Foundation for Software Quality 18th International Working Conference, REFSQ 2012, Essen, Germany, March 19-22, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196517 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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/> Foundations of Software Science and Computational Structures 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 &ndash; April 1, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196520 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Birkedal, Lars. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28729-9">http://dx.doi.org/10.1007/978-3-642-28729-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 &ndash; April 1, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196526 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Flanagan, Cormac. editor.&#160;K&ouml;nig, Barbara. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28756-5">http://dx.doi.org/10.1007/978-3-642-28756-5</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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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/> 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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/> 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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/> 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Pan, Zhigeng. editor.&#160;Cheok, Adrian David. editor.&#160;M&uuml;ller, Wolfgang. editor.&#160;Chang, Maiga. editor.&#160;Zhang, Mingmin. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29050-3">http://dx.doi.org/10.1007/978-3-642-29050-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics 10th European Conference, EvoBIO 2012, M&aacute;laga, Spain, April 11-13, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196603 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Giacobini, Mario. editor.&#160;Vanneschi, Leonardo. editor.&#160;Bush, William S. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29066-4">http://dx.doi.org/10.1007/978-3-642-29066-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Petri Nets and Other Models of Concurrency V ent://SD_ILS/0/SD_ILS:196605 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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/> 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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/> Information and Business Intelligence International Conference, IBI 2011, Chongqing, China, December 23-25, 2011. Proceedings, Part II ent://SD_ILS/0/SD_ILS:196608 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Qu, Xilong. editor.&#160;Yang, Yuhang. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29087-9">http://dx.doi.org/10.1007/978-3-642-29087-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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/> Information Security Practice and Experience 8th International Conference, ISPEC 2012, Hangzhou, China, April 9-12, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196613 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Ryan, Mark D. editor.&#160;Smyth, Ben. editor.&#160;Wang, Guilin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29101-2">http://dx.doi.org/10.1007/978-3-642-29101-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Declarative Agent Languages and Technologies IX 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers ent://SD_ILS/0/SD_ILS:196616 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Sakama, Chiaki. editor.&#160;Sardina, Sebastian. editor.&#160;Vasconcelos, Wamberto. editor.&#160;Winikoff, Michael. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29113-5">http://dx.doi.org/10.1007/978-3-642-29113-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Approximation and Online Algorithms 9th International Workshop, WAOA 2011, Saarbr&uuml;cken, Germany, September 8-9, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196617 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Solis-Oba, Roberto. editor.&#160;Persiano, Giuseppe. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29116-6">http://dx.doi.org/10.1007/978-3-642-29116-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evolutionary Computation in Combinatorial Optimization 12th European Conference, EvoCOP 2012, M&aacute;laga, Spain, April 11-13, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196620 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Hao, Jin-Kao. editor.&#160;Middendorf, Martin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29124-1">http://dx.doi.org/10.1007/978-3-642-29124-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Genetic Programming 15th European Conference, EuroGP 2012, M&aacute;laga, Spain, April 11-13, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196623 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Moraglio, Alberto. editor.&#160;Silva, Sara. editor.&#160;Krawiec, Krzysztof. editor.&#160;Machado, Penousal. editor.&#160;Cotta, Carlos. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29139-5">http://dx.doi.org/10.1007/978-3-642-29139-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evolutionary and Biologically Inspired Music, Sound, Art and Design First International Conference, EvoMUSART 2012, M&aacute;laga, Spain, April 11-13, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196624 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Machado, Penousal. editor.&#160;Romero, Juan. editor.&#160;Carballal, Adrian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29142-5">http://dx.doi.org/10.1007/978-3-642-29142-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Systems, Technology and Management 6th International Conference, ICISTM 2012, Grenoble, France, March 28-30, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196632 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Dua, Sumeet. editor.&#160;Gangopadhyay, Aryya. editor.&#160;Thulasiraman, Parimala. editor.&#160;Straccia, Umberto. editor.&#160;Shepherd, Michael. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29166-1">http://dx.doi.org/10.1007/978-3-642-29166-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applications of Evolutionary Computation EvoApplications 2012: EvoCOMNET, EvoCOMPLEX, EvoFIN, EvoGAMES, EvoHOT, EvoIASP, EvoNUM, EvoPAR, EvoRISK, EvoSTIM, and EvoSTOC, M&aacute;laga, Spain, April 11-13, 2012, Proceedings ent://SD_ILS/0/SD_ILS:196635 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Chio, Cecilia. editor.&#160;Agapitos, Alexandros. editor.&#160;Cagnoni, Stefano. editor.&#160;Cotta, Carlos. editor.&#160;Vega, Francisco Fern&aacute;ndez. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29178-4">http://dx.doi.org/10.1007/978-3-642-29178-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theorie and Applications of Formal Argumentation First International Workshop, TAFA 2011. Barcelona, Spain, July 16-17, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196637 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Modgil, Sanjay. editor.&#160;Oren, Nir. editor.&#160;Toni, Francesca. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29184-5">http://dx.doi.org/10.1007/978-3-642-29184-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Global Trends in Information Systems and Software Applications 4th International Conference, ObCom 2011, Vellore, TN, India, December 9-11, 2011. Proceedings, Part II ent://SD_ILS/0/SD_ILS:196646 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Krishna, P. Venkata. editor.&#160;Babu, M. Rajasekhara. editor.&#160;Ariwa, Ezendu. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29216-3">http://dx.doi.org/10.1007/978-3-642-29216-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Global Trends in Computing and Communication Systems 4th International Conference, ObCom 2011, Vellore, TN, India, December 9-11, 2011. Proceedings, Part I ent://SD_ILS/0/SD_ILS:196647 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Krishna, P. Venkata. editor.&#160;Babu, M. Rajasekhara. editor.&#160;Ariwa, Ezendu. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29219-4">http://dx.doi.org/10.1007/978-3-642-29219-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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/> 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Sheng, Quan Z. editor.&#160;Wang, Guoren. editor.&#160;Jensen, Christian S. editor.&#160;Xu, Guandong. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29253-8">http://dx.doi.org/10.1007/978-3-642-29253-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Computing, Networking and Security International Conference, ADCONS 2011, Surathkal, India, December 16-18, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196663 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Thilagam, P. Santhi. editor.&#160;Pais, Alwyn Roshan. editor.&#160;Chandrasekaran, K. editor.&#160;Balakrishnan, N. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29280-4">http://dx.doi.org/10.1007/978-3-642-29280-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> S-BPM ONE - Education and Industrial Developments 4th International Conference, S-BPM ONE 2012, Vienna, Austria, April 4-5, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196664 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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/> Reversible Computation Third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers ent://SD_ILS/0/SD_ILS:196717 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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/> Fundamentals of Software Engineering 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196668 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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/> 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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/> Runtime Verification Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196784 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Khurshid, Sarfraz. editor.&#160;Sen, Koushik. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29860-8">http://dx.doi.org/10.1007/978-3-642-29860-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Communication Technologies for Vehicles 4th International Workshop, Nets4Cars/Nets4Trains 2012, Vilnius, Lithuania, April 25-27, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196747 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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/> Financial Cryptography and Data Security FC 2011 Workshops, RLCPS and WECSR 2011, Rodney Bay, St. Lucia, February 28 - March 4, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196791 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Danezis, George. editor.&#160;Dietrich, Sven. editor.&#160;Sako, Kazue. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29889-9">http://dx.doi.org/10.1007/978-3-642-29889-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Concept Analysis 10th International Conference, ICFCA 2012, Leuven, Belgium, May 7-10, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196792 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Domenach, Florent. editor.&#160;Ignatov, Dmitry I. editor.&#160;Poelmans, Jonas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29892-9">http://dx.doi.org/10.1007/978-3-642-29892-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Constructive Side-Channel Analysis and Secure Design Third International Workshop, COSADE 2012, Darmstadt, Germany, May 3-4, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196796 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Schindler, Werner. editor.&#160;Huss, Sorin A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29912-4">http://dx.doi.org/10.1007/978-3-642-29912-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Semantic Web Joint International Semantic Technology Conference, JIST 2011, Hangzhou, China, December 4-7, 2011. Proceedings ent://SD_ILS/0/SD_ILS:196798 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Pan, Jeff Z. editor.&#160;Chen, Huajun. editor.&#160;Kim, Hong-Gee. editor.&#160;Li, Juanzi. editor.&#160;Wu, Zhe. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29923-0">http://dx.doi.org/10.1007/978-3-642-29923-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recent Advances in Reinforcement Learning 9th European Workshop, EWRL 2011, Athens, Greece, September 9-11, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196801 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Sanner, Scott. editor.&#160;Hutter, Marcus. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29946-9">http://dx.doi.org/10.1007/978-3-642-29946-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Digital Urban Modeling and Simulation ent://SD_ILS/0/SD_ILS:196764 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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/> Bioinformatics Research and Applications 8th International Symposium, ISBRA 2012, Dallas, TX, USA, May 21-23, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196842 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Bleris, Leonidas. editor.&#160;M&#259;ndoiu, Ion. editor.&#160;Schwartz, Russell. editor.&#160;Wang, Jianxin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30191-9">http://dx.doi.org/10.1007/978-3-642-30191-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Knowledge Discovery and Data Mining 16th Pacific-Asia Conference, PAKDD 2012, Kuala Lumpur, Malaysia, May 29-June 1, 2012, Proceedings, Part I ent://SD_ILS/0/SD_ILS:196845 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Tan, Pang-Ning. editor.&#160;Chawla, Sanjay. editor.&#160;Ho, Chin Kuan. editor.&#160;Bailey, James. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30217-6">http://dx.doi.org/10.1007/978-3-642-30217-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Knowledge Discovery and Data Mining 16th Pacific-Asia Conference, PAKDD 2012, Kuala Lumpur, Malaysia, May 29 &ndash; June 1, 2012, Proceedings, Part II ent://SD_ILS/0/SD_ILS:196846 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Tan, Pang-Ning. editor.&#160;Chawla, Sanjay. editor.&#160;Ho, Chin Kuan. editor.&#160;Bailey, James. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30220-6">http://dx.doi.org/10.1007/978-3-642-30220-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Topology in Image Context 4th International Workshop, CTIC 2012, Bertinoro, Italy, May 28-30, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196848 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Ferri, Massimo. editor.&#160;Frosini, Patrizio. editor.&#160;Landi, Claudia. editor.&#160;Cerri, Andrea. editor.&#160;Fabio, Barbara. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30238-1">http://dx.doi.org/10.1007/978-3-642-30238-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Future Internet Future Internet Assembly 2012: From Promises to Reality ent://SD_ILS/0/SD_ILS:196849 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;&Aacute;lvarez, Federico. editor.&#160;Cleary, Frances. editor.&#160;Daras, Petros. editor.&#160;Domingue, John. editor.&#160;Galis, Alex. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30241-1">http://dx.doi.org/10.1007/978-3-642-30241-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Semantic Web: Research and Applications 9th Extended Semantic Web Conference, ESWC 2012, Heraklion, Crete, Greece, May 27-31, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196855 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Simperl, Elena. editor.&#160;Cimiano, Philipp. editor.&#160;Polleres, Axel. editor.&#160;Corcho, Oscar. editor.&#160;Presutti, Valentina. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30284-8">http://dx.doi.org/10.1007/978-3-642-30284-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fun with Algorithms 6th International Conference, FUN 2012, Venice, Italy, June 4-6, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196862 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Kranakis, Evangelos. editor.&#160;Krizanc, Danny. editor.&#160;Luccio, Flaminia. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30347-0">http://dx.doi.org/10.1007/978-3-642-30347-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Artificial Intelligence 25th Canadian Conference on Artificial Intelligence, Canadian AI 2012, Toronto, ON, Canada, May 28-30, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196864 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Kosseim, Leila. editor.&#160;Inkpen, Diana. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30353-1">http://dx.doi.org/10.1007/978-3-642-30353-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Telecommunication Economics Selected Results of the COST Action ISO605 Econ@Tel ent://SD_ILS/0/SD_ILS:196872 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Hadjiantonis, Antonis M. editor.&#160;Stiller, Burkhard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30382-1">http://dx.doi.org/10.1007/978-3-642-30382-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Facing the Multicore - Challenge II Aspects of New Paradigms and Technologies in Parallel Computing ent://SD_ILS/0/SD_ILS:196875 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Keller, Rainer. editor.&#160;Kramer, David. editor.&#160;Weiss, Jan-Philipp. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30397-5">http://dx.doi.org/10.1007/978-3-642-30397-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligence and Security Informatics Pacific Asia Workshop, PAISI 2012, Kuala Lumpur, Malaysia, May 29, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196884 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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/> Software Service and Application Engineering Essays Dedicated to Bernd Kr&auml;mer on the Occasion of His 65th Birthday ent://SD_ILS/0/SD_ILS:196973 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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/> Networked Digital Technologies 4th International Conference, NDT 2012, Dubai, UAE, April 24-26, 2012. Proceedings, Part I ent://SD_ILS/0/SD_ILS:196903 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Benlamri, Rachid. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30507-8">http://dx.doi.org/10.1007/978-3-642-30507-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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/> Algorithms and Models for the Web Graph 9th International Workshop, WAW 2012, Halifax, NS, Canada, June 22-23, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196910 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Bonato, Anthony. editor.&#160;Janssen, Jeannette. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30541-2">http://dx.doi.org/10.1007/978-3-642-30541-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Composition 11th International Conference, SC 2012, Prague, Czech Republic, May 31 &ndash; June 1, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196918 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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/> OpenMP in a Heterogeneous World 8th International Workshop on OpenMP, IWOMP 2012, Rome, Italy, June 11-13, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196996 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Chapman, Barbara M. editor.&#160;Massaioli, Federico. editor.&#160;M&uuml;ller, Matthias S. editor.&#160;Rorro, 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-30961-8">http://dx.doi.org/10.1007/978-3-642-30961-8</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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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/> Advances in Swarm Intelligence Third International Conference, ICSI 2012, Shenzhen, China, June 17-20, 2012 Proceedings, Part I ent://SD_ILS/0/SD_ILS:196999 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Tan, Ying. editor.&#160;Shi, Yuhui. editor.&#160;Ji, Zhen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30976-2">http://dx.doi.org/10.1007/978-3-642-30976-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Model-Driven Engineering 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures ent://SD_ILS/0/SD_ILS:197000 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Bernardo, Marco. editor.&#160;Cortellessa, Vittorio. editor.&#160;Pierantonio, Alfonso. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30982-3">http://dx.doi.org/10.1007/978-3-642-30982-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Dependable Networks and Services 6th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2012, Luxembourg, Luxembourg, June 4-8, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196932 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Sadre, Ramin. editor.&#160;Novotn&yacute;, Ji&#345;&iacute;. editor.&#160;&#268;eleda, Pavel. editor.&#160;Waldburger, Martin. editor.&#160;Stiller, Burkhard. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30633-4">http://dx.doi.org/10.1007/978-3-642-30633-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Product-Focused Software Process Improvement 13th International Conference, PROFES 2012, Madrid, Spain, June 13-15, 2012 Proceedings ent://SD_ILS/0/SD_ILS:197012 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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/> Advances in Computational Intelligence IEEE World Congress on Computational Intelligence, WCCI 2012, Brisbane, Australia, June 10-15, 2012. Plenary/Invited Lectures ent://SD_ILS/0/SD_ILS:196941 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Liu, Jing. editor.&#160;Alippi, Cesare. editor.&#160;Bouchon-Meunier, Bernadette. editor.&#160;Greenwood, Garrison W. editor.&#160;Abbass, Hussein A. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30687-7">http://dx.doi.org/10.1007/978-3-642-30687-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2012 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part II ent://SD_ILS/0/SD_ILS:197015 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Murgante, Beniamino. editor.&#160;Gervasi, Osvaldo. editor.&#160;Misra, Sanjay. editor.&#160;Nedjah, Nadia. editor.&#160;Rocha, Ana Maria A. C. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31075-1">http://dx.doi.org/10.1007/978-3-642-31075-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multimedia Communications, Services and Security 5th International Conference, MCSS 2012, Krakow, Poland, May 31&ndash;June 1, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196945 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Dziech, Andrzej. editor.&#160;Czy&#380;ewski, Andrzej. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30721-8">http://dx.doi.org/10.1007/978-3-642-30721-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integrated Formal Methods 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196948 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Derrick, John. editor.&#160;Gnesi, Stefania. editor.&#160;Latella, Diego. editor.&#160;Treharne, Helen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30729-4">http://dx.doi.org/10.1007/978-3-642-30729-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Correct Reasoning Essays on Logic-Based AI in Honour of Vladimir Lifschitz ent://SD_ILS/0/SD_ILS:196950 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Erdem, Esra. editor.&#160;Lee, Joohyung. editor.&#160;Lierler, Yuliya. editor.&#160;Pearce, David. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30743-0">http://dx.doi.org/10.1007/978-3-642-30743-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Grid and Pervasive Computing 7th International Conference, GPC 2012, Hong Kong, China, May 11-13, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196955 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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/> Advanced Research in Applied Artificial Intelligence 25th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2012, Dalian, China, June 9-12, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197016 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Jiang, He. editor.&#160;Ding, Wei. editor.&#160;Ali, Moonis. editor.&#160;Wu, Xindong. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31087-4">http://dx.doi.org/10.1007/978-3-642-31087-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Information Systems Engineering 24th International Conference, CAiSE 2012, Gdansk, Poland, June 25-29, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197017 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Ralyt&eacute;, Jolita. editor.&#160;Franch, Xavier. editor.&#160;Brinkkemper, Sjaak. editor.&#160;Wrycza, Stanislaw. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31095-9">http://dx.doi.org/10.1007/978-3-642-31095-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Structural Information and Communication Complexity 19th International Colloquium, SIROCCO 2012, Reykjavik, Iceland, June 30-July 2, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:197018 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Even, Guy. editor.&#160;Halld&oacute;rsson, Magn&uacute;s 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-31104-8">http://dx.doi.org/10.1007/978-3-642-31104-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematics of Program Construction 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197019 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Gibbons, Jeremy. editor.&#160;Nogueira, Pablo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31113-0">http://dx.doi.org/10.1007/978-3-642-31113-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2012 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part I ent://SD_ILS/0/SD_ILS:197021 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Murgante, Beniamino. editor.&#160;Gervasi, Osvaldo. editor.&#160;Misra, Sanjay. editor.&#160;Nedjah, Nadia. editor.&#160;Rocha, Ana Maria A. C. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31125-3">http://dx.doi.org/10.1007/978-3-642-31125-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2012 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:197022 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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/> Controlled Natural Language Second International Workshop, CNL 2010, Marettimo Island, Italy, September 13-15, 2010. Revised Papers ent://SD_ILS/0/SD_ILS:197033 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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/> Image Analysis and Recognition 9th International Conference, ICIAR 2012, Aveiro, Portugal, June 25-27, 2012. Proceedings, Part II ent://SD_ILS/0/SD_ILS:197056 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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-31298-4">http://dx.doi.org/10.1007/978-3-642-31298-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Biomedical Image Registration 5th International Workshop, WBIR 2012, Nashville, TN, USA, July 7-8, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197059 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Dawant, Beno&icirc;t M. editor.&#160;Christensen, Gary E. editor.&#160;Fitzpatrick, J. Michael. editor.&#160;Rueckert, Daniel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31340-0">http://dx.doi.org/10.1007/978-3-642-31340-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Neural Networks &ndash; ISNN 2012 9th International Symposium on Neural Networks, Shenyang, China, July 11-14, 2012. Proceedings, Part I ent://SD_ILS/0/SD_ILS:197061 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Wang, Jun. editor.&#160;Yen, Gary G. editor.&#160;Polycarpou, Marios 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-31346-2">http://dx.doi.org/10.1007/978-3-642-31346-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Neural Networks &ndash; ISNN 2012 9th International Symposium on Neural Networks, Shenyang, China, July 11-14, 2012. Proceedings, Part II ent://SD_ILS/0/SD_ILS:197062 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Wang, Jun. editor.&#160;Yen, Gary G. editor.&#160;Polycarpou, Marios 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-31362-2">http://dx.doi.org/10.1007/978-3-642-31362-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Progress in Cryptology - AFRICACRYPT 2012 5th International Conference on Cryptology in Africa, Ifrance, Morocco, July 10-12, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197072 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Mitrokotsa, Aikaterini. editor.&#160;Vaudenay, Serge. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31410-0">http://dx.doi.org/10.1007/978-3-642-31410-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Verification 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings ent://SD_ILS/0/SD_ILS:197076 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Madhusudan, P. editor.&#160;Seshia, Sanjit A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31424-7">http://dx.doi.org/10.1007/978-3-642-31424-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Edutainment VIII ent://SD_ILS/0/SD_ILS:197078 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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-31439-1">http://dx.doi.org/10.1007/978-3-642-31439-1</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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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/> User Modeling, Adaptation, and Personalization 20th International Conference, UMAP 2012, Montreal, Canada, July 16-20, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197081 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Masthoff, Judith. editor.&#160;Mobasher, Bamshad. editor.&#160;Desmarais, Michel C. editor.&#160;Nkambou, 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-31454-4">http://dx.doi.org/10.1007/978-3-642-31454-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel Processing and Applied Mathematics 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:197082 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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/> New Directions in Logic, Language and Computation ESSLLI 2010 and ESSLLI 2011 Student Sessions. Selected Papers ent://SD_ILS/0/SD_ILS:197083 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Lassiter, Daniel. editor.&#160;Slavkovik, Marija. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31467-4">http://dx.doi.org/10.1007/978-3-642-31467-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Constructing Ambient Intelligence AmI 2011 Workshops, Amsterdam, The Netherlands, November 16-18, 2011. Revised Selected Papers ent://SD_ILS/0/SD_ILS:197085 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Wichert, Reiner. editor.&#160;Laerhoven, Kristof. editor.&#160;Gelissen, Jean. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31479-7">http://dx.doi.org/10.1007/978-3-642-31479-7</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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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/> Progress in VLSI Design and Test 16th International Symposium, VDAT 2012, Shibpur, India, July 1-4, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197090 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Rahaman, Hafizur. editor.&#160;Chattopadhyay, Sanatan. editor.&#160;Chattopadhyay, Santanu. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31494-0">http://dx.doi.org/10.1007/978-3-642-31494-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Autonomous and Intelligent Systems Third International Conference, AIS 2012, Aveiro, Portugal, June 25-27, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197064 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Kamel, Mohamed. editor.&#160;Karray, Fakhri. editor.&#160;Hagras, Hani. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31368-4">http://dx.doi.org/10.1007/978-3-642-31368-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel Processing and Applied Mathematics 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised Selected Papers, Part II ent://SD_ILS/0/SD_ILS:197092 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Wyrzykowski, Roman. editor.&#160;Dongarra, Jack. editor.&#160;Karczewski, Konrad. editor.&#160;Wa&#347;niewski, Jerzy. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31500-8">http://dx.doi.org/10.1007/978-3-642-31500-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engaging Learners Through Emerging Technologies International Conference on ICT in Teaching and Learning, ICT 2012, Hong Kong, China, July 4-6, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197069 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Li, Kam Cheong. editor.&#160;Wang, Fu Lee. editor.&#160;Yuen, Kin Sun. editor.&#160;Cheung, Simon K. S. editor.&#160;Kwan, Reggie. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31398-1">http://dx.doi.org/10.1007/978-3-642-31398-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Haptics: Perception, Devices, Mobility, and Communication International Conference, EuroHaptics 2012, Tampere, Finland, June 13-15, 2012. Proceedings, Part I ent://SD_ILS/0/SD_ILS:197070 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Isokoski, Poika. editor.&#160;Springare, Jukka. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31401-8">http://dx.doi.org/10.1007/978-3-642-31401-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Haptics: Perception, Devices, Mobility, and Communication International Conference, EuroHaptics 2012, Tampere, Finland, June 13-15, 2012 Proceedings, Part II ent://SD_ILS/0/SD_ILS:197071 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Isokoski, Poika. editor.&#160;Springare, Jukka. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31404-9">http://dx.doi.org/10.1007/978-3-642-31404-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> RoboCup 2011: Robot Soccer World Cup XV ent://SD_ILS/0/SD_ILS:197173 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;R&ouml;fer, Thomas. editor.&#160;Mayer, N. Michael. editor.&#160;Savage, Jesus. editor.&#160;Saranl&#305;, Uluc&#808;. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32060-6">http://dx.doi.org/10.1007/978-3-642-32060-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Computational Collective Intelligence VII ent://SD_ILS/0/SD_ILS:197174 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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-32066-8">http://dx.doi.org/10.1007/978-3-642-32066-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hybrid Learning 5th International Conference, ICHL 2012, Guangzhou, China, August 13-15, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197169 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Cheung, Simon K. S. editor.&#160;Fong, Joseph. editor.&#160;Kwok, Lam-For. editor.&#160;Li, Kedong. editor.&#160;Kwan, Reggie. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32018-7">http://dx.doi.org/10.1007/978-3-642-32018-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Central European Functional Programming School 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:197176 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Zs&oacute;k, Vikt&oacute;ria. editor.&#160;Horv&aacute;th, Zolt&aacute;n. editor.&#160;Plasmeijer, Rinus. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32096-5">http://dx.doi.org/10.1007/978-3-642-32096-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trends in Functional Programming 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:197171 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Pe&ntilde;a, Ricardo. editor.&#160;Page, Rex. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32037-8">http://dx.doi.org/10.1007/978-3-642-32037-8</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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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/> Programming Languages 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197332 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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/> Artificial Intelligence: Methodology, Systems, and Applications 15th International Conference, AIMSA 2012, Varna, Bulgaria, September 12-15, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197333 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Ramsay, Allan. editor.&#160;Agre, Gennady. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33185-5">http://dx.doi.org/10.1007/978-3-642-33185-5</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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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/> Web Reasoning and Rule Systems 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197336 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Kr&ouml;tzsch, Markus. editor.&#160;Straccia, Umberto. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33203-6">http://dx.doi.org/10.1007/978-3-642-33203-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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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/> Artificial Neural Networks in Pattern Recognition 5th INNS IAPR TC 3 GIRPR Workshop, ANNPR 2012, Trento, Italy, September 17-19, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197338 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Mana, Nadia. editor.&#160;Schwenker, Friedhelm. editor.&#160;Trentin, Edmondo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33212-8">http://dx.doi.org/10.1007/978-3-642-33212-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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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/> Information Access Evaluation. Multilinguality, Multimodality, and Visual Analytics Third International Conference of the CLEF Initiative, CLEF 2012, Rome, Italy, September 17-20, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197340 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Catarci, Tiziana. editor.&#160;Forner, Pamela. editor.&#160;Hiemstra, Djoerd. editor.&#160;Pe&ntilde;as, Anselmo. editor.&#160;Santucci, Giuseppe. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33247-0">http://dx.doi.org/10.1007/978-3-642-33247-0</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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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/> Computer Information Systems and Industrial Management 11th IFIP TC 8 International Conference, CISIM 2012, Venice, Italy, September 26-28, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197342 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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/> Pattern Recognition Chinese Conference, CCPR 2012, Beijing, China, September 24-26, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197391 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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/> Formal Methods: Foundations and Applications 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197352 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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/> Computer Vision &ndash; ECCV 2012 12th European Conference on Computer Vision, Florence, Italy, October 7-13, 2012, Proceedings, Part III ent://SD_ILS/0/SD_ILS:197427 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Fitzgibbon, Andrew. editor.&#160;Lazebnik, Svetlana. editor.&#160;Perona, Pietro. editor.&#160;Sato, Yoichi. editor.&#160;Schmid, Cordelia. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33712-3">http://dx.doi.org/10.1007/978-3-642-33712-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Vision &ndash; ECCV 2012 12th European Conference on Computer Vision, Florence, Italy, October 7-13, 2012, Proceedings, Part V ent://SD_ILS/0/SD_ILS:197428 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Fitzgibbon, Andrew. editor.&#160;Lazebnik, Svetlana. editor.&#160;Perona, Pietro. editor.&#160;Sato, Yoichi. editor.&#160;Schmid, Cordelia. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33715-4">http://dx.doi.org/10.1007/978-3-642-33715-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Vision &ndash; ECCV 2012 12th European Conference on Computer Vision, Florence, Italy, October 7-13, 2012, Proceedings, Part I ent://SD_ILS/0/SD_ILS:197429 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Fitzgibbon, Andrew. editor.&#160;Lazebnik, Svetlana. editor.&#160;Perona, Pietro. editor.&#160;Sato, Yoichi. editor.&#160;Schmid, Cordelia. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33718-5">http://dx.doi.org/10.1007/978-3-642-33718-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Immune Systems 11th International Conference, ICARIS 2012, Taormina, Italy, August 28-31, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197430 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Coello Coello, Carlos A. editor.&#160;Greensmith, Julie. editor.&#160;Krasnogor, Natalio. editor.&#160;Li&ograve;, Pietro. editor.&#160;Nicosia, Giuseppe. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33757-4">http://dx.doi.org/10.1007/978-3-642-33757-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Communicability, Computer Graphics and Innovative Design for Interactive Systems First International Symposium, CCGIDIS 2011, C&oacute;rdoba, Spain, June 28-29, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:197431 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Cipolla-Ficarra, Francisco. editor.&#160;Veltman, Kim. editor.&#160;Cipolla-Ficarra, Miguel. editor.&#160;Kratky, 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-33760-4">http://dx.doi.org/10.1007/978-3-642-33760-4</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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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/> Computer Vision &ndash; ECCV 2012 12th European Conference on Computer Vision, Florence, Italy, October 7-13, 2012, Proceedings, Part VII ent://SD_ILS/0/SD_ILS:197434 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Fitzgibbon, Andrew. editor.&#160;Lazebnik, Svetlana. editor.&#160;Perona, Pietro. editor.&#160;Sato, Yoichi. editor.&#160;Schmid, Cordelia. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33786-4">http://dx.doi.org/10.1007/978-3-642-33786-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Modeling and Analysis of Timed Systems 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197363 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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/> Software Engineering and Formal Methods 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197437 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Eleftherakis, George. editor.&#160;Hinchey, Mike. editor.&#160;Holcombe, Mike. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33826-7">http://dx.doi.org/10.1007/978-3-642-33826-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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/> Theory and Practice of Natural Computing First International Conference, TPNC 2012, Tarragona, Spain, October 2-4, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197439 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Dediu, Adrian-Horia. editor.&#160;Mart&iacute;n-Vide, Carlos. editor.&#160;Truthe, Bianca. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33860-1">http://dx.doi.org/10.1007/978-3-642-33860-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Vision &ndash; ECCV 2012. Workshops and Demonstrations Florence, Italy, October 7-13, 2012, Proceedings, Part II ent://SD_ILS/0/SD_ILS:197441 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Fusiello, Andrea. editor.&#160;Murino, Vittorio. 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-33868-7">http://dx.doi.org/10.1007/978-3-642-33868-7</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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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/> Social Robotics 4th International Conference, ICSR 2012, Chengdu, China, October 29-31, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197472 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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/> Research in Cryptology 4th Western European Workshop, WEWoRC 2011, Weimar, Germany, July 20-22, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:197481 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Armknecht, Frederik. editor.&#160;Lucks, 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-34159-5">http://dx.doi.org/10.1007/978-3-642-34159-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Structural, Syntactic, and Statistical Pattern Recognition Joint IAPR International Workshop, SSPR&amp;SPR 2012, Hiroshima, Japan, November 7-9, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197483 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Gimel&rsquo;farb, Georgy. editor.&#160;Hancock, Edwin. editor.&#160;Imiya, Atsushi. editor.&#160;Kuijper, Arjan. editor.&#160;Kudo, Mineichi. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34166-3">http://dx.doi.org/10.1007/978-3-642-34166-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applications of Graph Transformations with Industrial Relevance 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers ent://SD_ILS/0/SD_ILS:197486 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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/> Gesture and Sign Language in Human-Computer Interaction and Embodied Communication 9th International Gesture Workshop, GW 2011, Athens, Greece, May 25-27, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:197488 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z Author&#160;Efthimiou, Eleni. editor.&#160;Kouroupetroglou, Georgios. editor.&#160;Fotinea, Stavroula-Evita. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34182-3">http://dx.doi.org/10.1007/978-3-642-34182-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 2024-08-30T19:01:20Z 2024-08-30T19:01:20Z 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/>