Search Results for 2 - Narrowed by: Software engineering. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003d2$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?dt=list 2024-12-23T23:21:43Z Web 2.0 ent://SD_ILS/0/SD_ILS:186750 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Behrendt, Jens. author.&#160;Zeppenfeld, Klaus. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-73121-4">http://dx.doi.org/10.1007/978-3-540-73121-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pro JSP 2 ent://SD_ILS/0/SD_ILS:170816 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Brown, Simon. author.&#160;Dalton, Sam. author.&#160;Jepp, Daniel. author.&#160;Johnson, David. author.&#160;Li, Sing. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4302-0111-3">http://dx.doi.org/10.1007/978-1-4302-0111-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Expert F# 2.0 ent://SD_ILS/0/SD_ILS:171292 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Syme, Don. author.&#160;Granicz, Adam. author.&#160;Cisternino, Antonio. author.&#160;Andres, Clay. editor.&#160;Anglin, Steve. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4302-2432-7">http://dx.doi.org/10.1007/978-1-4302-2432-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web 2.0 The Business Model ent://SD_ILS/0/SD_ILS:167798 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Lytras, Miltiadis D. editor.&#160;Damiani, Ernesto. editor.&#160;Ord&oacute;&ntilde;ez de Pablos, Patricia. 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-85895-1">http://dx.doi.org/10.1007/978-0-387-85895-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> PRINCE 2 Das Projektmanagement-Framework ent://SD_ILS/0/SD_ILS:182841 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;K&ouml;hler, Peter T. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/3-540-31704-X">http://dx.doi.org/10.1007/3-540-31704-X</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Vibrations of Rotating Machinery Volume 2. Advanced Rotordynamics: Applications of Analysis, Troubleshooting and Diagnosis ent://SD_ILS/0/SD_ILS:484970 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Matsushita, Osami. author.&#160;Tanaka, Masato. author.&#160;Kobayashi, Masao. author.&#160;Keogh, Patrick. author.&#160;Kanki, Hiroshi. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-4-431-55453-0">https://doi.org/10.1007/978-4-431-55453-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human-Centered Software Engineering 7th IFIP WG 13.2 International Working Conference, HCSE 2018, Sophia Antipolis, France, September 3&ndash;5, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485054 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Bogdan, Cristian. editor. (orcid)0000-0001-7549-1797&#160;Kuusinen, Kati. editor. (orcid)0000-0003-3076-1356&#160;L&aacute;rusd&oacute;ttir, Marta Krist&iacute;n. editor.&#160;Palanque, Philippe. editor.&#160;Winckler, Marco. editor. (orcid)0000-0002-0756-6934<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-05909-5">https://doi.org/10.1007/978-3-030-05909-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Technologies and Innovation 5th International Conference, CITI 2019, Guayaquil, Ecuador, December 2&ndash;5, 2019, Proceedings ent://SD_ILS/0/SD_ILS:485470 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Valencia-Garc&iacute;a, Rafael. editor.&#160;Alcaraz-M&aacute;rmol, Gema. editor.&#160;Del Cioppo-Morstadt, Javier. editor.&#160;Vera-Lucio, N&eacute;stor. editor.&#160;Bucaram-Leverone, Martha. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-34989-9">https://doi.org/10.1007/978-3-030-34989-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Digital Forensics and Cyber Crime 10th International EAI Conference, ICDF2C 2018, New Orleans, LA, USA, September 10&ndash;12, 2018, Proceedings ent://SD_ILS/0/SD_ILS:486855 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Breitinger, Frank. editor. (orcid)0000-0001-5261-4600&#160;Baggili, Ibrahim. editor. (orcid)0000-0002-9574-9537&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-05487-8">https://doi.org/10.1007/978-3-030-05487-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> On the Move to Meaningful Internet Systems: OTM 2018 Workshops Confederated International Workshops: EI2N, FBM, ICSP, and Meta4eS 2018, Valletta, Malta, October 22&ndash;26, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:484716 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Debruyne, Christophe. editor. (orcid)0000-0003-4734-3847&#160;Panetto, Herv&eacute;. editor. (orcid)0000-0002-5537-2261&#160;Gu&eacute;dria, Wided. editor.&#160;Bollen, Peter. editor.&#160;Ciuciu, Ioana. editor. (orcid)0000-0002-7126-0585<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-11683-5">https://doi.org/10.1007/978-3-030-11683-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Logistics 10th International Conference, ICCL 2019, Barranquilla, Colombia, September 30 &ndash; October 2, 2019, Proceedings ent://SD_ILS/0/SD_ILS:485409 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Paternina-Arboleda, Carlos. editor. (orcid)0000-0002-8860-3898&#160;Vo&szlig;, Stefan. editor. (orcid)0000-0003-1296-4221&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-31140-7">https://doi.org/10.1007/978-3-030-31140-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Open Source Systems 15th IFIP WG 2.13 International Conference, OSS 2019, Montreal, QC, Canada, May 26&ndash;27, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483194 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Bordeleau, Francis. editor.&#160;Sillitti, Alberto. editor.&#160;Meirelles, Paulo. editor. (orcid)0000-0002-8923-2814&#160;Lenarduzzi, Valentina. editor. (orcid)0000-0003-0511-5133&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-20883-7">https://doi.org/10.1007/978-3-030-20883-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Codes, Cryptology and Information Security Third International Conference, C2SI 2019, Rabat, Morocco, April 22&ndash;24, 2019, Proceedings - In Honor of Said El Hajji ent://SD_ILS/0/SD_ILS:483462 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Carlet, Claude. editor.&#160;Guilley, Sylvain. editor. (orcid)0000-0002-5044-3534&#160;Nitaj, Abderrahmane. editor. (orcid)0000-0002-0372-1757&#160;Souidi, El Mamoun. 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-16458-4">https://doi.org/10.1007/978-3-030-16458-4</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-23T23:21:43Z 2024-12-23T23:21:43Z 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/> Intelligence Science II Third IFIP TC 12 International Conference, ICIS 2018, Beijing, China, November 2-5, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399082 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Shi, Zhongzhi. editor.&#160;Pennartz, Cyriel. editor.&#160;Huang, Tiejun. 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-01313-4">https://doi.org/10.1007/978-3-030-01313-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Cryptology &ndash; ASIACRYPT 2018 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2&ndash;6, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:399086 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Peyrin, Thomas. editor. (orcid)0000-0002-2690-9197&#160;Galbraith, Steven. 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-03329-3">https://doi.org/10.1007/978-3-030-03329-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Blended Learning. Enhancing Learning Success 11th International Conference, ICBL 2018, Osaka, Japan, July 31- August 2, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399093 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Cheung, Simon K.S. editor.&#160;Kwok, Lam-for. editor.&#160;Kubota, Kenichi. editor.&#160;Lee, Lap-Kei. editor.&#160;Tokito, Jumpei. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-94505-7">https://doi.org/10.1007/978-3-319-94505-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Open Source Systems: Enterprise Software and Solutions 14th IFIP WG 2.13 International Conference, OSS 2018, Athens, Greece, June 8-10, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399571 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Stamelos, Ioannis. editor.&#160;Gonzalez-Baraho&ntilde;a, Jesus M. editor. (orcid)0000-0001-9682-460X&#160;Varlamis, Iraklis. editor. (orcid)0000-0002-0876-8167&#160;Anagnostopoulos, Dimosthenis. editor. (orcid)0000-0003-0747-4252&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-92375-8">https://doi.org/10.1007/978-3-319-92375-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel Computational Technologies 12th International Conference, PCT 2018, Rostov-on-Don, Russia, April 2&ndash;6, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399802 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918&#160;Zymbler, Mikhail. editor. (orcid)0000-0001-7491-8656&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-99673-8">https://doi.org/10.1007/978-3-319-99673-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Product Lifecycle Management to Support Industry 4.0 15th IFIP WG 5.1 International Conference, PLM 2018, Turin, Italy, July 2-4, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399956 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Chiabert, Paolo. editor.&#160;Bouras, Abdelaziz. editor.&#160;No&euml;l, Fr&eacute;d&eacute;ric. editor.&#160;R&iacute;os, Jos&eacute;. 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-01614-2">https://doi.org/10.1007/978-3-030-01614-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:400039 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Misra, Sanjay. editor. (orcid)0000-0002-3556-9331&#160;Stankova, Elena. editor. (orcid)0000-0003-2625-452X&#160;Torre, Carmelo M. editor. (orcid)0000-0003-4737-6040<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-95162-1">https://doi.org/10.1007/978-3-319-95162-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:400040 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Misra, Sanjay. editor. (orcid)0000-0002-3556-9331&#160;Stankova, Elena. editor. (orcid)0000-0003-2625-452X&#160;Torre, Carmelo M. editor. (orcid)0000-0003-4737-6040<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-95165-2">https://doi.org/10.1007/978-3-319-95165-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2&ndash;5, 2018, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:400571 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Misra, Sanjay. editor. (orcid)0000-0002-3556-9331&#160;Stankova, Elena. editor. (orcid)0000-0003-2625-452X&#160;Torre, Carmelo M. editor. (orcid)0000-0003-4737-6040<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-95171-3">https://doi.org/10.1007/978-3-319-95171-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Service-Oriented and Cloud Computing 7th IFIP WG 2.14 European Conference, ESOCC 2018, Como, Italy, September 12-14, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400572 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Kritikos, Kyriakos. editor. (orcid)0000-0001-9633-1610&#160;Plebani, Pierluigi. editor. (orcid)0000-0001-8245-226X&#160;de Paoli, Flavio. 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-99819-0">https://doi.org/10.1007/978-3-319-99819-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> SOFSEM 2018: Theory and Practice of Computer Science 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400711 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Tjoa, A Min. editor. (orcid)0000-0002-8295-9252&#160;Bellatreche, Ladjel. editor.&#160;Biffl, Stefan. editor.&#160;van Leeuwen, Jan. editor.&#160;Wiedermann, Ji&#345;&iacute;. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-73117-9">https://doi.org/10.1007/978-3-319-73117-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> PRIMA 2018: Principles and Practice of Multi-Agent Systems 21st International Conference, Tokyo, Japan, October 29-November 2, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399403 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Miller, Tim. editor. (orcid)0000-0003-4908-6063&#160;Oren, Nir. editor. (orcid)0000-0002-4854-9014&#160;Sakurai, Yuko. editor. (orcid)0000-0002-0642-3878&#160;Noda, Itsuki. editor. (orcid)0000-0003-1987-5336&#160;Savarimuthu, Bastin Tony Roy. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-03098-8">https://doi.org/10.1007/978-3-030-03098-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> On the Move to Meaningful Internet Systems. OTM 2017 Workshops Confederated International Workshops, EI2N, FBM, ICSP, Meta4eS, OTMA 2017 and ODBASE Posters 2017, Rhodes, Greece, October 23&ndash;28, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400969 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Debruyne, Christophe. editor.&#160;Panetto, Herv&eacute;. editor. (orcid)0000-0002-5537-2261&#160;Weichhart, Georg. editor.&#160;Bollen, Peter. editor.&#160;Ciuciu, Ioana. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-73805-5">https://doi.org/10.1007/978-3-319-73805-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> New Trends in Information and Communications Technology Applications Third International Conference, NTICT 2018, Baghdad, Iraq, October 2&ndash;4, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399325 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Al-mamory, Safaa O. editor. (orcid)0000-0003-3144-8222&#160;Alwan, Jwan K. editor.&#160;Hussein, Ali 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-030-01653-1">https://doi.org/10.1007/978-3-030-01653-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cryptology and Network Security 16th International Conference, CANS 2017, Hong Kong, China, November 30&mdash;December 2, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399347 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Capkun, Srdjan. editor.&#160;Chow, Sherman S. M. editor. (orcid)0000-0001-7306-453X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-02641-7">https://doi.org/10.1007/978-3-030-02641-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Practice of Enterprise Modeling 11th IFIP WG 8.1. Working Conference, PoEM 2018, Vienna, Austria, October 31 &ndash; November 2, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399355 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Buchmann, Robert Andrei. editor. (orcid)0000-0002-7385-1610&#160;Karagiannis, Dimitris. editor.&#160;Kirikova, Marite. editor. (orcid)0000-0002-1678-9523&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-02302-7">https://doi.org/10.1007/978-3-030-02302-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2&ndash;6, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399537 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Ryu, Sukyoung. editor. (orcid)0000-0002-0019-9772&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-02768-1">https://doi.org/10.1007/978-3-030-02768-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Cryptology &ndash; ASIACRYPT 2018 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2&ndash;6, 2018, Proceedings, Part III ent://SD_ILS/0/SD_ILS:399545 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Peyrin, Thomas. editor. (orcid)0000-0002-2690-9197&#160;Galbraith, Steven. 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-03332-3">https://doi.org/10.1007/978-3-030-03332-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Cryptology &ndash; ASIACRYPT 2018 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2&ndash;6, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:399923 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Peyrin, Thomas. editor. (orcid)0000-0002-2690-9197&#160;Galbraith, Steven. 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-03326-2">https://doi.org/10.1007/978-3-030-03326-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Financial Cryptography and Data Security 22nd International Conference, FC 2018, Nieuwpoort, Cura&ccedil;ao, February 26 &ndash; March 2, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399957 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Meiklejohn, Sarah. editor.&#160;Sako, Kazue. 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-58387-6">https://doi.org/10.1007/978-3-662-58387-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Electronic Voting Third International Joint Conference, E-Vote-ID 2018, Bregenz, Austria, October 2-5, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400326 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Krimmer, Robert. editor. (orcid)0000-0002-0873-539X&#160;Volkamer, Melanie. editor. (orcid)0000-0003-2674-4043&#160;Cortier, V&eacute;ronique. editor.&#160;Gor&eacute;, Rajeev. editor.&#160;Hapsara, Manik. editor. (orcid)0000-0002-8653-063X<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00419-4">https://doi.org/10.1007/978-3-030-00419-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applied Reconfigurable Computing. Architectures, Tools, and Applications 14th International Symposium, ARC 2018, Santorini, Greece, May 2-4, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400521 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Voros, Nikolaos. editor.&#160;Huebner, Michael. editor.&#160;Keramidas, Georgios. editor.&#160;Goehringer, Diana. editor.&#160;Antonopoulos, Christos. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-78890-6">https://doi.org/10.1007/978-3-319-78890-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> OR 2.0 Context-Aware Operating Theaters, Computer Assisted Robotic Endoscopy, Clinical Image-Based Procedures, and Skin Image Analysis First International Workshop, OR 2.0 2018, 5th International Workshop, CARE 2018, 7th International Workshop, CLIP 2018, Third International Workshop, ISIC 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16 and 20, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400542 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Stoyanov, Danail. editor.&#160;Taylor, Zeike. editor.&#160;Sarikaya, Duygu. editor.&#160;McLeod, Jonathan. editor.&#160;Gonz&aacute;lez Ballester, Miguel Angel. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-01201-4">https://doi.org/10.1007/978-3-030-01201-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Job Scheduling Strategies for Parallel Processing 21st International Workshop, JSSPP 2017, Orlando, FL, USA, June 2, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:401984 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Klus&aacute;&#269;ek, Dalibor. editor.&#160;Cirne, Walfredo. editor.&#160;Desai, Narayan. 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-77398-8">https://doi.org/10.1007/978-3-319-77398-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Security Theory and Practice 11th IFIP WG 11.2 International Conference, WISTP 2017, Heraklion, Crete, Greece, September 28&ndash;29, 2017, Proceedings ent://SD_ILS/0/SD_ILS:402215 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Hancke, Gerhard P. editor.&#160;Damiani, Ernesto. 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-93524-9">https://doi.org/10.1007/978-3-319-93524-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Business Modeling and Software Design 8th International Symposium, BMSD 2018, Vienna, Austria, July 2-4, 2018, Proceedings ent://SD_ILS/0/SD_ILS:402217 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Shishkov, Boris. 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-94214-8">https://doi.org/10.1007/978-3-319-94214-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2&ndash;5, 2018, Proceedings, Part III ent://SD_ILS/0/SD_ILS:402376 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Misra, Sanjay. editor. (orcid)0000-0002-3556-9331&#160;Stankova, Elena. editor. (orcid)0000-0003-2625-452X&#160;Torre, Carmelo M. editor. (orcid)0000-0003-4737-6040<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-95168-3">https://doi.org/10.1007/978-3-319-95168-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part V ent://SD_ILS/0/SD_ILS:402377 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Misra, Sanjay. editor. (orcid)0000-0002-3556-9331&#160;Stankova, Elena. editor. (orcid)0000-0003-2625-452X&#160;Torre, Carmelo M. editor. (orcid)0000-0003-4737-6040<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-95174-4">https://doi.org/10.1007/978-3-319-95174-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Service Research and Innovation 5th and 6th Australasian Symposium, ASSRI 2015 and ASSRI 2017, Sydney, NSW, Australia, November 2&ndash;3, 2015, and October 19&ndash;20, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:401427 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Beheshti, Amin. editor. (orcid)0000-0002-5988-5494&#160;Hashmi, Mustafa. editor. (orcid)0000-0002-6376-082X&#160;Dong, Hai. editor. (orcid)0000-0002-7033-5688&#160;Zhang, Wei Emma. editor. (orcid)0000-0002-0406-5974&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-76587-7">https://doi.org/10.1007/978-3-319-76587-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Technological Innovation for Resilient Systems 9th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2018, Costa de Caparica, Portugal, May 2-4, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401572 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Camarinha-Matos, Luis M. editor. (orcid)0000-0003-0594-1961&#160;Adu-Kankam, Kankam O. editor. (orcid)0000-0001-8572-1170&#160;Julashokri, Mohammad. editor. (orcid)0000-0003-0012-9456&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-78574-5">https://doi.org/10.1007/978-3-319-78574-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Service-Oriented Computing--ICSOC 2013 Workshops CCSA, CSB, PASCEB, SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013. Revised Selected Papers ent://SD_ILS/0/SD_ILS:482751 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Lomuscio, Alessio. editor.&#160;Nepal, Surya. editor.&#160;Patrizi, Fabio. editor.&#160;Benatallah, Boualem. editor.&#160;Brandi&#263;, Ivona. editor. (orcid)0000-0001-7424-0208<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-06859-6">https://doi.org/10.1007/978-3-319-06859-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Analytical and Stochastic Modelling Techniques and Applications 21st International Conference, ASMTA 2014, Budapest, Hungary, June 30 -- July 2, 2014,Proceedings ent://SD_ILS/0/SD_ILS:486917 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Sericola, Bruno. editor.&#160;Mikl&oacute;s, Telek. editor.&#160;Horv&aacute;th, G&aacute;bor. 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-08219-6">https://doi.org/10.1007/978-3-319-08219-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ambient Assisted Living and Daily Activities 6th International Work-Conference, IWAAL 2014, Belfast, UK, December 2-5, 2014, Proceedings ent://SD_ILS/0/SD_ILS:486918 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Pecchia, Leandro. editor.&#160;Chen, Liming. editor.&#160;Nugent, Chris. editor.&#160;Bravo, Jose. 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-13105-4">https://doi.org/10.1007/978-3-319-13105-4</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-23T23:21:43Z 2024-12-23T23:21:43Z 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/> Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:487763 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Counsell, Steve. editor.&#160;N&uacute;&ntilde;ez, Manuel. 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-05032-4">https://doi.org/10.1007/978-3-319-05032-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Open Source Software: Mobile Open Source Technologies 10th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2014, San Jos&eacute;, Costa Rica, May 6-9, 2014, Proceedings ent://SD_ILS/0/SD_ILS:488881 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Corral, Luis. editor.&#160;Sillitti, Alberto. editor.&#160;Succi, Giancarlo. editor.&#160;Vlasenko, Jelena. editor.&#160;Wasserman, Anthony I. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-55128-4">https://doi.org/10.1007/978-3-642-55128-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Service-Oriented and Cloud Computing Third European Conference, ESOCC 2014, Manchester, UK, September 2-4, 2014, Proceedings ent://SD_ILS/0/SD_ILS:489000 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Villari, Massimo. editor.&#160;Zimmermann, Wolf. editor.&#160;Lau, Kung-Kiu. 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-44879-3">https://doi.org/10.1007/978-3-662-44879-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A Rigorous Semantics for BPMN 2.0 Process Diagrams ent://SD_ILS/0/SD_ILS:488604 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Kossak, Felix. author.&#160;Illibauer, Christa. author.&#160;Geist, Verena. author.&#160;Kubovy, Jan. author.&#160;Natschl&auml;ger, Christine. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-09931-6">https://doi.org/10.1007/978-3-319-09931-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ubiquitous Computing and Ambient Intelligence: Personalisation and User Adapted Services 8th International Conference, UCAmI 2014, Belfast, UK, December 2-5, 2014, Proceedings ent://SD_ILS/0/SD_ILS:482702 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Herv&aacute;s, Ram&oacute;n. editor.&#160;Lee, Sungyoung. editor.&#160;Nugent, Chris. editor.&#160;Bravo, Jos&eacute;. 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-13102-3">https://doi.org/10.1007/978-3-319-13102-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human-Centered Software Engineering 5th IFIP WG 13.2 International Conference, HCSE 2014, Paderborn, Germany, September 16-18, 2014. Proceedings ent://SD_ILS/0/SD_ILS:489284 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Sauer, Stefan. editor.&#160;Bogdan, Cristian. editor. (orcid)0000-0001-7549-1797&#160;Forbrig, Peter. editor.&#160;Bernhaupt, Regina. editor.&#160;Winckler, Marco. editor. (orcid)0000-0002-0756-6934<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-44811-3">https://doi.org/10.1007/978-3-662-44811-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> CONCUR 2014 &ndash; Concurrency Theory 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings. ent://SD_ILS/0/SD_ILS:489153 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Baldan, Paolo. 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-44584-6">https://doi.org/10.1007/978-3-662-44584-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings ent://SD_ILS/0/SD_ILS:488976 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Quintao Pereira, Fernando Magno. 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-11863-5">https://doi.org/10.1007/978-3-319-11863-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Open Source Software: Quality Verification 9th IFIP WG 2.13 International Conference, OSS 2013, Koper-Capodistria, Slovenia, June 25-28, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334700 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Petrinja, Etiel. editor.&#160;Succi, Giancarlo. editor.&#160;Ioini, Nabil. editor.&#160;Sillitti, Alberto. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334700.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38928-3">http://dx.doi.org/10.1007/978-3-642-38928-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Security Theory and Practice. Security of Mobile and Cyber-Physical Systems 7th IFIP WG 11.2 International Workshop, WISTP 2013, Heraklion, Greece, May 28-30, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334616 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Cavallaro, Lorenzo. editor.&#160;Gollmann, Dieter. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334616.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38530-8">http://dx.doi.org/10.1007/978-3-642-38530-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human-Computer Interaction &ndash; INTERACT 2013 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part III ent://SD_ILS/0/SD_ILS:334950 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Kotz&eacute;, Paula. editor.&#160;Marsden, Gary. editor.&#160;Lindgaard, Gitte. editor.&#160;Wesson, Janet. editor.&#160;Winckler, Marco. editor.<br/>Preferred Shelf Number&#160;ONLINE(334950.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40477-1">http://dx.doi.org/10.1007/978-3-642-40477-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human-Computer Interaction &ndash; INTERACT 2013 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part II ent://SD_ILS/0/SD_ILS:334951 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Kotz&eacute;, Paula. editor.&#160;Marsden, Gary. editor.&#160;Lindgaard, Gitte. editor.&#160;Wesson, Janet. editor.&#160;Winckler, Marco. editor.<br/>Preferred Shelf Number&#160;ONLINE(334951.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40480-1">http://dx.doi.org/10.1007/978-3-642-40480-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human-Computer Interaction &ndash; INTERACT 2013 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part I ent://SD_ILS/0/SD_ILS:334952 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Kotz&eacute;, Paula. editor.&#160;Marsden, Gary. editor.&#160;Lindgaard, Gitte. editor.&#160;Wesson, Janet. editor.&#160;Winckler, Marco. editor.<br/>Preferred Shelf Number&#160;ONLINE(334952.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40483-2">http://dx.doi.org/10.1007/978-3-642-40483-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human-Computer Interaction &ndash; INTERACT 2013 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:334955 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Kotz&eacute;, Paula. editor.&#160;Marsden, Gary. editor.&#160;Lindgaard, Gitte. editor.&#160;Wesson, Janet. editor.&#160;Winckler, Marco. editor.<br/>Preferred Shelf Number&#160;ONLINE(334955.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40498-6">http://dx.doi.org/10.1007/978-3-642-40498-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Service-Oriented Computing 11th International Conference, ICSOC 2013, Berlin, Germany, December 2-5, 2013, Proceedings ent://SD_ILS/0/SD_ILS:335177 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Basu, Samik. editor.&#160;Pautasso, Cesare. editor.&#160;Zhang, Liang. editor.&#160;Fu, Xiang. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335177.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-45005-1">http://dx.doi.org/10.1007/978-3-642-45005-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ubiquitous Computing and Ambient Intelligence. Context-Awareness and Context-Driven Interaction 7th International Conference, UCAmI 2013, Carrillo, Costa Rica, December 2-6, 2013, Proceedings ent://SD_ILS/0/SD_ILS:332969 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Urzaiz, Gabriel. editor.&#160;Ochoa, Sergio F. editor.&#160;Bravo, Jos&eacute;. editor.&#160;Chen, Liming Luke. editor.&#160;Oliveira, Jonice. editor.<br/>Preferred Shelf Number&#160;ONLINE(332969.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03176-7">http://dx.doi.org/10.1007/978-3-319-03176-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> System Analysis and Modeling: Theory and Practice 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012. Revised Selected Papers ent://SD_ILS/0/SD_ILS:334282 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Haugen, &Oslash;ystein. editor.&#160;Reed, Rick. editor.&#160;Gotzhein, Reinhard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334282.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36757-1">http://dx.doi.org/10.1007/978-3-642-36757-1</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-23T23:21:43Z 2024-12-23T23:21:43Z 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/> Ambient Assisted Living and Active Aging 5th International Work-Conference, IWAAL 2013, Carrillo, Costa Rica, December 2-6, 2013, Proceedings ent://SD_ILS/0/SD_ILS:332965 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Nugent, Christopher. editor.&#160;Coronato, Antonio. editor.&#160;Bravo, Jos&eacute;. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332965.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03092-0">http://dx.doi.org/10.1007/978-3-319-03092-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trustworthy Computing and Services International Conference, ISCTCS 2012, Beijing, China, May 28 &ndash; June 2, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334049 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Yuan, Yuyu. editor.&#160;Wu, Xu. editor.&#160;Lu, Yueming. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334049.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35795-4">http://dx.doi.org/10.1007/978-3-642-35795-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reversible Computation 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers ent://SD_ILS/0/SD_ILS:334174 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Gl&uuml;ck, Robert. editor.&#160;Yokoyama, Tetsuo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334174.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36315-3">http://dx.doi.org/10.1007/978-3-642-36315-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Radio Frequency Identification. Security and Privacy Issues 8th International Workshop, RFIDSec 2012, Nijmegen, The Netherlands, July 2-3, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334132 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Hoepman, Jaap-Henk. editor.&#160;Verbauwhede, Ingrid. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334132.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36140-1">http://dx.doi.org/10.1007/978-3-642-36140-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Multimedia, Software Engineering and Computing Vol.2 Proceedings of the 2011 MSEC International Conference on Multimedia, Software Engineering and Computing, November 26&ndash;27, Wuhan, China ent://SD_ILS/0/SD_ILS:196097 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Jin, David. editor.&#160;Lin, Sally. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-25986-9">http://dx.doi.org/10.1007/978-3-642-25986-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computer Science and Information Technology. Networks and Communications Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part I ent://SD_ILS/0/SD_ILS:196155 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Meghanathan, Natarajan. editor.&#160;Chaki, Nabendu. editor.&#160;Nagamalai, Dhinaharan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-27299-8">http://dx.doi.org/10.1007/978-3-642-27299-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computer Science and Information Technology. Computer Science and Engineering Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part II ent://SD_ILS/0/SD_ILS:196158 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Meghanathan, Natarajan. editor.&#160;Chaki, Nabendu. editor.&#160;Nagamalai, Dhinaharan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-27308-7">http://dx.doi.org/10.1007/978-3-642-27308-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computer Science and Information Technology. Computer Science and Information Technology Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part III ent://SD_ILS/0/SD_ILS:196161 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Meghanathan, Natarajan. editor.&#160;Chaki, Nabendu. editor.&#160;Nagamalai, Dhinaharan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-27317-9">http://dx.doi.org/10.1007/978-3-642-27317-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Software Engineering Techniques 4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009. Revised Selected Papers ent://SD_ILS/0/SD_ILS:196329 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Szmuc, Tomasz. editor.&#160;Szpyrka, Marcin. editor.&#160;Zendulka, Jaroslav. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28038-2">http://dx.doi.org/10.1007/978-3-642-28038-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algebraic and Numeric Biology 4th International Conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196338 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Horimoto, Katsuhisa. editor.&#160;Nakatsui, Masahiko. editor.&#160;Popov, Nikolaj. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28067-2">http://dx.doi.org/10.1007/978-3-642-28067-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Game Theory for Networks 2nd International ICST Conference, GAMENETS 2011, Shanghai, China, April 16-18, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196869 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Jain, Rahul. editor.&#160;Kannan, Rajgopal. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30373-9">http://dx.doi.org/10.1007/978-3-642-30373-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modelling Foundations and Applications 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197089 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Vallecillo, Antonio. editor.&#160;Tolvanen, Juha-Pekka. editor.&#160;Kindler, Ekkart. editor.&#160;St&ouml;rrle, Harald. editor.&#160;Kolovos, Dimitris. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31491-9">http://dx.doi.org/10.1007/978-3-642-31491-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> 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-23T23:21:43Z 2024-12-23T23:21:43Z 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/> Signal Processing and Information Technology First International Joint Conference, SPIT 2011 and IPC 2011, Amsterdam, The Netherlands, December 1-2, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:197234 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Das, Vinu V. editor.&#160;Ariwa, Ezendu. editor.&#160;Rahayu, Syarifah Bahiyah. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32573-1">http://dx.doi.org/10.1007/978-3-642-32573-1</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-23T23:21:43Z 2024-12-23T23:21:43Z 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/> Datalog in Academia and Industry Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197298 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Barcel&oacute;, Pablo. editor.&#160;Pichler, Reinhard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32925-8">http://dx.doi.org/10.1007/978-3-642-32925-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Green and Smart Technology with Sensor Applications International Conferences, GST and SIA 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197584 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Cho, Hyun-seob. editor.&#160;Kim, Tai-hoon. editor.&#160;Mohammed, Sabah. editor.&#160;Adeli, Hojjat. editor.&#160;Oh, Myoung-kwan. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35251-5">http://dx.doi.org/10.1007/978-3-642-35251-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Applications for Software Engineering, Disaster Recovery, and Business Continuity International Conferences, ASEA and DRBC 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197587 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Kim, Tai-hoon. editor.&#160;Ramos, Carlos. editor.&#160;Kim, Haeng-kon. editor.&#160;Kiumi, Akingbehin. editor.&#160;Mohammed, Sabah. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35267-6">http://dx.doi.org/10.1007/978-3-642-35267-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Architecture of Computing Systems &ndash; ARCS 2012 25th International Conference, Munich, Germany, February 28 - March 2, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196407 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Herkersdorf, Andreas. editor.&#160;R&ouml;mer, Kay. editor.&#160;Brinkschulte, 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-28293-5">http://dx.doi.org/10.1007/978-3-642-28293-5</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-23T23:21:43Z 2024-12-23T23:21:43Z 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/> Web Services and Formal Methods 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196777 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Carbone, Marco. editor.&#160;Petit, Jean-Marc. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29834-9">http://dx.doi.org/10.1007/978-3-642-29834-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computer Science, Engineering &amp; Applications Proceedings of the Second International Conference on Computer Science, Engineering &amp; Applications (ICCSEA 2012), May 25-27, 2012, New Delhi, India. Volume 2 ent://SD_ILS/0/SD_ILS:196831 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Wyld, David C. editor.&#160;Zizka, Jan. editor.&#160;Nagamalai, Dhinaharan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30111-7">http://dx.doi.org/10.1007/978-3-642-30111-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Euro-Par 2011: Parallel Processing Workshops CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 &ndash; September 2, 2011, Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:196761 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Alexander, Michael. editor.&#160;D&rsquo;Ambra, Pasqua. editor.&#160;Belloum, Adam. editor.&#160;Bosilca, George. editor.&#160;Cannataro, Mario. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29737-3">http://dx.doi.org/10.1007/978-3-642-29737-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Euro-Par 2011: Parallel Processing Workshops CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 &ndash; September 2, 2011, Revised Selected Papers, Part II ent://SD_ILS/0/SD_ILS:196762 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Alexander, Michael. editor.&#160;D&rsquo;Ambra, Pasqua. editor.&#160;Belloum, Adam. editor.&#160;Bosilca, George. editor.&#160;Cannataro, Mario. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29740-3">http://dx.doi.org/10.1007/978-3-642-29740-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Open Source Systems: Long-Term Sustainability 8th IFIP WG 2.13 International Conference, OSS 2012, Hammamet, Tunisia, September 10-13, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197374 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Hammouda, Imed. editor.&#160;Lundell, Bj&ouml;rn. editor.&#160;Mikkonen, Tommi. editor.&#160;Scacchi, Walt. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33442-9">http://dx.doi.org/10.1007/978-3-642-33442-9</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-23T23:21:43Z 2024-12-23T23:21:43Z 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/> Theory and Practice of Natural Computing First International Conference, TPNC 2012, Tarragona, Spain, October 2-4, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197439 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Dediu, Adrian-Horia. editor.&#160;Mart&iacute;n-Vide, Carlos. editor.&#160;Truthe, Bianca. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33860-1">http://dx.doi.org/10.1007/978-3-642-33860-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer 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-23T23:21:43Z 2024-12-23T23:21:43Z 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/> Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:194654 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Calinescu, Radu. editor.&#160;Jackson, Ethan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-21292-5">http://dx.doi.org/10.1007/978-3-642-21292-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Data Management in Grid and Peer-to-Peer Systems 4th International Conference, Globe 2011, Toulouse, France, September 1-2, 2011, Proceedings ent://SD_ILS/0/SD_ILS:195190 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Hameurlain, Abdelkader. editor.&#160;Tjoa, A Min. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-22947-3">http://dx.doi.org/10.1007/978-3-642-22947-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Euro-Par 2011 Parallel Processing 17th International Conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part II ent://SD_ILS/0/SD_ILS:195333 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Jeannot, Emmanuel. editor.&#160;Namyst, Raymond. editor.&#160;Roman, Jean. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-23397-5">http://dx.doi.org/10.1007/978-3-642-23397-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Euro-Par 2011 Parallel Processing 17th International Conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part I ent://SD_ILS/0/SD_ILS:195334 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Jeannot, Emmanuel. editor.&#160;Namyst, Raymond. editor.&#160;Roman, Jean. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-23400-2">http://dx.doi.org/10.1007/978-3-642-23400-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Open Source Systems: Grounding Research 7th IFIP WG 2.13 International Conference, OSS 2011, Salvador, Brazil, October 6-7, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195631 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Hissam, Scott A. editor.&#160;Russo, Barbara. editor.&#160;Mendon&ccedil;a Neto, Manoel G. editor.&#160;Kon, Fabio. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-24418-6">http://dx.doi.org/10.1007/978-3-642-24418-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> On the Move to Meaningful Internet Systems: OTM 2011 Workshops Confederated International Workshops and Posters: EI2N+NSF ICE, ICSP+INBAST, ISDE, ORM, OTMA, SWWS+MONET+SeDeS, and VADER 2011, Hersonissos, Crete, Greece, October 17-21, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195852 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Meersman, Robert. editor.&#160;Dillon, Tharam. editor.&#160;Herrero, Pilar. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-25126-9">http://dx.doi.org/10.1007/978-3-642-25126-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Smart Card Research and Advanced Applications 10th IFIP WG 8.8/11.2 International Conference, CARDIS 2011, Leuven, Belgium, September 14-16, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196143 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Prouff, Emmanuel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-27257-8">http://dx.doi.org/10.1007/978-3-642-27257-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Technologies for Embedded and Ubiquitous Systems 8th IFIP WG 10.2 International Workshop, SEUS 2010, Waidhofen/Ybbs, Austria, October 13-15, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193237 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Min, Sang Lyul. editor.&#160;Pettit, Robert. editor.&#160;Puschner, Peter. editor.&#160;Ungerer, Theo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16256-5">http://dx.doi.org/10.1007/978-3-642-16256-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Computing and Networking 12th International Conference, ICDCN 2011, Bangalore, India, January 2-5, 2011. Proceedings ent://SD_ILS/0/SD_ILS:193675 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Aguilera, Marcos K. editor.&#160;Yu, Haifeng. editor.&#160;Vaidya, Nitin H. editor.&#160;Srinivasan, Vikram. editor.&#160;Choudhury, Romit Roy. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-17679-1">http://dx.doi.org/10.1007/978-3-642-17679-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computer Science and Information Technology First International Conference on Computer Science and Information Technology, CCSIT 2011, Bangalore, India, January 2-4, 2011. Proceedings, Part I ent://SD_ILS/0/SD_ILS:193732 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Meghanathan, Natarajan. editor.&#160;Kaushik, Brajesh Kumar. editor.&#160;Nagamalai, Dhinaharan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-17857-3">http://dx.doi.org/10.1007/978-3-642-17857-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Networks and Communications First International Conference on Computer Science and Information Technology, CCSIT 2011, Bangalore, India, January 2-4, 2011. Proceedings, Part II ent://SD_ILS/0/SD_ILS:193739 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Meghanathan, Natarajan. editor.&#160;Kaushik, Brajesh Kumar. editor.&#160;Nagamalai, Dhinaharan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-17878-8">http://dx.doi.org/10.1007/978-3-642-17878-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Computing First International Conference on Computer Science and Information Technology, CCSIT 2011, Bangalore, India, January 2-4, 2011. Proceedings, Part III ent://SD_ILS/0/SD_ILS:193740 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Meghanathan, Natarajan. editor.&#160;Kaushik, Brajesh Kumar. editor.&#160;Nagamalai, Dhinaharan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-17881-8">http://dx.doi.org/10.1007/978-3-642-17881-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Business Process Management 9th International Conference, BPM 2011, Clermont-Ferrand, France, August 30 - September 2, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195225 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Rinderle-Ma, Stefanie. editor.&#160;Toumani, Farouk. editor.&#160;Wolf, Karsten. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-23059-2">http://dx.doi.org/10.1007/978-3-642-23059-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theoretical Aspects of Computing &ndash; ICTAC 2011 8th International Colloquium, Johannesburg, South Africa, August 31 &ndash; September 2, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195296 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Cerone, Antonio. editor.&#160;Pihlajasaari, 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-3-642-23283-1">http://dx.doi.org/10.1007/978-3-642-23283-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ubiquitous Intelligence and Computing 8th International Conference, UIC 2011, Banff, Canada, September 2-4, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195402 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Hsu, Ching-Hsien. editor.&#160;Yang, Laurence T. editor.&#160;Ma, Jianhua. editor.&#160;Zhu, Chunsheng. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-23641-9">http://dx.doi.org/10.1007/978-3-642-23641-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Autonomic and Trusted Computing 8th International Conference, ATC 2011, Banff, Canada, September 2-4, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195360 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Calero, Jose M. Alcaraz. editor.&#160;Yang, Laurence T. editor.&#160;M&aacute;rmol, F&eacute;lix G&oacute;mez. editor.&#160;Garc&iacute;a Villalba, Luis Javier. editor.&#160;Li, Andy Xiaolin. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-23496-5">http://dx.doi.org/10.1007/978-3-642-23496-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Collaboration and Technology 17th International Conference, CRIWG 2011, Paraty, Brazil, October 2-7, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195451 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Vivacqua, Adriana S. editor.&#160;Gutwin, Carl. editor.&#160;Borges, Marcos R. 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-23801-7">http://dx.doi.org/10.1007/978-3-642-23801-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Concept Analysis 9th International Conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194398 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Valtchev, Petko. editor.&#160;J&auml;schke, Robert. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-20514-9">http://dx.doi.org/10.1007/978-3-642-20514-9</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-23T23:21:43Z 2024-12-23T23:21:43Z 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/> Software Engineering Techniques Third IFIP TC 2 Central and East European Conference, CEE-SET 2008, Brno, Czech Republic, October 13-15, 2008, Revised Selected Papers ent://SD_ILS/0/SD_ILS:195009 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Huzar, Zbigniew. editor.&#160;Koci, Radek. editor.&#160;Meyer, Bertrand. editor.&#160;Walter, Bartosz. editor.&#160;Zendulka, Jaroslav. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-22386-0">http://dx.doi.org/10.1007/978-3-642-22386-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Practice of Model Transformations Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192417 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Tratt, Laurence. editor.&#160;Gogolla, Martin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13688-7">http://dx.doi.org/10.1007/978-3-642-13688-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Objects, Models, Components, Patterns 48th International Conference, TOOLS 2010, M&aacute;laga, Spain, June 28&ndash;July 2, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192502 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Vitek, Jan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13953-6">http://dx.doi.org/10.1007/978-3-642-13953-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tests and Proofs 4th International Conference, TAP 2010, M&aacute;laga, Spain, July 1-2, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192510 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Fraser, Gordon. editor.&#160;Gargantini, Angelo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13977-2">http://dx.doi.org/10.1007/978-3-642-13977-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Composition 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192532 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Baudry, Beno&icirc;t. editor.&#160;Wohlstadter, Eric. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14046-4">http://dx.doi.org/10.1007/978-3-642-14046-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Enterprise Architecture, Integration and Interoperability IFIP TC 5 International Conference, EAI2N 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192991 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Bernus, Peter. editor.&#160;Doumeingts, Guy. editor.&#160;Fox, Mark. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15509-3">http://dx.doi.org/10.1007/978-3-642-15509-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hybrid Metaheuristics 7th International Workshop, HM 2010, Vienna, Austria, October 1-2, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193169 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Blesa, Mar&iacute;a J. editor.&#160;Blum, Christian. editor.&#160;Raidl, G&uuml;nther. editor.&#160;Roli, Andrea. editor.&#160;Sampels, Michael. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16054-7">http://dx.doi.org/10.1007/978-3-642-16054-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mobile Wireless Middleware, Operating Systems, and Applications Third International Conference, Mobilware 2010, Chicago, IL, USA, June 30 - July 2, 2010. Revised Selected Papers ent://SD_ILS/0/SD_ILS:193698 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Cai, Ying. editor.&#160;Magedanz, Thomas. editor.&#160;Li, Minglu. editor.&#160;Xia, Jinchun. editor.&#160;Giannelli, Carlo. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-17758-3">http://dx.doi.org/10.1007/978-3-642-17758-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Smart Spaces and Next Generation Wired/Wireless Networking Third Conference on Smart Spaces, ruSMART 2010, and 10th International Conference, NEW2AN 2010, St. Petersburg, Russia, August 23-25, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192803 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Balandin, Sergey. editor.&#160;Dunaytsev, Roman. editor.&#160;Koucheryavy, Yevgeni. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14891-0">http://dx.doi.org/10.1007/978-3-642-14891-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graph Transformations 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27&ndash;October 2, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193130 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Ehrig, Hartmut. editor.&#160;Rensink, Arend. editor.&#160;Rozenberg, Grzegorz. editor.&#160;Sch&uuml;rr, Andy. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15928-2">http://dx.doi.org/10.1007/978-3-642-15928-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human Benefit through the Diffusion of Information Systems Design Science Research IFIP WG 8.2/8.6 International Working Conference, Perth, Australia, March 30 &ndash; April 1, 2010. Proceedings ent://SD_ILS/0/SD_ILS:191892 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Pries-Heje, Jan. editor.&#160;Venable, John. editor.&#160;Bunker, Deborah. editor.&#160;Russo, Nancy L. editor.&#160;DeGross, Janice I. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-12113-5">http://dx.doi.org/10.1007/978-3-642-12113-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Open Source Software: New Horizons 6th International IFIP WG 2.13 Conference on Open Source Systems, OSS 2010, Notre Dame, IN, USA, May 30 &ndash; June 2, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192272 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;&Aring;gerfalk, P&auml;r. editor.&#160;Boldyreff, Cornelia. editor.&#160;Gonz&aacute;lez-Barahona, Jes&uacute;s M. editor.&#160;Madey, Gregory R. editor.&#160;Noll, John. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13244-5">http://dx.doi.org/10.1007/978-3-642-13244-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Requirements Engineering: Foundation for Software Quality 16th International Working Conference, REFSQ 2010, Essen, Germany, June 30&ndash;July 2, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192574 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Wieringa, Roel. editor.&#160;Persson, Anne. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14192-8">http://dx.doi.org/10.1007/978-3-642-14192-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Critical Information Infrastructures Security 4th International Workshop, CRITIS 2009, Bonn, Germany, September 30 - October 2, 2009. Revised Papers ent://SD_ILS/0/SD_ILS:192634 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Rome, Erich. editor.&#160;Bloomfield, Robin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14379-3">http://dx.doi.org/10.1007/978-3-642-14379-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Data Management in Grid and Peer-to-Peer Systems Third International Conference, Globe 2010, Bilbao, Spain, September 1-2, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192863 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Hameurlain, Abdelkader. editor.&#160;Morvan, Franck. editor.&#160;Tjoa, A Min. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15108-8">http://dx.doi.org/10.1007/978-3-642-15108-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theoretical Computer Science 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192906 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Calude, Cristian S. editor.&#160;Sassone, Vladimiro. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15240-5">http://dx.doi.org/10.1007/978-3-642-15240-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> On the Move to Meaningful Internet Systems: OTM 2010 Workshops Confederated International Workshops and Posters: International Workshops: AVYTAT, ADI, DATAVIEW, EI2N, ISDE, MONET, OnToContent, ORM, P2P-CDVE, SeDeS, SWWS and OTMA. Hersonissos, Crete, Greece, October 25-29, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193476 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Meersman, Robert. editor.&#160;Dillon, Tharam. editor.&#160;Herrero, Pilar. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16961-8">http://dx.doi.org/10.1007/978-3-642-16961-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> End-User Development 2nd International Symposium, IS-EUD 2009, Siegen, Germany, March 2-4, 2009. Proceedings ent://SD_ILS/0/SD_ILS:189681 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Pipek, Volkmar. editor.&#160;Rosson, Mary Beth. editor.&#160;Ruyter, Boris. editor.&#160;Wulf, Volker. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-00427-8">http://dx.doi.org/10.1007/978-3-642-00427-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Open Source Ecosystems: Diverse Communities Interacting 5th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2009, Sk&ouml;vde, Sweden, June 3-6, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190194 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Boldyreff, Cornelia. editor.&#160;Crowston, Kevin. editor.&#160;Lundell, Bj&ouml;rn. editor.&#160;Wasserman, Anthony I. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02032-2">http://dx.doi.org/10.1007/978-3-642-02032-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Composition 8th International Conference, SC 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190389 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Bergel, Alexandre. editor.&#160;Fabry, Johan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02655-3">http://dx.doi.org/10.1007/978-3-642-02655-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Verification 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190390 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Bouajjani, Ahmed. editor.&#160;Maler, Oded. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02658-4">http://dx.doi.org/10.1007/978-3-642-02658-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Domain-Specific Languages IFIP TC 2 Working Conference, DSL 2009 Oxford, UK, July 15-17, 2009 Proceedings ent://SD_ILS/0/SD_ILS:190497 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Taha, Walid Mohamed. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-03034-5">http://dx.doi.org/10.1007/978-3-642-03034-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Data Management in Grid and Peer-to-Peer Systems Second International Conference, Globe 2009 Linz, Austria, September 1-2, 2009 Proceedings ent://SD_ILS/0/SD_ILS:190714 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Hameurlain, Abdelkader. editor.&#160;Tjoa, A Min. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-03715-3">http://dx.doi.org/10.1007/978-3-642-03715-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Process Improvement 16th European Conference, EuroSPI 2009, Alcala (Madrid), Spain, September 2-4, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190846 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;O&rsquo;Connor, Rory V. editor.&#160;Baddoo, Nathan. editor.&#160;Cuadrago Gallego, Juan. editor.&#160;Rejas Muslera, Ricardo. editor.&#160;Smolander, Kari. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04133-4">http://dx.doi.org/10.1007/978-3-642-04133-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Industrial Critical Systems 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190990 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Alpuente, Mar&iacute;a. editor.&#160;Cook, Byron. editor.&#160;Joubert, Christophe. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04570-7">http://dx.doi.org/10.1007/978-3-642-04570-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering Approaches for Offshore and Outsourced Development Second International Conference, SEAFOOD 2008, Zurich, Switzerland, July 2-3, 2008. Revised Papers ent://SD_ILS/0/SD_ILS:190143 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Berkling, Kay. editor.&#160;Joseph, Mathai. editor.&#160;Meyer, Bertrand. editor.&#160;Nordio, Martin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-01856-5">http://dx.doi.org/10.1007/978-3-642-01856-5</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-23T23:21:43Z 2024-12-23T23:21:43Z 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/> Information Systems Development Challenges in Practice, Theory, and Education Volume 2 ent://SD_ILS/0/SD_ILS:167592 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Barry, Chris. editor.&#160;Lang, Michael. editor.&#160;Wojtkowski, Wita. editor.&#160;Conboy, Kieran. editor.&#160;Wojtkowski, Gregory. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-78578-3">http://dx.doi.org/10.1007/978-0-387-78578-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Systems &ndash; Creativity and Innovation in Small and Medium-Sized Enterprises IFIP WG 8.2 International Conference, CreativeSME 2009, Guimar&atilde;es, Portugal, June 21-24, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190307 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Dhillon, Gurpreet. editor.&#160;Stahl, Bernd Carsten. editor.&#160;Baskerville, Richard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02388-0">http://dx.doi.org/10.1007/978-3-642-02388-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2009 International Conference, Seoul, Korea, June 29-July 2, 2009, Proceedings, Part I ent://SD_ILS/0/SD_ILS:190325 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Gervasi, Osvaldo. editor.&#160;Taniar, David. editor.&#160;Murgante, Beniamino. editor.&#160;Lagan&agrave;, Antonio. editor.&#160;Mun, Youngsong. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02454-2">http://dx.doi.org/10.1007/978-3-642-02454-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2009 International Conference, Seoul, Korea, June 29-July 2, 2009, Proceedings, Part II ent://SD_ILS/0/SD_ILS:190326 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Gervasi, Osvaldo. editor.&#160;Taniar, David. editor.&#160;Murgante, Beniamino. editor.&#160;Lagan&agrave;, Antonio. editor.&#160;Mun, Youngsong. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02457-3">http://dx.doi.org/10.1007/978-3-642-02457-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering Approaches for Offshore and Outsourced Development Third International Conference, SEAFOOD 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190481 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Gotel, Olly. editor.&#160;Joseph, Mathai. editor.&#160;Meyer, Bertrand. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02987-5">http://dx.doi.org/10.1007/978-3-642-02987-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tests and Proofs Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190469 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Dubois, Catherine. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02949-3">http://dx.doi.org/10.1007/978-3-642-02949-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Teaching Formal Methods Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings ent://SD_ILS/0/SD_ILS:191097 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Gibbons, Jeremy. editor.&#160;Oliveira, Jos&eacute; Nuno. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04912-5">http://dx.doi.org/10.1007/978-3-642-04912-5</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-23T23:21:43Z 2024-12-23T23:21:43Z 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/> FM 2009: Formal Methods Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings ent://SD_ILS/0/SD_ILS:191155 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Cavalcanti, Ana. editor.&#160;Dams, Dennis R. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-05089-3">http://dx.doi.org/10.1007/978-3-642-05089-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Technologies for Embedded and Ubiquitous Systems 7th IFIP WG 10.2 International Workshop, SEUS 2009 Newport Beach, CA, USA, November 16-18, 2009 Proceedings ent://SD_ILS/0/SD_ILS:191316 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Lee, Sunggu. editor.&#160;Narasimhan, Priya. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-10265-3">http://dx.doi.org/10.1007/978-3-642-10265-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web and Wireless Geographical Information Systems 9th International Symposium, W2GIS 2009, Maynooth, Ireland, December 7-8, 2009. Proceedings ent://SD_ILS/0/SD_ILS:191418 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Carswell, James D. editor.&#160;Fotheringham, A. Stewart. editor.&#160;McArdle, Gavin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-10601-9">http://dx.doi.org/10.1007/978-3-642-10601-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Smart Homes and Health Telematics 6th International Conference, ICOST 2008 Ames, IA, USA, June 28-July 2, 2008 Proceedings ent://SD_ILS/0/SD_ILS:185938 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Helal, Sumi. editor.&#160;Mitra, Simanta. editor.&#160;Wong, Johnny. editor.&#160;Chang, Carl K. editor.&#160;Mokhtari, Mounir. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-69916-3">http://dx.doi.org/10.1007/978-3-540-69916-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> On the Move to Meaningful Internet Systems: OTM 2008 Workshops OTM Confederated International Workshops and Posters, ADI, AWeSoMe, COMBEK, EI2N, IWSSA, MONET, OnToContent + QSI, ORM, PerSys, RDDS, SEMELS, and SWWS 2008, Monterrey, Mexico, November 9-14, 2008. Proceedings ent://SD_ILS/0/SD_ILS:189153 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Meersman, Robert. editor.&#160;Tari, Zahir. editor.&#160;Herrero, Pilar. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-88875-8">http://dx.doi.org/10.1007/978-3-540-88875-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures ent://SD_ILS/0/SD_ILS:185637 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Bernardo, Marco. editor.&#160;Degano, Pierpaolo. editor.&#160;Zavattaro, Gianluigi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-68894-5">http://dx.doi.org/10.1007/978-3-540-68894-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verified Software: Theories, Tools, Experiments First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions ent://SD_ILS/0/SD_ILS:185723 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Meyer, Bertrand. editor.&#160;Woodcock, Jim. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-69149-5">http://dx.doi.org/10.1007/978-3-540-69149-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Systems and e-Business Technologies 2nd International United Information Systems Conference UNISCON 2008 Klagenfurt, Austria, April 22&ndash;25, 2008 Proceedings ent://SD_ILS/0/SD_ILS:188284 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Kaschek, Roland. editor.&#160;Kop, Christian. editor.&#160;Steinberger, Claudia. editor.&#160;Fliedl, G&uuml;nther. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-78942-0">http://dx.doi.org/10.1007/978-3-540-78942-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Industrial Critical Systems 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers ent://SD_ILS/0/SD_ILS:188496 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Leue, Stefan. editor.&#160;Merino, Pedro. editor.&#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-79707-4">http://dx.doi.org/10.1007/978-3-540-79707-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algebraic Biology Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008 Proceedings ent://SD_ILS/0/SD_ILS:188592 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Horimoto, Katsuhisa. editor.&#160;Regensburger, Georg. editor.&#160;Rosenkranz, Markus. editor.&#160;Yoshida, Hiroshi. editor.&#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-85101-1">http://dx.doi.org/10.1007/978-3-540-85101-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Balancing Agility and Formalism in Software Engineering Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007, Revised Selected Papers ent://SD_ILS/0/SD_ILS:188660 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Meyer, Bertrand. editor.&#160;Nawrocki, Jerzy R. editor.&#160;Walter, Bartosz. editor.&#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-85279-7">http://dx.doi.org/10.1007/978-3-540-85279-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Next Generation Teletraffic and Wired/Wireless Advanced Networking 8th International Conference, NEW2AN and 1st Russian Conference on Smart Spaces, ruSMART 2008 St. Petersburg, Russia, September 3-5, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188711 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Balandin, Sergey. editor.&#160;Moltchanov, Dmitri. editor.&#160;Koucheryavy, Yevgeni. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-85500-2">http://dx.doi.org/10.1007/978-3-540-85500-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Technologies for Embedded and Ubiquitous Systems 6th IFIP WG 10.2 International Workshop, SEUS 2008, Anacarpi, Capri Island, Italy, October 1-3, 2008 Proceedings ent://SD_ILS/0/SD_ILS:188913 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Brinkschulte, Uwe. editor.&#160;Givargis, Tony. editor.&#160;Russo, Stefano. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-87785-1">http://dx.doi.org/10.1007/978-3-540-87785-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Generative and Transformational Techniques in Software Engineering II International Summer School, GTTSE 2007, Braga, Portugal, July 2-7, 2007. Revised Papers ent://SD_ILS/0/SD_ILS:189093 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;L&auml;mmel, Ralf. editor.&#160;Visser, Joost. editor.&#160;Saraiva, Jo&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-540-88643-3">http://dx.doi.org/10.1007/978-3-540-88643-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> XQuery und SQL/XML in DB2-Datenbanken Verwaltung und Erzeugung von XML-Dokumenten in DB2 ent://SD_ILS/0/SD_ILS:199667 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Moos, Alfred. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-8348-9556-1">http://dx.doi.org/10.1007/978-3-8348-9556-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tools for High Performance Computing Proceedings of the 2nd International Workshop on Parallel Tools for High Performance Computing, July 2008, HLRS, Stuttgart ent://SD_ILS/0/SD_ILS:185511 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Resch, Michael. editor.&#160;Keller, Rainer. editor.&#160;Himmler, Valentin. editor.&#160;Krammer, Bettina. editor.&#160;Schulz, Alexander. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-68564-7">http://dx.doi.org/10.1007/978-3-540-68564-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence: Theories, Models and Applications 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188932 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Darzentas, John. editor.&#160;Vouros, George A. editor.&#160;Vosinakis, Spyros. editor.&#160;Arnellos, Argyris. editor.&#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-87881-0">http://dx.doi.org/10.1007/978-3-540-87881-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algebraic Biology Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007. Proceedings ent://SD_ILS/0/SD_ILS:186850 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Anai, Hirokazu. editor.&#160;Horimoto, Katsuhisa. editor.&#160;Kutsia, Temur. editor.&#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-73433-8">http://dx.doi.org/10.1007/978-3-540-73433-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Technologies for Embedded and Ubiquitous Systems 5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 2007. Revised Papers ent://SD_ILS/0/SD_ILS:187470 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Obermaisser, Roman. editor.&#160;Nah, Yunmook. editor.&#160;Puschner, Peter. editor.&#160;Rammig, Franz J. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-75664-4">http://dx.doi.org/10.1007/978-3-540-75664-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Open Source Development, Adoption and Innovation IFIP Working Group 2.13 on Open Source Software, June 11&ndash;14, 2007, Limerick, Ireland ent://SD_ILS/0/SD_ILS:166948 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Feller, Joseph. editor.&#160;Fitzgerald, Brian. editor.&#160;Scacchi, Walt. editor.&#160;Sillitti, Alberto. 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-72486-7">http://dx.doi.org/10.1007/978-0-387-72486-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integrated Formal Methods 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings ent://SD_ILS/0/SD_ILS:186776 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Davies, Jim. editor.&#160;Gibbons, Jeremy. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-73210-5">http://dx.doi.org/10.1007/978-3-540-73210-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Next Generation Teletraffic and Wired/Wireless Advanced Networking 7th International Conference, NEW2AN 2007 St. Petersburg, Russia, September 10-14, 2007 Proceedings ent://SD_ILS/0/SD_ILS:187282 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Koucheryavy, Yevgeni. editor.&#160;Harju, Jarmo. editor.&#160;Sayenko, 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-540-74833-5">http://dx.doi.org/10.1007/978-3-540-74833-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trends in Enterprise Application Architecture 2nd International Conference, TEAA 2006, Berlin, Germany, November 29 - December 1, 2006, Revised Selected Papers ent://SD_ILS/0/SD_ILS:187534 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Draheim, Dirk. editor.&#160;Weber, Gerald. editor.&#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-75912-6">http://dx.doi.org/10.1007/978-3-540-75912-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Performance Evaluation 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures ent://SD_ILS/0/SD_ILS:186566 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Bernardo, Marco. editor.&#160;Hillston, Jane. editor.&#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-72522-0">http://dx.doi.org/10.1007/978-3-540-72522-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Databases, Information Systems, and Peer-to-Peer Computing International Workshops, DBISP2P 2005/2006, Trondheim, Norway, August 28-29, 2005, Seoul, Korea, September 11, 2006, Revised Selected Papers ent://SD_ILS/0/SD_ILS:186338 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Moro, Gianluca. editor.&#160;Bergamaschi, Sonia. editor.&#160;Joseph, Sam. editor.&#160;Morin, Jean-Henry. editor.&#160;Ouksel, Aris M. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-71661-7">http://dx.doi.org/10.1007/978-3-540-71661-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Grid and Pervasive Computing Second International Conference, GPC 2007, Paris, France, May 2-4, 2007. Proceedings ent://SD_ILS/0/SD_ILS:186516 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;C&eacute;rin, Christophe. editor.&#160;Li, Kuan-Ching. editor.&#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-72360-8">http://dx.doi.org/10.1007/978-3-540-72360-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Product-Focused Software Process Improvement 8th International Conference, PROFES 2007, Riga, Latvia, July 2-4, 2007. Proceedings ent://SD_ILS/0/SD_ILS:186860 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;M&uuml;nch, J&uuml;rgen. editor.&#160;Abrahamsson, 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-3-540-73460-4">http://dx.doi.org/10.1007/978-3-540-73460-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> MDA&reg; Effektives Software-Engineering mit UML 2&reg; und Eclipse&trade; ent://SD_ILS/0/SD_ILS:181845 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Gruhn, Volker. author.&#160;Pieper, Daniel. author.&#160;R&ouml;ttgers, Carsten. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/3-540-28746-9">http://dx.doi.org/10.1007/3-540-28746-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> System Analysis and Modeling: Language Profiles 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers ent://SD_ILS/0/SD_ILS:185459 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Gotzhein, Reinhard. editor.&#160;Reed, Rick. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11951148">http://dx.doi.org/10.1007/11951148</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Profikurs Eclipse 3 Mit Eclipse 3.2 und Plugins professionell Java-Anwendungen entwickeln &mdash; Von UML bis JUnit ent://SD_ILS/0/SD_ILS:199232 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Wolmeringer, Gottfried. author.&#160;Klein, Thorsten. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-8348-9063-4">http://dx.doi.org/10.1007/978-3-8348-9063-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Vorlesungen &uuml;ber Informatik Band 2: Objektorientiertes Programmieren und Algorithmen ent://SD_ILS/0/SD_ILS:184166 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Goos, Gerhard. author.&#160;Zimmermann, Wolf. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/3-540-34778-X">http://dx.doi.org/10.1007/3-540-34778-X</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Data and Applications Security XX 20th Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Sophia Antipolis, France, July 31-August 2, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184439 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Damiani, Ernesto. editor.&#160;Liu, Peng. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11805588">http://dx.doi.org/10.1007/11805588</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Security 9th International Conference, ISC 2006, Samos Island, Greece, August 30 - September 2, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184677 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Katsikas, Sokratis K. editor.&#160;L&oacute;pez, Javier. editor.&#160;Backes, Michael. editor.&#160;Gritzalis, Stefanos. editor.&#160;Preneel, Bart. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11836810">http://dx.doi.org/10.1007/11836810</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Satellite Events at the MoDELS 2005 Conference MoDELS 2005 International Workshops Doctoral Symposium, Educators Symposium Montego Bay, Jamaica, October 2-7, 2005 Revised Selected Papers ent://SD_ILS/0/SD_ILS:182883 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Bruel, Jean-Michel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11663430">http://dx.doi.org/10.1007/11663430</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings ent://SD_ILS/0/SD_ILS:183604 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Hermanns, Holger. editor.&#160;Palsberg, Jens. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11691372">http://dx.doi.org/10.1007/11691372</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering 2 Specification of Systems and Languages ent://SD_ILS/0/SD_ILS:183656 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Bj&oslash;rner, Dines. 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-33193-3">http://dx.doi.org/10.1007/978-3-540-33193-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Next Generation Teletraffic and Wired/Wireless Advanced Networking 6th International Conference, NEW2AN 2006, St. Petersburg, Russia, May 29 - June 2, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184055 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Koucheryavy, Yevgeni. editor.&#160;Harju, Jarmo. editor.&#160;Iversen, Villy B. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11759355">http://dx.doi.org/10.1007/11759355</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Relations and Kleene Algebra in Computer Science 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29&ndash;September 2, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184643 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Schmidt, Renate A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11828563">http://dx.doi.org/10.1007/11828563</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Leveraging Applications of Formal Methods First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers ent://SD_ILS/0/SD_ILS:185152 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Margaria, Tiziana. editor.&#160;Steffen, Bernhard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11925040">http://dx.doi.org/10.1007/11925040</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Open Source Systems IFIP Working Group 2.13 Foundation on Open Source Software, June 8&ndash;10, 2006, Como, Italy ent://SD_ILS/0/SD_ILS:166014 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Damiani, Ernesto. editor.&#160;Fitzgerald, Brian. editor.&#160;Scacchi, Walt. editor.&#160;Scotto, Marco. editor.&#160;Succi, Giancarlo. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/0-387-34226-5">http://dx.doi.org/10.1007/0-387-34226-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Echtzeitaspekte bei der Koordinierung Autonomer Systeme Fachtagung der GI-Fachgruppe Echtzeitsysteme und PEARL (EP) Boppard, 1./2. Dezember 2005 ent://SD_ILS/0/SD_ILS:182085 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Holleczek, Peter. editor.&#160;Vogel-Heuser, Birgit. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/3-540-29595-X">http://dx.doi.org/10.1007/3-540-29595-X</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Networking. Convergence in Broadband and Mobile Networking International Conference, ICOIN 2005, Jeju Island, Korea, January 31- February 2, 2005. Proceedings ent://SD_ILS/0/SD_ILS:182379 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Kim, Cheeha. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b105584">http://dx.doi.org/10.1007/b105584</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Quality of Service in Multiservice IP Networks Third International Workshop, QoS-IP 2005, Catania, Italy, February 2-4, 2004, Catania, Italy, February 2-4, 2004. Proceedings ent://SD_ILS/0/SD_ILS:182370 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Ajmone Marsan, Marco. editor.&#160;Bianchi, Giuseppe. editor.&#160;Listanti, Marco. editor.&#160;Meo, Michela. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b105169">http://dx.doi.org/10.1007/b105169</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings ent://SD_ILS/0/SD_ILS:182801 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Sutcliffe, Geoff. editor.&#160;Voronkov, Andrei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11591191">http://dx.doi.org/10.1007/11591191</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Euro-Par 2005 Parallel Processing 11th International Euro-Par Conference, Lisbon, Portugal, August 30 - September 2, 2005. Proceedings ent://SD_ILS/0/SD_ILS:182998 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Cunha, Jos&eacute; C. editor.&#160;Medeiros, Pedro D. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11549468">http://dx.doi.org/10.1007/11549468</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Components and Objects Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 &ndash; 5, 2004, Revised Lectures ent://SD_ILS/0/SD_ILS:183012 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Boer, Frank S. editor.&#160;Bonsangue, Marcello M. editor.&#160;Graf, Susanne. editor.&#160;Roever, Willem-Paul. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11561163">http://dx.doi.org/10.1007/11561163</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> NETWORKING 2005. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems 4th International IFIP-TC6 Networking Conference, Waterloo, Canada, May 2-6, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183084 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Boutaba, Raouf. editor.&#160;Almeroth, Kevin. editor.&#160;Puigjaner, Ramon. editor.&#160;Shen, Sherman. editor.&#160;Black, James P. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b136094">http://dx.doi.org/10.1007/b136094</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model Driven Engineering Languages and Systems 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183122 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Briand, Lionel. editor.&#160;Williams, Clay. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11557432">http://dx.doi.org/10.1007/11557432</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed and Parallel Computing 6th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP, Melbourne, Australia, October 2-3, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183135 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Hobbs, Michael. editor.&#160;Goscinski, Andrzej M. editor.&#160;Zhou, Wanlei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11564621">http://dx.doi.org/10.1007/11564621</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Techniques for Networked and Distributed Systems - FORTE 2005 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183147 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Wang, Farn. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11562436">http://dx.doi.org/10.1007/11562436</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel and Distributed Processing and Applications Third International Symposium, ISPA 2005, Nanjing, China, November 2-5, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183163 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Pan, Yi. editor.&#160;Chen, Daoxu. editor.&#160;Guo, Minyi. editor.&#160;Cao, Jiannong. editor.&#160;Dongarra, Jack. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11576235">http://dx.doi.org/10.1007/11576235</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integrated Formal Methods 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183227 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Romijn, Judi. editor.&#160;Smith, Graeme. editor.&#160;Pol, Jaco. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11589976">http://dx.doi.org/10.1007/11589976</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pro J2ME Polish Open Source Wireless Java Tools Suite ent://SD_ILS/0/SD_ILS:170750 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Virkus, Robert. 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-4302-0045-1">http://dx.doi.org/10.1007/978-1-4302-0045-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pro Service-Oriented Smart Clients with .NET 2.0 ent://SD_ILS/0/SD_ILS:170763 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Hashimi, Sayed Y. author.&#160;Steffan, Scott J. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4302-0058-1">http://dx.doi.org/10.1007/978-1-4302-0058-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pro Eclipse JST Plug-ins for J2EE Development ent://SD_ILS/0/SD_ILS:170764 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Judd, Christopher M. author.&#160;Shittu, Hakeem. 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-4302-0059-8">http://dx.doi.org/10.1007/978-1-4302-0059-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations of AOP for J2EE Development ent://SD_ILS/0/SD_ILS:170768 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Pawlak, Renaud. author.&#160;Seinturier, Lionel. author.&#160;Retaill&eacute;, Jean-Philippe. 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-4302-0063-5">http://dx.doi.org/10.1007/978-1-4302-0063-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Architecture 2nd European Workshop, EWSA 2005, Pisa, Italy, June 13-14, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183255 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Morrison, Ron. editor.&#160;Oquendo, Flavio. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b136986">http://dx.doi.org/10.1007/b136986</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Middleware 2005 ACM/IFIP/USENIX 6th International Middleware Conference, Grenoble, France, November 28 - December 2, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183256 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Alonso, Gustavo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11587552">http://dx.doi.org/10.1007/11587552</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Virtual Storytelling. Using Virtual Reality Technologies for Storytelling Third International Conference, ICVS 2005, Strasbourg, France, November 30 - December 2, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183271 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Subsol, G&eacute;rard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11590361">http://dx.doi.org/10.1007/11590361</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Databases, Information Systems, and Peer-to-Peer Computing Second International Workshop, DBISP2P 2004, Toronto, Canada, August 29-30, 2004, Revised Selected Papers ent://SD_ILS/0/SD_ILS:182924 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Ng, Wee Siong. editor.&#160;Ooi, Beng-Chin. editor.&#160;Ouksel, Aris M. editor.&#160;Sartori, Claudio. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b106971">http://dx.doi.org/10.1007/b106971</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel and Distributed Processing and Applications - ISPA 2005 Workshops ISPA 2005 International Workshops, AEPP, ASTD, BIOS, GCIC, IADS, MASN, SGCA, and WISA, Nanjing, China, November 2-5, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183176 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Chen, Guihai. editor.&#160;Pan, Yi. editor.&#160;Guo, Minyi. editor.&#160;Lu, Jian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11576259">http://dx.doi.org/10.1007/11576259</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183234 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Yi, Kwangkeun. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11575467">http://dx.doi.org/10.1007/11575467</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Beginning J2ME: From Novice to Professional ent://SD_ILS/0/SD_ILS:170725 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Li, Sing. author.&#160;Knudsen, 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-4302-0020-8">http://dx.doi.org/10.1007/978-1-4302-0020-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A Programmer&rsquo;s Introduction to C# 2.0 ent://SD_ILS/0/SD_ILS:170740 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Gunnerson, Eric. editor.&#160;Wienholt, Nick. 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-4302-0035-2">http://dx.doi.org/10.1007/978-1-4302-0035-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Architecture Description Languages IFIP TC-2 Workshop on Architecture Description Languages (WADL), World Computer Congress, Aug. 22&ndash;27, 2004, Toulouse, France ent://SD_ILS/0/SD_ILS:165066 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Dissaux, Pierre. editor.&#160;Filali-Amine, Mamoun. editor.&#160;Michel, Pierre. editor.&#160;Vernadat, Fran&ccedil;ois. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b106318">http://dx.doi.org/10.1007/b106318</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Yaz&#305;l&#305;m test m&uuml;hendisinin el kitab&#305; ent://SD_ILS/0/SD_ILS:514350 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;G&uuml;rb&uuml;z, Ali.<br/>Preferred Shelf Number&#160;QA76.758 G87 2022<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Bilgisayar m&uuml;hendisli&#287;ine giri&#351; ent://SD_ILS/0/SD_ILS:514251 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;&Ccedil;&ouml;lkesen, Toros Rifat.&#160;Eren, &#350;aban.<br/>Preferred Shelf Number&#160;QA76.27 B552 2022<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Yaz&#305;l&#305;m m&uuml;hendisli&#287;i ent://SD_ILS/0/SD_ILS:509984 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Sommerville, Ian.&#160;Topalo&#287;lu, N. Yasemin.<br/>Preferred Shelf Number&#160;QA76.758 S6619 2021<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~2<br/> Yaz&#305;l&#305;m test m&uuml;hendisinin el kitab&#305; ent://SD_ILS/0/SD_ILS:479539 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;G&uuml;rb&uuml;z, Ali.<br/>Preferred Shelf Number&#160;QA76.758 G87 2020<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Advanced Information Systems Engineering 31st International Conference, CAiSE 2019, Rome, Italy, June 3&ndash;7, 2019, Proceedings ent://SD_ILS/0/SD_ILS:482678 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Giorgini, Paolo. editor. (orcid)0000-0003-4152-9683&#160;Weber, Barbara. 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-21290-2">https://doi.org/10.1007/978-3-030-21290-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Financial Software Engineering ent://SD_ILS/0/SD_ILS:483123 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Lano, Kevin. author.&#160;Haughton, Howard. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-14050-2">https://doi.org/10.1007/978-3-030-14050-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Application and Theory of Petri Nets and Concurrency 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23&ndash;28, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484866 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Donatelli, Susanna. editor. (orcid)0000-0002-0911-8457&#160;Haar, Stefan. editor. (orcid)0000-0002-1892-2703&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-21571-2">https://doi.org/10.1007/978-3-030-21571-2</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-23T23:21:43Z 2024-12-23T23:21:43Z 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/> Design, User Experience, and Usability. Practice and Case Studies 8th International Conference, DUXU 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26&ndash;31, 2019, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:486088 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Marcus, Aaron. editor.&#160;Wang, Wentao. 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-23535-2">https://doi.org/10.1007/978-3-030-23535-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agile Processes in Software Engineering and Extreme Programming &ndash; Workshops XP 2019 Workshops, Montr&eacute;al, QC, Canada, May 21&ndash;25, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486129 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Hoda, Rashina. editor. (orcid)0000-0001-5147-8096&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-30126-2">https://doi.org/10.1007/978-3-030-30126-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model and Data Engineering 9th International Conference, MEDI 2019, Toulouse, France, October 28&ndash;31, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486579 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Schewe, Klaus-Dieter. editor. (orcid)0000-0002-8309-1803&#160;Singh, Neeraj Kumar. editor. (orcid)0000-0002-1124-0179&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-32065-2">https://doi.org/10.1007/978-3-030-32065-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cyberspace Data and Intelligence, and Cyber-Living, Syndrome, and Health International 2019 Cyberspace Congress, CyberDI and CyberLife, Beijing, China, December 16&ndash;18, 2019, Proceedings, Part I ent://SD_ILS/0/SD_ILS:486707 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Ning, Huansheng. editor. (orcid)0000-0001-6413-193X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-15-1922-2">https://doi.org/10.1007/978-981-15-1922-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> End-User Development 7th International Symposium, IS-EUD 2019, Hatfield, UK, July 10&ndash;12, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486718 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Malizia, Alessio. editor.&#160;Valtolina, Stefano. editor.&#160;Morch, Anders. editor.&#160;Serrano, Alan. editor.&#160;Stratton, Andrew. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-24781-2">https://doi.org/10.1007/978-3-030-24781-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> HCI International 2019 - Posters 21st International Conference, HCII 2019, Orlando, FL, USA, July 26&ndash;31, 2019, Proceedings, Part I ent://SD_ILS/0/SD_ILS:486826 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Stephanidis, Constantine. 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-23522-2">https://doi.org/10.1007/978-3-030-23522-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Bilgisayar m&uuml;hendisli&#287;ine giri&#351; ent://SD_ILS/0/SD_ILS:423236 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;&Ccedil;&ouml;lkesen, Toros Rifat.&#160;Eren, &#350;aban.<br/>Preferred Shelf Number&#160;QA76.27 B552 2019<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Static Analysis 26th International Symposium, SAS 2019, Porto, Portugal, October 8&ndash;11, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483418 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Chang, Bor-Yuh Evan. 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-32304-2">https://doi.org/10.1007/978-3-030-32304-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applied Cryptography and Network Security 17th International Conference, ACNS 2019, Bogota, Colombia, June 5&ndash;7, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483504 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Deng, Robert H. editor. (orcid)0000-0003-3491-8146&#160;Gauthier-Uma&ntilde;a, Val&eacute;rie. editor. (orcid)0000-0003-0909-7091&#160;Ochoa, Mart&iacute;n. editor. (orcid)0000-0002-7816-5775&#160;Yung, Moti. 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-21568-2">https://doi.org/10.1007/978-3-030-21568-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Models, Languages, and Tools for Concurrent and Distributed Programming Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday ent://SD_ILS/0/SD_ILS:483506 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Boreale, Michele. editor. (orcid)0000-0002-1972-7491&#160;Corradini, Flavio. editor.&#160;Loreti, Michele. editor. (orcid)0000-0003-3061-863X&#160;Pugliese, Rosario. editor. (orcid)0000-0002-1419-1405&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-21485-2">https://doi.org/10.1007/978-3-030-21485-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computing and Communication Systems in Urban Development A Detailed Perspective ent://SD_ILS/0/SD_ILS:485408 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Haldorai, Anandakumar. author. (orcid)0000-0001-9975-6462&#160;Ramu, Arulmurugan. author. (orcid)0000-0003-1030-9565&#160;Murugan, Suriya. author. (orcid)0000-0002-8130-7228&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-26013-2">https://doi.org/10.1007/978-3-030-26013-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Innovative Security Solutions for Information Technology and Communications 11th International Conference, SecITC 2018, Bucharest, Romania, November 8&ndash;9, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486352 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Lanet, Jean-Louis. editor. (orcid)0000-0002-4751-3941&#160;Toma, Cristian. editor. (orcid)0000-0001-9316-7739&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-12942-2">https://doi.org/10.1007/978-3-030-12942-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Business Information Systems 22nd International Conference, BIS 2019, Seville, Spain, June 26&ndash;28, 2019, Proceedings, Part II ent://SD_ILS/0/SD_ILS:486607 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Abramowicz, Witold. editor. (orcid)0000-0001-5464-9698&#160;Corchuelo, Rafael. editor. (orcid)0000-0003-1563-6979&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-20482-2">https://doi.org/10.1007/978-3-030-20482-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Security ESORICS 2018 International Workshops, CyberICPS 2018 and SECPRE 2018, Barcelona, Spain, September 6&ndash;7, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:483391 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Katsikas, Sokratis K. editor. (orcid)0000-0003-2966-9683&#160;Cuppens, Fr&eacute;d&eacute;ric. editor.&#160;Cuppens, Nora. editor.&#160;Lambrinoudakis, Costas. editor. (orcid)0000-0002-6575-9814&#160;Ant&oacute;n, Annie. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-12786-2">https://doi.org/10.1007/978-3-030-12786-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Security and Safety Interplay of Intelligent Software Systems ESORICS 2018 International Workshops, ISSA 2018 and CSITS 2018, Barcelona, Spain, September 6&ndash;7, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:483024 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Hamid, Brahim. editor.&#160;Gallina, Barbara. editor. (orcid)0000-0002-6952-1053&#160;Shabtai, Asaf. editor. (orcid)0000-0003-0630-4059&#160;Elovici, Yuval. editor.&#160;Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-16874-2">https://doi.org/10.1007/978-3-030-16874-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Algebra in Scientific Computing 21st International Workshop, CASC 2019, Moscow, Russia, August 26&ndash;30, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483738 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;England, Matthew. editor. (orcid)0000-0001-5729-3420&#160;Koepf, Wolfram. editor.&#160;Sadykov, Timur M. editor. (orcid)0000-0003-0741-2318&#160;Seiler, Werner M. editor. (orcid)0000-0002-0565-1334&#160;Vorozhtsov, Evgenii V. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-26831-2">https://doi.org/10.1007/978-3-030-26831-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agents and Artificial Intelligence 9th International Conference, ICAART 2017, Porto, Portugal, February 24&ndash;26, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399210 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;van den Herik, Jaap. editor.&#160;Rocha, Ana Paula. editor.&#160;Filipe, Joaquim. 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-93581-2">https://doi.org/10.1007/978-3-319-93581-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multi-Agent Systems and Agreement Technologies 15th European Conference, EUMAS 2017, and 5th International Conference, AT 2017, Evry, France, December 14-15, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399113 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Belardinelli, Francesco. editor. (orcid)0000-0002-7768-1794&#160;Argente, Estefan&iacute;a. editor. (orcid)0000-0002-5431-3868&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-01713-2">https://doi.org/10.1007/978-3-030-01713-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence and Soft Computing 17th International Conference, ICAISC 2018, Zakopane, Poland, June 3-7, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:401205 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Rutkowski, Leszek. editor.&#160;Scherer, Rafa&#322;. editor.&#160;Korytkowski, Marcin. editor.&#160;Pedrycz, Witold. editor.&#160;Tadeusiewicz, Ryszard. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-91262-2">https://doi.org/10.1007/978-3-319-91262-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Information Systems Engineering Workshops CAiSE 2018 International Workshops, Tallinn, Estonia, June 11-15, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401234 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Matulevi&#269;ius, Raimundas. editor.&#160;Dijkman, Remco. 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-92898-2">https://doi.org/10.1007/978-3-319-92898-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Robotic Grasping and Manipulation First Robotic Grasping and Manipulation Challenge, RGMC 2016, Held in Conjunction with IROS 2016, Daejeon, South Korea, October 10&ndash;12, 2016, Revised Papers ent://SD_ILS/0/SD_ILS:402746 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Sun, Yu. editor.&#160;Falco, Joe. 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-94568-2">https://doi.org/10.1007/978-3-319-94568-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Case-Based Reasoning Research and Development 26th International Conference, ICCBR 2018, Stockholm, Sweden, July 9-12, 2018, Proceedings ent://SD_ILS/0/SD_ILS:398962 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Cox, Michael T. editor.&#160;Funk, Peter. editor. (orcid)0000-0002-5562-1424&#160;Begum, Shahina. editor. (orcid)0000-0002-1212-7637&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-01081-2">https://doi.org/10.1007/978-3-030-01081-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information and Software Technologies 24th International Conference, ICIST 2018, Vilnius, Lithuania, October 4&ndash;6, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399266 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Dama&scaron;evi&#269;ius, Robertas. editor.&#160;Vasiljevien&#279;, Giedr&#279;. 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-99972-2">https://doi.org/10.1007/978-3-319-99972-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II ent://SD_ILS/0/SD_ILS:399569 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786&#160;Dongarra, Jack. editor. (orcid)0000-0003-3247-1782&#160;Deelman, Ewa. editor. (orcid)0000-0001-5106-503X&#160;Karczewski, Konrad. 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-78054-2">https://doi.org/10.1007/978-3-319-78054-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> ICT Systems Security and Privacy Protection 33rd IFIP TC 11 International Conference, SEC 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-20, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400045 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Janczewski, Lech Jan. editor. (orcid)0000-0003-3319-924X&#160;Kuty&#322;owski, Miros&#322;aw. editor. (orcid)0000-0003-3192-2430&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-99828-2">https://doi.org/10.1007/978-3-319-99828-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Green Energy Systems and Smart Grid First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part III ent://SD_ILS/0/SD_ILS:400102 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Li, Kang. editor.&#160;Zhang, Jianhua. editor.&#160;Chen, Minyou. editor.&#160;Yang, Zhile. editor.&#160;Niu, Qun. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-2381-2">https://doi.org/10.1007/978-981-13-2381-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Combinatorial Algorithms 29th International Workshop, IWOCA 2018, Singapore, July 16&ndash;19, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400158 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Iliopoulos, Costas. editor.&#160;Leong, Hon Wai. editor.&#160;Sung, Wing-Kin. 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-94667-2">https://doi.org/10.1007/978-3-319-94667-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Privacy Technologies and Policy 6th Annual Privacy Forum, APF 2018, Barcelona, Spain, June 13-14, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400265 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Medina, Manel. editor.&#160;Mitrakas, Andreas. editor.&#160;Rannenberg, Kai. editor.&#160;Schweighofer, Erich. editor.&#160;Tsouroulas, Nikolaos. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-02547-2">https://doi.org/10.1007/978-3-030-02547-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:400303 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Vaidya, Jaideep. editor.&#160;Li, Jin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-05054-2">https://doi.org/10.1007/978-3-030-05054-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Wireless Indoor Localization A Crowdsourcing Approach ent://SD_ILS/0/SD_ILS:400324 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Wu, Chenshu. author.&#160;Yang, Zheng. author.&#160;Liu, Yunhao. 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-0356-2">https://doi.org/10.1007/978-981-13-0356-2</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-23T23:21:43Z 2024-12-23T23:21:43Z 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/> Tree-Based Convolutional Neural Networks Principles and Applications ent://SD_ILS/0/SD_ILS:400456 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Mou, Lili. author.&#160;Jin, Zhi. 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-1870-2">https://doi.org/10.1007/978-981-13-1870-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Conceptual Modeling ER 2018 Workshops Emp-ER, MoBiD, MREBA, QMMQ, SCME, Xi&rsquo;an, China, October 22-25, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400549 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Woo, Carson. editor.&#160;Lu, Jiaheng. editor. (orcid)0000-0003-2067-454X&#160;Li, Zhanhuai. editor.&#160;Ling, Tok Wang. editor.&#160;Li, Guoliang. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-01391-2">https://doi.org/10.1007/978-3-030-01391-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Implantable Sensors and Systems From Theory to Practice ent://SD_ILS/0/SD_ILS:400864 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Yang, Guang-Zhong. 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-69748-2">https://doi.org/10.1007/978-3-319-69748-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Yaz&#305;l&#305;m m&uuml;hendisli&#287;i ent://SD_ILS/0/SD_ILS:461884 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Sommerville, Ian.&#160;Topalo&#287;lu, N. Yasemin.<br/>Preferred Shelf Number&#160;QA76.758 S6619 2018<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Testing Software and Systems 30th IFIP WG 6.1 International Conference, ICTSS 2018, C&aacute;diz, Spain, October 1-3, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399422 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Medina-Bulo, Inmaculada. editor.&#160;Merayo, Mercedes G. editor.&#160;Hierons, Robert. 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-99927-2">https://doi.org/10.1007/978-3-319-99927-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computers Helping People with Special Needs 16th International Conference, ICCHP 2018, Linz, Austria, July 11-13, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:399630 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Miesenberger, Klaus. editor.&#160;Kouroupetroglou, Georgios. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-94274-2">https://doi.org/10.1007/978-3-319-94274-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday ent://SD_ILS/0/SD_ILS:399861 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Jones, Cliff. editor.&#160;Wang, Ji. editor.&#160;Zhan, Naijun. 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-01461-2">https://doi.org/10.1007/978-3-030-01461-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> AI 2018: Advances in Artificial Intelligence 31st Australasian Joint Conference, Wellington, New Zealand, December 11-14, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399886 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Mitrovic, Tanja. editor.&#160;Xue, Bing. editor. (orcid)0000-0002-4865-8026&#160;Li, Xiaodong. editor. (orcid)0000-0003-0346-1526&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-03991-2">https://doi.org/10.1007/978-3-030-03991-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Business 9th International Conference, ICSOB 2018, Tallinn, Estonia, June 11&ndash;12, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399925 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Wnuk, Krzysztof. editor.&#160;Brinkkemper, Sjaak. 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-04840-2">https://doi.org/10.1007/978-3-030-04840-2</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-23T23:21:43Z 2024-12-23T23:21:43Z 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 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-23T23:21:43Z 2024-12-23T23:21:43Z 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/> Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:400605 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Beyer, Dirk. editor. (orcid)0000-0003-4832-7662&#160;Huisman, Marieke. 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-89960-2">https://doi.org/10.1007/978-3-319-89960-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14&ndash;20, 2018. Proceedings ent://SD_ILS/0/SD_ILS:400607 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Baier, Christel. editor. (orcid)0000-0002-5321-9343&#160;Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-89366-2">https://doi.org/10.1007/978-3-319-89366-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Services &ndash; SERVICES 2018 14th World Congress, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25&ndash;30, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401733 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Yang, Alvin. editor.&#160;Kantamneni, Siva. editor. (orcid)0000-0002-5729-2898&#160;Li, Ying. editor.&#160;Dico, Awel. editor.&#160;Chen, Xiangang. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-94472-2">https://doi.org/10.1007/978-3-319-94472-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Designing Usable and Secure Software with IRIS and CAIRIS ent://SD_ILS/0/SD_ILS:401826 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Faily, Shamal. 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-75493-2">https://doi.org/10.1007/978-3-319-75493-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Communication Technologies for Vehicles 13th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2018, Madrid, Spain, May 17-18, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400897 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Moreno Garc&iacute;a-Loygorri, Juan. editor. (orcid)0000-0002-4626-1535&#160;P&eacute;rez-Yuste, Antonio. editor. (orcid)0000-0002-3503-5065&#160;Briso, C&eacute;sar. editor. (orcid)0000-0001-8219-9110&#160;Berbineau, Marion. editor.&#160;Pirovano, Alain. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-90371-2">https://doi.org/10.1007/978-3-319-90371-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modelling Foundations and Applications 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401565 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Pierantonio, Alfonso. editor. (orcid)0000-0002-5231-3952&#160;Trujillo, Salvador. editor. (orcid)0000-0002-3147-4618&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-92997-2">https://doi.org/10.1007/978-3-319-92997-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Yaz&#305;l&#305;m m&uuml;hendisli&#287;i : y&ouml;ntembilimi, belgeleri ve standartlar&#305;yla ent://SD_ILS/0/SD_ILS:461885 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Sar&#305;do&#287;an, M. Erhan.<br/>Preferred Shelf Number&#160;QA76.758 S281 2017<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Software engineering ent://SD_ILS/0/SD_ILS:378865 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Sommerville, Ian, 1951-<br/>Preferred Shelf Number&#160;QA76.758 S66 2016<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Yaz&#305;l&#305;m m&uuml;hendisli&#287;i temelleri ent://SD_ILS/0/SD_ILS:461881 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Sar&#305;do&#287;an, M. Erhan.<br/>Preferred Shelf Number&#160;QA76.758 S280 2016<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Programlama ve veritaban&#305; mant&#305;&#287;&#305; ent://SD_ILS/0/SD_ILS:379979 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;&Ccedil;amo&#287;lu, Kadir<br/>Preferred Shelf Number&#160;QA76.755 C36 2016<br/>Format:&#160;Visual Materials<br/>Availability&#160;Beytepe Library~1<br/> Beginning software engineering ent://SD_ILS/0/SD_ILS:374017 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Stephens, Rod.<br/>Preferred Shelf Number&#160;QA76.758 S737 2015<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Secure and Trustworthy Service Composition The Aniketos Approach ent://SD_ILS/0/SD_ILS:485813 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Brucker, Achim. editor.&#160;Dalpiaz, Fabiano. editor. (orcid)0000-0003-4480-3887&#160;Giorgini, Paolo. editor.&#160;Meland, Per H&aring;kon. editor.&#160;Rios, Erkuden. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-13518-2">https://doi.org/10.1007/978-3-319-13518-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications - ICCSA 2014 14th International Conference, Guimar&atilde;es, Portugal, June 30 - July 3, 204, Proceedings, Part VI ent://SD_ILS/0/SD_ILS:486853 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Misra, Sanjay. editor. (orcid)0000-0002-3556-9331&#160;Rocha, Ana Maria Alves Coutinho. editor. (orcid)0000-0001-8679-2886&#160;Torre, Carmelo. editor. (orcid)0000-0003-4737-6040&#160;Rocha, Jorge Gustavo. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-09153-2">https://doi.org/10.1007/978-3-319-09153-2</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-23T23:21:43Z 2024-12-23T23:21:43Z 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/> Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi ent://SD_ILS/0/SD_ILS:487212 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Iida, Shusaku. editor.&#160;Meseguer, Jos&eacute;. editor.&#160;Ogata, Kazuhiro. 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-54624-2">https://doi.org/10.1007/978-3-642-54624-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Object-oriented software engineering : using UML, patterns, and Java ent://SD_ILS/0/SD_ILS:313618 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Bruegge, Bernd.&#160;Dutoit, Allen H.<br/>Preferred Shelf Number&#160;QA76.758 B785 2014<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Computer Safety, Reliability, and Security 33rd International Conference, SAFECOM 2014, Florence, Italy, September 10-12, 2014. Proceedings ent://SD_ILS/0/SD_ILS:482801 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Bondavalli, Andrea. editor.&#160;Di Giandomenico, Felicita. editor. (orcid)0000-0002-8760-7299&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-10506-2">https://doi.org/10.1007/978-3-319-10506-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web Information Systems and Technologies 9th International Conference, WEBIST 2013, Aachen, Germany, May 8-10, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:482736 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Krempels, Karl-Heinz. editor.&#160;Stocker, Alexander. 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-44300-2">https://doi.org/10.1007/978-3-662-44300-2</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-23T23:21:43Z 2024-12-23T23:21:43Z 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/> Process Design for Natural Scientists An Agile Model-Driven Approach ent://SD_ILS/0/SD_ILS:488739 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z 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/> Web Information Systems Engineering -- WISE 2014 15th International Conference, Thessaloniki, Greece, October 12-14, 2014, Proceedings, Part I ent://SD_ILS/0/SD_ILS:488981 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Benatallah, Boualem. editor.&#160;Bestavros, Azer. editor.&#160;Manolopoulos, Yannis. editor.&#160;Vakali, Athena. editor.&#160;Zhang, Yanchun. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11749-2">https://doi.org/10.1007/978-3-319-11749-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modelling Foundations and Applications 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings ent://SD_ILS/0/SD_ILS:489251 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Cabot, Jordi. editor.&#160;Rubin, Julia. 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-09195-2">https://doi.org/10.1007/978-3-319-09195-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault Tolerance 17th International GI/ITG Conference, MMB &amp; DFT 2014, Bamberg, Germany, March 17-19, 2014, Proceedings ent://SD_ILS/0/SD_ILS:487540 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Fischbach, Kai. editor.&#160;Krieger, Udo R. 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-05359-2">https://doi.org/10.1007/978-3-319-05359-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mashups Concepts, Models and Architectures ent://SD_ILS/0/SD_ILS:484110 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Daniel, Florian. author.&#160;Matera, Maristella. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-55049-2">https://doi.org/10.1007/978-3-642-55049-2</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-23T23:21:43Z 2024-12-23T23:21:43Z 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/> Nordic Contributions in IS Research 5th Scandinavian Conference on Information Systems, SCIS 2014, Ringsted, Denmark, August 10-13, 2014, Proceedings ent://SD_ILS/0/SD_ILS:488632 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Commisso, Trine Hald. editor.&#160;N&oslash;rbjerg, Jacob. editor.&#160;Pries-Heje, 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-09546-2">https://doi.org/10.1007/978-3-319-09546-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ad-hoc, Mobile, and Wireless Networks 13th International Conference, ADHOC-NOW 2014, Benidorm, Spain, June 22-27, 2014 Proceedings ent://SD_ILS/0/SD_ILS:488917 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Guo, Song. editor.&#160;Mauri, Jaime Lloret. editor.&#160;Manzoni, Pietro. editor.&#160;Ruehrup, Stefan. 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-07425-2">https://doi.org/10.1007/978-3-319-07425-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Euro-Par 2014: Parallel Processing Workshops Euro-Par 2014 International Workshops, Porto, Portugal, August 25-26, 2014, Revised Selected Papers, Part II ent://SD_ILS/0/SD_ILS:488925 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Lopes, Lu&iacute;s. editor.&#160;&#381;ilinskas, Julius. editor.&#160;Costan, Alexandru. editor.&#160;Cascella, Roberto G. editor.&#160;Kecskemeti, Gabor. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-14313-2">https://doi.org/10.1007/978-3-319-14313-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> From Programs to Systems - The Systems Perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings ent://SD_ILS/0/SD_ILS:488965 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Bensalem, Saddek. editor.&#160;Lakhnech, Yassine. 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-642-54848-2">https://doi.org/10.1007/978-3-642-54848-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graph Transformation 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings ent://SD_ILS/0/SD_ILS:487471 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Giese, Holger. editor.&#160;K&ouml;nig, Barbara. 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-09108-2">https://doi.org/10.1007/978-3-319-09108-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Techniques for Safety-Critical Systems Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers ent://SD_ILS/0/SD_ILS:487476 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Artho, Cyrille. editor.&#160;&Ouml;lveczky, Peter Csaba. 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-05416-2">https://doi.org/10.1007/978-3-319-05416-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Activity Monitoring by Multiple Distributed Sensing Second International Workshop, AMMDS 2014, Stockholm, Sweden, August 24, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:489065 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Mazzeo, Pier Luigi. editor.&#160;Spagnolo, Paolo. editor.&#160;Moeslund, Thomas B. editor. (orcid)0000-0001-7584-5209&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-13323-2">https://doi.org/10.1007/978-3-319-13323-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings ent://SD_ILS/0/SD_ILS:489079 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Hong, Hoon. editor.&#160;Yap, Chee. 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-44199-2">https://doi.org/10.1007/978-3-662-44199-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reachability Problems 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Proceedings ent://SD_ILS/0/SD_ILS:489310 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Ouaknine, Joel. editor.&#160;Potapov, Igor. editor.&#160;Worrell, James. 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-11439-2">https://doi.org/10.1007/978-3-319-11439-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Deduction &ndash; CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334626 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Bonacina, Maria Paola. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334626.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38574-2">http://dx.doi.org/10.1007/978-3-642-38574-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings ent://SD_ILS/0/SD_ILS:334962 2024-12-23T23:21:43Z 2024-12-23T23:21:43Z Author&#160;Galmiche, Didier. editor.&#160;Larchey-Wendling, Dominique. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334962.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40537-2">http://dx.doi.org/10.1007/978-3-642-40537-2</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-23T23:21:43Z 2024-12-23T23:21:43Z 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/>