Search Results for Software. - Narrowed by: E-Book - English - 2008 - Computer software. - Software engineering.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSoftware.$0026qf$003dITYPE$002509Material$002bType$0025091$00253AE-KITAP$002509E-Book$0026qf$003dLANGUAGE$002509Language$002509ENG$002509English$0026qf$003dPUBDATE$002509Publication$002bDate$0025092008$0025092008$0026qf$003dSUBJECT$002509Subject$002509Computer$002bsoftware.$002509Computer$002bsoftware.$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?2024-09-09T12:21:52ZTools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1882462024-09-09T12:21:52Z2024-09-09T12:21:52ZAuthor Ramakrishnan, C. R. editor. Rehof, Jakob. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78800-3">http://dx.doi.org/10.1007/978-3-540-78800-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods and Software Engineering 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1890052024-09-09T12:21:52Z2024-09-09T12:21:52ZAuthor Liu, Shaoying. editor. Maibaum, Tom. editor. Araki, Keijiro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-88194-0">http://dx.doi.org/10.1007/978-3-540-88194-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Distributed Computing and Networking 9th International Conference, ICDCN 2008, Kolkata, India, January 5-8, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1878742024-09-09T12:21:52Z2024-09-09T12:21:52ZAuthor Rao, Shrisha. editor. Chatterjee, Mainak. editor. Jayanti, Prasad. editor. Murthy, C. Siva Ram. editor. Saha, Sanjoy Kumar. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77444-0">http://dx.doi.org/10.1007/978-3-540-77444-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Wireless Sensor Networks 5th European Conference, EWSN 2008, Bologna, Italy, January 30-February 1, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1879492024-09-09T12:21:52Z2024-09-09T12:21:52ZAuthor Verdone, Roberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77690-1">http://dx.doi.org/10.1007/978-3-540-77690-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>High-Performance Computing 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advanced Low Power Systems, ALPS 2006, Revised Selected Papersent://SD_ILS/0/SD_ILS:1879552024-09-09T12:21:52Z2024-09-09T12:21:52ZAuthor Labarta, Jesús. editor. Joe, Kazuki. editor. Sato, Toshinori. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77704-5">http://dx.doi.org/10.1007/978-3-540-77704-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>OpenMP in a New Era of Parallelism 4th International Workshop, IWOMP 2008 West Lafayette, IN, USA, May 12-14, 2008 Proceedingsent://SD_ILS/0/SD_ILS:1884792024-09-09T12:21:52Z2024-09-09T12:21:52ZAuthor Eigenmann, Rudolf. editor. Supinski, Bronis R. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-79561-2">http://dx.doi.org/10.1007/978-3-540-79561-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theoretical Aspects of Computing - ICTAC 2008 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1887692024-09-09T12:21:52Z2024-09-09T12:21:52ZAuthor Fitzgerald, John S. editor. Haxthausen, Anne E. editor. Yenigun, Husnu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85762-4">http://dx.doi.org/10.1007/978-3-540-85762-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Security 11th International Conference, ISC 2008, Taipei, Taiwan, September 15-18, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1888012024-09-09T12:21:52Z2024-09-09T12:21:52ZAuthor Wu, Tzong-Chen. editor. Lei, Chin-Laung. editor. Rijmen, Vincent. editor. Lee, Der-Tsai. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85886-7">http://dx.doi.org/10.1007/978-3-540-85886-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Parallel Problem Solving from Nature – PPSN X 10th International Conference Dortmund, Germany, September 13-17, 2008 Proceedingsent://SD_ILS/0/SD_ILS:1888952024-09-09T12:21:52Z2024-09-09T12:21:52ZAuthor Rudolph, Günter. editor. Jansen, Thomas. editor. Lucas, Simon. editor. Poloni, Carlo. editor. Beume, Nicola. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-87700-4">http://dx.doi.org/10.1007/978-3-540-87700-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Graph Transformations 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1888422024-09-09T12:21:52Z2024-09-09T12:21:52ZAuthor Ehrig, Hartmut. editor. Heckel, Reiko. editor. Rozenberg, Grzegorz. editor. Taentzer, Gabriele. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-87405-8">http://dx.doi.org/10.1007/978-3-540-87405-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Grid and Pervasive Computing Third International Conference, GPC 2008, Kunming, China, May 25-28, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1853442024-09-09T12:21:52Z2024-09-09T12:21:52ZAuthor Wu, Song. editor. Yang, Laurence T. editor. Xu, Tony Li. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68083-3">http://dx.doi.org/10.1007/978-3-540-68083-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Parallel Processing and Applied Mathematics 7th International Conference, PPAM 2007, Gdansk, Poland, September 9-12, 2007 Revised Selected Papersent://SD_ILS/0/SD_ILS:1853562024-09-09T12:21:52Z2024-09-09T12:21:52ZAuthor Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Karczewski, Konrad. editor. Wasniewski, Jerzy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68111-3">http://dx.doi.org/10.1007/978-3-540-68111-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>OpenMP Shared Memory Parallel Programming International Workshops, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, Reims, France, June 12-15, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1855072024-09-09T12:21:52Z2024-09-09T12:21:52ZAuthor Mueller, Matthias S. editor. Chapman, Barbara M. editor. Supinski, Bronis R. editor. Malony, Allen D. editor. Voss, Michael. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68555-5">http://dx.doi.org/10.1007/978-3-540-68555-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A Practical Programming Model for the Multi-Core Era 3rd International Workshop on OpenMP, IWOMP 2007, Beijing, China, June 3-7, 2007 Proceedingsent://SD_ILS/0/SD_ILS:1857742024-09-09T12:21:52Z2024-09-09T12:21:52ZAuthor Chapman, Barbara. editor. Zheng, Weiming. editor. Gao, Guang R. editor. Sato, Mitsuhisa. editor. Ayguadé, Eduard. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69303-1">http://dx.doi.org/10.1007/978-3-540-69303-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Algorithms and Architectures for Parallel Processing 8th International Conference, ICA3PP 2008, Cyprus, June 9-11, 2008 Proceedingsent://SD_ILS/0/SD_ILS:1858502024-09-09T12:21:52Z2024-09-09T12:21:52ZAuthor Bourgeois, Anu G. editor. Zheng, S. Q. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69501-1">http://dx.doi.org/10.1007/978-3-540-69501-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A Modular Calculus for the Average Cost of Data Structuringent://SD_ILS/0/SD_ILS:1670502024-09-09T12:21:52Z2024-09-09T12:21:52ZAuthor Schellekens, Michel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-73384-5">http://dx.doi.org/10.1007/978-0-387-73384-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Concurrency, Graphs and Models Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthdayent://SD_ILS/0/SD_ILS:1855542024-09-09T12:21:52Z2024-09-09T12:21:52ZAuthor Degano, Pierpaolo. editor. Nicola, Rocco. editor. Meseguer, José. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68679-8">http://dx.doi.org/10.1007/978-3-540-68679-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Data and Applications Security XXII 22nd Annual IFIP WG 11.3 Working Conference on Data and Applications Security London, UK, July 13-16, 2008 Proceedingsent://SD_ILS/0/SD_ILS:1859912024-09-09T12:21:52Z2024-09-09T12:21:52ZAuthor Atluri, Vijay. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-70567-3">http://dx.doi.org/10.1007/978-3-540-70567-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Cryptographic Hardware and Embedded Systems – CHES 2008 10th International Workshop, Washington, D.C., USA, August 10-13, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1885702024-09-09T12:21:52Z2024-09-09T12:21:52ZAuthor Oswald, Elisabeth. editor. Rohatgi, Pankaj. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85053-3">http://dx.doi.org/10.1007/978-3-540-85053-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Wireless Algorithms, Systems, and Applications Third International Conference, WASA 2008, Dallas, TX, USA, October 26-28, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1890822024-09-09T12:21:52Z2024-09-09T12:21:52ZAuthor Li, Yingshu. editor. Huynh, Dung T. editor. Das, Sajal K. editor. Du, Ding-Zhu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-88582-5">http://dx.doi.org/10.1007/978-3-540-88582-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Applications of Graph Transformations with Industrial Relevance Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:1891782024-09-09T12:21:52Z2024-09-09T12:21:52ZAuthor Schürr, Andy. editor. Nagl, Manfred. editor. Zündorf, Albert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-89020-1">http://dx.doi.org/10.1007/978-3-540-89020-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Runtime Verification 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papersent://SD_ILS/0/SD_ILS:1892302024-09-09T12:21:52Z2024-09-09T12:21:52ZAuthor Leucker, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-89247-2">http://dx.doi.org/10.1007/978-3-540-89247-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Stabilization, Safety, and Security of Distributed Systems 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1892502024-09-09T12:21:52Z2024-09-09T12:21:52ZAuthor Kulkarni, Sandeep. editor. Schiper, André. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-89335-6">http://dx.doi.org/10.1007/978-3-540-89335-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>High Performance Computing - HiPC 2008 15th International Conference, Bangalore, India, December 17-20, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1893542024-09-09T12:21:52Z2024-09-09T12:21:52ZAuthor Sadayappan, Ponnuswamy. editor. Parashar, Manish. editor. Badrinath, Ramamurthy. editor. Prasanna, Viktor K. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-89894-8">http://dx.doi.org/10.1007/978-3-540-89894-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>