Search Results for Computers. - Narrowed by: Artificial intelligence. - Computer science. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputers.$0026qf$003dSUBJECT$002509Subject$002509Artificial$002bintelligence.$002509Artificial$002bintelligence.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?dt=list 2024-07-14T06:55:32Z Computers and Creativity ent://SD_ILS/0/SD_ILS:197130 2024-07-14T06:55:32Z 2024-07-14T06:55:32Z Author&#160;McCormack, Jon. editor.&#160;d&rsquo;Inverno, 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-31727-9">http://dx.doi.org/10.1007/978-3-642-31727-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computers in the Human Interaction Loop ent://SD_ILS/0/SD_ILS:175886 2024-07-14T06:55:32Z 2024-07-14T06:55:32Z Author&#160;Waibel, Alexander. editor.&#160;Stiefelhagen, Rainer. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84882-054-8">http://dx.doi.org/10.1007/978-1-84882-054-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Believable Bots Can Computers Play Like People? ent://SD_ILS/0/SD_ILS:197207 2024-07-14T06:55:32Z 2024-07-14T06:55:32Z Author&#160;Hingston, Philip. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32323-2">http://dx.doi.org/10.1007/978-3-642-32323-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computers Helping People with Special Needs 16th International Conference, ICCHP 2018, Linz, Austria, July 11-13, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:399630 2024-07-14T06:55:32Z 2024-07-14T06:55:32Z Author&#160;Miesenberger, Klaus. editor.&#160;Kouroupetroglou, Georgios. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-94274-2">https://doi.org/10.1007/978-3-319-94274-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computers Supported Education 9th International Conference, CSEDU 2017, Porto, Portugal, April 21-23, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399631 2024-07-14T06:55:32Z 2024-07-14T06:55:32Z Author&#160;Escudeiro, Paula. editor.&#160;Costagliola, Gennaro. editor.&#160;Zvacek, Susan. editor.&#160;Uhomoibhi, James. editor.&#160;McLaren, Bruce M. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-94640-5">https://doi.org/10.1007/978-3-319-94640-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> This Changes Everything &ndash; ICT and Climate Change: What Can We Do? 13th IFIP TC 9 International Conference on Human Choice and Computers, HCC13 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 19&ndash;21, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400115 2024-07-14T06:55:32Z 2024-07-14T06:55:32Z Author&#160;Kreps, David. editor.&#160;Ess, Charles. editor.&#160;Leenen, Louise. editor.&#160;Kimppa, Kai. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-99605-9">https://doi.org/10.1007/978-3-319-99605-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computers and Games 7th International Conference, CG 2010, Kanazawa, Japan, September 24-26, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:193752 2024-07-14T06:55:32Z 2024-07-14T06:55:32Z Author&#160;Herik, H. Jaap. editor.&#160;Iida, Hiroyuki. editor.&#160;Plaat, Aske. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-17928-0">http://dx.doi.org/10.1007/978-3-642-17928-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Education and Technology for a Better World 9th IFIP TC 3 World Conference on Computers in Education, WCCE 2009, Bento Gon&ccedil;alves, Brazil, July 27-31, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190524 2024-07-14T06:55:32Z 2024-07-14T06:55:32Z Author&#160;Tatnall, Arthur. editor.&#160;Jones, Anthony. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-03115-1">http://dx.doi.org/10.1007/978-3-642-03115-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computers and Games 6th International Conference, CG 2008, Beijing, China, September 29 - October 1, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188881 2024-07-14T06:55:32Z 2024-07-14T06:55:32Z Author&#160;Herik, H. Jaap. editor.&#160;Xu, Xinhe. editor.&#160;Ma, Zongmin. editor.&#160;Winands, Mark H. 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-540-87608-3">http://dx.doi.org/10.1007/978-3-540-87608-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ergonomics and Health Aspects of Work with Computers International Conference, EHAWC 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007. Proceedings ent://SD_ILS/0/SD_ILS:186818 2024-07-14T06:55:32Z 2024-07-14T06:55:32Z Author&#160;Dainoff, Marvin 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-540-73333-1">http://dx.doi.org/10.1007/978-3-540-73333-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computers and Games 5th International Conference, CG 2006, Turin, Italy, May 29-31, 2006. Revised Papers ent://SD_ILS/0/SD_ILS:187441 2024-07-14T06:55:32Z 2024-07-14T06:55:32Z Author&#160;Herik, H. Jaap. editor.&#160;Ciancarini, Paolo. editor.&#160;Donkers, H. H. L. M. (Jeroen). editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-75538-8">http://dx.doi.org/10.1007/978-3-540-75538-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computers and Games 4th International Conference, CG 2004, Ramat-Gan, Israel, July 5-7, 2004. Revised Papers ent://SD_ILS/0/SD_ILS:183401 2024-07-14T06:55:32Z 2024-07-14T06:55:32Z Author&#160;Herik, H. Jaap. editor.&#160;Bj&ouml;rnsson, Yngvi. editor.&#160;Netanyahu, Nathan S. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11674399">http://dx.doi.org/10.1007/11674399</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computing and Software Science State of the Art and Perspectives ent://SD_ILS/0/SD_ILS:486069 2024-07-14T06:55:32Z 2024-07-14T06:55:32Z Author&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#160;Woeginger, Gerhard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-91908-9">https://doi.org/10.1007/978-3-319-91908-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Systems, Software and Services Process Improvement 26th European Conference, EuroSPI 2019, Edinburgh, UK, September 18&ndash;20, 2019, Proceedings ent://SD_ILS/0/SD_ILS:487029 2024-07-14T06:55:32Z 2024-07-14T06:55:32Z Author&#160;Walker, Alastair. editor.&#160;O'Connor, Rory V. editor.&#160;Messnarz, Richard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-28005-5">https://doi.org/10.1007/978-3-030-28005-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400459 2024-07-14T06:55:32Z 2024-07-14T06:55:32Z Author&#160;Itsykson, Vladimir. editor.&#160;Scedrov, Andre. editor.&#160;Zakharov, Victor. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-71734-0">https://doi.org/10.1007/978-3-319-71734-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:400302 2024-07-14T06:55:32Z 2024-07-14T06:55:32Z Author&#160;Vaidya, Jaideep. editor.&#160;Li, Jin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-05051-1">https://doi.org/10.1007/978-3-030-05051-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Data and Applications Security and Privacy XXXII 32nd Annual IFIP WG 11.3 Conference, DBSec 2018, Bergamo, Italy, July 16&ndash;18, 2018, Proceedings ent://SD_ILS/0/SD_ILS:402675 2024-07-14T06:55:32Z 2024-07-14T06:55:32Z Author&#160;Kerschbaum, Florian. editor.&#160;Paraboschi, Stefano. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-95729-6">https://doi.org/10.1007/978-3-319-95729-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Critical Information Infrastructures Security 12th International Conference, CRITIS 2017, Lucca, Italy, October 8-13, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399995 2024-07-14T06:55:32Z 2024-07-14T06:55:32Z Author&#160;D'Agostino, Gregorio. editor. (orcid)0000-0003-3657-5335&#160;Scala, Antonio. editor. (orcid)0000-0002-3414-2686&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-99843-5">https://doi.org/10.1007/978-3-319-99843-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cyberspace Safety and Security 10th International Symposium, CSS 2018, Amalfi, Italy, October 29&ndash;31, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400077 2024-07-14T06:55:32Z 2024-07-14T06:55:32Z Author&#160;Castiglione, Arcangelo. editor.&#160;Pop, Florin. editor.&#160;Ficco, Massimo. editor.&#160;Palmieri, Francesco. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-01689-0">https://doi.org/10.1007/978-3-030-01689-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Silicon Photonics &amp; High Performance Computing Proceedings of CSI 2015 ent://SD_ILS/0/SD_ILS:400781 2024-07-14T06:55:32Z 2024-07-14T06:55:32Z Author&#160;Mishra, Anurag. editor.&#160;Basu, Anirban. editor.&#160;Tyagi, Vipin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-7656-5">https://doi.org/10.1007/978-981-10-7656-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Knowledge-Based Software Engineering 11th Joint Conference, JCKBSE 2014, Volgograd, Russia, September 17-20, 2014. Proceedings ent://SD_ILS/0/SD_ILS:485742 2024-07-14T06:55:32Z 2024-07-14T06:55:32Z Author&#160;Kravets, Alla. editor. (orcid)0000-0003-1675-8652&#160;Shcherbakov, Maxim. editor. (orcid)0000-0001-7173-4499&#160;Kultsova, Marina. editor. (orcid)0000-0002-2584-431X&#160;Iijima, Tadashi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11854-3">https://doi.org/10.1007/978-3-319-11854-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Small-Scale Robotics From Nano-to-Millimeter-Sized Robotic Systems and Applications First International Workshop, microICRA 2013, Karlsruhe, Germany, May 6-10, 2013, Revised and Extended Papers ent://SD_ILS/0/SD_ILS:482643 2024-07-14T06:55:32Z 2024-07-14T06:55:32Z Author&#160;Paprotny, Igor. editor.&#160;Bergbreiter, Sarah. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-55134-5">https://doi.org/10.1007/978-3-642-55134-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Belief-based Stability in Coalition Formation with Uncertainty An Intelligent Agents&rsquo; Perspective ent://SD_ILS/0/SD_ILS:334558 2024-07-14T06:55:32Z 2024-07-14T06:55:32Z Author&#160;Chan, Chi-kong. author.&#160;Leung, Ho-fung. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334558.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38215-4">http://dx.doi.org/10.1007/978-3-642-38215-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Highlights on Practical Applications of Agents and Multi-Agent Systems International Workshops of PAAMS 2013, Salamanca, Spain, May 22-24, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334525 2024-07-14T06:55:32Z 2024-07-14T06:55:32Z Author&#160;Corchado, Juan M. editor.&#160;Bajo, Javier. editor.&#160;Kozlak, Jaroslaw. editor.&#160;Pawlewski, Pawel. editor.&#160;Molina, Jose M. editor.<br/>Preferred Shelf Number&#160;ONLINE(334525.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38061-7">http://dx.doi.org/10.1007/978-3-642-38061-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances on Practical Applications of Agents and Multi-Agent Systems 11th International Conference, PAAMS 2013, Salamanca, Spain, May 22-24, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334528 2024-07-14T06:55:32Z 2024-07-14T06:55:32Z Author&#160;Demazeau, Yves. editor.&#160;Ishida, Toru. editor.&#160;Corchado, Juan M. editor.&#160;Bajo, Javier. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334528.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38073-0">http://dx.doi.org/10.1007/978-3-642-38073-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multimedia Communications, Services and Security 6th International Conference, MCSS 2013, Krakow, Poland, June 6-7, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334621 2024-07-14T06:55:32Z 2024-07-14T06:55:32Z Author&#160;Dziech, Andrzej. editor.&#160;Czy&#380;ewski, Andrzej. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334621.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38559-9">http://dx.doi.org/10.1007/978-3-642-38559-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Computational Science XVIII Special Issue on Cyberworlds ent://SD_ILS/0/SD_ILS:334670 2024-07-14T06:55:32Z 2024-07-14T06:55:32Z Author&#160;Gavrilova, Marina L. editor.&#160;Tan, C. J. Kenneth. editor.&#160;Kuijper, Arjan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334670.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38803-3">http://dx.doi.org/10.1007/978-3-642-38803-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence in Education 16th International Conference, AIED 2013, Memphis, TN, USA, July 9-13, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334731 2024-07-14T06:55:32Z 2024-07-14T06:55:32Z Author&#160;Lane, H. Chad. editor.&#160;Yacef, Kalina. editor.&#160;Mostow, Jack. editor.&#160;Pavlik, Philip. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334731.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39112-5">http://dx.doi.org/10.1007/978-3-642-39112-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human-Computer Interaction and Knowledge Discovery in Complex, Unstructured, Big Data Third International Workshop, HCI-KDD 2013, Held at SouthCHI 2013, Maribor, Slovenia, July 1-3, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334738 2024-07-14T06:55:32Z 2024-07-14T06:55:32Z Author&#160;Holzinger, Andreas. editor.&#160;Pasi, Gabriella. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334738.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39146-0">http://dx.doi.org/10.1007/978-3-642-39146-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Search, Integration and Personalization International Workshop, ISIP 2012, Sapporo, Japan, October 11-13, 2012. Revised Selected Papers ent://SD_ILS/0/SD_ILS:334898 2024-07-14T06:55:32Z 2024-07-14T06:55:32Z Author&#160;Tanaka, Yuzuru. editor.&#160;Spyratos, Nicolas. editor.&#160;Yoshida, Tetsuya. editor.&#160;Meghini, Carlo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334898.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40140-4">http://dx.doi.org/10.1007/978-3-642-40140-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence Applications and Innovations 9th IFIP WG 12.5 International Conference, AIAI 2013, Paphos, Cyprus, September 30 &ndash; October 2, 2013, Proceedings ent://SD_ILS/0/SD_ILS:335061 2024-07-14T06:55:32Z 2024-07-14T06:55:32Z Author&#160;Papadopoulos, Harris. editor.&#160;Andreou, Andreas S. editor.&#160;Iliadis, Lazaros. editor.&#160;Maglogiannis, Ilias. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335061.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41142-7">http://dx.doi.org/10.1007/978-3-642-41142-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Web-Based Learning &ndash; ICWL 2013 12th International Conference, Kenting, Taiwan, October 6-9, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335067 2024-07-14T06:55:32Z 2024-07-14T06:55:32Z Author&#160;Wang, Jhing-Fa. editor.&#160;Lau, Rynson. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335067.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41175-5">http://dx.doi.org/10.1007/978-3-642-41175-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modeling and Using Context 8th International and Interdisciplinary Conference, CONTEXT 2013, Annecy, France, October 28 -31, 2013, Proceedings ent://SD_ILS/0/SD_ILS:335034 2024-07-14T06:55:32Z 2024-07-14T06:55:32Z Author&#160;Br&eacute;zillon, Patrick. editor.&#160;Blackburn, Patrick. editor.&#160;Dapoigny, Richard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335034.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40972-1">http://dx.doi.org/10.1007/978-3-642-40972-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> New Trends in Image Analysis and Processing &ndash; ICIAP 2013 ICIAP 2013 International Workshops, Naples, Italy, September 9-13, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335071 2024-07-14T06:55:32Z 2024-07-14T06:55:32Z Author&#160;Petrosino, Alfredo. editor.&#160;Maddalena, Lucia. editor.&#160;Pala, Pietro. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335071.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41190-8">http://dx.doi.org/10.1007/978-3-642-41190-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Activities of Transport Telematics 13th International Conference on Transport Systems Telematics, TST 2013, Katowice-Ustro&#324;, Poland, October 23&ndash;26, 2013, Selected Papers ent://SD_ILS/0/SD_ILS:335135 2024-07-14T06:55:32Z 2024-07-14T06:55:32Z Author&#160;Mikulski, Jerzy. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335135.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41647-7">http://dx.doi.org/10.1007/978-3-642-41647-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cognitive Agents for Virtual Environments First International Workshop, CAVE 2012, Held at AAMAS 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334206 2024-07-14T06:55:32Z 2024-07-14T06:55:32Z Author&#160;Dignum, Frank. editor.&#160;Brom, Cyril. editor.&#160;Hindriks, Koen. editor.&#160;Beer, Martin. editor.&#160;Richards, Deborah. editor.<br/>Preferred Shelf Number&#160;ONLINE(334206.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36444-0">http://dx.doi.org/10.1007/978-3-642-36444-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multimodal Pattern Recognition of Social Signals in Human-Computer-Interaction First IAPR TC3 Workshop, MPRSS 2012, Tsukuba, Japan, November 11, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334359 2024-07-14T06:55:32Z 2024-07-14T06:55:32Z Author&#160;Schwenker, Friedhelm. editor.&#160;Scherer, Stefan. editor.&#160;Morency, Louis-Philippe. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334359.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37081-6">http://dx.doi.org/10.1007/978-3-642-37081-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Your Virtual Butler The Making-of ent://SD_ILS/0/SD_ILS:334410 2024-07-14T06:55:32Z 2024-07-14T06:55:32Z Author&#160;Trappl, Robert. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334410.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37346-6">http://dx.doi.org/10.1007/978-3-642-37346-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multiagent System Technologies 11th German Conference, MATES 2013, Koblenz, Germany, September 16-20, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335001 2024-07-14T06:55:32Z 2024-07-14T06:55:32Z Author&#160;Klusch, Matthias. editor.&#160;Thimm, Matthias. editor.&#160;Paprzycki, Marcin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335001.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40776-5">http://dx.doi.org/10.1007/978-3-642-40776-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Serious Games Development and Applications 4th International Conference, SGDA 2013, Trondheim, Norway, September 25-27, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335004 2024-07-14T06:55:32Z 2024-07-14T06:55:32Z Author&#160;Ma, Minhua. editor.&#160;Oliveira, Manuel Fradinho. editor.&#160;Petersen, Sobah. editor.&#160;Hauge, Jannicke Baalsrud. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335004.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40790-1">http://dx.doi.org/10.1007/978-3-642-40790-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Robotics and Applications 6th International Conference, ICIRA 2013, Busan, South Korea, September 25-28, 2013, Proceedings, Part II ent://SD_ILS/0/SD_ILS:335018 2024-07-14T06:55:32Z 2024-07-14T06:55:32Z Author&#160;Lee, Jangmyung. editor.&#160;Lee, Min Cheol. editor.&#160;Liu, Honghai. editor.&#160;Ryu, Jee-Hwan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335018.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40849-6">http://dx.doi.org/10.1007/978-3-642-40849-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Robotics and Applications 6th International Conference, ICIRA 2013, Busan, South Korea, September 25-28, 2013, Proceedings, Part I ent://SD_ILS/0/SD_ILS:335019 2024-07-14T06:55:32Z 2024-07-14T06:55:32Z Author&#160;Lee, Jangmyung. editor.&#160;Lee, Min Cheol. editor.&#160;Liu, Honghai. editor.&#160;Ryu, Jee-Hwan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335019.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40852-6">http://dx.doi.org/10.1007/978-3-642-40852-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Social Robotics 5th International Conference, ICSR 2013, Bristol, UK, October 27-29, 2013, Proceedings ent://SD_ILS/0/SD_ILS:332935 2024-07-14T06:55:32Z 2024-07-14T06:55:32Z Author&#160;Herrmann, Guido. editor.&#160;Pearson, Martin J. editor.&#160;Lenz, Alexander. editor.&#160;Bremner, Paul. editor.&#160;Spiers, Adam. editor.<br/>Preferred Shelf Number&#160;ONLINE(332935.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-02675-6">http://dx.doi.org/10.1007/978-3-319-02675-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Active Media Technology 9th International Conference, AMT 2013, Maebashi, Japan, October 29-31, 2013, Proceedings ent://SD_ILS/0/SD_ILS:332942 2024-07-14T06:55:32Z 2024-07-14T06:55:32Z Author&#160;Yoshida, Tetsuya. editor.&#160;Kou, Gang. editor.&#160;Skowron, Andrzej. editor.&#160;Cao, Jiannong. editor.&#160;Hacid, Hakim. editor.<br/>Preferred Shelf Number&#160;ONLINE(332942.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-02750-0">http://dx.doi.org/10.1007/978-3-319-02750-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ubiquitous Computing and Ambient Intelligence. Context-Awareness and Context-Driven Interaction 7th International Conference, UCAmI 2013, Carrillo, Costa Rica, December 2-6, 2013, Proceedings ent://SD_ILS/0/SD_ILS:332969 2024-07-14T06:55:32Z 2024-07-14T06:55:32Z Author&#160;Urzaiz, Gabriel. editor.&#160;Ochoa, Sergio F. editor.&#160;Bravo, Jos&eacute;. editor.&#160;Chen, Liming Luke. editor.&#160;Oliveira, Jonice. editor.<br/>Preferred Shelf Number&#160;ONLINE(332969.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03176-7">http://dx.doi.org/10.1007/978-3-319-03176-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ambient Intelligence 4th International Joint Conference, AmI 2013, Dublin, Ireland, December 3-5, 2013. Proceedings ent://SD_ILS/0/SD_ILS:332986 2024-07-14T06:55:32Z 2024-07-14T06:55:32Z Author&#160;Augusto, Juan Carlos. editor.&#160;Wichert, Reiner. editor.&#160;Collier, Rem. editor.&#160;Keyson, David. editor.&#160;Salah, Albert Ali. editor.<br/>Preferred Shelf Number&#160;ONLINE(332986.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03647-2">http://dx.doi.org/10.1007/978-3-319-03647-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information and Communication Technologies in Education, Research, and Industrial Applications 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:333011 2024-07-14T06:55:32Z 2024-07-14T06:55:32Z Author&#160;Ermolayev, Vadim. editor.&#160;Mayr, Heinrich C. editor.&#160;Nikitchenko, Mykola. editor.&#160;Spivakovsky, Aleksander. editor.&#160;Zholtkevych, Grygoriy. editor.<br/>Preferred Shelf Number&#160;ONLINE(333011.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03998-5">http://dx.doi.org/10.1007/978-3-319-03998-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human-Computer Interaction &ndash; INTERACT 2013 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:334955 2024-07-14T06:55:32Z 2024-07-14T06:55:32Z Author&#160;Kotz&eacute;, Paula. editor.&#160;Marsden, Gary. editor.&#160;Lindgaard, Gitte. editor.&#160;Wesson, Janet. editor.&#160;Winckler, Marco. editor.<br/>Preferred Shelf Number&#160;ONLINE(334955.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40498-6">http://dx.doi.org/10.1007/978-3-642-40498-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Psychology and Cognitive Ergonomics. Understanding Human Cognition 10th International Conference, EPCE 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I ent://SD_ILS/0/SD_ILS:334790 2024-07-14T06:55:32Z 2024-07-14T06:55:32Z Author&#160;Harris, Don. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334790.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39360-0">http://dx.doi.org/10.1007/978-3-642-39360-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human-Computer Interaction &ndash; INTERACT 2013 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part III ent://SD_ILS/0/SD_ILS:334950 2024-07-14T06:55:32Z 2024-07-14T06:55:32Z Author&#160;Kotz&eacute;, Paula. editor.&#160;Marsden, Gary. editor.&#160;Lindgaard, Gitte. editor.&#160;Wesson, Janet. editor.&#160;Winckler, Marco. editor.<br/>Preferred Shelf Number&#160;ONLINE(334950.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40477-1">http://dx.doi.org/10.1007/978-3-642-40477-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human-Computer Interaction &ndash; INTERACT 2013 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part II ent://SD_ILS/0/SD_ILS:334951 2024-07-14T06:55:32Z 2024-07-14T06:55:32Z Author&#160;Kotz&eacute;, Paula. editor.&#160;Marsden, Gary. editor.&#160;Lindgaard, Gitte. editor.&#160;Wesson, Janet. editor.&#160;Winckler, Marco. editor.<br/>Preferred Shelf Number&#160;ONLINE(334951.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40480-1">http://dx.doi.org/10.1007/978-3-642-40480-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human-Computer Interaction &ndash; INTERACT 2013 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part I ent://SD_ILS/0/SD_ILS:334952 2024-07-14T06:55:32Z 2024-07-14T06:55:32Z Author&#160;Kotz&eacute;, Paula. editor.&#160;Marsden, Gary. editor.&#160;Lindgaard, Gitte. editor.&#160;Wesson, Janet. editor.&#160;Winckler, Marco. editor.<br/>Preferred Shelf Number&#160;ONLINE(334952.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40483-2">http://dx.doi.org/10.1007/978-3-642-40483-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Collective Intelligence. Technologies and Applications 5th International Conference, ICCCI 2013, Craiova, Romania, September 11-13, 2013, Proceedings ent://SD_ILS/0/SD_ILS:334954 2024-07-14T06:55:32Z 2024-07-14T06:55:32Z Author&#160;B&#462;dic&#462;, Costin. editor.&#160;Nguyen, Ngoc Thanh. editor.&#160;Brezovan, Marius. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334954.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40495-5">http://dx.doi.org/10.1007/978-3-642-40495-5</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-07-14T06:55:32Z 2024-07-14T06:55:32Z 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-07-14T06:55:32Z 2024-07-14T06:55:32Z 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/> Analysis of Social Media and Ubiquitous Data International Workshops MSM 2010, Toronto, Canada, June 13, 2010, and MUSE 2010, Barcelona, Spain, September 20, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:195388 2024-07-14T06:55:32Z 2024-07-14T06:55:32Z Author&#160;Atzmueller, Martin. editor.&#160;Hotho, Andreas. editor.&#160;Strohmaier, Markus. editor.&#160;Chin, Alvin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-23599-3">http://dx.doi.org/10.1007/978-3-642-23599-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Association Rule Hiding for Data Mining ent://SD_ILS/0/SD_ILS:172630 2024-07-14T06:55:32Z 2024-07-14T06:55:32Z Author&#160;Gkoulalas-Divanis, Aris. author.&#160;Verykios, Vassilios S. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-6569-1">http://dx.doi.org/10.1007/978-1-4419-6569-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Autonomic Computing and Communications Systems Third International ICST Conference, Autonomics 2009, Limassol, Cyprus, September 9-11, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:191697 2024-07-14T06:55:32Z 2024-07-14T06:55:32Z Author&#160;Vasilakos, Athanasius V. editor.&#160;Beraldi, Roberto. editor.&#160;Friedman, Roy. editor.&#160;Mamei, 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-11482-3">http://dx.doi.org/10.1007/978-3-642-11482-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Intelligent Systems A Coordination Perspective ent://SD_ILS/0/SD_ILS:167509 2024-07-14T06:55:32Z 2024-07-14T06:55:32Z Author&#160;Bedrouni, Abdellah. author.&#160;Mittu, Ranjeev. author.&#160;Boukhtouta, A. author.&#160;Berger, Jean. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-77702-3">http://dx.doi.org/10.1007/978-0-387-77702-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Organized Adaption in Multi-Agent Systems First International Workshop, OAMAS 2008, Estoril, Portugal, May 13, 2008. Revised and Invited Papers ent://SD_ILS/0/SD_ILS:190304 2024-07-14T06:55:32Z 2024-07-14T06:55:32Z Author&#160;Vouros, George. editor.&#160;Artikis, Alexander. editor.&#160;Stathis, Kostas. editor.&#160;Pitt, Jeremy. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02377-4">http://dx.doi.org/10.1007/978-3-642-02377-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Methods, Models and Tools for Fault Tolerance ent://SD_ILS/0/SD_ILS:189817 2024-07-14T06:55:32Z 2024-07-14T06:55:32Z Author&#160;Butler, Michael. editor.&#160;Jones, Cliff. editor.&#160;Romanovsky, Alexander. editor.&#160;Troubitsyna, Elena. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-00867-2">http://dx.doi.org/10.1007/978-3-642-00867-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Information Technology Third International Conference, IAIT 2009, Bangkok, Thailand, December 1-5, 2009. Proceedings ent://SD_ILS/0/SD_ILS:191354 2024-07-14T06:55:32Z 2024-07-14T06:55:32Z Author&#160;Papasratorn, Borworn. editor.&#160;Chutimaskul, Wichian. editor.&#160;Porkaew, Kriengkrai. editor.&#160;Vanijja, Vajirasak. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-10392-6">http://dx.doi.org/10.1007/978-3-642-10392-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Constructing Ambient Intelligence AmI 2007 Workshops Darmstadt, Germany, November 7-10, 2007 Revised Papers ent://SD_ILS/0/SD_ILS:188685 2024-07-14T06:55:32Z 2024-07-14T06:55:32Z Author&#160;M&uuml;hlh&auml;user, Max. editor.&#160;Ferscha, Alois. editor.&#160;Aitenbichler, Erwin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-85379-4">http://dx.doi.org/10.1007/978-3-540-85379-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Applications of Satisfiability Testing &ndash; SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188500 2024-07-14T06:55:32Z 2024-07-14T06:55:32Z Author&#160;Kleine B&uuml;ning, Hans. editor.&#160;Zhao, Xishun. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-79719-7">http://dx.doi.org/10.1007/978-3-540-79719-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verified Software: Theories, Tools, Experiments First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions ent://SD_ILS/0/SD_ILS:185723 2024-07-14T06:55:32Z 2024-07-14T06:55:32Z Author&#160;Meyer, Bertrand. editor.&#160;Woodcock, Jim. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-69149-5">http://dx.doi.org/10.1007/978-3-540-69149-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Applications of Satisfiability Testing &ndash; SAT 2007 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings ent://SD_ILS/0/SD_ILS:186652 2024-07-14T06:55:32Z 2024-07-14T06:55:32Z Author&#160;Marques-Silva, Jo&atilde;o. editor.&#160;Sakallah, Karem 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-540-72788-0">http://dx.doi.org/10.1007/978-3-540-72788-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Self-Organising Systems 4th International Workshop, ESOA 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers ent://SD_ILS/0/SD_ILS:185918 2024-07-14T06:55:32Z 2024-07-14T06:55:32Z Author&#160;Brueckner, Sven A. editor.&#160;Hassas, Salima. editor.&#160;Jelasity, M&aacute;rk. editor.&#160;Yamins, 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-540-69868-5">http://dx.doi.org/10.1007/978-3-540-69868-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Verification and Validation An Engineering and Scientific Approach ent://SD_ILS/0/SD_ILS:166391 2024-07-14T06:55:32Z 2024-07-14T06:55:32Z Author&#160;Fisher, Marcus S. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-47939-2">http://dx.doi.org/10.1007/978-0-387-47939-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ambient Intelligence European Conference, AmI 2007, Darmstadt, Germany, November 7-10, 2007. Proceedings ent://SD_ILS/0/SD_ILS:187646 2024-07-14T06:55:32Z 2024-07-14T06:55:32Z Author&#160;Schiele, Bernt. editor.&#160;Dey, Anind K. editor.&#160;Gellersen, Hans. editor.&#160;Ruyter, Boris. editor.&#160;Tscheligi, Manfred. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-76652-0">http://dx.doi.org/10.1007/978-3-540-76652-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Intelligence in Fault Diagnosis ent://SD_ILS/0/SD_ILS:175483 2024-07-14T06:55:32Z 2024-07-14T06:55:32Z Author&#160;Palade, Vasile. editor.&#160;Jain, Lakhmi. editor.&#160;Bocaniala, Cosmin Danut. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84628-631-5">http://dx.doi.org/10.1007/978-1-84628-631-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Self-Organising Systems Third International Workshop, ESOA 2005, Utrecht, The Netherlands, July 25, 2005, Revised Selected Papers ent://SD_ILS/0/SD_ILS:183711 2024-07-14T06:55:32Z 2024-07-14T06:55:32Z Author&#160;Brueckner, Sven A. editor.&#160;Marzo Serugendo, Giovanna. editor.&#160;Hales, David. editor.&#160;Zambonelli, Franco. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11734697">http://dx.doi.org/10.1007/11734697</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Topics in Exception Handling Techniques ent://SD_ILS/0/SD_ILS:184545 2024-07-14T06:55:32Z 2024-07-14T06:55:32Z Author&#160;Dony, Christophe. editor.&#160;Knudsen, J&oslash;rgen Lindskov. editor.&#160;Romanovsky, Alexander. editor.&#160;Tripathi, Anand. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11818502">http://dx.doi.org/10.1007/11818502</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184496 2024-07-14T06:55:32Z 2024-07-14T06:55:32Z Author&#160;Biere, Armin. editor.&#160;Gomes, Carla P. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11814948">http://dx.doi.org/10.1007/11814948</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ubiquitous Intelligence and Computing Third International Conference, UIC 2006, Wuhan, China, September 3-6, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184661 2024-07-14T06:55:32Z 2024-07-14T06:55:32Z Author&#160;Ma, Jianhua. editor.&#160;Jin, Hai. editor.&#160;Yang, Laurence T. editor.&#160;Tsai, Jeffrey J.-P. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11833529">http://dx.doi.org/10.1007/11833529</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Privacy in Statistical Databases CENEX-SDC Project International Conference, PSD 2006, Rome, Italy, December 13-15, 2006. Proceedings ent://SD_ILS/0/SD_ILS:185190 2024-07-14T06:55:32Z 2024-07-14T06:55:32Z Author&#160;Domingo-Ferrer, Josep. editor.&#160;Franconi, Luisa. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11930242">http://dx.doi.org/10.1007/11930242</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rigorous Development of Complex Fault-Tolerant Systems ent://SD_ILS/0/SD_ILS:185062 2024-07-14T06:55:32Z 2024-07-14T06:55:32Z Author&#160;Butler, Michael. editor.&#160;Jones, Cliff B. editor.&#160;Romanovsky, Alexander. editor.&#160;Troubitsyna, Elena. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11916246">http://dx.doi.org/10.1007/11916246</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> From Specification to Embedded Systems Application ent://SD_ILS/0/SD_ILS:165390 2024-07-14T06:55:32Z 2024-07-14T06:55:32Z Author&#160;Rettberg, Achim. editor.&#160;Zanella, Mauro C. editor.&#160;Rammig, Franz J. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11523277">http://dx.doi.org/10.1007/11523277</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Self-Organising Systems Methodologies and Applications ent://SD_ILS/0/SD_ILS:182987 2024-07-14T06:55:32Z 2024-07-14T06:55:32Z Author&#160;Brueckner, Sven A. editor.&#160;Marzo Serugendo, Giovanna. editor.&#160;Karageorgos, Anthony. editor.&#160;Nagpal, Radhika. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b136984">http://dx.doi.org/10.1007/b136984</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> E-Government: Towards Electronic Democracy International Conference, TCGOV 2005, Bolzano, Italy, March 2-4, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183244 2024-07-14T06:55:32Z 2024-07-14T06:55:32Z Author&#160;B&ouml;hlen, Michael. editor.&#160;Gamper, Johann. editor.&#160;Polasek, Wolfgang. editor.&#160;Wimmer, Maria A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b106542">http://dx.doi.org/10.1007/b106542</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers ent://SD_ILS/0/SD_ILS:182752 2024-07-14T06:55:32Z 2024-07-14T06:55:32Z Author&#160;Hoos, Holger H. editor.&#160;Mitchell, David G. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11527695">http://dx.doi.org/10.1007/11527695</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Distributed Systems 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers ent://SD_ILS/0/SD_ILS:182821 2024-07-14T06:55:32Z 2024-07-14T06:55:32Z Author&#160;Ramos, F&eacute;lix F. editor.&#160;Larios Rosillo, Victor. editor.&#160;Unger, Herwig. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11533962">http://dx.doi.org/10.1007/11533962</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings ent://SD_ILS/0/SD_ILS:182826 2024-07-14T06:55:32Z 2024-07-14T06:55:32Z Author&#160;Bacchus, Fahiem. editor.&#160;Walsh, Toby. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b137280">http://dx.doi.org/10.1007/b137280</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Global Computing IST/FET International Workshop, GC 2004 Rovereto, Italy, March 9-12, 2004 Revised Selected Papers ent://SD_ILS/0/SD_ILS:182887 2024-07-14T06:55:32Z 2024-07-14T06:55:32Z Author&#160;Priami, Corrado. editor.&#160;Quaglia, Paola. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b103251">http://dx.doi.org/10.1007/b103251</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel processing for artificial intelligence 3 ent://SD_ILS/0/SD_ILS:254061 2024-07-14T06:55:32Z 2024-07-14T06:55:32Z Author&#160;Geller, James.&#160;Kitano, Hiroaki, 1961-&#160;Suttner, Christian B.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444824868">http://www.sciencedirect.com/science/book/9780444824868</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>