Search Results for Software engineering. - Narrowed by: SpringerLink (Online service) - Online Library - 2009 - Computer software.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSoftware$002bengineering.$0026qf$003dAUTHOR$002509Author$002509SpringerLink$002b$002528Online$002bservice$002529$002509SpringerLink$002b$002528Online$002bservice$002529$0026qf$003dLIBRARY$002509Library$0025091$00253AONLINE$002509Online$002bLibrary$0026qf$003dPUBDATE$002509Publication$002bDate$0025092009$0025092009$0026qf$003dSUBJECT$002509Subject$002509Computer$002bsoftware.$002509Computer$002bsoftware.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?dt=list2024-08-07T14:51:14ZFormal Methods and Software Engineering 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1913472024-08-07T14:51:14Z2024-08-07T14:51:14ZAuthor Breitman, Karin. editor. Cavalcanti, Ana. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-10373-5">http://dx.doi.org/10.1007/978-3-642-10373-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Engineering Secure Software and Systems First International Symposium ESSoS 2009, Leuven, Belgium, February 4-6, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1896102024-08-07T14:51:14Z2024-08-07T14:51:14ZAuthor Massacci, Fabio. editor. Redwine, Samuel T. editor. Zannone, Nicola. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00199-4">http://dx.doi.org/10.1007/978-3-642-00199-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Security Applications 9th International Workshop, WISA 2008, Jeju Island, Korea, September 23-25, 2008, Revised Selected Papersent://SD_ILS/0/SD_ILS:1896482024-08-07T14:51:14Z2024-08-07T14:51:14ZAuthor Chung, Kyo-Il. editor. Sohn, Kiwook. editor. Yung, Moti. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00306-6">http://dx.doi.org/10.1007/978-3-642-00306-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1897942024-08-07T14:51:14Z2024-08-07T14:51:14ZAuthor Kowalewski, Stefan. editor. Philippou, Anna. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00768-2">http://dx.doi.org/10.1007/978-3-642-00768-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Petri Nets and Other Models of Concurrency II Special Issue on Concurrency in Process-Aware Information Systemsent://SD_ILS/0/SD_ILS:1898272024-08-07T14:51:14Z2024-08-07T14:51:14ZAuthor Jensen, Kurt. editor. Aalst, Wil M. P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00899-3">http://dx.doi.org/10.1007/978-3-642-00899-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Computational Science IV Special Issue on Security in Computingent://SD_ILS/0/SD_ILS:1898532024-08-07T14:51:14Z2024-08-07T14:51:14ZAuthor Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. Moreno, Edward David. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-01004-0">http://dx.doi.org/10.1007/978-3-642-01004-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Grid and Pervasive Computing 4th International Conference, GPC 2009, Geneva, Switzerland, May 4-8, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1900812024-08-07T14:51:14Z2024-08-07T14:51:14ZAuthor Abdennadher, Nabil. editor. Petcu, Dana. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-01671-4">http://dx.doi.org/10.1007/978-3-642-01671-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Trustworthy Software Development Processes International Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 Proceedingsent://SD_ILS/0/SD_ILS:1900842024-08-07T14:51:14Z2024-08-07T14:51:14ZAuthor Wang, Qing. editor. Garousi, Vahid. editor. Madachy, Raymond. editor. Pfahl, Dietmar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-01680-6">http://dx.doi.org/10.1007/978-3-642-01680-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Agent Computing and Multi-Agent Systems 10th Pacific Rim International Conference on Multi-Agents, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007. Revised Papersent://SD_ILS/0/SD_ILS:1900702024-08-07T14:51:14Z2024-08-07T14:51:14ZAuthor Ghose, Aditya. editor. Governatori, Guido. editor. Sadananda, Ramakoti. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-01639-4">http://dx.doi.org/10.1007/978-3-642-01639-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Implementation and Application of Automata 14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1904792024-08-07T14:51:14Z2024-08-07T14:51:14ZAuthor Maneth, Sebastian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02979-0">http://dx.doi.org/10.1007/978-3-642-02979-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Data and Applications Security XXIII 23rd Annual IFIP WG 11.3 Working Conference, Montreal, Canada, July 12-15, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1904882024-08-07T14:51:14Z2024-08-07T14:51:14ZAuthor Gudes, Ehud. editor. Vaidya, Jaideep. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03007-9">http://dx.doi.org/10.1007/978-3-642-03007-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Algorithms and Architectures for Parallel Processing 9th International Conference, ICA3PP 2009, Taipei, Taiwan, June 8-11, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1905182024-08-07T14:51:14Z2024-08-07T14:51:14ZAuthor Hua, Arrems. editor. Chang, Shih-Liang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03095-6">http://dx.doi.org/10.1007/978-3-642-03095-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Efficient Algorithms Essays Dedicated to Kurt Mehlhorn on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:1906332024-08-07T14:51:14Z2024-08-07T14:51:14ZAuthor Albers, Susanne. editor. Alt, Helmut. editor. Näher, Stefan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03456-5">http://dx.doi.org/10.1007/978-3-642-03456-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theoretical Aspects of Computing - ICTAC 2009 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1906362024-08-07T14:51:14Z2024-08-07T14:51:14ZAuthor Leucker, Martin. editor. Morgan, Carroll. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03466-4">http://dx.doi.org/10.1007/978-3-642-03466-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advanced Functional Programming 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lecturesent://SD_ILS/0/SD_ILS:1910162024-08-07T14:51:14Z2024-08-07T14:51:14ZAuthor Koopman, Pieter. editor. Plasmeijer, Rinus. editor. Swierstra, Doaitse. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04652-0">http://dx.doi.org/10.1007/978-3-642-04652-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Distributed Computing and Internet Technology 5th International Conference, ICDCIT 2008 New Delhi, India, December 10-12, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1893242024-08-07T14:51:14Z2024-08-07T14:51:14ZAuthor Parashar, Manish. editor. Aggarwal, Sanjeev K. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-89737-8">http://dx.doi.org/10.1007/978-3-540-89737-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Wireless Sensor Networks 6th European Conference, EWSN 2009, Cork, Ireland, February 11-13, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1896182024-08-07T14:51:14Z2024-08-07T14:51:14ZAuthor Roedig, Utz. editor. Sreenan, Cormac J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00224-3">http://dx.doi.org/10.1007/978-3-642-00224-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Compiler Construction 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1897842024-08-07T14:51:14Z2024-08-07T14:51:14ZAuthor Moor, Oege. editor. Schwartzbach, Michael I. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00722-4">http://dx.doi.org/10.1007/978-3-642-00722-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Parallel Computing Technologies 10th International Conference, PaCT 2009, Novosibirsk, Russia, August 31-September 4, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1905732024-08-07T14:51:14Z2024-08-07T14:51:14ZAuthor Malyshkin, Victor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03275-2">http://dx.doi.org/10.1007/978-3-642-03275-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Frontiers of Combining Systems 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1908762024-08-07T14:51:14Z2024-08-07T14:51:14ZAuthor Ghilardi, Silvio. editor. Sebastiani, Roberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04222-5">http://dx.doi.org/10.1007/978-3-642-04222-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Security 12th International Conference, ISC 2009, Pisa, Italy, September 7-9, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1909622024-08-07T14:51:14Z2024-08-07T14:51:14ZAuthor Samarati, Pierangela. editor. Yung, Moti. editor. Martinelli, Fabio. editor. Ardagna, Claudio A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04474-8">http://dx.doi.org/10.1007/978-3-642-04474-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automated Technology for Verification and Analysis 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1910512024-08-07T14:51:14Z2024-08-07T14:51:14ZAuthor Liu, Zhiming. editor. Ravn, Anders P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04761-9">http://dx.doi.org/10.1007/978-3-642-04761-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Teaching Formal Methods Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1910972024-08-07T14:51:14Z2024-08-07T14:51:14ZAuthor Gibbons, Jeremy. editor. Oliveira, José Nuno. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Adaptive and Natural Computing Algorithms 9th International Conference, ICANNGA 2009, Kuopio, Finland, April 23-25, 2009, Revised Selected Papersent://SD_ILS/0/SD_ILS:1910992024-08-07T14:51:14Z2024-08-07T14:51:14ZAuthor Kolehmainen, Mikko. editor. Toivanen, Pekka. editor. Beliczynski, Bartlomiej. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04921-7">http://dx.doi.org/10.1007/978-3-642-04921-7</a><br/>Format: Electronic Resources<br/>Availability 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. Proceedingsent://SD_ILS/0/SD_ILS:1911342024-08-07T14:51:14Z2024-08-07T14:51:14ZAuthor Núñez, Manuel. editor. Baker, Paul. editor. Merayo, Mercedes G. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Stabilization, Safety, and Security of Distributed Systems 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1911652024-08-07T14:51:14Z2024-08-07T14:51:14ZAuthor Guerraoui, Rachid. editor. Petit, Franck. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-05118-0">http://dx.doi.org/10.1007/978-3-642-05118-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Process and Product Measurement International Conferences IWSM 2009 and Mensura 2009 Amsterdam, The Netherlands, November 4-6, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1912622024-08-07T14:51:14Z2024-08-07T14:51:14ZAuthor Abran, Alain. editor. Braungarten, René. editor. Dumke, Reiner R. editor. Cuadrado-Gallego, Juan J. editor. Brunekreef, Jacob. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-05415-0">http://dx.doi.org/10.1007/978-3-642-05415-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Algorithmic Aspects of Wireless Sensor Networks 5th International Workshop, ALGOSENSORS 2009, Rhodes, Greece, July 10-11, 2009. Revised Selected Papersent://SD_ILS/0/SD_ILS:1912692024-08-07T14:51:14Z2024-08-07T14:51:14ZAuthor Dolev, Shlomi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-05434-1">http://dx.doi.org/10.1007/978-3-642-05434-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Ricerca Operativaent://SD_ILS/0/SD_ILS:2043212024-08-07T14:51:14Z2024-08-07T14:51:14ZAuthor Serafini, Paolo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-88-470-0846-5">http://dx.doi.org/10.1007/978-88-470-0846-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Maple and Mathematica A Problem Solving Approach for Mathematicsent://SD_ILS/0/SD_ILS:1771552024-08-07T14:51:14Z2024-08-07T14:51:14ZAuthor Shingareva, Inna K. author. Lizárraga-Celaya, Carlos. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-211-99432-0">http://dx.doi.org/10.1007/978-3-211-99432-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Principles of Programming Languagesent://SD_ILS/0/SD_ILS:1758802024-08-07T14:51:14Z2024-08-07T14:51:14ZAuthor Dowek, Gilles. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84882-032-6">http://dx.doi.org/10.1007/978-1-84882-032-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Distributed Computing and Networking 10th International Conference, ICDCN 2009, Hyderabad, India, January 3-6, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1894262024-08-07T14:51:14Z2024-08-07T14:51:14ZAuthor Garg, Vijay. editor. Wattenhofer, Roger. editor. Kothapalli, Kishore. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-92295-7">http://dx.doi.org/10.1007/978-3-540-92295-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Network Control and Optimization Second Euro-NF Workshop, NET-COOP 2008 Paris, France, September 8-10, 2008. Revised Selected Papersent://SD_ILS/0/SD_ILS:1896692024-08-07T14:51:14Z2024-08-07T14:51:14ZAuthor Altman, Eitan. editor. Chaintreau, Augustin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00393-6">http://dx.doi.org/10.1007/978-3-642-00393-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1897392024-08-07T14:51:14Z2024-08-07T14:51:14ZAuthor Castagna, Giuseppe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00590-9">http://dx.doi.org/10.1007/978-3-642-00590-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Combinatorial Optimization and Applications Third International Conference, COCOA 2009, Huangshan, China, June 10-12, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1901922024-08-07T14:51:14Z2024-08-07T14:51:14ZAuthor Du, Ding-Zhu. editor. Hu, Xiaodong. editor. Pardalos, Panos M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02026-1">http://dx.doi.org/10.1007/978-3-642-02026-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Distributed Computing in Sensor Systems 5th IEEE International Conference, DCOSS 2009, Marina del Rey, CA, USA, June 8-10, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1902112024-08-07T14:51:14Z2024-08-07T14:51:14ZAuthor Krishnamachari, Bhaskar. editor. Suri, Subhash. editor. Heinzelman, Wendi. editor. Mitra, Urbashi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02085-8">http://dx.doi.org/10.1007/978-3-642-02085-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Frontiers in Algorithmics Third International Workshop, FAW 2009, Hefei, China, June 20-23, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1902712024-08-07T14:51:14Z2024-08-07T14:51:14ZAuthor Deng, Xiaotie. editor. Hopcroft, John E. editor. Xue, Jinyun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02270-8">http://dx.doi.org/10.1007/978-3-642-02270-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Architectures for Adaptive Software Systems 5th International Conference on the Quality of Software Architectures, QoSA 2009, East Stroudsburg, PA, USA, June 24-26, 2009 Proceedingsent://SD_ILS/0/SD_ILS:1902972024-08-07T14:51:14Z2024-08-07T14:51:14ZAuthor Mirandola, Raffaela. editor. Gorton, Ian. editor. Hofmeister, Christine. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02351-4">http://dx.doi.org/10.1007/978-3-642-02351-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Self-Organizing Maps 7th International Workshop, WSOM 2009, St. Augustine, FL, USA, June 8-10, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1903102024-08-07T14:51:14Z2024-08-07T14:51:14ZAuthor Príncipe, José C. editor. Miikkulainen, Risto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02397-2">http://dx.doi.org/10.1007/978-3-642-02397-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Applications and Theory of Petri Nets 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1903172024-08-07T14:51:14Z2024-08-07T14:51:14ZAuthor Franceschinis, Giuliana. editor. Wolf, Karsten. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02424-5">http://dx.doi.org/10.1007/978-3-642-02424-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automata, Languages and Programming 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part Ient://SD_ILS/0/SD_ILS:1904632024-08-07T14:51:14Z2024-08-07T14:51:14ZAuthor Albers, Susanne. editor. Marchetti-Spaccamela, Alberto. editor. Matias, Yossi. editor. Nikoletseas, Sotiris. editor. Thomas, Wolfgang. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02927-1">http://dx.doi.org/10.1007/978-3-642-02927-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automata, Languages and Programming 36th Internatilonal Collogquium, ICALP 2009, Rhodes, greece, July 5-12, 2009, Proceedings, Part IIent://SD_ILS/0/SD_ILS:1904642024-08-07T14:51:14Z2024-08-07T14:51:14ZAuthor Albers, Susanne. editor. Marchetti-Spaccamela, Alberto. editor. Matias, Yossi. editor. Nikoletseas, Sotiris. editor. Thomas, Wolfgang. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02930-1">http://dx.doi.org/10.1007/978-3-642-02930-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Wireless Algorithms, Systems, and Applications 4th International Conference, WASA 2009, Boston, MA, USA, August 16-18, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1906162024-08-07T14:51:14Z2024-08-07T14:51:14ZAuthor Liu, Benyuan. editor. Bestavros, Azer. editor. Du, Ding-Zhu. editor. Wang, Jie. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03417-6">http://dx.doi.org/10.1007/978-3-642-03417-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Distributed Computing 23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1909242024-08-07T14:51:14Z2024-08-07T14:51:14ZAuthor Keidar, Idit. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04355-0">http://dx.doi.org/10.1007/978-3-642-04355-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mobile Entity Localization and Tracking in GPS-less Environnments Second International Workshop, MELT 2009, Orlando, FL, USA, September 30, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1909292024-08-07T14:51:14Z2024-08-07T14:51:14ZAuthor Fuller, Richard. editor. Koutsoukos, Xenofon D. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04385-7">http://dx.doi.org/10.1007/978-3-642-04385-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Runtime Verification 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papersent://SD_ILS/0/SD_ILS:1910282024-08-07T14:51:14Z2024-08-07T14:51:14ZAuthor Bensalem, Saddek. editor. Peled, Doron A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04694-0">http://dx.doi.org/10.1007/978-3-642-04694-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>