Search Results for USA. - Narrowed by: Logic design.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dUSA.$0026qf$003dSUBJECT$002509Subject$002509Logic$002bdesign.$002509Logic$002bdesign.$0026ic$003dtrue$0026ps$003d300?2026-01-20T11:11:59ZOpenSHMEM and Related Technologies. OpenSHMEM in the Era of Extreme Heterogeneity 5th Workshop, OpenSHMEM 2018, Baltimore, MD, USA, August 21–23, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4865022026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Pophale, Swaroop. editor. (orcid)0000-0001-8544-6367 Imam, Neena. editor. (orcid)0000-0001-8860-4738 Aderholdt, Ferrol. editor. (orcid)0000-0002-4208-6493 Gorentla Venkata, Manjunath. editor. (orcid)0000-0002-5282-1682 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-04918-8">https://doi.org/10.1007/978-3-030-04918-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Languages and Compilers for Parallel Computing 30th International Workshop, LCPC 2017, College Station, TX, USA, October 11–13, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:4866802026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Rauchwerger, Lawrence. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-35225-7">https://doi.org/10.1007/978-3-030-35225-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming and Performance Visualization Tools International Workshops, ESPT 2017 and VPA 2017, Denver, CO, USA, November 12 and 17, 2017, and ESPT 2018 and VPA 2018, Dallas, TX, USA, November 16 and 11, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4868362026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Bhatele, Abhinav. editor. (orcid)0000-0003-3069-3701 Boehme, David. editor. Levine, Joshua A. editor. Malony, Allen D. editor. Schulz, Martin. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17872-7">https://doi.org/10.1007/978-3-030-17872-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Accelerator Programming Using Directives 5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4834842026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Chandrasekaran, Sunita. editor. (orcid)0000-0002-3560-9428 Juckeland, Guido. editor. (orcid)0000-0002-9935-4428 Wienke, Sandra. editor. (orcid)0000-0002-5794-3662 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-12274-4">https://doi.org/10.1007/978-3-030-12274-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Job Scheduling Strategies for Parallel Processing 21st International Workshop, JSSPP 2017, Orlando, FL, USA, June 2, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:4019842026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Klusáček, Dalibor. editor. Cirne, Walfredo. editor. Desai, Narayan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation 8th International Workshop, PMBS 2017, Denver, CO, USA, November 13, 2017, Proceedingsent://SD_ILS/0/SD_ILS:4023132026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Jarvis, Stephen. editor. Wright, Steven. editor. Hammond, Simon. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-72971-8">https://doi.org/10.1007/978-3-319-72971-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3993532026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Lahiri, Shuvendu K. editor. Wang, Chao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-01090-4">https://doi.org/10.1007/978-3-030-01090-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logical Foundations of Computer Science International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3999492026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-72056-2">https://doi.org/10.1007/978-3-319-72056-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence 4th Workshop, OpenSHMEM 2017, Annapolis, MD, USA, August 7-9, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:4019322026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Gorentla Venkata, Manjunath. editor. (orcid)0000-0002-5282-1682 Imam, Neena. editor. (orcid)0000-0001-8860-4738 Pophale, Swaroop. editor. (orcid)0000-0001-8544-6367 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-73814-7">https://doi.org/10.1007/978-3-319-73814-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Practical Aspects of Declarative Languages 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4005602026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834 Hamlen, Kevin. editor. Leone, Nicola. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-73305-0">https://doi.org/10.1007/978-3-319-73305-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Verification, Model Checking, and Abstract Interpretation 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4005282026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Dillig, Isil. editor. Palsberg, Jens. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-73721-8">https://doi.org/10.1007/978-3-319-73721-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Accelerator Programming Using Directives 4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedingsent://SD_ILS/0/SD_ILS:4008232026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Chandrasekaran, Sunita. editor. (orcid)0000-0002-3560-9428 Juckeland, Guido. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-74896-2">https://doi.org/10.1007/978-3-319-74896-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Post-Quantum Cryptography 9th International Conference, PQCrypto 2018, Fort Lauderdale, FL, USA, April 9-11, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3995782026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Lange, Tanja. editor. Steinwandt, Rainer. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-79063-3">https://doi.org/10.1007/978-3-319-79063-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Topics in Cryptology – CT-RSA 2018 The Cryptographers' Track at the RSA Conference 2018, San Francisco, CA, USA, April 16-20, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4005942026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Smart, Nigel P. editor. (orcid)0000-0003-3567-3304 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-76953-0">https://doi.org/10.1007/978-3-319-76953-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3340382026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334038.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35722-0">http://dx.doi.org/10.1007/978-3-642-35722-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papersent://SD_ILS/0/SD_ILS:3340692026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Păsăreanu, Corina S. editor. Salaün, Gwen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334069.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35861-6">http://dx.doi.org/10.1007/978-3-642-35861-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3345332026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Brat, Guillaume. editor. Rungta, Neha. editor. Venet, Arnaud. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334533.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38088-4">http://dx.doi.org/10.1007/978-3-642-38088-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automated Deduction – CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3346262026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Bonacina, Maria Paola. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334626.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Static Analysis 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3346832026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Logozzo, Francesco. editor. Fähndrich, Manuel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334683.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38856-9">http://dx.doi.org/10.1007/978-3-642-38856-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Model Checking Software 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3347432026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Bartocci, Ezio. editor. Ramakrishnan, C. R. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334743.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39176-7">http://dx.doi.org/10.1007/978-3-642-39176-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory, Practice, and Applications of Rules on the Web 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3348222026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Morgenstern, Leora. editor. Stefaneas, Petros. editor. Lévy, François. editor. Wyner, Adam. editor. Paschke, Adrian. editor.<br/>Preferred Shelf Number ONLINE(334822.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39617-5">http://dx.doi.org/10.1007/978-3-642-39617-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3351202026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Moreira, Ana. editor. Schätz, Bernhard. editor. Gray, Jeff. editor. Vallecillo, Antonio. editor. Clarke, Peter. editor.<br/>Preferred Shelf Number ONLINE(335120.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41533-3">http://dx.doi.org/10.1007/978-3-642-41533-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Verification, Model Checking, and Abstract Interpretation 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1963042026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Kuncak, Viktor. editor. Rybalchenko, Andrey. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-27940-9">http://dx.doi.org/10.1007/978-3-642-27940-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Practical Aspects of Declarative Languages 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1962712026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Russo, Claudio. editor. Zhou, Neng-Fa. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-27694-1">http://dx.doi.org/10.1007/978-3-642-27694-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>NASA Formal Methods 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1965592026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Goodloe, Alwyn E. editor. Person, Suzette. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28891-3">http://dx.doi.org/10.1007/978-3-642-28891-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Implementation and Application of Functional Languages 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papersent://SD_ILS/0/SD_ILS:1975142026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Gill, Andy. editor. Hage, Jurriaan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34407-7">http://dx.doi.org/10.1007/978-3-642-34407-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Interactive Theorem Proving Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1972112026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Beringer, Lennart. editor. Felty, Amy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32347-8">http://dx.doi.org/10.1007/978-3-642-32347-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Aided Verification 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedingsent://SD_ILS/0/SD_ILS:1970762026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Madhusudan, P. editor. Seshia, Sanjit A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31424-7">http://dx.doi.org/10.1007/978-3-642-31424-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Verified Software: Theories, Tools, Experiments 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1962752026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Joshi, Rajeev. editor. Müller, Peter. editor. Podelski, Andreas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-27705-4">http://dx.doi.org/10.1007/978-3-642-27705-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Runtime Verification Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papersent://SD_ILS/0/SD_ILS:1967842026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Khurshid, Sarfraz. editor. Sen, Koushik. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29860-8">http://dx.doi.org/10.1007/978-3-642-29860-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Implementation and Application of Functional Languages 21st International Symposium, IFL 2009, South Orange, NJ, USA, September 23-25, 2009, Revised Selected Papersent://SD_ILS/0/SD_ILS:1933082026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Morazán, Marco T. editor. Scholz, Sven-Bodo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16478-1">http://dx.doi.org/10.1007/978-3-642-16478-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Verification, Model Checking, and Abstract Interpretation 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1938402026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Jhala, Ranjit. editor. Schmidt, David. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-18275-4">http://dx.doi.org/10.1007/978-3-642-18275-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Practical Aspects of Declarative Languages 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1938742026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Rocha, Ricardo. editor. Launchbury, John. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-18378-2">http://dx.doi.org/10.1007/978-3-642-18378-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>NASA Formal Methods Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1943572026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Bobaru, Mihaela. editor. Havelund, Klaus. editor. Holzmann, Gerard J. editor. Joshi, Rajeev. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-20398-5">http://dx.doi.org/10.1007/978-3-642-20398-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Model Checking and Artificial Intelligence 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:1944492026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Meyden, Ron. editor. Smaus, Jan-Georg. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-20674-0">http://dx.doi.org/10.1007/978-3-642-20674-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory and Applications of Satisfiability Testing - SAT 2011 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1947472026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Sakallah, Karem A. editor. Simon, Laurent. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21581-0">http://dx.doi.org/10.1007/978-3-642-21581-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Model Checking Software 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1949822026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Groce, Alex. editor. Musuvathi, Madanlal. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22306-8">http://dx.doi.org/10.1007/978-3-642-22306-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic, Language, Information and Computation 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedingsent://SD_ILS/0/SD_ILS:1945312026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Beklemishev, Lev D. editor. Queiroz, Ruy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-20920-8">http://dx.doi.org/10.1007/978-3-642-20920-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Aided Verification 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1949182026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Gopalakrishnan, Ganesh. editor. Qadeer, Shaz. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22110-1">http://dx.doi.org/10.1007/978-3-642-22110-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Trends in Functional Programming 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papersent://SD_ILS/0/SD_ILS:1951882026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Page, Rex. editor. Horváth, Zoltán. editor. Zsók, Viktória. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22941-1">http://dx.doi.org/10.1007/978-3-642-22941-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Models in Software Engineering Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papersent://SD_ILS/0/SD_ILS:1919392026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Ghosh, Sudipto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12261-3">http://dx.doi.org/10.1007/978-3-642-12261-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Mathematics of Language 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, Revised Selected Papersent://SD_ILS/0/SD_ILS:1926142026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Ebert, Christian. editor. Jäger, Gerhard. editor. Michaelis, Jens. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14322-9">http://dx.doi.org/10.1007/978-3-642-14322-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Language Engineering Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009, Revised Selected Papersent://SD_ILS/0/SD_ILS:1918902026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Brand, Mark. editor. Gašević, Dragan. editor. Gray, Jeff. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12107-4">http://dx.doi.org/10.1007/978-3-642-12107-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Business Process Management 8th International Conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1930282026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Hull, Richard. editor. Mendling, Jan. editor. Tai, Stefan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15618-2">http://dx.doi.org/10.1007/978-3-642-15618-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Verification, Model Checking, and Abstract Interpretation 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1895272026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Jones, Neil D. editor. Müller-Olm, Markus. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-93900-9">http://dx.doi.org/10.1007/978-3-540-93900-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Hybrid Systems: Computation and Control 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1897432026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Majumdar, Rupak. editor. Tabuada, Paulo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00602-9">http://dx.doi.org/10.1007/978-3-642-00602-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic Programming 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1904402026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Hill, Patricia M. editor. Warren, David S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02846-5">http://dx.doi.org/10.1007/978-3-642-02846-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Rule Interchange and Applications International Symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5-7, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1911182026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Governatori, Guido. editor. Hall, John. editor. Paschke, Adrian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04985-9">http://dx.doi.org/10.1007/978-3-642-04985-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Performance Evaluation and Benchmarking SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1895102026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Kaeli, David. editor. Sachs, Kai. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-93799-9">http://dx.doi.org/10.1007/978-3-540-93799-9</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:1902972026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor 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/>Component-Based Software Engineering 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedingsent://SD_ILS/0/SD_ILS:1903142026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Lewis, Grace A. editor. Poernomo, Iman. 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-02414-6">http://dx.doi.org/10.1007/978-3-642-02414-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Static Analysis 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1905642026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Palsberg, Jens. editor. Su, Zhendong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03237-0">http://dx.doi.org/10.1007/978-3-642-03237-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Algorithms and Computation 20th International Symposium, ISAAC 2009, Honolulu, Hawaii, USA, December 16-18, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1914282026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Dong, Yingfei. editor. Du, Ding-Zhu. editor. Ibarra, Oscar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-10631-6">http://dx.doi.org/10.1007/978-3-642-10631-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Practical Aspects of Declarative Languages 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1878732026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Hudak, Paul. editor. Warren, David S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77442-6">http://dx.doi.org/10.1007/978-3-540-77442-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Model Checking Software 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedingsent://SD_ILS/0/SD_ILS:1885982026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Havelund, Klaus. editor. Majumdar, Rupak. editor. Palsberg, Jens. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85114-1">http://dx.doi.org/10.1007/978-3-540-85114-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Rule Representation, Interchange and Reasoning on the Web International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1891332026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Bassiliades, Nick. editor. Governatori, Guido. editor. Paschke, Adrian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-88808-6">http://dx.doi.org/10.1007/978-3-540-88808-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Declarative Agent Languages and Technologies V 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:1879152026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Baldoni, Matteo. editor. Son, Tran Cao. editor. Riemsdijk, M. Birna. editor. Winikoff, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77564-5">http://dx.doi.org/10.1007/978-3-540-77564-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Agent-Oriented Software Engineering VIII 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papersent://SD_ILS/0/SD_ILS:1884532026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Luck, Michael. editor. Padgham, Lin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-79488-2">http://dx.doi.org/10.1007/978-3-540-79488-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Aided Verification 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedingsent://SD_ILS/0/SD_ILS:1859822026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Gupta, Aarti. editor. Malik, Sharad. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-70545-1">http://dx.doi.org/10.1007/978-3-540-70545-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Model-Driven Development of Reliable Automotive Services Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papersent://SD_ILS/0/SD_ILS:1861042026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor 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/978-3-540-70930-5">http://dx.doi.org/10.1007/978-3-540-70930-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Implementation and Applications of Automata 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1860682026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Ibarra, Oscar H. editor. Ravikumar, Bala. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-70844-5">http://dx.doi.org/10.1007/978-3-540-70844-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Verification, Model Checking, and Abstract Interpretation 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1880482026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Logozzo, Francesco. editor. Peled, Doron A. editor. Zuck, Lenore D. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78163-9">http://dx.doi.org/10.1007/978-3-540-78163-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Job Scheduling Strategies for Parallel Processing 13th International Workshop, JSSPP 2007, Seattle, WA, USA, June 17, 2007. Revised Papersent://SD_ILS/0/SD_ILS:1882132026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Frachtenberg, Eitan. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78699-3">http://dx.doi.org/10.1007/978-3-540-78699-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Coordination, Organizations, Institutions, and Norms in Agent Systems III COIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 14, 2007 COIN@MALLOW 2007, Durham, UK, September 3-4, 2007 Revised Selected Papersent://SD_ILS/0/SD_ILS:1883052026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Sichman, Jaime Simão. editor. Padget, Julian. editor. Ossowski, Sascha. editor. Noriega, Pablo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-79003-7">http://dx.doi.org/10.1007/978-3-540-79003-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Multi-Agent Systems 5th International Workshop, ProMAS 2007 Honolulu, HI, USA, May 15, 2007 Revised and Invited Papersent://SD_ILS/0/SD_ILS:1883202026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Dastani, Mehdi. editor. El Fallah Seghrouchni, Amal. editor. Ricci, Alessandro. editor. Winikoff, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-79043-3">http://dx.doi.org/10.1007/978-3-540-79043-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Hybrid Systems: Computation and Control 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1882802026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Egerstedt, Magnus. editor. Mishra, Bud. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78929-1">http://dx.doi.org/10.1007/978-3-540-78929-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedingsent://SD_ILS/0/SD_ILS:1885482026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Meseguer, José. editor. Roşu, Grigore. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-79980-1">http://dx.doi.org/10.1007/978-3-540-79980-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Reliable Systems on Unreliable Networked Platforms 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papersent://SD_ILS/0/SD_ILS:1861972026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Kordon, Fabrice. editor. Sztipanovits, Janos. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71156-8">http://dx.doi.org/10.1007/978-3-540-71156-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1866382026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Artemov, Sergei N. editor. Nerode, Anil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72734-7">http://dx.doi.org/10.1007/978-3-540-72734-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Component-Based Software Engineering 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1868922026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Schmidt, Heinz W. editor. Crnkovic, Ivica. editor. Heineman, George T. editor. Stafford, Judith A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73551-9">http://dx.doi.org/10.1007/978-3-540-73551-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Principles and Practice of Constraint Programming – CP 2007 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1873242026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Bessière, Christian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74970-7">http://dx.doi.org/10.1007/978-3-540-74970-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods and Software Engineering 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1876452026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Butler, Michael. editor. Hinchey, Michael G. editor. Larrondo-Petrie, María M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-76650-6">http://dx.doi.org/10.1007/978-3-540-76650-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Architectures, Components, and Applications Third International Conference on Quality of Software Architectures, QoSA 2007, Medford, MA, USA, July 11-23, 2007, Revised Selected Papersent://SD_ILS/0/SD_ILS:1879312026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Overhage, Sven. editor. Szyperski, Clemens A. editor. Reussner, Ralf. editor. Stafford, Judith A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77619-2">http://dx.doi.org/10.1007/978-3-540-77619-2</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:1828312026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor 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/>Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1843982026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Etalle, Sandro. editor. Truszczyński, Mirosław. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11799573">http://dx.doi.org/10.1007/11799573</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Term Rewriting and Applications 17th International Conference, RTA 2006 Seattle, WA, USA, August 12-14, 2006 Proceedingsent://SD_ILS/0/SD_ILS:1844472026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Pfenning, Frank. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11805618">http://dx.doi.org/10.1007/11805618</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Semantic Web - ISWC 2006 5th International Semantic Web Conference, ISWC 2006, Athens, GA, USA, November 5-9, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1851652026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Cruz, Isabel. editor. Decker, Stefan. editor. Allemang, Dean. editor. Preist, Chris. editor. Schwabe, Daniel. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11926078">http://dx.doi.org/10.1007/11926078</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:1852472026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor 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/>Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1827892026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor 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:1836452026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor 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/>Developments in Language Theory 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1842492026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Ibarra, Oscar H. editor. Dang, Zhe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11779148">http://dx.doi.org/10.1007/11779148</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automated Reasoning Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1844932026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor 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/>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:1846012026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor 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/>Computer Aided Verification 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1845392026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor 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/>Job Scheduling Strategies for Parallel Processing 10th International Workshop, JSSPP 2004, New York, NY, USA, June 13, 2004. Revised Selected Papersent://SD_ILS/0/SD_ILS:1828882026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Feitelson, Dror G. editor. Rudolph, Larry. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b107134">http://dx.doi.org/10.1007/b107134</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Declarative Agent Languages and Technologies II Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:1830002026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Leite, João. editor. Omicini, Andrea. editor. Torroni, Paolo. editor. Yolum, pInar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136890">http://dx.doi.org/10.1007/b136890</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>CONCUR 2005 – Concurrency Theory 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1830072026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Abadi, Martín. editor. Alfaro, Luca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11539452">http://dx.doi.org/10.1007/11539452</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Component-Based Software Engineering 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1831142026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Heineman, George T. editor. Crnkovic, Ivica. editor. Schmidt, Heinz W. editor. Stafford, Judith A. editor. Szyperski, Clemens. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136248">http://dx.doi.org/10.1007/b136248</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Agent Communication International Workshop on Agent Communication, AC 2004, New York, NY, USA, July 19, 2004, Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:1832452026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Eijk, Rogier M. editor. Huget, Marc-Philippe. editor. Dignum, Frank. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106468">http://dx.doi.org/10.1007/b106468</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Multi-Agent Systems Second International Workshop ProMAS 2004, New York, NY, USA, July 20, 2004, Selected Revised and Invited Papersent://SD_ILS/0/SD_ILS:1832472026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Bordini, Rafael H. editor. Dastani, Mehdi. editor. Dix, Jürgen. editor. Fallah Seghrouchni, Amal. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b105887">http://dx.doi.org/10.1007/b105887</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Practical Aspects of Declarative Languages 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1823572026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Hermenegildo, Manuel V. editor. Cabeza, Daniel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b105205">http://dx.doi.org/10.1007/b105205</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Agent-Oriented Software Engineering V 5th International Workshop, AOSE 2004, New York, NY, USA, July 19, 2004. Revised Selected Papersent://SD_ILS/0/SD_ILS:1823752026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Odell, James. editor. Giorgini, Paolo. editor. Müller, Jörg P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b105022">http://dx.doi.org/10.1007/b105022</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Job Scheduling Strategies for Parallel Processing 11th International Workshop, JSSPP 2005, Cambridge, MA, USA, June 19, 2005, Revised Selected Papersent://SD_ILS/0/SD_ILS:1827842026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Feitelson, Dror. editor. Frachtenberg, Eitan. editor. Rudolph, Larry. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11605300">http://dx.doi.org/10.1007/11605300</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Model Checking Software 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1829852026-01-20T11:11:59Z2026-01-20T11:11:59ZAuthor Godefroid, Patrice. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11537328">http://dx.doi.org/10.1007/11537328</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>