Search Results for Computer science. - Narrowed by: 2010 - Software engineering. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputer$002bscience.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092010$0025092010$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026te$003dILS$0026ps$003d300? 2024-08-16T15:59:36Z SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory and Practice of Computer Science, &Scaron;pindler&#367;v Ml&yacute;n, Czech Republic, January 23-29, 2010. Proceedings ent://SD_ILS/0/SD_ILS:191633 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Leeuwen, Jan. editor.&#160;Muscholl, Anca. editor.&#160;Peleg, David. editor.&#160;Pokorn&yacute;, Jaroslav. editor.&#160;Rumpe, Bernhard. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-11266-9">http://dx.doi.org/10.1007/978-3-642-11266-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Computer Science and Information Technology Second International Conference, AST 2010, Miyazaki, Japan, June 23-25, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192306 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Tomar, G. S. editor.&#160;Chang, Ruay-Shiung. editor.&#160;Gervasi, Osvaldo. editor.&#160;Kim, Tai-hoon. editor.&#160;Bandyopadhyay, Samir Kumar. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13346-6">http://dx.doi.org/10.1007/978-3-642-13346-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Science Logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192894 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Dawar, Anuj. editor.&#160;Veith, Helmut. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15205-4">http://dx.doi.org/10.1007/978-3-642-15205-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theoretical Computer Science 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192906 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Calude, Cristian S. editor.&#160;Sassone, Vladimiro. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15240-5">http://dx.doi.org/10.1007/978-3-642-15240-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings ent://SD_ILS/0/SD_ILS:191650 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Barthe, Gilles. editor.&#160;Hermenegildo, Manuel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-11319-2">http://dx.doi.org/10.1007/978-3-642-11319-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Secure Software and Systems Second International Symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010. Proceedings ent://SD_ILS/0/SD_ILS:191790 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Massacci, Fabio. editor.&#160;Wallach, Dan. editor.&#160;Zannone, Nicola. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-11747-3">http://dx.doi.org/10.1007/978-3-642-11747-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Task Models and Diagrams for User Interface Design 8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:191800 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;England, David. editor.&#160;Palanque, Philippe. editor.&#160;Vanderdonckt, Jean. editor.&#160;Wild, Peter J. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-11797-8">http://dx.doi.org/10.1007/978-3-642-11797-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamentals of Software Engineering Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:191743 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Arbab, Farhad. editor.&#160;Sirjani, Marjan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-11623-0">http://dx.doi.org/10.1007/978-3-642-11623-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Computing and Internet Technology 6th International Conference, ICDCIT 2010, Bhubaneswar, India, February 15-17, 2010. Proceedings ent://SD_ILS/0/SD_ILS:191754 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Janowski, Tomasz. editor.&#160;Mohanty, Hrushikesha. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-11659-9">http://dx.doi.org/10.1007/978-3-642-11659-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Argumentation in Multi-Agent Systems 6th International Workshop, ArgMAS 2009, Budapest, Hungary, May 12, 2009. Revised Selected and Invited Papers ent://SD_ILS/0/SD_ILS:192116 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;McBurney, Peter. editor.&#160;Rahwan, Iyad. editor.&#160;Parsons, Simon. editor.&#160;Maudet, Nicolas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-12805-9">http://dx.doi.org/10.1007/978-3-642-12805-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Wired/Wireless Internet Communications 8th International Conference, WWIC 2010, Lule&aring;, Sweden, June 1-3, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192296 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Osipov, Evgeny. editor.&#160;Kassler, Andreas. editor.&#160;Bohnert, Thomas Michael. editor.&#160;Masip-Bruin, Xavier. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13315-2">http://dx.doi.org/10.1007/978-3-642-13315-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematics of Program Construction 10th International Conference, MPC 2010, Qu&eacute;bec City, Canada, June 21-23, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192298 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Bolduc, Claude. editor.&#160;Desharnais, Jules. editor.&#160;Ktari, B&eacute;chir. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13321-3">http://dx.doi.org/10.1007/978-3-642-13321-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Haptics: Generating and Perceiving Tangible Sensations International Conference, EuroHaptics 2010, Amsterdam, July 8-10, 2010. Proceedings, Part I ent://SD_ILS/0/SD_ILS:192538 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Kappers, Astrid M. L. editor.&#160;Erp, Jan B. F. editor.&#160;Bergmann Tiest, Wouter M. editor.&#160;Helm, Frans C. T. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14064-8">http://dx.doi.org/10.1007/978-3-642-14064-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Haptics: Generating and Perceiving Tangible Sensations International Conference, EuroHaptics 2010, Amsterdam, July 8-10, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192542 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Kappers, Astrid M. L. editor.&#160;Erp, Jan B. F. editor.&#160;Bergmann Tiest, Wouter M. editor.&#160;Helm, Frans C. T. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14075-4">http://dx.doi.org/10.1007/978-3-642-14075-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> ECOOP 2010 &ndash; Object-Oriented Programming 24th European Conference, Maribor, Slovenia, June 21-25, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192552 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;D&rsquo;Hondt, Theo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14107-2">http://dx.doi.org/10.1007/978-3-642-14107-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Euro-Par 2009 &ndash; Parallel Processing Workshops HPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC, Delft, The Netherlands, August 25-28, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:192557 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Lin, Hai-Xiang. editor.&#160;Alexander, Michael. editor.&#160;Forsell, Martti. editor.&#160;Kn&uuml;pfer, Andreas. editor.&#160;Prodan, Radu. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14122-5">http://dx.doi.org/10.1007/978-3-642-14122-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II ent://SD_ILS/0/SD_ILS:192566 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Abramsky, Samson. editor.&#160;Gavoille, Cyril. editor.&#160;Kirchner, Claude. editor.&#160;Meyer auf der Heide, Friedhelm. editor.&#160;Spirakis, Paul G. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14162-1">http://dx.doi.org/10.1007/978-3-642-14162-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recent Trends in Wireless and Mobile Networks Second International Conference, WiMo 2010, Ankara, Turkey, June 26-28, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192569 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;&Ouml;zcan, Abdulkadir. editor.&#160;Chaki, Nabendu. editor.&#160;Nagamalai, Dhinaharan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14171-3">http://dx.doi.org/10.1007/978-3-642-14171-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Applications of Satisfiability Testing &ndash; SAT 2010 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192572 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Strichman, Ofer. editor.&#160;Szeider, Stefan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14186-7">http://dx.doi.org/10.1007/978-3-642-14186-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Requirements Engineering: Foundation for Software Quality 16th International Working Conference, REFSQ 2010, Essen, Germany, June 30&ndash;July 2, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192574 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Wieringa, Roel. editor.&#160;Persson, Anne. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14192-8">http://dx.doi.org/10.1007/978-3-642-14192-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic, Language and Meaning 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:192603 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Aloni, Maria. editor.&#160;Bastiaanse, Harald. editor.&#160;Jager, Tikitu. editor.&#160;Schulz, Katrin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14287-1">http://dx.doi.org/10.1007/978-3-642-14287-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Networked Digital Technologies Second International Conference, NDT 2010, Prague, Czech Republic, July 7-9, 2010. Proceedings, Part I ent://SD_ILS/0/SD_ILS:192605 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Zavoral, Filip. editor.&#160;Yaghob, Jakub. editor.&#160;Pichappan, Pit. editor.&#160;El-Qawasmeh, Eyas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14292-5">http://dx.doi.org/10.1007/978-3-642-14292-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192606 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Touili, Tayssir. editor.&#160;Cook, Byron. editor.&#160;Jackson, Paul. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14295-6">http://dx.doi.org/10.1007/978-3-642-14295-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Networked Digital Technologies Second International Conference, NDT 2010, Prague, Czech Republic, July 7-9, 2010. Proceedings, Part II ent://SD_ILS/0/SD_ILS:192609 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Zavoral, Filip. editor.&#160;Yaghob, Jakub. editor.&#160;Pichappan, Pit. editor.&#160;El-Qawasmeh, Eyas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14306-9">http://dx.doi.org/10.1007/978-3-642-14306-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Testing Techniques in Software Engineering Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures ent://SD_ILS/0/SD_ILS:192618 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Borba, Paulo. editor.&#160;Cavalcanti, Ana. editor.&#160;Sampaio, Augusto. editor.&#160;Woodcook, Jim. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14335-9">http://dx.doi.org/10.1007/978-3-642-14335-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> New Modeling Concepts for Today&rsquo;s Software Processes International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192622 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;M&uuml;nch, J&uuml;rgen. editor.&#160;Yang, Ye. editor.&#160;Sch&auml;fer, Wilhelm. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14347-2">http://dx.doi.org/10.1007/978-3-642-14347-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Critical Information Infrastructures Security 4th International Workshop, CRITIS 2009, Bonn, Germany, September 30 - October 2, 2009. Revised Papers ent://SD_ILS/0/SD_ILS:192634 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Rome, Erich. editor.&#160;Bloomfield, Robin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14379-3">http://dx.doi.org/10.1007/978-3-642-14379-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel Processing and Applied Mathematics 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009. Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:192638 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Wyrzykowski, Roman. editor.&#160;Dongarra, Jack. editor.&#160;Karczewski, Konrad. editor.&#160;Wasniewski, Jerzy. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14390-8">http://dx.doi.org/10.1007/978-3-642-14390-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel Processing and Applied Mathematics 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Revised Selected Papers, Part II ent://SD_ILS/0/SD_ILS:192642 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Wyrzykowski, Roman. editor.&#160;Dongarra, Jack. editor.&#160;Karczewski, Konrad. editor.&#160;Wasniewski, Jerzy. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14403-5">http://dx.doi.org/10.1007/978-3-642-14403-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Self-Organizing Architectures First International Workshop, SOAR 2009, Cambridge, UK, September 14, 2009, Revised Selected and Invited Papers ent://SD_ILS/0/SD_ILS:192645 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Weyns, Danny. editor.&#160;Malek, Sam. editor.&#160;Lemos, Rog&eacute;rio. editor.&#160;Andersson, Jesper. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14412-7">http://dx.doi.org/10.1007/978-3-642-14412-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Resource Discovery Second International Workshop, RED 2009, Lyon, France, August 28, 2009. Revised Papers ent://SD_ILS/0/SD_ILS:192646 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Lacroix, Zo&eacute;. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14415-8">http://dx.doi.org/10.1007/978-3-642-14415-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web Services and Formal Methods 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:192661 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Laneve, Cosimo. editor.&#160;Su, Jianwen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14458-5">http://dx.doi.org/10.1007/978-3-642-14458-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recent Trends in Networks and Communications International Conferences, NeCoM 2010, WiMoN 2010, WeST 2010, Chennai, India, July 23-25, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192672 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Meghanathan, Natarajan. editor.&#160;Boumerdassi, Selma. editor.&#160;Chaki, Nabendu. editor.&#160;Nagamalai, Dhinaharan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14493-6">http://dx.doi.org/10.1007/978-3-642-14493-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recent Trends in Network Security and Applications Third International Conference, CNSA 2010, Chennai, India, July 23-25, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192667 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Meghanathan, Natarajan. editor.&#160;Boumerdassi, Selma. editor.&#160;Chaki, Nabendu. editor.&#160;Nagamalai, Dhinaharan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14478-3">http://dx.doi.org/10.1007/978-3-642-14478-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Unifying Theories of Programming Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers ent://SD_ILS/0/SD_ILS:192682 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Butterfield, Andrew. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14521-6">http://dx.doi.org/10.1007/978-3-642-14521-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Frontiers in Algorithmics 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192693 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Lee, Der-Tsai. editor.&#160;Chen, Danny Z. editor.&#160;Ying, Shi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14553-7">http://dx.doi.org/10.1007/978-3-642-14553-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Wireless Algorithms, Systems, and Applications 5th International Conference, WASA 2010, Beijing, China, August 15-17, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192725 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Pandurangan, Gopal. editor.&#160;Anil Kumar, V. S. editor.&#160;Ming, Gu. editor.&#160;Liu, Yunhao. editor.&#160;Li, Yingshu. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14654-1">http://dx.doi.org/10.1007/978-3-642-14654-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ad-Hoc, Mobile and Wireless Networks 9th International Conference, ADHOC-NOW 2010, Edmonton, AB, Canada, August 20-22, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192768 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Nikolaidis, Ioanis. editor.&#160;Wu, Kui. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14785-2">http://dx.doi.org/10.1007/978-3-642-14785-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evaluation of Novel Approaches to Software Engineering 3rd and 4th International Conferences, ENASE 2008/2009, Funchal, Madeira, Portugal, May 4-7, 2008 / Milan, Italy, May 9-10, 2009. Revised Selected Papers ent://SD_ILS/0/SD_ILS:192779 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Maciaszek, Leszek A. editor.&#160;Gonz&aacute;lez-P&eacute;rez, C&eacute;sar. editor.&#160;Jablonski, Stefan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14819-4">http://dx.doi.org/10.1007/978-3-642-14819-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Multi-Agent Systems 7th International Workshop, ProMAS 2009, Budapest, Hungary, May 10-15, 2009. Revised Selected Papers ent://SD_ILS/0/SD_ILS:192787 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Braubach, Lars. editor.&#160;Briot, Jean-Pierre. editor.&#160;Thangarajah, John. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14843-9">http://dx.doi.org/10.1007/978-3-642-14843-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithm Engineering Bridging the Gap between Algorithm Theory and Practice ent://SD_ILS/0/SD_ILS:192794 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;M&uuml;ller-Hannemann, Matthias. editor.&#160;Schirra, Stefan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14866-8">http://dx.doi.org/10.1007/978-3-642-14866-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Smart Spaces and Next Generation Wired/Wireless Networking Third Conference on Smart Spaces, ruSMART 2010, and 10th International Conference, NEW2AN 2010, St. Petersburg, Russia, August 23-25, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192803 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Balandin, Sergey. editor.&#160;Dunaytsev, Roman. editor.&#160;Koucheryavy, Yevgeni. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14891-0">http://dx.doi.org/10.1007/978-3-642-14891-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Systems and Virtualization Management. Standards and the Cloud Third International DMTF Academic Alliance Workshop, SVM 2009, Wuhan, China, September 22-23, 2009. Revised Selected Papers ent://SD_ILS/0/SD_ILS:192821 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Boursas, Latifa. editor.&#160;Carlson, Mark. editor.&#160;Jin, Hai. editor.&#160;Sibilla, Michelle. editor.&#160;Wold, Kes. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14944-3">http://dx.doi.org/10.1007/978-3-642-14944-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Future Internet - FIS 2009 Second Future Internet Symposium, FIS 2009, Berlin, Germany, September 1-3, 2009 ent://SD_ILS/0/SD_ILS:192825 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Zseby, Tanja. editor.&#160;Savola, Reijo. editor.&#160;Pistore, Marco. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14956-6">http://dx.doi.org/10.1007/978-3-642-14956-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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 Papers ent://SD_ILS/0/SD_ILS:192827 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Padget, Julian. editor.&#160;Artikis, Alexander. editor.&#160;Vasconcelos, Wamberto. editor.&#160;Stathis, Kostas. editor.&#160;Silva, Viviane Torres. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Logic in Multi-Agent Systems 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192832 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Dix, J&uuml;rgen. editor.&#160;Leite, Jo&atilde;o. editor.&#160;Governatori, Guido. editor.&#160;Jamroga, Wojtek. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14977-1">http://dx.doi.org/10.1007/978-3-642-14977-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Incentives, Overlays, and Economic Traffic Control Third International Workshop, ETM 2010, Amsterdam, The Netherlands, September 6, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192984 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Stiller, Burkhard. editor.&#160;Ho&szlig;feld, Tobias. editor.&#160;Stamoulis, George D. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15485-0">http://dx.doi.org/10.1007/978-3-642-15485-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fields of Logic and Computation Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday ent://SD_ILS/0/SD_ILS:192849 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Blass, Andreas. editor.&#160;Dershowitz, Nachum. editor.&#160;Reisig, Wolfgang. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15025-8">http://dx.doi.org/10.1007/978-3-642-15025-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Computational Collective Intelligence I ent://SD_ILS/0/SD_ILS:192852 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Nguyen, Ngoc Thanh. editor.&#160;Kowalczyk, Ryszard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15034-0">http://dx.doi.org/10.1007/978-3-642-15034-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web Information Systems and Mining International Conference, WISM 2010, Sanya, China, October 23-24, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193321 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Wang, Fu Lee. editor.&#160;Gong, Zhiguo. editor.&#160;Luo, Xiangfeng. editor.&#160;Lei, Jingsheng. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16515-3">http://dx.doi.org/10.1007/978-3-642-16515-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence and Computational Intelligence International Conference, AICI 2010, Sanya, China, October 23-24, 2010, Proceedings, Part II ent://SD_ILS/0/SD_ILS:193325 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Wang, Fu Lee. editor.&#160;Deng, Hepu. editor.&#160;Gao, Yang. editor.&#160;Lei, Jingsheng. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16527-6">http://dx.doi.org/10.1007/978-3-642-16527-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193240 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;M&eacute;ry, Dominique. editor.&#160;Merz, Stephan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16265-7">http://dx.doi.org/10.1007/978-3-642-16265-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Semantic Web Rules International Symposium, RuleML 2010, Washington, DC, USA, October 21-23, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193248 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Dean, Mike. editor.&#160;Hall, John. editor.&#160;Rotolo, Antonino. editor.&#160;Tabet, Said. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rewriting Logic and Its Applications 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:193255 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;&Ouml;lveczky, Peter Csaba. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16310-4">http://dx.doi.org/10.1007/978-3-642-16310-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Computing and Applications International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part II ent://SD_ILS/0/SD_ILS:193264 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Zhu, Rongbo. editor.&#160;Zhang, Yanchun. editor.&#160;Liu, Baoxiang. editor.&#160;Liu, Chunfeng. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16339-5">http://dx.doi.org/10.1007/978-3-642-16339-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I ent://SD_ILS/0/SD_ILS:193335 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Margaria, Tiziana. editor.&#160;Steffen, Bernhard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16558-0">http://dx.doi.org/10.1007/978-3-642-16558-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods and Software Engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193452 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Dong, Jin Song. editor.&#160;Zhu, Huibiao. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16901-4">http://dx.doi.org/10.1007/978-3-642-16901-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ambient Intelligence First International Joint Conference, AmI 2010, Malaga, Spain, November 10-12, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193459 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Ruyter, Boris. editor.&#160;Wichert, Reiner. editor.&#160;Keyson, David V. editor.&#160;Markopoulos, Panos. editor.&#160;Streitz, Norbert. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16917-5">http://dx.doi.org/10.1007/978-3-642-16917-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> On the Move to Meaningful Internet Systems: OTM 2010 Confederated International Conferences: CoopIS, IS, DOA and ODBASE, Hersonissos, Crete, Greece, October 25-29, 2010, Proceedings, Part I ent://SD_ILS/0/SD_ILS:193466 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Meersman, Robert. editor.&#160;Dillon, Tharam. editor.&#160;Herrero, Pilar. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16934-2">http://dx.doi.org/10.1007/978-3-642-16934-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> From Active Data Management to Event-Based Systems and More Papers in Honor of Alejandro Buchmann on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:193535 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Sachs, Kai. editor.&#160;Petrov, Ilia. editor.&#160;Guerrero, Pablo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-17226-7">http://dx.doi.org/10.1007/978-3-642-17226-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Service-Oriented Computing 8th International Conference, ICSOC 2010, San Francisco, CA, USA, December 7-10, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193579 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Maglio, Paul P. editor.&#160;Weske, Mathias. editor.&#160;Yang, Jian. editor.&#160;Fantinato, Marcelo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-17358-5">http://dx.doi.org/10.1007/978-3-642-17358-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Computational Science X Special Issue on Security in Computing, Part I ent://SD_ILS/0/SD_ILS:193619 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Gavrilova, Marina L. editor.&#160;Tan, C. J. Kenneth. editor.&#160;Moreno, Edward David. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-17499-5">http://dx.doi.org/10.1007/978-3-642-17499-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25&ndash;May 1, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:193623 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Clarke, Edmund M. editor.&#160;Voronkov, Andrei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-17511-4">http://dx.doi.org/10.1007/978-3-642-17511-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Real-World Wireless Sensor Networks 4th International Workshop, REALWSN 2010, Colombo, Sri Lanka, December 16-17, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193626 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Marron, Pedro J. editor.&#160;Voigt, Thiemo. editor.&#160;Corke, Peter. editor.&#160;Mottola, Luca. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-17520-6">http://dx.doi.org/10.1007/978-3-642-17520-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Future Generation Information Technology Second International Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193641 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Kim, Tai-hoon. editor.&#160;Lee, Young-hoon. editor.&#160;Kang, Byeong-Ho. editor.&#160;&#346;l&#281;zak, Dominik. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-17569-5">http://dx.doi.org/10.1007/978-3-642-17569-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Internet and Network Economics 6th International Workshop, WINE 2010, Stanford, CA, USA, December 13-17, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193642 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Saberi, Amin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-17572-5">http://dx.doi.org/10.1007/978-3-642-17572-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Software Engineering International Conference, ASEA 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193644 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Kim, Tai-hoon. editor.&#160;Kim, Haeng-Kon. editor.&#160;Khan, Muhammad Khurram. editor.&#160;Kiumi, Akingbehin. editor.&#160;Fang, Wai-chi. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-17578-7">http://dx.doi.org/10.1007/978-3-642-17578-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Communication and Networking International Conference, FGCN 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings, Part I ent://SD_ILS/0/SD_ILS:193646 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Kim, Tai-hoon. editor.&#160;Chang, Alan Chin-Chen. editor.&#160;Li, MingChu. editor.&#160;Rong, Chunming. editor.&#160;Patrikakis, Charalampos Z. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-17587-9">http://dx.doi.org/10.1007/978-3-642-17587-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Service Research Challenges and Solutions for the Future Internet S-Cube &ndash; Towards Engineering, Managing and Adapting Service-Based Systems ent://SD_ILS/0/SD_ILS:193650 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Papazoglou, Mike P. editor.&#160;Pohl, Klaus. editor.&#160;Parkin, Michael. editor.&#160;Metzger, Andreas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-17599-2">http://dx.doi.org/10.1007/978-3-642-17599-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Communication and Networking International Conference, FGCN 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings, Part II ent://SD_ILS/0/SD_ILS:193651 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Kim, Tai-hoon. editor.&#160;Vasilakos, Thanos. editor.&#160;Sakurai, Kouichi. editor.&#160;Xiao, Yang. editor.&#160;Zhao, Gansen. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-17604-3">http://dx.doi.org/10.1007/978-3-642-17604-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Grid and Distributed Computing, Control and Automation International Conferences, GDC and CA 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193658 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Kim, Tai-hoon. editor.&#160;Yau, Stephen S. editor.&#160;Gervasi, Osvaldo. editor.&#160;Kang, Byeong-Ho. editor.&#160;Stoica, Adrian. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-17625-8">http://dx.doi.org/10.1007/978-3-642-17625-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Declarative Agent Languages and Technologies VII 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers ent://SD_ILS/0/SD_ILS:191664 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Baldoni, Matteo. editor.&#160;Bentahar, Jamal. editor.&#160;Riemsdijk, M. Birna. editor.&#160;Lloyd, John. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-11355-0">http://dx.doi.org/10.1007/978-3-642-11355-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Global Perspectives on Design Science Research 5th International Conference, DESRIST 2010, St. Gallen, Switzerland, June 4-5, 2010. Proceedings. ent://SD_ILS/0/SD_ILS:192302 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Winter, Robert. editor.&#160;Zhao, J. Leon. editor.&#160;Aier, Stephan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13335-0">http://dx.doi.org/10.1007/978-3-642-13335-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> NETWORKING 2010 9th International IFIP TC 6 Networking Conference, Chennai, India, May 11-15, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192169 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Crovella, Mark. editor.&#160;Feeney, Laura Marie. editor.&#160;Rubenstein, Dan. editor.&#160;Raghavan, S. V. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-12963-6">http://dx.doi.org/10.1007/978-3-642-12963-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Modeling and Analysis of Timed Systems 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192925 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Chatterjee, Krishnendu. editor.&#160;Henzinger, Thomas A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15297-9">http://dx.doi.org/10.1007/978-3-642-15297-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verified Software: Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192858 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Leavens, Gary T. editor.&#160;O&rsquo;Hearn, Peter. editor.&#160;Rajamani, Sriram K. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15057-9">http://dx.doi.org/10.1007/978-3-642-15057-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Data Management in Grid and Peer-to-Peer Systems Third International Conference, Globe 2010, Bilbao, Spain, September 1-2, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192863 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Hameurlain, Abdelkader. editor.&#160;Morvan, Franck. editor.&#160;Tjoa, A Min. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15108-8">http://dx.doi.org/10.1007/978-3-642-15108-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Architecture 4th European Conference, ECSA 2010, Copenhagen, Denmark, August 23-26, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192865 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Babar, Muhammad Ali. editor.&#160;Gorton, Ian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15114-9">http://dx.doi.org/10.1007/978-3-642-15114-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evolvable Systems: From Biology to Hardware 9th International Conference, ICES 2010, York, UK, September 6-8, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192933 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Tempesti, Gianluca. editor.&#160;Tyrrell, Andy M. editor.&#160;Miller, Julian F. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15323-5">http://dx.doi.org/10.1007/978-3-642-15323-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundational and Practical Aspects of Resource Analysis First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:192935 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Eekelen, Marko. editor.&#160;Shkaravska, Olha. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15331-0">http://dx.doi.org/10.1007/978-3-642-15331-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reachability Problems 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192941 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Ku&#269;era, Anton&iacute;n. editor.&#160;Potapov, Igor. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15349-5">http://dx.doi.org/10.1007/978-3-642-15349-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> CONCUR 2010 - Concurrency Theory 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192949 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Gastin, Paul. editor.&#160;Laroussinie, Fran&ccedil;ois. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15375-4">http://dx.doi.org/10.1007/978-3-642-15375-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Software &ndash; ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193016 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Fukuda, Komei. editor.&#160;Hoeven, Joris van der. editor.&#160;Joswig, Michael. editor.&#160;Takayama, Nobuki. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15582-6">http://dx.doi.org/10.1007/978-3-642-15582-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multiple Access Communications Third International Workshop, MACOM 2010, Barcelona, Spain, September 13-14, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192966 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Vinel, Alexey. editor.&#160;Bellalta, Boris. editor.&#160;Sacchi, Claudio. editor.&#160;Lyakhov, Andrey. editor.&#160;Telek, Mikl&oacute;s. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15428-7">http://dx.doi.org/10.1007/978-3-642-15428-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Business Process Management 8th International Conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193028 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Hull, Richard. editor.&#160;Mendling, Jan. editor.&#160;Tai, Stefan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15618-2">http://dx.doi.org/10.1007/978-3-642-15618-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trustworthly Global Computing 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:193036 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Wirsing, Martin. editor.&#160;Hofmann, Martin. editor.&#160;Rauschmayer, Axel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15640-3">http://dx.doi.org/10.1007/978-3-642-15640-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Technology for Verification and Analysis 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193037 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Bouajjani, Ahmed. editor.&#160;Chin, Wei-Ngan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15643-4">http://dx.doi.org/10.1007/978-3-642-15643-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recent Advances in the Message Passing Interface 17th European MPI Users&rsquo; Group Meeting, EuroMPI 2010, Stuttgart, Germany, September 12-15, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193038 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Keller, Rainer. editor.&#160;Gabriel, Edgar. editor.&#160;Resch, Michael. editor.&#160;Dongarra, Jack. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15646-5">http://dx.doi.org/10.1007/978-3-642-15646-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Safety, Reliability, and Security 29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193040 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Schoitsch, Erwin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15651-9">http://dx.doi.org/10.1007/978-3-642-15651-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Systems, Software and Services Process Improvement 17th European Conference, EuroSPI 2010, Grenoble, France, September 1-3, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193045 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Riel, Andreas. editor.&#160;O&rsquo;Connor, Rory. editor.&#160;Tichkiewitch, Serge. editor.&#160;Messnarz, Richard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15666-3">http://dx.doi.org/10.1007/978-3-642-15666-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Network and Parallel Computing IFIP International Conference, NPC 2010, Zhengzhou, China, September 13-15, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193047 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Ding, Chen. editor.&#160;Shao, Zhiyuan. editor.&#160;Zheng, Ran. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15672-4">http://dx.doi.org/10.1007/978-3-642-15672-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logics in Artificial Intelligence 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193048 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Janhunen, Tomi. editor.&#160;Niemel&auml;, Ilkka. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15675-5">http://dx.doi.org/10.1007/978-3-642-15675-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Economics of Grids, Clouds, Systems, and Services 7th International Workshop, GECON 2010, Ischia, Italy, August 31, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193050 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Altmann, J&ouml;rn. editor.&#160;Rana, Omer F. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15681-6">http://dx.doi.org/10.1007/978-3-642-15681-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Database and XML Technologies 7th International XML Database Symposium, XSym 2010, Singapore, September 17, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193051 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Lee, Mong Li. editor.&#160;Yu, Jeffrey Xu. editor.&#160;Bellahs&egrave;ne, Zohra. editor.&#160;Unland, Rainer. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15684-7">http://dx.doi.org/10.1007/978-3-642-15684-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Multimedia Information Processing - PCM 2010 11th Pacific Rim Conference on Multimedia, Shanghai, China, September 21-24, 2010, Proceedings, Part I ent://SD_ILS/0/SD_ILS:193057 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Qiu, Guoping. editor.&#160;Lam, Kin Man. editor.&#160;Kiya, Hitoshi. editor.&#160;Xue, Xiang-Yang. editor.&#160;Kuo, C.-C. Jay. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15702-8">http://dx.doi.org/10.1007/978-3-642-15702-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Collaboration and Technology 16th International Conference, CRIWG 2010, Maastricht, The Netherlands, September 20-23, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193061 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Kolfschoten, Gwendolyn. editor.&#160;Herrmann, Thomas. editor.&#160;Lukosch, Stephan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15714-1">http://dx.doi.org/10.1007/978-3-642-15714-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Computing 24th International Symposium, DISC 2010, Cambridge, MA, USA, September 13-15, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193077 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Lynch, Nancy A. editor.&#160;Shvartsman, Alexander A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15763-9">http://dx.doi.org/10.1007/978-3-642-15763-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Performance Engineering 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193083 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Aldini, Alessandro. editor.&#160;Bernardo, Marco. editor.&#160;Bononi, Luciano. editor.&#160;Cortellessa, Vittorio. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15784-4">http://dx.doi.org/10.1007/978-3-642-15784-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trends in Intelligent Robotics 13th FIRA Robot World Congress, FIRA 2010, Bangalore, India, September 15-17, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193092 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Vadakkepat, Prahlad. editor.&#160;Kim, Jong-Hwan. editor.&#160;Jesse, Norbert. editor.&#160;Mamun, Abdullah Al. editor.&#160;Kiong, Tan Kok. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15810-0">http://dx.doi.org/10.1007/978-3-642-15810-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Virtual Agents 10th International Conference, IVA 2010, Philadelphia, PA, USA, September 20-22, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193119 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Allbeck, Jan. editor.&#160;Badler, Norman. editor.&#160;Bickmore, Timothy. editor.&#160;Pelachaud, Catherine. editor.&#160;Safonova, Alla. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Industrial Critical Systems 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193121 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Kowalewski, Stefan. editor.&#160;Roveri, Marco. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15898-8">http://dx.doi.org/10.1007/978-3-642-15898-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> S-BPM ONE &ndash; Setting the Stage for Subject-Oriented Business Process Management First International Workshop, Karlsruhe, Germany, October 22, 2009. Revised Selected Papers ent://SD_ILS/0/SD_ILS:193126 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Buchwald, Hagen. editor.&#160;Fleischmann, Albert. editor.&#160;Seese, Detlef. editor.&#160;Stary, Christian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15915-2">http://dx.doi.org/10.1007/978-3-642-15915-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web Reasoning and Rule Systems Fourth International Conference, RR 2010, Bressanone/Brixen, Italy, September 22-24, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193127 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Hitzler, Pascal. editor.&#160;Lukasiewicz, Thomas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15918-3">http://dx.doi.org/10.1007/978-3-642-15918-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graph Transformations 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27&ndash;October 2, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193130 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Ehrig, Hartmut. editor.&#160;Rensink, Arend. editor.&#160;Rozenberg, Grzegorz. editor.&#160;Sch&uuml;rr, Andy. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15928-2">http://dx.doi.org/10.1007/978-3-642-15928-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Conceptual Modeling &ndash; ER 2010 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193275 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Parsons, Jeffrey. editor.&#160;Saeki, Motoshi. editor.&#160;Shoval, Peretz. editor.&#160;Woo, Carson. editor.&#160;Wand, Yair. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16373-9">http://dx.doi.org/10.1007/978-3-642-16373-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Conceptual Modeling &ndash; Applications and Challenges ER 2010 Workshops ACM-L, CMLSA, CMS, DE@ER, FP-UML, SeCoGIS, WISM, Vancouver, BC, Canada, November 1-4, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193279 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Trujillo, Juan. editor.&#160;Dobbie, Gillian. editor.&#160;Kangassalo, Hannu. editor.&#160;Hartmann, Sven. editor.&#160;Kirchberg, Markus. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16385-2">http://dx.doi.org/10.1007/978-3-642-16385-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model Driven Engineering Languages and Systems 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part II ent://SD_ILS/0/SD_ILS:193194 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Petriu, Dorina C. editor.&#160;Rouquette, Nicolas. editor.&#160;Haugen, &Oslash;ystein. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16129-2">http://dx.doi.org/10.1007/978-3-642-16129-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Service-Oriented Computing. ICSOC/ServiceWave 2009 Workshops International Workshops, ICSOC/ServiceWave 2009, Stockholm, Sweden, November 23-27, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:193195 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Dan, Asit. editor.&#160;Gittler, Fr&eacute;d&eacute;ric. editor.&#160;Toumani, Farouk. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16132-2">http://dx.doi.org/10.1007/978-3-642-16132-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model Driven Engineering Languages and Systems 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I ent://SD_ILS/0/SD_ILS:193199 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Petriu, Dorina C. editor.&#160;Rouquette, Nicolas. editor.&#160;Haugen, &Oslash;ystein. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16145-2">http://dx.doi.org/10.1007/978-3-642-16145-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> ENTERprise Information Systems International Conference, CENTERIS 2010, Viana do Castelo, Portugal, October 20-22, 2010, Proceedings, Part II ent://SD_ILS/0/SD_ILS:193288 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Quintela Varaj&atilde;o, Jo&atilde;o Eduardo. editor.&#160;Cruz-Cunha, Maria Manuela. editor.&#160;Putnik, Goran D. editor.&#160;Trigo, Ant&oacute;nio. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16419-4">http://dx.doi.org/10.1007/978-3-642-16419-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Knowledge Engineering and Management by the Masses 17th International Conference, EKAW 2010, Lisbon, Portugal, October 11-15, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193295 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Cimiano, Philipp. editor.&#160;Pinto, H. Sofia. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16438-5">http://dx.doi.org/10.1007/978-3-642-16438-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Stabilization, Safety, and Security of Distributed Systems 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193160 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Dolev, Shlomi. editor.&#160;Cobb, Jorge. editor.&#160;Fischer, Michael. editor.&#160;Yung, Moti. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16023-3">http://dx.doi.org/10.1007/978-3-642-16023-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hybrid Metaheuristics 7th International Workshop, HM 2010, Vienna, Austria, October 1-2, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193169 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Blesa, Mar&iacute;a J. editor.&#160;Blum, Christian. editor.&#160;Raidl, G&uuml;nther. editor.&#160;Roli, Andrea. editor.&#160;Sampels, Michael. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16054-7">http://dx.doi.org/10.1007/978-3-642-16054-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Biomedical Engineering Systems and Technologies International Joint Conference, BIOSTEC 2009 Porto, Portugal, January 14-17, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:191779 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Fred, Ana. editor.&#160;Filipe, Joaquim. editor.&#160;Gamboa, Hugo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-11721-3">http://dx.doi.org/10.1007/978-3-642-11721-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cooperative Design, Visualization, and Engineering 7th International Conference, CDVE 2010, Calvia, Mallorca, Spain, September 19-22, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193173 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Luo, Yuhua. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16066-0">http://dx.doi.org/10.1007/978-3-642-16066-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Aspect-Oriented Software Development VII A Common Case Study for Aspect-Oriented Modeling ent://SD_ILS/0/SD_ILS:193180 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Katz, Shmuel. editor.&#160;Mezini, Mira. editor.&#160;Kienzle, J&ouml;rg. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16086-8">http://dx.doi.org/10.1007/978-3-642-16086-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Objects and Databases Third International Conference, ICOODB 2010, Frankfurt/Main, Germany, September 28-30, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193182 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Dearle, Alan. editor.&#160;Zicari, Roberto V. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16092-9">http://dx.doi.org/10.1007/978-3-642-16092-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> ENTERprise Information Systems International Conference, CENTERIS 2010, Viana do Castelo, Portugal, October 20-22, 2010, Proceedings, Part I ent://SD_ILS/0/SD_ILS:193284 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Quintela Varaj&atilde;o, Jo&atilde;o Eduardo. editor.&#160;Cruz-Cunha, Maria Manuela. editor.&#160;Putnik, Goran D. editor.&#160;Trigo, Ant&oacute;nio. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16402-6">http://dx.doi.org/10.1007/978-3-642-16402-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model Checking Software 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193206 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Pol, Jaco. editor.&#160;Weber, Michael. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16164-3">http://dx.doi.org/10.1007/978-3-642-16164-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Computing and Applications First International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193207 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Zhu, Rongbo. editor.&#160;Zhang, Yanchun. editor.&#160;Liu, Baoxiang. editor.&#160;Liu, Chunfeng. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16167-4">http://dx.doi.org/10.1007/978-3-642-16167-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multiagent System Technologies 8th German Conference, MATES 2010, Leipzig, Germany, September 27-29, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193211 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Dix, J&uuml;rgen. editor.&#160;Witteveen, Cees. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16178-0">http://dx.doi.org/10.1007/978-3-642-16178-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Latent Variable Analysis and Signal Separation 9th International Conference, LVA/ICA 2010, St. Malo, France, September 27-30, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193152 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Vigneron, Vincent. editor.&#160;Zarzoso, Vicente. editor.&#160;Moreau, Eric. editor.&#160;Gribonval, R&eacute;mi. editor.&#160;Vincent, Emmanuel. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15995-4">http://dx.doi.org/10.1007/978-3-642-15995-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human-Centred Software Engineering Third International Conference, HCSE 2010, Reykjavik, Iceland, October 14-15, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193312 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Bernhaupt, Regina. editor.&#160;Forbrig, Peter. editor.&#160;Gulliksen, Jan. editor.&#160;L&aacute;rusd&oacute;ttir, Marta. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16488-0">http://dx.doi.org/10.1007/978-3-642-16488-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Job Scheduling Strategies for Parallel Processing 15th International Workshop, JSSPP 2010, Atlanta, GA, USA, April 23, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:193317 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Frachtenberg, Eitan. editor.&#160;Schwiegelshohn, Uwe. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16505-4">http://dx.doi.org/10.1007/978-3-642-16505-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193232 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Ferm&uuml;ller, Christian G. editor.&#160;Voronkov, Andrei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16242-8">http://dx.doi.org/10.1007/978-3-642-16242-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence and Computational Intelligence International Conference, AICI 2010, Sanya, China, October 23-24, 2010, Proceedings, Part I ent://SD_ILS/0/SD_ILS:193326 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Wang, Fu Lee. editor.&#160;Deng, Hepu. editor.&#160;Gao, Yang. editor.&#160;Lei, Jingsheng. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16530-6">http://dx.doi.org/10.1007/978-3-642-16530-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II ent://SD_ILS/0/SD_ILS:193336 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Margaria, Tiziana. editor.&#160;Steffen, Bernhard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16561-0">http://dx.doi.org/10.1007/978-3-642-16561-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Testing Software and Systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193340 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Petrenko, Alexandre. editor.&#160;Sim&atilde;o, Adenilso. editor.&#160;Maldonado, Jos&eacute; Carlos. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16573-3">http://dx.doi.org/10.1007/978-3-642-16573-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Autonomic and Trusted Computing 7th International Conference, ATC 2010, Xi&rsquo;an, China, October 26-29, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193341 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Xie, Bing. editor.&#160;Branke, Juergen. editor.&#160;Sadjadi, S. Masoud. editor.&#160;Zhang, Daqing. editor.&#160;Zhou, Xingshe. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16576-4">http://dx.doi.org/10.1007/978-3-642-16576-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Smart Internet Current Research and Future Applications ent://SD_ILS/0/SD_ILS:193349 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Chignell, Mark. editor.&#160;Cordy, James. editor.&#160;Ng, Joanna. editor.&#160;Yesha, Yelena. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16599-3">http://dx.doi.org/10.1007/978-3-642-16599-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Runtime Verification First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193354 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Barringer, Howard. editor.&#160;Falcone, Ylies. editor.&#160;Finkbeiner, Bernd. editor.&#160;Havelund, Klaus. editor.&#160;Lee, Insup. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16612-9">http://dx.doi.org/10.1007/978-3-642-16612-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Unifying Theories of Programming Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193377 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Qin, Shengchao. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16690-7">http://dx.doi.org/10.1007/978-3-642-16690-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Information Technology 4th International Conference, IAIT 2010, Bangkok, Thailand, November 4-5, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193380 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Papasratorn, Borworn. editor.&#160;Lavangnananda, Kittichai. editor.&#160;Chutimaskul, Wichian. editor.&#160;Vanijja, Vajirasak. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16699-0">http://dx.doi.org/10.1007/978-3-642-16699-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Radio Frequency Identification: Security and Privacy Issues 6th International Workshop, RFIDSec 2010, Istanbul, Turkey, June 8-9, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:193421 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Ors Yalcin, Siddika Berna. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16822-2">http://dx.doi.org/10.1007/978-3-642-16822-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modelling Autonomic Communication Environments 5th IEEE International Workshop, MACE 2010, Niagara Falls, Canada, October 28, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193426 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Brennan, Rob. editor.&#160;Fleck, Joel. editor.&#160;Meer, Sven. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16836-9">http://dx.doi.org/10.1007/978-3-642-16836-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Logic in Multi-Agent Systems 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers ent://SD_ILS/0/SD_ILS:193440 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Dix, J&uuml;rgen. editor.&#160;Fisher, Michael. editor.&#160;Nov&aacute;k, Peter. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16867-3">http://dx.doi.org/10.1007/978-3-642-16867-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> On the Move to Meaningful Internet Systems, OTM 2010 Confederated International Conferences: CoopIS, IS, DOA and ODBASE, Hersonissos, Crete, Greece, October 25-29, 2010, Proceedings, Part II ent://SD_ILS/0/SD_ILS:193472 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Meersman, Robert. editor.&#160;Dillon, Tharam. editor.&#160;Herrero, Pilar. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16949-6">http://dx.doi.org/10.1007/978-3-642-16949-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Middleware 2010 ACM/IFIP/USENIX 11th International Middleware Conference, Bangalore, India, November 29 - December 3, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193474 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Gupta, Indranil. editor.&#160;Mascolo, Cecilia. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16955-7">http://dx.doi.org/10.1007/978-3-642-16955-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> On the Move to Meaningful Internet Systems: OTM 2010 Workshops Confederated International Workshops and Posters: International Workshops: AVYTAT, ADI, DATAVIEW, EI2N, ISDE, MONET, OnToContent, ORM, P2P-CDVE, SeDeS, SWWS and OTMA. Hersonissos, Crete, Greece, October 25-29, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193476 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Meersman, Robert. editor.&#160;Dillon, Tharam. editor.&#160;Herrero, Pilar. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16961-8">http://dx.doi.org/10.1007/978-3-642-16961-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Smart Sensing and Context 5th European Conference, EuroSSC 2010, Passau, Germany, November 14-16, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193483 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Lukowicz, Paul. editor.&#160;Kunze, Kai. editor.&#160;Kortuem, Gerd. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16982-3">http://dx.doi.org/10.1007/978-3-642-16982-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Current Trends in Web Engineering 10th International Conference on Web Engineering ICWE 2010 Workshops, Vienna, Austria, July 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:193484 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Daniel, Florian. editor.&#160;Facca, Federico Michele. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16985-4">http://dx.doi.org/10.1007/978-3-642-16985-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms for Sensor Systems 6th International Workshop on Algorithms for Sensor Systems, Wireless Ad Hoc Networks, and Autonomous Mobile Entities, ALGOSENSORS 2010, Bordeaux, France, July 5, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:193485 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Scheideler, Christian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16988-5">http://dx.doi.org/10.1007/978-3-642-16988-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers ent://SD_ILS/0/SD_ILS:193496 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Boer, Frank S. editor.&#160;Bonsangue, Marcello M. editor.&#160;Hallerstede, Stefan. editor.&#160;Leuschel, Michael. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-17071-3">http://dx.doi.org/10.1007/978-3-642-17071-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Computational Collective Intelligence II ent://SD_ILS/0/SD_ILS:193507 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Nguyen, Ngoc Thanh. editor.&#160;Kowalczyk, Ryszard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-17155-0">http://dx.doi.org/10.1007/978-3-642-17155-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193511 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Ueda, Kazunori. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-17164-2">http://dx.doi.org/10.1007/978-3-642-17164-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verification, Induction, Termination Analysis Festschrift for Christoph Walther on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:193514 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Siegler, Simon. editor.&#160;Wasser, Nathan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-17172-7">http://dx.doi.org/10.1007/978-3-642-17172-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Architecting Dependable Systems VII ent://SD_ILS/0/SD_ILS:193541 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Casimiro, Antonio. editor.&#160;Lemos, Rog&eacute;rio. editor.&#160;Gacek, Cristina. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-17245-8">http://dx.doi.org/10.1007/978-3-642-17245-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Social Robotics Second International Conference on Social Robotics, ICSR 2010, Singapore, November 23-24, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193542 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Ge, Shuzhi Sam. editor.&#160;Li, Haizhou. editor.&#160;Cabibihan, John-John. editor.&#160;Tan, Yeow Kee. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-17248-9">http://dx.doi.org/10.1007/978-3-642-17248-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Sanskrit Computational Linguistics 4th International Symposium, New Delhi, India, December 10-12, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193629 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Jha, Girish Nath. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-17528-2">http://dx.doi.org/10.1007/978-3-642-17528-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Simulation, Modeling, and Programming for Autonomous Robots Second International Conference, SIMPAR 2010, Darmstadt, Germany, November 15-18, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193567 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Ando, Noriaki. editor.&#160;Balakirsky, Stephen. editor.&#160;Hemker, Thomas. editor.&#160;Reggiani, Monica. editor.&#160;Stryk, Oskar. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-17319-6">http://dx.doi.org/10.1007/978-3-642-17319-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graph Transformations and Model-Driven Engineering Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday ent://SD_ILS/0/SD_ILS:193568 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Engels, Gregor. editor.&#160;Lewerentz, Claus. editor.&#160;Sch&auml;fer, Wilhelm. editor.&#160;Sch&uuml;rr, Andy. editor.&#160;Westfechtel, Bernhard. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-17322-6">http://dx.doi.org/10.1007/978-3-642-17322-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Central European Functional Programming School Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Kom&aacute;rno, Slovakia, May 25-30, 2009, Revised Selected Lectures ent://SD_ILS/0/SD_ILS:193677 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Horv&aacute;th, Zolt&aacute;n. editor.&#160;Plasmeijer, Rinus. editor.&#160;Zs&oacute;k, Vikt&oacute;ria. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-17685-2">http://dx.doi.org/10.1007/978-3-642-17685-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Towards a Service-Based Internet Third European Conference, ServiceWave 2010, Ghent, Belgium, December 13-15, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193680 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Nitto, Elisabetta. editor.&#160;Yahyapour, Ramin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-17694-4">http://dx.doi.org/10.1007/978-3-642-17694-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> U- and E-Service, Science and Technology International Conference UNESST 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193664 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Kim, Tai-hoon. editor.&#160;Ma, Jianhua. editor.&#160;Fang, Wai-chi. editor.&#160;Park, Byungjoo. editor.&#160;Kang, Byeong-Ho. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-17644-9">http://dx.doi.org/10.1007/978-3-642-17644-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles of Distributed Systems 14th International Conference, OPODIS 2010, Tozeur, Tunisia, December 14-17, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193667 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Lu, Chenyang. editor.&#160;Masuzawa, Toshimitsu. editor.&#160;Mosbah, Mohamed. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-17653-1">http://dx.doi.org/10.1007/978-3-642-17653-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Semantic Web &ndash; ISWC 2010 9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, Revised Selected Papers, Part II ent://SD_ILS/0/SD_ILS:193695 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Patel-Schneider, Peter F. editor.&#160;Pan, Yue. editor.&#160;Hitzler, Pascal. editor.&#160;Mika, Peter. editor.&#160;Zhang, Lei. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-17749-1">http://dx.doi.org/10.1007/978-3-642-17749-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Petri Nets and Other Models of Concurrency IV ent://SD_ILS/0/SD_ILS:193833 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Jensen, Kurt. editor.&#160;Donatelli, Susanna. editor.&#160;Koutny, Maciej. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-18222-8">http://dx.doi.org/10.1007/978-3-642-18222-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers ent://SD_ILS/0/SD_ILS:191698 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Pnueli, Amir. editor.&#160;Virbitskaite, Irina. editor.&#160;Voronkov, Andrei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-11486-1">http://dx.doi.org/10.1007/978-3-642-11486-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Practical Aspects of Declarative Languages 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings ent://SD_ILS/0/SD_ILS:191704 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Carro, Manuel. editor.&#160;Pe&ntilde;a, Ricardo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-11503-5">http://dx.doi.org/10.1007/978-3-642-11503-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Concurrency, Compositionality, and Correctness Essays in Honor of Willem-Paul de Roever ent://SD_ILS/0/SD_ILS:191706 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Dams, Dennis. editor.&#160;Hannemann, Ulrich. editor.&#160;Steffen, Martin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-11512-7">http://dx.doi.org/10.1007/978-3-642-11512-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Grid Resource Management On-demand Provisioning, Advance Reservation, and Capacity Planning of Grid Resources ent://SD_ILS/0/SD_ILS:191728 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Siddiqui, Mumtaz. author.&#160;Fahringer, Thomas. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-11579-0">http://dx.doi.org/10.1007/978-3-642-11579-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> High Performance Computing and Applications Second International Conference, HPCA 2009, Shanghai, China, August 10-12, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:191815 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Zhang, Wu. editor.&#160;Chen, Zhangxin. editor.&#160;Douglas, Craig C. editor.&#160;Tong, Weiqin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-11842-5">http://dx.doi.org/10.1007/978-3-642-11842-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> RoboCup 2009: Robot Soccer World Cup XIII ent://SD_ILS/0/SD_ILS:191826 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Baltes, Jacky. editor.&#160;Lagoudakis, Michail G. editor.&#160;Naruse, Tadashi. editor.&#160;Ghidary, Saeed Shiry. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-11876-0">http://dx.doi.org/10.1007/978-3-642-11876-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automata for Branching and Layered Temporal Structures An Investigation into Regularities of Infinite Transition Systems ent://SD_ILS/0/SD_ILS:191827 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Puppis, Gabriele. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-11881-4">http://dx.doi.org/10.1007/978-3-642-11881-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Wireless Sensor Networks 7th European Conference, EWSN 2010, Coimbra, Portugal, February 17-19, 2010. Proceedings ent://SD_ILS/0/SD_ILS:191836 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Silva, Jorge S&aacute;. editor.&#160;Krishnamachari, Bhaskar. editor.&#160;Boavida, Fernando. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-11917-0">http://dx.doi.org/10.1007/978-3-642-11917-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Approaches and Applications of Inductive Programming Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers ent://SD_ILS/0/SD_ILS:191841 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Schmid, Ute. editor.&#160;Kitzelmann, Emanuel. editor.&#160;Plasmeijer, Rinus. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-11931-6">http://dx.doi.org/10.1007/978-3-642-11931-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Architecture of Computing Systems - ARCS 2010 23rd International Conference, Hannover, Germany, February 22-25, 2010. Proceedings ent://SD_ILS/0/SD_ILS:191846 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;M&uuml;ller-Schloer, Christian. editor.&#160;Karl, Wolfgang. editor.&#160;Yehia, Sami. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-11950-7">http://dx.doi.org/10.1007/978-3-642-11950-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings ent://SD_ILS/0/SD_ILS:191847 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Gordon, Andrew D. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-11957-6">http://dx.doi.org/10.1007/978-3-642-11957-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Compiler Construction 19th International Conference, CC 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings ent://SD_ILS/0/SD_ILS:191850 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Gupta, Rajiv. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-11970-5">http://dx.doi.org/10.1007/978-3-642-11970-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Functional and Constraint Logic Programming 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:191856 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Escobar, Santiago. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-11999-6">http://dx.doi.org/10.1007/978-3-642-11999-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings ent://SD_ILS/0/SD_ILS:191857 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Esparza, Javier. editor.&#160;Majumdar, Rupak. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-12002-2">http://dx.doi.org/10.1007/978-3-642-12002-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamental Approaches to Software Engineering 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings ent://SD_ILS/0/SD_ILS:191866 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Rosenblum, David S. editor.&#160;Taentzer, Gabriele. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-12029-9">http://dx.doi.org/10.1007/978-3-642-12029-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations of Software Science and Computational Structures 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings ent://SD_ILS/0/SD_ILS:191867 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Ong, Luke. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-12032-9">http://dx.doi.org/10.1007/978-3-642-12032-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Systems, Technology and Management 4th International Conference, ICISTM 2010, Bangkok, Thailand, March 11-13, 2010. Proceedings ent://SD_ILS/0/SD_ILS:191868 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Prasad, Sushil K. editor.&#160;Vin, Harrick M. editor.&#160;Sahni, Sartaj. editor.&#160;Jaiswal, Mahadeo P. editor.&#160;Thipakorn, Bundit. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-12035-0">http://dx.doi.org/10.1007/978-3-642-12035-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance 15th International GI/ITG Conference, MMB&amp;DFT 2010, Essen, Germany, March 15-17, 2010. Proceedings ent://SD_ILS/0/SD_ILS:191889 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;M&uuml;ller-Clostermann, Bruno. editor.&#160;Echtle, Klaus. editor.&#160;Rathgeb, Erwin P. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-12104-3">http://dx.doi.org/10.1007/978-3-642-12104-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Language Engineering Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:191890 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Brand, Mark. editor.&#160;Ga&scaron;evi&#263;, Dragan. editor.&#160;Gray, Jeff. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-12107-4">http://dx.doi.org/10.1007/978-3-642-12107-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reconfigurable Computing: Architectures, Tools and Applications 6th International Symposium, ARC 2010, Bangkok, Thailand, March 17-19, 2010. Proceedings ent://SD_ILS/0/SD_ILS:191898 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Sirisuk, Phaophak. editor.&#160;Morgan, Fearghal. editor.&#160;El-Ghazawi, Tarek. editor.&#160;Amano, Hideharu. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-12133-3">http://dx.doi.org/10.1007/978-3-642-12133-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part I ent://SD_ILS/0/SD_ILS:191906 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Taniar, David. editor.&#160;Gervasi, Osvaldo. editor.&#160;Murgante, Beniamino. editor.&#160;Pardede, Eric. editor.&#160;Apduhan, Bernady O. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-12156-2">http://dx.doi.org/10.1007/978-3-642-12156-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part II ent://SD_ILS/0/SD_ILS:191909 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Taniar, David. editor.&#160;Gervasi, Osvaldo. editor.&#160;Murgante, Beniamino. editor.&#160;Pardede, Eric. editor.&#160;Apduhan, Bernady O. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-12165-4">http://dx.doi.org/10.1007/978-3-642-12165-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part III ent://SD_ILS/0/SD_ILS:191914 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Taniar, David. editor.&#160;Gervasi, Osvaldo. editor.&#160;Murgante, Beniamino. editor.&#160;Pardede, Eric. editor.&#160;Apduhan, Bernady O. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-12179-1">http://dx.doi.org/10.1007/978-3-642-12179-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:191917 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Taniar, David. editor.&#160;Gervasi, Osvaldo. editor.&#160;Murgante, Beniamino. editor.&#160;Pardede, Eric. editor.&#160;Apduhan, Bernady O. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-12189-0">http://dx.doi.org/10.1007/978-3-642-12189-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Processing and Management International Conference on Recent Trends in Business Administration and Information Processing, BAIP 2010, Trivandrum, Kerala, India, March 26-27, 2010. Proceedings ent://SD_ILS/0/SD_ILS:191925 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Das, Vinu V. editor.&#160;Vijayakumar, R. editor.&#160;Debnath, Narayan C. editor.&#160;Stephen, Janahanlal. editor.&#160;Meghanathan, Natarajan. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-12214-9">http://dx.doi.org/10.1007/978-3-642-12214-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applications of Evolutionary Computation EvoApplications 2010: EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoMUSART, and EvoTRANSLOG, Istanbul, Turkey, April 7-9, 2010, Proceedings, Part II ent://SD_ILS/0/SD_ILS:191933 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Chio, Cecilia. editor.&#160;Brabazon, Anthony. editor.&#160;Caro, Gianni A. editor.&#160;Ebner, Marc. editor.&#160;Farooq, Muddassar. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-12242-2">http://dx.doi.org/10.1007/978-3-642-12242-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings ent://SD_ILS/0/SD_ILS:191936 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Blume, Matthias. editor.&#160;Kobayashi, Naoki. editor.&#160;Vidal, Germ&aacute;n. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-12251-4">http://dx.doi.org/10.1007/978-3-642-12251-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Models in Software Engineering Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers ent://SD_ILS/0/SD_ILS:191939 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Ghosh, Sudipto. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-12261-3">http://dx.doi.org/10.1007/978-3-642-12261-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Search Computing Challenges and Directions ent://SD_ILS/0/SD_ILS:191954 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Ceri, Stefano. editor.&#160;Brambilla, Marco. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-12310-8">http://dx.doi.org/10.1007/978-3-642-12310-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Passive and Active Measurement 11th International Conference, PAM 2010, Zurich, Switzerland, April 7-9, 2010. Proceedings ent://SD_ILS/0/SD_ILS:191961 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Krishnamurthy, Arvind. editor.&#160;Plattner, Bernhard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-12334-4">http://dx.doi.org/10.1007/978-3-642-12334-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations of Computer Software. Future Trends and Techniques for Development 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers ent://SD_ILS/0/SD_ILS:192036 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Choppy, Christine. editor.&#160;Sokolsky, Oleg. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-12566-9">http://dx.doi.org/10.1007/978-3-642-12566-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic-Based Program Synthesis and Transformation 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:192043 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Schreye, Danny. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-12592-8">http://dx.doi.org/10.1007/978-3-642-12592-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pervasive Computing 8th International Conference, Pervasive 2010, Helsinki, Finland, May 17-20, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192065 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Flor&eacute;en, Patrik. editor.&#160;Kr&uuml;ger, Antonio. editor.&#160;Spasojevic, Mirjana. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-12654-3">http://dx.doi.org/10.1007/978-3-642-12654-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> High Performance Computing Systems and Applications 23rd International Symposium, HPCS 2009, Kingston, ON, Canada, June 14-17, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:192067 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Mewhort, Douglas J. K. editor.&#160;Cann, Natalie M. editor.&#160;Slater, Gary W. editor.&#160;Naughton, Thomas J. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-12659-8">http://dx.doi.org/10.1007/978-3-642-12659-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Lectures on Software Engineering LASER Summer School 2007/2008 ent://SD_ILS/0/SD_ILS:192186 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;M&uuml;ller, Peter. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13010-6">http://dx.doi.org/10.1007/978-3-642-13010-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Grid and Pervasive Computing 5th International Conference, GPC 2010, Hualien, Taiwan, May 10-13, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192208 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Bellavista, Paolo. editor.&#160;Chang, Ruay-Shiung. editor.&#160;Chao, Han-Chieh. editor.&#160;Lin, Shin-Feng. editor.&#160;Sloot, Peter M. A. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13067-0">http://dx.doi.org/10.1007/978-3-642-13067-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Information Systems Engineering 22nd International Conference, CAiSE 2010, Hammamet, Tunisia, June 7-9, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192217 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Pernici, Barbara. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13094-6">http://dx.doi.org/10.1007/978-3-642-13094-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings. Part I ent://SD_ILS/0/SD_ILS:192228 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Hsu, Ching-Hsien. editor.&#160;Yang, Laurence T. editor.&#160;Park, Jong Hyuk. editor.&#160;Yeo, Sang-Soo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13119-6">http://dx.doi.org/10.1007/978-3-642-13119-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Workshops, Part II ent://SD_ILS/0/SD_ILS:192235 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Hsu, Ching-Hsien. editor.&#160;Yang, Laurence T. editor.&#160;Park, Jong Hyuk. editor.&#160;Yeo, Sang-Soo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13136-3">http://dx.doi.org/10.1007/978-3-642-13136-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Beyond Loop Level Parallelism in OpenMP: Accelerators, Tasking and More 6th Internationan Workshop on OpenMP, IWOMP 2010, Tsukuba, Japan, June 14-16, 2010 Proceedings ent://SD_ILS/0/SD_ILS:192265 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Sato, Mitsuhisa. editor.&#160;Hanawa, Toshihiro. editor.&#160;M&uuml;ller, Matthias S. editor.&#160;Chapman, Barbara M. editor.&#160;Supinski, Bronis R. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13217-9">http://dx.doi.org/10.1007/978-3-642-13217-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Component-Based Software Engineering 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192270 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Grunske, Lars. editor.&#160;Reussner, Ralf. editor.&#160;Plasil, Frantisek. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13238-4">http://dx.doi.org/10.1007/978-3-642-13238-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Coordination Models and Languages 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192326 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Clarke, Dave. editor.&#160;Agha, Gul. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13414-2">http://dx.doi.org/10.1007/978-3-642-13414-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Techniques for Distributed Systems Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192342 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Hatcliff, John. editor.&#160;Zucca, Elena. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13464-7">http://dx.doi.org/10.1007/978-3-642-13464-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reliable Software Technologiey &ndash; Ada-Europe 2010 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192372 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Real, Jorge. editor.&#160;Vardanega, Tullio. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13550-7">http://dx.doi.org/10.1007/978-3-642-13550-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multi-Agent-Based Simulation X International Workshop, MABS 2009, Budapest, Hungary, May 11-12, 2009 Revised Selected Papers ent://SD_ILS/0/SD_ILS:192373 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Tosto, Gennaro. editor.&#160;Dyke Parunak, H. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13553-8">http://dx.doi.org/10.1007/978-3-642-13553-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Architecting Critical Systems First International Symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010 Proceedings ent://SD_ILS/0/SD_ILS:192374 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Giese, Holger. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13556-9">http://dx.doi.org/10.1007/978-3-642-13556-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Analytical and Stochastic Modeling Techniques and Applications 17th International Conference, ASMTA 2010, Cardiff, UK, June 14-16, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192378 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Al-Begain, Khalid. editor.&#160;Fiems, Dieter. editor.&#160;Knottenbelt, William J. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13568-2">http://dx.doi.org/10.1007/978-3-642-13568-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modelling Foundations and Applications 6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192385 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;K&uuml;hne, Thomas. editor.&#160;Selic, Bran. editor.&#160;Gervais, Marie-Pierre. editor.&#160;Terrier, Fran&ccedil;ois. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13595-8">http://dx.doi.org/10.1007/978-3-642-13595-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Applications and Interoperable Systems 10th IFIP WG 6.1 International Conference, DAIS 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192402 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Eliassen, Frank. editor.&#160;Kapitza, R&uuml;diger. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13645-0">http://dx.doi.org/10.1007/978-3-642-13645-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Computing in Sensor Systems 6th IEEE International Conference, DCOSS 2010, Santa Barbara, CA, USA, June 21-23, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192404 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Rajaraman, Rajmohan. editor.&#160;Moscibroda, Thomas. editor.&#160;Dunkels, Adam. editor.&#160;Scaglione, Anna. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13651-1">http://dx.doi.org/10.1007/978-3-642-13651-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applications and Theory of Petri Nets 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192412 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Lilius, Johan. editor.&#160;Penczek, Wojciech. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13675-7">http://dx.doi.org/10.1007/978-3-642-13675-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures ent://SD_ILS/0/SD_ILS:192413 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Aldini, Alessandro. editor.&#160;Bernardo, Marco. editor.&#160;Pierro, Alessandra. editor.&#160;Wiklicky, Herbert. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13678-8">http://dx.doi.org/10.1007/978-3-642-13678-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Practice of Model Transformations Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192417 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Tratt, Laurence. editor.&#160;Gogolla, Martin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13688-7">http://dx.doi.org/10.1007/978-3-642-13688-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Processing in Computer-Assisted Interventions First International Conference, IPCAI 2010, Geneva, Switzerland, June 23, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192421 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Navab, Nassir. editor.&#160;Jannin, Pierre. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13711-2">http://dx.doi.org/10.1007/978-3-642-13711-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Objects, Models, Components, Patterns 48th International Conference, TOOLS 2010, M&aacute;laga, Spain, June 28&ndash;July 2, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192502 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Vitek, Jan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13953-6">http://dx.doi.org/10.1007/978-3-642-13953-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tests and Proofs 4th International Conference, TAP 2010, M&aacute;laga, Spain, July 1-2, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192510 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Fraser, Gordon. editor.&#160;Gargantini, Angelo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13977-2">http://dx.doi.org/10.1007/978-3-642-13977-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mechanisms for Autonomous Management of Networks and Services 4th International Conference on Autonomous Infrastructure, Management and Security, AIMS 2010, Zurich, Switzerland, June 23-25, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192513 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Stiller, Burkhard. editor.&#160;Turck, Filip. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13986-4">http://dx.doi.org/10.1007/978-3-642-13986-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Aging Friendly Technology for Health and Independence 8th International Conference on Smart Homes and Health Telematics, ICOST 2010, Seoul, Korea, June 22-24, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192445 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Lee, Yeunsook. editor.&#160;Bien, Z. Zenn. editor.&#160;Mokhtari, Mounir. editor.&#160;Kim, Jeong Tai. editor.&#160;Park, Mignon. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13778-5">http://dx.doi.org/10.1007/978-3-642-13778-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Future Multimedia Networking Third International Workshop, FMN 2010, Krak&oacute;w, Poland, June 17-18, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192449 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Zeadally, Sherali. editor.&#160;Cerqueira, Eduardo. editor.&#160;Curado, Mar&iacute;lia. editor.&#160;Leszczuk, Miko&#322;aj. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13789-1">http://dx.doi.org/10.1007/978-3-642-13789-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Product-Focused Software Process Improvement 11th International Conference, PROFES 2010, Limerick, Ireland, June 21-23, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192450 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Ali Babar, M. editor.&#160;Vierimaa, Matias. editor.&#160;Oivo, Markku. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13792-1">http://dx.doi.org/10.1007/978-3-642-13792-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Composition 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192532 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Baudry, Beno&icirc;t. editor.&#160;Wohlstadter, Eric. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14046-4">http://dx.doi.org/10.1007/978-3-642-14046-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Interactive Theorem Proving First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192534 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Kaufmann, Matt. editor.&#160;Paulson, Lawrence C. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14052-5">http://dx.doi.org/10.1007/978-3-642-14052-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Research into Practice &ndash; Reality and Gaps 6th International Conference on the Quality of Software Architectures, QoSA 2010, Prague, Czech Republic, June 23 - 25, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192460 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Heineman, George T. editor.&#160;Kofron, Jan. editor.&#160;Plasil, Frantisek. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13821-8">http://dx.doi.org/10.1007/978-3-642-13821-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Product Lines: Going Beyond 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193015 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Bosch, Jan. editor.&#160;Lee, Jaejoon. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15579-6">http://dx.doi.org/10.1007/978-3-642-15579-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Testing &ndash; Practice and Research Techniques 5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193017 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Bottaci, Leonardo. editor.&#160;Fraser, Gordon. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15585-7">http://dx.doi.org/10.1007/978-3-642-15585-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Life System Modeling and Intelligent Computing International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, September 17-20, 2010, Proceedings, Part II ent://SD_ILS/0/SD_ILS:193021 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Li, Kang. editor.&#160;Fei, Minrui. editor.&#160;Jia, Li. editor.&#160;Irwin, George W. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15597-0">http://dx.doi.org/10.1007/978-3-642-15597-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Object-oriented software engineering : using UML, patterns, and Java ent://SD_ILS/0/SD_ILS:313618 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Bruegge, Bernd.&#160;Dutoit, Allen H.<br/>Preferred Shelf Number&#160;QA76.758 B785 2014<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> A Process Algebraic Approach to Software Architecture Design ent://SD_ILS/0/SD_ILS:175768 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Aldini, Alessandro. author.&#160;Bernardo, Marco. author.&#160;Corradini, Flavio. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84800-223-4">http://dx.doi.org/10.1007/978-1-84800-223-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agent-Based Service-Oriented Computing ent://SD_ILS/0/SD_ILS:176136 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Griffiths, Nathan. editor.&#160;Chao, Kuo-Ming. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84996-041-0">http://dx.doi.org/10.1007/978-1-84996-041-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Thriving Systems Theory and Metaphor-Driven Modeling ent://SD_ILS/0/SD_ILS:176215 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Waguespack, Leslie J. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84996-302-2">http://dx.doi.org/10.1007/978-1-84996-302-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Making Systems Safer Proceedings of the Eighteenth Safety-Critical Systems Symposium, Bristol, UK, 9-11th February 2010 ent://SD_ILS/0/SD_ILS:176151 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Dale, Chris. editor.&#160;Anderson, Tom. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84996-086-1">http://dx.doi.org/10.1007/978-1-84996-086-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tabletops - Horizontal Interactive Displays ent://SD_ILS/0/SD_ILS:176160 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;M&uuml;ller-Tomfelde, Christian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84996-113-4">http://dx.doi.org/10.1007/978-1-84996-113-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agile Software Development Best Practices for Large Software Development Projects ent://SD_ILS/0/SD_ILS:186064 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Stober, Thomas. author.&#160;Hansmann, Uwe. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-70832-2">http://dx.doi.org/10.1007/978-3-540-70832-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Security for Web Services and Service-Oriented Architectures ent://SD_ILS/0/SD_ILS:188902 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Bertino, Elisa. author.&#160;Martino, Lorenzo. author.&#160;Paci, Federica. author.&#160;Squicciarini, Anna. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-87742-4">http://dx.doi.org/10.1007/978-3-540-87742-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> QVT - Operational Mappings Modellierung mit der Query Views Transformation ent://SD_ILS/0/SD_ILS:189425 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Nolte, Siegfried. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-92293-3">http://dx.doi.org/10.1007/978-3-540-92293-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> sicher &amp; mobil Sicherheit in der drahtlosen Kommunikation ent://SD_ILS/0/SD_ILS:190513 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Osterhage, Wolfgang. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-03083-3">http://dx.doi.org/10.1007/978-3-642-03083-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Relationale und postrelationale Datenbanken ent://SD_ILS/0/SD_ILS:191205 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Meier, Andreas. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-05256-9">http://dx.doi.org/10.1007/978-3-642-05256-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Digitale Hardware/Software-Systeme Spezifikation und Verifikation ent://SD_ILS/0/SD_ILS:191239 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Haubelt, Christian. author.&#160;Teich, J&uuml;rgen. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-05356-6">http://dx.doi.org/10.1007/978-3-642-05356-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Requirements-Engineering systematisch Modellbildung f&uuml;r softwaregest&uuml;tzte Systeme ent://SD_ILS/0/SD_ILS:191240 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Partsch, Helmuth A. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-05358-0">http://dx.doi.org/10.1007/978-3-642-05358-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Quantum Communication and Quantum Networking First International Conference, QuantumComm 2009, Naples, Italy, October 26-30, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:191783 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Sergienko, Alexander. editor.&#160;Pascazio, Saverio. editor.&#160;Villoresi, Paolo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-11731-2">http://dx.doi.org/10.1007/978-3-642-11731-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Networks for Grid Applications Third International ICST Conference, GridNets 2009, Athens, Greece, September 8-9, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:191784 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Doulamis, Anastasios. editor.&#160;Mambretti, Joe. editor.&#160;Tomkos, Ioannis. editor.&#160;Varvarigou, Theodora. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-11733-6">http://dx.doi.org/10.1007/978-3-642-11733-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tools for High Performance Computing 2009 Proceedings of the 3rd International Workshop on Parallel Tools for High Performance Computing, September 2009, ZIH, Dresden ent://SD_ILS/0/SD_ILS:191631 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;M&uuml;ller, Matthias S. editor.&#160;Resch, Michael M. editor.&#160;Schulz, Alexander. editor.&#160;Nagel, Wolfgang E. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-11261-4">http://dx.doi.org/10.1007/978-3-642-11261-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Access Networks 4th International Conference, AccessNets 2009, Hong Kong, China, November 1-3, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:191755 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Hei, Xiao Jun. editor.&#160;Cheung, Lawrence. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-11664-3">http://dx.doi.org/10.1007/978-3-642-11664-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> E-Infrastructures and E-Services on Developing Countries First International ICST Conference, AFRICOM 2009, Maputo, Mozambique, December 3-4, 2009. Proceedings ent://SD_ILS/0/SD_ILS:192082 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Villafiorita, Adolfo. editor.&#160;Saint-Paul, Regis. editor.&#160;Zorer, Alessandro. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-12701-4">http://dx.doi.org/10.1007/978-3-642-12701-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Bioinspired Models of Network, Information, and Computing Systems 4th International Conference, BIONETICS 2009, Avignon, France, December 9-11, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:192117 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Altman, Eitan. editor.&#160;Carrera, Iacopo. editor.&#160;El-Azouzi, Rachid. editor.&#160;Hart, Emma. editor.&#160;Hayel, Yezekael. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-12808-0">http://dx.doi.org/10.1007/978-3-642-12808-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Open Source Software: New Horizons 6th International IFIP WG 2.13 Conference on Open Source Systems, OSS 2010, Notre Dame, IN, USA, May 30 &ndash; June 2, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192272 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;&Aring;gerfalk, P&auml;r. editor.&#160;Boldyreff, Cornelia. editor.&#160;Gonz&aacute;lez-Barahona, Jes&uacute;s M. editor.&#160;Madey, Gregory R. editor.&#160;Noll, John. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13244-5">http://dx.doi.org/10.1007/978-3-642-13244-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering Approaches for Offshore and Outsourced Development 4th International Conference, SEAFOOD 2010, St. Petersburg, Russia, June 17-18, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192447 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Nordio, Martin. editor.&#160;Joseph, Mathai. editor.&#160;Meyer, Bertrand. editor.&#160;Terekhov, Andrey. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13784-6">http://dx.doi.org/10.1007/978-3-642-13784-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Specification and Verification of Declarative Open Interaction Models A Logic-Based Approach ent://SD_ILS/0/SD_ILS:192688 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Montali, Marco. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14538-4">http://dx.doi.org/10.1007/978-3-642-14538-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cyber-Physical Systems Innovation Durch Software-Intensive Eingebettete Systeme ent://SD_ILS/0/SD_ILS:192807 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Broy, Manfred. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14901-6">http://dx.doi.org/10.1007/978-3-642-14901-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Communications: Wireless in Developing Countries and Networks of the Future Third IFIP TC 6 International Conference, WCITD 2010 and IFIP TC 6 International Conference, NF 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192981 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Pont, Ana. editor.&#160;Pujolle, Guy. editor.&#160;Raghavan, S. V. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15476-8">http://dx.doi.org/10.1007/978-3-642-15476-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programmieren in C ent://SD_ILS/0/SD_ILS:197735 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Klima, Robert. author.&#160;Selberherr, Siegfried. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-7091-0393-7">http://dx.doi.org/10.1007/978-3-7091-0393-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Event-Driven Architecture Softwarearchitektur f&uuml;r ereignisgesteuerte Gesch&auml;ftsprozesse ent://SD_ILS/0/SD_ILS:190321 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Bruns, Ralf. author.&#160;Dunkel, J&uuml;rgen. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02439-9">http://dx.doi.org/10.1007/978-3-642-02439-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Test-Driven Development An Empirical Evaluation of Agile Practice ent://SD_ILS/0/SD_ILS:190899 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Madeyski, Lech. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04288-1">http://dx.doi.org/10.1007/978-3-642-04288-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Kompendium semantische Netze Konzepte, Technologie, Modellierung ent://SD_ILS/0/SD_ILS:190908 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Reichenberger, Klaus. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04315-4">http://dx.doi.org/10.1007/978-3-642-04315-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Informationsverarbeitung in Versicherungsunternehmen ent://SD_ILS/0/SD_ILS:190911 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Aschenbrenner, Michael. editor.&#160;Dicke, Ralph. editor.&#160;Karnarski, Bertel. editor.&#160;Schweiggert, Franz. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04321-5">http://dx.doi.org/10.1007/978-3-642-04321-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Datenaustausch in der Anlagenplanung mit AutomationML Integration von CAEX, PLCopen XML und COLLADA ent://SD_ILS/0/SD_ILS:191023 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Draht, Rainer. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04674-2">http://dx.doi.org/10.1007/978-3-642-04674-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Das C++ Kompendium STL, Objektfabriken, Exceptions ent://SD_ILS/0/SD_ILS:191058 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Brands, Gilbert. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04787-9">http://dx.doi.org/10.1007/978-3-642-04787-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Strategic IT Management A Toolkit for Enterprise Architecture Management ent://SD_ILS/0/SD_ILS:191135 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Hanschke, Inge. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-05034-3">http://dx.doi.org/10.1007/978-3-642-05034-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Enterprise Architecture, Integration and Interoperability IFIP TC 5 International Conference, EAI2N 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192991 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Bernus, Peter. editor.&#160;Doumeingts, Guy. editor.&#160;Fox, Mark. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15509-3">http://dx.doi.org/10.1007/978-3-642-15509-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Security and Privacy in Communication Networks 6th Iternational ICST Conference, SecureComm 2010, Singapore, September 7-9, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193205 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Jajodia, Sushil. editor.&#160;Zhou, Jianying. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16161-2">http://dx.doi.org/10.1007/978-3-642-16161-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Objektorientierte Programmierung spielend gelernt mit dem Java-Hamster-Modell ent://SD_ILS/0/SD_ILS:199469 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Boles, Dietrich. author.&#160;Boles, Cornelia. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-8348-9349-9">http://dx.doi.org/10.1007/978-3-8348-9349-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Quality-Driven SystemC Design ent://SD_ILS/0/SD_ILS:205136 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Gro&szlig;e, Daniel. author.&#160;Drechsler, Rolf. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-90-481-3631-5">http://dx.doi.org/10.1007/978-90-481-3631-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Techniques in Computing Sciences and Software Engineering ent://SD_ILS/0/SD_ILS:205144 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Elleithy, Khaled. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-90-481-3660-5">http://dx.doi.org/10.1007/978-90-481-3660-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Open Source Software for Digital Forensics ent://SD_ILS/0/SD_ILS:172432 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Huebner, Ewa. editor.&#160;Zanero, Stefano. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-5803-7">http://dx.doi.org/10.1007/978-1-4419-5803-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Python 3 - Intensivkurs Projekte erfolgreich realisieren ent://SD_ILS/0/SD_ILS:190926 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Pilgrim, Mark. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04377-2">http://dx.doi.org/10.1007/978-3-642-04377-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ad Hoc Networks First International Conference, ADHOCNETS 2009, Niagara Falls, Ontario, Canada, September 22-25, 2009. Revised Selected Papers ent://SD_ILS/0/SD_ILS:191780 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Zheng, Jun. editor.&#160;Mao, Shiwen. editor.&#160;Midkiff, Scott F. editor.&#160;Zhu, Hua. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-11723-7">http://dx.doi.org/10.1007/978-3-642-11723-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Lean Enterprise Software and Systems First International Conference, LESS 2010, Helsinki, Finland, October 17-20, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193287 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Abrahamsson, Pekka. editor.&#160;Oza, Nilay. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16416-3">http://dx.doi.org/10.1007/978-3-642-16416-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Collaborative Networks for a Sustainable World 11th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2010, St. Etienne, France, October 11-13, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193140 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Camarinha-Matos, Luis M. editor.&#160;Boucher, Xavier. editor.&#160;Afsarmanesh, Hamideh. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15961-9">http://dx.doi.org/10.1007/978-3-642-15961-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Services for e-World 10th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2010, Buenos Aires, Argentina, November 3-5, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193246 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Cellary, Wojciech. editor.&#160;Estevez, Elsa. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16283-1">http://dx.doi.org/10.1007/978-3-642-16283-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Production Management Systems. New Challenges, New Approaches IFIP WG 5.7 International Conference, APMS 2009, Bordeaux, France, September 21-23, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:193270 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Vallespir, Bruno. editor.&#160;Alix, Th&egrave;cle. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16358-6">http://dx.doi.org/10.1007/978-3-642-16358-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mobile Lightweight Wireless Systems Second International ICST Conference, MOBILIGHT 2010, Barcelona, Spain, May 10-12, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:193365 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Chatzimisios, Periklis. editor.&#160;Verikoukis, Christos. editor.&#160;Santamar&iacute;a, Ignacio. editor.&#160;Laddomada, Massimiliano. editor.&#160;Hoffmann, Oliver. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16644-0">http://dx.doi.org/10.1007/978-3-642-16644-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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 Papers ent://SD_ILS/0/SD_ILS:193698 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Cai, Ying. editor.&#160;Magedanz, Thomas. editor.&#160;Li, Minglu. editor.&#160;Xia, Jinchun. editor.&#160;Giannelli, Carlo. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computerlinguistik und Sprachtechnologie Eine Einf&uuml;hrung ent://SD_ILS/0/SD_ILS:198706 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Carstensen, Kai-Uwe. editor.&#160;Ebert, Christian. editor.&#160;Ebert, Cornelia. editor.&#160;Jekat, Susanne J. editor.&#160;Klabunde, Ralf. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-8274-2224-8">http://dx.doi.org/10.1007/978-3-8274-2224-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Usability Engineering kompakt Benutzbare Software gezielt entwickeln ent://SD_ILS/0/SD_ILS:198738 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Richter, Michael. author.&#160;Fl&uuml;ckiger, Markus D. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-8274-2329-0">http://dx.doi.org/10.1007/978-3-8274-2329-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Best Practice Software-Engineering Eine praxiserprobte Zusammenstellung von komponentenorientierten Konzepten, Methoden und Werkzeugen ent://SD_ILS/0/SD_ILS:198764 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Schatten, Alexander. author.&#160;Demolsky, Markus. author.&#160;Winkler, Dietmar. author.&#160;Biffl, Stefan. author.&#160;Gostischa-Franta, Erik. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-8274-2487-7">http://dx.doi.org/10.1007/978-3-8274-2487-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Patterns kompakt Entwurfsmuster f&uuml;r effektive Software-Entwicklung ent://SD_ILS/0/SD_ILS:198768 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Eilebrecht, Karl. author.&#160;Starke, Gernot. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-8274-2526-3">http://dx.doi.org/10.1007/978-3-8274-2526-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Service-orientierte Architekturen mit Web Services Konzepte &ndash; Standards &ndash; Praxis ent://SD_ILS/0/SD_ILS:198770 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Melzer, Ingo. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-8274-2550-8">http://dx.doi.org/10.1007/978-3-8274-2550-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Grundkurs Programmieren mit Delphi Systematisch programmieren lernen mit Turbo Delphi 2006, Delphi 7 und vielen anderen Delphi-Versionen ent://SD_ILS/0/SD_ILS:199478 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Matth&auml;us, Wolf-Gert. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-8348-9358-1">http://dx.doi.org/10.1007/978-3-8348-9358-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Grundkurs Datenbankentwurf Eine beispielorientierte Einf&uuml;hrung f&uuml;r Studenten und Praktiker ent://SD_ILS/0/SD_ILS:199482 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Jarosch, Helmut. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-8348-9362-8">http://dx.doi.org/10.1007/978-3-8348-9362-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithmen und Probleml&ouml;sungen mit C++ Von der Diskreten Mathematik zum fertigen Programm &ndash; Lern- und Arbeitsbuch f&uuml;r Informatiker und Mathematiker ent://SD_ILS/0/SD_ILS:199502 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Logof&#259;tu, Doina. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-8348-9382-6">http://dx.doi.org/10.1007/978-3-8348-9382-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Java-Grundkurs f&uuml;r Wirtschaftsinformatiker Die Grundlagen verstehen &ndash; Objektorientierte Programmierung &ndash; Fortgeschrittene Konzepte kennenlernen &ndash; Betriebswirtschaftlich orientierte Beispiele ent://SD_ILS/0/SD_ILS:199761 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Deck, Klaus-Georg. author.&#160;Neuendorf, Herbert. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-8348-9652-0">http://dx.doi.org/10.1007/978-3-8348-9652-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Grundkurs Computergrafik mit Java Die Grundlagen verstehen und einfach umsetzen mit Java 3D ent://SD_ILS/0/SD_ILS:199788 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Klawonn, Frank. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-8348-9679-7">http://dx.doi.org/10.1007/978-3-8348-9679-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> UML in logistischen Prozessen Graphische Sprache zur Modellierung der Systeme ent://SD_ILS/0/SD_ILS:199805 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Czuchra, Waldemar. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-8348-9698-8">http://dx.doi.org/10.1007/978-3-8348-9698-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Petrinetze Modellierungstechnik, Analysemethoden, Fallstudien ent://SD_ILS/0/SD_ILS:199815 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Reisig, Wolfgang. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-8348-9708-4">http://dx.doi.org/10.1007/978-3-8348-9708-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Masterkurs Client/Server-Programmierung mit Java Anwendungen entwickeln mit Standard-Technologien: JDBC, UDP, TCP, HTTP, XML-RPC, RMI, JMS und JAX-WS ent://SD_ILS/0/SD_ILS:199831 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Abts, Dietmar. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-8348-9724-4">http://dx.doi.org/10.1007/978-3-8348-9724-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Grundkurs JAVA Von den Grundlagen bis zu Datenbankund Netzanwendungen ent://SD_ILS/0/SD_ILS:199851 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Abts, Dietmar. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-8348-9747-3">http://dx.doi.org/10.1007/978-3-8348-9747-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Innovations in Computing Sciences and Software Engineering ent://SD_ILS/0/SD_ILS:205401 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Sobh, Tarek. editor.&#160;Elleithy, Khaled. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-90-481-9112-3">http://dx.doi.org/10.1007/978-90-481-9112-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Secure Integrated Circuits and Systems ent://SD_ILS/0/SD_ILS:166890 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Verbauwhede, Ingrid M.R. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-71829-3">http://dx.doi.org/10.1007/978-0-387-71829-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Network Security ent://SD_ILS/0/SD_ILS:167094 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Huang, Scott C.-H. editor.&#160;MacCallum, David. editor.&#160;Du, Ding-Zhu. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-73821-5">http://dx.doi.org/10.1007/978-0-387-73821-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pro PHP Refactoring ent://SD_ILS/0/SD_ILS:171360 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Trucchia, Francesco. author.&#160;Romei, Jacopo. author.&#160;Lowman, Michelle. editor.&#160;Andres, Clay. editor.&#160;Anglin, Steve. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4302-2728-1">http://dx.doi.org/10.1007/978-1-4302-2728-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pro Python ent://SD_ILS/0/SD_ILS:171367 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Alchin, Marty. author.&#160;Andres, Clay. editor.&#160;Anglin, Steve. editor.&#160;Beckner, Mark. editor.&#160;Buckingham, Ewan. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4302-2758-8">http://dx.doi.org/10.1007/978-1-4302-2758-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Managed Grids and Cloud Systems in the Asia-Pacific Research Community ent://SD_ILS/0/SD_ILS:172604 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Lin, Simon C. editor.&#160;Yen, Eric. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-6469-4">http://dx.doi.org/10.1007/978-1-4419-6469-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hardware Based Packet Classification for High Speed Internet Routers ent://SD_ILS/0/SD_ILS:172668 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Meiners, Chad R. author.&#160;Liu, Alex X. author.&#160;Torng, Eric. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-6700-8">http://dx.doi.org/10.1007/978-1-4419-6700-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Composing Software Components A Software-testing Perspective ent://SD_ILS/0/SD_ILS:172786 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Hamlet, Dick. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-7148-7">http://dx.doi.org/10.1007/978-1-4419-7148-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Systems Development Towards a Service Provision Society ent://SD_ILS/0/SD_ILS:167717 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Papadopoulos, George Angelos. editor.&#160;Wojtkowski, Wita. editor.&#160;Wojtkowski, Gregory. editor.&#160;Wrycza, Stanislaw. editor.&#160;Zupancic, Jo&#382;e. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b137171">http://dx.doi.org/10.1007/b137171</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Visual Information Communication ent://SD_ILS/0/SD_ILS:171929 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Huang, Mao Lin. editor.&#160;Nguyen, Quang Vinh. editor.&#160;Zhang, Kang. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-0312-9">http://dx.doi.org/10.1007/978-1-4419-0312-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Specification and Verification of Multi-agent Systems ent://SD_ILS/0/SD_ILS:172741 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Dastani, Mehdi. editor.&#160;Hindriks, Koen V. editor.&#160;Meyer, John-Jules Charles. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-6984-2">http://dx.doi.org/10.1007/978-1-4419-6984-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Engineering of Mixed Reality Systems ent://SD_ILS/0/SD_ILS:176053 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Dubois, Emmanuel. editor.&#160;Gray, Philip. editor.&#160;Nigay, Laurence. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84882-733-2">http://dx.doi.org/10.1007/978-1-84882-733-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods: State of the Art and New Directions ent://SD_ILS/0/SD_ILS:176054 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Boca, Paul. editor.&#160;Bowen, Jonathan P. editor.&#160;Siddiqi, Jawed. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84882-736-3">http://dx.doi.org/10.1007/978-1-84882-736-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reliable and Autonomous Computational Science International Conference, RACS 2010, Atlanta, GA, USA, October 27-30, 2010 ent://SD_ILS/0/SD_ILS:176710 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Shin, Sung Y. editor.&#160;Gantenbein, Rex. editor.&#160;Kuo, Tei-Wei. editor.&#160;Hong, Jiman. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-0348-0031-0">http://dx.doi.org/10.1007/978-3-0348-0031-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Architecture-Based Design of Multi-Agent Systems ent://SD_ILS/0/SD_ILS:189871 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Weyns, Danny. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-01064-4">http://dx.doi.org/10.1007/978-3-642-01064-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Simula Research Laboratory by Thinking Constantly about it ent://SD_ILS/0/SD_ILS:189903 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Tveito, Aslak. editor.&#160;Bruaset, Are Magnus. editor.&#160;Lysne, Olav. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-01156-6">http://dx.doi.org/10.1007/978-3-642-01156-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Business Process Technology A Unified View on Business Processes, Workflows and Enterprise Applications ent://SD_ILS/0/SD_ILS:190049 2024-08-16T15:59:36Z 2024-08-16T15:59:36Z Author&#160;Draheim, Dirk. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-01588-5">http://dx.doi.org/10.1007/978-3-642-01588-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>