Search Results for USA. - Narrowed by: Online Library - Electronic Library - 2006 - Software engineering.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dUSA.$0026qf$003dLIBRARY$002509Library$0025091$00253AONLINE$002509Online$002bLibrary$0026qf$003dLOCATION$002509Shelf$002bLocation$0025091$00253AELEKKUTUPH$002509Electronic$002bLibrary$0026qf$003dPUBDATE$002509Publication$002bDate$0025092006$0025092006$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?2024-09-12T03:31:48ZAutomated Reasoning Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1844932024-09-12T03:31:48Z2024-09-12T03:31:48ZAuthor Furbach, Ulrich. editor. Shankar, Natarajan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11814771">http://dx.doi.org/10.1007/11814771</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Stabilization, Safety, and Security of Distributed Systems 8th International Symposium, SSS 2006, Dallas, TX, USA, November 17-19, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1852652024-09-12T03:31:48Z2024-09-12T03:31:48ZAuthor Datta, Ajoy K. editor. Gradinariu, Maria. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-49823-0">http://dx.doi.org/10.1007/978-3-540-49823-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Service-Oriented Computing – ICSOC 2006 4th International Conference, Chicago, IL, USA, December 4-7, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1853742024-09-12T03:31:48Z2024-09-12T03:31:48ZAuthor Dan, Asit. editor. Lamersdorf, Winfried. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11948148">http://dx.doi.org/10.1007/11948148</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Engineering Education in the Modern Age Software Education and Training Sessions at the International Conference on Software Engineering, ICSE 2005, St. Louis, MO, USA, May 15-21, 2005, Revised Lecturesent://SD_ILS/0/SD_ILS:1853992024-09-12T03:31:48Z2024-09-12T03:31:48ZAuthor Inverardi, Paola. editor. Jazayeri, Mehdi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11949374">http://dx.doi.org/10.1007/11949374</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Innovative Concepts for Autonomic and Agent-Based Systems Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, September 20-22, 2005. Revised Papersent://SD_ILS/0/SD_ILS:1857562024-09-12T03:31:48Z2024-09-12T03:31:48ZAuthor Hinchey, Michael G. editor. Rago, Patricia. editor. Rash, James L. editor. Rouff, Christopher A. editor. Sterritt, Roy. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11964995">http://dx.doi.org/10.1007/11964995</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Practical Aspects of Declarative Languages 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1828312024-09-12T03:31:48Z2024-09-12T03:31:48ZAuthor Hentenryck, Pascal. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11603023">http://dx.doi.org/10.1007/11603023</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Engineering Research and Applications Second International Conference, SERA 2004, Los Angeles, CA, USA, MAY 5-7, 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:1831922024-09-12T03:31:48Z2024-09-12T03:31:48ZAuthor Dosch, Walter. editor. Lee, Roger Y. editor. Wu, Chisu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11668855">http://dx.doi.org/10.1007/11668855</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Aided Verification 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1845392024-09-12T03:31:48Z2024-09-12T03:31:48ZAuthor Ball, Thomas. editor. Jones, Robert B. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11817963">http://dx.doi.org/10.1007/11817963</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automotive Software – Connected Services in Mobile Networks First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:1846012024-09-12T03:31:48Z2024-09-12T03:31:48ZAuthor Broy, Manfred. editor. Krüger, Ingolf H. editor. Meisinger, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11823063">http://dx.doi.org/10.1007/11823063</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Approaches to Software Testing and Runtime Verification First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papersent://SD_ILS/0/SD_ILS:1852472024-09-12T03:31:48Z2024-09-12T03:31:48ZAuthor Havelund, Klaus. editor. Núñez, Manuel. editor. Roşu, Grigore. editor. Wolff, Burkhart. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11940197">http://dx.doi.org/10.1007/11940197</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Independent Component Analysis and Blind Signal Separation 6th International Conference, ICA 2006, Charleston, SC, USA, March 5-8, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1834562024-09-12T03:31:48Z2024-09-12T03:31:48ZAuthor Rosca, Justinian. editor. Erdogmus, Deniz. editor. Príncipe, José C. editor. Haykin, Simon. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11679363">http://dx.doi.org/10.1007/11679363</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1827892024-09-12T03:31:48Z2024-09-12T03:31:48ZAuthor Emerson, E. Allen. editor. Namjoshi, Kedar S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11609773">http://dx.doi.org/10.1007/11609773</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Hybrid Systems: Computation and Control 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1836452024-09-12T03:31:48Z2024-09-12T03:31:48ZAuthor Hespanha, João P. editor. Tiwari, Ashish. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11730637">http://dx.doi.org/10.1007/11730637</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Testing of Communicating Systems 18th IFIP TC 6/WG 6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1839612024-09-12T03:31:48Z2024-09-12T03:31:48ZAuthor Uyar, M. Ümit. editor. Duale, Ali Y. editor. Fecko, Mariusz A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11754008">http://dx.doi.org/10.1007/11754008</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>UbiComp 2006: Ubiquitous Computing 8th International Conference, UbiComp 2006 Orange County, CA, USA, September 17-21, 2006 Proceedingsent://SD_ILS/0/SD_ILS:1847452024-09-12T03:31:48Z2024-09-12T03:31:48ZAuthor Dourish, Paul. editor. Friday, Adrian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11853565">http://dx.doi.org/10.1007/11853565</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Conceptual Modeling - ER 2006 25th International Conference on Conceptual Modeling, Tucson, AZ, USA, November 6-9, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1850052024-09-12T03:31:48Z2024-09-12T03:31:48ZAuthor Embley, David W. editor. Olivé, Antoni. editor. Ram, Sudha. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11901181">http://dx.doi.org/10.1007/11901181</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>