Search Results for Computer science. - Narrowed by: English - 2012 - Computer science. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputer$002bscience.$0026qf$003dLANGUAGE$002509Language$002509ENG$002509English$0026qf$003dPUBDATE$002509Publication$002bDate$0025092012$0025092012$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026te$003dILS$0026ps$003d300$0026isd$003dtrue? 2024-09-04T23:29:44Z Applied Computer Science ent://SD_ILS/0/SD_ILS:174039 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Torbert, Shane. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-1888-7">http://dx.doi.org/10.1007/978-1-4614-1888-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer science : an overview ent://SD_ILS/0/SD_ILS:313472 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Brookshear, J. Glenn.<br/>Preferred Shelf Number&#160;QA 76 B743 2012<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Computer science : an overview ent://SD_ILS/0/SD_ILS:354120 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Brookshear, J. Glenn.<br/>Preferred Shelf Number&#160;QA76 B743 2012<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Mathematical Logic for Computer Science ent://SD_ILS/0/SD_ILS:173540 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z 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/> Instruction Sequences for Computer Science ent://SD_ILS/0/SD_ILS:207045 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Bergstra, Jan A. author.&#160;Middelburg, Cornelis A. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.2991/978-94-91216-65-7">http://dx.doi.org/10.2991/978-94-91216-65-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematics of Discrete Structures for Computer Science ent://SD_ILS/0/SD_ILS:196778 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z 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-09-04T23:29:44Z 2024-09-04T23:29:44Z 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/> 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-09-04T23:29:44Z 2024-09-04T23:29:44Z 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-09-04T23:29:44Z 2024-09-04T23:29:44Z 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-09-04T23:29:44Z 2024-09-04T23:29:44Z 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-09-04T23:29:44Z 2024-09-04T23:29:44Z 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/> 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-09-04T23:29:44Z 2024-09-04T23:29:44Z 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-09-04T23:29:44Z 2024-09-04T23:29:44Z 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/> 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-09-04T23:29:44Z 2024-09-04T23:29:44Z 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-09-04T23:29:44Z 2024-09-04T23:29:44Z 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/> 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-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Hirsch, Edward A. editor.&#160;Karhum&auml;ki, Juhani. editor.&#160;Lepist&ouml;, Arto. editor.&#160;Prilutskii, Michail. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30642-6">http://dx.doi.org/10.1007/978-3-642-30642-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Foundations of Computer Science 2012 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197237 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z 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/> 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-09-04T23:29:44Z 2024-09-04T23:29:44Z 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/> Operator Calculus on Graphs Theory and Applications in Computer Science. ent://SD_ILS/0/SD_ILS:279465 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z 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/> 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-09-04T23:29:44Z 2024-09-04T23:29:44Z 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-09-04T23:29:44Z 2024-09-04T23:29:44Z 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-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Meghanathan, Natarajan. editor.&#160;Chaki, Nabendu. editor.&#160;Nagamalai, Dhinaharan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-27317-9">http://dx.doi.org/10.1007/978-3-642-27317-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Proceedings of the 2011 2nd International Congress on Computer Applications and Computational Science Volume 2 ent://SD_ILS/0/SD_ILS:196412 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z 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-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Gaol, Ford Lumban. editor.&#160;Nguyen, Quang Vinh. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28314-7">http://dx.doi.org/10.1007/978-3-642-28314-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Service Placement in Ad Hoc Networks ent://SD_ILS/0/SD_ILS:173433 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Wittenburg, Georg. author.&#160;Schiller, Jochen. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-2363-7">http://dx.doi.org/10.1007/978-1-4471-2363-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Guide to Reliable Distributed Systems Building High-Assurance Applications and Cloud-Hosted Services ent://SD_ILS/0/SD_ILS:173442 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Birman, Kenneth P. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-2416-0">http://dx.doi.org/10.1007/978-1-4471-2416-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Decentralized Reasoning in Ambient Intelligence ent://SD_ILS/0/SD_ILS:173543 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Viterbo, Jos&eacute;. author.&#160;Endler, Markus. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-4168-6">http://dx.doi.org/10.1007/978-1-4471-4168-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Self-* and P2P for Network Management Design Principles and Case Studies ent://SD_ILS/0/SD_ILS:173546 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z 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-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Mart&iacute;nez-Mart&iacute;n, Ester. author.&#160;Pobil, &Aacute;ngel P. del. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-4216-4">http://dx.doi.org/10.1007/978-1-4471-4216-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Guide to Cisco Routers Configuration Becoming a Router Geek ent://SD_ILS/0/SD_ILS:173550 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z 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-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;&#304;lsever, Murat. author.&#160;&Uuml;nsalan, Cem. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-4255-3">http://dx.doi.org/10.1007/978-1-4471-4255-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Spatial AutoRegression (SAR) Model Parameter Estimation Techniques ent://SD_ILS/0/SD_ILS:174029 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z 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-09-04T23:29:44Z 2024-09-04T23:29:44Z 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/> Data Dissemination and Query in Mobile Social Networks ent://SD_ILS/0/SD_ILS:174135 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z 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/> The Design of Cloud Workflow Systems ent://SD_ILS/0/SD_ILS:174054 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z 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/> Criminal Justice Forecasts of Risk A Machine Learning Approach ent://SD_ILS/0/SD_ILS:174189 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z 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-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;W&oacute;dczak, Micha&#322;. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-3100-8">http://dx.doi.org/10.1007/978-1-4614-3100-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Power Distribution and Performance Analysis for Wireless Communication Networks ent://SD_ILS/0/SD_ILS:174227 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z 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/> Service-Oriented Crowdsourcing Architecture, Protocols and Algorithms ent://SD_ILS/0/SD_ILS:174438 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z 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-09-04T23:29:44Z 2024-09-04T23:29:44Z 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-09-04T23:29:44Z 2024-09-04T23:29:44Z 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-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Rademaker, Alexandre. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-4002-3">http://dx.doi.org/10.1007/978-1-4471-4002-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Context Management for Distributed and Dynamic Context-Aware Computing ent://SD_ILS/0/SD_ILS:173522 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z 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/> A Survey of Data Leakage Detection and Prevention Solutions ent://SD_ILS/0/SD_ILS:174080 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z 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-09-04T23:29:44Z 2024-09-04T23:29:44Z 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/> Visual Indexing and Retrieval ent://SD_ILS/0/SD_ILS:174294 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Benois-Pineau, Jenny. author.&#160;Precioso, Fr&eacute;d&eacute;ric. author.&#160;Cord, Matthieu. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-3588-4">http://dx.doi.org/10.1007/978-1-4614-3588-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Configuration Problem Solving ent://SD_ILS/0/SD_ILS:174403 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z 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/> ITIL&reg; 2011 At a Glance ent://SD_ILS/0/SD_ILS:174354 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z 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/> Event-Driven Surveillance Possibilities and Challenges ent://SD_ILS/0/SD_ILS:196360 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z 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-09-04T23:29:44Z 2024-09-04T23:29:44Z 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/> Understanding High-Dimensional Spaces ent://SD_ILS/0/SD_ILS:197368 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Skillicorn, David B. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33398-9">http://dx.doi.org/10.1007/978-3-642-33398-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Testing in the Cloud Migration and Execution ent://SD_ILS/0/SD_ILS:197182 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z 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/> Multicore Programming Using the ParC Language ent://SD_ILS/0/SD_ILS:173376 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Ben-Asher, Yosi. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-2164-0">http://dx.doi.org/10.1007/978-1-4471-2164-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Sets, Logic and Maths for Computing ent://SD_ILS/0/SD_ILS:173460 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Makinson, David. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-2500-6">http://dx.doi.org/10.1007/978-1-4471-2500-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Introduction to Video and Image Processing Building Real Systems and Applications ent://SD_ILS/0/SD_ILS:173461 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Moeslund, Thomas B. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-2503-7">http://dx.doi.org/10.1007/978-1-4471-2503-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Introduction to Computer Graphics Using Java 2D and 3D ent://SD_ILS/0/SD_ILS:173467 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Klawonn, Frank. 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-2733-8">http://dx.doi.org/10.1007/978-1-4471-2733-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Guide to Scientific Computing in C++ ent://SD_ILS/0/SD_ILS:173468 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Pitt-Francis, Joe. author.&#160;Whiteley, Jonathan. 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-2736-9">http://dx.doi.org/10.1007/978-1-4471-2736-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Language Concepts ent://SD_ILS/0/SD_ILS:173542 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Sestoft, Peter. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-4156-3">http://dx.doi.org/10.1007/978-1-4471-4156-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Bio-Inspired Computing and Applications 7th International Conference on Intelligent Computing, ICIC 2011, Zhengzhou,China, August 11-14. 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:195672 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Huang, De-Shuang. editor.&#160;Gan, Yong. editor.&#160;Premaratne, Prashan. editor.&#160;Han, Kyungsook. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-24553-4">http://dx.doi.org/10.1007/978-3-642-24553-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Intelligent Computing 7th International Conference, ICIC 2011, Zhengzhou, China, August 11-14, 2011. Revised Selected Papers ent://SD_ILS/0/SD_ILS:195728 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Huang, De-Shuang. editor.&#160;Gan, Yong. editor.&#160;Bevilacqua, Vitoantonio. editor.&#160;Figueroa, Juan Carlos. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-24728-6">http://dx.doi.org/10.1007/978-3-642-24728-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Scale Space and Variational Methods in Computer Vision Third International Conference, SSVM 2011, Ein-Gedi, Israel, May 29 &ndash; June 2, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:195745 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Bruckstein, Alfred M. editor.&#160;Haar Romeny, Bart M. editor.&#160;Bronstein, Alexander M. editor.&#160;Bronstein, Michael M. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-24785-9">http://dx.doi.org/10.1007/978-3-642-24785-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> 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-09-04T23:29:44Z 2024-09-04T23:29:44Z 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/> Principles and Practice of Multi-Agent Systems 13th International Conference, PRIMA 2010, Kolkata, India, November 12-15, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196083 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Desai, Nirmit. editor.&#160;Liu, Alan. 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-25920-3">http://dx.doi.org/10.1007/978-3-642-25920-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence 7th International Conference, ICIC 2011, Zhengzhou, China, August 11-14, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196088 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Huang, De-Shuang. editor.&#160;Gan, Yong. editor.&#160;Gupta, Phalguni. editor.&#160;Gromiha, M. Michael. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-25944-9">http://dx.doi.org/10.1007/978-3-642-25944-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Semantic Web: ESWC 2011 Workshops ESWC 2011 Workshops, Heraklion, Greece, May 29-30, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196090 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Garc&iacute;a-Castro, Ra&uacute;l. editor.&#160;Fensel, Dieter. editor.&#160;Antoniou, Grigoris. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-25953-1">http://dx.doi.org/10.1007/978-3-642-25953-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Computing and Networking 13th International Conference, ICDCN 2012, Hong Kong, China, January 3-6, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196091 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Bononi, Luciano. editor.&#160;Datta, Ajoy K. editor.&#160;Devismes, St&eacute;phane. editor.&#160;Misra, Archan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-25959-3">http://dx.doi.org/10.1007/978-3-642-25959-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Data Engineering and Management Second International Conference, ICDEM 2010, Tiruchirappalli, India, July 29-31, 2010. Revised Selected Papers ent://SD_ILS/0/SD_ILS:196286 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Kannan, Rajkumar. editor.&#160;Andres, Frederic. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-27872-3">http://dx.doi.org/10.1007/978-3-642-27872-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Security Applications 12th International Workshop, WISA 2011, Jeju Island, Korea, August 22-24, 2011. Revised Selected Papers ent://SD_ILS/0/SD_ILS:196291 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Jung, Souhwan. editor.&#160;Yung, Moti. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-27890-7">http://dx.doi.org/10.1007/978-3-642-27890-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Systems Theory &ndash; EUROCAST 2011 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:196229 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Moreno-D&iacute;az, Roberto. editor.&#160;Pichler, Franz. editor.&#160;Quesada-Arencibia, Alexis. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-27549-4">http://dx.doi.org/10.1007/978-3-642-27549-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Grid and Pervasive Computing Workshops International Workshops, S3E, HWTS, Doctoral Colloquium, Held in Conjunction with GPC 2011, Oulu, Finland, May 11-13, 2011. Revised Selected Papers ent://SD_ILS/0/SD_ILS:196298 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Rautiainen, Mika. editor.&#160;Korhonen, Timo. editor.&#160;Mutafungwa, Edward. editor.&#160;Ovaska, Eila. editor.&#160;Katasonov, Artem. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-27916-4">http://dx.doi.org/10.1007/978-3-642-27916-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verification, Model Checking, and Abstract Interpretation 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196304 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Kuncak, Viktor. editor.&#160;Rybalchenko, Andrey. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-27940-9">http://dx.doi.org/10.1007/978-3-642-27940-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Current Trends in Web Engineering Workshops, Doctoral Symposium, and Tutorials, Held at ICWE 2011, Paphos, Cyprus, June 20-21, 2011. Revised Selected Papers ent://SD_ILS/0/SD_ILS:196321 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Harth, Andreas. editor.&#160;Koch, Nora. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-27997-3">http://dx.doi.org/10.1007/978-3-642-27997-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Membrane Computing 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196326 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Gheorghe, Marian. editor.&#160;P&#259;un, Gheorghe. editor.&#160;Rozenberg, Grzegorz. editor.&#160;Salomaa, Arto. editor.&#160;Verlan, Sergey. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28024-5">http://dx.doi.org/10.1007/978-3-642-28024-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Eternal Systems First InternationalWorkshop, EternalS 2011, Budapest, Hungary, May 3, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196328 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Moschitti, Alessandro. editor.&#160;Scandariato, Riccardo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28033-7">http://dx.doi.org/10.1007/978-3-642-28033-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Bioinformatics for Personalized Medicine 10th Spanish Symposium, JBI 2010, Torremolinos, Spain, October 27-29, 2010. Revised Selected Papers ent://SD_ILS/0/SD_ILS:196336 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Freitas, Ana T. editor.&#160;Navarro, Arcadi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28062-7">http://dx.doi.org/10.1007/978-3-642-28062-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algebraic and Numeric Biology 4th International Conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196338 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Horimoto, Katsuhisa. editor.&#160;Nakatsui, Masahiko. editor.&#160;Popov, Nikolaj. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28067-2">http://dx.doi.org/10.1007/978-3-642-28067-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Computing and Internet Technology 8th International Conference, ICDCIT 2012, Bhubaneswar, India, February 2-4, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196340 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Ramanujam, R. editor.&#160;Ramaswamy, Srini. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28073-3">http://dx.doi.org/10.1007/978-3-642-28073-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> WALCOM: Algorithms and Computation 6th International Workshop, WALCOM 2012, Dhaka, Bangladesh, February 15-17, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196341 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Rahman, Md. Saidur. editor.&#160;Nakano, Shin-ichi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28076-4">http://dx.doi.org/10.1007/978-3-642-28076-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applied Parallel and Scientific Computing 10th International Conference, PARA 2010, Reykjav&iacute;k, Iceland, June 6-9, 2010, Revised Selected Papers, Part II ent://SD_ILS/0/SD_ILS:196364 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;J&oacute;nasson, Kristj&aacute;n. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28145-7">http://dx.doi.org/10.1007/978-3-642-28145-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applied Parallel and Scientific Computing 10th International Conference, PARA 2010, Reykjav&iacute;k, Iceland, June 6-9, 2010, Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:196366 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;J&oacute;nasson, Kristj&aacute;n. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28151-8">http://dx.doi.org/10.1007/978-3-642-28151-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Secure Software and Systems 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196370 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Barthe, Gilles. editor.&#160;Livshits, Benjamin. editor.&#160;Scandariato, Riccardo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28166-2">http://dx.doi.org/10.1007/978-3-642-28166-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> LATIN 2012: Theoretical Informatics 10th Latin American Symposium, Arequipa, Peru, April 16-20, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196674 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Fern&aacute;ndez-Baca, David. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29344-3">http://dx.doi.org/10.1007/978-3-642-29344-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence and Soft Computing 11th International Conference, ICAISC 2012, Zakopane, Poland, April 29-May 3, 2012, Proceedings, Part I ent://SD_ILS/0/SD_ILS:196675 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Rutkowski, Leszek. editor.&#160;Korytkowski, Marcin. editor.&#160;Scherer, Rafa&#322;. editor.&#160;Tadeusiewicz, Ryszard. editor.&#160;Zadeh, Lotfi A. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29347-4">http://dx.doi.org/10.1007/978-3-642-29347-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence and Soft Computing 11th International Conference, ICAISC 2012, Zakopane, Poland, April 29-May 3, 2012, Proceedings, Part II ent://SD_ILS/0/SD_ILS:196676 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Rutkowski, Leszek. editor.&#160;Korytkowski, Marcin. editor.&#160;Scherer, Rafa&#322;. editor.&#160;Tadeusiewicz, Ryszard. editor.&#160;Zadeh, Lotfi A. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29350-4">http://dx.doi.org/10.1007/978-3-642-29350-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Swarm and Evolutionary Computation International Symposia, SIDE 2012 and EC 2012, Held in Conjunction with ICAISC 2012, Zakopane, Poland, April 29-May 3, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196677 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Rutkowski, Leszek. editor.&#160;Korytkowski, Marcin. editor.&#160;Scherer, Rafa&#322;. editor.&#160;Tadeusiewicz, Ryszard. editor.&#160;Zadeh, Lotfi A. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29353-5">http://dx.doi.org/10.1007/978-3-642-29353-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Computational Collective Intelligence VI ent://SD_ILS/0/SD_ILS:196678 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Nguyen, Ngoc Thanh. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29356-6">http://dx.doi.org/10.1007/978-3-642-29356-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Health Information Science First International Conference, HIS 2012, Beijing, China, April 8-10, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196680 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;He, Jing. editor.&#160;Liu, Xiaohui. editor.&#160;Krupinski, Elizabeth A. editor.&#160;Xu, Guandong. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29361-0">http://dx.doi.org/10.1007/978-3-642-29361-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Camera-Based Document Analysis and Recognition 4th International Workshop, CBDAR 2011, Beijing, China, September 22, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196681 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Iwamura, Masakazu. editor.&#160;Shafait, Faisal. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29364-1">http://dx.doi.org/10.1007/978-3-642-29364-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic Programs, Norms and Action Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:196693 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Artikis, Alexander. editor.&#160;Craven, Robert. editor.&#160;Kesim &Ccedil;i&ccedil;ekli, Nihan. editor.&#160;Sadighi, Babak. editor.&#160;Stathis, Kostas. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29414-3">http://dx.doi.org/10.1007/978-3-642-29414-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Aspects of Security and Trust 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers ent://SD_ILS/0/SD_ILS:196695 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Barthe, Gilles. editor.&#160;Datta, Anupam. editor.&#160;Etalle, Sandro. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29420-4">http://dx.doi.org/10.1007/978-3-642-29420-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web Technologies and Applications APWeb 2012 International Workshops: SenDe, IDP, IEKB, MBC, Kunming, China, April 11-13, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196697 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Wang, Hua. editor.&#160;Zou, Lei. editor.&#160;Huang, Guangyan. editor.&#160;He, Jing. editor.&#160;Pang, Chaoyi. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29426-6">http://dx.doi.org/10.1007/978-3-642-29426-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graph Structures for Knowledge Representation and Reasoning Second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers ent://SD_ILS/0/SD_ILS:196702 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Croitoru, Madalina. editor.&#160;Rudolph, Sebastian. editor.&#160;Wilson, Nic. editor.&#160;Howse, John. editor.&#160;Corby, Olivier. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29449-5">http://dx.doi.org/10.1007/978-3-642-29449-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic and Program Semantics Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:196711 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Constable, Robert L. editor.&#160;Silva, Alexandra. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29485-3">http://dx.doi.org/10.1007/978-3-642-29485-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reversible Computation Third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers ent://SD_ILS/0/SD_ILS:196717 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Vos, Alexis. editor.&#160;Wille, Robert. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29517-1">http://dx.doi.org/10.1007/978-3-642-29517-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Security Technology for Applications 16th Nordic Conference on Secure IT Systems, NordSec 2011, Tallinn, Estonia, October 26-28, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196738 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z 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/> Functional and Logic Programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196774 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Schrijvers, Tom. editor.&#160;Thiemann, Peter. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29822-6">http://dx.doi.org/10.1007/978-3-642-29822-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems 9th International Conference, CPAIOR 2012, Nantes, France, May 28 &ndash; June1, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196776 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Beldiceanu, Nicolas. editor.&#160;Jussien, Narendra. editor.&#160;Pinson, &Eacute;ric. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29828-8">http://dx.doi.org/10.1007/978-3-642-29828-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web Services and Formal Methods 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196777 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Carbone, Marco. editor.&#160;Petit, Jean-Marc. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29834-9">http://dx.doi.org/10.1007/978-3-642-29834-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196779 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Lirkov, Ivan. editor.&#160;Margenov, Svetozar. editor.&#160;Wa&#347;niewski, Jerzy. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29843-1">http://dx.doi.org/10.1007/978-3-642-29843-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Runtime Verification Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196784 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Khurshid, Sarfraz. editor.&#160;Sen, Koushik. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29860-8">http://dx.doi.org/10.1007/978-3-642-29860-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Design Science Research in Information Systems. Advances in Theory and Practice 7th International Conference, DESRIST 2012, Las Vegas, NV, USA, May 14-15, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196785 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Peffers, Ken. editor.&#160;Rothenberger, Marcus. editor.&#160;Kuechler, Bill. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29863-9">http://dx.doi.org/10.1007/978-3-642-29863-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Financial Cryptography and Data Security FC 2011 Workshops, RLCPS and WECSR 2011, Rodney Bay, St. Lucia, February 28 - March 4, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196791 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z 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-09-04T23:29:44Z 2024-09-04T23:29:44Z 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/> Public Key Cryptography &ndash; PKC 2012 15th International Conference on Practice and Theory in Public Key Cryptography, Darmstadt, Germany, May 21-23, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196822 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Fischlin, Marc. editor.&#160;Buchmann, Johannes. editor.&#160;Manulis, Mark. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30057-8">http://dx.doi.org/10.1007/978-3-642-30057-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Experimental Algorithms 11th International Symposium, SEA 2012, Bordeaux, France, June 7-9, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196976 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Klasing, Ralf. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30850-5">http://dx.doi.org/10.1007/978-3-642-30850-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> How the World Computes Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196979 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Cooper, S. Barry. editor.&#160;Dawar, Anuj. editor.&#160;L&ouml;we, Benedikt. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30870-3">http://dx.doi.org/10.1007/978-3-642-30870-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Abstract State Machines, Alloy, B, VDM, and Z Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196982 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Derrick, John. editor.&#160;Fitzgerald, John. editor.&#160;Gnesi, Stefania. editor.&#160;Khurshid, Sarfraz. editor.&#160;Leuschel, Michael. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30885-7">http://dx.doi.org/10.1007/978-3-642-30885-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> 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-09-04T23:29:44Z 2024-09-04T23:29:44Z 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/> Trust and Trustworthy Computing 5th International Conference, TRUST 2012, Vienna, Austria, June 13-15, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196986 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Katzenbeisser, Stefan. editor.&#160;Weippl, Edgar. editor.&#160;Camp, L. Jean. editor.&#160;Volkamer, Melanie. editor.&#160;Reiter, Mike. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30921-2">http://dx.doi.org/10.1007/978-3-642-30921-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Models in Software Engineering Workshops and Symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised Selected Papers ent://SD_ILS/0/SD_ILS:196745 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Kienzle, J&ouml;rg. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29645-1">http://dx.doi.org/10.1007/978-3-642-29645-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agent and Multi-Agent Systems. Technologies and Applications 6th KES International Conference, KES-AMSTA 2012,Dubrovnik, Croatia, June 25-27, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196992 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Jezic, Gordan. editor.&#160;Kusek, Mario. editor.&#160;Nguyen, Ngoc-Thanh. editor.&#160;Howlett, Robert J. editor.&#160;Jain, Lakhmi C. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30947-2">http://dx.doi.org/10.1007/978-3-642-30947-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Tutoring Systems 11th International Conference, ITS 2012, Chania, Crete, Greece, June 14-18, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196993 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Cerri, Stefano A. editor.&#160;Clancey, William J. editor.&#160;Papadourakis, Giorgos. editor.&#160;Panourgia, Kitty. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30950-2">http://dx.doi.org/10.1007/978-3-642-30950-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Security Theory and Practice. Security, Privacy and Trust in Computing Systems and Ambient Intelligent Ecosystems 6th IFIP WG 11.2 International Workshop, WISTP 2012, Egham, UK, June 20-22, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196995 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Askoxylakis, Ioannis. editor.&#160;P&ouml;hls, Henrich C. editor.&#160;Posegga, Joachim. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30955-7">http://dx.doi.org/10.1007/978-3-642-30955-7</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-09-04T23:29:44Z 2024-09-04T23:29:44Z 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/> 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-09-04T23:29:44Z 2024-09-04T23:29:44Z 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/> Advanced Information Systems Engineering 24th International Conference, CAiSE 2012, Gdansk, Poland, June 25-29, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197017 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z 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-09-04T23:29:44Z 2024-09-04T23:29:44Z 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/> 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-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Hu, Zhenjiang. editor.&#160;Lara, Juan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30476-7">http://dx.doi.org/10.1007/978-3-642-30476-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Networked Digital Technologies 4th International Conference, NDT 2012, Dubai, UAE, April 24-26, 2012. Proceedings, Part I ent://SD_ILS/0/SD_ILS:196903 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z 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/> Euro-Par 2011: Parallel Processing Workshops CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 &ndash; September 2, 2011, Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:196761 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Alexander, Michael. editor.&#160;D&rsquo;Ambra, Pasqua. editor.&#160;Belloum, Adam. editor.&#160;Bosilca, George. editor.&#160;Cannataro, Mario. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29737-3">http://dx.doi.org/10.1007/978-3-642-29737-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Euro-Par 2011: Parallel Processing Workshops CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 &ndash; September 2, 2011, Revised Selected Papers, Part II ent://SD_ILS/0/SD_ILS:196762 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Alexander, Michael. editor.&#160;D&rsquo;Ambra, Pasqua. editor.&#160;Belloum, Adam. editor.&#160;Bosilca, George. editor.&#160;Cannataro, Mario. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29740-3">http://dx.doi.org/10.1007/978-3-642-29740-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Digital Urban Modeling and Simulation ent://SD_ILS/0/SD_ILS:196764 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Arisona, Stefan M&uuml;ller. editor.&#160;Aschwanden, Gideon. editor.&#160;Halatsch, Jan. editor.&#160;Wonka, Peter. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29758-8">http://dx.doi.org/10.1007/978-3-642-29758-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Public Key Infrastructures, Services and Applications 8th European Workshop, EuroPKI 2011, Leuven, Belgium, September 15-16, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196771 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Petkova-Nikova, Svetla. editor.&#160;Pashalidis, Andreas. editor.&#160;Pernul, G&uuml;nther. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29804-2">http://dx.doi.org/10.1007/978-3-642-29804-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> 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-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Bonato, Anthony. editor.&#160;Janssen, Jeannette. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30541-2">http://dx.doi.org/10.1007/978-3-642-30541-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Objects, Models, Components, Patterns 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196917 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Furia, Carlo A. editor.&#160;Nanz, Sebastian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30561-0">http://dx.doi.org/10.1007/978-3-642-30561-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Composition 11th International Conference, SC 2012, Prague, Czech Republic, May 31 &ndash; June 1, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196918 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z 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-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Benlamri, Rachid. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30567-2">http://dx.doi.org/10.1007/978-3-642-30567-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reliable Software Technologies &ndash; Ada-Europe 2012 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196925 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Brorsson, Mats. editor.&#160;Pinho, Lu&iacute;s Miguel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30598-6">http://dx.doi.org/10.1007/978-3-642-30598-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Sequences and Their Applications &ndash; SETA 2012 7th International Conference, Waterloo, ON, Canada, June 4-8, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196928 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Helleseth, Tor. editor.&#160;Jedwab, Jonathan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30615-0">http://dx.doi.org/10.1007/978-3-642-30615-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Processing in Computer-Assisted Interventions Third International Conference, IPCAI 2012, Pisa, Italy, June 27, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196929 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Abolmaesumi, Purang. editor.&#160;Joskowicz, Leo. editor.&#160;Navab, Nassir. editor.&#160;Jannin, Pierre. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30618-1">http://dx.doi.org/10.1007/978-3-642-30618-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Wired/Wireless Internet Communication 10th International Conference, WWIC 2012, Santorini, Greece, June 6-8, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196931 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Koucheryavy, Yevgeni. editor.&#160;Mamatas, Lefteris. editor.&#160;Matta, Ibrahim. editor.&#160;Tsaoussidis, Vassilis. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30630-3">http://dx.doi.org/10.1007/978-3-642-30630-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Dependable Networks and Services 6th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2012, Luxembourg, Luxembourg, June 4-8, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196932 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z 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/> 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-09-04T23:29:44Z 2024-09-04T23:29:44Z 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/> 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-09-04T23:29:44Z 2024-09-04T23:29:44Z 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/> 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-09-04T23:29:44Z 2024-09-04T23:29:44Z 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/> Correct Reasoning Essays on Logic-Based AI in Honour of Vladimir Lifschitz ent://SD_ILS/0/SD_ILS:196950 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z 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/> Pervasive Computing 10th International Conference, Pervasive 2012, Newcastle, UK, June 18-22, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197040 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z 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/> 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-09-04T23:29:44Z 2024-09-04T23:29:44Z 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-09-04T23:29:44Z 2024-09-04T23:29:44Z 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-09-04T23:29:44Z 2024-09-04T23:29:44Z 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-09-04T23:29:44Z 2024-09-04T23:29:44Z 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-09-04T23:29:44Z 2024-09-04T23:29:44Z 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-09-04T23:29:44Z 2024-09-04T23:29:44Z 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/> 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-09-04T23:29:44Z 2024-09-04T23:29:44Z 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-09-04T23:29:44Z 2024-09-04T23:29:44Z 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-09-04T23:29:44Z 2024-09-04T23:29:44Z 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-09-04T23:29:44Z 2024-09-04T23:29:44Z 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-09-04T23:29:44Z 2024-09-04T23:29:44Z 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/> Diagrammatic Representation and Inference 7th International Conference, Diagrams 2012, Canterbury, UK, July 2-6, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197043 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z 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/> New Directions in Logic, Language and Computation ESSLLI 2010 and ESSLLI 2011 Student Sessions. Selected Papers ent://SD_ILS/0/SD_ILS:197083 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z 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/> Image and Signal Processing 5th International Conference, ICISP 2012, Agadir, Morocco, June 28-30, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197047 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z 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-09-04T23:29:44Z 2024-09-04T23:29:44Z 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/> 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-09-04T23:29:44Z 2024-09-04T23:29:44Z 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/> 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-09-04T23:29:44Z 2024-09-04T23:29:44Z 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/> 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-09-04T23:29:44Z 2024-09-04T23:29:44Z 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-09-04T23:29:44Z 2024-09-04T23:29:44Z 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-09-04T23:29:44Z 2024-09-04T23:29:44Z 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/> Biomedical Image Registration 5th International Workshop, WBIR 2012, Nashville, TN, USA, July 7-8, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197059 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z 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/> Biomimetic and Biohybrid Systems First International Conference, Living Machines 2012, Barcelona, Spain, July 9-12, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197098 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Prescott, Tony J. editor.&#160;Lepora, Nathan F. editor.&#160;Mura, Anna. editor.&#160;Verschure, Paul F. M. J. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31525-1">http://dx.doi.org/10.1007/978-3-642-31525-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> 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-09-04T23:29:44Z 2024-09-04T23:29:44Z 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/> Machine Learning and Data Mining in Pattern Recognition 8th International Conference, MLDM 2012, Berlin, Germany, July 13-20, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197100 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Perner, Petra. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31537-4">http://dx.doi.org/10.1007/978-3-642-31537-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Data and Applications Security and Privacy XXVI 26th Annual IFIP WG 11.3 Conference, DBSec 2012, Paris, France, July 11-13,2012. Proceedings ent://SD_ILS/0/SD_ILS:197101 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Cuppens-Boulahia, Nora. editor.&#160;Cuppens, Fr&eacute;d&eacute;ric. editor.&#160;Garcia-Alfaro, Joaquin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31540-4">http://dx.doi.org/10.1007/978-3-642-31540-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Logic of Categorial Grammars A Deductive Account of Natural Language Syntax and Semantics ent://SD_ILS/0/SD_ILS:197102 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Moot, Richard. author.&#160;Retor&eacute;, Christian. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31555-8">http://dx.doi.org/10.1007/978-3-642-31555-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Computing Theories and Applications 8th International Conference, ICIC 2012, Huangshan, China, July 25-29, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197107 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Huang, De-Shuang. editor.&#160;Ma, Jianhua. editor.&#160;Jo, Kang-Hyun. editor.&#160;Gromiha, M. Michael. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31576-3">http://dx.doi.org/10.1007/978-3-642-31576-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automata, Languages, and Programming 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II ent://SD_ILS/0/SD_ILS:197110 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Czumaj, Artur. editor.&#160;Mehlhorn, Kurt. editor.&#160;Pitts, Andrew. editor.&#160;Wattenhofer, Roger. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31585-5">http://dx.doi.org/10.1007/978-3-642-31585-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Computing Technology 8th International Conference, ICIC 2012, Huangshan, China, July 25-29, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197111 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Huang, De-Shuang. editor.&#160;Jiang, Changjun. editor.&#160;Bevilacqua, Vitoantonio. editor.&#160;Figueroa, Juan Carlos. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31588-6">http://dx.doi.org/10.1007/978-3-642-31588-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Implementation and Application of Automata 17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197113 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Moreira, Nelma. editor.&#160;Reis, Rog&eacute;rio. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31606-7">http://dx.doi.org/10.1007/978-3-642-31606-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Descriptional Complexity of Formal Systems 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197117 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Kutrib, Martin. editor.&#160;Moreira, Nelma. editor.&#160;Reis, Rog&eacute;rio. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31623-4">http://dx.doi.org/10.1007/978-3-642-31623-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> 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-09-04T23:29:44Z 2024-09-04T23:29:44Z 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-09-04T23:29:44Z 2024-09-04T23:29:44Z 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/> Cooperative Design, Visualization, and Engineering 9th International Conference, CDVE 2012, Osaka, Japan, September 2-5, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197243 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Luo, Yuhua. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32609-7">http://dx.doi.org/10.1007/978-3-642-32609-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Medical Image Computing and Computer-Assisted Intervention &ndash; MICCAI 2012 15th International Conference, Nice, France, October 1-5, 2012, Proceedings, Part III ent://SD_ILS/0/SD_ILS:197377 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Ayache, Nicholas. editor.&#160;Delingette, Herv&eacute;. editor.&#160;Golland, Polina. editor.&#160;Mori, Kensaku. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33454-2">http://dx.doi.org/10.1007/978-3-642-33454-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2012, Bristol, UK, September 24-28, 2012. Proceedings, Part I ent://SD_ILS/0/SD_ILS:197378 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Flach, Peter A. editor.&#160;Bie, Tijl. editor.&#160;Cristianini, Nello. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33460-3">http://dx.doi.org/10.1007/978-3-642-33460-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mesh Processing in Medical Image Analysis 2012 MICCAI 2012 International Workshop, MeshMed 2012, Nice, France, October 1, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197379 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Levine, Joshua A. editor.&#160;Paulsen, Rasmus R. editor.&#160;Zhang, Yongjie. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33463-4">http://dx.doi.org/10.1007/978-3-642-33463-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reasoning Web. Semantic Technologies for Advanced Query Answering 8th International Summer School 2012, Vienna, Austria, September 3-8, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197327 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Eiter, Thomas. editor.&#160;Krennwallner, 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-33158-9">http://dx.doi.org/10.1007/978-3-642-33158-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web Information Systems and Mining International Conference, WISM 2012, Chengdu, China, October 26-28, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197381 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Wang, Fu Lee. editor.&#160;Lei, Jingsheng. editor.&#160;Gong, Zhiguo. editor.&#160;Luo, Xiangfeng. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33469-6">http://dx.doi.org/10.1007/978-3-642-33469-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Security &ndash; ESORICS 2012 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197329 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Foresti, Sara. editor.&#160;Yung, Moti. editor.&#160;Martinelli, 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-33167-1">http://dx.doi.org/10.1007/978-3-642-33167-1</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-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Lei, Jingsheng. editor.&#160;Wang, Fu Lee. editor.&#160;Deng, Hepu. editor.&#160;Miao, Duoqian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33478-8">http://dx.doi.org/10.1007/978-3-642-33478-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Progress in Cryptology &ndash; LATINCRYPT 2012 2nd International Conference on Cryptology and Information Security in Latin America, Santiago, Chile, October 7-10, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197384 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Hevia, Alejandro. editor.&#160;Neven, Gregory. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33481-8">http://dx.doi.org/10.1007/978-3-642-33481-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197332 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z 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-09-04T23:29:44Z 2024-09-04T23:29:44Z 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-09-04T23:29:44Z 2024-09-04T23:29:44Z 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-09-04T23:29:44Z 2024-09-04T23:29:44Z 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/> Intelligent Robotics and Applications 5th International Conference, ICIRA 2012, Montreal, Canada, October 3-5, 2012, Proceedings, Part II ent://SD_ILS/0/SD_ILS:197394 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Su, Chun-Yi. editor.&#160;Rakheja, Subhash. editor.&#160;Liu, Honghai. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33515-0">http://dx.doi.org/10.1007/978-3-642-33515-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recent Advances in the Message Passing Interface 19th European MPI Users&rsquo; Group Meeting, EuroMPI 2012, Vienna, Austria, September 23-26, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197395 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Tr&auml;ff, Jesper Larsson. editor.&#160;Benkner, Siegfried. editor.&#160;Dongarra, Jack J. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33518-1">http://dx.doi.org/10.1007/978-3-642-33518-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multimodal Brain Image Analysis Second International Workshop, MBIA 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 1-5, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197397 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Yap, Pew-Thian. editor.&#160;Liu, Tianming. editor.&#160;Shen, Dinggang. editor.&#160;Westin, Carl-Fredrik. editor.&#160;Shen, Li. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33530-3">http://dx.doi.org/10.1007/978-3-642-33530-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Electronic Participation 4th IFIP WG 8.5 International Conference, ePart 2012, Kristiansand, Norway, September 3-5, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197341 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Tambouris, Efthimios. editor.&#160;Macintosh, Ann. editor.&#160;S&aelig;b&oslash;, &Oslash;ystein. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33250-0">http://dx.doi.org/10.1007/978-3-642-33250-0</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-09-04T23:29:44Z 2024-09-04T23:29:44Z 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/> Entertainment Computing - ICEC 2012 11th International Conference, ICEC 2012, Bremen, Germany, September 26-29, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197400 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Herrlich, Marc. editor.&#160;Malaka, Rainer. editor.&#160;Masuch, Maic. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33542-6">http://dx.doi.org/10.1007/978-3-642-33542-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> 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-09-04T23:29:44Z 2024-09-04T23:29:44Z 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-09-04T23:29:44Z 2024-09-04T23:29:44Z 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-09-04T23:29:44Z 2024-09-04T23:29:44Z 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-09-04T23:29:44Z 2024-09-04T23:29:44Z 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-09-04T23:29:44Z 2024-09-04T23:29:44Z 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-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Zaphiris, Panayiotis. editor.&#160;Buchanan, George. editor.&#160;Rasmussen, Edie. editor.&#160;Loizides, Fernando. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33290-6">http://dx.doi.org/10.1007/978-3-642-33290-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parameterized and Exact Computation 7th International Symposium, IPEC 2012, Ljubljana, Slovenia, September 12-14, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197351 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Thilikos, Dimitrios M. editor.&#160;Woeginger, Gerhard J. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33293-7">http://dx.doi.org/10.1007/978-3-642-33293-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods: Foundations and Applications 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197352 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Gheyi, Rohit. editor.&#160;Naumann, David. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33296-8">http://dx.doi.org/10.1007/978-3-642-33296-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information and Software Technologies 18th International Conference, ICIST 2012, Kaunas, Lithuania, September 13-14, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197354 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Skersys, Tomas. editor.&#160;Butleris, Rimantas. editor.&#160;Butkiene, Rita. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33308-8">http://dx.doi.org/10.1007/978-3-642-33308-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Research in Attacks, Intrusions, and Defenses 15th International Symposium, RAID 2012, Amsterdam, The Netherlands, September 12-14, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197358 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Balzarotti, Davide. editor.&#160;Stolfo, Salvatore J. editor.&#160;Cova, Marco. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33338-5">http://dx.doi.org/10.1007/978-3-642-33338-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> KI 2012: Advances in Artificial Intelligence 35th Annual German Conference on AI, Saarbr&uuml;cken, Germany, September 24-27, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197359 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Glimm, Birte. editor.&#160;Kr&uuml;ger, Antonio. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33347-7">http://dx.doi.org/10.1007/978-3-642-33347-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cellular Automata 10th International Conference on Cellular Automata for Research and Industry, ACRI 2012, Santorini Island, Greece, September 24-27, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197360 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z 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-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Cerro, Luis Fari&ntilde;as. editor.&#160;Herzig, Andreas. editor.&#160;Mengin, J&eacute;r&ocirc;me. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33353-8">http://dx.doi.org/10.1007/978-3-642-33353-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Scalable Uncertainty Management 6th International Conference, SUM 2012, Marburg, Germany, September 17-19, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197362 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;H&uuml;llermeier, Eyke. editor.&#160;Link, Sebastian. editor.&#160;Fober, Thomas. editor.&#160;Seeger, Bernhard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33362-0">http://dx.doi.org/10.1007/978-3-642-33362-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Modeling and Analysis of Timed Systems 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197363 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z 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/> On the Move to Meaningful Internet Systems: OTM 2012 Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2012, Rome, Italy, September 10-14, 2012. Proceedings, Part I ent://SD_ILS/0/SD_ILS:197406 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Meersman, Robert. editor.&#160;Panetto, Herv&eacute;. editor.&#160;Dillon, Tharam. editor.&#160;Rinderle-Ma, Stefanie. editor.&#160;Dadam, Peter. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33606-5">http://dx.doi.org/10.1007/978-3-642-33606-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model and Data Engineering 2nd International Conference, MEDI 2012, Poitiers, France, October 3-5, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197407 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Abell&oacute;, Alberto. editor.&#160;Bellatreche, Ladjel. editor.&#160;Benatallah, Boualem. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33609-6">http://dx.doi.org/10.1007/978-3-642-33609-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> 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-09-04T23:29:44Z 2024-09-04T23:29:44Z 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/> On the Move to Meaningful Internet Systems: OTM 2012 Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2012, Rome, Italy, September 10-14, 2012. Proceedings, Part II ent://SD_ILS/0/SD_ILS:197409 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Meersman, Robert. editor.&#160;Panetto, Herv&eacute;. editor.&#160;Dillon, Tharam. editor.&#160;Rinderle-Ma, Stefanie. editor.&#160;Dadam, Peter. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33615-7">http://dx.doi.org/10.1007/978-3-642-33615-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> On the Move to Meaningful Internet Systems: OTM 2012 Workshops Confederated International Workshops: OTM Academy, Industry Case Studies Program, EI2N, INBAST, META4eS, OnToContent, ORM, SeDeS, SINCOM, and SOMOCO 2012, Rome, Italy, September 10-14, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197410 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Herrero, Pilar. editor.&#160;Panetto, Herv&eacute;. editor.&#160;Meersman, Robert. editor.&#160;Dillon, Tharam. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33618-8">http://dx.doi.org/10.1007/978-3-642-33618-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Privacy in Statistical Databases UNESCO Chair in Data Privacy, International Conference, PSD 2012, Palermo, Italy, September 26-28, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197411 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Domingo-Ferrer, Josep. editor.&#160;Tinnirello, Ilenia. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33627-0">http://dx.doi.org/10.1007/978-3-642-33627-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Methods in Systems Biology 10th International Conference, CMSB 2012, London, UK, October 3-5, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197412 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Gilbert, David. editor.&#160;Heiner, Monika. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33636-2">http://dx.doi.org/10.1007/978-3-642-33636-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Web-Based Learning - ICWL 2012 11th International Conference, Sinaia, Romania, September 2-4, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197413 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Popescu, Elvira. editor.&#160;Li, Qing. editor.&#160;Klamma, Ralf. editor.&#160;Leung, Howard. editor.&#160;Specht, Marcus. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33642-3">http://dx.doi.org/10.1007/978-3-642-33642-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Energy Efficient Data Centers First International Workshop, E2DC 2012, Madrid, Spain, Mai 8, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:197414 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Huusko, Jyrki. editor.&#160;Meer, Hermann. editor.&#160;Klingert, Sonja. editor.&#160;Somov, Andrey. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33645-4">http://dx.doi.org/10.1007/978-3-642-33645-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Computing 26th International Symposium, DISC 2012, Salvador, Brazil, October 16-18, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197415 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Aguilera, Marcos K. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33651-5">http://dx.doi.org/10.1007/978-3-642-33651-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graph Transformations 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197416 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Ehrig, Hartmut. editor.&#160;Engels, Gregor. editor.&#160;Kreowski, Hans-J&ouml;rg. editor.&#160;Rozenberg, Grzegorz. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33654-6">http://dx.doi.org/10.1007/978-3-642-33654-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model Driven Engineering Languages and Systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30&ndash;October 5, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197418 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;France, Robert B. editor.&#160;Kazmeier, J&uuml;rgen. editor.&#160;Breu, Ruth. editor.&#160;Atkinson, Colin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33666-9">http://dx.doi.org/10.1007/978-3-642-33666-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Safety, Reliability, and Security SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197419 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Ortmeier, Frank. editor.&#160;Daniel, Peter. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33675-1">http://dx.doi.org/10.1007/978-3-642-33675-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Safety, Reliability, and Security 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197420 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Ortmeier, Frank. editor.&#160;Daniel, Peter. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33678-2">http://dx.doi.org/10.1007/978-3-642-33678-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Practical Aspects of Design Science European Design Science Symposium, EDSS 2011, Leixlip, Ireland, October 14, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:197421 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Helfert, Markus. editor.&#160;Donnellan, Brian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33681-2">http://dx.doi.org/10.1007/978-3-642-33681-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modeling and Mining Ubiquitous Social Media International Workshops MSM 2011, Boston, MA, USA, October 9, 2011, and MUSE 2011, Athens, Greece, September 5, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:197422 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Atzmueller, Martin. editor.&#160;Chin, Alvin. editor.&#160;Helic, Denis. editor.&#160;Hotho, 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-33684-3">http://dx.doi.org/10.1007/978-3-642-33684-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Serious Games Development and Applications Third International Conference, SGDA 2012, Bremen, Germany, September 26-29, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197423 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Ma, Minhua. editor.&#160;Oliveira, Manuel Fradinho. editor.&#160;Hauge, Jannicke Baalsrud. editor.&#160;Duin, Heiko. editor.&#160;Thoben, Klaus-Dieter. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33687-4">http://dx.doi.org/10.1007/978-3-642-33687-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multiagent System Technologies 10th German Conference, MATES 2012, Trier, Germany, October 10-12, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197424 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Timm, Ingo J. editor.&#160;Guttmann, Christian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33690-4">http://dx.doi.org/10.1007/978-3-642-33690-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Network Security 6th International Conference on Mathematical Methods, Models and Architectures for Computer Network Security, MMM-ACNS 2012, St. Petersburg, Russia, October 17-19, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197425 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Kotenko, Igor. editor.&#160;Skormin, Victor. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33704-8">http://dx.doi.org/10.1007/978-3-642-33704-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 II ent://SD_ILS/0/SD_ILS:197426 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z 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-33709-3">http://dx.doi.org/10.1007/978-3-642-33709-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 III ent://SD_ILS/0/SD_ILS:197427 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z 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-09-04T23:29:44Z 2024-09-04T23:29:44Z 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-09-04T23:29:44Z 2024-09-04T23:29:44Z 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-09-04T23:29:44Z 2024-09-04T23:29:44Z 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-09-04T23:29:44Z 2024-09-04T23:29:44Z 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/> Computer Vision &ndash; ECCV 2012 12th European Conference on Computer Vision, Florence, Italy, October 7-13, 2012, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:197432 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z 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-33765-9">http://dx.doi.org/10.1007/978-3-642-33765-9</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 VI ent://SD_ILS/0/SD_ILS:197433 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z 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-33783-3">http://dx.doi.org/10.1007/978-3-642-33783-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 VII ent://SD_ILS/0/SD_ILS:197434 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z 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/> Serious Games: The Challenge ITEC/CIP and T 2011: Joint Conference of the Interdisciplinary Research Group on Technology, Education, and Communication, and the Scientific Network on Critical and Flexible Thinking Ghent, Belgium, October 19-21, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:197435 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Wannemacker, Stefan. editor.&#160;Vandercruysse, Sylke. editor.&#160;Clarebout, Geraldine. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33814-4">http://dx.doi.org/10.1007/978-3-642-33814-4</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-09-04T23:29:44Z 2024-09-04T23:29:44Z 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/> 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-09-04T23:29:44Z 2024-09-04T23:29:44Z 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 I ent://SD_ILS/0/SD_ILS:197440 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z 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-33863-2">http://dx.doi.org/10.1007/978-3-642-33863-2</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-09-04T23:29:44Z 2024-09-04T23:29:44Z 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/> Knowledge Engineering and Knowledge Management 18th International Conference, EKAW 2012, Galway City, Ireland, October 8-12, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197442 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Teije, Annette. editor.&#160;V&ouml;lker, Johanna. editor.&#160;Handschuh, Siegfried. editor.&#160;Stuckenschmidt, Heiner. editor.&#160;d&rsquo;Acquin, Mathieu. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33876-2">http://dx.doi.org/10.1007/978-3-642-33876-2</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 III ent://SD_ILS/0/SD_ILS:197443 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z 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-33885-4">http://dx.doi.org/10.1007/978-3-642-33885-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human-Computer Interaction, Tourism and Cultural Heritage Second International Workshop, HCITOCH 2011, C&oacute;rdoba, Argentina, September 14-15, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:197447 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Cipolla-Ficarra, Francisco. editor.&#160;Veltman, Kim. editor.&#160;Chih-Fang, Huang. editor.&#160;Cipolla-Ficarra, Miguel. editor.&#160;Kratky, Andreas. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33944-8">http://dx.doi.org/10.1007/978-3-642-33944-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Natural Language Processing 8th International Conference on NLP, JapTAL 2012, Kanazawa, Japan, October 22-24, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197452 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Isahara, Hitoshi. editor.&#160;Kanzaki, Kyoko. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33983-7">http://dx.doi.org/10.1007/978-3-642-33983-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithmic Game Theory 5th International Symposium, SAGT 2012, Barcelona, Spain, October 22-23, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197453 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Serna, Maria. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33996-7">http://dx.doi.org/10.1007/978-3-642-33996-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Conceptual Modeling ER 2012 Workshops CMS, ECDM-NoCoDA, MoDIC, MORE-BI, RIGiM, SeCoGIS, WISM, Florence, Italy, October 15-18, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197454 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Castano, Silvana. editor.&#160;Vassiliadis, Panos. editor.&#160;Lakshmanan, Laks V. editor.&#160;Lee, Mong Li. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33999-8">http://dx.doi.org/10.1007/978-3-642-33999-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Conceptual Modeling 31st International Conference ER 2012, Florence, Italy, October 15-18, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197455 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Atzeni, Paolo. editor.&#160;Cheung, David. editor.&#160;Ram, Sudha. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34002-4">http://dx.doi.org/10.1007/978-3-642-34002-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rewriting Logic and Its Applications 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:197456 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Dur&aacute;n, Franciso. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34005-5">http://dx.doi.org/10.1007/978-3-642-34005-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in New Technologies, Interactive Interfaces and Communicability Second International Conference, ADNTIIC 2011, Huerta Grande, Argentina, December 5-7, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:197457 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Cipolla-Ficarra, Francisco. editor.&#160;Veltman, Kim. editor.&#160;Verber, Domen. editor.&#160;Cipolla-Ficarra, Miguel. editor.&#160;Kamm&uuml;ller, Florian. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34010-9">http://dx.doi.org/10.1007/978-3-642-34010-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human Behavior Understanding Third International Workshop, HBU 2012, Vilamoura, Portugal, October 7, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197458 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Salah, Albert Ali. editor.&#160;Ruiz-del-Solar, Javier. editor.&#160;Meri&ccedil;li, &Ccedil;etin. editor.&#160;Oudeyer, Pierre-Yves. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34014-7">http://dx.doi.org/10.1007/978-3-642-34014-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I ent://SD_ILS/0/SD_ILS:197459 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Margaria, Tiziana. editor.&#160;Steffen, Bernhard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34026-0">http://dx.doi.org/10.1007/978-3-642-34026-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II ent://SD_ILS/0/SD_ILS:197460 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Margaria, Tiziana. editor.&#160;Steffen, Bernhard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34032-1">http://dx.doi.org/10.1007/978-3-642-34032-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Computing and Applications Third International Conference, ICICA 2012, Chengde, China, September 14-16, 2012. Proceedings, Part I ent://SD_ILS/0/SD_ILS:197461 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Liu, Chunfeng. editor.&#160;Wang, Leizhen. editor.&#160;Yang, Aimin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34038-3">http://dx.doi.org/10.1007/978-3-642-34038-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Computing and Applications Third International Conference, ICICA 2012, Chengde, China, September 14-16, 2012. Proceedings, Part II ent://SD_ILS/0/SD_ILS:197462 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Liu, Chunfeng. editor.&#160;Wang, Leizhen. editor.&#160;Yang, Aimin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34041-3">http://dx.doi.org/10.1007/978-3-642-34041-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fast Software Encryption 19th International Workshop, FSE 2012, Washington, DC, USA, March 19-21, 2012. Revised Selected Papers ent://SD_ILS/0/SD_ILS:197464 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Canteaut, Anne. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34047-5">http://dx.doi.org/10.1007/978-3-642-34047-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Telematics in the Transport Environment 12th International Conference on Transport Systems Telematics, TST 2012, Katowice-Ustro&#324;, Poland, October 10&ndash;13, 2012. Selected Papers ent://SD_ILS/0/SD_ILS:197465 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Mikulski, Jerzy. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34050-5">http://dx.doi.org/10.1007/978-3-642-34050-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithmic Learning Theory 23rd International Conference, ALT 2012, Lyon, France, October 29-31, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197473 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z 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-09-04T23:29:44Z 2024-09-04T23:29:44Z 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-09-04T23:29:44Z 2024-09-04T23:29:44Z 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/> 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-09-04T23:29:44Z 2024-09-04T23:29:44Z 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-09-04T23:29:44Z 2024-09-04T23:29:44Z 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-09-04T23:29:44Z 2024-09-04T23:29:44Z 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-09-04T23:29:44Z 2024-09-04T23:29:44Z 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-09-04T23:29:44Z 2024-09-04T23:29:44Z 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-09-04T23:29:44Z 2024-09-04T23:29:44Z 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-09-04T23:29:44Z 2024-09-04T23:29:44Z 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-09-04T23:29:44Z 2024-09-04T23:29:44Z 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-09-04T23:29:44Z 2024-09-04T23:29:44Z 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-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Eder, Kerstin. editor.&#160;Louren&ccedil;o, Jo&atilde;o. editor.&#160;Shehory, Onn. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34188-5">http://dx.doi.org/10.1007/978-3-642-34188-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Geometry XIV Spanish Meeting on Computational Geometry, EGC 2011, Dedicated to Ferran Hurtado on the Occasion of His 60th Birthday, Alcal&aacute; de Henares, Spain, June 27-30, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:197490 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;M&aacute;rquez, Alberto. editor.&#160;Ramos, Pedro. editor.&#160;Urrutia, Jorge. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34191-5">http://dx.doi.org/10.1007/978-3-642-34191-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Secure IT Systems 17th Nordic Conference, NordSec 2012, Karlskrona, Sweden, October 31 &ndash; November 2, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197492 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;J&oslash;sang, Audun. editor.&#160;Carlsson, Bengt. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34210-3">http://dx.doi.org/10.1007/978-3-642-34210-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Middleware 2012 ACM/IFIP/USENIX 13th International Middleware Conference, Montreal, QC, Canada, December 3-7, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197573 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Narasimhan, Priya. editor.&#160;Triantafillou, Peter. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35170-9">http://dx.doi.org/10.1007/978-3-642-35170-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Semantic Web &ndash; ISWC 2012 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings, Part II ent://SD_ILS/0/SD_ILS:197574 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Cudr&eacute;-Mauroux, Philippe. editor.&#160;Heflin, Jeff. editor.&#160;Sirin, Evren. editor.&#160;Tudorache, Tania. editor.&#160;Euzenat, J&eacute;r&ocirc;me. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35173-0">http://dx.doi.org/10.1007/978-3-642-35173-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Semantic Web &ndash; ISWC 2012 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings, Part I ent://SD_ILS/0/SD_ILS:197575 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Cudr&eacute;-Mauroux, Philippe. editor.&#160;Heflin, Jeff. editor.&#160;Sirin, Evren. editor.&#160;Tudorache, Tania. editor.&#160;Euzenat, J&eacute;r&ocirc;me. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35176-1">http://dx.doi.org/10.1007/978-3-642-35176-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Petri Nets and Other Models of Concurrency VI ent://SD_ILS/0/SD_ILS:197576 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Jensen, Kurt. editor.&#160;Aalst, Wil M. editor.&#160;Ajmone Marsan, Marco. editor.&#160;Franceschinis, Giuliana. editor.&#160;Kleijn, Jetty. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35179-2">http://dx.doi.org/10.1007/978-3-642-35179-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197577 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Jhala, Ranjit. editor.&#160;Igarashi, Atsushi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35182-2">http://dx.doi.org/10.1007/978-3-642-35182-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Economics of Grids, Clouds, Systems, and Services 9th International Conference, GECON 2012, Berlin, Germany, November 27-28, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197578 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z 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-35194-5">http://dx.doi.org/10.1007/978-3-642-35194-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trends in Intelligent Robotics, Automation, and Manufacturing First International Conference, IRAM 2012, Kuala Lumpur, Malaysia, November 28-30, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197579 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Ponnambalam, S. G. editor.&#160;Parkkinen, Jussi. editor.&#160;Ramanathan, Kuppan Chetty. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35197-6">http://dx.doi.org/10.1007/978-3-642-35197-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Network Computing and Information Security Second International Conference, NCIS 2012, Shanghai, China, December 7-9, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197580 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Lei, Jingsheng. editor.&#160;Wang, Fu Lee. editor.&#160;Li, Mo. editor.&#160;Luo, Yuan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35211-9">http://dx.doi.org/10.1007/978-3-642-35211-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Metadata and Semantics Research 6th Research Conference, MTSR 2012, C&aacute;diz, Spain, November 28-30, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197581 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Dodero, Juan Manuel. editor.&#160;Palomo-Duarte, Manuel. editor.&#160;Karampiperis, Pythagoras. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35233-1">http://dx.doi.org/10.1007/978-3-642-35233-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Active Media Technology 8th International Conference, AMT 2012, Macau, China, December 4-7, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197582 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Huang, Runhe. editor.&#160;Ghorbani, Ali A. editor.&#160;Pasi, Gabriella. editor.&#160;Yamaguchi, Takahira. editor.&#160;Yen, Neil Y. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35236-2">http://dx.doi.org/10.1007/978-3-642-35236-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Applications for Modeling, Simulation, and Automobile International Conferences, MAS and ASNT 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197583 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Kim, Tai-hoon. editor.&#160;Ramos, Carlos. editor.&#160;Abawajy, Jemal. editor.&#160;Kang, Byeong-Ho. editor.&#160;&#346;l&#281;zak, Dominik. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35248-5">http://dx.doi.org/10.1007/978-3-642-35248-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Green and Smart Technology with Sensor Applications International Conferences, GST and SIA 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197584 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Cho, Hyun-seob. editor.&#160;Kim, Tai-hoon. editor.&#160;Mohammed, Sabah. editor.&#160;Adeli, Hojjat. editor.&#160;Oh, Myoung-kwan. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35251-5">http://dx.doi.org/10.1007/978-3-642-35251-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms and Computation 23rd International Symposium, ISAAC 2012, Taipei, Taiwan, December 19-21, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197585 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Chao, Kun-Mao. editor.&#160;Hsu, Tsan-sheng. editor.&#160;Lee, Der-Tsai. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35261-4">http://dx.doi.org/10.1007/978-3-642-35261-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Applications for Security, Control and System Engineering International Conferences, SecTech, CA, CES3 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197586 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Kim, Tai-hoon. editor.&#160;Stoica, Adrian. editor.&#160;Fang, Wai-chi. editor.&#160;Vasilakos, Thanos. editor.&#160;Villalba, Javier Garc&iacute;a. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35264-5">http://dx.doi.org/10.1007/978-3-642-35264-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Applications for Software Engineering, Disaster Recovery, and Business Continuity International Conferences, ASEA and DRBC 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197587 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Kim, Tai-hoon. editor.&#160;Ramos, Carlos. editor.&#160;Kim, Haeng-kon. editor.&#160;Kiumi, Akingbehin. editor.&#160;Mohammed, Sabah. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35267-6">http://dx.doi.org/10.1007/978-3-642-35267-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Search Computing Broadening Web Search ent://SD_ILS/0/SD_ILS:197493 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Ceri, Stefano. editor.&#160;Brambilla, Marco. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34213-4">http://dx.doi.org/10.1007/978-3-642-34213-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Provenance and Annotation of Data and Processes 4th International Provenance and Annotation Workshop, IPAW 2012, Santa Barbara, CA, USA, June 19-21, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:197494 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Groth, Paul. editor.&#160;Frew, 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-34222-6">http://dx.doi.org/10.1007/978-3-642-34222-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Progress in Cultural Heritage Preservation 4th International Conference, EuroMed 2012, Limassol, Cyprus, October 29 &ndash; November 3, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197496 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Ioannides, Marinos. editor.&#160;Fritsch, Dieter. editor.&#160;Leissner, Johanna. editor.&#160;Davies, Rob. editor.&#160;Remondino, Fabio. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34234-9">http://dx.doi.org/10.1007/978-3-642-34234-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Emerging Research in Artificial Intelligence and Computational Intelligence International Conference, AICI 2012, Chengdu, China, October 26-28, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197498 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z 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-34240-0">http://dx.doi.org/10.1007/978-3-642-34240-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Visual Media First International Conference, CVM 2012, Beijing, China, November 8-10, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197499 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Hu, Shi-Min. editor.&#160;Martin, Ralph 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-34263-9">http://dx.doi.org/10.1007/978-3-642-34263-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Decision and Game Theory for Security Third International Conference, GameSec 2012, Budapest, Hungary, November 5-6, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197500 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Grossklags, Jens. editor.&#160;Walrand, 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-34266-0">http://dx.doi.org/10.1007/978-3-642-34266-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods and Software Engineering 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197501 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Aoki, Toshiaki. editor.&#160;Taguchi, Kenji. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34281-3">http://dx.doi.org/10.1007/978-3-642-34281-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Intelligence and Intelligent Systems 6th International Symposium, ISICA 2012, Wuhan, China, October 27-28, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197502 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Li, Zhenhua. editor.&#160;Li, Xiang. editor.&#160;Liu, Yong. editor.&#160;Cai, Zhihua. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34289-9">http://dx.doi.org/10.1007/978-3-642-34289-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computer Entertainment 9th International Conference, ACE 2012, Kathmandu, Nepal, November 3-5, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197503 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Nijholt, Anton. editor.&#160;Rom&atilde;o, Teresa. editor.&#160;Reidsma, Dennis. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34292-9">http://dx.doi.org/10.1007/978-3-642-34292-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Service-Oriented Computing 10th International Conference, ICSOC 2012, Shanghai, China, November 12-15, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197506 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Liu, Chengfei. editor.&#160;Ludwig, Heiko. editor.&#160;Toumani, Farouk. editor.&#160;Yu, Qi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34321-6">http://dx.doi.org/10.1007/978-3-642-34321-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Simulation, Modeling, and Programming for Autonomous Robots Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197507 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Noda, Itsuki. editor.&#160;Ando, Noriaki. editor.&#160;Brugali, Davide. editor.&#160;Kuffner, James J. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34327-8">http://dx.doi.org/10.1007/978-3-642-34327-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human-Centered Software Engineering 4th International Conference, HCSE 2012, Toulouse, France, October 29-31, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197508 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Winckler, Marco. editor.&#160;Forbrig, Peter. editor.&#160;Bernhaupt, Regina. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34347-6">http://dx.doi.org/10.1007/978-3-642-34347-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> System Simulation and Scientific Computing International Conference, ICSC 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part I ent://SD_ILS/0/SD_ILS:197509 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Xiao, Tianyuan. editor.&#160;Zhang, Lin. editor.&#160;Ma, Shiwei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34381-0">http://dx.doi.org/10.1007/978-3-642-34381-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> AsiaSim 2012 Asia Simulation Conference 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part I ent://SD_ILS/0/SD_ILS:197510 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Xiao, Tianyuan. editor.&#160;Zhang, Lin. editor.&#160;Fei, Minrui. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34384-1">http://dx.doi.org/10.1007/978-3-642-34384-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> AsiaSim 2012 Asia Simulation Conference 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part III ent://SD_ILS/0/SD_ILS:197511 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Xiao, Tianyuan. editor.&#160;Zhang, Lin. editor.&#160;Fei, Minrui. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34387-2">http://dx.doi.org/10.1007/978-3-642-34387-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> AsiaSim 2012 Asia Simulation Conference 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part II ent://SD_ILS/0/SD_ILS:197512 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Xiao, Tianyuan. editor.&#160;Zhang, Lin. editor.&#160;Fei, Minrui. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34390-2">http://dx.doi.org/10.1007/978-3-642-34390-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> System Simulation and Scientific Computing International Conference, ICSC 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part II ent://SD_ILS/0/SD_ILS:197513 2024-09-04T23:29:44Z 2024-09-04T23:29:44Z Author&#160;Xiao, Tianyuan. editor.&#160;Zhang, Lin. editor.&#160;Ma, Shiwei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34396-4">http://dx.doi.org/10.1007/978-3-642-34396-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>