Search Results for USA - Narrowed by: Artificial intelligence.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dUSA$0026qf$003dSUBJECT$002509Subject$002509Artificial$002bintelligence.$002509Artificial$002bintelligence.$0026pe$003dd$00253A$0026ps$003d300?dt=list2025-01-01T06:00:50ZArtificial Intelligence in Education 20th International Conference, AIED 2019, Chicago, IL, USA, June 25-29, 2019, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4837342025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Isotani, Seiji. editor. (orcid)0000-0003-1574-0784 Millán, Eva. editor. (orcid)0000-0001-9178-7600 Ogan, Amy. editor. Hastings, Peter. editor. (orcid)0000-0002-0183-001X McLaren, Bruce. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-23204-7">https://doi.org/10.1007/978-3-030-23204-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Web and Internet Economics 15th International Conference, WINE 2019, New York, NY, USA, December 10–12, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4849902025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Caragiannis, Ioannis. editor. (orcid)0000-0002-4918-7131 Mirrokni, Vahab. editor. Nikolova, Evdokia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-35389-6">https://doi.org/10.1007/978-3-030-35389-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Security, Privacy, and Anonymity in Computation, Communication, and Storage SpaCCS 2019 International Workshops, Atlanta, GA, USA, July 14–17, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4853142025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Wang, Guojun. editor. (orcid)0000-0001-9875-4182 Feng, Jun. editor. (orcid)0000-0001-9917-1819 Bhuiyan, Md Zakirul Alam. editor. (orcid)0000-0002-9513-9990 Lu, Rongxing. editor. (orcid)0000-0001-5720-0941 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-24900-7">https://doi.org/10.1007/978-3-030-24900-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Design, User Experience, and Usability. Application Domains 8th International Conference, DUXU 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:4853902025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Marcus, Aaron. editor. Wang, Wentao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-23538-3">https://doi.org/10.1007/978-3-030-23538-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>HCI International 2019 – Late Breaking Posters 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4854192025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Stephanidis, Constantine. editor. Antona, Margherita. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-30712-7">https://doi.org/10.1007/978-3-030-30712-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Interactive Storytelling 12th International Conference on Interactive Digital Storytelling, ICIDS 2019, Little Cottonwood Canyon, UT, USA, November 19–22, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4854602025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Cardona-Rivera, Rogelio E. editor. (orcid)0000-0002-6720-568X Sullivan, Anne. editor. Young, R. Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-33894-7">https://doi.org/10.1007/978-3-030-33894-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Cognitive Computing – ICCC 2019 Third International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4862642025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Xu, Ruifeng. editor. (orcid)0000-0002-4009-5679 Wang, Jianzong. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-23407-2">https://doi.org/10.1007/978-3-030-23407-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Artificial Intelligence and Security 5th International Conference, ICAIS 2019, New York, NY, USA, July 26-28, 2019, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4865762025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Sun, Xingming. editor. (orcid)0000-0003-1390-399X Pan, Zhaoqing. editor. (orcid)0000-0003-1390-399X Bertino, Elisa. editor. (orcid)0000-0002-4029-7051 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-24265-7">https://doi.org/10.1007/978-3-030-24265-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Reuse in the Big Data Era 18th International Conference on Software and Systems Reuse, ICSR 2019, Cincinnati, OH, USA, June 26–28, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4866152025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Peng, Xin. editor. Ampatzoglou, Apostolos. editor. Bhowmik, Tanmay. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-22888-0">https://doi.org/10.1007/978-3-030-22888-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Production Management Systems. Production Management for the Factory of the Future IFIP WG 5.7 International Conference, APMS 2019, Austin, TX, USA, September 1–5, 2019, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4869262025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Ameri, Farhad. editor. Stecke, Kathryn E. editor. von Cieminski, Gregor. editor. (orcid)0000-0001-9869-5055 Kiritsis, Dimitris. editor. (orcid)0000-0003-3660-9187 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-30000-5">https://doi.org/10.1007/978-3-030-30000-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Blockchain – ICBC 2019 Second International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4828742025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Joshi, James. editor. (orcid)0000-0003-4519-9802 Nepal, Surya. editor. Zhang, Qi. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-23404-1">https://doi.org/10.1007/978-3-030-23404-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology – CRYPTO 2019 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4833892025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Boldyreva, Alexandra. editor. Micciancio, Daniele. editor. (orcid)0000-0003-3323-9985 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-26951-7">https://doi.org/10.1007/978-3-030-26951-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Bio-inspired Information and Communication Technologies 11th EAI International Conference, BICT 2019, Pittsburgh, PA, USA, March 13–14, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4834552025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Compagnoni, Adriana. editor. Casey, William. editor. Cai, Yang. editor. Mishra, Bud. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-24202-2">https://doi.org/10.1007/978-3-030-24202-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Visual Computing 14th International Symposium on Visual Computing, ISVC 2019, Lake Tahoe, NV, USA, October 7–9, 2019, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4842182025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Bebis, George. editor. Boyle, Richard. editor. Parvin, Bahram. editor. Koracin, Darko. editor. Ushizima, Daniela. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-33723-0">https://doi.org/10.1007/978-3-030-33723-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Social Computing and Social Media. Communication and Social Communities 11th International Conference, SCSM 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4840362025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Meiselwitz, Gabriele. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-21905-5">https://doi.org/10.1007/978-3-030-21905-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Services Computing – SCC 2019 16th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4844882025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Ferreira, Joao Eduardo. editor. (orcid)0000-0001-9607-2014 Musaev, Aibek. editor. (orcid)0000-0001-5836-8754 Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-23554-3">https://doi.org/10.1007/978-3-030-23554-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology – CRYPTO 2019 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4845282025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Boldyreva, Alexandra. editor. Micciancio, Daniele. editor. (orcid)0000-0003-3323-9985 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-26948-7">https://doi.org/10.1007/978-3-030-26948-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>HCI International 2019 - Posters 21st International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:4846472025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Stephanidis, Constantine. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-23525-3">https://doi.org/10.1007/978-3-030-23525-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Production Management Systems. Towards Smart Production Management Systems IFIP WG 5.7 International Conference, APMS 2019, Austin, TX, USA, September 1–5, 2019, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4847102025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Ameri, Farhad. editor. Stecke, Kathryn E. editor. von Cieminski, Gregor. editor. (orcid)0000-0001-9869-5055 Kiritsis, Dimitris. editor. (orcid)0000-0003-3660-9187 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-29996-5">https://doi.org/10.1007/978-3-030-29996-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Visual Computing 14th International Symposium on Visual Computing, ISVC 2019, Lake Tahoe, NV, USA, October 7–9, 2019, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4848202025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Bebis, George. editor. Boyle, Richard. editor. Parvin, Bahram. editor. Koracin, Darko. editor. Ushizima, Daniela. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-33720-9">https://doi.org/10.1007/978-3-030-33720-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Numerical Software Verification 12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4848772025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Zamani, Majid. editor. Zufferey, Damien. editor. (orcid)0000-0002-3197-8736 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-28423-7">https://doi.org/10.1007/978-3-030-28423-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology – CRYPTO 2019 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:4848782025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Boldyreva, Alexandra. editor. Micciancio, Daniele. editor. (orcid)0000-0003-3323-9985 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-26954-8">https://doi.org/10.1007/978-3-030-26954-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Topics in Cryptology – CT-RSA 2019 The Cryptographers' Track at the RSA Conference 2019, San Francisco, CA, USA, March 4–8, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4848952025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Matsui, Mitsuru. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-12612-4">https://doi.org/10.1007/978-3-030-12612-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>HCI International 2019 – Late Breaking Papers 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4849072025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Stephanidis, Constantine. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-30033-3">https://doi.org/10.1007/978-3-030-30033-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Trends in Functional Programming 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:4852712025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Van Horn, David. editor. Hughes, John. editor. (orcid)0000-0001-8042-0969 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-14805-8">https://doi.org/10.1007/978-3-030-14805-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information in Contemporary Society 14th International Conference, iConference 2019, Washington, DC, USA, March 31–April 3, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4855882025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Taylor, Natalie Greene. editor. Christian-Lamb, Caitlin. editor. Martin, Michelle H. editor. Nardi, Bonnie. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-15742-5">https://doi.org/10.1007/978-3-030-15742-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Web Services – ICWS 2019 26th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4863252025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Miller, John. editor. Stroulia, Eleni. editor. Lee, Kisung. editor. (orcid)0000-0003-4367-4374 Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-23499-7">https://doi.org/10.1007/978-3-030-23499-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Universal Access in Human-Computer Interaction. Theory, Methods and Tools 13th International Conference, UAHCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4863272025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Antona, Margherita. editor. Stephanidis, Constantine. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-23560-4">https://doi.org/10.1007/978-3-030-23560-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Principles and Practice of Constraint Programming 25th International Conference, CP 2019, Stamford, CT, USA, September 30 – October 4, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4863362025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Schiex, Thomas. editor. (orcid)0000-0001-6049-3415 de Givry, Simon. editor. (orcid)0000-0002-2242-0458 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-30048-7">https://doi.org/10.1007/978-3-030-30048-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Design, User Experience, and Usability. User Experience in Advanced Technological Environments 8th International Conference, DUXU 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4863432025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Marcus, Aaron. editor. Wang, Wentao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-23541-3">https://doi.org/10.1007/978-3-030-23541-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Artificial Intelligence and Security 5th International Conference, ICAIS 2019, New York, NY, USA, July 26–28, 2019, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:4863802025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Sun, Xingming. editor. (orcid)0000-0003-1390-399X Pan, Zhaoqing. editor. (orcid)0000-0003-1390-399X Bertino, Elisa. editor. (orcid)0000-0002-4029-7051 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-24271-8">https://doi.org/10.1007/978-3-030-24271-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>HCI International 2019 - Posters 21st International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4868262025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Stephanidis, Constantine. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-23522-2">https://doi.org/10.1007/978-3-030-23522-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Digital Forensics and Cyber Crime 10th International EAI Conference, ICDF2C 2018, New Orleans, LA, USA, September 10–12, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4868552025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Breitinger, Frank. editor. (orcid)0000-0001-5261-4600 Baggili, Ibrahim. editor. (orcid)0000-0002-9574-9537 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-05487-8">https://doi.org/10.1007/978-3-030-05487-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Human Factors in Wearable Technologies and Game Design Proceedings of the AHFE 2018 International Conferences on Human Factors and Wearable Technologies, and Human Factors in Game Design and Virtual Environments, Held on July 21–25, 2018, in Loews Sapphire Falls Resort at Universal Studios, Orlando, Florida, USAent://SD_ILS/0/SD_ILS:4874392025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Ahram, Tareq Z. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94619-1">https://doi.org/10.1007/978-3-319-94619-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Algorithmic Decision Theory 6th International Conference, ADT 2019, Durham, NC, USA, October 25–27, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4828972025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Pekeč, Saša. editor. Venable, Kristen Brent. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-31489-7">https://doi.org/10.1007/978-3-030-31489-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Evolutionary Multi-Criterion Optimization 10th International Conference, EMO 2019, East Lansing, MI, USA, March 10-13, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4829932025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Deb, Kalyanmoy. editor. (orcid)0000-0001-7402-9939 Goodman, Erik. editor. Coello Coello, Carlos A. editor. (orcid)0000-0002-8435-680X Klamroth, Kathrin. editor. Miettinen, Kaisa. editor. (orcid)0000-0003-1013-4689<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-12598-1">https://doi.org/10.1007/978-3-030-12598-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic Programming and Nonmonotonic Reasoning 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4832412025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Balduccini, Marcello. editor. (orcid)0000-0001-5445-3054 Lierler, Yuliya. editor. (orcid)0000-0002-6146-623X Woltran, Stefan. editor. (orcid)0000-0003-1594-8972 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-20528-7">https://doi.org/10.1007/978-3-030-20528-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>DNA Computing and Molecular Programming 25th International Conference, DNA 25, Seattle, WA, USA, August 5–9, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4832962025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Thachuk, Chris. editor. Liu, Yan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-26807-7">https://doi.org/10.1007/978-3-030-26807-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Cross-Cultural Design. Methods, Tools and User Experience 11th International Conference, CCD 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4834972025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Rau, Pei-Luen Patrick. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-22577-3">https://doi.org/10.1007/978-3-030-22577-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Engineering Psychology and Cognitive Ergonomics 16th International Conference, EPCE 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4835072025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Harris, Don. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-22507-0">https://doi.org/10.1007/978-3-030-22507-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Cross-Cultural Design. Culture and Society 11th International Conference, CCD 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4835082025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Rau, Pei-Luen Patrick. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-22580-3">https://doi.org/10.1007/978-3-030-22580-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4836882025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Dillig, Isil. editor. Tasiran, Serdar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-25543-5">https://doi.org/10.1007/978-3-030-25543-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Human-Computer Interaction. Perspectives on Design Thematic Area, HCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4836552025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Kurosu, Masaaki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-22646-6">https://doi.org/10.1007/978-3-030-22646-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Heterogeneous Data Management, Polystores, and Analytics for Healthcare VLDB 2019 Workshops, Poly and DMAH, Los Angeles, CA, USA, August 30, 2019, Revised Selected Papersent://SD_ILS/0/SD_ILS:4836562025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Gadepally, Vijay. editor. Mattson, Timothy. editor. Stonebraker, Michael. editor. Wang, Fusheng. editor. Luo, Gang. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-33752-0">https://doi.org/10.1007/978-3-030-33752-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Artificial Intelligence and Mobile Services – AIMS 2019 8th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4836652025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Wang, De. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-23367-9">https://doi.org/10.1007/978-3-030-23367-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Artificial Intelligence in Education 20th International Conference, AIED 2019, Chicago, IL, USA, June 25-29, 2019, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4836662025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Isotani, Seiji. editor. (orcid)0000-0003-1574-0784 Millán, Eva. editor. (orcid)0000-0001-9178-7600 Ogan, Amy. editor. Hastings, Peter. editor. (orcid)0000-0002-0183-001X McLaren, Bruce. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-23207-8">https://doi.org/10.1007/978-3-030-23207-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mathematical and Computational Oncology First International Symposium, ISMCO 2019, Lake Tahoe, NV, USA, October 14–16, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4842272025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Bebis, George. editor. Benos, Takis. editor. Chen, Ken. editor. Jahn, Katharina. editor. Lima, Ernesto. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-35210-3">https://doi.org/10.1007/978-3-030-35210-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management. Human Body and Motion 10th International Conference, DHM 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4860782025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Duffy, Vincent G. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-22216-1">https://doi.org/10.1007/978-3-030-22216-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>HCI in Business, Government and Organizations. Information Systems and Analytics 6th International Conference, HCIBGO 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4860852025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Nah, Fiona Fui-Hoon. editor. Siau, Keng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-22338-0">https://doi.org/10.1007/978-3-030-22338-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>HCI International 2019 - Posters 21st International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4860872025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Stephanidis, Constantine. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-23528-4">https://doi.org/10.1007/978-3-030-23528-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Social Computing and Social Media. Design, Human Behavior and Analytics 11th International Conference, SCSM 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4860992025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Meiselwitz, Gabriele. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-21902-4">https://doi.org/10.1007/978-3-030-21902-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management. Healthcare Applications 10th International Conference, DHM 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4861162025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Duffy, Vincent G. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-22219-2">https://doi.org/10.1007/978-3-030-22219-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Human-Computer Interaction. Design Practice in Contemporary Societies Thematic Area, HCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:4861182025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Kurosu, Masaaki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-22636-7">https://doi.org/10.1007/978-3-030-22636-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Human-Computer Interaction. Recognition and Interaction Technologies Thematic Area, HCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4861192025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Kurosu, Masaaki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-22643-5">https://doi.org/10.1007/978-3-030-22643-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Artificial Intelligence and Security 5th International Conference, ICAIS 2019, New York, NY, USA, July 26-28, 2019, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4866362025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Sun, Xingming. editor. (orcid)0000-0003-1390-399X Pan, Zhaoqing. editor. (orcid)0000-0003-1390-399X Bertino, Elisa. editor. (orcid)0000-0002-4029-7051 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-24274-9">https://doi.org/10.1007/978-3-030-24274-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Distributed, Ambient and Pervasive Interactions: Understanding Humans 6th International Conference, DAPI 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part Ient://SD_ILS/0/SD_ILS:3989592025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Streitz, Norbert. editor. (orcid)0000-0002-0244-0945 Konomi, Shin’ichi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91125-0">https://doi.org/10.1007/978-3-319-91125-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Decision and Game Theory for Security 9th International Conference, GameSec 2018, Seattle, WA, USA, October 29–31, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3991142025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Bushnell, Linda. editor. (orcid)0000-0002-8751-2409 Poovendran, Radha. editor. (orcid)0000-0003-0269-8097 Başar, Tamer. editor. (orcid)0000-0003-4406-7875 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-01554-1">https://doi.org/10.1007/978-3-030-01554-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Learning and Collaboration Technologies. Design, Development and Technological Innovation 5th International Conference, LCT 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part Ient://SD_ILS/0/SD_ILS:3996002025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Zaphiris, Panayiotis. editor. Ioannou, Andri. editor. (orcid)0000-0002-3570-6578 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91743-6">https://doi.org/10.1007/978-3-319-91743-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Web Services – ICWS 2018 25th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3996292025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Jin, Hai. editor. Wang, Qingyang. editor. (orcid)0000-0002-5729-2898 Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94289-6">https://doi.org/10.1007/978-3-319-94289-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Human-Computer Interaction. Theories, Methods, and Human Issues 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4001102025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Kurosu, Masaaki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91238-7">https://doi.org/10.1007/978-3-319-91238-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Braverman Readings in Machine Learning. Key Ideas from Inception to Current State International Conference Commemorating the 40th Anniversary of Emmanuil Braverman's Decease, Boston, MA, USA, April 28-30, 2017, Invited Talksent://SD_ILS/0/SD_ILS:4001222025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Rozonoer, Lev. editor. Mirkin, Boris. editor. (orcid)0000-0001-5470-8635 Muchnik, Ilya. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99492-5">https://doi.org/10.1007/978-3-319-99492-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Brain Informatics International Conference, BI 2018, Arlington, TX, USA, December 7–9, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4003052025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Wang, Shouyi. editor. Yamamoto, Vicky. editor. Su, Jianzhong. editor. Yang, Yang. editor. Jones, Erick. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-05587-5">https://doi.org/10.1007/978-3-030-05587-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Human Factors in Wearable Technologies and Game Design Proceedings of the AHFE 2017 International Conference on Advances in Human Factors and Wearable Technologies, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USAent://SD_ILS/0/SD_ILS:4007682025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Ahram, Tareq. editor. Falcão, Christianne. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60639-2">https://doi.org/10.1007/978-3-319-60639-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Recent Developments and the New Direction in Soft-Computing Foundations and Applications Selected Papers from the 6th World Conference on Soft Computing, May 22-25, 2016, Berkeley, USAent://SD_ILS/0/SD_ILS:4012652025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Zadeh, Lotfi A. editor. Yager, Ronald R. editor. Shahbazova, Shahnaz N. editor. Reformat, Marek Z. editor. Kreinovich, Vladik. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-75408-6">https://doi.org/10.1007/978-3-319-75408-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Artificial Intelligence for Knowledge Management 4th IFIP WG 12.6 International Workshop, AI4KM 2016, Held at IJCAI 2016, New York, NY, USA, July 9, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:4015142025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Mercier-Laurent, Eunika. editor. (orcid)0000-0003-2303-7263 Boulanger, Danielle. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-92928-6">https://doi.org/10.1007/978-3-319-92928-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Services Computing – SCC 2018 15th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4017322025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Ferreira, João Eduardo. editor. (orcid)0000-0001-9607-2014 Spanoudakis, George. editor. Ma, Yutao. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94376-3">https://doi.org/10.1007/978-3-319-94376-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Online Engineering & Internet of Things Proceedings of the 14th International Conference on Remote Engineering and Virtual Instrumentation REV 2017, held 15-17 March 2017, Columbia University, New York, USAent://SD_ILS/0/SD_ILS:4018482025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Auer, Michael E. editor. Zutin, Danilo G. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-64352-6">https://doi.org/10.1007/978-3-319-64352-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Graphical Models for Security 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:4025242025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Liu, Peng. editor. Mauw, Sjouke. editor. Stolen, Ketil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-74860-3">https://doi.org/10.1007/978-3-319-74860-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>HCI International 2018 – Posters' Extended Abstracts 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4025562025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Stephanidis, Constantine. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-92279-9">https://doi.org/10.1007/978-3-319-92279-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>HCI International 2018 – Posters' Extended Abstracts 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:4025572025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Stephanidis, Constantine. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-92285-0">https://doi.org/10.1007/978-3-319-92285-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Ergonomics of Manufacturing: Managing the Enterprise of the Future Proceedings of the AHFE 2017 International Conference on Human Aspects of Advanced Manufacturing, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USAent://SD_ILS/0/SD_ILS:4025592025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Trzcielinski, Stefan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60474-9">https://doi.org/10.1007/978-3-319-60474-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Social, Cultural, and Behavioral Modeling 11th International Conference, SBP-BRiMS 2018, Washington, DC, USA, July 10-13, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3994522025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Thomson, Robert. editor. Dancy, Christopher. editor. Hyder, Ayaz. editor. Bisgin, Halil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-93372-6">https://doi.org/10.1007/978-3-319-93372-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Algorithmic Aspects in Information and Management 12th International Conference, AAIM 2018, Dallas, TX, USA, December 3–4, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3996672025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Tang, Shaojie. editor. Du, Ding-Zhu. editor. Woodruff, David. editor. Butenko, Sergiy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-04618-7">https://doi.org/10.1007/978-3-030-04618-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Semantic Web – ISWC 2018 17th International Semantic Web Conference, Monterey, CA, USA, October 8–12, 2018, Proceedings, Part IIent://SD_ILS/0/SD_ILS:3998722025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Vrandečić, Denny. editor. (orcid)0000-0002-9593-2294 Bontcheva, Kalina. editor. Suárez-Figueroa, Mari Carmen. editor. Presutti, Valentina. editor. Celino, Irene. editor. (orcid)0000-0001-9962-7193<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00668-6">https://doi.org/10.1007/978-3-030-00668-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>HCI International 2018 – Posters' Extended Abstracts 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part Ient://SD_ILS/0/SD_ILS:3999092025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Stephanidis, Constantine. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-92270-6">https://doi.org/10.1007/978-3-319-92270-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Human-Computer Interaction. Interaction in Context 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part IIent://SD_ILS/0/SD_ILS:3999102025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Kurosu, Masaaki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91244-8">https://doi.org/10.1007/978-3-319-91244-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Visual Computing 13th International Symposium, ISVC 2018, Las Vegas, NV, USA, November 19 – 21, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3999222025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Bebis, George. editor. Boyle, Richard. editor. Parvin, Bahram. editor. Koracin, Darko. editor. Turek, Matt. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-03801-4">https://doi.org/10.1007/978-3-030-03801-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logical Foundations of Computer Science International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3999492025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-72056-2">https://doi.org/10.1007/978-3-319-72056-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Social Computing and Social Media. Technologies and Analytics 10th International Conference, SCSM 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part IIent://SD_ILS/0/SD_ILS:3999592025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Meiselwitz, Gabriele. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91485-5">https://doi.org/10.1007/978-3-319-91485-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Human-Computer Interaction. Interaction Technologies 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:4000302025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Kurosu, Masaaki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91250-9">https://doi.org/10.1007/978-3-319-91250-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Universal Access in Human-Computer Interaction. Methods, Technologies, and Users 12th International Conference, UAHCI 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4001592025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Antona, Margherita. editor. Stephanidis, Constantine. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-92049-8">https://doi.org/10.1007/978-3-319-92049-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mathematical Software – ICMS 2018 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4001602025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Davenport, James H. editor. (orcid)0000-0002-3982-7545 Kauers, Manuel. editor. Labahn, George. editor. Urban, Josef. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-96418-8">https://doi.org/10.1007/978-3-319-96418-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology – CRYPTO 2018 38th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19–23, 2018, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4001612025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Shacham, Hovav. editor. Boldyreva, Alexandra. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-96881-0">https://doi.org/10.1007/978-3-319-96881-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Immersive Learning Research Network 4th International Conference, iLRN 2018, Missoula, MT, USA, June 24-29, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4002182025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Beck, Dennis. editor. Allison, Colin. editor. Morgado, Leonel. editor. Pirker, Johanna. editor. Peña-Rios, Anasol. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-93596-6">https://doi.org/10.1007/978-3-319-93596-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Semantic Web – ISWC 2018 17th International Semantic Web Conference, Monterey, CA, USA, October 8–12, 2018, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4003322025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Vrandečić, Denny. editor. (orcid)0000-0002-9593-2294 Bontcheva, Kalina. editor. Suárez-Figueroa, Mari Carmen. editor. Presutti, Valentina. editor. Celino, Irene. editor. (orcid)0000-0001-9962-7193<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00671-6">https://doi.org/10.1007/978-3-030-00671-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Human Aspects of IT for the Aged Population. Acceptance, Communication and Participation 4th International Conference, ITAP 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4003412025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Zhou, Jia. editor. Salvendy, Gavriel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-92034-4">https://doi.org/10.1007/978-3-319-92034-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Learning and Collaboration Technologies. Learning and Teaching 5th International Conference, LCT 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4004722025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Zaphiris, Panayiotis. editor. Ioannou, Andri. editor. (orcid)0000-0002-3570-6578 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91152-6">https://doi.org/10.1007/978-3-319-91152-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Cognitive Computing – ICCC 2018 Second International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4015762025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Xiao, Jing. editor. Mao, Zhi-Hong. editor. Suzumura, Toyotaro. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94307-7">https://doi.org/10.1007/978-3-319-94307-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Artificial Intelligence and Mobile Services – AIMS 2018 7th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4015872025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Aiello, Marco. editor. Yang, Yujiu. editor. Zou, Yuexian. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94361-9">https://doi.org/10.1007/978-3-319-94361-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Edge Computing – EDGE 2018 Second International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4015942025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Liu, Shijun. editor. (orcid)0000-0002-4108-1391 Tekinerdogan, Bedir. editor. (orcid)0000-0002-8538-7261 Aoyama, Mikio. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94340-4">https://doi.org/10.1007/978-3-319-94340-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Big Data – BigData 2018 7th International Congress, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4016552025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Chin, Francis Y. L. editor. Chen, C. L. Philip. editor. (orcid)0000-0001-5451-7230 Khan, Latifur. editor. Lee, Kisung. editor. (orcid)0000-0003-4367-4374 Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94301-5">https://doi.org/10.1007/978-3-319-94301-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Digital Human Modeling. Applications in Health, Safety, Ergonomics, and Risk Management 9th International Conference, DHM 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4026542025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Duffy, Vincent G. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91397-1">https://doi.org/10.1007/978-3-319-91397-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>HCI in Business, Government, and Organizations 5th International Conference, HCIBGO 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4026552025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Nah, Fiona Fui-Hoon. editor. Xiao, Bo Sophia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91716-0">https://doi.org/10.1007/978-3-319-91716-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Machine Learning and Data Mining in Pattern Recognition 14th International Conference, MLDM 2018, New York, NY, USA, July 15-19, 2018, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4026572025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Perner, Petra. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-96136-1">https://doi.org/10.1007/978-3-319-96136-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Human Interface and the Management of Information. Interaction, Visualization, and Analytics 20th International Conference, HIMI 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4026582025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Yamamoto, Sakae. editor. Mori, Hirohiko. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-92043-6">https://doi.org/10.1007/978-3-319-92043-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Engineering Psychology and Cognitive Ergonomics 15th International Conference, EPCE 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4026632025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Harris, Don. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91122-9">https://doi.org/10.1007/978-3-319-91122-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Distributed, Ambient and Pervasive Interactions: Technologies and Contexts 6th International Conference, DAPI 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4026642025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Streitz, Norbert. editor. (orcid)0000-0002-0244-0945 Konomi, Shin’ichi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91131-1">https://doi.org/10.1007/978-3-319-91131-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Augmented Cognition: Users and Contexts 12th International Conference, AC 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4026652025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Schmorrow, Dylan D. editor. Fidopiastis, Cali M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91467-1">https://doi.org/10.1007/978-3-319-91467-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Augmented Cognition: Intelligent Technologies 12th International Conference, AC 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4026662025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Schmorrow, Dylan D. editor. Fidopiastis, Cali M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91470-1">https://doi.org/10.1007/978-3-319-91470-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Machine Learning and Data Mining in Pattern Recognition 14th International Conference, MLDM 2018, New York, NY, USA, July 15-19, 2018, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4026692025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Perner, Petra. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-96133-0">https://doi.org/10.1007/978-3-319-96133-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Human Aspects of IT for the Aged Population. Applications in Health, Assistance, and Entertainment 4th International Conference, ITAP 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4026732025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Zhou, Jia. editor. Salvendy, Gavriel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-92037-5">https://doi.org/10.1007/978-3-319-92037-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3995512025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Dutle, Aaron. editor. Muñoz, César. editor. Narkawicz, Anthony. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-77935-5">https://doi.org/10.1007/978-3-319-77935-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Bayesian and grAphical Models for Biomedical Imaging First International Workshop, BAMBI 2014, Cambridge, MA, USA, September 18, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:4857642025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Cardoso, M. Jorge. editor. (orcid)0000-0003-1284-2558 Simpson, Ivor. editor. Arbel, Tal. editor. Precup, Doina. editor. Ribbens, Annemie. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-12289-2">https://doi.org/10.1007/978-3-319-12289-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Verification, Model Checking, and Abstract Interpretation 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4874182025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor McMillan, Kenneth. editor. Rival, Xavier. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54013-4">https://doi.org/10.1007/978-3-642-54013-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Verified Software: Theorie, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:4874192025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Cohen, Ernie. editor. Rybalchenko, Andrey. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54108-7">https://doi.org/10.1007/978-3-642-54108-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Intelligent Tutoring Systems 12th International Conference, ITS 2014, Honolulu, HI, USA, June 5-9, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4874862025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Trausan-Matu, Stefan. editor. Boyer, Kristy. editor. Crosby, Martha. editor. Panourgia, Kitty. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-07221-0">https://doi.org/10.1007/978-3-319-07221-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Coordination, Organizations, Institutions, and Norms in Agent Systems IX COIN 2013 International Workshops, COIN@AAMAS, St. Paul, MN, USA, May 6, 2013, COIN@PRIMA, Dunedin, New Zealand, December 3, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:4876302025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Balke, Tina. editor. Dignum, Frank. editor. van Riemsdijk, M. Birna. editor. Chopra, Amit K. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-07314-9">https://doi.org/10.1007/978-3-319-07314-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Learning and Intelligent Optimization 8th International Conference, Lion 8, Gainesville, FL, USA, February 16-21, 2014. Revised Selected Papersent://SD_ILS/0/SD_ILS:4877872025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Pardalos, Panos M. editor. (orcid)0000-0003-2824-101X Resende, Mauricio G.C. editor. Vogiatzis, Chrysafis. editor. Walteros, Jose L. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-09584-4">https://doi.org/10.1007/978-3-319-09584-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Multi-Agent-Based Simulation XIV International Workshop, MABS 2013, Saint Paul, MN, USA, May 6-7, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:4889592025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Alam, Shah Jamal. editor. Parunak, H. Van Dyke. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54783-6">https://doi.org/10.1007/978-3-642-54783-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Intelligent Virtual Agents 14th International Conference, IVA 2014, Boston, MA, USA, August 27-29, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4890972025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Bickmore, Timothy. editor. Marsella, Stacy. editor. Sidner, Candace. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-09767-1">https://doi.org/10.1007/978-3-319-09767-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computing and Combinatorics 20th International Conference, COCOON 2014, Atlanta, GA, USA, August 4-6, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4870522025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Cai, Zhipeng. editor. Zelikovsky, Alexander. editor. Bourgeois, Anu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-08783-2">https://doi.org/10.1007/978-3-319-08783-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Reuse for Dynamic Systems in the Cloud and Beyond 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedingsent://SD_ILS/0/SD_ILS:4875452025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Schaefer, Ina. editor. Stamelos, Ioannis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-14130-5">https://doi.org/10.1007/978-3-319-14130-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Agents and Data Mining Interaction 9th International Workshop, ADMI 2013, Saint Paul, MN, USA, May 6-7, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:4890302025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Cao, Longbing. editor. (orcid)0000-0002-2396-0405 Zeng, Yifeng. editor. Symeonidis, Andreas L. editor. Gorodetsky, Vladimir. editor. Müller, Jörg P. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-55192-5">https://doi.org/10.1007/978-3-642-55192-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Machine Learning in Medical Imaging 5th International Workshop, MLMI 2014, Held in Conjunction with MICCAI 2014, Boston, MA, USA, September 14, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4892332025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Wu, Guorong. editor. Zhang, Daoqiang. editor. Zhou, Luping. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-10581-9">https://doi.org/10.1007/978-3-319-10581-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Scalable Uncertainty Management 7th International Conference, SUM 2013, Washington, DC, USA, September 16-18, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3349372025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Liu, Weiru. editor. Subrahmanian, V. S. editor. Wijsen, Jef. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334937.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40381-1">http://dx.doi.org/10.1007/978-3-642-40381-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Complex Sciences Second International Conference, COMPLEX 2012, Santa Fe, NM, USA, December 5-7, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:3329752025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Glass, Kristin. editor. Colbaugh, Richard. editor. Ormerod, Paul. editor. Tsao, Jeffrey. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332975.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-03473-7">http://dx.doi.org/10.1007/978-3-319-03473-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3345492025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Gomes, Carla. editor. Sellmann, Meinolf. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334549.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38171-3">http://dx.doi.org/10.1007/978-3-642-38171-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Processing in Medical Imaging 23rd International Conference, IPMI 2013, Asilomar, CA, USA, June 28–July 3, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3346872025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Gee, James C. editor. Joshi, Sarang. editor. Pohl, Kilian M. editor. Wells, William M. editor. Zöllei, Lilla. editor.<br/>Preferred Shelf Number ONLINE(334687.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38868-2">http://dx.doi.org/10.1007/978-3-642-38868-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Virtual Augmented and Mixed Reality. Designing and Developing Augmented and Virtual Environments 5th International Conference, VAMR 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part Ient://SD_ILS/0/SD_ILS:3347962025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Shumaker, Randall. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334796.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39405-8">http://dx.doi.org/10.1007/978-3-642-39405-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Case-Based Reasoning Research and Development 21st International Conference, ICCBR 2013, Saratoga Springs, NY, USA, July 8-11, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3347192025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Delany, Sarah Jane. editor. Ontañón, Santiago. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334719.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39056-2">http://dx.doi.org/10.1007/978-3-642-39056-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Artificial Intelligence in Education 16th International Conference, AIED 2013, Memphis, TN, USA, July 9-13, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3347312025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Lane, H. Chad. editor. Yacef, Kalina. editor. Mostow, Jack. editor. Pavlik, Philip. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334731.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Engineering Multi-Agent Systems First International Workshop, EMAS 2013, St. Paul, MN, USA, May 6-7, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:3352102025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Cossentino, Massimo. editor. Fallah Seghrouchni, Amal. editor. Winikoff, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335210.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45343-4">http://dx.doi.org/10.1007/978-3-642-45343-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Ubiquitous Social Media Analysis Third International Workshops, MUSE 2012, Bristol, UK, September 24, 2012, and MSM 2012, Milwaukee, WI, USA, June 25, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:3352142025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Atzmueller, Martin. editor. Chin, Alvin. editor. Helic, Denis. editor. Hotho, Andreas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335214.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45392-2">http://dx.doi.org/10.1007/978-3-642-45392-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>DNA Computing and Molecular Programming 19th International Conference, DNA 19, Tempe, AZ, USA, September 22-27, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3328922025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Soloveichik, David. editor. Yurke, Bernard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332892.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-01928-4">http://dx.doi.org/10.1007/978-3-319-01928-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Language Engineering 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3329342025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Erwig, Martin. editor. Paige, Richard F. editor. Wyk, Eric. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332934.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-02654-1">http://dx.doi.org/10.1007/978-3-319-02654-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automated Deduction – CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3346262025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Bonacina, Maria Paola. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334626.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38574-2">http://dx.doi.org/10.1007/978-3-642-38574-2</a><br/>Format: Electronic Resources<br/>Availability 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 Ient://SD_ILS/0/SD_ILS:3347902025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Harris, Don. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334790.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Theory, Practice, and Applications of Rules on the Web 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3348222025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Morgenstern, Leora. editor. Stefaneas, Petros. editor. Lévy, François. editor. Wyner, Adam. editor. Paschke, Adrian. editor.<br/>Preferred Shelf Number ONLINE(334822.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39617-5">http://dx.doi.org/10.1007/978-3-642-39617-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Machine Learning and Data Mining in Pattern Recognition 9th International Conference, MLDM 2013, New York, NY, USA, July 19-25, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3348392025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Perner, Petra. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334839.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39712-7">http://dx.doi.org/10.1007/978-3-642-39712-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Data Mining. Applications and Theoretical Aspects 13th Industrial Conference, ICDM 2013, New York, NY, USA, July 16-21, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3348432025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Perner, Petra. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334843.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39736-3">http://dx.doi.org/10.1007/978-3-642-39736-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Verified Software: Theories, Tools, Experiments 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1962752025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Joshi, Rajeev. editor. Müller, Peter. editor. Podelski, Andreas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-27705-4">http://dx.doi.org/10.1007/978-3-642-27705-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mobile Computing, Applications, and Services Second International ICST Conference, MobiCASE 2010, Santa Clara, CA, USA, October 25-28, 2010, Revised Selected Papersent://SD_ILS/0/SD_ILS:1966722025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Gris, Martin. editor. Yang, Guang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29336-8">http://dx.doi.org/10.1007/978-3-642-29336-8</a><br/>Format: Electronic Resources<br/>Availability 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. Proceedingsent://SD_ILS/0/SD_ILS:1967852025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Peffers, Ken. editor. Rothenberger, Marcus. editor. Kuechler, Bill. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Modeling and Simulation in Engineering, Economics and Management International Conference, MS 2012, New Rochelle, NY, USA, May 30 - June 1, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1968852025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Engemann, Kurt J. editor. Gil-Lafuente, Anna M. editor. Merigó, José M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30433-0">http://dx.doi.org/10.1007/978-3-642-30433-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Data Integration in the Life Sciences 8th International Conference, DILS 2012, College Park, MD, USA, June 28-29, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1970082025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Bodenreider, Olivier. editor. Rance, Bastien. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31040-9">http://dx.doi.org/10.1007/978-3-642-31040-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mobile Computing, Applications, and Services Third International Conference, MobiCASE 2011, Los Angeles, CA, USA, October 24-27, 2011. Revised Selected Papersent://SD_ILS/0/SD_ILS:1972062025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Zhang, Joy Ying. editor. Wilkiewicz, Jarek. editor. Nahapetian, Ani. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32320-1">http://dx.doi.org/10.1007/978-3-642-32320-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Interactive Theorem Proving Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1972112025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Beringer, Lennart. editor. Felty, Amy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32347-8">http://dx.doi.org/10.1007/978-3-642-32347-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Bio-Inspired Models of Network, Information, and Computing Systems 5th International ICST Conference, BIONETICS 2010, Boston, USA, December 1-3, 2010, Revised Selected Papersent://SD_ILS/0/SD_ILS:1972452025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Suzuki, Junichi. editor. Nakano, Tadashi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32615-8">http://dx.doi.org/10.1007/978-3-642-32615-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Geographic Information Science 7th International Conference, GIScience 2012, Columbus, OH, USA, September 18-21, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1973092025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Xiao, Ningchuan. editor. Kwan, Mei-Po. editor. Goodchild, Michael F. editor. Shekhar, Shashi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33024-7">http://dx.doi.org/10.1007/978-3-642-33024-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Intelligent Virtual Agents 12th International Conference, IVA 2012, Santa Cruz, CA, USA, September, 12-14, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1973352025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Nakano, Yukiko. editor. Neff, Michael. editor. Paiva, Ana. editor. Walker, Marilyn. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Agent-Mediated Electronic Commerce. Designing Trading Strategies and Mechanisms for Electronic Markets AMEC 2010, Toronto, ON, Canada, May 10, 2010, and TADA 2010, Cambridge, MA, USA, June 7, 2010 Revised Selected Papersent://SD_ILS/0/SD_ILS:1974912025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor David, Esther. editor. Larson, Kate. editor. Rogers, Alex. editor. Shehory, Onn. editor. Stein, Sebastian. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34200-4">http://dx.doi.org/10.1007/978-3-642-34200-4</a><br/>Format: Electronic Resources<br/>Availability 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 Papersent://SD_ILS/0/SD_ILS:1974942025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Groth, Paul. editor. Frew, James. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Practical Aspects of Declarative Languages 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1962712025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Russo, Claudio. editor. Zhou, Neng-Fa. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-27694-1">http://dx.doi.org/10.1007/978-3-642-27694-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Aided Verification 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedingsent://SD_ILS/0/SD_ILS:1970762025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Madhusudan, P. editor. Seshia, Sanjit A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Papersent://SD_ILS/0/SD_ILS:1974222025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Atzmueller, Martin. editor. Chin, Alvin. editor. Helic, Denis. editor. Hotho, Andreas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>The Semantic Web – ISWC 2012 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings, Part IIent://SD_ILS/0/SD_ILS:1975742025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Cudré-Mauroux, Philippe. editor. Heflin, Jeff. editor. Sirin, Evren. editor. Tudorache, Tania. editor. Euzenat, Jérôme. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>The Semantic Web – ISWC 2012 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings, Part Ient://SD_ILS/0/SD_ILS:1975752025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Cudré-Mauroux, Philippe. editor. Heflin, Jeff. editor. Sirin, Evren. editor. Tudorache, Tania. editor. Euzenat, Jérôme. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Affective Computing and Intelligent Interaction Fourth International Conference, ACII 2011, Memphis, TN, USA, October 9–12, 2011, Proceedings, Part IIent://SD_ILS/0/SD_ILS:1956782025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor D’Mello, Sidney. editor. Graesser, Arthur. editor. Schuller, Björn. editor. Martin, Jean-Claude. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24571-8">http://dx.doi.org/10.1007/978-3-642-24571-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Affective Computing and Intelligent Interaction 4th International Conference, ACII 2011, Memphis, TN, USA, October 9–12, 2011, Proceedings, Part Ient://SD_ILS/0/SD_ILS:1956862025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor D’Mello, Sidney. editor. Graesser, Arthur. editor. Schuller, Björn. editor. Martin, Jean-Claude. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24600-5">http://dx.doi.org/10.1007/978-3-642-24600-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Knowledge Science, Engineering and Management 5th International Conference, KSEM 2011, Irvine, CA, USA, December 12-14, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1960932025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Xiong, Hui. editor. Lee, W. B. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-25975-3">http://dx.doi.org/10.1007/978-3-642-25975-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Implementation and Application of Functional Languages 21st International Symposium, IFL 2009, South Orange, NJ, USA, September 23-25, 2009, Revised Selected Papersent://SD_ILS/0/SD_ILS:1933082025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Morazán, Marco T. editor. Scholz, Sven-Bodo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16478-1">http://dx.doi.org/10.1007/978-3-642-16478-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Exploring the Grand Challenges for Next Generation E-Business 8th Workshop on E-Business, WEB 2009, Phoenix, AZ, USA, December 15, 2009, Revised Selected Papersent://SD_ILS/0/SD_ILS:1936042025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Sharman, Raj. editor. Rao, H. Raghav. editor. Raghu, T. S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17449-0">http://dx.doi.org/10.1007/978-3-642-17449-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Practical Aspects of Declarative Languages 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1938742025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Rocha, Ricardo. editor. Launchbury, John. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-18378-2">http://dx.doi.org/10.1007/978-3-642-18378-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Model Checking and Artificial Intelligence 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:1944492025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Meyden, Ron. editor. Smaus, Jan-Georg. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-20674-0">http://dx.doi.org/10.1007/978-3-642-20674-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Engineering Psychology and Cognitive Ergonomics 9th International Conference, EPCE 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1948022025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Harris, Don. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21741-8">http://dx.doi.org/10.1007/978-3-642-21741-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Human Centered Design Second International Conference, HCD 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1948062025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Kurosu, Masaaki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21753-1">http://dx.doi.org/10.1007/978-3-642-21753-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Digital Human Modeling Third International Conference, ICDHM 2011, Held as Part of HCI International 2011, Orlando, FL, USA July 9-14, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1948222025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Duffy, Vincent G. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21799-9">http://dx.doi.org/10.1007/978-3-642-21799-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Modern Approaches in Applied Intelligence 24th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2011, Syracuse, NY, USA, June 28 – July 1, 2011, Proceedings, Part Ient://SD_ILS/0/SD_ILS:1948312025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Mehrotra, Kishan G. editor. Mohan, Chilukuri K. editor. Oh, Jae C. editor. Varshney, Pramod K. editor. Ali, Moonis. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21822-4">http://dx.doi.org/10.1007/978-3-642-21822-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Modern Approaches in Applied Intelligence 24th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2011, Syracuse, NY, USA, June 28 – July 1, 2011, Proceedings, Part IIent://SD_ILS/0/SD_ILS:1948332025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Mehrotra, Kishan G. editor. Mohan, Chilukuri K. editor. Oh, Jae C. editor. Varshney, Pramod K. editor. Ali, Moonis. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21827-9">http://dx.doi.org/10.1007/978-3-642-21827-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations of Augmented Cognition. Directing the Future of Adaptive Systems 6th International Conference, FAC 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1948402025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Schmorrow, Dylan D. editor. Fidopiastis, Cali M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21852-1">http://dx.doi.org/10.1007/978-3-642-21852-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Virtual and Mixed Reality - New Trends International Conference, Virtual and Mixed Reality 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part Ient://SD_ILS/0/SD_ILS:1948922025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Shumaker, Randall. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22021-0">http://dx.doi.org/10.1007/978-3-642-22021-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Virtual and Mixed Reality - Systems and Applications International Conference, Virtual and Mixed Reality 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part IIent://SD_ILS/0/SD_ILS:1948932025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Shumaker, Randall. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22024-1">http://dx.doi.org/10.1007/978-3-642-22024-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>HCI International 2011 – Posters’ Extended Abstracts International Conference, HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part IIent://SD_ILS/0/SD_ILS:1949142025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Stephanidis, Constantine. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22095-1">http://dx.doi.org/10.1007/978-3-642-22095-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>HCI International 2011 – Posters’ Extended Abstracts International Conference, HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part Ient://SD_ILS/0/SD_ILS:1949152025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Stephanidis, Constantine. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22098-2">http://dx.doi.org/10.1007/978-3-642-22098-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Aided Verification 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1949182025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Gopalakrishnan, Ganesh. editor. Qadeer, Shaz. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22110-1">http://dx.doi.org/10.1007/978-3-642-22110-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computing and Combinatorics 17th Annual International Conference, COCOON 2011, Dallas, TX, USA, August 14-16, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1951042025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Fu, Bin. editor. Du, Ding-Zhu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22685-4">http://dx.doi.org/10.1007/978-3-642-22685-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Artificial General Intelligence 4th International Conference, AGI 2011, Mountain View, CA, USA, August 3-6, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1951702025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Schmidhuber, Jürgen. editor. Thórisson, Kristinn R. editor. Looks, Moshe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22887-2">http://dx.doi.org/10.1007/978-3-642-22887-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Data Mining. Applications and Theoretical Aspects 11th Industrial Conference, ICDM 2011, New York, NY, USA, August 30 – September 3, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1952642025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Perner, Petra. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23184-1">http://dx.doi.org/10.1007/978-3-642-23184-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Machine Learning and Data Mining in Pattern Recognition 7th International Conference, MLDM 2011, New York, NY, USA, August 30 – September 3, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1952692025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Perner, Petra. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23199-5">http://dx.doi.org/10.1007/978-3-642-23199-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>DNA Computing and Molecular Programming 17th International Conference, DNA 17, Pasadena, CA, USA, September 19-23, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1954012025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Cardelli, Luca. editor. Shih, William. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23638-9">http://dx.doi.org/10.1007/978-3-642-23638-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Scalable Uncertainty Management 5th International Conference, SUM 2011, Dayton, OH, USA, October 10-13, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1955012025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Benferhat, Salem. editor. Grant, John. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23963-2">http://dx.doi.org/10.1007/978-3-642-23963-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Service-Oriented Perspectives in Design Science Research 6th International Conference, DESRIST 2011, Milwaukee, WI, USA, May 5-6, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1944362025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Jain, Hemant. editor. Sinha, Atish P. editor. Vitharana, Padmal. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-20633-7">http://dx.doi.org/10.1007/978-3-642-20633-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papersent://SD_ILS/0/SD_ILS:1946542025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Calinescu, Radu. editor. Jackson, Ethan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21292-5">http://dx.doi.org/10.1007/978-3-642-21292-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory and Applications of Satisfiability Testing - SAT 2011 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1947472025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Sakallah, Karem A. editor. Simon, Laurent. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21581-0">http://dx.doi.org/10.1007/978-3-642-21581-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Scientific and Statistical Database Management 23rd International Conference, SSDBM 2011, Portland, OR, USA, July 20-22, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1949982025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Bayard Cushing, Judith. editor. French, James. editor. Bowers, Shawn. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22351-8">http://dx.doi.org/10.1007/978-3-642-22351-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Spatial and Temporal Databases 12th International Symposium, SSTD 2011, Minneapolis, MN, USA, August 24-26, 2011, Proceedingsent://SD_ILS/0/SD_ILS:1951822025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Pfoser, Dieter. editor. Tao, Yufei. editor. Mouratidis, Kyriakos. editor. Nascimento, Mario A. editor. Mokbel, Mohamed. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22922-0">http://dx.doi.org/10.1007/978-3-642-22922-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Algorithmic Decision Theory Second International Conference, ADT 2011, Piscataway, NJ, USA, October 26-28, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1957752025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Brafman, Ronen I. editor. Roberts, Fred S. editor. Tsoukiàs, Alexis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24873-3">http://dx.doi.org/10.1007/978-3-642-24873-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Rule - Based Modeling and Computing on the Semantic Web 5th International Symposium, RuleML 2011– America, Ft. Lauderdale, FL, Florida, USA, November 3-5, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1957862025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Olken, Frank. editor. Palmirani, Monica. editor. Sottara, Davide. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24908-2">http://dx.doi.org/10.1007/978-3-642-24908-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mobile Computing, Applications, and Services First International ICST Conference, MobiCASE 2009, San Diego, CA, USA, October 26-29, 2009, Revised Selected Papersent://SD_ILS/0/SD_ILS:1920482025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Phan, Thomas. editor. Montanari, Rebecca. editor. Zerfos, Petros. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12607-9">http://dx.doi.org/10.1007/978-3-642-12607-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Intelligent Data Analysis IX 9th International Symposium, IDA 2010, Tucson, AZ, USA, May 19-21, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1922062025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Cohen, Paul R. editor. Adams, Niall M. editor. Berthold, Michael R. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13062-5">http://dx.doi.org/10.1007/978-3-642-13062-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Intelligent Tutoring Systems 10th International Conference, ITS 2010, Pittsburgh, PA, USA, June 14-18, 2010, Proceedings, Part IIent://SD_ILS/0/SD_ILS:1923332025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Aleven, Vincent. editor. Kay, Judy. editor. Mostow, Jack. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13437-1">http://dx.doi.org/10.1007/978-3-642-13437-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Coordination, Organizations, Institutions and Norms in Agent Systems V COIN 2009 International Workshops. COIN@AAMAS 2009, Budapest, Hungary, May 2009, COIN@IJCAI 2009, Pasadena, USA, July 2009, COIN@MALLOW 2009, Turin, Italy, September 2009. Revised Selected Papersent://SD_ILS/0/SD_ILS:1928272025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Padget, Julian. editor. Artikis, Alexander. editor. Vasconcelos, Wamberto. editor. Stathis, Kostas. editor. Silva, Viviane Torres. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14962-7">http://dx.doi.org/10.1007/978-3-642-14962-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Agent-Mediated Electronic Commerce. Designing Trading Strategies and Mechanisms for Electronic Markets AAMAS Workshop, AMEC 2009, Budapest, Hungary, May 12, 2009, and IJCAI Workshop, TADA 2009, Pasadena, CA, USA, July 13, 2009, Selected and Revised Papersent://SD_ILS/0/SD_ILS:1928662025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor David, Esther. editor. Gerding, Enrico. editor. Sarne, David. editor. Shehory, Onn. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15117-0">http://dx.doi.org/10.1007/978-3-642-15117-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Agent-Mediated Electronic Commerce and Trading Agent Design and Analysis AAMAS Workshop, AMEC 2008, Estoril, Portugal, May 12-16, 2008, and AAAI Workshop, TADA 2008, Chicago, IL, USA, July 14, 2008, Revised Selected Papersent://SD_ILS/0/SD_ILS:1929052025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Ketter, Wolfgang. editor. Poutré, Han. editor. Sadeh, Norman. editor. Shehory, Onn. editor. Walsh, William. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15237-5">http://dx.doi.org/10.1007/978-3-642-15237-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Distributed Computing 24th International Symposium, DISC 2010, Cambridge, MA, USA, September 13-15, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1930772025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Lynch, Nancy A. editor. Shvartsman, Alexander A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15763-9">http://dx.doi.org/10.1007/978-3-642-15763-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Diagrammatic Representation and Inference 6th International Conference, Diagrams 2010, Portland, OR, USA, August 9-11, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1927092025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Goel, Ashok K. editor. Jamnik, Mateja. editor. Narayanan, N. Hari. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14600-8">http://dx.doi.org/10.1007/978-3-642-14600-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Social Network Mining and Analysis Second International Workshop, SNAKDD 2008, Las Vegas, NV, USA, August 24-27, 2008ent://SD_ILS/0/SD_ILS:1928162025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Giles, Lee. editor. Smith, Marc. editor. Yen, John. editor. Zhang, Haizheng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14929-0">http://dx.doi.org/10.1007/978-3-642-14929-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Learning Classifier Systems 11th International Workshop, IWLCS 2008, Atlanta, GA, USA, July 13, 2008, and 12th International Workshop, IWLCS 2009, Montreal, QC, Canada, July 9, 2009, Revised Selected Papersent://SD_ILS/0/SD_ILS:1936222025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Bacardit, Jaume. editor. Browne, Will. editor. Drugowitsch, Jan. editor. Bernadó-Mansilla, Ester. editor. Butz, Martin V. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17508-4">http://dx.doi.org/10.1007/978-3-642-17508-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Algorithms and Models for the Web-Graph 7th International Workshop, WAW 2010, Stanford, CA, USA, December 13-14, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1937762025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Kumar, Ravi. editor. Sivakumar, Dandapani. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-18009-5">http://dx.doi.org/10.1007/978-3-642-18009-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Agents and Peer-to-Peer Computing 6th International Workshop, AP2PC 2007, Honululu, Hawaii, USA, May 14-18, 2007, Revised and Selected Papersent://SD_ILS/0/SD_ILS:1916682025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Joseph, Samuel R. H. editor. Despotovic, Zoran. editor. Moro, Gianluca. editor. Bergamaschi, Sonia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11368-0">http://dx.doi.org/10.1007/978-3-642-11368-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Intelligent Tutoring Systems 10th International Conference, ITS 2010, Pittsburgh, PA, USA, June 14-18, 2010, Proceedings, Part Ient://SD_ILS/0/SD_ILS:1923192025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Aleven, Vincent. editor. Kay, Judy. editor. Mostow, Jack. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13388-6">http://dx.doi.org/10.1007/978-3-642-13388-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>User Modeling, Adaptation, and Personalization 18th International Conference, UMAP 2010, Big Island, HI, USA, June 20-24, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1923442025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Bra, Paul. editor. Kobsa, Alfred. editor. Chin, David. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13470-8">http://dx.doi.org/10.1007/978-3-642-13470-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Semantic Web Rules International Symposium, RuleML 2010, Washington, DC, USA, October 21-23, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1932482025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Dean, Mike. editor. Hall, John. editor. Rotolo, Antonino. editor. Tabet, Said. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16289-3">http://dx.doi.org/10.1007/978-3-642-16289-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mobile Wireless Middleware, Operating Systems, and Applications Third International Conference, Mobilware 2010, Chicago, IL, USA, June 30 - July 2, 2010. Revised Selected Papersent://SD_ILS/0/SD_ILS:1936982025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Cai, Ying. editor. Magedanz, Thomas. editor. Li, Minglu. editor. Xia, Jinchun. editor. Giannelli, Carlo. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17758-3">http://dx.doi.org/10.1007/978-3-642-17758-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Intelligent Virtual Agents 10th International Conference, IVA 2010, Philadelphia, PA, USA, September 20-22, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1931192025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Allbeck, Jan. editor. Badler, Norman. editor. Bickmore, Timothy. editor. Pelachaud, Catherine. editor. Safonova, Alla. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15892-6">http://dx.doi.org/10.1007/978-3-642-15892-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Entertainment Computing - ICEC 2008 7th International Conference, Pittsburgh, PA, USA, September 25-27, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1892242025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Stevens, Scott M. editor. Saldamarco, Shirley J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-89222-9">http://dx.doi.org/10.1007/978-3-540-89222-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 6th International Conference, CPAIOR 2009 Pittsburgh, PA, USA, May 27-31, 2009 Proceedingsent://SD_ILS/0/SD_ILS:1901672025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Hoeve, Willem-Jan. editor. Hooker, John N. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-01929-6">http://dx.doi.org/10.1007/978-3-642-01929-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Self-Organizing Maps 7th International Workshop, WSOM 2009, St. Augustine, FL, USA, June 8-10, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1903102025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Príncipe, José C. editor. Miikkulainen, Risto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02397-2">http://dx.doi.org/10.1007/978-3-642-02397-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Nano-Net Third International ICST Conference, NanoNet 2008, Boston, MA, USA, September 14-16, 2008, Revised Selected Papersent://SD_ILS/0/SD_ILS:1903182025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Cheng, Maggie. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02427-6">http://dx.doi.org/10.1007/978-3-642-02427-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Virtual and Mixed Reality Third International Conference, VMR 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1904192025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Shumaker, Randall. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02771-0">http://dx.doi.org/10.1007/978-3-642-02771-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Human Centered Design First International Conference, HCD 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009 Proceedingsent://SD_ILS/0/SD_ILS:1904282025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Kurosu, Masaaki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02806-9">http://dx.doi.org/10.1007/978-3-642-02806-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic Programming 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1904402025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Hill, Patricia M. editor. Warren, David S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02846-5">http://dx.doi.org/10.1007/978-3-642-02846-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Scalable Uncertainty Management Third International Conference, SUM 2009, Washington, DC, USA, September 28-30, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1909302025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Godo, Lluís. editor. Pugliese, Andrea. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04388-8">http://dx.doi.org/10.1007/978-3-642-04388-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Research in Computational Molecular Biology 13th Annual International Conference, RECOMB 2009, Tucson, AZ, USA, May 18-21, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1901872025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Batzoglou, Serafim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02008-7">http://dx.doi.org/10.1007/978-3-642-02008-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Engineering Psychology and Cognitive Ergonomics 8th International Conference, EPCE 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1904112025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Harris, Don. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02728-4">http://dx.doi.org/10.1007/978-3-642-02728-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Processing in Medical Imaging 21st International Conference, IPMI 2009, Williamsburg, VA, USA, July 5-10, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1903402025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Prince, Jerry L. editor. Pham, Dzung L. editor. Myers, Kyle J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02498-6">http://dx.doi.org/10.1007/978-3-642-02498-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Case-Based Reasoning Research and Development 8th International Conference on Case-Based Reasoning, ICCBR 2009 Seattle, WA, USA, July 20-23, 2009 Proceedingsent://SD_ILS/0/SD_ILS:1904852025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor McGinty, Lorraine. editor. Wilson, David C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02998-1">http://dx.doi.org/10.1007/978-3-642-02998-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Sanskrit Computational Linguistics First and Second International Symposia Rocquencourt, France, October 29-31, 2007 Providence, RI, USA, May 15-17, 2008 Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:1895962025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Huet, Gérard. editor. Kulkarni, Amba. editor. Scharf, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00155-0">http://dx.doi.org/10.1007/978-3-642-00155-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Web Mining and Web Usage Analysis 9th International Workshop on Knowledge Discovery on the Web, WebKDD 2007, and 1st International Workshop on Social Networks Analysis, SNA-KDD 2007, San Jose, CA, USA, August 12-15, 2007. Revised Papersent://SD_ILS/0/SD_ILS:1897222025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Zhang, Haizheng. editor. Spiliopoulou, Myra. editor. Mobasher, Bamshad. editor. Giles, C. Lee. editor. McCallum, Andrew. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00528-2">http://dx.doi.org/10.1007/978-3-642-00528-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Bioinformatics and Computational Biology First International Conference, BICoB 2009, New Orleans, LA, USA, April 8-10, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1897862025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Rajasekaran, Sanguthevar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00727-9">http://dx.doi.org/10.1007/978-3-642-00727-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>DNA Computing and Molecular Programming 15th International Conference, DNA 15, Fayetteville, AR, USA, June 8-11, 2009, Revised Selected Papersent://SD_ILS/0/SD_ILS:1914192025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Deaton, Russell. editor. Suyama, Akira. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-10604-0">http://dx.doi.org/10.1007/978-3-642-10604-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Multimodal Technologies for Perception of Humans International Evaluation Workshops CLEAR 2007 and RT 2007, Baltimore, MD, USA, May 8-11, 2007, Revised Selected Papersent://SD_ILS/0/SD_ILS:1855192025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Stiefelhagen, Rainer. editor. Bowers, Rachel. editor. Fiscus, Jonathan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68585-2">http://dx.doi.org/10.1007/978-3-540-68585-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Inductive Logic Programming 17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papersent://SD_ILS/0/SD_ILS:1881392025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Blockeel, Hendrik. editor. Ramon, Jan. editor. Shavlik, Jude. editor. Tadepalli, Prasad. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78469-2">http://dx.doi.org/10.1007/978-3-540-78469-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Multi-Agent Systems 5th International Workshop, ProMAS 2007 Honolulu, HI, USA, May 15, 2007 Revised and Invited Papersent://SD_ILS/0/SD_ILS:1883202025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Dastani, Mehdi. editor. El Fallah Seghrouchni, Amal. editor. Ricci, Alessandro. editor. Winikoff, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-79043-3">http://dx.doi.org/10.1007/978-3-540-79043-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Aided Verification 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedingsent://SD_ILS/0/SD_ILS:1859822025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Gupta, Aarti. editor. Malik, Sharad. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-70545-1">http://dx.doi.org/10.1007/978-3-540-70545-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Multi-Agent-Based Simulation VIII International Workshop, MABS 2007, Honolulu, HI, USA, May 15, 2007, Revised and Invited Papersent://SD_ILS/0/SD_ILS:1860982025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Antunes, Luis. editor. Paolucci, Mario. editor. Norling, Emma. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-70916-9">http://dx.doi.org/10.1007/978-3-540-70916-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>DNA Computing 13th International Meeting on DNA Computing, DNA13, Memphis, TN, USA, June 4-8, 2007, Revised Selected Papersent://SD_ILS/0/SD_ILS:1880292025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Garzon, Max H. editor. Yan, Hao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77962-9">http://dx.doi.org/10.1007/978-3-540-77962-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Argumentation in Multi-Agent Systems 4th International Workshop, ArgMAS 2007, Honolulu, HI, USA, May 15, 2007, Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:1882762025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Rahwan, Iyad. editor. Parsons, Simon. editor. Reed, Chris. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78915-4">http://dx.doi.org/10.1007/978-3-540-78915-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Coordination, Organizations, Institutions, and Norms in Agent Systems III COIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 14, 2007 COIN@MALLOW 2007, Durham, UK, September 3-4, 2007 Revised Selected Papersent://SD_ILS/0/SD_ILS:1883052025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Sichman, Jaime Simão. editor. Padget, Julian. editor. Ossowski, Sascha. editor. Noriega, Pablo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-79003-7">http://dx.doi.org/10.1007/978-3-540-79003-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Agent-Oriented Software Engineering VIII 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papersent://SD_ILS/0/SD_ILS:1884532025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Luck, Michael. editor. Padgham, Lin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-79488-2">http://dx.doi.org/10.1007/978-3-540-79488-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Learning Classifier Systems 10th International Workshop, IWLCS 2006, Seattle, MA, USA, July 8, 2006 and 11th International Workshop, IWLCS 2007, London, UK, July 8, 2007, Revised Selected Papersent://SD_ILS/0/SD_ILS:1889942025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Bacardit, Jaume. editor. Bernadó-Mansilla, Ester. editor. Butz, Martin V. editor. Kovacs, Tim. editor. Llorà, Xavier. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-88138-4">http://dx.doi.org/10.1007/978-3-540-88138-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Rough Sets and Current Trends in Computing 6th International Conference, RSCTC 2008 Akron, OH, USA, October 23-25, 2008 Proceedingsent://SD_ILS/0/SD_ILS:1890512025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Chan, Chien-Chung. editor. Grzymala-Busse, Jerzy W. editor. Ziarko, Wojciech P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-88425-5">http://dx.doi.org/10.1007/978-3-540-88425-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Declarative Agent Languages and Technologies V 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:1879152025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Baldoni, Matteo. editor. Son, Tran Cao. editor. Riemsdijk, M. Birna. editor. Winikoff, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77564-5">http://dx.doi.org/10.1007/978-3-540-77564-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedingsent://SD_ILS/0/SD_ILS:1885482025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Meseguer, José. editor. Roşu, Grigore. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-79980-1">http://dx.doi.org/10.1007/978-3-540-79980-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Medical Image Computing and Computer-Assisted Intervention – MICCAI 2008 11th International Conference, New York, NY, USA, September 6-10, 2008, Proceedings, Part Ient://SD_ILS/0/SD_ILS:1888252025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Metaxas, Dimitris. editor. Axel, Leon. editor. Fichtinger, Gabor. editor. Székely, Gábor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85988-8">http://dx.doi.org/10.1007/978-3-540-85988-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Medical Image Computing and Computer-Assisted Intervention – MICCAI 2008 11th International Conference, New York, NY, USA, September 6-10, 2008, Proceedings, Part IIent://SD_ILS/0/SD_ILS:1888262025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Metaxas, Dimitris. editor. Axel, Leon. editor. Fichtinger, Gabor. editor. Székely, Gábor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85990-1">http://dx.doi.org/10.1007/978-3-540-85990-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Visual Computing 4th International Symposium, ISVC 2008, Las Vegas, NV, USA, December 1-3, 2008. Proceedings, Part Ient://SD_ILS/0/SD_ILS:1893032025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Bebis, George. editor. Boyle, Richard. editor. Parvin, Bahram. editor. Koracin, Darko. editor. Remagnino, Paolo. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-89639-5">http://dx.doi.org/10.1007/978-3-540-89639-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Visual Computing 4th International Symposium, ISVC 2008, Las Vegas, NV, USA, December 1-3, 2008. Proceedings, Part IIent://SD_ILS/0/SD_ILS:1893062025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Bebis, George. editor. Boyle, Richard. editor. Parvin, Bahram. editor. Koracin, Darko. editor. Remagnino, Paolo. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-89646-3">http://dx.doi.org/10.1007/978-3-540-89646-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Structural, Syntactic, and Statistical Pattern Recognition Joint IAPR International Workshop, SSPR & SPR 2008, Orlando, USA, December 4-6, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1893132025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Vitoria Lobo, Niels. editor. Kasparis, Takis. editor. Roli, Fabio. editor. Kwok, James T. editor. Georgiopoulos, Michael. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-89689-0">http://dx.doi.org/10.1007/978-3-540-89689-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Spatial and Temporal Databases 10th International Symposium, SSTD 2007, Boston, MA, USA, July 16-18, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1868872025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Papadias, Dimitris. editor. Zhang, Donghui. editor. Kollios, George. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73540-3">http://dx.doi.org/10.1007/978-3-540-73540-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Scalable Uncertainty Management First International Conference, SUM 2007, Washington,DC, USA, October 10-12, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1874092025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Prade, Henri. editor. Subrahmanian, V. S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75410-7">http://dx.doi.org/10.1007/978-3-540-75410-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Principles and Practice of Constraint Programming – CP 2007 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1873242025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Bessière, Christian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74970-7">http://dx.doi.org/10.1007/978-3-540-74970-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Visual Computing Third International Symposium, ISVC 2007, Lake Tahoe, NV, USA, November 26-28, 2007, Proceedings, Part IIent://SD_ILS/0/SD_ILS:1877042025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Bebis, George. editor. Boyle, Richard. editor. Parvin, Bahram. editor. Koracin, Darko. editor. Paragios, Nikos. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-76856-2">http://dx.doi.org/10.1007/978-3-540-76856-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Visual Computing Third International Symposium, ISVC 2007, Lake Tahoe, NV, USA, November 26-28, 2007, Proceedings, Part Ient://SD_ILS/0/SD_ILS:1877052025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Bebis, George. editor. Boyle, Richard. editor. Parvin, Bahram. editor. Koracin, Darko. editor. Paragios, Nikos. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-76858-6">http://dx.doi.org/10.1007/978-3-540-76858-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Research in Computational Molecular Biology 11th Annual International Conference, RECOMB 2007, Oakland, CA, USA, April 21-25, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1863422025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Speed, Terry. editor. Huang, Haiyan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71681-5">http://dx.doi.org/10.1007/978-3-540-71681-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic Programming and Nonmonotonic Reasoning 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1864722025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Baral, Chitta. editor. Brewka, Gerhard. editor. Schlipf, John. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72200-7">http://dx.doi.org/10.1007/978-3-540-72200-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Service-Oriented Computing: Agents, Semantics, and Engineering AAMAS 2007 International Workshop, SOCASE 2007, Honolulu, HI, USA, May 14, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1866032025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Huang, Jingshan. editor. Kowalczyk, Ryszard. editor. Maamar, Zakaria. editor. Martin, David. editor. Müller, Ingo. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72619-7">http://dx.doi.org/10.1007/978-3-540-72619-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Functional Imaging and Modeling of the Heart 4th International Conference, FIHM 2007, Salt Lake City, UT, USA, June 7-9, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1866832025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Sachse, Frank B. editor. Seemann, Gunnar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72907-5">http://dx.doi.org/10.1007/978-3-540-72907-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Learning Theory 20th Annual Conference on Learning Theory, COLT 2007, San Diego, CA, USA; June 13-15, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1866892025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Bshouty, Nader H. editor. Gentile, Claudio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72927-3">http://dx.doi.org/10.1007/978-3-540-72927-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Persuasive Technology Second International Conference on Persuasive Technology, PERSUASIVE 2007, Palo Alto, CA, USA, April 26-27, 2007, Revised Selected Papersent://SD_ILS/0/SD_ILS:1877582025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Kort, Yvonne. editor. IJsselsteijn, Wijnand. editor. Midden, Cees. editor. Eggen, Berry. editor. Fogg, B. J. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77006-0">http://dx.doi.org/10.1007/978-3-540-77006-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Web Mining and Web Usage Analysis 8th International Workshop on Knowledge Discovery on the Web, WebKDD 2006 Philadelphia, USA, August 20, 2006 Revised Papersent://SD_ILS/0/SD_ILS:1878912025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Nasraoui, Olfa. editor. Spiliopoulou, Myra. editor. Srivastava, Jaideep. editor. Mobasher, Bamshad. editor. Masand, Brij. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77485-3">http://dx.doi.org/10.1007/978-3-540-77485-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Engineering Research and Applications Second International Conference, SERA 2004, Los Angeles, CA, USA, MAY 5-7, 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:1831922025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Dosch, Walter. editor. Lee, Roger Y. editor. Wu, Chisu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11668855">http://dx.doi.org/10.1007/11668855</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Learning Theory 19th Annual Conference on Learning Theory, COLT 2006, Pittsburgh, PA, USA, June 22-25, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1842322025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Lugosi, Gábor. editor. Simon, Hans Ulrich. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11776420">http://dx.doi.org/10.1007/11776420</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Term Rewriting and Applications 17th International Conference, RTA 2006 Seattle, WA, USA, August 12-14, 2006 Proceedingsent://SD_ILS/0/SD_ILS:1844472025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Pfenning, Frank. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11805618">http://dx.doi.org/10.1007/11805618</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Aided Verification 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1845392025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Ball, Thomas. editor. Jones, Robert B. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11817963">http://dx.doi.org/10.1007/11817963</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Intelligent Virtual Agents 6th International Conference, IVA 2006, Marina Del Rey, CA, USA, August 21-23, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1845612025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Gratch, Jonathan. editor. Young, Michael. editor. Aylett, Ruth. editor. Ballin, Daniel. editor. Olivier, Patrick. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11821830">http://dx.doi.org/10.1007/11821830</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Visual Computing Second International Symposium, ISVC 2006 Lake Tahoe, NV, USA, November 6-8, 2006 Proceedings, Part Ient://SD_ILS/0/SD_ILS:1851092025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Bebis, George. editor. Boyle, Richard. editor. Parvin, Bahram. editor. Koracin, Darko. editor. Remagnino, Paolo. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11919476">http://dx.doi.org/10.1007/11919476</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Semantic Web - ISWC 2006 5th International Semantic Web Conference, ISWC 2006, Athens, GA, USA, November 5-9, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1851652025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Cruz, Isabel. editor. Decker, Stefan. editor. Allemang, Dean. editor. Preist, Chris. editor. Schwabe, Daniel. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11926078">http://dx.doi.org/10.1007/11926078</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Innovative Concepts for Autonomic and Agent-Based Systems Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, September 20-22, 2005. Revised Papersent://SD_ILS/0/SD_ILS:1857562025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Hinchey, Michael G. editor. Rago, Patricia. editor. Rash, James L. editor. Rouff, Christopher A. editor. Sterritt, Roy. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11964995">http://dx.doi.org/10.1007/11964995</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Machine Learning for Multimodal Interaction Third International Workshop, MLMI 2006, Bethesda, MD, USA, May 1-4, 2006, Revised Selected Papersent://SD_ILS/0/SD_ILS:1857572025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Renals, Steve. editor. Bengio, Samy. editor. Fiscus, Jonathan G. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11965152">http://dx.doi.org/10.1007/11965152</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automated Deduction in Geometry 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004. Revised Papersent://SD_ILS/0/SD_ILS:1826152025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Hong, Hoon. editor. Wang, Dongming. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11615798">http://dx.doi.org/10.1007/11615798</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Diagrammatic Representation and Inference 4th International Conference, Diagrams 2006, Stanford, CA, USA, June 28-30, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1842792025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Barker-Plummer, Dave. editor. Cox, Richard. editor. Swoboda, Nik. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11783183">http://dx.doi.org/10.1007/11783183</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1843982025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Etalle, Sandro. editor. Truszczyński, Mirosław. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11799573">http://dx.doi.org/10.1007/11799573</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automated Reasoning Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1844932025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Furbach, Ulrich. editor. Shankar, Natarajan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11814771">http://dx.doi.org/10.1007/11814771</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1844962025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Biere, Armin. editor. Gomes, Carla P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11814948">http://dx.doi.org/10.1007/11814948</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Web Mining and Web Usage Analysis 7th International Workshop on Knowledge Discovery on the Web, WebKDD 2005, Chicago, IL, USA, August 21, 2005. Revised Papersent://SD_ILS/0/SD_ILS:1849292025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Nasraoui, Olfa. editor. Zaïane, Osmar. editor. Spiliopoulou, Myra. editor. Mobasher, Bamshad. editor. Masand, Brij. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11891321">http://dx.doi.org/10.1007/11891321</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Web Mining and Web Usage Analysis 6th International Workshop on Knowledge Discovery on the Web, WebKDD 2004, Seattle, WA, USA, August 22-25, 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:1850012025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Mobasher, Bamshad. editor. Nasraoui, Olfa. editor. Liu, Bing. editor. Masand, Brij. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11899402">http://dx.doi.org/10.1007/11899402</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Conceptual Modeling - ER 2006 25th International Conference on Conceptual Modeling, Tucson, AZ, USA, November 6-9, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1850052025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Embley, David W. editor. Olivé, Antoni. editor. Ram, Sudha. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11901181">http://dx.doi.org/10.1007/11901181</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Conceptual Modeling - Theory and Practice ER 2006 Workshops BP-UML, CoMoGIS, COSS, ECDM, OIS, QoIS, SemWAT, Tucson, AZ, USA, November 6-9, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1850362025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Roddick, John F. editor. Benjamins, V. Richard. editor. Si-said Cherfi, Samira. editor. Chiang, Roger. editor. Claramunt, Christophe. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11908883">http://dx.doi.org/10.1007/11908883</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Visual Computing Second International Symposium, ISVC 2006 Lake Tahoe, NV, USA, November 6-8, 2006. Proceedings, Part IIent://SD_ILS/0/SD_ILS:1851072025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Bebis, George. editor. Boyle, Richard. editor. Parvin, Bahram. editor. Koracin, Darko. editor. Remagnino, Paolo. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11919629">http://dx.doi.org/10.1007/11919629</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Logic in Multi-Agent Systems 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:1822722025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Dix, Jürgen. editor. Leite, João. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b104175">http://dx.doi.org/10.1007/b104175</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Agent-Oriented Software Engineering V 5th International Workshop, AOSE 2004, New York, NY, USA, July 19, 2004. Revised Selected Papersent://SD_ILS/0/SD_ILS:1823752025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Odell, James. editor. Giorgini, Paolo. editor. Müller, Jörg P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b105022">http://dx.doi.org/10.1007/b105022</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Semantic Web Services and Web Process Composition First International Workshop, SWSWPC 2004, San Diego, CA, USA, July 6, 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:1823782025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Cardoso, Jorge. editor. Sheth, Amit. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b105145">http://dx.doi.org/10.1007/b105145</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Medical Image Computing and Computer-Assisted Intervention – MICCAI 2005 8th International Conference, Palm Springs, CA, USA, October 26-29, 2005, Proceedings, Part Ient://SD_ILS/0/SD_ILS:1831572025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Duncan, James S. editor. Gerig, Guido. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11566465">http://dx.doi.org/10.1007/11566465</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Medical Image Computing and Computer-Assisted Intervention – MICCAI 2005 8th International Conference, Palm Springs, CA, USA, October 26-29, 2005, Proceedings, Part IIent://SD_ILS/0/SD_ILS:1831582025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Duncan, James S. editor. Gerig, Guido. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11566489">http://dx.doi.org/10.1007/11566489</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Energy Minimization Methods in Computer Vision and Pattern Recognition 5th International Workshop, EMMCVPR 2005, St. Augustine, FL, USA, November 9-11, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1831612025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Rangarajan, Anand. editor. Vemuri, Baba. editor. Yuille, Alan L. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11585978">http://dx.doi.org/10.1007/11585978</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Multi-Agent and Multi-Agent-Based Simulation Joint Workshop MABS 2004, New York, NY, USA, July 19, 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:1832302025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Davidsson, Paul. editor. Logan, Brian. editor. Takadama, Keiki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106991">http://dx.doi.org/10.1007/b106991</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Agent Communication International Workshop on Agent Communication, AC 2004, New York, NY, USA, July 19, 2004, Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:1832452025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Eijk, Rogier M. editor. Huget, Marc-Philippe. editor. Dignum, Frank. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106468">http://dx.doi.org/10.1007/b106468</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Multi-Agent Systems Second International Workshop ProMAS 2004, New York, NY, USA, July 20, 2004, Selected Revised and Invited Papersent://SD_ILS/0/SD_ILS:1832472025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Bordini, Rafael H. editor. Dastani, Mehdi. editor. Dix, Jürgen. editor. Fallah Seghrouchni, Amal. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b105887">http://dx.doi.org/10.1007/b105887</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Argumentation in Multi-Agent Systems First International Workshop, ArgMAS 2004, New York, NY, USA, July 19, 2004, Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:1832482025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Rahwan, Iyad. editor. Moraïtis, Pavlos. editor. Reed, Chris. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b105815">http://dx.doi.org/10.1007/b105815</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Visual Computing First International Symposium, ISVC 2005, Lake Tahoe, NV, USA, December 5-7, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1832702025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Bebis, George. editor. Boyle, Richard. editor. Koracin, Darko. editor. Parvin, Bahram. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11595755">http://dx.doi.org/10.1007/11595755</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Practice and Theory of Automated Timetabling V 5th International Conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:1833632025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Burke, Edmund. editor. Trick, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11593577">http://dx.doi.org/10.1007/11593577</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Agent-Mediated Electronic Commerce VI. Theories for and Engineering of Distributed Mechanisms and Systems AAMAS 2004 Workshop, AMEC 2004, New York, NY, USA, July 19, 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:1836432025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Faratin, Peyman. editor. Rodríguez-Aguilar, Juan A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11575726">http://dx.doi.org/10.1007/11575726</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Swarm Robotics SAB 2004 International Workshop, Santa Monica, CA, USA, July 17, 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:1823532025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Şahin, Erol. editor. Spears, William M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b105069">http://dx.doi.org/10.1007/b105069</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Multiple Classifier Systems 6th International Workshop, MCS 2005, Seaside, CA, USA, June 13-15, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1827512025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Oza, Nikunj C. editor. Polikar, Robi. editor. Kittler, Josef. editor. Roli, Fabio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136985">http://dx.doi.org/10.1007/b136985</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Agents and Peer-to-Peer Computing Third International Workshop, AP2PC 2004, New York, NY, USA, July 19, 2004, Revised and Invited Papersent://SD_ILS/0/SD_ILS:1828072025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Moro, Gianluca. editor. Bergamaschi, Sonia. editor. Aberer, Karl. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11574781">http://dx.doi.org/10.1007/11574781</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Processing in Medical Imaging 19th International Conference, IPMI 2005, Glenwood Springs, CO, USA, July 10-15, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1828232025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Christensen, Gary E. editor. Sonka, Milan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137723">http://dx.doi.org/10.1007/b137723</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Case-Based Reasoning Research and Development 6th International Conference on Case-Based Reasoning, ICCBR 2005, Chicago, IL, USA, August 23-26, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1829412025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Muñoz-Ávila, Héctor. editor. Ricci, Francesco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11536406">http://dx.doi.org/10.1007/11536406</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Declarative Agent Languages and Technologies II Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:1830002025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Leite, João. editor. Omicini, Andrea. editor. Torroni, Paolo. editor. Yolum, pInar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136890">http://dx.doi.org/10.1007/b136890</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Agent-Oriented Information Systems II 6th International Bi-Conference Workshop, AOIS 2004, Riga, Latvia, June 8, 2004, and New York, NY, USA, July 20, 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:1830182025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Bresciani, Paolo. editor. Giorgini, Paolo. editor. Henderson-Sellers, Brian. editor. Low, Graham. editor. Winikoff, Michael. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136434">http://dx.doi.org/10.1007/b136434</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations of Intelligent Systems 15th International Symposium, ISMIS 2005, Saratoga Springs, NY, USA, May 25-28, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1830212025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Hacid, Mohand-Said. editor. Murray, Neil V. editor. Raś, Zbigniew W. editor. Tsumoto, Shusaku. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136302">http://dx.doi.org/10.1007/b136302</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Research in Computational Molecular Biology 9th Annual International Conference, RECOMB 2005, Cambridge, MA, USA, May 14-18, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1830222025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Miyano, Satoru. editor. Mesirov, Jill. editor. Kasif, Simon. editor. Istrail, Sorin. editor. Pevzner, Pavel A. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b135594">http://dx.doi.org/10.1007/b135594</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Spatial Information Theory International Conference, COSIT 2005, Ellicottville, NY, USA, September 14-18, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1830872025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Cohn, Anthony G. editor. Mark, David M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11556114">http://dx.doi.org/10.1007/11556114</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Web Information Systems Engineering – WISE 2005 6th International Conference on Web Information Systems Engineering, New York, NY, USA, November 20-22, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1832722025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Ngu, Anne H. H. editor. Kitsuregawa, Masaru. editor. Neuhold, Erich J. editor. Chung, Jen-Yao. editor. Sheng, Quan Z. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11581062">http://dx.doi.org/10.1007/11581062</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Web Information Systems Engineering – WISE 2005 Workshops WISE 2005 International Workshops, New York, NY, USA November 20-22, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1832732025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Dean, Mike. editor. Guo, Yuanbo. editor. Jun, Woochun. editor. Kaschek, Roland. editor. Krishnaswamy, Shonali. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11581116">http://dx.doi.org/10.1007/11581116</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Qualitative reasoning about physical systemsent://SD_ILS/0/SD_ILS:2581122025-01-01T06:00:50Z2025-01-01T06:00:50ZAuthor Bobrow, Daniel G. (Daniel Gureasko), 1935-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444876706">http://www.sciencedirect.com/science/book/9780444876706</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>