Search Results for Software. - Narrowed by: Computer simulation. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSoftware.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bsimulation.$002509Computer$002bsimulation.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300?dt=list 2024-12-29T17:15:53Z Software Process Modeling ent://SD_ILS/0/SD_ILS:165037 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Acu&ntilde;a, Silvia T. editor.&#160;Juristo, Natalia. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b104986">http://dx.doi.org/10.1007/b104986</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model-Based Software Performance Analysis ent://SD_ILS/0/SD_ILS:192394 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Cortellessa, Vittorio. author.&#160;Di Marco, Antinisca. author.&#160;Inverardi, Paola. 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-13621-4">http://dx.doi.org/10.1007/978-3-642-13621-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Life Models in Software ent://SD_ILS/0/SD_ILS:175940 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Komosinski, Maciej. editor.&#160;Adamatzky, 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-1-84882-285-6">http://dx.doi.org/10.1007/978-1-84882-285-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering for Self-Adaptive Systems ent://SD_ILS/0/SD_ILS:190235 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Cheng, Betty H. C. editor.&#160;Lemos, Rog&eacute;rio. editor.&#160;Giese, Holger. editor.&#160;Inverardi, Paola. editor.&#160;Magee, Jeff. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02161-9">http://dx.doi.org/10.1007/978-3-642-02161-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Life Models in Software ent://SD_ILS/0/SD_ILS:175318 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Adamatzky, Andrew. editor.&#160;Komosinski, Maciej. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/1-84628-214-4">http://dx.doi.org/10.1007/1-84628-214-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5&ndash;9, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484770 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Ait-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712&#160;Qin, Shengchao. editor. (orcid)0000-0003-3028-8191&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-32409-4">https://doi.org/10.1007/978-3-030-32409-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Language Engineering 7th International Conference, SLE 2014, V&auml;ster&aring;s, Sweden, September 15-16, 2014. Proceedings ent://SD_ILS/0/SD_ILS:486822 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Combemale, Benoit. editor.&#160;Pearce, David. editor.&#160;Barais, Olivier. editor.&#160;Vinju, Jurgen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11245-9">https://doi.org/10.1007/978-3-319-11245-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Product-Focused Software Process Improvement 15th International Conference, PROFES 2014, Helsinki, Finland, December 10-12, 2014, Proceedings ent://SD_ILS/0/SD_ILS:487100 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Jedlitschka, Andreas. editor.&#160;Kuvaja, Pasi. editor.&#160;Kuhrmann, Marco. editor.&#160;M&auml;nnist&ouml;, Tomi. editor.&#160;M&uuml;nch, J&uuml;rgen. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-13835-0">https://doi.org/10.1007/978-3-319-13835-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Aspect-Oriented Software Development IX ent://SD_ILS/0/SD_ILS:197616 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Leavens, Gary T. editor.&#160;Chiba, Shigeru. editor.&#160;Haupt, Michael. editor.&#160;Ostermann, Klaus. editor.&#160;Wohlstadter, Eric. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35551-6">http://dx.doi.org/10.1007/978-3-642-35551-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Games, Actions and Social Software Multidisciplinary Aspects ent://SD_ILS/0/SD_ILS:196670 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Eijck, Jan. editor.&#160;Verbrugge, Rineke. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29326-9">http://dx.doi.org/10.1007/978-3-642-29326-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Aspect-Oriented Software Development VIII ent://SD_ILS/0/SD_ILS:194895 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Katz, Shmuel. editor.&#160;Mezini, Mira. editor.&#160;Schwanninger, Christine. editor.&#160;Joosen, Wouter. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-22031-9">http://dx.doi.org/10.1007/978-3-642-22031-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Aspect-Oriented Software Development V ent://SD_ILS/0/SD_ILS:190203 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Rashid, Awais. editor.&#160;Ossher, Harold. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02059-9">http://dx.doi.org/10.1007/978-3-642-02059-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Aspect-Oriented Software Development III ent://SD_ILS/0/SD_ILS:187349 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Rashid, Awais. editor.&#160;Aksit, Mehmet. editor.&#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-75162-5">http://dx.doi.org/10.1007/978-3-540-75162-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Aspect-Oriented Software Development IV ent://SD_ILS/0/SD_ILS:187770 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Rashid, Awais. editor.&#160;Aksit, Mehmet. editor.&#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-77042-8">http://dx.doi.org/10.1007/978-3-540-77042-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Aspect-Oriented Software Development I ent://SD_ILS/0/SD_ILS:183575 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Rashid, Awais. editor.&#160;Aksit, Mehmet. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11687061">http://dx.doi.org/10.1007/11687061</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Aspect-Oriented Software Development II ent://SD_ILS/0/SD_ILS:185149 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Rashid, Awais. editor.&#160;Aksit, Mehmet. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11922827">http://dx.doi.org/10.1007/11922827</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Agent-Based Applications, Platforms and Development Kits ent://SD_ILS/0/SD_ILS:197862 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Unland, Rainer. editor.&#160;Calisti, Monique. editor.&#160;Klusch, Matthias. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b137512">http://dx.doi.org/10.1007/b137512</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6&ndash;11, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486031 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;H&auml;hnle, Reiner. editor. (orcid)0000-0001-8000-7613&#160;van der Aalst, Wil. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-16722-6">https://doi.org/10.1007/978-3-030-16722-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15&ndash;16, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486937 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Biondi, Fabrizio. editor.&#160;Given-Wilson, Thomas. editor.&#160;Legay, Axel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-30923-7">https://doi.org/10.1007/978-3-030-30923-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18&ndash;20, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483898 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;&Ouml;lveczky, Peter Csaba. editor.&#160;Sala&uuml;n, Gwen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-30446-1">https://doi.org/10.1007/978-3-030-30446-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401564 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Gallardo, Mar&iacute;a del Mar. editor.&#160;Merino, Pedro. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-94111-0">https://doi.org/10.1007/978-3-319-94111-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Modelling for Archaeology and Anthropology Software Engineering Principles for Cultural Heritage ent://SD_ILS/0/SD_ILS:399464 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Gonzalez-Perez, Cesar. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-72652-6">https://doi.org/10.1007/978-3-319-72652-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Technologies 8th International Joint Conference, ICSOFT 2013, Reykjavik, Iceland, July 29-31, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:488425 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Cordeiro, Jos&eacute;. editor.&#160;van Sinderen, Marten. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-44920-2">https://doi.org/10.1007/978-3-662-44920-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multi-Agent Based Beam Search for Real-Time Production Scheduling and Control Method, Software and Industrial Application ent://SD_ILS/0/SD_ILS:331015 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Kang, Shu Gang. author.&#160;Choi, Shiu Hong. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331015.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-4576-9">http://dx.doi.org/10.1007/978-1-4471-4576-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Using Event-B for Critical Device Software Systems ent://SD_ILS/0/SD_ILS:331181 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Singh, Neeraj Kumar. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331181.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-5260-6">http://dx.doi.org/10.1007/978-1-4471-5260-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Language Engineering 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings ent://SD_ILS/0/SD_ILS:332934 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Erwig, Martin. editor.&#160;Paige, Richard F. editor.&#160;Wyk, Eric. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332934.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-02654-1">http://dx.doi.org/10.1007/978-3-319-02654-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software and Data Technologies 7th International Conference, ICSOFT 2012, Rome, Italy, July 24-27, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:335215 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Cordeiro, Jos&eacute;. editor.&#160;Hammoudi, Slimane. editor.&#160;Sinderen, Marten. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335215.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-45404-2">http://dx.doi.org/10.1007/978-3-642-45404-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers ent://SD_ILS/0/SD_ILS:334055 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Lemos, Rog&eacute;rio. editor.&#160;Giese, Holger. editor.&#160;M&uuml;ller, Hausi A. editor.&#160;Shaw, Mary. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334055.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35813-5">http://dx.doi.org/10.1007/978-3-642-35813-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334120 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Czarnecki, Krzysztof. editor.&#160;Hedin, G&ouml;rel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334120.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36089-3">http://dx.doi.org/10.1007/978-3-642-36089-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers ent://SD_ILS/0/SD_ILS:334556 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Machado, Ricardo J. editor.&#160;Maciel, Rita Suzana P. editor.&#160;Rubin, Julia. editor.&#160;Botterweck, Goetz. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334556.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38209-3">http://dx.doi.org/10.1007/978-3-642-38209-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Product-Focused Software Process Improvement 14th International Conference, PROFES 2013, Paphos, Cyprus, June 12-14, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334768 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Heidrich, Jens. editor.&#160;Oivo, Markku. editor.&#160;Jedlitschka, Andreas. editor.&#160;Baldassarre, Maria Teresa. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334768.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39259-7">http://dx.doi.org/10.1007/978-3-642-39259-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Product-Focused Software Process Improvement 13th International Conference, PROFES 2012, Madrid, Spain, June 13-15, 2012 Proceedings ent://SD_ILS/0/SD_ILS:197012 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Dieste, Oscar. editor.&#160;Jedlitschka, Andreas. editor.&#160;Juristo, Natalia. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31063-8">http://dx.doi.org/10.1007/978-3-642-31063-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Models in Software Engineering Workshops and Symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised Selected Papers ent://SD_ILS/0/SD_ILS:196745 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Kienzle, J&ouml;rg. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29645-1">http://dx.doi.org/10.1007/978-3-642-29645-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Building software for simulation theory and algorithms, with applications in C++ ent://SD_ILS/0/SD_ILS:298473 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Nutaro, James.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;John Wiley <a href="http://dx.doi.org/10.1002/9780470877999">http://dx.doi.org/10.1002/9780470877999</a> Safari Books Online <a href="http://proquest.safaribooksonline.com/?fpi=9780470414699">http://proquest.safaribooksonline.com/?fpi=9780470414699</a> MyiLibrary, Table of contents <a href="http://www.myilibrary.com?id=302507&ref=toc">http://www.myilibrary.com?id=302507&ref=toc</a> Cover image <a href="http://catalogimages.wiley.com/images/db/jimages/9780470414699.jpg">http://catalogimages.wiley.com/images/db/jimages/9780470414699.jpg</a> <a href="http://proquest.safaribooksonline.com/9780470414699">http://proquest.safaribooksonline.com/9780470414699</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modelling, Simulation and Software Concepts for Scientific-Technological Problems ent://SD_ILS/0/SD_ILS:194390 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Stephan, Ernst. editor.&#160;Wriggers, 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-20490-6">http://dx.doi.org/10.1007/978-3-642-20490-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Models in Software Engineering Workshops and Symposia at MODELS 2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected Papers ent://SD_ILS/0/SD_ILS:194627 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Dingel, Juergen. editor.&#160;Solberg, Arnor. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-21210-9">http://dx.doi.org/10.1007/978-3-642-21210-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Product-Focused Software Process Improvement 12th International Conference, PROFES 2011, Torre Canne, Italy, June 20-22, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194837 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Caivano, Danilo. editor.&#160;Oivo, Markku. editor.&#160;Baldassarre, Maria Teresa. editor.&#160;Visaggio, Giuseppe. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-21843-9">http://dx.doi.org/10.1007/978-3-642-21843-9</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-12-29T17:15:53Z 2024-12-29T17:15:53Z 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/> 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-12-29T17:15:53Z 2024-12-29T17:15:53Z 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/> 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-12-29T17:15:53Z 2024-12-29T17:15:53Z 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/> Software Language Engineering First International Conference, SLE 2008, Toulouse, France, September 29-30, 2008. Revised Selected Papers ent://SD_ILS/0/SD_ILS:189684 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Ga&scaron;evi&#263;, Dragan. editor.&#160;L&auml;mmel, Ralf. editor.&#160;Wyk, 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-00434-6">http://dx.doi.org/10.1007/978-3-642-00434-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Language Engineering and Rigorous Software Development International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures ent://SD_ILS/0/SD_ILS:190535 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Bove, Ana. editor.&#160;Barbosa, Lu&iacute;s Soares. editor.&#160;Pardo, Alberto. editor.&#160;Pinto, Jorge Sousa. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-03153-3">http://dx.doi.org/10.1007/978-3-642-03153-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Aspect-Oriented Software Development VI Special Issue on Aspects and Model-Driven Engineering ent://SD_ILS/0/SD_ILS:190731 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Katz, Shmuel. editor.&#160;Ossher, Harold. editor.&#160;France, Robert. editor.&#160;J&eacute;z&eacute;quel, Jean-Marc. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-03764-1">http://dx.doi.org/10.1007/978-3-642-03764-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Testing of Software and Communication Systems 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings ent://SD_ILS/0/SD_ILS:191134 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;N&uacute;&ntilde;ez, Manuel. editor.&#160;Baker, Paul. editor.&#160;Merayo, Mercedes G. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-05031-2">http://dx.doi.org/10.1007/978-3-642-05031-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Models in Software Engineering Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers ent://SD_ILS/0/SD_ILS:190073 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Chaudron, Michel R. 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-01648-6">http://dx.doi.org/10.1007/978-3-642-01648-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trustworthy Software Development Processes International Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 Proceedings ent://SD_ILS/0/SD_ILS:190084 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Wang, Qing. editor.&#160;Garousi, Vahid. editor.&#160;Madachy, Raymond. editor.&#160;Pfahl, Dietmar. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-01680-6">http://dx.doi.org/10.1007/978-3-642-01680-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Models in Software Engineering Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers ent://SD_ILS/0/SD_ILS:185702 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z 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-540-69073-3">http://dx.doi.org/10.1007/978-3-540-69073-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model-Driven Development of Reliable Automotive Services Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers ent://SD_ILS/0/SD_ILS:186104 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Broy, Manfred. editor.&#160;Kr&uuml;ger, Ingolf H. editor.&#160;Meisinger, 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-540-70930-5">http://dx.doi.org/10.1007/978-3-540-70930-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Common Component Modeling Example Comparing Software Component Models ent://SD_ILS/0/SD_ILS:188664 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Rausch, Andreas. editor.&#160;Reussner, Ralf. editor.&#160;Mirandola, Raffaela. editor.&#160;Pl&aacute;&scaron;il, Franti&scaron;ek. editor.&#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-85289-6">http://dx.doi.org/10.1007/978-3-540-85289-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Interactive Systems Second Conference on Human-Centered Software Engineering, HCSE 2008, and 7th International Workshop on Task Models and Diagrams, TAMODIA 2008, Pisa, Italy, September 25-26, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188827 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Forbrig, Peter. editor.&#160;Patern&ograve;, Fabio. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-85992-5">http://dx.doi.org/10.1007/978-3-540-85992-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Models in Software Engineering Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers ent://SD_ILS/0/SD_ILS:185845 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;K&uuml;hne, 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-540-69489-2">http://dx.doi.org/10.1007/978-3-540-69489-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model-Driven Architecture in Practice A Software Production Environment Based on Conceptual Modeling ent://SD_ILS/0/SD_ILS:186381 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Pastor, Oscar. author.&#160;Molina, Juan Carlos. 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-71868-0">http://dx.doi.org/10.1007/978-3-540-71868-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Empirical Software Engineering Issues. Critical Assessment and Future Directions International Workshop, Dagstuhl Castle, Germany, June 26-30, 2006. Revised Papers ent://SD_ILS/0/SD_ILS:186242 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Basili, Victor R. editor.&#160;Rombach, Dieter. editor.&#160;Schneider, Kurt. editor.&#160;Kitchenham, Barbara. editor.&#160;Pfahl, Dietmar. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-71301-2">http://dx.doi.org/10.1007/978-3-540-71301-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automotive Software &ndash; Connected Services in Mobile Networks First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers ent://SD_ILS/0/SD_ILS:184601 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Broy, Manfred. editor.&#160;Kr&uuml;ger, Ingolf H. editor.&#160;Meisinger, Michael. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11823063">http://dx.doi.org/10.1007/11823063</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering Techniques Applied to Agricultural Systems An Object-Oriented and UML Approach ent://SD_ILS/0/SD_ILS:165482 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Papajorgji, Petraq J. author.&#160;Pardalos, Panos M. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/0-387-28171-1">http://dx.doi.org/10.1007/0-387-28171-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A Software Process Model Handbook for Incorporating People&rsquo;s Capabilities ent://SD_ILS/0/SD_ILS:165143 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Acu&ntilde;a, Silvia Teresita. author.&#160;Juristo, Natalia. author.&#160;Moreno, Ana Mar&iacute;a. author.&#160;Mon, Alicia. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b106969">http://dx.doi.org/10.1007/b106969</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2&ndash;6, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483746 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555&#160;Tapia Tarifa, Silvia Lizeth. editor. (orcid)0000-0001-9948-2748&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-34968-4">https://doi.org/10.1007/978-3-030-34968-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7&ndash;9, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484889 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Badger, Julia M. editor.&#160;Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-20652-9">https://doi.org/10.1007/978-3-030-20652-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4&ndash;6, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486274 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Collart-Dutilleul, Simon. editor.&#160;Lecomte, Thierry. editor.&#160;Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-18744-6">https://doi.org/10.1007/978-3-030-18744-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399353 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Lahiri, Shuvendu K. editor.&#160;Wang, Chao. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-01090-4">https://doi.org/10.1007/978-3-030-01090-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399551 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Dutle, Aaron. editor.&#160;Mu&ntilde;oz, C&eacute;sar. editor.&#160;Narkawicz, Anthony. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-77935-5">https://doi.org/10.1007/978-3-319-77935-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> It's All About Coordination Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab ent://SD_ILS/0/SD_ILS:401217 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;de Boer, Frank. editor.&#160;Bonsangue, Marcello. editor.&#160;Rutten, Jan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-90089-6">https://doi.org/10.1007/978-3-319-90089-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integrated Formal Methods 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399782 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Furia, Carlo A. editor.&#160;Winter, Kirsten. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-98938-9">https://doi.org/10.1007/978-3-319-98938-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399472 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Havelund, Klaus. editor. (orcid)0000-0001-7079-0472&#160;Peleska, Jan. editor. (orcid)0000-0003-3667-9775&#160;Roscoe, Bill. editor.&#160;de Vink, Erik. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-95582-7">https://doi.org/10.1007/978-3-319-95582-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tests and Proofs 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485624 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Seidl, Martina. editor.&#160;Tillmann, Nikolai. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-09099-3">https://doi.org/10.1007/978-3-319-09099-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Models@run.time Foundations, Applications, and Roadmaps ent://SD_ILS/0/SD_ILS:485584 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Bencomo, Nelly. editor.&#160;France, Robert B. editor.&#160;Cheng, Betty H.C. editor.&#160;A&szlig;mann, Uwe. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-08915-7">https://doi.org/10.1007/978-3-319-08915-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30&ndash;31, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484028 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Larsen, Kim Guldstrand. editor.&#160;Willemse, Tim. editor. (orcid)0000-0003-3049-7962&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-27008-7">https://doi.org/10.1007/978-3-030-27008-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400230 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Howar, Falk. editor.&#160;Barnat, Ji&#345;&iacute;. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00244-2">https://doi.org/10.1007/978-3-030-00244-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Performance Engineering 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014, Proceedings ent://SD_ILS/0/SD_ILS:482656 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Horv&aacute;th, Andr&aacute;s. editor.&#160;Wolter, Katinka. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-10885-8">https://doi.org/10.1007/978-3-319-10885-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Technology and Open Source: Applications for Education, Innovation, and Sustainability SEFM 2012 Satellite Events, InSuEdu, MoKMaSD, and OpenCert Thessaloniki, Greece, October 1&ndash;2, 2012 Revised Selected Papers ent://SD_ILS/0/SD_ILS:486932 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Cerone, Antonio. editor.&#160;Persico, Donatella. editor.&#160;Fernandes, Sara. editor.&#160;Garcia-Perez, Alexeis. editor.&#160;Katsaros, Panagiotis. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-54338-8">https://doi.org/10.1007/978-3-642-54338-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283&ndash; October 4, 2014. Proceedings ent://SD_ILS/0/SD_ILS:485724 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Dingel, Juergen. editor.&#160;Schulte, Wolfram. editor.&#160;Ramos, Isidro. editor.&#160;Abrahao, Silvia. editor.&#160;Insfran, Emilio. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11653-2">https://doi.org/10.1007/978-3-319-11653-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Energy-Efficient Data Centers Second International Workshop, E&sup2;DC 2013, Berkeley, CA, USA, May 21, 2013. Revised Selected Papers ent://SD_ILS/0/SD_ILS:489547 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Klingert, Sonja. editor.&#160;Hesselbach-Serra, Xavier. editor.&#160;Perez Ortega, Maria. editor.&#160;Giuliani, Giovanni. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-55149-9">https://doi.org/10.1007/978-3-642-55149-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems ent://SD_ILS/0/SD_ILS:175331 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Truszkowski, Walt. author.&#160;Hallock, Harold. author.&#160;Rouff, Christopher. author.&#160;Karlin, Jay. author.&#160;Rash, James. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b105417">http://dx.doi.org/10.1007/b105417</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Agent Modeling Language - AML A Comprehensive Approach to Modeling Multi-Agent Systems ent://SD_ILS/0/SD_ILS:198053 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Cervenka, Radovan. author.&#160;Trencansky, Ivan. 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-7643-8396-1">http://dx.doi.org/10.1007/978-3-7643-8396-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Structured Object-Oriented Formal Language and Method 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485539 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Duan, Zhenhua. editor.&#160;Liu, Shaoying. editor.&#160;Tian, Cong. editor.&#160;Nagoya, Fumiko. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-13651-2">https://doi.org/10.1007/978-3-030-13651-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6&ndash;11, 2019, Proceedings, Part III ent://SD_ILS/0/SD_ILS:485282 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Beyer, Dirk. editor. (orcid)0000-0003-4832-7662&#160;Huisman, Marieke. editor.&#160;Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-17502-3">https://doi.org/10.1007/978-3-030-17502-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithmic Game Theory 12th International Symposium, SAGT 2019, Athens, Greece, September 30 &ndash; October 3, 2019, Proceedings ent://SD_ILS/0/SD_ILS:485315 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Fotakis, Dimitris. editor.&#160;Markakis, Evangelos. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-30473-7">https://doi.org/10.1007/978-3-030-30473-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human Mental Workload: Models and Applications Second International Symposium, H-WORKLOAD 2018, Amsterdam, The Netherlands, September 20-21, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486432 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Longo, Luca. editor. (orcid)0000-0002-2718-5426&#160;Leva, M. Chiara. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-14273-5">https://doi.org/10.1007/978-3-030-14273-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Frontiers of Combining Systems 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483829 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Herzig, Andreas. editor. (orcid)0000-0003-0833-2782&#160;Popescu, Andrei. editor. (orcid)0000-0001-8747-0619&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-29007-8">https://doi.org/10.1007/978-3-030-29007-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27&ndash;29, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483867 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Andr&eacute;, &Eacute;tienne. editor. (orcid)0000-0001-8473-9555&#160;Stoelinga, Mari&euml;lle. editor. (orcid)0000-0001-6793-8165&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-29662-9">https://doi.org/10.1007/978-3-030-29662-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I ent://SD_ILS/0/SD_ILS:484045 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Dillig, Isil. editor.&#160;Tasiran, Serdar. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-25540-4">https://doi.org/10.1007/978-3-030-25540-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cyber Physical Systems. Model-Based Design 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4&ndash;5, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486626 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Chamberlain, Roger. editor. (orcid)0000-0002-7207-6106&#160;Taha, Walid. editor. (orcid)0000-0003-3160-9188&#160;T&ouml;rngren, Martin. editor. (orcid)0000-0002-4300-885X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-23703-5">https://doi.org/10.1007/978-3-030-23703-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intersections in Simulation and Gaming: Disruption and Balance Third Australasian Simulation Congress, ASC 2019, Gold Coast, Australia, September 2&ndash;5, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486695 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Naweed, Anjum. editor. (orcid)0000-0002-5534-4295&#160;Bowditch, Lorelle. editor.&#160;Sprick, Cyle. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-32-9582-7">https://doi.org/10.1007/978-981-32-9582-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> From Animals to Animats 15 15th International Conference on Simulation of Adaptive Behavior, SAB 2018, Frankfurt/Main, Germany, August 14-17, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399324 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Manoonpong, Poramate. editor. (orcid)0000-0002-4806-7576&#160;Larsen, J&oslash;rgen Christian. editor. (orcid)0000-0002-4741-8290&#160;Xiong, Xiaofeng. editor.&#160;Hallam, John. editor.&#160;Triesch, Jochen. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-97628-0">https://doi.org/10.1007/978-3-319-97628-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Highlights of Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection International Workshops of PAAMS 2018, Toledo, Spain, June 20&ndash;22, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400211 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Bajo, Javier. editor.&#160;Corchado, Juan M. editor.&#160;Navarro Mart&iacute;nez, Elena Mar&iacute;a. editor.&#160;Osaba Icedo, Eneko. editor.&#160;Mathieu, Philippe. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-94779-2">https://doi.org/10.1007/978-3-319-94779-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Handbook of Dynamic Data Driven Applications Systems ent://SD_ILS/0/SD_ILS:400436 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Blasch, Erik. editor.&#160;Ravela, Sai. editor.&#160;Aved, Alex. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-95504-9">https://doi.org/10.1007/978-3-319-95504-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400459 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Itsykson, Vladimir. editor.&#160;Scedrov, Andre. editor.&#160;Zakharov, Victor. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-71734-0">https://doi.org/10.1007/978-3-319-71734-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:400563 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Chockler, Hana. editor. (orcid)0000-0003-1219-0713&#160;Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-96142-2">https://doi.org/10.1007/978-3-319-96142-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Systems Theory &ndash; EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:401958 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Moreno-D&iacute;az, Roberto. editor.&#160;Pichler, Franz. editor.&#160;Quesada-Arencibia, Alexis. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-74718-7">https://doi.org/10.1007/978-3-319-74718-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Communications and Networking 11th EAI international Conference, ChinaCom 2016 Chongqing, China, September 24-26, 2016, Proceedings, Part II ent://SD_ILS/0/SD_ILS:402150 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Chen, Qianbin. editor.&#160;Meng, Weixiao. editor.&#160;Zhao, Liqiang. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-66628-0">https://doi.org/10.1007/978-3-319-66628-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ad Hoc Networks 9th International Conference, AdHocNets 2017, Niagara Falls, ON, Canada, September 28&ndash;29, 2017, Proceedings ent://SD_ILS/0/SD_ILS:401013 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Zhou, Yifeng. editor.&#160;Kunz, Thomas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-74439-1">https://doi.org/10.1007/978-3-319-74439-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Communications and Networking 12th International Conference, ChinaCom 2017, Xi&rsquo;an, China, October 10-12, 2017, Proceedings, Part II ent://SD_ILS/0/SD_ILS:400843 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Li, Bo. editor.&#160;Shu, Lei. editor.&#160;Zeng, Deze. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-78139-6">https://doi.org/10.1007/978-3-319-78139-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multi-Agent Based Simulation XVIII International Workshop, MABS 2017, S&atilde;o Paulo, Brazil, May 8-12, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:401115 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Dimuro, Gra&ccedil;aliz Pereira. editor. (orcid)0000-0001-6986-9888&#160;Antunes, Luis. editor. (orcid)0000-0002-8237-6524&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-91587-6">https://doi.org/10.1007/978-3-319-91587-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Communications and Networking 11th EAI International Conference, ChinaCom 2016, Chongqing, China, September 24-26, 2016, Proceedings, Part I ent://SD_ILS/0/SD_ILS:402158 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Chen, Qianbin. editor.&#160;Meng, Weixiao. editor.&#160;Zhao, Liqiang. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-66625-9">https://doi.org/10.1007/978-3-319-66625-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Life and Intelligent Agents Second International Symposium, ALIA 2016, Birmingham, UK, June 14-15, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399950 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Lewis, Peter R. editor.&#160;Headleand, Christopher J. editor.&#160;Battle, Steve. editor.&#160;Ritsos, Panagiotis D. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-90418-4">https://doi.org/10.1007/978-3-319-90418-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Enterprise and Organizational Modeling and Simulation 14th International Workshop, EOMAS 2018, Held at CAiSE 2018, Tallinn, Estonia, June 11&ndash;12, 2018, Selected Papers ent://SD_ILS/0/SD_ILS:400082 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Pergl, Robert. editor. (orcid)0000-0003-2980-4400&#160;Babkin, Eduard. editor. (orcid)0000-0003-2597-9043&#160;Lock, Russell. editor. (orcid)0000-0002-4543-3753&#160;Malyzhenkov, Pavel. editor. (orcid)0000-0003-1973-5026&#160;Merunka, Vojt&#283;ch. editor. (orcid)0000-0002-9056-1439<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00787-4">https://doi.org/10.1007/978-3-030-00787-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:400155 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Chockler, Hana. editor. (orcid)0000-0003-1219-0713&#160;Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-96145-3">https://doi.org/10.1007/978-3-319-96145-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> New Trends in Model and Data Engineering MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24&ndash;26, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400333 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Abdelwahed, El Hassan. editor.&#160;Bellatreche, Ladjel. editor.&#160;Benslimane, Djamal. editor. (orcid)0000-0001-5700-8060&#160;Golfarelli, Matteo. editor.&#160;Jean, St&eacute;phane. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-02852-7">https://doi.org/10.1007/978-3-030-02852-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Quantitative Evaluation of Systems 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400343 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;McIver, Annabelle. editor. (orcid)0000-0002-2405-9838&#160;Horvath, Andras. editor. (orcid)0000-0002-8210-545X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-99154-2">https://doi.org/10.1007/978-3-319-99154-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> 5G for Future Wireless Networks First International Conference, 5GWN 2017, Beijing, China, April 21-23, 2017, Proceedings ent://SD_ILS/0/SD_ILS:400890 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Long, Keping. editor.&#160;Leung, Victor C.M. editor.&#160;Zhang, Haijun. editor.&#160;Feng, Zhiyong. editor.&#160;Li, Yonghui. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-72823-0">https://doi.org/10.1007/978-3-319-72823-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Systems Theory &ndash; EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II ent://SD_ILS/0/SD_ILS:401105 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Moreno-D&iacute;az, Roberto. editor.&#160;Pichler, Franz. editor.&#160;Quesada-Arencibia, Alexis. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-74727-9">https://doi.org/10.1007/978-3-319-74727-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modelling and Simulation for Autonomous Systems 4th International Conference, MESAS 2017, Rome, Italy, October 24-26, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:401453 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Mazal, Jan. editor. (orcid)0000-0001-5741-558X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-76072-8">https://doi.org/10.1007/978-3-319-76072-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reliability Aspect of Cloud Computing Environment ent://SD_ILS/0/SD_ILS:399144 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Kumar, Vikas. author.&#160;Vidhyalakshmi, R. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-3023-0">https://doi.org/10.1007/978-981-13-3023-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4&ndash;6, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399515 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Jansen, David N. editor. (orcid)0000-0002-6636-3301&#160;Prabhakar, Pavithra. editor. (orcid)0000-0002-5368-3234&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00151-3">https://doi.org/10.1007/978-3-030-00151-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Introduction to Computational Social Science Principles and Applications ent://SD_ILS/0/SD_ILS:484369 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Cioffi-Revilla, Claudio. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4471-5661-1">https://doi.org/10.1007/978-1-4471-5661-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cellular Automata 11th International Conference on Cellular Automata for Research and Industry, ACRI 2014, Krakow, Poland, September 22-25, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485712 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Was, Jaroslaw. editor.&#160;Sirakoulis, Georgios. editor.&#160;Bandini, Stefania. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11520-7">https://doi.org/10.1007/978-3-319-11520-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Systems for Crisis Response and Management in Mediterranean Countries First International Conference, ISCRAM-med 2014, Toulouse, France, October 15-17, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485741 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Hanachi, Chihab. editor.&#160;B&eacute;naben, Fr&eacute;d&eacute;rick. editor.&#160;Charoy, Fran&ccedil;ois. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11818-5">https://doi.org/10.1007/978-3-319-11818-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Conceptual Modeling 33rd International Conference, ER 2014, Atlanta, GA, USA, October 27-29,2014. Proceedings ent://SD_ILS/0/SD_ILS:485745 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Yu, Eric. editor.&#160;Dobbie, Gillian. editor. (orcid)0000-0001-7245-0367&#160;Jarke, Matthias. editor.&#160;Purao, Sandeep. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-12206-9">https://doi.org/10.1007/978-3-319-12206-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Simulation, Modeling, and Programming for Autonomous Robots 4th International Conference, SIMPAR 2014, Bergamo, Italy, October 20-23, 2014. Proceedings ent://SD_ILS/0/SD_ILS:485755 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Brugali, Davide. editor.&#160;Broenink, Jan. editor.&#160;Kroeger, Torsten. editor.&#160;MacDonald, Bruce. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11900-7">https://doi.org/10.1007/978-3-319-11900-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Methods in Systems Biology 12th International Conference, CMSB 2014, Manchester, UK, November 17-19, 2014, Proceedings ent://SD_ILS/0/SD_ILS:487033 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Mendes, Pedro. editor.&#160;Dada, Joseph O. editor.&#160;Smallbone, Kieran. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-12982-2">https://doi.org/10.1007/978-3-319-12982-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Practical Applications of Heterogeneous Multi-Agent Systems - The PAAMS Collection 12th International Conference, PAAMS 2014, Salamanca, Spain, June 4-6, 2014. Proceedings ent://SD_ILS/0/SD_ILS:487771 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Demazeau, Yves. editor.&#160;Zambonelli, Franco. editor. (orcid)0000-0002-6837-8806&#160;Corchado Rodr&iacute;guez, Juan M. editor.&#160;Bajo P&eacute;rez, Javier. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-07551-8">https://doi.org/10.1007/978-3-319-07551-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Precision Assembly Technologies and Systems 7th IFIP WG 5.5 International Precision Assembly Seminar, IPAS 2014, Chamonix, France, February 16-18, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:487874 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Ratchev, Svetan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-45586-9">https://doi.org/10.1007/978-3-662-45586-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel Computational Fluid Dynamics 25th International Conference, ParCFD 2013, Changsha, China, May 20-24, 2013. Revised Selected Papers ent://SD_ILS/0/SD_ILS:488042 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Li, Kenli. editor.&#160;Xiao, Zheng. editor.&#160;Wang, Yan. editor.&#160;Du, Jiayi. editor.&#160;Li, Keqin. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-53962-6">https://doi.org/10.1007/978-3-642-53962-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Process Design for Natural Scientists An Agile Model-Driven Approach ent://SD_ILS/0/SD_ILS:488739 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Lamprecht, Anna-Lena. editor.&#160;Margaria, Tiziana. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-45006-2">https://doi.org/10.1007/978-3-662-45006-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Job Scheduling Strategies for Parallel Processing 17th International Workshop, JSSPP 2013, Boston, MA, USA, May 24, 2013 Revised Selected Papers ent://SD_ILS/0/SD_ILS:488991 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Desai, Narayan. editor.&#160;Cirne, Walfredo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-43779-7">https://doi.org/10.1007/978-3-662-43779-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modelling and Simulation for Autonomous Systems First International Workshop, MESAS 2014, Rome, Italy, May 5-6, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:489019 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Hodicky, Jan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-13823-7">https://doi.org/10.1007/978-3-319-13823-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Spatial Cognition IX International Conference, Spatial Cognition 2014, Bremen, Germany, September 15-19, 2014. Proceedings ent://SD_ILS/0/SD_ILS:489022 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Freksa, Christian. editor.&#160;Nebel, Bernhard. editor.&#160;Hegarty, Mary. editor.&#160;Barkowsky, Thomas. editor. (orcid)0000-0002-3961-2595&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11215-2">https://doi.org/10.1007/978-3-319-11215-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Emotion Modeling Towards Pragmatic Computational Models of Affective Processes ent://SD_ILS/0/SD_ILS:489042 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Bosse, Tibor. editor.&#160;Broekens, Joost. editor.&#160;Dias, Jo&atilde;o. editor. (orcid)0000-0002-1653-1821&#160;van der Zwaan, Janneke. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-12973-0">https://doi.org/10.1007/978-3-319-12973-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Conceptual Modeling ER 2013 Workshops, LSAWM, MoBiD, RIGiM, SeCoGIS, WISM, DaSeM, SCME, and PhD Symposium, Hong Kong, China, November 11-13, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:489122 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Parsons, Jeffrey. editor.&#160;Chiu, Dickson. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-14139-8">https://doi.org/10.1007/978-3-319-14139-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Decision Support Systems III - Impact of Decision Support Systems for Global Environments Euro Working Group Workshops, EWG-DSS 2013, Thessaloniki, Greece, May 29-31, 2013, and Rome, Italy, July 1-4, 2013, Revised Selected and Extended Papers ent://SD_ILS/0/SD_ILS:487041 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Dargam, F&aacute;tima. editor.&#160;Hern&aacute;ndez, Jorge E. editor.&#160;Zarat&eacute;, Pascale. editor.&#160;Liu, Shaofeng. editor.&#160;Ribeiro, Rita. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11364-7">https://doi.org/10.1007/978-3-319-11364-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Logistics 5th International Conference, ICCL 2014, Valpara&iacute;so, Chile, September 24-26, 2014, Proceedings ent://SD_ILS/0/SD_ILS:487652 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Gonz&aacute;lez-Ram&iacute;rez, Rosa G. editor.&#160;Schulte, Frederik. editor.&#160;Vo&szlig;, Stefan. editor.&#160;Ceroni D&iacute;az, Jose A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11421-7">https://doi.org/10.1007/978-3-319-11421-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multisensory Softness Perceived Compliance from Multiple Sources of Information ent://SD_ILS/0/SD_ILS:488143 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Di Luca, Massimiliano. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4471-6533-0">https://doi.org/10.1007/978-1-4471-6533-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Conceptual Modeling ER 2014 Workshops, ENMO, MoBiD, MReBA, QMMQ, SeCoGIS, WISM, and ER Demos, Atlanta, GA, USA, October 27-29, 2014. Proceedings ent://SD_ILS/0/SD_ILS:488932 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Indulska, Marta. editor.&#160;Purao, Sandeep. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-12256-4">https://doi.org/10.1007/978-3-319-12256-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Simulation of Urban Mobility First International Conference, SUMO 2013, Berlin, Germany, May 15-17, 2013. Revised Selected Papers ent://SD_ILS/0/SD_ILS:488997 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Behrisch, Michael. editor.&#160;Krajzewicz, Daniel. editor.&#160;Weber, Melanie. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-45079-6">https://doi.org/10.1007/978-3-662-45079-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Telematics - Support for Transport 14th International Conference on Transport Systems Telematics, TST 2014, Katowice/Krakow/Ustron, Poland, October 22-25, 2014. Proceedings ent://SD_ILS/0/SD_ILS:489514 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Mikulski, Jerzy. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-45317-9">https://doi.org/10.1007/978-3-662-45317-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model and Data Engineering Third International Conference, MEDI 2013, Amantea, Italy, September 25-27, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335097 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Cuzzocrea, Alfredo. editor.&#160;Maabout, Sofian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335097.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41366-7">http://dx.doi.org/10.1007/978-3-642-41366-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> User-Level Workflow Design A Bioinformatics Perspective ent://SD_ILS/0/SD_ILS:335213 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Lamprecht, Anna-Lena. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335213.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-45389-2">http://dx.doi.org/10.1007/978-3-642-45389-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Geo-Informatics in Resource Management and Sustainable Ecosystem International Symposium, GRMSE 2013, Wuhan, China, November 8-10, 2013, Proceedings, Part II ent://SD_ILS/0/SD_ILS:335148 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Bian, Fuling. editor.&#160;Xie, Yichun. editor.&#160;Cui, Xiaohui. editor.&#160;Zeng, Yixin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335148.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41908-9">http://dx.doi.org/10.1007/978-3-642-41908-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Biomedical Engineering Systems and Technologies 4th International Joint Conference, BIOSTEC 2011, Rome, Italy, January 26-29, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:333263 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Fred, Ana. editor.&#160;Filipe, Joaquim. editor.&#160;Gamboa, Hugo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333263.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29752-6">http://dx.doi.org/10.1007/978-3-642-29752-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Geo-Informatics in Resource Management and Sustainable Ecosystem International Symposium, GRMSE 2013, Wuhan, China, November 8-10, 2013, Proceedings, Part I ent://SD_ILS/0/SD_ILS:335179 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Bian, Fuling. editor.&#160;Xie, Yichun. editor.&#160;Cui, Xiaohui. editor.&#160;Zeng, Yixin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335179.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-45025-9">http://dx.doi.org/10.1007/978-3-642-45025-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Numerical Analysis and Its Applications 5th International Conference, NAA 2012, Lozenetz, Bulgaria, June 15-20, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:335116 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Dimov, Ivan. editor.&#160;Farag&oacute;, Istv&aacute;n. editor.&#160;Vulkov, Lubin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335116.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41515-9">http://dx.doi.org/10.1007/978-3-642-41515-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 &ndash; October 4, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335120 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Moreira, Ana. editor.&#160;Sch&auml;tz, Bernhard. editor.&#160;Gray, Jeff. editor.&#160;Vallecillo, Antonio. editor.&#160;Clarke, Peter. editor.<br/>Preferred Shelf Number&#160;ONLINE(335120.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41533-3">http://dx.doi.org/10.1007/978-3-642-41533-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Performance Engineering 9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334290 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Tribastone, Mirco. editor.&#160;Gilmore, Stephen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334290.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36781-6">http://dx.doi.org/10.1007/978-3-642-36781-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Communication Technologies for Vehicles 5th International Workshop, Nets4Cars/Nets4Trains 2013, Villeneuve d&rsquo;Ascq, France, May 14-15, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334508 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Berbineau, Marion. editor.&#160;Jonsson, Magnus. editor.&#160;Bonnin, Jean-Marie. editor.&#160;Cherkaoui, Soumaya. editor.&#160;Aguado, Marina. editor.<br/>Preferred Shelf Number&#160;ONLINE(334508.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37974-1">http://dx.doi.org/10.1007/978-3-642-37974-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334698 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Veanes, Margus. editor.&#160;Vigan&ograve;, Luca. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334698.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38916-0">http://dx.doi.org/10.1007/978-3-642-38916-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Unconventional Computation and Natural Computation 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334725 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Mauri, Giancarlo. editor.&#160;Dennunzio, Alberto. editor.&#160;Manzoni, Luca. editor.&#160;Porreca, Antonio E. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334725.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39074-6">http://dx.doi.org/10.1007/978-3-642-39074-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations of Health Information Engineering and Systems Second International Symposium, FHIES 2012, Paris, France, August 27-28, 2012. Revised Selected Papers ent://SD_ILS/0/SD_ILS:334727 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Weber, Jens. editor.&#160;Perseil, Isabelle. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334727.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39088-3">http://dx.doi.org/10.1007/978-3-642-39088-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> AsiaSim 2013 13th International Conference on Systems Simulation, Singapore, November 6-8, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335181 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Tan, Gary. editor.&#160;Yeo, Gee Kin. editor.&#160;Turner, Stephen John. editor.&#160;Teo, Yong Meng. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335181.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-45037-2">http://dx.doi.org/10.1007/978-3-642-45037-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Job Scheduling Strategies for Parallel Processing 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012. Revised Selected Papers ent://SD_ILS/0/SD_ILS:334071 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Cirne, Walfredo. editor.&#160;Desai, Narayan. editor.&#160;Frachtenberg, Eitan. editor.&#160;Schwiegelshohn, Uwe. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334071.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35867-8">http://dx.doi.org/10.1007/978-3-642-35867-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Domain Engineering Product Lines, Languages, and Conceptual Models ent://SD_ILS/0/SD_ILS:334257 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Reinhartz-Berger, Iris. editor.&#160;Sturm, Arnon. editor.&#160;Clark, Tony. editor.&#160;Cohen, Sholom. editor.&#160;Bettin, Jorn. editor.<br/>Preferred Shelf Number&#160;ONLINE(334257.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36654-3">http://dx.doi.org/10.1007/978-3-642-36654-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part I ent://SD_ILS/0/SD_ILS:334826 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Murgante, Beniamino. editor.&#160;Misra, Sanjay. editor.&#160;Carlini, Maurizio. editor.&#160;Torre, Carmelo M. editor.&#160;Nguyen, Hong-Quang. editor.<br/>Preferred Shelf Number&#160;ONLINE(334826.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39637-3">http://dx.doi.org/10.1007/978-3-642-39637-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part V ent://SD_ILS/0/SD_ILS:334827 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Murgante, Beniamino. editor.&#160;Misra, Sanjay. editor.&#160;Carlini, Maurizio. editor.&#160;Torre, Carmelo M. editor.&#160;Nguyen, Hong-Quang. editor.<br/>Preferred Shelf Number&#160;ONLINE(334827.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39640-3">http://dx.doi.org/10.1007/978-3-642-39640-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part II ent://SD_ILS/0/SD_ILS:334828 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Murgante, Beniamino. editor.&#160;Misra, Sanjay. editor.&#160;Carlini, Maurizio. editor.&#160;Torre, Carmelo M. editor.&#160;Nguyen, Hong-Quang. editor.<br/>Preferred Shelf Number&#160;ONLINE(334828.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39643-4">http://dx.doi.org/10.1007/978-3-642-39643-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part III ent://SD_ILS/0/SD_ILS:334829 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Murgante, Beniamino. editor.&#160;Misra, Sanjay. editor.&#160;Carlini, Maurizio. editor.&#160;Torre, Carmelo M. editor.&#160;Nguyen, Hong-Quang. editor.<br/>Preferred Shelf Number&#160;ONLINE(334829.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39646-5">http://dx.doi.org/10.1007/978-3-642-39646-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:334830 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Murgante, Beniamino. editor.&#160;Misra, Sanjay. editor.&#160;Carlini, Maurizio. editor.&#160;Torre, Carmelo M. editor.&#160;Nguyen, Hong-Quang. editor.<br/>Preferred Shelf Number&#160;ONLINE(334830.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39649-6">http://dx.doi.org/10.1007/978-3-642-39649-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday ent://SD_ILS/0/SD_ILS:334837 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Liu, Zhiming. editor.&#160;Woodcock, Jim. editor.&#160;Zhu, Huibiao. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334837.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39698-4">http://dx.doi.org/10.1007/978-3-642-39698-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel Computing Technologies 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334871 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Malyshkin, Victor. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334871.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39958-9">http://dx.doi.org/10.1007/978-3-642-39958-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Methods in Systems Biology 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334992 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Gupta, Ashutosh. editor.&#160;Henzinger, Thomas A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334992.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40708-6">http://dx.doi.org/10.1007/978-3-642-40708-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Performance Engineering 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334995 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Balsamo, Maria Simonetta. editor.&#160;Knottenbelt, William J. editor.&#160;Marin, Andrea. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334995.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40725-3">http://dx.doi.org/10.1007/978-3-642-40725-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Augmented Reality Environments for Medical Imaging and Computer-Assisted Interventions 6th International Workshop, MIAR 2013 and 8th International Workshop, AE-CAI 2013, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335016 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Liao, Hongen. editor.&#160;Linte, Cristian A. editor.&#160;Masamune, Ken. editor.&#160;Peters, Terry M. editor.&#160;Zheng, Guoyan. editor.<br/>Preferred Shelf Number&#160;ONLINE(335016.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40843-4">http://dx.doi.org/10.1007/978-3-642-40843-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cellular Automata and Discrete Complex Systems 19th International Workshop, AUTOMATA 2013, Gie&szlig;en, Germany, September 17-19, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335022 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Kari, Jarkko. editor.&#160;Kutrib, Martin. editor.&#160;Malcher, Andreas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335022.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40867-0">http://dx.doi.org/10.1007/978-3-642-40867-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Logistics 4th International Conference, ICCL 2013, Copenhagen, Denmark, September 25-27, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335043 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Pacino, Dario. editor.&#160;Vo&szlig;, Stefan. editor.&#160;Jensen, Rune M&oslash;ller. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335043.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41019-2">http://dx.doi.org/10.1007/978-3-642-41019-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Conceptual Modeling 32th International Conference, ER 2013, Hong-Kong, China, November 11-13, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335150 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Ng, Wilfred. editor.&#160;Storey, Veda C. editor.&#160;Trujillo, Juan C. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335150.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41924-9">http://dx.doi.org/10.1007/978-3-642-41924-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Large-scale simulation models, algorithms, and applications ent://SD_ILS/0/SD_ILS:291623 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Chen, Dan, 1973-&#160;Wang, Lizhe, 1974-&#160;Chen, Jingying, 1973 -<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781439868966">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Industrial used of formal method formal verification ent://SD_ILS/0/SD_ILS:305391 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Boulanger, Jean-Louis.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;Wiley <a href="http://dx.doi.org/10.1002/9781118561829">http://dx.doi.org/10.1002/9781118561829</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196779 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Lirkov, Ivan. editor.&#160;Margenov, Svetozar. editor.&#160;Wa&#347;niewski, Jerzy. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29843-1">http://dx.doi.org/10.1007/978-3-642-29843-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Topology in Image Context 4th International Workshop, CTIC 2012, Bertinoro, Italy, May 28-30, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196848 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Ferri, Massimo. editor.&#160;Frosini, Patrizio. editor.&#160;Landi, Claudia. editor.&#160;Cerri, Andrea. editor.&#160;Fabio, Barbara. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30238-1">http://dx.doi.org/10.1007/978-3-642-30238-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agents for Educational Games and Simulations International Workshop, AEGS 2011, Taipei, Taiwan, May 2, 2011. Revised Papers ent://SD_ILS/0/SD_ILS:197208 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Beer, Martin. editor.&#160;Brom, Cyril. editor.&#160;Dignum, Frank. editor.&#160;Soo, Von-Wun. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32326-3">http://dx.doi.org/10.1007/978-3-642-32326-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Uncertainty Quantification in Scientific Computing 10th IFIP WG 2.5 Working Conference, WoCoUQ 2011, Boulder, CO, USA, August 1-4, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:197255 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Dienstfrey, Andrew M. editor.&#160;Boisvert, Ronald 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-32677-6">http://dx.doi.org/10.1007/978-3-642-32677-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cellular Automata 10th International Conference on Cellular Automata for Research and Industry, ACRI 2012, Santorini Island, Greece, September 24-27, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197360 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Sirakoulis, Georgios Ch. editor.&#160;Bandini, Stefania. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33350-7">http://dx.doi.org/10.1007/978-3-642-33350-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recent Advances in the Message Passing Interface 19th European MPI Users&rsquo; Group Meeting, EuroMPI 2012, Vienna, Austria, September 23-26, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197395 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Tr&auml;ff, Jesper Larsson. editor.&#160;Benkner, Siegfried. editor.&#160;Dongarra, Jack J. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33518-1">http://dx.doi.org/10.1007/978-3-642-33518-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Logistics Third International Conference, ICCL 2012, Shanghai, China, September 24-26, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197405 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Hu, Hao. editor.&#160;Shi, Xiaoning. editor.&#160;Stahlbock, Robert. editor.&#160;Vo&szlig;, 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-33587-7">http://dx.doi.org/10.1007/978-3-642-33587-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model and Data Engineering 2nd International Conference, MEDI 2012, Poitiers, France, October 3-5, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197407 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Abell&oacute;, Alberto. editor.&#160;Bellatreche, Ladjel. editor.&#160;Benatallah, Boualem. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33609-6">http://dx.doi.org/10.1007/978-3-642-33609-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Methods in Systems Biology 10th International Conference, CMSB 2012, London, UK, October 3-5, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197412 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Gilbert, David. editor.&#160;Heiner, Monika. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33636-2">http://dx.doi.org/10.1007/978-3-642-33636-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model Driven Engineering Languages and Systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30&ndash;October 5, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197418 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;France, Robert B. editor.&#160;Kazmeier, J&uuml;rgen. editor.&#160;Breu, Ruth. editor.&#160;Atkinson, Colin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33666-9">http://dx.doi.org/10.1007/978-3-642-33666-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Immune Systems 11th International Conference, ICARIS 2012, Taormina, Italy, August 28-31, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197430 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Coello Coello, Carlos A. editor.&#160;Greensmith, Julie. editor.&#160;Krasnogor, Natalio. editor.&#160;Li&ograve;, Pietro. editor.&#160;Nicosia, Giuseppe. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33757-4">http://dx.doi.org/10.1007/978-3-642-33757-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Conceptual Modeling ER 2012 Workshops CMS, ECDM-NoCoDA, MoDIC, MORE-BI, RIGiM, SeCoGIS, WISM, Florence, Italy, October 15-18, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197454 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Castano, Silvana. editor.&#160;Vassiliadis, Panos. editor.&#160;Lakshmanan, Laks V. editor.&#160;Lee, Mong Li. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33999-8">http://dx.doi.org/10.1007/978-3-642-33999-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Conceptual Modeling 31st International Conference ER 2012, Florence, Italy, October 15-18, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197455 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Atzeni, Paolo. editor.&#160;Cheung, David. editor.&#160;Ram, Sudha. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34002-4">http://dx.doi.org/10.1007/978-3-642-34002-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Simulation, Modeling, and Programming for Autonomous Robots Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197507 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Noda, Itsuki. editor.&#160;Ando, Noriaki. editor.&#160;Brugali, Davide. editor.&#160;Kuffner, James J. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34327-8">http://dx.doi.org/10.1007/978-3-642-34327-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> System Simulation and Scientific Computing International Conference, ICSC 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part I ent://SD_ILS/0/SD_ILS:197509 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Xiao, Tianyuan. editor.&#160;Zhang, Lin. editor.&#160;Ma, Shiwei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34381-0">http://dx.doi.org/10.1007/978-3-642-34381-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> AsiaSim 2012 Asia Simulation Conference 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part I ent://SD_ILS/0/SD_ILS:197510 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Xiao, Tianyuan. editor.&#160;Zhang, Lin. editor.&#160;Fei, Minrui. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34384-1">http://dx.doi.org/10.1007/978-3-642-34384-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> AsiaSim 2012 Asia Simulation Conference 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part III ent://SD_ILS/0/SD_ILS:197511 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Xiao, Tianyuan. editor.&#160;Zhang, Lin. editor.&#160;Fei, Minrui. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34387-2">http://dx.doi.org/10.1007/978-3-642-34387-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> AsiaSim 2012 Asia Simulation Conference 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part II ent://SD_ILS/0/SD_ILS:197512 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Xiao, Tianyuan. editor.&#160;Zhang, Lin. editor.&#160;Fei, Minrui. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34390-2">http://dx.doi.org/10.1007/978-3-642-34390-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> System Simulation and Scientific Computing International Conference, ICSC 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part II ent://SD_ILS/0/SD_ILS:197513 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Xiao, Tianyuan. editor.&#160;Zhang, Lin. editor.&#160;Ma, Shiwei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34396-4">http://dx.doi.org/10.1007/978-3-642-34396-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Applications for Modeling, Simulation, and Automobile International Conferences, MAS and ASNT 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197583 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Kim, Tai-hoon. editor.&#160;Ramos, Carlos. editor.&#160;Abawajy, Jemal. editor.&#160;Kang, Byeong-Ho. editor.&#160;&#346;l&#281;zak, Dominik. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35248-5">http://dx.doi.org/10.1007/978-3-642-35248-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Computational Systems Biology XIV Special Issue on Computational Models for Cell Processes ent://SD_ILS/0/SD_ILS:197611 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Priami, Corrado. editor.&#160;Petre, Ion. editor.&#160;Vink, Erik. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35524-0">http://dx.doi.org/10.1007/978-3-642-35524-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Quantum Interaction 6th International Symposium, QI 2012, Paris, France, June 27-29, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:197627 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Busemeyer, Jerome R. editor.&#160;Dubois, Fran&ccedil;ois. editor.&#160;Lambert-Mogiliansky, Ariane. editor.&#160;Melucci, Massimo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35659-9">http://dx.doi.org/10.1007/978-3-642-35659-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Guide to Scientific Computing in C++ ent://SD_ILS/0/SD_ILS:173468 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Pitt-Francis, Joe. author.&#160;Whiteley, Jonathan. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-2736-9">http://dx.doi.org/10.1007/978-1-4471-2736-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Complexity Theory, Techniques, and Applications ent://SD_ILS/0/SD_ILS:174019 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Meyers, Robert 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-1-4614-1800-9">http://dx.doi.org/10.1007/978-1-4614-1800-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recht ex machina Formalisierung des Rechts im Internet der Dienste ent://SD_ILS/0/SD_ILS:193673 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Raabe, Oliver. author.&#160;Wacker, Richard. author.&#160;Oberle, Daniel. author.&#160;Baumann, Christian. author.&#160;Funk, Christian. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-17671-5">http://dx.doi.org/10.1007/978-3-642-17671-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles and Practice of Multi-Agent Systems 13th International Conference, PRIMA 2010, Kolkata, India, November 12-15, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196083 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Desai, Nirmit. editor.&#160;Liu, Alan. editor.&#160;Winikoff, Michael. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-25920-3">http://dx.doi.org/10.1007/978-3-642-25920-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Wireless Sensor Networks 9th European Conference, EWSN 2012, Trento, Italy, February 15-17, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196371 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Picco, Gian Pietro. editor.&#160;Heinzelman, Wendi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28169-3">http://dx.doi.org/10.1007/978-3-642-28169-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Methods, Techniques, and Applications in Modeling and Simulation Asia Simulation Conference 2011, Seoul, Korea, November 2011, Proceedings ent://SD_ILS/0/SD_ILS:203980 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Kim, Jong-Hyun. editor.&#160;Lee, Kangsun. editor.&#160;Tanaka, Satoshi. editor.&#160;Park, Soo-Hyun. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-4-431-54216-2">http://dx.doi.org/10.1007/978-4-431-54216-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2012 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part II ent://SD_ILS/0/SD_ILS:197015 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Murgante, Beniamino. editor.&#160;Gervasi, Osvaldo. editor.&#160;Misra, Sanjay. editor.&#160;Nedjah, Nadia. editor.&#160;Rocha, Ana Maria A. C. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31075-1">http://dx.doi.org/10.1007/978-3-642-31075-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2012 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part I ent://SD_ILS/0/SD_ILS:197021 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Murgante, Beniamino. editor.&#160;Gervasi, Osvaldo. editor.&#160;Misra, Sanjay. editor.&#160;Nedjah, Nadia. editor.&#160;Rocha, Ana Maria A. C. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31125-3">http://dx.doi.org/10.1007/978-3-642-31125-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2012 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:197022 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Murgante, Beniamino. editor.&#160;Gervasi, Osvaldo. editor.&#160;Misra, Sanjay. editor.&#160;Nedjah, Nadia. editor.&#160;Rocha, Ana Maria A. C. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31128-4">http://dx.doi.org/10.1007/978-3-642-31128-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2012 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part III ent://SD_ILS/0/SD_ILS:197025 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Murgante, Beniamino. editor.&#160;Gervasi, Osvaldo. editor.&#160;Misra, Sanjay. editor.&#160;Nedjah, Nadia. editor.&#160;Rocha, Ana Maria A. C. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31137-6">http://dx.doi.org/10.1007/978-3-642-31137-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pyomo &ndash; Optimization Modeling in Python ent://SD_ILS/0/SD_ILS:174214 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Hart, William E. author.&#160;Laird, Carl. author.&#160;Watson, Jean-Paul. author.&#160;Woodruff, David L. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-3226-5">http://dx.doi.org/10.1007/978-1-4614-3226-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> An Introduction to Modern Mathematical Computing With Mathematica&reg; ent://SD_ILS/0/SD_ILS:174387 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Borwein, Jonathan M. author.&#160;Skerritt, Matthew P. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-4253-0">http://dx.doi.org/10.1007/978-1-4614-4253-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Membrane Computing 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196326 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Gheorghe, Marian. editor.&#160;P&#259;un, Gheorghe. editor.&#160;Rozenberg, Grzegorz. editor.&#160;Salomaa, Arto. editor.&#160;Verlan, Sergey. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28024-5">http://dx.doi.org/10.1007/978-3-642-28024-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer and Computing Technologies in Agriculture V 5th IFIP TC 5/SIG 5.1 Conference, CCTA 2011, Beijing, China, October 29-31, 2011, Proceedings, Part III ent://SD_ILS/0/SD_ILS:196147 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Li, Daoliang. editor.&#160;Chen, Yingyi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-27275-2">http://dx.doi.org/10.1007/978-3-642-27275-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer and Computing Technologies in Agriculture V 5th IFIP TC 5/SIG 5.1 Conference, CCTA 2011, Beijing, China, October 29-31, 2011, Proceedings, Part II ent://SD_ILS/0/SD_ILS:196148 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Li, Daoliang. editor.&#160;Chen, Yingyi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-27278-3">http://dx.doi.org/10.1007/978-3-642-27278-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer and Computing Technologies in Agriculture V 5th IFIP TC 5/SIG 5.1 Conference, CCTA 2011, Beijing, China, October 29-31, 2011, Proceedings, Part I ent://SD_ILS/0/SD_ILS:196149 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Li, Daoliang. editor.&#160;Chen, Yingyi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-27281-3">http://dx.doi.org/10.1007/978-3-642-27281-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Modeling and Computational Science International Conference, MMCP 2011, Star&aacute; Lesn&aacute;, Slovakia, July 4-8, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196382 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Adam, Gheorghe. editor.&#160;Bu&scaron;a, J&aacute;n. editor.&#160;Hnati&#269;, Michal. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28212-6">http://dx.doi.org/10.1007/978-3-642-28212-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reconfigurable Computing: Architectures, Tools and Applications 8th International Symposium, ARC 2012, Hong Kong, China, March 19-23, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196427 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Choy, Oliver C. S. editor.&#160;Cheung, Ray C. C. editor.&#160;Athanas, Peter. editor.&#160;Sano, Kentaro. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28365-9">http://dx.doi.org/10.1007/978-3-642-28365-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multi-Agent-Based Simulation XII International Workshop, MABS 2011, Taipei, Taiwan, May 2-6, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196436 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Villatoro, Daniel. editor.&#160;Sabater-Mir, Jordi. editor.&#160;Sichman, Jaime Sim&atilde;o. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28400-7">http://dx.doi.org/10.1007/978-3-642-28400-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Adaptive and Learning Agents International Workshop, ALA 2011, Held at AAMAS 2011, Taipei, Taiwan, May 2, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196460 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Vrancx, Peter. editor.&#160;Knudson, Matthew. editor.&#160;Grze&#347;, Marek. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28499-1">http://dx.doi.org/10.1007/978-3-642-28499-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Latent Variable Analysis and Signal Separation 10th International Conference, LVA/ICA 2012, Tel Aviv, Israel, March 12-15, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196475 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Theis, Fabian. editor.&#160;Cichocki, Andrzej. editor.&#160;Yeredor, Arie. editor.&#160;Zibulevsky, Michael. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28551-6">http://dx.doi.org/10.1007/978-3-642-28551-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Multi-Agent Systems 8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010. Revised Selected Papers ent://SD_ILS/0/SD_ILS:196569 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Collier, Rem. editor.&#160;Dix, J&uuml;rgen. editor.&#160;Nov&aacute;k, Peter. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28939-2">http://dx.doi.org/10.1007/978-3-642-28939-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Petri Nets and Other Models of Concurrency V ent://SD_ILS/0/SD_ILS:196605 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Jensen, Kurt. editor.&#160;Donatelli, Susanna. editor.&#160;Kleijn, Jetty. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29072-5">http://dx.doi.org/10.1007/978-3-642-29072-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ad Hoc Networks Third International ICST Conference, ADHOCNETS 2011, Paris, France, September 21-23, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196611 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Simplot-Ryl, David. editor.&#160;Dias de Amorim, Marcelo. editor.&#160;Giordano, Silvia. editor.&#160;Helmy, Ahmed. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29096-1">http://dx.doi.org/10.1007/978-3-642-29096-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Testbeds and Research Infrastructure. Development of Networks and Communities 7th International ICST Conference,TridentCom 2011, Shanghai, China, April 17-19, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196661 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Korakis, Thanasis. editor.&#160;Li, Hongbin. editor.&#160;Tran-Gia, Phuoc. editor.&#160;Park, Hong-Shik. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29273-6">http://dx.doi.org/10.1007/978-3-642-29273-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mobile Lightweight Wireless Systems Third International ICST Conference, MOBILIGHT 2011, Bilbao, Spain, May 9-10, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196710 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Ser, Javier. editor.&#160;Jorswieck, Eduard Axel. editor.&#160;Miguez, Joaquin. editor.&#160;Matinmikko, Marja. editor.&#160;Palomar, Daniel P. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29479-2">http://dx.doi.org/10.1007/978-3-642-29479-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> NETWORKING 2012 Workshops International IFIP TC 6 Workshops, ETICS, HetsNets, and CompNets, Held at NETWORKING 2012, Prague, Czech Republic, May 25, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196818 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Becvar, Zdenek. editor.&#160;Bestak, Robert. editor.&#160;Kencl, Lukas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30039-4">http://dx.doi.org/10.1007/978-3-642-30039-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tests and Proofs 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 &ndash; June 1, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196896 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Brucker, Achim D. editor.&#160;Julliand, Jacques. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30473-6">http://dx.doi.org/10.1007/978-3-642-30473-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Design and Analysis of Algorithms First Mediterranean Conference on Algorithms, MedAlg 2012, Kibbutz Ein Gedi, Israel, December 3-5, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197552 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Even, Guy. editor.&#160;Rawitz, Dror. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34862-4">http://dx.doi.org/10.1007/978-3-642-34862-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer and Computing Technologies in Agriculture IV 4th IFIP TC 12 Conference, CCTA 2010, Nanchang, China, October 22-25, 2010, Selected Papers, Part I ent://SD_ILS/0/SD_ILS:193859 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Li, Daoliang. editor.&#160;Liu, Yande. editor.&#160;Chen, Yingyi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-18333-1">http://dx.doi.org/10.1007/978-3-642-18333-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer and Computing Technologies in Agriculture IV 4th IFIP TC 12 Conference, CCTA 2010, Nanchang, China, October 22-25, 2010, Selected Papers, Part II ent://SD_ILS/0/SD_ILS:193860 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Li, Daoliang. editor.&#160;Liu, Yande. editor.&#160;Chen, Yingyi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-18336-2">http://dx.doi.org/10.1007/978-3-642-18336-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multi-Agent-Based Simulation XI International Workshop, MABS 2010, Toronto, Canada, May 11, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:193863 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Bosse, Tibor. editor.&#160;Geller, Armando. editor.&#160;Jonker, Catholijn M. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-18345-4">http://dx.doi.org/10.1007/978-3-642-18345-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer and Computing Technologies in Agriculture IV 4th IFIP TC 12 Conference, CCTA 2010, Nanchang, China, October 22-25, 2010, Selected Papers, Part IV ent://SD_ILS/0/SD_ILS:193871 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Li, Daoliang. editor.&#160;Liu, Yande. editor.&#160;Chen, Yingyi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-18369-0">http://dx.doi.org/10.1007/978-3-642-18369-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reconfigurable Computing: Architectures, Tools and Applications 7th International Symposium, ARC 2011, Belfast, UK, March 23-25, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194056 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Koch, Andreas. editor.&#160;Krishnamurthy, Ram. editor.&#160;McAllister, John. editor.&#160;Woods, Roger. editor.&#160;El-Ghazawi, Tarek. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-19475-7">http://dx.doi.org/10.1007/978-3-642-19475-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Computational Systems Biology XIII ent://SD_ILS/0/SD_ILS:194142 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Priami, Corrado. editor.&#160;Back, Ralph-Johan. editor.&#160;Petre, Ion. editor.&#160;Vink, Erik. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-19748-2">http://dx.doi.org/10.1007/978-3-642-19748-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Practice of Algorithms in (Computer) Systems First International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194144 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Marchetti-Spaccamela, Alberto. editor.&#160;Segal, 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-19754-3">http://dx.doi.org/10.1007/978-3-642-19754-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications - ICCSA 2011 International Conference, Santander, Spain, June 20-23, 2011. Proceedings, Part II ent://SD_ILS/0/SD_ILS:194852 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Murgante, Beniamino. editor.&#160;Gervasi, Osvaldo. editor.&#160;Iglesias, Andr&eacute;s. editor.&#160;Taniar, David. 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-21887-3">http://dx.doi.org/10.1007/978-3-642-21887-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications - ICCSA 2011 International Conference, Santander, Spain, June 20-23, 2011. Proceedings, Part IV ent://SD_ILS/0/SD_ILS:194856 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Murgante, Beniamino. editor.&#160;Gervasi, Osvaldo. editor.&#160;Iglesias, Andr&eacute;s. editor.&#160;Taniar, David. 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-21898-9">http://dx.doi.org/10.1007/978-3-642-21898-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications - ICCSA 2011 International Conference, Santander, Spain, June 20-23, 2011. Proceedings, Part I ent://SD_ILS/0/SD_ILS:194863 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Murgante, Beniamino. editor.&#160;Gervasi, Osvaldo. editor.&#160;Iglesias, Andr&eacute;s. editor.&#160;Taniar, David. 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-21928-3">http://dx.doi.org/10.1007/978-3-642-21928-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications - ICCSA 2011 International Conference, Santander, Spain, June 20-23, 2011. Proceedings, Part III ent://SD_ILS/0/SD_ILS:194864 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Murgante, Beniamino. editor.&#160;Gervasi, Osvaldo. editor.&#160;Iglesias, Andr&eacute;s. editor.&#160;Taniar, David. 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-21931-3">http://dx.doi.org/10.1007/978-3-642-21931-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications - ICCSA 2011 International Conference, Santander, Spain, June 20-23, 2011. Proceedings, Part V ent://SD_ILS/0/SD_ILS:194865 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Murgante, Beniamino. editor.&#160;Gervasi, Osvaldo. editor.&#160;Iglesias, Andr&eacute;s. editor.&#160;Taniar, David. 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-21934-4">http://dx.doi.org/10.1007/978-3-642-21934-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Immune Systems 10th International Conference, ICARIS 2011, Cambridge, UK, July 18-21, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195004 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Li&ograve;, Pietro. editor.&#160;Nicosia, Giuseppe. editor.&#160;Stibor, 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-22371-6">http://dx.doi.org/10.1007/978-3-642-22371-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A Hybrid Deliberative Layer for Robotic Agents Fusing DL Reasoning with HTN Planning in Autonomous Robots ent://SD_ILS/0/SD_ILS:195071 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Hartanto, Ronny. 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-22580-2">http://dx.doi.org/10.1007/978-3-642-22580-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel Computing Technologies 11th International Conference, PaCT 2011, Kazan, Russia, September 19-23, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195262 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Malyshkin, Victor. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-23178-0">http://dx.doi.org/10.1007/978-3-642-23178-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 21st International Workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195562 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Ayala, Jos&eacute; L. editor.&#160;Garc&iacute;a-C&aacute;mara, Braulio. editor.&#160;Prieto, Manuel. editor.&#160;Ruggiero, Martino. editor.&#160;Sicard, Gilles. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-24154-3">http://dx.doi.org/10.1007/978-3-642-24154-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model and Data Engineering First International Conference, MEDI 2011, &Oacute;bidos, Portugal, September 28-30, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195639 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Bellatreche, Ladjel. editor.&#160;Mota Pinto, Filipe. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-24443-8">http://dx.doi.org/10.1007/978-3-642-24443-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recent Advances in the Message Passing Interface 18th European MPI Users&rsquo; Group Meeting, EuroMPI 2011, Santorini, Greece, September 18-21, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195641 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Cotronis, Yiannis. editor.&#160;Danalis, Anthony. editor.&#160;Nikolopoulos, Dimitrios S. 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-24449-0">http://dx.doi.org/10.1007/978-3-642-24449-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> An Introduction to Modern Mathematical Computing With Maple&trade; ent://SD_ILS/0/SD_ILS:173595 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Borwein, Jonathan M. author.&#160;Skerritt, Matthew P. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-0122-3">http://dx.doi.org/10.1007/978-1-4614-0122-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 20th International Workshop, PATMOS 2010, Grenoble, France, September 7-10, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:193696 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Leuken, Ren&eacute;. editor.&#160;Sicard, Gilles. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-17752-1">http://dx.doi.org/10.1007/978-3-642-17752-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Testbeds and Research Infrastructures. Development of Networks and Communities 6th International ICST Conference, TridentCom 2010, Berlin, Germany, May 18-20, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:193730 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Magedanz, Thomas. editor.&#160;Gavras, Anastasius. editor.&#160;Thanh, Nguyen Huu. editor.&#160;Chase, Jeffry S. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-17851-1">http://dx.doi.org/10.1007/978-3-642-17851-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agents for Games and Simulations II Trends in Techniques, Concepts and Design ent://SD_ILS/0/SD_ILS:193824 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Dignum, Frank. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-18181-8">http://dx.doi.org/10.1007/978-3-642-18181-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Biomedical Engineering Systems and Technologies Third International Joint Conference, BIOSTEC 2010, Valencia, Spain, January 20-23, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:193908 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z 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-18472-7">http://dx.doi.org/10.1007/978-3-642-18472-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Research and Education in Robotics - EUROBOT 2011 International Conference, Prague, Czech Republic, June 15-17, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194878 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Obdr&#382;&aacute;lek, David. editor.&#160;Gottscheber, Achim. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-21975-7">http://dx.doi.org/10.1007/978-3-642-21975-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Research on Computer Education, Simulation and Modeling International Conference, CESM 2011, Wuhan, China, June 18-19, 2011. Proceedings, Part I ent://SD_ILS/0/SD_ILS:194816 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Lin, Song. editor.&#160;Huang, Xiong. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-21783-8">http://dx.doi.org/10.1007/978-3-642-21783-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Building Innovation Pipelines through Computer-Aided Innovation 4th IFIP WG 5.4 Working Conference, CAI 2011, Strasbourg, France, June 30 &ndash; July 1, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194940 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Cavallucci, Denis. editor.&#160;Guio, Roland. editor.&#160;Cascini, Gaetano. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-22182-8">http://dx.doi.org/10.1007/978-3-642-22182-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Static Analysis 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195420 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Yahav, Eran. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-23702-7">http://dx.doi.org/10.1007/978-3-642-23702-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agents in Principle, Agents in Practice 14th International Conference, PRIMA 2011, Wollongong, Australia, November 16-18, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195829 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Kinny, David. editor.&#160;Hsu, Jane Yung-jen. editor.&#160;Governatori, Guido. editor.&#160;Ghose, Aditya 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-25044-6">http://dx.doi.org/10.1007/978-3-642-25044-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Motion in Games 4th International Conference, MIG 2011, Edinburgh, UK, November 13-15, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195839 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Allbeck, Jan M. editor.&#160;Faloutsos, Petros. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-25090-3">http://dx.doi.org/10.1007/978-3-642-25090-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Static Analysis 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193079 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Cousot, Radhia. editor.&#160;Martel, Matthieu. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15769-1">http://dx.doi.org/10.1007/978-3-642-15769-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model-Based Engineering of Embedded Real-Time Systems International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers ent://SD_ILS/0/SD_ILS:193244 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Giese, Holger. editor.&#160;Karsai, Gabor. editor.&#160;Lee, Edward. editor.&#160;Rumpe, Bernhard. editor.&#160;Sch&auml;tz, Bernhard. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16277-0">http://dx.doi.org/10.1007/978-3-642-16277-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Relational and Algebraic Methods in Computer Science 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 &ndash; June 3, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194581 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Swart, Harrie. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-21070-9">http://dx.doi.org/10.1007/978-3-642-21070-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Research on Computer Education, Simulation and Modeling International Conference, CESM 2011, Wuhan, China, June 18-19, 2011. Proceedings, Part II ent://SD_ILS/0/SD_ILS:194823 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Lin, Song. editor.&#160;Huang, Xiong. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-21802-6">http://dx.doi.org/10.1007/978-3-642-21802-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Immune Systems 9th International Conference, ICARIS 2010, Edinburgh, UK, July 26-29, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192691 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Hart, Emma. editor.&#160;McEwan, Chris. editor.&#160;Timmis, Jon. editor.&#160;Hone, 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-14547-6">http://dx.doi.org/10.1007/978-3-642-14547-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Intelligence Methods for Bioinformatics and Biostatistics 6th International Meeting, CIBB 2009, Genoa, Italy, October 15-17, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:192699 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Masulli, Francesco. editor.&#160;Peterson, Leif E. editor.&#160;Tagliaferri, Roberto. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14571-1">http://dx.doi.org/10.1007/978-3-642-14571-1</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-12-29T17:15:53Z 2024-12-29T17:15:53Z 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/> Intelligent Virtual Agents 10th International Conference, IVA 2010, Philadelphia, PA, USA, September 20-22, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193119 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z 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/> Advances in Computation and Intelligence 5th International Symposium, ISICA 2010, Wuhan, China, October 22-24, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193313 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Cai, Zhihua. editor.&#160;Hu, Chengyu. editor.&#160;Kang, Zhuo. editor.&#160;Liu, Yong. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16493-4">http://dx.doi.org/10.1007/978-3-642-16493-4</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-12-29T17:15:53Z 2024-12-29T17:15:53Z 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/> 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-12-29T17:15:53Z 2024-12-29T17:15:53Z 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/> 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-12-29T17:15:53Z 2024-12-29T17:15:53Z 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/> 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-12-29T17:15:53Z 2024-12-29T17:15:53Z 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/> Motion in Games Third International Conference, MIG 2010, Utrecht, The Netherlands, November 14-16, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193475 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Boulic, Ronan. editor.&#160;Chrysanthou, Yiorgos. editor.&#160;Komura, Taku. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16958-8">http://dx.doi.org/10.1007/978-3-642-16958-8</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-12-29T17:15:53Z 2024-12-29T17:15:53Z 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/> Transactions on Computational Systems Biology XII Special Issue on Modeling Methodologies ent://SD_ILS/0/SD_ILS:191777 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Priami, Corrado. editor.&#160;Breitling, Rainer. editor.&#160;Gilbert, David. editor.&#160;Heiner, Monika. editor.&#160;Uhrmacher, Adelinde M. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-11712-1">http://dx.doi.org/10.1007/978-3-642-11712-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Adaptive and Learning Agents Second Workshop, ALA 2009, Held as Part of the AAMAS 2009 Conference in Budapest, Hungary, May 12, 2009. Revised Selected Papers ent://SD_ILS/0/SD_ILS:191806 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Taylor, Matthew E. editor.&#160;Tuyls, Karl. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-11814-2">http://dx.doi.org/10.1007/978-3-642-11814-2</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-12-29T17:15:53Z 2024-12-29T17:15:53Z 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-12-29T17:15:53Z 2024-12-29T17:15:53Z 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-12-29T17:15:53Z 2024-12-29T17:15:53Z 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-12-29T17:15:53Z 2024-12-29T17:15:53Z 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-12-29T17:15:53Z 2024-12-29T17:15:53Z 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/> Computer and Computing Technologies in Agriculture III Third IFIP TC 12 International Conference, CCTA 2009, Beijing, China, October 14-17, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:191927 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Li, Daoliang. editor.&#160;Zhao, Chunjiang. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-12220-0">http://dx.doi.org/10.1007/978-3-642-12220-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Large-Scale Scientific Computing 7th International Conference, LSSC 2009, Sozopol, Bulgaria, June 4-8, 2009. Revised Papers ent://SD_ILS/0/SD_ILS:192025 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Lirkov, Ivan. editor.&#160;Margenov, Svetozar. editor.&#160;Wa&#347;niewski, Jerzy. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-12535-5">http://dx.doi.org/10.1007/978-3-642-12535-5</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-12-29T17:15:53Z 2024-12-29T17:15:53Z 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/> Transactions on Petri Nets and Other Models of Concurrency IV ent://SD_ILS/0/SD_ILS:193833 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z 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/> QVT - Operational Mappings Modellierung mit der Query Views Transformation ent://SD_ILS/0/SD_ILS:189425 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z 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/> Graphs and Algorithms in Communication Networks Studies in Broadband, Optical, Wireless and Ad Hoc Networks ent://SD_ILS/0/SD_ILS:190264 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Koster, Arie. editor.&#160;Mu&ntilde;oz, 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-02250-0">http://dx.doi.org/10.1007/978-3-642-02250-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intentional Perspectives on Information Systems Engineering ent://SD_ILS/0/SD_ILS:192028 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Nurcan, Selmin. editor.&#160;Salinesi, Camille. editor.&#160;Souveyet, Carine. editor.&#160;Ralyt&eacute;, Jolita. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-12544-7">http://dx.doi.org/10.1007/978-3-642-12544-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programs, Proofs, Processes 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 &ndash; July 4, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192505 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Ferreira, Fernando. editor.&#160;L&ouml;we, Benedikt. editor.&#160;Mayordomo, Elvira. editor.&#160;Mendes Gomes, Lu&iacute;s. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13962-8">http://dx.doi.org/10.1007/978-3-642-13962-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, Part I ent://SD_ILS/0/SD_ILS:192538 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z 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-12-29T17:15:53Z 2024-12-29T17:15:53Z 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/> 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-12-29T17:15:53Z 2024-12-29T17:15:53Z 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/> 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-12-29T17:15:53Z 2024-12-29T17:15:53Z 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/> 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 III ent://SD_ILS/0/SD_ILS:193027 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Li, Kang. editor.&#160;Jia, Li. editor.&#160;Sun, Xin. editor.&#160;Fei, Minrui. editor.&#160;Irwin, George W. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15615-1">http://dx.doi.org/10.1007/978-3-642-15615-1</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, Deptember 17-20, 2010, Proceedings, Part I ent://SD_ILS/0/SD_ILS:193029 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z 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-15621-2">http://dx.doi.org/10.1007/978-3-642-15621-2</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-12-29T17:15:53Z 2024-12-29T17:15:53Z 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/> Medical Imaging and Augmented Reality 5th International Workshop, MIAR 2010, Beijing, China, September 19-20, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193056 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Liao, Hongen. editor.&#160;Edwards, P. J. &quot;Eddie&quot;. editor.&#160;Pan, Xiaochuan. editor.&#160;Fan, Yong. editor.&#160;Yang, Guang-Zhong. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15699-1">http://dx.doi.org/10.1007/978-3-642-15699-1</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 I ent://SD_ILS/0/SD_ILS:193106 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Li, Kang. editor.&#160;Li, Xin. editor.&#160;Ma, Shiwei. 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-15853-7">http://dx.doi.org/10.1007/978-3-642-15853-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:193108 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Li, Kang. editor.&#160;Li, Xin. editor.&#160;Ma, Shiwei. 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-15859-9">http://dx.doi.org/10.1007/978-3-642-15859-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cellular Automata 9th International Conference on Cellular Automata for Research and Industry, ACRI 2010, Ascoli Piceno, Italy, September 21-24, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193146 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Bandini, Stefania. editor.&#160;Manzoni, Sara. editor.&#160;Umeo, Hiroshi. editor.&#160;Vizzari, Giuseppe. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15979-4">http://dx.doi.org/10.1007/978-3-642-15979-4</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-12-29T17:15:53Z 2024-12-29T17:15:53Z 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/> 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-12-29T17:15:53Z 2024-12-29T17:15:53Z 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/> Database Theory and Application, Bio-Science and Bio-Technology International Conferences, DTA and BSBT 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:193657 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Zhang, Yanchun. editor.&#160;Cuzzocrea, Alfredo. editor.&#160;Ma, Jianhua. editor.&#160;Chung, Kyo-il. editor.&#160;Arslan, Tughrul. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-17622-7">http://dx.doi.org/10.1007/978-3-642-17622-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ad Hoc Networks Second International Conference, ADHOCNETS 2010, Victoria, BC, Canada, August 18-20, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:193771 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Zheng, Jun. editor.&#160;Simplot-Ryl, David. editor.&#160;Leung, Victor C. M. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-17994-5">http://dx.doi.org/10.1007/978-3-642-17994-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agent-directed simulation and systems engineering ent://SD_ILS/0/SD_ILS:304925 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Yilmaz, Levent, 1971-&#160;&Ouml;ren, Tuncer I.&#160;Wiley InterScience (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;Ebook Library <a href="http://public.eblib.com/EBLPublic/PublicView.do?ptiID=481737">http://public.eblib.com/EBLPublic/PublicView.do?ptiID=481737</a> John Wiley <a href="http://dx.doi.org/10.1002/9783527627783">http://dx.doi.org/10.1002/9783527627783</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multi-agent systems simulation and applications ent://SD_ILS/0/SD_ILS:288741 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Uhrmacher, Adelinde.&#160;Weyns, Danny.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781420070248">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Design and Use of Serious Games ent://SD_ILS/0/SD_ILS:170551 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Kankaanranta, Marja. editor.&#160;Neittaanm&auml;ki, Pekka. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4020-9496-5">http://dx.doi.org/10.1007/978-1-4020-9496-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Languages for Embedded Systems and their Applications Selected Contributions on Specification, Design, and Verification from FDL&rsquo;08 ent://SD_ILS/0/SD_ILS:170626 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Radetzki, 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-1-4020-9714-0">http://dx.doi.org/10.1007/978-1-4020-9714-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Data Engineering and Automated Learning - IDEAL 2009 10th International Conference, Burgos, Spain, September 23-26, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190932 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Corchado, Emilio. editor.&#160;Yin, Hujun. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04394-9">http://dx.doi.org/10.1007/978-3-642-04394-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multiagent System Technologies 7th German Conference, MATES 2009, Hamburg, Germany, September 9-11, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190850 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Braubach, Lars. editor.&#160;Hoek, Wiebe. editor.&#160;Petta, Paolo. editor.&#160;Pokahr, Alexander. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04143-3">http://dx.doi.org/10.1007/978-3-642-04143-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer and Computing Technologies in Agriculture II, Volume 1 The Second IFIP International Conference on Computer and Computing Technologies in Agriculture (CCTA2008), October 18-20, 2008, Beijing, China ent://SD_ILS/0/SD_ILS:171896 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Li, Daoliang. editor.&#160;Zhao, Chunjiang. 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-0209-2">http://dx.doi.org/10.1007/978-1-4419-0209-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer and Computing Technologies in Agriculture II, Volume 2 The Second IFIP International Conference on Computer and Computing Technologies in Agriculture (CCTA2008), October 18-20, 2008, Beijing, China ent://SD_ILS/0/SD_ILS:171897 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Li, Daoliang. editor.&#160;Zhao, Chunjiang. 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-0211-5">http://dx.doi.org/10.1007/978-1-4419-0211-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer and Computing Technologies in Agriculture II, Volume 3 The Second IFIP International Conference on Computer and Computing Technologies in Agriculture (CCTA2008), October 18-20, 2008, Beijing, China ent://SD_ILS/0/SD_ILS:171898 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Zhao, Chunjiang. editor.&#160;Li, Daoliang. 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-0213-9">http://dx.doi.org/10.1007/978-1-4419-0213-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Life Models in Hardware ent://SD_ILS/0/SD_ILS:175997 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Adamatzky, Andrew. editor.&#160;Komosinski, 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-1-84882-530-7">http://dx.doi.org/10.1007/978-1-84882-530-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Modeling Agricultural Systems ent://SD_ILS/0/SD_ILS:167240 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Pardalos, Panos M. editor.&#160;Papajorgji, Petraq 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-0-387-75181-8">http://dx.doi.org/10.1007/978-0-387-75181-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Coloured Petri Nets Modelling and Validation of Concurrent Systems ent://SD_ILS/0/SD_ILS:189637 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Jensen, Kurt. author.&#160;Kristensen, Lars M. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b95112">http://dx.doi.org/10.1007/b95112</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human Machine Interaction Research Results of the MMI Program ent://SD_ILS/0/SD_ILS:189685 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Lalanne, Denis. editor.&#160;Kohlas, J&uuml;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-00437-7">http://dx.doi.org/10.1007/978-3-642-00437-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Numerical Analysis and Its Applications 4th International Conference, NAA 2008, Lozenetz, Bulgaria, June 16-20, 2008. Revised Selected Papers ent://SD_ILS/0/SD_ILS:189696 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Margenov, Svetozar. editor.&#160;Vulkov, Lubin G. editor.&#160;Wa&#347;niewski, Jerzy. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-00464-3">http://dx.doi.org/10.1007/978-3-642-00464-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hybrid Systems: Computation and Control 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings ent://SD_ILS/0/SD_ILS:189743 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Majumdar, Rupak. editor.&#160;Tabuada, Paulo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-00602-9">http://dx.doi.org/10.1007/978-3-642-00602-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science &ndash; ICCS 2009 9th International Conference Baton Rouge, LA, USA, May 25-27, 2009 Proceedings, Part I ent://SD_ILS/0/SD_ILS:190177 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Allen, Gabrielle. editor.&#160;Nabrzyski, Jaros&#322;aw. editor.&#160;Seidel, Edward. editor.&#160;Albada, Geert Dick. editor.&#160;Dongarra, Jack. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-01970-8">http://dx.doi.org/10.1007/978-3-642-01970-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science &ndash; ICCS 2009 9th International Conference Baton Rouge, LA, USA, May 25-27, 2009 Proceedings, Part II ent://SD_ILS/0/SD_ILS:190178 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Allen, Gabrielle. editor.&#160;Nabrzyski, Jaros&#322;aw. editor.&#160;Seidel, Edward. editor.&#160;Albada, Geert Dick. editor.&#160;Dongarra, Jack. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-01973-9">http://dx.doi.org/10.1007/978-3-642-01973-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Societies in the Agents World IX 9th International Workshop, ESAW 2008, Saint-Etienne, France, September 24-26, 2008, Revised Selected Papers ent://SD_ILS/0/SD_ILS:190359 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Artikis, Alexander. editor.&#160;Picard, Gauthier. editor.&#160;Vercouter, Laurent. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02562-4">http://dx.doi.org/10.1007/978-3-642-02562-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Neuro-Information Processing 15th International Conference, ICONIP 2008, Auckland, New Zealand, November 25-28, 2008, Revised Selected Papers, Part II ent://SD_ILS/0/SD_ILS:190499 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;K&ouml;ppen, Mario. editor.&#160;Kasabov, Nikola. editor.&#160;Coghill, George. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-03040-6">http://dx.doi.org/10.1007/978-3-642-03040-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms and Architectures for Parallel Processing 9th International Conference, ICA3PP 2009, Taipei, Taiwan, June 8-11, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190518 2024-12-29T17:15:53Z 2024-12-29T17:15:53Z Author&#160;Hua, Arrems. editor.&#160;Chang, Shih-Liang. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-03095-6">http://dx.doi.org/10.1007/978-3-642-03095-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>