Search Results for Programming. - Narrowed by: Logic design. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dProgramming.$0026qf$003dSUBJECT$002509Subject$002509Logic$002bdesign.$002509Logic$002bdesign.$0026te$003dILS$0026ps$003d300? 2025-03-15T21:52:39Z Principles of Programming Languages ent://SD_ILS/0/SD_ILS:175880 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Dowek, Gilles. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84882-032-6">http://dx.doi.org/10.1007/978-1-84882-032-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theoretical Introduction to Programming ent://SD_ILS/0/SD_ILS:175351 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Mills, Bruce. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Programming Theory and Practice ent://SD_ILS/0/SD_ILS:331611 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Shankar, A. Udaya. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331611.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-4881-5">http://dx.doi.org/10.1007/978-1-4614-4881-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages An Active Learning Approach ent://SD_ILS/0/SD_ILS:167677 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Lee, Kent. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-79421-1">http://dx.doi.org/10.1007/978-0-387-79421-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming and Performance Visualization Tools International Workshops, ESPT 2017 and VPA 2017, Denver, CO, USA, November 12 and 17, 2017, and ESPT 2018 and VPA 2018, Dallas, TX, USA, November 16 and 11, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486836 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Bhatele, Abhinav. editor. (orcid)0000-0003-3069-3701&#160;Boehme, David. editor.&#160;Levine, Joshua A. editor.&#160;Malony, Allen D. editor.&#160;Schulz, Martin. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Accelerator Programming Using Directives 5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedings ent://SD_ILS/0/SD_ILS:483484 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Chandrasekaran, Sunita. editor. (orcid)0000-0002-3560-9428&#160;Juckeland, Guido. editor. (orcid)0000-0002-9935-4428&#160;Wienke, Sandra. editor. (orcid)0000-0002-5794-3662&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Accelerator Programming Using Directives 4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings ent://SD_ILS/0/SD_ILS:400823 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Chandrasekaran, Sunita. editor. (orcid)0000-0002-3560-9428&#160;Juckeland, Guido. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Correctness-by-Construction Approach to Programming ent://SD_ILS/0/SD_ILS:196299 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Kourie, Derrick G. author.&#160;Watson, Bruce W. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-27919-5">http://dx.doi.org/10.1007/978-3-642-27919-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Introduction to the Theory of Programming Languages ent://SD_ILS/0/SD_ILS:168414 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Dowek, Gilles. author.&#160;L&eacute;vy, Jean-Jacques. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-85729-076-2">http://dx.doi.org/10.1007/978-0-85729-076-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> DNA Computing and Molecular Programming 24th International Conference, DNA 24, Jinan, China, October 8&ndash;12, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399871 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Doty, David. editor. (orcid)0000-0002-3922-172X&#160;Dietz, Hendrik. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00030-1">https://doi.org/10.1007/978-3-030-00030-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Inductive Logic Programming 27th International Conference, ILP 2017, Orl&eacute;ans, France, September 4-6, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:401981 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Lachiche, Nicolas. editor.&#160;Vrain, Christel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Inductive Logic Programming 28th International Conference, ILP 2018, Ferrara, Italy, September 2&ndash;4, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399476 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Riguzzi, Fabrizio. editor. (orcid)0000-0003-1654-9703&#160;Bellodi, Elena. editor. (orcid)0000-0002-3717-3779&#160;Zese, Riccardo. editor. (orcid)0000-0001-8352-6304&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Declarative Programming and Knowledge Management Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, W&uuml;rzburg, Germany, September 19&ndash;22, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399852 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Seipel, Dietmar. editor.&#160;Hanus, Michael. editor. (orcid)0000-0002-4953-8202&#160;Abreu, Salvador. editor. (orcid)0000-0002-1613-4631&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334034 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Wolff, Burkhart. editor.&#160;Gaudel, Marie-Claude. editor.&#160;Feliachi, Abderrahmane. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334034.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35705-3">http://dx.doi.org/10.1007/978-3-642-35705-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334348 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Felleisen, Matthias. editor.&#160;Gardner, Philippa. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334348.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37036-6">http://dx.doi.org/10.1007/978-3-642-37036-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings ent://SD_ILS/0/SD_ILS:332981 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Shan, Chung-chieh. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332981.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03542-0">http://dx.doi.org/10.1007/978-3-319-03542-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Inductive Logic Programming 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334673 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Riguzzi, Fabrizio. editor.&#160;&#381;elezn&yacute;, Filip. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334673.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38812-5">http://dx.doi.org/10.1007/978-3-642-38812-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334969 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Cabalar, Pedro. editor.&#160;Son, Tran Cao. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334969.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40564-8">http://dx.doi.org/10.1007/978-3-642-40564-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335196 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;McMillan, Ken. editor.&#160;Middeldorp, Aart. editor.&#160;Voronkov, Andrei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335196.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-45221-5">http://dx.doi.org/10.1007/978-3-642-45221-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles and Practice of Constraint Programming 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334980 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Schulte, Christian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334980.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40627-0">http://dx.doi.org/10.1007/978-3-642-40627-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Logics Essays in Memory of Harald Ganzinger ent://SD_ILS/0/SD_ILS:334468 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Voronkov, Andrei. editor.&#160;Weidenbach, Christoph. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334468.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37651-1">http://dx.doi.org/10.1007/978-3-642-37651-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> ECOOP 2013 &ndash; Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334715 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Castagna, Giuseppe. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334715.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39038-8">http://dx.doi.org/10.1007/978-3-642-39038-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, M&eacute;rida, Venezuela, March 11-15, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196518 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Bj&oslash;rner, Nikolaj. editor.&#160;Voronkov, Andrei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28717-6">http://dx.doi.org/10.1007/978-3-642-28717-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196553 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Seidl, Helmut. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28869-2">http://dx.doi.org/10.1007/978-3-642-28869-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Functional and Logic Programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196774 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Schrijvers, Tom. editor.&#160;Thiemann, Peter. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29822-6">http://dx.doi.org/10.1007/978-3-642-29822-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> ECOOP 2012 &ndash; Object-Oriented Programming 26th European Conference, Beijing, China, June 11-16, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197011 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Noble, James. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31057-7">http://dx.doi.org/10.1007/978-3-642-31057-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Generic and Indexed Programming International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised Lectures ent://SD_ILS/0/SD_ILS:197188 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Gibbons, Jeremy. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32202-0">http://dx.doi.org/10.1007/978-3-642-32202-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Inductive Logic Programming 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 &ndash; August 3, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:197160 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Muggleton, Stephen H. editor.&#160;Tamaddoni-Nezhad, Alireza. editor.&#160;Lisi, Francesca A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31951-8">http://dx.doi.org/10.1007/978-3-642-31951-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach ent://SD_ILS/0/SD_ILS:207043 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Janssen, Jeroen.&#160;Schockaert, Steven.&#160;Vermeir, Dirk.&#160;de Cock, Martine.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.2991/978-94-91216-59-6">http://dx.doi.org/10.2991/978-94-91216-59-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trends in Functional Programming 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:197171 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Pe&ntilde;a, Ricardo. editor.&#160;Page, Rex. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32037-8">http://dx.doi.org/10.1007/978-3-642-32037-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles and Practice of Constraint Programming 18th International Conference, CP 2012, Qu&eacute;bec City, QC, Canada, October 8-12, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197402 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Milano, Michela. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33558-7">http://dx.doi.org/10.1007/978-3-642-33558-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197577 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Jhala, Ranjit. editor.&#160;Igarashi, Atsushi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35182-2">http://dx.doi.org/10.1007/978-3-642-35182-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Functional and Constraint Logic Programming 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers ent://SD_ILS/0/SD_ILS:194483 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Mari&ntilde;o, Julio. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-20775-4">http://dx.doi.org/10.1007/978-3-642-20775-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automata, Languages and Programming 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II ent://SD_ILS/0/SD_ILS:194889 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Aceto, Luca. editor.&#160;Henzinger, Monika. editor.&#160;Sgall, Ji&#345;&iacute;. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-22012-8">http://dx.doi.org/10.1007/978-3-642-22012-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Functional and Constraint Logic Programming 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings ent://SD_ILS/0/SD_ILS:195055 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Kuchen, Herbert. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-22531-4">http://dx.doi.org/10.1007/978-3-642-22531-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> ECOOP 2011 &ndash; Object-Oriented Programming 25th European Conference, Lancaster, Uk, July 25-29, 2011 Proceedings ent://SD_ILS/0/SD_ILS:195095 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Mezini, Mira. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-22655-7">http://dx.doi.org/10.1007/978-3-642-22655-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trends in Functional Programming 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers ent://SD_ILS/0/SD_ILS:195188 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Page, Rex. editor.&#160;Horv&aacute;th, Zolt&aacute;n. editor.&#160;Zs&oacute;k, Vikt&oacute;ria. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recent Advances in Constraints 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:194060 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Larrosa, Javier. editor.&#160;O&rsquo;Sullivan, Barry. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-19486-3">http://dx.doi.org/10.1007/978-3-642-19486-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbr&uuml;cken, Germany, March 26&ndash;April 3, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194133 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Barthe, Gilles. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-19718-5">http://dx.doi.org/10.1007/978-3-642-19718-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic Programming and Nonmonotonic Reasoning 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194523 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Delgrande, James P. editor.&#160;Faber, Wolfgang. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-20895-9">http://dx.doi.org/10.1007/978-3-642-20895-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles and Practice of Constraint Programming &ndash; CP 2011 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195446 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Lee, Jimmy. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-23786-7">http://dx.doi.org/10.1007/978-3-642-23786-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195911 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Yang, Hongseok. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-25318-8">http://dx.doi.org/10.1007/978-3-642-25318-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles and Practice of Constraint Programming &ndash; CP 2010 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192956 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Cohen, David. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15396-9">http://dx.doi.org/10.1007/978-3-642-15396-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193232 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Ferm&uuml;ller, Christian G. editor.&#160;Voronkov, Andrei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16242-8">http://dx.doi.org/10.1007/978-3-642-16242-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Inductive Logic Programming 19th International Conference, ILP 2009, Leuven, Belgium, July 02-04, 2009. Revised Papers ent://SD_ILS/0/SD_ILS:192466 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Raedt, Luc. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13840-9">http://dx.doi.org/10.1007/978-3-642-13840-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> ECOOP 2010 &ndash; Object-Oriented Programming 24th European Conference, Maribor, Slovenia, June 21-25, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192552 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;D&rsquo;Hondt, Theo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14107-2">http://dx.doi.org/10.1007/978-3-642-14107-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A 25-Year Perspective on Logic Programming Achievements of the Italian Association for Logic Programming, GULP ent://SD_ILS/0/SD_ILS:192610 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Dovier, Agostino. editor.&#160;Pontelli, Enrico. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14309-0">http://dx.doi.org/10.1007/978-3-642-14309-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Unifying Theories of Programming Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193377 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Qin, Shengchao. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16690-7">http://dx.doi.org/10.1007/978-3-642-16690-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Central European Functional Programming School Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Kom&aacute;rno, Slovakia, May 25-30, 2009, Revised Selected Lectures ent://SD_ILS/0/SD_ILS:193677 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Horv&aacute;th, Zolt&aacute;n. editor.&#160;Plasmeijer, Rinus. editor.&#160;Zs&oacute;k, Vikt&oacute;ria. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-17685-2">http://dx.doi.org/10.1007/978-3-642-17685-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Approaches and Applications of Inductive Programming Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers ent://SD_ILS/0/SD_ILS:191841 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Schmid, Ute. editor.&#160;Kitzelmann, Emanuel. editor.&#160;Plasmeijer, Rinus. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-11931-6">http://dx.doi.org/10.1007/978-3-642-11931-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings ent://SD_ILS/0/SD_ILS:191847 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Gordon, Andrew D. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-11957-6">http://dx.doi.org/10.1007/978-3-642-11957-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Functional and Constraint Logic Programming 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:191856 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Escobar, Santiago. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-11999-6">http://dx.doi.org/10.1007/978-3-642-11999-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings ent://SD_ILS/0/SD_ILS:191936 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Blume, Matthias. editor.&#160;Kobayashi, Naoki. editor.&#160;Vidal, Germ&aacute;n. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-12251-4">http://dx.doi.org/10.1007/978-3-642-12251-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Unifying Theories of Programming Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers ent://SD_ILS/0/SD_ILS:192682 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Butterfield, Andrew. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14521-6">http://dx.doi.org/10.1007/978-3-642-14521-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193511 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Ueda, Kazunori. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-17164-2">http://dx.doi.org/10.1007/978-3-642-17164-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25&ndash;May 1, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:193623 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Clarke, Edmund M. editor.&#160;Voronkov, Andrei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-17511-4">http://dx.doi.org/10.1007/978-3-642-17511-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings ent://SD_ILS/0/SD_ILS:189739 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Castagna, Giuseppe. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-00590-9">http://dx.doi.org/10.1007/978-3-642-00590-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic Programming 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190440 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Hill, Patricia M. editor.&#160;Warren, David S. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> ECOOP 2009 &ndash; Object-Oriented Programming 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190490 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Drossopoulou, Sophia. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-03013-0">http://dx.doi.org/10.1007/978-3-642-03013-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings ent://SD_ILS/0/SD_ILS:191441 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Hu, Zhenjiang. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-10672-9">http://dx.doi.org/10.1007/978-3-642-10672-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recent Advances in Constraints 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers ent://SD_ILS/0/SD_ILS:190568 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Oddi, Angelo. editor.&#160;Fages, Fran&ccedil;ois. editor.&#160;Rossi, Francesca. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-03251-6">http://dx.doi.org/10.1007/978-3-642-03251-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Multi-Agent Systems 6th International Workshop, ProMAS 2008, Estoril, Portugal, May 13, 2008. Revised Invited and Selected Papers ent://SD_ILS/0/SD_ILS:190574 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Hindriks, Koen V. editor.&#160;Pokahr, Alexander. editor.&#160;Sardina, Sebastian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-03278-3">http://dx.doi.org/10.1007/978-3-642-03278-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic Programming and Nonmonotonic Reasoning 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190883 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Erdem, Esra. editor.&#160;Lin, Fangzhen. editor.&#160;Schaub, Torsten. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04238-6">http://dx.doi.org/10.1007/978-3-642-04238-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles and Practice of Constraint Programming - CP 2009 15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 Proceedings ent://SD_ILS/0/SD_ILS:190885 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Gent, Ian P. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04244-7">http://dx.doi.org/10.1007/978-3-642-04244-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<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. Proceedings ent://SD_ILS/0/SD_ILS:188226 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Drossopoulou, Sophia. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Functional and Logic Programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188293 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Garrigue, Jacques. editor.&#160;Hermenegildo, Manuel V. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Multi-Agent Systems 5th International Workshop, ProMAS 2007 Honolulu, HI, USA, May 15, 2007 Revised and Invited Papers ent://SD_ILS/0/SD_ILS:188320 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Dastani, Mehdi. editor.&#160;El Fallah Seghrouchni, Amal. editor.&#160;Ricci, Alessandro. editor.&#160;Winikoff, Michael. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles and Practice of Constraint Programming 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188818 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Stuckey, Peter J. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings ent://SD_ILS/0/SD_ILS:189248 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Ramalingam, G. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recent Advances in Constraints 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 Revised Selected Papers ent://SD_ILS/0/SD_ILS:189340 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Fages, Fran&ccedil;ois. editor.&#160;Rossi, Francesca. editor.&#160;Soliman, Sylvain. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-89812-2">http://dx.doi.org/10.1007/978-3-540-89812-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings ent://SD_ILS/0/SD_ILS:189377 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Garcia de la Banda, Maria. editor.&#160;Pontelli, Enrico. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> ECOOP 2008 &ndash; Object-Oriented Programming 22nd European Conference Paphos, Cyprus, July 7-11, 2008 Proceedings ent://SD_ILS/0/SD_ILS:186002 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Vitek, Jan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings ent://SD_ILS/0/SD_ILS:189268 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Cervesato, Iliano. editor.&#160;Veith, Helmut. editor.&#160;Voronkov, Andrei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<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. Proceedings ent://SD_ILS/0/SD_ILS:186244 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Nicola, Rocco. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agile Processes in Software Engineering and Extreme Programming 8th International Conference, XP 2007, Como, Italy, June 18-22, 2007. Proceedings ent://SD_ILS/0/SD_ILS:186742 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Concas, Giulio. editor.&#160;Damiani, Ernesto. editor.&#160;Scotto, Marco. editor.&#160;Succi, Giancarlo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> ECOOP 2007 &ndash; Object-Oriented Programming 21st European Conference, Berlin, Germany, July 30 - August 3, 2007. Proceedings ent://SD_ILS/0/SD_ILS:186903 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Ernst, Erik. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recent Advances in Constraints 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, Revised Selected and Invited Papers ent://SD_ILS/0/SD_ILS:186979 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Azevedo, Francisco. editor.&#160;Barahona, Pedro. editor.&#160;Fages, Fran&ccedil;ois. editor.&#160;Rossi, Francesca. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-73817-6">http://dx.doi.org/10.1007/978-3-540-73817-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007. Proceedings ent://SD_ILS/0/SD_ILS:187213 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Dahl, V&eacute;ronica. editor.&#160;Niemel&auml;, Ilkka. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles and Practice of Constraint Programming &ndash; CP 2007 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007. Proceedings ent://SD_ILS/0/SD_ILS:187324 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Bessi&egrave;re, Christian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Datatype-Generic Programming International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures ent://SD_ILS/0/SD_ILS:187680 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Backhouse, Roland. editor.&#160;Gibbons, Jeremy. editor.&#160;Hinze, Ralf. editor.&#160;Jeuring, Johan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Multi-Agent Systems 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers ent://SD_ILS/0/SD_ILS:186411 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Bordini, Rafael H. editor.&#160;Dastani, Mehdi. editor.&#160;Dix, J&uuml;rgen. editor.&#160;Seghrouchni, Amal El Fallah. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-71956-4">http://dx.doi.org/10.1007/978-3-540-71956-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings ent://SD_ILS/0/SD_ILS:187449 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Dershowitz, Nachum. editor.&#160;Voronkov, Andrei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings ent://SD_ILS/0/SD_ILS:187640 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Shao, Zhong. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Multi-Agent Systems Third International Workshop, ProMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised and Invited Papers ent://SD_ILS/0/SD_ILS:183451 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Bordini, Rafael H. editor.&#160;Dastani, Mehdi M. editor.&#160;Dix, J&uuml;rgen. editor.&#160;Fallah Seghrouchni, Amal. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11678823">http://dx.doi.org/10.1007/11678823</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<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. Proceedings ent://SD_ILS/0/SD_ILS:183617 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Sestoft, Peter. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11693024">http://dx.doi.org/10.1007/11693024</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recent Advances in Constraints Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers ent://SD_ILS/0/SD_ILS:183971 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Hnich, Brahim. editor.&#160;Carlsson, Mats. editor.&#160;Fages, Fran&ccedil;ois. editor.&#160;Rossi, Francesca. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11754602">http://dx.doi.org/10.1007/11754602</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006. Proceedings ent://SD_ILS/0/SD_ILS:183744 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Hagiya, Masami. editor.&#160;Wadler, Philip. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11737414">http://dx.doi.org/10.1007/11737414</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Extreme Programming and Agile Processes in Software Engineering 7th International Conference, XP 2006, Oulu, Finland, June 17-22, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184201 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Abrahamsson, Pekka. editor.&#160;Marchesi, Michele. editor.&#160;Succi, Giancarlo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11774129">http://dx.doi.org/10.1007/11774129</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184398 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Etalle, Sandro. editor.&#160;Truszczy&#324;ski, Miros&#322;aw. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11799573">http://dx.doi.org/10.1007/11799573</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles and Practice of Constraint Programming - CP 2006 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184911 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Benhamou, Fr&eacute;d&eacute;ric. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11889205">http://dx.doi.org/10.1007/11889205</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings ent://SD_ILS/0/SD_ILS:185067 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Hermann, Miki. editor.&#160;Voronkov, Andrei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11916277">http://dx.doi.org/10.1007/11916277</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> ECOOP 2006 &ndash; Object-Oriented Programming 20th European Conference, Nantes, France, July 3-7, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184297 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Thomas, Dave. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11785477">http://dx.doi.org/10.1007/11785477</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modular Programming Languages 7th Joint Modular Languages Conference, JMLC 2006 Oxford, UK, September 13-15, 2006 Proceedings ent://SD_ILS/0/SD_ILS:184764 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Lightfoot, David E. editor.&#160;Szyperski, Clemens. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11860990">http://dx.doi.org/10.1007/11860990</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006. Proceedings ent://SD_ILS/0/SD_ILS:185155 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Kobayashi, Naoki. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11924661">http://dx.doi.org/10.1007/11924661</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings ent://SD_ILS/0/SD_ILS:182801 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Sutcliffe, Geoff. editor.&#160;Voronkov, Andrei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11591191">http://dx.doi.org/10.1007/11591191</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Extreme Programming and Agile Processes in Software Engineering 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005. Proceedings ent://SD_ILS/0/SD_ILS:182671 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Baumeister, Hubert. editor.&#160;Marchesi, Michele. editor.&#160;Holcombe, Mike. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b137278">http://dx.doi.org/10.1007/b137278</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multiparadigm Programming in Mozart/Oz Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers ent://SD_ILS/0/SD_ILS:182931 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Roy, Peter. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b106627">http://dx.doi.org/10.1007/b106627</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles and Practice of Constraint Programming - CP 2005 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183115 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Beek, Peter. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11564751">http://dx.doi.org/10.1007/11564751</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Multi-Agent Systems Second International Workshop ProMAS 2004, New York, NY, USA, July 20, 2004, Selected Revised and Invited Papers ent://SD_ILS/0/SD_ILS:183247 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Bordini, Rafael H. editor.&#160;Dastani, Mehdi. editor.&#160;Dix, J&uuml;rgen. editor.&#160;Fallah Seghrouchni, Amal. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b105887">http://dx.doi.org/10.1007/b105887</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic for Programming, Artificial Intelligence, and Reasoning 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183262 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Baader, Franz. editor.&#160;Voronkov, Andrei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b106931">http://dx.doi.org/10.1007/b106931</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> ECOOP 2005 - Object-Oriented Programming 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings ent://SD_ILS/0/SD_ILS:182853 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Black, Andrew P. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11531142">http://dx.doi.org/10.1007/11531142</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183019 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Gabbrielli, Maurizio. editor.&#160;Gupta, Gopal. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11562931">http://dx.doi.org/10.1007/11562931</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<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. Proceedings ent://SD_ILS/0/SD_ILS:183058 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Sagiv, Mooly. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b107380">http://dx.doi.org/10.1007/b107380</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183234 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Yi, Kwangkeun. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11575467">http://dx.doi.org/10.1007/11575467</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recent Advances in Constraints Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers ent://SD_ILS/0/SD_ILS:183239 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Faltings, Boi V. editor.&#160;Petcu, Adrian. editor.&#160;Fages, Fran&ccedil;ois. editor.&#160;Rossi, Francesca. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b106890">http://dx.doi.org/10.1007/b106890</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Extreme Heterogeneity 5th Workshop, OpenSHMEM 2018, Baltimore, MD, USA, August 21&ndash;23, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486502 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Pophale, Swaroop. editor. (orcid)0000-0001-8544-6367&#160;Imam, Neena. editor. (orcid)0000-0001-8860-4738&#160;Aderholdt, Ferrol. editor. (orcid)0000-0002-4208-6493&#160;Gorentla Venkata, Manjunath. editor. (orcid)0000-0002-5282-1682&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> OpenMP: Conquering the Full Hardware Spectrum 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11&ndash;13, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484537 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Fan, Xing. editor.&#160;de Supinski, Bronis R. editor.&#160;Sinnen, Oliver. editor.&#160;Giacaman, Nasser. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-28596-8">https://doi.org/10.1007/978-3-030-28596-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Architecture 13th European Conference, ECSA 2019, Paris, France, September 9&ndash;13, 2019, Proceedings ent://SD_ILS/0/SD_ILS:485728 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Bures, Tomas. editor.&#160;Duchien, Laurence. editor. (orcid)0000-0002-4517-5862&#160;Inverardi, Paola. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-29983-5">https://doi.org/10.1007/978-3-030-29983-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reversible Computation 11th International Conference, RC 2019, Lausanne, Switzerland, June 24&ndash;25, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486324 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Thomsen, Michael Kirkedal. editor. (orcid)0000-0003-0922-3609&#160;Soeken, Mathias. editor. (orcid)0000-0002-0229-8766&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-21500-2">https://doi.org/10.1007/978-3-030-21500-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evolving OpenMP for Evolving Architectures 14th International Workshop on OpenMP, IWOMP 2018, Barcelona, Spain, September 26&ndash;28, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399167 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;de Supinski, Bronis R. editor.&#160;Valero-Lara, Pedro. editor. (orcid)0000-0002-1479-4310&#160;Martorell, Xavier. editor.&#160;Mateo Bellido, Sergi. editor.&#160;Labarta, Jesus. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-98521-3">https://doi.org/10.1007/978-3-319-98521-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399353 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Lahiri, Shuvendu K. editor.&#160;Wang, Chao. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399356 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Sun, Jing. editor.&#160;Sun, Meng. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-02450-5">https://doi.org/10.1007/978-3-030-02450-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Testing Software and Systems 30th IFIP WG 6.1 International Conference, ICTSS 2018, C&aacute;diz, Spain, October 1-3, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399422 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Medina-Bulo, Inmaculada. editor.&#160;Merayo, Mercedes G. editor.&#160;Hierons, Robert. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-99927-2">https://doi.org/10.1007/978-3-319-99927-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reversible Computation 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399794 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Kari, Jarkko. editor. (orcid)0000-0003-0670-6138&#160;Ulidowski, Irek. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-99498-7">https://doi.org/10.1007/978-3-319-99498-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rules and Reasoning Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18&ndash;21, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399809 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Benzm&uuml;ller, Christoph. editor. (orcid)0000-0002-3392-3093&#160;Ricca, Francesco. editor.&#160;Parent, Xavier. editor.&#160;Roman, Dumitru. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Aspects of Component Software 15th International Conference, FACS 2018, Pohang, South Korea, October 10&ndash;12, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399964 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Bae, Kyungmin. editor. (orcid)0000-0002-6430-5175&#160;&Ouml;lveczky, Peter Csaba. editor. (orcid)0000-0002-0708-3721&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Safety, Reliability, and Security 37th International Conference, SAFECOMP 2018, V&auml;ster&aring;s, Sweden, September 19-21, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400344 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Gallina, Barbara. editor. (orcid)0000-0002-6952-1053&#160;Skavhaug, Amund. editor.&#160;Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-99130-6">https://doi.org/10.1007/978-3-319-99130-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Lectures on Runtime Verification Introductory and Advanced Topics ent://SD_ILS/0/SD_ILS:400774 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601&#160;Falcone, Yli&egrave;s. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-75632-5">https://doi.org/10.1007/978-3-319-75632-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Practical Aspects of Declarative Languages 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8&ndash;9, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400560 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834&#160;Hamlen, Kevin. editor.&#160;Leone, Nicola. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Bidirectional Transformations International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures ent://SD_ILS/0/SD_ILS:400854 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917&#160;Stevens, Perdita. editor. (orcid)0000-0002-3975-7612&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-79108-1">https://doi.org/10.1007/978-3-319-79108-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tests and Proofs 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401698 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Dubois, Catherine. editor.&#160;Wolff, Burkhart. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-92994-1">https://doi.org/10.1007/978-3-319-92994-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods: Foundations and Applications 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26&ndash;30, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399406 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Massoni, Tiago. editor. (orcid)0000-0002-9423-7556&#160;Mousavi, Mohammad Reza. editor. (orcid)0000-0002-4869-6794&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence 4th Workshop, OpenSHMEM 2017, Annapolis, MD, USA, August 7-9, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:401932 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Gorentla Venkata, Manjunath. editor. (orcid)0000-0002-5282-1682&#160;Imam, Neena. editor. (orcid)0000-0001-8860-4738&#160;Pophale, Swaroop. editor. (orcid)0000-0001-8544-6367&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Runtime Verification 18th International Conference, RV 2018, Limassol, Cyprus, November 10&ndash;13, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400554 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Colombo, Christian. editor.&#160;Leucker, Martin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-03769-7">https://doi.org/10.1007/978-3-030-03769-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Dependable Software Engineering. Theories, Tools, and Applications 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399485 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Feng, Xinyu. editor.&#160;M&uuml;ller-Olm, Markus. editor.&#160;Yang, Zijiang. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-99933-3">https://doi.org/10.1007/978-3-319-99933-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018, Oxford, UK, July 18&ndash;19, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399597 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Piskac, Ruzica. editor.&#160;R&uuml;mmer, Philipp. editor. (orcid)0000-0002-2733-7098&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-03592-1">https://doi.org/10.1007/978-3-030-03592-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Safety, Reliability, and Security SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, V&auml;ster&aring;s, Sweden, September 18, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399783 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Gallina, Barbara. editor. (orcid)0000-0002-6952-1053&#160;Skavhaug, Amund. editor.&#160;Schoitsch, Erwin. editor. (orcid)0000-0002-0335-5443&#160;Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-99229-7">https://doi.org/10.1007/978-3-319-99229-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Technologies: Applications and Foundations STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399903 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948&#160;Ober, Iulian. editor.&#160;Sala&uuml;n, Gwen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-04771-9">https://doi.org/10.1007/978-3-030-04771-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Static Analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29&ndash;31, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400131 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Podelski, Andreas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reliable Software Technologies &ndash; Ada-Europe 2018 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400146 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Casimiro, Ant&oacute;nio. editor. (orcid)0000-0002-5522-5739&#160;Ferreira, Pedro M. editor. (orcid)0000-0003-2369-0115&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-92432-8">https://doi.org/10.1007/978-3-319-92432-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Trustworthy Software Systems Third International School, SETSS 2017, Chongqing, China, April 17&ndash;22, 2017, Tutorial Lectures ent://SD_ILS/0/SD_ILS:400263 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140&#160;Liu, Zhiming. editor. (orcid)0000-0001-9771-3071&#160;Zhang, Zili. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering and Formal Methods SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:402522 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Cerone, Antonio. editor. (orcid)0000-0003-2691-5279&#160;Roveri, Marco. editor. (orcid)0000-0001-9483-3940&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-74781-1">https://doi.org/10.1007/978-3-319-74781-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reversible Computation 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings ent://SD_ILS/0/SD_ILS:488939 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Yamashita, Shigeru. editor.&#160;Minato, Shin-ichi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-08494-7">https://doi.org/10.1007/978-3-319-08494-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Defined Chips Volume II ent://SD_ILS/0/SD_ILS:527085 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Liu, Leibo. author.&#160;Wei, Shaojun. author.&#160;Zhu, Jianfeng. author.&#160;Deng, Chenchen. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-19-7636-0">https://doi.org/10.1007/978-981-19-7636-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on High-Performance Embedded Architectures and Compilers V ent://SD_ILS/0/SD_ILS:484586 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Silvano, Cristina. editor. (orcid)0000-0003-1668-0883&#160;Bertels, Koen. editor. (orcid)0000-0001-9310-4885&#160;Schulte, Michael. editor. (orcid)0000-0002-0213-4155&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-58834-5">https://doi.org/10.1007/978-3-662-58834-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Languages and Compilers for Parallel Computing 30th International Workshop, LCPC 2017, College Station, TX, USA, October 11&ndash;13, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486680 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Rauchwerger, Lawrence. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Supercomputing 4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24&ndash;25, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485164 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106&#160;Sobolev, Sergey. editor. (orcid)0000-0002-3474-8696&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-05807-4">https://doi.org/10.1007/978-3-030-05807-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings ent://SD_ILS/0/SD_ILS:332962 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Bertacco, Valeria. editor.&#160;Legay, Axel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332962.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03077-7">http://dx.doi.org/10.1007/978-3-319-03077-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334038 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Artemov, Sergei. editor.&#160;Nerode, Anil. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334038.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamental Approaches to Software Engineering 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334354 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Cortellessa, Vittorio. editor.&#160;Varr&oacute;, D&aacute;niel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334354.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37057-1">http://dx.doi.org/10.1007/978-3-642-37057-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Static Analysis 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334683 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Logozzo, Francesco. editor.&#160;F&auml;hndrich, Manuel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334683.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Practice of Model Transformations 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334691 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Duddy, Keith. editor.&#160;Kappel, Gerti. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334691.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38883-5">http://dx.doi.org/10.1007/978-3-642-38883-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> SDL 2013: Model-Driven Dependability Engineering 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334697 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Khendek, Ferhat. editor.&#160;Toeroe, Maria. editor.&#160;Gherbi, Abdelouahed. editor.&#160;Reed, Rick. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334697.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38911-5">http://dx.doi.org/10.1007/978-3-642-38911-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334698 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Veanes, Margus. editor.&#160;Vigan&ograve;, Luca. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334698.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38916-0">http://dx.doi.org/10.1007/978-3-642-38916-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings ent://SD_ILS/0/SD_ILS:332921 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Hung, Dang. editor.&#160;Ogawa, Mizuhito. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332921.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-02444-8">http://dx.doi.org/10.1007/978-3-319-02444-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings ent://SD_ILS/0/SD_ILS:332982 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Gonthier, Georges. editor.&#160;Norrish, Michael. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332982.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03545-1">http://dx.doi.org/10.1007/978-3-319-03545-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334533 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Brat, Guillaume. editor.&#160;Rungta, Neha. editor.&#160;Venet, Arnaud. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334533.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:334547 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Coecke, Bob. editor.&#160;Ong, Luke. editor.&#160;Panangaden, Prakash. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334547.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38164-5">http://dx.doi.org/10.1007/978-3-642-38164-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334552 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Albert, Elvira. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334552.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38197-3">http://dx.doi.org/10.1007/978-3-642-38197-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers ent://SD_ILS/0/SD_ILS:334556 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Machado, Ricardo J. editor.&#160;Maciel, Rita Suzana P. editor.&#160;Rubin, Julia. editor.&#160;Botterweck, Goetz. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334556.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38209-3">http://dx.doi.org/10.1007/978-3-642-38209-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reliable Software Technologies &ndash; Ada-Europe 2013 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334631 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Keller, Hubert B. editor.&#160;Pl&ouml;dereder, Erhard. editor.&#160;Dencker, Peter. editor.&#160;Klenk, Herbert. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334631.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38601-5">http://dx.doi.org/10.1007/978-3-642-38601-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334651 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Colom, Jos&eacute;-Manuel. editor.&#160;Desel, J&ouml;rg. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334651.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38697-8">http://dx.doi.org/10.1007/978-3-642-38697-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers ent://SD_ILS/0/SD_ILS:334820 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Biere, Armin. editor.&#160;Nahir, Amir. editor.&#160;Vos, Tanja. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334820.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39611-3">http://dx.doi.org/10.1007/978-3-642-39611-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334968 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Hierons, Robert M. editor.&#160;Merayo, Mercedes G. editor.&#160;Bravetti, Mario. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334968.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40561-7">http://dx.doi.org/10.1007/978-3-642-40561-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334979 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Leite, Jo&atilde;o. editor.&#160;Son, Tran Cao. editor.&#160;Torroni, Paolo. editor.&#160;Torre, Leon. editor.&#160;Woltran, Stefan. editor.<br/>Preferred Shelf Number&#160;ONLINE(334979.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40624-9">http://dx.doi.org/10.1007/978-3-642-40624-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evaluation of Novel Approaches to Software Engineering 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers ent://SD_ILS/0/SD_ILS:333558 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Maciaszek, Leszek A. editor.&#160;Zhang, Kang. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333558.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32341-6">http://dx.doi.org/10.1007/978-3-642-32341-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334014 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Qadeer, Shaz. editor.&#160;Tasiran, Serdar. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334014.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35632-2">http://dx.doi.org/10.1007/978-3-642-35632-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334041 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Ermolayev, Vadim. editor.&#160;Mayr, Heinrich C. editor.&#160;Nikitchenko, Mykola. editor.&#160;Spivakovsky, Aleksander. editor.&#160;Zholtkevych, Grygoriy. editor.<br/>Preferred Shelf Number&#160;ONLINE(334041.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35737-4">http://dx.doi.org/10.1007/978-3-642-35737-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334136 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Ayala, Jos&eacute; L. editor.&#160;Shang, Delong. editor.&#160;Yakovlev, Alex. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334136.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36157-9">http://dx.doi.org/10.1007/978-3-642-36157-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334358 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Pfenning, Frank. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334358.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37075-5">http://dx.doi.org/10.1007/978-3-642-37075-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integrated Formal Methods 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334634 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Johnsen, Einar Broch. editor.&#160;Petre, Luigia. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334634.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38613-8">http://dx.doi.org/10.1007/978-3-642-38613-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model Checking Software 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334743 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Bartocci, Ezio. editor.&#160;Ramakrishnan, C. R. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334743.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Structured Object-Oriented Formal Language and Method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers ent://SD_ILS/0/SD_ILS:334772 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Liu, Shaoying. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334772.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39277-1">http://dx.doi.org/10.1007/978-3-642-39277-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings ent://SD_ILS/0/SD_ILS:334962 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Galmiche, Didier. editor.&#160;Larchey-Wendling, Dominique. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334962.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40537-2">http://dx.doi.org/10.1007/978-3-642-40537-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335204 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Sagonas, Kostis. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335204.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-45284-0">http://dx.doi.org/10.1007/978-3-642-45284-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evaluation of Novel Approaches to Software Engineering 8th International Conference, ENASE 2013, Angers, France, July 4-6, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:335227 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Filipe, Joaquim. editor.&#160;Maciaszek, Leszek A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335227.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-54092-9">http://dx.doi.org/10.1007/978-3-642-54092-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers ent://SD_ILS/0/SD_ILS:334069 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;P&#259;s&#259;reanu, Corina S. editor.&#160;Sala&uuml;n, Gwen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334069.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334077 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Beckert, Bernhard. editor.&#160;Damiani, Ferruccio. editor.&#160;Boer, Frank S. editor.&#160;Bonsangue, Marcello M. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334077.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35887-6">http://dx.doi.org/10.1007/978-3-642-35887-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers ent://SD_ILS/0/SD_ILS:334096 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;L&auml;mmel, Ralf. editor.&#160;Saraiva, Jo&atilde;o. editor.&#160;Visser, Joost. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334096.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35992-7">http://dx.doi.org/10.1007/978-3-642-35992-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334278 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Piterman, Nir. editor.&#160;Smolka, Scott A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334278.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36742-7">http://dx.doi.org/10.1007/978-3-642-36742-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Assurances for Self-Adaptive Systems Principles, Models, and Techniques ent://SD_ILS/0/SD_ILS:334156 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;C&aacute;mara, Javier. editor.&#160;Lemos, Rog&eacute;rio. editor.&#160;Ghezzi, Carlo. editor.&#160;Lopes, Ant&oacute;nia. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334156.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36249-1">http://dx.doi.org/10.1007/978-3-642-36249-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modelling Foundations and Applications 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334711 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Gorp, Pieter. editor.&#160;Ritter, Tom. editor.&#160;Rose, Louis M. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334711.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39013-5">http://dx.doi.org/10.1007/978-3-642-39013-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Architecture 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334714 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Drira, Khalil. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334714.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39031-9">http://dx.doi.org/10.1007/978-3-642-39031-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web Services and Formal Methods 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334562 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Beek, Maurice H. editor.&#160;Lohmann, Niels. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334562.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38230-7">http://dx.doi.org/10.1007/978-3-642-38230-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335003 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Legay, Axel. editor.&#160;Bensalem, Saddek. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335003.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40787-1">http://dx.doi.org/10.1007/978-3-642-40787-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335023 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Fontaine, Pascal. editor.&#160;Ringeissen, Christophe. editor.&#160;Schmidt, Renate A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335023.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40885-4">http://dx.doi.org/10.1007/978-3-642-40885-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings ent://SD_ILS/0/SD_ILS:335046 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Abdulla, Parosh Aziz. editor.&#160;Potapov, Igor. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335046.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41036-9">http://dx.doi.org/10.1007/978-3-642-41036-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 &ndash; October 4, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335120 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Moreira, Ana. editor.&#160;Sch&auml;tz, Bernhard. editor.&#160;Gray, Jeff. editor.&#160;Vallecillo, Antonio. editor.&#160;Clarke, Peter. editor.<br/>Preferred Shelf Number&#160;ONLINE(335120.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Constraint Solving and Language Processing 7th International Workshop, CSLP 2012, Orl&eacute;ans, France, September 13-14, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:335125 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Duchier, Denys. editor.&#160;Parmentier, Yannick. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335125.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41578-4">http://dx.doi.org/10.1007/978-3-642-41578-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Implementation and Application of Functional Languages 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:335126 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Hinze, Ralf. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335126.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41582-1">http://dx.doi.org/10.1007/978-3-642-41582-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> In Search of Elegance in the Theory and Practice of Computation Essays Dedicated to Peter Buneman ent://SD_ILS/0/SD_ILS:335138 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Tannen, Val. editor.&#160;Wong, Limsoon. editor.&#160;Libkin, Leonid. editor.&#160;Fan, Wenfei. editor.&#160;Tan, Wang-Chiew. editor.<br/>Preferred Shelf Number&#160;ONLINE(335138.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41660-6">http://dx.doi.org/10.1007/978-3-642-41660-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Testing Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings ent://SD_ILS/0/SD_ILS:335141 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Yenig&uuml;n, H&uuml;sn&uuml;. editor.&#160;Yilmaz, Cemal. editor.&#160;Ulrich, Andreas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335141.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41707-8">http://dx.doi.org/10.1007/978-3-642-41707-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evaluation of Novel Approaches to Software Engineering 7th International Conference, ENASE 2012, Warsaw, Poland, June 29-30, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:335217 2025-03-15T21:52:39Z 2025-03-15T21:52:39Z Author&#160;Maciaszek, Leszek A. editor.&#160;Filipe, Joaquim. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335217.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-45422-6">http://dx.doi.org/10.1007/978-3-642-45422-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>