Arama Sonuçları USA. - Daraltılmış: Logic design.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dUSA.$0026qf$003dSUBJECT$002509Konu$002509Logic$002bdesign.$002509Logic$002bdesign.$0026ps$003d300$0026isd$003dtrue?2024-12-04T00:44:33ZAccelerator Programming Using Directives 5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4834842024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar 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/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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:4868362024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Bhatele, Abhinav. editor. (orcid)0000-0003-3069-3701 Boehme, David. editor. Levine, Joshua A. editor. Malony, Allen D. editor. Schulz, Martin. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>OpenSHMEM 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:4865022024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar 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/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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:4866802024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Rauchwerger, Lawrence. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Post-Quantum Cryptography 9th International Conference, PQCrypto 2018, Fort Lauderdale, FL, USA, April 9-11, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3995782024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Lange, Tanja. editor. Steinwandt, Rainer. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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:4019322024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar 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/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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:4019842024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Klusáček, Dalibor. editor. Cirne, Walfredo. editor. Desai, Narayan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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:3993532024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Lahiri, Shuvendu K. editor. Wang, Chao. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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:4005282024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Dillig, Isil. editor. Palsberg, Jens. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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:4008232024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Chandrasekaran, Sunita. editor. (orcid)0000-0002-3560-9428 Juckeland, Guido. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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:3999492024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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:4005602024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834 Hamlen, Kevin. editor. Leone, Nicola. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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:4005942024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Smart, Nigel P. editor. (orcid)0000-0003-3567-3304 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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:4023132024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Jarvis, Stephen. editor. Wright, Steven. editor. Hammond, Simon. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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:3340692024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Păsăreanu, Corina S. editor. Salaün, Gwen. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334069.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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:3340382024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334038.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3345332024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Brat, Guillaume. editor. Rungta, Neha. editor. Venet, Arnaud. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334533.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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:3346262024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Bonacina, Maria Paola. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334626.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Static Analysis 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3346832024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Logozzo, Francesco. editor. Fähndrich, Manuel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334683.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Model Checking Software 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3347432024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Bartocci, Ezio. editor. Ramakrishnan, C. R. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334743.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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:3348222024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Morgenstern, Leora. editor. Stefaneas, Petros. editor. Lévy, François. editor. Wyner, Adam. editor. Paschke, Adrian. editor.<br/>Yer Numarası ONLINE(334822.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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:3351202024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Moreira, Ana. editor. Schätz, Bernhard. editor. Gray, Jeff. editor. Vallecillo, Antonio. editor. Clarke, Peter. editor.<br/>Yer Numarası ONLINE(335120.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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:1962712024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Russo, Claudio. editor. Zhou, Neng-Fa. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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:1967842024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Khurshid, Sarfraz. editor. Sen, Koushik. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Interactive Theorem Proving Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1972112024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Beringer, Lennart. editor. Felty, Amy. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computer Aided Verification 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedingsent://SD_ILS/0/SD_ILS:1970762024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Madhusudan, P. editor. Seshia, Sanjit A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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:1975142024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Gill, Andy. editor. Hage, Jurriaan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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:1962752024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Joshi, Rajeev. editor. Müller, Peter. editor. Podelski, Andreas. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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:1963042024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Kuncak, Viktor. editor. Rybalchenko, Andrey. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>NASA Formal Methods 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1965592024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Goodloe, Alwyn E. editor. Person, Suzette. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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:1933082024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Morazán, Marco T. editor. Scholz, Sven-Bodo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>NASA Formal Methods Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1943572024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Bobaru, Mihaela. editor. Havelund, Klaus. editor. Holzmann, Gerard J. editor. Joshi, Rajeev. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Model Checking Software 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1949822024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Groce, Alex. editor. Musuvathi, Madanlal. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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:1938402024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Jhala, Ranjit. editor. Schmidt, David. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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:1944492024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Meyden, Ron. editor. Smaus, Jan-Georg. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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:1947472024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Sakallah, Karem A. editor. Simon, Laurent. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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:1951882024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Page, Rex. editor. Horváth, Zoltán. editor. Zsók, Viktória. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computer Aided Verification 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1949182024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Gopalakrishnan, Ganesh. editor. Qadeer, Shaz. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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:1938742024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Rocha, Ricardo. editor. Launchbury, John. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic, Language, Information and Computation 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedingsent://SD_ILS/0/SD_ILS:1945312024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Beklemishev, Lev D. editor. Queiroz, Ruy. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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:1919392024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Ghosh, Sudipto. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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:1926142024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Ebert, Christian. editor. Jäger, Gerhard. editor. Michaelis, Jens. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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:1918902024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Brand, Mark. editor. Gašević, Dragan. editor. Gray, Jeff. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Business Process Management 8th International Conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1930282024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Hull, Richard. editor. Mendling, Jan. editor. Tai, Stefan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computer Performance Evaluation and Benchmarking SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1895102024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Kaeli, David. editor. Sachs, Kai. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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:1895272024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Jones, Neil D. editor. Müller-Olm, Markus. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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:1897432024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Majumdar, Rupak. editor. Tabuada, Paulo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Mirandola, Raffaela. editor. Gorton, Ian. editor. Hofmeister, Christine. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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:1903142024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Lewis, Grace A. editor. Poernomo, Iman. editor. Hofmeister, Christine. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic Programming 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1904402024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Hill, Patricia M. editor. Warren, David S. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Rule Interchange and Applications International Symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5-7, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1911182024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Governatori, Guido. editor. Hall, John. editor. Paschke, Adrian. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Static Analysis 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1905642024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Palsberg, Jens. editor. Su, Zhendong. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Algorithms and Computation 20th International Symposium, ISAAC 2009, Honolulu, Hawaii, USA, December 16-18, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1914282024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Dong, Yingfei. editor. Du, Ding-Zhu. editor. Ibarra, Oscar. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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:1885482024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Meseguer, José. editor. Roşu, Grigore. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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:1884532024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Luck, Michael. editor. Padgham, Lin. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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:1880482024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Logozzo, Francesco. editor. Peled, Doron A. editor. Zuck, Lenore D. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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:1879152024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Baldoni, Matteo. editor. Son, Tran Cao. editor. Riemsdijk, M. Birna. editor. Winikoff, Michael. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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:1882132024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Frachtenberg, Eitan. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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:1882802024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Egerstedt, Magnus. editor. Mishra, Bud. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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:1883052024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Sichman, Jaime Simão. editor. Padget, Julian. editor. Ossowski, Sascha. editor. Noriega, Pablo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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:1883202024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Dastani, Mehdi. editor. El Fallah Seghrouchni, Amal. editor. Ricci, Alessandro. editor. Winikoff, Michael. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computer Aided Verification 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedingsent://SD_ILS/0/SD_ILS:1859822024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Gupta, Aarti. editor. Malik, Sharad. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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:1860682024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Ibarra, Oscar H. editor. Ravikumar, Bala. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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:1861042024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Broy, Manfred. editor. Krüger, Ingolf H. editor. Meisinger, Michael. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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:1891332024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Bassiliades, Nick. editor. Governatori, Guido. editor. Paschke, Adrian. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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:1878732024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Hudak, Paul. editor. Warren, David S. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Model Checking Software 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedingsent://SD_ILS/0/SD_ILS:1885982024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Havelund, Klaus. editor. Majumdar, Rupak. editor. Palsberg, Jens. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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:1879312024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Overhage, Sven. editor. Szyperski, Clemens A. editor. Reussner, Ralf. editor. Stafford, Judith A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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:1861972024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Kordon, Fabrice. editor. Sztipanovits, Janos. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Component-Based Software Engineering 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1868922024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Schmidt, Heinz W. editor. Crnkovic, Ivica. editor. Heineman, George T. editor. Stafford, Judith A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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:1866382024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Artemov, Sergei N. editor. Nerode, Anil. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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:1873242024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Bessière, Christian. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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:1876452024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Butler, Michael. editor. Hinchey, Michael G. editor. Larrondo-Petrie, María M. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Hespanha, João P. editor. Tiwari, Ashish. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11730637">http://dx.doi.org/10.1007/11730637</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1843982024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Etalle, Sandro. editor. Truszczyński, Mirosław. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11799573">http://dx.doi.org/10.1007/11799573</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automated Reasoning Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1844932024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Furbach, Ulrich. editor. Shankar, Natarajan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11814771">http://dx.doi.org/10.1007/11814771</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computer Aided Verification 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1845392024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Ball, Thomas. editor. Jones, Robert B. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11817963">http://dx.doi.org/10.1007/11817963</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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:1842492024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Ibarra, Oscar H. editor. Dang, Zhe. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11779148">http://dx.doi.org/10.1007/11779148</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Term Rewriting and Applications 17th International Conference, RTA 2006 Seattle, WA, USA, August 12-14, 2006 Proceedingsent://SD_ILS/0/SD_ILS:1844472024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Pfenning, Frank. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11805618">http://dx.doi.org/10.1007/11805618</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Broy, Manfred. editor. Krüger, Ingolf H. editor. Meisinger, Michael. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11823063">http://dx.doi.org/10.1007/11823063</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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:1851652024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Cruz, Isabel. editor. Decker, Stefan. editor. Allemang, Dean. editor. Preist, Chris. editor. Schwabe, Daniel. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11926078">http://dx.doi.org/10.1007/11926078</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Havelund, Klaus. editor. Núñez, Manuel. editor. Roşu, Grigore. editor. Wolff, Burkhart. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11940197">http://dx.doi.org/10.1007/11940197</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Emerson, E. Allen. editor. Namjoshi, Kedar S. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11609773">http://dx.doi.org/10.1007/11609773</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Hentenryck, Pascal. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11603023">http://dx.doi.org/10.1007/11603023</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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:1832452024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Eijk, Rogier M. editor. Huget, Marc-Philippe. editor. Dignum, Frank. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b106468">http://dx.doi.org/10.1007/b106468</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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:1832472024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Bordini, Rafael H. editor. Dastani, Mehdi. editor. Dix, Jürgen. editor. Fallah Seghrouchni, Amal. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b105887">http://dx.doi.org/10.1007/b105887</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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:1823572024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Hermenegildo, Manuel V. editor. Cabeza, Daniel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b105205">http://dx.doi.org/10.1007/b105205</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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:1823752024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Odell, James. editor. Giorgini, Paolo. editor. Müller, Jörg P. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b105022">http://dx.doi.org/10.1007/b105022</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Model Checking Software 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1829852024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Godefroid, Patrice. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11537328">http://dx.doi.org/10.1007/11537328</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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:1831142024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Heineman, George T. editor. Crnkovic, Ivica. editor. Schmidt, Heinz W. editor. Stafford, Judith A. editor. Szyperski, Clemens. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b136248">http://dx.doi.org/10.1007/b136248</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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:1827842024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Feitelson, Dror. editor. Frachtenberg, Eitan. editor. Rudolph, Larry. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11605300">http://dx.doi.org/10.1007/11605300</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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:1828882024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Feitelson, Dror G. editor. Rudolph, Larry. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b107134">http://dx.doi.org/10.1007/b107134</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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:1830002024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Leite, João. editor. Omicini, Andrea. editor. Torroni, Paolo. editor. Yolum, pInar. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b136890">http://dx.doi.org/10.1007/b136890</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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:1830072024-12-04T00:44:33Z2024-12-04T00:44:33ZYazar Abadi, Martín. editor. Alfaro, Luca. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11539452">http://dx.doi.org/10.1007/11539452</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>