Search Results for - Narrowed by: Programming Techniques. - Logics and Meanings of Programs.SirsiDynix Enterprisehttps://catalog.iyte.edu.tr/client/en_US/default/default/qf$003dSUBJECT$002509Subject$002509Programming$002bTechniques.$002509Programming$002bTechniques.$0026qf$003dSUBJECT$002509Subject$002509Logics$002band$002bMeanings$002bof$002bPrograms.$002509Logics$002band$002bMeanings$002bof$002bPrograms.$0026ps$003d300?2024-05-31T03:54:09ZLogic-Based Program Synthesis and Transformation 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:20851282024-05-31T03:54:09Z2024-05-31T03:54:09Zby Fioravanti, Fabio. editor. (orcid)0000-0002-1268-7829<br/><a href="https://doi.org/10.1007/978-3-319-94460-9">https://doi.org/10.1007/978-3-319-94460-9</a><br/>Format: Electronic Resources<br/>Inductive Logic Programming 28th International Conference, ILP 2018, Ferrara, Italy, September 2–4, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20851392024-05-31T03:54:09Z2024-05-31T03:54:09Zby Riguzzi, Fabrizio. editor. (orcid)0000-0003-1654-9703<br/><a href="https://doi.org/10.1007/978-3-319-99960-9">https://doi.org/10.1007/978-3-319-99960-9</a><br/>Format: Electronic Resources<br/>Logical Foundations of Computer Science International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20850462024-05-31T03:54:09Z2024-05-31T03:54:09Zby Artemov, Sergei. editor.<br/><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/>Static Analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20853492024-05-31T03:54:09Z2024-05-31T03:54:09Zby Podelski, Andreas. editor.<br/><a href="https://doi.org/10.1007/978-3-319-99725-4">https://doi.org/10.1007/978-3-319-99725-4</a><br/>Format: Electronic Resources<br/>Rules and Reasoning Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20853562024-05-31T03:54:09Z2024-05-31T03:54:09Zby Benzmüller, Christoph. editor.<br/><a href="https://doi.org/10.1007/978-3-319-99906-7">https://doi.org/10.1007/978-3-319-99906-7</a><br/>Format: Electronic Resources<br/>Rewriting Logic and Its Applications 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20853572024-05-31T03:54:09Z2024-05-31T03:54:09Zby Rusu, Vlad. editor.<br/><a href="https://doi.org/10.1007/978-3-319-99840-4">https://doi.org/10.1007/978-3-319-99840-4</a><br/>Format: Electronic Resources<br/>Engineering Trustworthy Software Systems Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lecturesent://SD_ILS/0/SD_ILS:20855312024-05-31T03:54:09Z2024-05-31T03:54:09Zby Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140<br/><a href="https://doi.org/10.1007/978-3-030-02928-9">https://doi.org/10.1007/978-3-030-02928-9</a><br/>Format: Electronic Resources<br/>Language and Automata Theory and Applications 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20858492024-05-31T03:54:09Z2024-05-31T03:54:09Zby Klein, Shmuel Tomi. editor. (orcid)0000-0002-9478-3303<br/><a href="https://doi.org/10.1007/978-3-319-77313-1">https://doi.org/10.1007/978-3-319-77313-1</a><br/>Format: Electronic Resources<br/>Inductive Logic Programming 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:20860292024-05-31T03:54:09Z2024-05-31T03:54:09Zby Lachiche, Nicolas. editor.<br/><a href="https://doi.org/10.1007/978-3-319-78090-0">https://doi.org/10.1007/978-3-319-78090-0</a><br/>Format: Electronic Resources<br/>Perspectives of System Informatics 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:20860212024-05-31T03:54:09Z2024-05-31T03:54:09Zby Petrenko, Alexander K. editor. (orcid)0000-0001-7411-3831<br/><a href="https://doi.org/10.1007/978-3-319-74313-4">https://doi.org/10.1007/978-3-319-74313-4</a><br/>Format: Electronic Resources<br/>Formal Aspects of Component Software 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20854212024-05-31T03:54:09Z2024-05-31T03:54:09Zby Bae, Kyungmin. editor. (orcid)0000-0002-6430-5175<br/><a href="https://doi.org/10.1007/978-3-030-02146-7">https://doi.org/10.1007/978-3-030-02146-7</a><br/>Format: Electronic Resources<br/>Formal Methods: Foundations and Applications 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20852092024-05-31T03:54:09Z2024-05-31T03:54:09Zby Massoni, Tiago. editor. (orcid)0000-0002-9423-7556<br/><a href="https://doi.org/10.1007/978-3-030-03044-5">https://doi.org/10.1007/978-3-030-03044-5</a><br/>Format: Electronic Resources<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:20855772024-05-31T03:54:09Z2024-05-31T03:54:09Zby Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834<br/><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/>Declarative Programming and Knowledge Management Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:20853682024-05-31T03:54:09Z2024-05-31T03:54:09Zby Seipel, Dietmar. editor.<br/><a href="https://doi.org/10.1007/978-3-030-00801-7">https://doi.org/10.1007/978-3-030-00801-7</a><br/>Format: Electronic Resources<br/>Relational and Algebraic Methods in Computer Science 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20851792024-05-31T03:54:09Z2024-05-31T03:54:09Zby Desharnais, Jules. editor. (orcid)0000-0002-4780-2698<br/><a href="https://doi.org/10.1007/978-3-030-02149-8">https://doi.org/10.1007/978-3-030-02149-8</a><br/>Format: Electronic Resources<br/>AI Approaches to the Complexity of Legal Systems AICOL International Workshops 2015-2017: AICOL-VI@JURIX 2015, AICOL-VII@EKAW 2016, AICOL-VIII@JURIX 2016, AICOL-IX@ICAIL 2017, and AICOL-X@JURIX 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:20851522024-05-31T03:54:09Z2024-05-31T03:54:09Zby Pagallo, Ugo. editor. (orcid)0000-0001-7981-8849<br/><a href="https://doi.org/10.1007/978-3-030-00178-0">https://doi.org/10.1007/978-3-030-00178-0</a><br/>Format: Electronic Resources<br/>Scalable Uncertainty Management 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20853612024-05-31T03:54:09Z2024-05-31T03:54:09Zby Ciucci, Davide. editor. (orcid)0000-0002-8083-7809<br/><a href="https://doi.org/10.1007/978-3-030-00461-3">https://doi.org/10.1007/978-3-030-00461-3</a><br/>Format: Electronic Resources<br/>Automated Technology for Verification and Analysis 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20854362024-05-31T03:54:09Z2024-05-31T03:54:09Zby Artho, Cyrille. editor.<br/><a href="https://doi.org/10.1007/978-3-319-46520-3">https://doi.org/10.1007/978-3-319-46520-3</a><br/>Format: Electronic Resources<br/>Formal Methods and Software Engineering 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20858132024-05-31T03:54:09Z2024-05-31T03:54:09Zby Ogata, Kazuhiro. editor.<br/><a href="https://doi.org/10.1007/978-3-319-47846-3">https://doi.org/10.1007/978-3-319-47846-3</a><br/>Format: Electronic Resources<br/>Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18–19, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:20858192024-05-31T03:54:09Z2024-05-31T03:54:09Zby Gurfinkel, Arie. editor.<br/><a href="https://doi.org/10.1007/978-3-319-29613-5">https://doi.org/10.1007/978-3-319-29613-5</a><br/>Format: Electronic Resources<br/>Modelling Foundations and Applications 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20858202024-05-31T03:54:09Z2024-05-31T03:54:09Zby Wąsowski, Andrzej. editor.<br/><a href="https://doi.org/10.1007/978-3-319-42061-5">https://doi.org/10.1007/978-3-319-42061-5</a><br/>Format: Electronic Resources<br/>Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20859502024-05-31T03:54:09Z2024-05-31T03:54:09Zby De Nicola, Rocco. editor.<br/><a href="https://doi.org/10.1007/978-3-319-41591-8">https://doi.org/10.1007/978-3-319-41591-8</a><br/>Format: Electronic Resources<br/>Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20857142024-05-31T03:54:09Z2024-05-31T03:54:09Zby Falcone, Yliès. editor.<br/><a href="https://doi.org/10.1007/978-3-319-46982-9">https://doi.org/10.1007/978-3-319-46982-9</a><br/>Format: Electronic Resources<br/>Coordination Models and Languages 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20856122024-05-31T03:54:09Z2024-05-31T03:54:09Zby Lluch Lafuente, Alberto. editor.<br/><a href="https://doi.org/10.1007/978-3-319-39519-7">https://doi.org/10.1007/978-3-319-39519-7</a><br/>Format: Electronic Resources<br/>A List of Successes That Can Change the World Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:20858452024-05-31T03:54:09Z2024-05-31T03:54:09Zby Lindley, Sam. editor.<br/><a href="https://doi.org/10.1007/978-3-319-30936-1">https://doi.org/10.1007/978-3-319-30936-1</a><br/>Format: Electronic Resources<br/>Verified Software. Theories, Tools, and Experiments 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:20858552024-05-31T03:54:09Z2024-05-31T03:54:09Zby Blazy, Sandrine. editor.<br/><a href="https://doi.org/10.1007/978-3-319-48869-1">https://doi.org/10.1007/978-3-319-48869-1</a><br/>Format: Electronic Resources<br/>NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20857982024-05-31T03:54:09Z2024-05-31T03:54:09Zby Rayadurgam, Sanjai. editor.<br/><a href="https://doi.org/10.1007/978-3-319-40648-0">https://doi.org/10.1007/978-3-319-40648-0</a><br/>Format: Electronic Resources<br/>Transactions on Foundations for Mastering Change Ient://SD_ILS/0/SD_ILS:20861172024-05-31T03:54:09Z2024-05-31T03:54:09Zby Steffen, Bernhard. editor.<br/><a href="https://doi.org/10.1007/978-3-319-46508-1">https://doi.org/10.1007/978-3-319-46508-1</a><br/>Format: Electronic Resources<br/>Programming Languages 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20858752024-05-31T03:54:09Z2024-05-31T03:54:09Zby Castor, Fernando. editor.<br/><a href="https://doi.org/10.1007/978-3-319-45279-1">https://doi.org/10.1007/978-3-319-45279-1</a><br/>Format: Electronic Resources<br/>Practical Aspects of Declarative Languages 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedingsent://SD_ILS/0/SD_ILS:20857102024-05-31T03:54:09Z2024-05-31T03:54:09Zby Gavanelli, Marco. editor.<br/><a href="https://doi.org/10.1007/978-3-319-28228-2">https://doi.org/10.1007/978-3-319-28228-2</a><br/>Format: Electronic Resources<br/>Trends in Functional Programming 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:20857192024-05-31T03:54:09Z2024-05-31T03:54:09Zby Serrano, Manuel. editor.<br/><a href="https://doi.org/10.1007/978-3-319-39110-6">https://doi.org/10.1007/978-3-319-39110-6</a><br/>Format: Electronic Resources<br/>Tests and Proofs 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20859082024-05-31T03:54:09Z2024-05-31T03:54:09Zby Aichernig, Bernhard K. editor.<br/><a href="https://doi.org/10.1007/978-3-319-41135-4">https://doi.org/10.1007/978-3-319-41135-4</a><br/>Format: Electronic Resources<br/>Programming Languages and Systems 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20857802024-05-31T03:54:09Z2024-05-31T03:54:09Zby Thiemann, Peter. editor.<br/><a href="https://doi.org/10.1007/978-3-662-49498-1">https://doi.org/10.1007/978-3-662-49498-1</a><br/>Format: Electronic Resources<br/>Formal Aspects of Component Software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:20857862024-05-31T03:54:09Z2024-05-31T03:54:09Zby Braga, Christiano. editor.<br/><a href="https://doi.org/10.1007/978-3-319-28934-2">https://doi.org/10.1007/978-3-319-28934-2</a><br/>Format: Electronic Resources<br/>Inductive Logic Programming 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:20859572024-05-31T03:54:09Z2024-05-31T03:54:09Zby Inoue, Katsumi. editor.<br/><a href="https://doi.org/10.1007/978-3-319-40566-7">https://doi.org/10.1007/978-3-319-40566-7</a><br/>Format: Electronic Resources<br/>Software Reuse: Bridging with Social-Awareness 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20860022024-05-31T03:54:09Z2024-05-31T03:54:09Zby Kapitsaki, Georgia M. editor.<br/><a href="https://doi.org/10.1007/978-3-319-35122-3">https://doi.org/10.1007/978-3-319-35122-3</a><br/>Format: Electronic Resources<br/>Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20856682024-05-31T03:54:09Z2024-05-31T03:54:09Zby Kiselyov, Oleg. editor.<br/><a href="https://doi.org/10.1007/978-3-319-29604-3">https://doi.org/10.1007/978-3-319-29604-3</a><br/>Format: Electronic Resources<br/>Rewriting Logic and Its Applications 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:20857572024-05-31T03:54:09Z2024-05-31T03:54:09Zby Lucanu, Dorel. editor.<br/><a href="https://doi.org/10.1007/978-3-319-44802-2">https://doi.org/10.1007/978-3-319-44802-2</a><br/>Format: Electronic Resources<br/>Principles of the Spin Model Checkerent://SD_ILS/0/SD_ILS:5024222024-05-31T03:54:09Z2024-05-31T03:54:09Zby Ben-Ari, Mordechai. author.<br/><a href="http://dx.doi.org/10.1007/978-1-84628-770-1">http://dx.doi.org/10.1007/978-1-84628-770-1</a><br/>Format: Electronic Resources<br/>Functional and Logic Programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5034562024-05-31T03:54:09Z2024-05-31T03:54:09Zby Garrigue, Jacques. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-78969-7">http://dx.doi.org/10.1007/978-3-540-78969-7</a><br/>Format: Electronic Resources<br/>Principles and Practice of Constraint Programming 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5036722024-05-31T03:54:09Z2024-05-31T03:54:09Zby Stuckey, Peter J. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-85958-1">http://dx.doi.org/10.1007/978-3-540-85958-1</a><br/>Format: Electronic Resources<br/>Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedingsent://SD_ILS/0/SD_ILS:5038472024-05-31T03:54:09Z2024-05-31T03:54:09Zby Garcia de la Banda, Maria. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-89982-2">http://dx.doi.org/10.1007/978-3-540-89982-2</a><br/>Format: Electronic Resources<br/>Software-Intensive Systems and New Computing Paradigms Challenges and Visionsent://SD_ILS/0/SD_ILS:5038112024-05-31T03:54:09Z2024-05-31T03:54:09Zby Wirsing, Martin. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-89437-7">http://dx.doi.org/10.1007/978-3-540-89437-7</a><br/>Format: Electronic Resources<br/>Programming Languages and Systems 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5038042024-05-31T03:54:09Z2024-05-31T03:54:09Zby Ramalingam, G. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-89330-1">http://dx.doi.org/10.1007/978-3-540-89330-1</a><br/>Format: Electronic Resources<br/>Object-Oriented Technology. ECOOP 2007 Workshop Reader ECOOP 2007 Workshops, Berlin, Germany, July 30-31, 2007, Final Reportsent://SD_ILS/0/SD_ILS:5033352024-05-31T03:54:09Z2024-05-31T03:54:09Zby Cebulla, Michael. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-78195-0">http://dx.doi.org/10.1007/978-3-540-78195-0</a><br/>Format: Electronic Resources<br/>Software Composition 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5034302024-05-31T03:54:09Z2024-05-31T03:54:09Zby Pautasso, Cesare. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-78789-1">http://dx.doi.org/10.1007/978-3-540-78789-1</a><br/>Format: Electronic Resources<br/>Implementation and Application of Functional Languages 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papersent://SD_ILS/0/SD_ILS:5036222024-05-31T03:54:09Z2024-05-31T03:54:09Zby Chitil, Olaf. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-85373-2">http://dx.doi.org/10.1007/978-3-540-85373-2</a><br/>Format: Electronic Resources<br/>Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5038122024-05-31T03:54:09Z2024-05-31T03:54:09Zby Cervesato, Iliano. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-89439-1">http://dx.doi.org/10.1007/978-3-540-89439-1</a><br/>Format: Electronic Resources<br/>Quality of Software Architectures. Models and Architectures 4th International Conference on the Quality of Software-Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5037262024-05-31T03:54:09Z2024-05-31T03:54:09Zby Becker, Steffen. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-87879-7">http://dx.doi.org/10.1007/978-3-540-87879-7</a><br/>Format: Electronic Resources<br/>Verified Software: Theories, Tools, Experiments First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussionsent://SD_ILS/0/SD_ILS:5027142024-05-31T03:54:09Z2024-05-31T03:54:09Zby Meyer, Bertrand. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-69149-5">http://dx.doi.org/10.1007/978-3-540-69149-5</a><br/>Format: Electronic Resources<br/>ECOOP 2008 – Object-Oriented Programming 22nd European Conference Paphos, Cyprus, July 7-11, 2008 Proceedingsent://SD_ILS/0/SD_ILS:5028202024-05-31T03:54:09Z2024-05-31T03:54:09Zby Vitek, Jan. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-70592-5">http://dx.doi.org/10.1007/978-3-540-70592-5</a><br/>Format: Electronic Resources<br/>Static Analysis 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5027172024-05-31T03:54:09Z2024-05-31T03:54:09Zby Alpuente, María. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-69166-2">http://dx.doi.org/10.1007/978-3-540-69166-2</a><br/>Format: Electronic Resources<br/>Formal Methods for Open Object-Based Distributed Systems 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedingsent://SD_ILS/0/SD_ILS:5026862024-05-31T03:54:09Z2024-05-31T03:54:09Zby Barthe, Gilles. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-68863-1">http://dx.doi.org/10.1007/978-3-540-68863-1</a><br/>Format: Electronic Resources<br/>Composition of Embedded Systems. Scientific and Industrial Issues 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papersent://SD_ILS/0/SD_ILS:5032382024-05-31T03:54:09Z2024-05-31T03:54:09Zby Kordon, Fabrice. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-77419-8">http://dx.doi.org/10.1007/978-3-540-77419-8</a><br/>Format: Electronic Resources<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:5032412024-05-31T03:54:09Z2024-05-31T03:54:09Zby Hudak, Paul. editor.<br/><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/>Agent-Oriented Software Engineering VIII 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papersent://SD_ILS/0/SD_ILS:5035312024-05-31T03:54:09Z2024-05-31T03:54:09Zby Luck, Michael. editor.<br/><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/>Verified Software: Theories, Tools, Experiments Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5037232024-05-31T03:54:09Z2024-05-31T03:54:09Zby Shankar, Natarajan. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-87873-5">http://dx.doi.org/10.1007/978-3-540-87873-5</a><br/>Format: Electronic Resources<br/>Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5034212024-05-31T03:54:09Z2024-05-31T03:54:09Zby Drossopoulou, Sophia. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-78739-6">http://dx.doi.org/10.1007/978-3-540-78739-6</a><br/>Format: Electronic Resources<br/>CONCUR 2008 - Concurrency Theory 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5036202024-05-31T03:54:09Z2024-05-31T03:54:09Zby Breugel, Franck. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-85361-9">http://dx.doi.org/10.1007/978-3-540-85361-9</a><br/>Format: Electronic Resources<br/>Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedingsent://SD_ILS/0/SD_ILS:5035652024-05-31T03:54:09Z2024-05-31T03:54:09Zby Meseguer, José. editor.<br/><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/>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:5034652024-05-31T03:54:09Z2024-05-31T03:54:09Zby Sichman, Jaime Simão. editor.<br/><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/>FM 2008: Formal Methods 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedingsent://SD_ILS/0/SD_ILS:5026332024-05-31T03:54:09Z2024-05-31T03:54:09Zby Cuellar, Jorge. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-68237-0">http://dx.doi.org/10.1007/978-3-540-68237-0</a><br/>Format: Electronic Resources<br/>Distributed Applications and Interoperable Systems 8th IFIP WG 6.1 International Conference, DAIS 2008, Oslo, Norway, June 4-6, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5026652024-05-31T03:54:09Z2024-05-31T03:54:09Zby Meier, René. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-68642-2">http://dx.doi.org/10.1007/978-3-540-68642-2</a><br/>Format: Electronic Resources<br/>Trustworthy Global Computing Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papersent://SD_ILS/0/SD_ILS:5034102024-05-31T03:54:09Z2024-05-31T03:54:09Zby Barthe, Gilles. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-78663-4">http://dx.doi.org/10.1007/978-3-540-78663-4</a><br/>Format: Electronic Resources<br/>25 Years of Model Checking History, Achievements, Perspectivesent://SD_ILS/0/SD_ILS:5027812024-05-31T03:54:09Z2024-05-31T03:54:09Zby Grumberg, Orna. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-69850-0">http://dx.doi.org/10.1007/978-3-540-69850-0</a><br/>Format: Electronic Resources<br/>Logic-Based Program Synthesis and Transformation 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papersent://SD_ILS/0/SD_ILS:5034272024-05-31T03:54:09Z2024-05-31T03:54:09Zby King, Andy. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-78769-3">http://dx.doi.org/10.1007/978-3-540-78769-3</a><br/>Format: Electronic Resources<br/>Model Checking and Artificial Intelligence 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:5127582024-05-31T03:54:09Z2024-05-31T03:54:09Zby Edelkamp, Stefan. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-74128-2">http://dx.doi.org/10.1007/978-3-540-74128-2</a><br/>Format: Electronic Resources<br/>Implementation and Application of Functional Languages 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papersent://SD_ILS/0/SD_ILS:5127592024-05-31T03:54:09Z2024-05-31T03:54:09Zby Horváth, Zoltán. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-74130-5">http://dx.doi.org/10.1007/978-3-540-74130-5</a><br/>Format: Electronic Resources<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:5128622024-05-31T03:54:09Z2024-05-31T03:54:09Zby Bessière, Christian. editor.<br/><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/>Coordination, Organizations, Institutions, and Norms in Agent Systems II AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda, Italy, August 28, 2006. Revised Selected Papersent://SD_ILS/0/SD_ILS:5127922024-05-31T03:54:09Z2024-05-31T03:54:09Zby Noriega, Pablo. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-74459-7">http://dx.doi.org/10.1007/978-3-540-74459-7</a><br/>Format: Electronic Resources<br/>Rewriting, Computation and Proof Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:5126062024-05-31T03:54:09Z2024-05-31T03:54:09Zby Comon-Lundh, Hubert. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73147-4">http://dx.doi.org/10.1007/978-3-540-73147-4</a><br/>Format: Electronic Resources<br/>Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5123172024-05-31T03:54:09Z2024-05-31T03:54:09Zby Nicola, Rocco. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-71316-6">http://dx.doi.org/10.1007/978-3-540-71316-6</a><br/>Format: Electronic Resources<br/>Program Analysis and Compilation, Theory and Practice Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:5123192024-05-31T03:54:09Z2024-05-31T03:54:09Zby Reps, Thomas. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-71322-7">http://dx.doi.org/10.1007/978-3-540-71322-7</a><br/>Format: Electronic Resources<br/>Logic-Based Program Synthesis and Transformation 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papersent://SD_ILS/0/SD_ILS:5123362024-05-31T03:54:09Z2024-05-31T03:54:09Zby Puebla, Germán. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-71410-1">http://dx.doi.org/10.1007/978-3-540-71410-1</a><br/>Format: Electronic Resources<br/>Integrated Formal Methods 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5126162024-05-31T03:54:09Z2024-05-31T03:54:09Zby Davies, Jim. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73210-5">http://dx.doi.org/10.1007/978-3-540-73210-5</a><br/>Format: Electronic Resources<br/>Typed Lambda Calculi and Applications 8th International Conference,TLCA 2007, Paris, France,June 26-28, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5126202024-05-31T03:54:09Z2024-05-31T03:54:09Zby Rocca, Simona Ronchi. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73228-0">http://dx.doi.org/10.1007/978-3-540-73228-0</a><br/>Format: Electronic Resources<br/>Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5128122024-05-31T03:54:09Z2024-05-31T03:54:09Zby Dahl, Véronica. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-74610-2">http://dx.doi.org/10.1007/978-3-540-74610-2</a><br/>Format: Electronic Resources<br/>Practical Aspects of Declarative Languages 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5121762024-05-31T03:54:09Z2024-05-31T03:54:09Zby Hanus, Michael. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-69611-7">http://dx.doi.org/10.1007/978-3-540-69611-7</a><br/>Format: Electronic Resources<br/>International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5129352024-05-31T03:54:09Z2024-05-31T03:54:09Zby Arbab, Farhad. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-75698-9">http://dx.doi.org/10.1007/978-3-540-75698-9</a><br/>Format: Electronic Resources<br/>Distributed Applications and Interoperable Systems 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5125512024-05-31T03:54:09Z2024-05-31T03:54:09Zby Indulska, Jadwiga. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-72883-2">http://dx.doi.org/10.1007/978-3-540-72883-2</a><br/>Format: Electronic Resources<br/>Component-Based Software Engineering 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5126922024-05-31T03:54:09Z2024-05-31T03:54:09Zby Schmidt, Heinz W. editor.<br/><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/>Datatype-Generic Programming International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lecturesent://SD_ILS/0/SD_ILS:5129732024-05-31T03:54:09Z2024-05-31T03:54:09Zby Backhouse, Roland. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-76786-2">http://dx.doi.org/10.1007/978-3-540-76786-2</a><br/>Format: Electronic Resources<br/>ECOOP 2007 – Object-Oriented Programming 21st European Conference, Berlin, Germany, July 30 - August 3, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5126992024-05-31T03:54:09Z2024-05-31T03:54:09Zby Ernst, Erik. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73589-2">http://dx.doi.org/10.1007/978-3-540-73589-2</a><br/>Format: Electronic Resources<br/>Static Analysis 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5127522024-05-31T03:54:09Z2024-05-31T03:54:09Zby Nielson, Hanne Riis. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-74061-2">http://dx.doi.org/10.1007/978-3-540-74061-2</a><br/>Format: Electronic Resources<br/>Formal Methods for Open Object-Based Distributed Systems 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5125682024-05-31T03:54:09Z2024-05-31T03:54:09Zby Bonsangue, Marcello M. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-72952-5">http://dx.doi.org/10.1007/978-3-540-72952-5</a><br/>Format: Electronic Resources<br/>Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5129242024-05-31T03:54:09Z2024-05-31T03:54:09Zby Dershowitz, Nachum. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-75560-9">http://dx.doi.org/10.1007/978-3-540-75560-9</a><br/>Format: Electronic Resources<br/>Object-Oriented Technology. ECOOP 2006 Workshop Reader ECOOP 2006 Workshops, Nantes, France, July 3-7, 2006, Final Reportsent://SD_ILS/0/SD_ILS:5123912024-05-31T03:54:09Z2024-05-31T03:54:09Zby Südholt, Mario. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-71774-4">http://dx.doi.org/10.1007/978-3-540-71774-4</a><br/>Format: Electronic Resources<br/>Advances in Smalltalk 14th International Smalltalk Conference, ISC 2006, Prague, Czech Republic, September 4-8, 2006, Revised Selected Papersent://SD_ILS/0/SD_ILS:5123992024-05-31T03:54:09Z2024-05-31T03:54:09Zby Meuter, Wolfgang. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-71836-9">http://dx.doi.org/10.1007/978-3-540-71836-9</a><br/>Format: Electronic Resources<br/>CONCUR 2007 – Concurrency Theory 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5127832024-05-31T03:54:09Z2024-05-31T03:54:09Zby Caires, Luís. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-74407-8">http://dx.doi.org/10.1007/978-3-540-74407-8</a><br/>Format: Electronic Resources<br/>Programming Languages and Systems 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5129632024-05-31T03:54:09Z2024-05-31T03:54:09Zby Shao, Zhong. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-76637-7">http://dx.doi.org/10.1007/978-3-540-76637-7</a><br/>Format: Electronic Resources<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:5129652024-05-31T03:54:09Z2024-05-31T03:54:09Zby Butler, Michael. editor.<br/><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/>Agile Processes in Software Engineering and Extreme Programming 8th International Conference, XP 2007, Como, Italy, June 18-22, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5125972024-05-31T03:54:09Z2024-05-31T03:54:09Zby Concas, Giulio. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73101-6">http://dx.doi.org/10.1007/978-3-540-73101-6</a><br/>Format: Electronic Resources<br/>Trustworthy Global Computing Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papersent://SD_ILS/0/SD_ILS:5129002024-05-31T03:54:09Z2024-05-31T03:54:09Zby Montanari, Ugo. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-75336-0">http://dx.doi.org/10.1007/978-3-540-75336-0</a><br/>Format: Electronic Resources<br/>Software Composition 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papersent://SD_ILS/0/SD_ILS:5130302024-05-31T03:54:09Z2024-05-31T03:54:09Zby Lumpe, Markus. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-77351-1">http://dx.doi.org/10.1007/978-3-540-77351-1</a><br/>Format: Electronic Resources<br/>Perspectives of Systems Informatics 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papersent://SD_ILS/0/SD_ILS:5122382024-05-31T03:54:09Z2024-05-31T03:54:09Zby Virbitskaite, Irina. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-70881-0">http://dx.doi.org/10.1007/978-3-540-70881-0</a><br/>Format: Electronic Resources<br/>Agent-Oriented Software Engineering VII 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papersent://SD_ILS/0/SD_ILS:5122512024-05-31T03:54:09Z2024-05-31T03:54:09Zby Padgham, Lin. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-70945-9">http://dx.doi.org/10.1007/978-3-540-70945-9</a><br/>Format: Electronic Resources<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:5122882024-05-31T03:54:09Z2024-05-31T03:54:09Zby Kordon, Fabrice. editor.<br/><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/>Architecting Systems with Trustworthy Components International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papersent://SD_ILS/0/SD_ILS:5113242024-05-31T03:54:09Z2024-05-31T03:54:09Zby Reussner, Ralf H. editor.<br/><a href="http://dx.doi.org/10.1007/11786160">http://dx.doi.org/10.1007/11786160</a><br/>Format: Electronic Resources<br/>Modular Programming Languages 7th Joint Modular Languages Conference, JMLC 2006 Oxford, UK, September 13-15, 2006 Proceedingsent://SD_ILS/0/SD_ILS:5116642024-05-31T03:54:09Z2024-05-31T03:54:09Zby Lightfoot, David E. editor.<br/><a href="http://dx.doi.org/10.1007/11860990">http://dx.doi.org/10.1007/11860990</a><br/>Format: Electronic Resources<br/>Principles and Practice of Constraint Programming - CP 2006 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5117762024-05-31T03:54:09Z2024-05-31T03:54:09Zby Benhamou, Frédéric. editor.<br/><a href="http://dx.doi.org/10.1007/11889205">http://dx.doi.org/10.1007/11889205</a><br/>Format: Electronic Resources<br/>CONCUR 2006 – Concurrency Theory 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5114932024-05-31T03:54:09Z2024-05-31T03:54:09Zby Baier, Christel. editor.<br/><a href="http://dx.doi.org/10.1007/11817949">http://dx.doi.org/10.1007/11817949</a><br/>Format: Electronic Resources<br/>Software Engineering 2 Specification of Systems and Languagesent://SD_ILS/0/SD_ILS:5108692024-05-31T03:54:09Z2024-05-31T03:54:09Zby Bjørner, Dines. author.<br/><a href="http://dx.doi.org/10.1007/978-3-540-33193-3">http://dx.doi.org/10.1007/978-3-540-33193-3</a><br/>Format: Electronic Resources<br/>ECOOP 2006 – Object-Oriented Programming 20th European Conference, Nantes, France, July 3-7, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5113132024-05-31T03:54:09Z2024-05-31T03:54:09Zby Thomas, Dave. editor.<br/><a href="http://dx.doi.org/10.1007/11785477">http://dx.doi.org/10.1007/11785477</a><br/>Format: Electronic Resources<br/>Static Analysis 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5115672024-05-31T03:54:09Z2024-05-31T03:54:09Zby Yi, Kwangkeun. editor.<br/><a href="http://dx.doi.org/10.1007/11823230">http://dx.doi.org/10.1007/11823230</a><br/>Format: Electronic Resources<br/>Software Composition 5th International Symposium, SC 2006 Vienna, Austria, March 25-26, 2006 Revised Papersent://SD_ILS/0/SD_ILS:5115272024-05-31T03:54:09Z2024-05-31T03:54:09Zby Löwe, Welf. editor.<br/><a href="http://dx.doi.org/10.1007/11821946">http://dx.doi.org/10.1007/11821946</a><br/>Format: Electronic Resources<br/>Component-Based Software Engineering 9th International Symposium, CBSE 2006, Västerås, Sweden, June 29 - July 1, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5112992024-05-31T03:54:09Z2024-05-31T03:54:09Zby Gorton, Ian. editor.<br/><a href="http://dx.doi.org/10.1007/11783565">http://dx.doi.org/10.1007/11783565</a><br/>Format: Electronic Resources<br/>Algebraic Methodology and Software Technology 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5113012024-05-31T03:54:09Z2024-05-31T03:54:09Zby Johnson, Michael. editor.<br/><a href="http://dx.doi.org/10.1007/11784180">http://dx.doi.org/10.1007/11784180</a><br/>Format: Electronic Resources<br/>Implementation and Application of Functional Languages 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papersent://SD_ILS/0/SD_ILS:5121432024-05-31T03:54:09Z2024-05-31T03:54:09Zby Butterfield, Andrew. editor.<br/><a href="http://dx.doi.org/10.1007/11964681">http://dx.doi.org/10.1007/11964681</a><br/>Format: Electronic Resources<br/>Practical Aspects of Declarative Languages 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5101362024-05-31T03:54:09Z2024-05-31T03:54:09Zby Hentenryck, Pascal. editor.<br/><a href="http://dx.doi.org/10.1007/11603023">http://dx.doi.org/10.1007/11603023</a><br/>Format: Electronic Resources<br/>Formal Methods for Open Object-Based Distributed Systems 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5112282024-05-31T03:54:09Z2024-05-31T03:54:09Zby Gorrieri, Roberto. editor.<br/><a href="http://dx.doi.org/10.1007/11768869">http://dx.doi.org/10.1007/11768869</a><br/>Format: Electronic Resources<br/>Software Engineering 3 Domains, Requirements, and Software Designent://SD_ILS/0/SD_ILS:5109712024-05-31T03:54:09Z2024-05-31T03:54:09Zby Bjøner, Dines. author.<br/><a href="http://dx.doi.org/10.1007/3-540-33653-2">http://dx.doi.org/10.1007/3-540-33653-2</a><br/>Format: Electronic Resources<br/>Extreme Programming and Agile Processes in Software Engineering 7th International Conference, XP 2006, Oulu, Finland, June 17-22, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5112382024-05-31T03:54:09Z2024-05-31T03:54:09Zby Abrahamsson, Pekka. editor.<br/><a href="http://dx.doi.org/10.1007/11774129">http://dx.doi.org/10.1007/11774129</a><br/>Format: Electronic Resources<br/>Construction and Analysis of Safe, Secure, and Interoperable Smart Devices Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papersent://SD_ILS/0/SD_ILS:5109792024-05-31T03:54:09Z2024-05-31T03:54:09Zby Barthe, Gilles. editor.<br/><a href="http://dx.doi.org/10.1007/11741060">http://dx.doi.org/10.1007/11741060</a><br/>Format: Electronic Resources<br/>Programming Languages and Systems 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5119302024-05-31T03:54:09Z2024-05-31T03:54:09Zby Kobayashi, Naoki. editor.<br/><a href="http://dx.doi.org/10.1007/11924661">http://dx.doi.org/10.1007/11924661</a><br/>Format: Electronic Resources<br/>FM 2006: Formal Methods 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5114672024-05-31T03:54:09Z2024-05-31T03:54:09Zby Misra, Jayadev. editor.<br/><a href="http://dx.doi.org/10.1007/11813040">http://dx.doi.org/10.1007/11813040</a><br/>Format: Electronic Resources<br/>Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5113932024-05-31T03:54:09Z2024-05-31T03:54:09Zby Etalle, Sandro. editor.<br/><a href="http://dx.doi.org/10.1007/11799573">http://dx.doi.org/10.1007/11799573</a><br/>Format: Electronic Resources<br/>Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5118792024-05-31T03:54:09Z2024-05-31T03:54:09Zby Hermann, Miki. editor.<br/><a href="http://dx.doi.org/10.1007/11916277">http://dx.doi.org/10.1007/11916277</a><br/>Format: Electronic Resources<br/>Programming Languages and Systems 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5108362024-05-31T03:54:09Z2024-05-31T03:54:09Zby Sestoft, Peter. editor.<br/><a href="http://dx.doi.org/10.1007/11693024">http://dx.doi.org/10.1007/11693024</a><br/>Format: Electronic Resources<br/>Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5109402024-05-31T03:54:09Z2024-05-31T03:54:09Zby Hagiya, Masami. editor.<br/><a href="http://dx.doi.org/10.1007/11737414">http://dx.doi.org/10.1007/11737414</a><br/>Format: Electronic Resources<br/>Distributed Applications and Interoperable Systems 6th IFIP WG 6.1 International Conference, DAIS 2006, Bologna, Italy, June 14-16, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5112422024-05-31T03:54:09Z2024-05-31T03:54:09Zby Eliassen, Frank. editor.<br/><a href="http://dx.doi.org/10.1007/11773887">http://dx.doi.org/10.1007/11773887</a><br/>Format: Electronic Resources<br/>Agent-Oriented Software Engineering VI 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papersent://SD_ILS/0/SD_ILS:5110512024-05-31T03:54:09Z2024-05-31T03:54:09Zby Müller, Jörg P. editor.<br/><a href="http://dx.doi.org/10.1007/11752660">http://dx.doi.org/10.1007/11752660</a><br/>Format: Electronic Resources<br/>Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems AAMAS 2005 International Workshops on Agents, Norms and Institutions for Regulated Multi-Agent Systems, ANIREM 2005, and Organizations in Multi-Agent Systems, OOOP 2005, Utrecht, The Netherlands, July 25-26, 2005, Revised Selected Papersent://SD_ILS/0/SD_ILS:5112492024-05-31T03:54:09Z2024-05-31T03:54:09Zby Boissier, Olivier. editor.<br/><a href="http://dx.doi.org/10.1007/11775331">http://dx.doi.org/10.1007/11775331</a><br/>Format: Electronic Resources<br/>Logic Based Program Synthesis and Transformation 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papersent://SD_ILS/0/SD_ILS:5107292024-05-31T03:54:09Z2024-05-31T03:54:09Zby Hill, Patricia M. editor.<br/><a href="http://dx.doi.org/10.1007/11680093">http://dx.doi.org/10.1007/11680093</a><br/>Format: Electronic Resources<br/>Theoretical Introduction to Programmingent://SD_ILS/0/SD_ILS:5084852024-05-31T03:54:09Z2024-05-31T03:54:09Zby Mills, Bruce. author.<br/><a href="http://dx.doi.org/10.1007/1-84628-263-2">http://dx.doi.org/10.1007/1-84628-263-2</a><br/>Format: Electronic Resources<br/>Software Engineering 1 Abstraction and Modellingent://SD_ILS/0/SD_ILS:5098862024-05-31T03:54:09Z2024-05-31T03:54:09Zby Bjørner, Dines. author.<br/><a href="http://dx.doi.org/10.1007/3-540-31288-9">http://dx.doi.org/10.1007/3-540-31288-9</a><br/>Format: Electronic Resources<br/>Adapting Proofs-as-Programs The Curry-Howard Protocolent://SD_ILS/0/SD_ILS:5047492024-05-31T03:54:09Z2024-05-31T03:54:09Zby Poernomo, Iman Hafiz. author.<br/><a href="http://dx.doi.org/10.1007/0-387-28183-5">http://dx.doi.org/10.1007/0-387-28183-5</a><br/>Format: Electronic Resources<br/>Abstraction, Refinement and Proof for Probabilistic Systemsent://SD_ILS/0/SD_ILS:5045662024-05-31T03:54:09Z2024-05-31T03:54:09Zby McIver, Annabelle. author.<br/><a href="http://dx.doi.org/10.1007/b138392">http://dx.doi.org/10.1007/b138392</a><br/>Format: Electronic Resources<br/>Typed Lambda Calculi and Applications 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5103802024-05-31T03:54:09Z2024-05-31T03:54:09Zby Urzyczyn, Paweł. editor.<br/><a href="http://dx.doi.org/10.1007/b135690">http://dx.doi.org/10.1007/b135690</a><br/>Format: Electronic Resources<br/>Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5100342024-05-31T03:54:09Z2024-05-31T03:54:09Zby Steffen, Martin. editor.<br/><a href="http://dx.doi.org/10.1007/b136996">http://dx.doi.org/10.1007/b136996</a><br/>Format: Electronic Resources<br/>Integrated Formal Methods 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5105162024-05-31T03:54:09Z2024-05-31T03:54:09Zby Romijn, Judi. editor.<br/><a href="http://dx.doi.org/10.1007/11589976">http://dx.doi.org/10.1007/11589976</a><br/>Format: Electronic Resources<br/>Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5105232024-05-31T03:54:09Z2024-05-31T03:54:09Zby Yi, Kwangkeun. editor.<br/><a href="http://dx.doi.org/10.1007/11575467">http://dx.doi.org/10.1007/11575467</a><br/>Format: Electronic Resources<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:5097392024-05-31T03:54:09Z2024-05-31T03:54:09Zby Hermenegildo, Manuel V. editor.<br/><a href="http://dx.doi.org/10.1007/b105205">http://dx.doi.org/10.1007/b105205</a><br/>Format: Electronic Resources<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:5097552024-05-31T03:54:09Z2024-05-31T03:54:09Zby Odell, James. editor.<br/><a href="http://dx.doi.org/10.1007/b105022">http://dx.doi.org/10.1007/b105022</a><br/>Format: Electronic Resources<br/>Software Composition 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005. Revised Selected Papersent://SD_ILS/0/SD_ILS:5094892024-05-31T03:54:09Z2024-05-31T03:54:09Zby Gschwind, Thomas. editor.<br/><a href="http://dx.doi.org/10.1007/11550679">http://dx.doi.org/10.1007/11550679</a><br/>Format: Electronic Resources<br/>Logic Based Program Synthesis and Transformation 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 – 28, 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:5101342024-05-31T03:54:09Z2024-05-31T03:54:09Zby Etalle, Sandro. editor.<br/><a href="http://dx.doi.org/10.1007/b137785">http://dx.doi.org/10.1007/b137785</a><br/>Format: Electronic Resources<br/>Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5103182024-05-31T03:54:09Z2024-05-31T03:54:09Zby Gabbrielli, Maurizio. editor.<br/><a href="http://dx.doi.org/10.1007/11562931">http://dx.doi.org/10.1007/11562931</a><br/>Format: Electronic Resources<br/>Multiparadigm Programming in Mozart/Oz Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:5102282024-05-31T03:54:09Z2024-05-31T03:54:09Zby Roy, Peter. editor.<br/><a href="http://dx.doi.org/10.1007/b106627">http://dx.doi.org/10.1007/b106627</a><br/>Format: Electronic Resources<br/>ECOOP 2005 - Object-Oriented Programming 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5101542024-05-31T03:54:09Z2024-05-31T03:54:09Zby Black, Andrew P. editor.<br/><a href="http://dx.doi.org/10.1007/11531142">http://dx.doi.org/10.1007/11531142</a><br/>Format: Electronic Resources<br/>Logic for Programming, Artificial Intelligence, and Reasoning 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5105512024-05-31T03:54:09Z2024-05-31T03:54:09Zby Baader, Franz. editor.<br/><a href="http://dx.doi.org/10.1007/b106931">http://dx.doi.org/10.1007/b106931</a><br/>Format: Electronic Resources<br/>Communicating Sequential Processes. The First 25 Years Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papersent://SD_ILS/0/SD_ILS:5105412024-05-31T03:54:09Z2024-05-31T03:54:09Zby Abdallah, Ali E. editor.<br/><a href="http://dx.doi.org/10.1007/b136154">http://dx.doi.org/10.1007/b136154</a><br/>Format: Electronic Resources<br/>Component Deployment Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5105572024-05-31T03:54:09Z2024-05-31T03:54:09Zby Dearle, Alan. editor.<br/><a href="http://dx.doi.org/10.1007/11590712">http://dx.doi.org/10.1007/11590712</a><br/>Format: Electronic Resources<br/>Trustworthy Global Computing International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papersent://SD_ILS/0/SD_ILS:5099662024-05-31T03:54:09Z2024-05-31T03:54:09Zby Nicola, Rocco. editor.<br/><a href="http://dx.doi.org/10.1007/11580850">http://dx.doi.org/10.1007/11580850</a><br/>Format: Electronic Resources<br/>Extreme Programming and Agile Processes in Software Engineering 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5099692024-05-31T03:54:09Z2024-05-31T03:54:09Zby Baumeister, Hubert. editor.<br/><a href="http://dx.doi.org/10.1007/b137278">http://dx.doi.org/10.1007/b137278</a><br/>Format: Electronic Resources<br/>Distributed Applications and Interoperable Systems 5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5100602024-05-31T03:54:09Z2024-05-31T03:54:09Zby Kutvonen, Lea. editor.<br/><a href="http://dx.doi.org/10.1007/b137217">http://dx.doi.org/10.1007/b137217</a><br/>Format: Electronic Resources<br/>Static Analysis 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5103422024-05-31T03:54:09Z2024-05-31T03:54:09Zby Hankin, Chris. editor.<br/><a href="http://dx.doi.org/10.1007/11547662">http://dx.doi.org/10.1007/11547662</a><br/>Format: Electronic Resources<br/>Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5101062024-05-31T03:54:09Z2024-05-31T03:54:09Zby Sutcliffe, Geoff. editor.<br/><a href="http://dx.doi.org/10.1007/11591191">http://dx.doi.org/10.1007/11591191</a><br/>Format: Electronic Resources<br/>Global Computing IST/FET International Workshop, GC 2004 Rovereto, Italy, March 9-12, 2004 Revised Selected Papersent://SD_ILS/0/SD_ILS:5101842024-05-31T03:54:09Z2024-05-31T03:54:09Zby Priami, Corrado. editor.<br/><a href="http://dx.doi.org/10.1007/b103251">http://dx.doi.org/10.1007/b103251</a><br/>Format: Electronic Resources<br/>Implementation and Application of Functional Languages 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004 Revised Selected Papersent://SD_ILS/0/SD_ILS:5104012024-05-31T03:54:09Z2024-05-31T03:54:09Zby Grelck, Clemens. editor.<br/><a href="http://dx.doi.org/10.1007/b136772">http://dx.doi.org/10.1007/b136772</a><br/>Format: Electronic Resources<br/>Construction and Analysis of Safe, Secure, and Interoperable Smart Devices International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:5097482024-05-31T03:54:09Z2024-05-31T03:54:09Zby Barthe, Gilles. editor.<br/><a href="http://dx.doi.org/10.1007/b105030">http://dx.doi.org/10.1007/b105030</a><br/>Format: Electronic Resources<br/>Component-Based Software Engineering 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5104122024-05-31T03:54:09Z2024-05-31T03:54:09Zby Heineman, George T. editor.<br/><a href="http://dx.doi.org/10.1007/b136248">http://dx.doi.org/10.1007/b136248</a><br/>Format: Electronic Resources<br/>Principles and Practice of Constraint Programming - CP 2005 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5104132024-05-31T03:54:09Z2024-05-31T03:54:09Zby Beek, Peter. editor.<br/><a href="http://dx.doi.org/10.1007/11564751">http://dx.doi.org/10.1007/11564751</a><br/>Format: Electronic Resources<br/>Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5103572024-05-31T03:54:09Z2024-05-31T03:54:09Zby Sagiv, Mooly. editor.<br/><a href="http://dx.doi.org/10.1007/b107380">http://dx.doi.org/10.1007/b107380</a><br/>Format: Electronic Resources<br/>CONCUR 2005 – Concurrency Theory 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5103062024-05-31T03:54:09Z2024-05-31T03:54:09Zby Abadi, Martín. editor.<br/><a href="http://dx.doi.org/10.1007/11539452">http://dx.doi.org/10.1007/11539452</a><br/>Format: Electronic Resources<br/>Categories for Software Engineeringent://SD_ILS/0/SD_ILS:5090322024-05-31T03:54:09Z2024-05-31T03:54:09Zby Fiadeiro, José Luiz. author.<br/><a href="http://dx.doi.org/10.1007/b138249">http://dx.doi.org/10.1007/b138249</a><br/>Format: Electronic Resources<br/>Implementation of Functional Languages 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papersent://SD_ILS/0/SD_ILS:5093242024-05-31T03:54:09Z2024-05-31T03:54:09Zby Trinder, Phil. editor.<br/><a href="http://dx.doi.org/10.1007/b102274">http://dx.doi.org/10.1007/b102274</a><br/>Format: Electronic Resources<br/>FM 2005: Formal Methods International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5101472024-05-31T03:54:09Z2024-05-31T03:54:09Zby Fitzgerald, John. editor.<br/><a href="http://dx.doi.org/10.1007/b27882">http://dx.doi.org/10.1007/b27882</a><br/>Format: Electronic Resources<br/>