Search Results for Netherlands - Narrowed by: Software engineering.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dNetherlands$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026ps$003d300$0026isd$003dtrue?2026-06-16T19:30:32ZSoftware Business 15th International Conference, ICSOB 2024, Utrecht, The Netherlands, November 18-20, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6077382026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Papatheocharous, Efi. editor. (orcid)0000-0002-5157-8131 Farshidi, Siamak. editor. (orcid)0000-0003-3270-4398 Jansen, Slinger. editor. (orcid)0000-0003-3752-2868 Hyrynsalmi, Sonja. editor. (orcid)0000-0002-1715-6250 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-85849-9">https://doi.org/10.1007/978-3-031-85849-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>From Data to Models and Back 11th International Symposium, DataMod 2023, Eindhoven, The Netherlands, November 6-7, 2023, Revised Selected Papersent://SD_ILS/0/SD_ILS:6080452026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Broccia, Giovanna. editor. (orcid)0000-0002-4737-5761 Cerone, Antonio. editor. (orcid)0000-0003-2691-5279 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-87217-4">https://doi.org/10.1007/978-3-031-87217-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Innovations for Community Services 24th International Conference, I4CS 2024, Maastricht, The Netherlands, June 12-14, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6037192026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Phillipson, Frank. editor. (orcid)0000-0003-4580-7521 Eichler, Gerald. editor. (orcid)0000-0002-7420-698X Erfurth, Christian. editor. (orcid)0000-0003-2761-3985 Fahrnberger, Günter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-60433-1">https://doi.org/10.1007/978-3-031-60433-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Graph Transformation 17th International Conference, ICGT 2024, Held as Part of STAF 2024, Enschede, The Netherlands, July 10-11, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6041712026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Harmer, Russ. editor. (orcid)0000-0002-0817-1029 Kosiol, Jens. editor. (orcid)0000-0003-4733-2777 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-64285-2">https://doi.org/10.1007/978-3-031-64285-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Challenging the Future with Lean 9th IFIP WG 5.7 European Lean Educator Conference, ELEC 2023, 's-Hertogenbosch, The Netherlands, October 24-26, 2023, Proceedingsent://SD_ILS/0/SD_ILS:6045482026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor van Kollenburg, Ton. editor. (orcid)0000-0003-0958-7605 Kokkinou, Alinda. editor. (orcid)0000-0001-7991-2253 McDermott, Olivia. editor. (orcid)0000-0001-5714-4601 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-63265-5">https://doi.org/10.1007/978-3-031-63265-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papersent://SD_ILS/0/SD_ILS:6046082026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Aldini, Alessandro. editor. (orcid)0000-0002-7250-5011 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-66021-4">https://doi.org/10.1007/978-3-031-66021-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Cooperative Information Systems 29th International Conference, CoopIS 2023, Groningen, The Netherlands, October 30-November 3, 2023, Proceedingsent://SD_ILS/0/SD_ILS:6018802026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Sellami, Mohamed. editor. Vidal, Maria-Esther. editor. van Dongen, Boudewijn. editor. Gaaloul, Walid. editor. (orcid)0000-0003-0451-532X Panetto, Hervé. editor. (orcid)0000-0002-5537-2261<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-46846-9">https://doi.org/10.1007/978-3-031-46846-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Agile Processes in Software Engineering and Extreme Programming - Workshops XP 2022 Workshops, Copenhagen, Denmark, June 13-17, 2022, and XP 2023 Workshops, Amsterdam, The Netherlands, June 13-16, 2023, Revised Selected Papersent://SD_ILS/0/SD_ILS:6022012026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Kruchten, Philippe. editor. Gregory, Peggy. editor. (orcid)0000-0001-7891-6666 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-48550-3">https://doi.org/10.1007/978-3-031-48550-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Distributed Applications and Interoperable Systems 24th IFIP WG 6.1 International Conference, DAIS 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6038992026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Martins, Rolando. editor. (orcid)0000-0002-1838-1417 Selimi, Mennan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-62638-8">https://doi.org/10.1007/978-3-031-62638-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Coordination Models and Languages 26th IFIP WG 6.1 International Conference, COORDINATION 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6039002026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Castellani, Ilaria. editor. (orcid)0000-0001-9820-0892 Tiezzi, Francesco. editor. (orcid)0000-0003-4740-7521 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-62697-5">https://doi.org/10.1007/978-3-031-62697-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Techniques for Distributed Objects, Components, and Systems 44th IFIP WG 6.1 International Conference, FORTE 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6039122026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Castiglioni, Valentina. editor. (orcid)0000-0002-8112-6523 Francalanza, Adrian. editor. (orcid)0000-0003-3829-7391 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-62645-6">https://doi.org/10.1007/978-3-031-62645-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Integrated Formal Methods 18th International Conference, IFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedingsent://SD_ILS/0/SD_ILS:6019522026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Herber, Paula. editor. Wijs, Anton. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-47705-8">https://doi.org/10.1007/978-3-031-47705-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4840282026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Larsen, Kim Guldstrand. editor. Willemse, Tim. editor. (orcid)0000-0003-3049-7962 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-27008-7">https://doi.org/10.1007/978-3-030-27008-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4838672026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor André, Étienne. editor. (orcid)0000-0001-8473-9555 Stoelinga, Mariëlle. editor. (orcid)0000-0001-6793-8165 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-29662-9">https://doi.org/10.1007/978-3-030-29662-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Symbiotic Interaction 6th International Workshop, Symbiotic 2017, Eindhoven, The Netherlands, December 18–19, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:4012032026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Ham, Jaap. editor. (orcid)0000-0003-1703-5165 Spagnolli, Anna. editor. Blankertz, Benjamin. editor. Gamberini, Luciano. editor. Jacucci, Giulio. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91593-7">https://doi.org/10.1007/978-3-319-91593-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Requirements Engineering: Foundation for Software Quality 24th International Working Conference, REFSQ 2018, Utrecht, The Netherlands, March 19-22, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4019782026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Kamsties, Erik. editor. (orcid)0000-0002-7373-8466 Horkoff, Jennifer. editor. (orcid)0000-0002-2019-5277 Dalpiaz, Fabiano. editor. (orcid)0000-0003-4480-3887 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-77243-1">https://doi.org/10.1007/978-3-319-77243-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>End-User Development 6th International Symposium, IS-EUD 2017, Eindhoven, The Netherlands, June 13-15, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6139602026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Barbosa, Simone. editor. Markopoulos, Panos. editor. Paternò, Fabio. editor. Stumpf, Simone. editor. Valtolina, Stefano. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-58735-6">https://doi.org/10.1007/978-3-319-58735-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Conflict Resolution in Decision Making Second International Workshop, COREDEMA 2016, The Hague, The Netherlands, August 29-30, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:6160272026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Aydoğan, Reyhan. editor. Baarslag, Tim. editor. Gerding, Enrico. editor. Jonker, Catholijn M. editor. Julian, Vicente. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-57285-7">https://doi.org/10.1007/978-3-319-57285-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Applied Reconfigurable Computing 13th International Symposium, ARC 2017, Delft, The Netherlands, April 3-7, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6166862026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Wong, Stephan. editor. Beck, Antonio Carlos. editor. Bertels, Koen. editor. Carro, Luigi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-56258-2">https://doi.org/10.1007/978-3-319-56258-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Computer Games 15th International Conferences, ACG 2017, Leiden, The Netherlands, July 3-5, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:6137602026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Winands, Mark H.M. editor. (orcid)0000-0002-0125-0824 van den Herik, H. Jaap. editor. Kosters, Walter A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-71649-7">https://doi.org/10.1007/978-3-319-71649-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Post-Quantum Cryptography 8th International Workshop, PQCrypto 2017, Utrecht, The Netherlands, June 26-28, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6160722026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Lange, Tanja. editor. Takagi, Tsuyoshi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-59879-6">https://doi.org/10.1007/978-3-319-59879-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Coordination, Organizations, Institutions, and Norms in Agent Systems XII COIN 2016 International Workshops, COIN@AAMAS, Singapore, Singapore, May 9, 2016, COIN@ECAI, The Hague, The Netherlands, August 30, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:6160212026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Cranefield, Stephen. editor. Mahmoud, Samhar. editor. Padget, Julian. editor. Rocha, Ana Paula. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66595-5">https://doi.org/10.1007/978-3-319-66595-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6122882026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Thiemann, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-49498-1">https://doi.org/10.1007/978-3-662-49498-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computers and Games 9th International Conference, CG 2016, Leiden, The Netherlands, June 29 - July 1, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:6159682026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Plaat, Aske. editor. Kosters, Walter. editor. van den Herik, Jaap. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-50935-8">https://doi.org/10.1007/978-3-319-50935-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6171342026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Jacobs, Bart. editor. Löding, Christof. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-49630-5">https://doi.org/10.1007/978-3-662-49630-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Web Services, Formal Methods, and Behavioral Types 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:6108202026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Hildebrandt, Thomas. editor. Ravara, António. editor. van der Werf, Jan Martijn. editor. Weidlich, Matthias. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-33612-1">https://doi.org/10.1007/978-3-319-33612-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Model Checking Software 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6111112026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Bošnački, Dragan. editor. Wijs, Anton. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-32582-8">https://doi.org/10.1007/978-3-319-32582-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Rapid Mashup Development Tools First International Rapid Mashup Challenge, RMC 2015, Rotterdam, The Netherlands, June 23, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:6118892026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Daniel, Florian. editor. Pautasso, Cesare. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-28727-0">https://doi.org/10.1007/978-3-319-28727-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Rewriting Logic and Its Applications 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:6163292026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Lucanu, Dorel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-44802-2">https://doi.org/10.1007/978-3-319-44802-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6160082026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Chechik, Marsha. editor. (orcid)0000-0002-6301-3517 Raskin, Jean-François. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-49674-9">https://doi.org/10.1007/978-3-662-49674-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fundamental Approaches to Software Engineering 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6163852026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Stevens, Perdita. editor. Wąsowski, Andrzej. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-49665-7">https://doi.org/10.1007/978-3-662-49665-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Radio Frequency Identification. Security and Privacy Issues 8th International Workshop, RFIDSec 2012, Nijmegen, The Netherlands, July 2-3, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:3341322026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Hoepman, Jaap-Henk. editor. Verbauwhede, Ingrid. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334132.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36140-1">http://dx.doi.org/10.1007/978-3-642-36140-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Enterprise Interoperability 5th International IFIP Working Conference, IWEI 2013, Enschede, The Netherlands, March 27-28, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3342952026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Sinderen, Marten. editor. Oude Luttighuis, Paul. editor. Folmer, Erwin. editor. Bosems, Steven. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334295.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36796-0">http://dx.doi.org/10.1007/978-3-642-36796-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Engineering Secure Software and Systems 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1963702026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Barthe, Gilles. editor. Livshits, Benjamin. editor. Scandariato, Riccardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28166-2">http://dx.doi.org/10.1007/978-3-642-28166-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Signal Processing and Information Technology First International Joint Conference, SPIT 2011 and IPC 2011, Amsterdam, The Netherlands, December 1-2, 2011, Revised Selected Papersent://SD_ILS/0/SD_ILS:1972342026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Das, Vinu V. editor. Ariwa, Ezendu. editor. Rahayu, Syarifah Bahiyah. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32573-1">http://dx.doi.org/10.1007/978-3-642-32573-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Multi-Agent Systems 9th European Workshop, EUMAS 2011, Maastricht, The Netherlands, November 14-15, 2011. Revised Selected Papersent://SD_ILS/0/SD_ILS:1975492026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Cossentino, Massimo. editor. Kaisers, Michael. editor. Tuyls, Karl. editor. Weiss, Gerhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34799-3">http://dx.doi.org/10.1007/978-3-642-34799-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Web Information Systems and Technologies 7th International Conference, WEBIST 2011, Noordwijkerhout, The Netherlands, May 6-9, 2011, Revised Selected Papersent://SD_ILS/0/SD_ILS:1963432026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Filipe, Joaquim. editor. Cordeiro, José. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28082-5">http://dx.doi.org/10.1007/978-3-642-28082-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Self-Organizing Systems 6th IFIP TC 6 International Workshop, IWSOS 2012, Delft, The Netherlands, March 15-16, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1964812026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Kuipers, Fernando A. editor. Heegaard, Poul E. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28583-7">http://dx.doi.org/10.1007/978-3-642-28583-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Ambient Intelligence Second International Joint Conference on AmI 2011, Amsterdam, The Netherlands, November 16-18, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1958642026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Keyson, David V. editor. Maher, Mary Lou. editor. Streitz, Norbert. editor. Cheok, Adrian. editor. Augusto, Juan Carlos. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-25167-2">http://dx.doi.org/10.1007/978-3-642-25167-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Social Robotics Third International Conference, ICSR 2011, Amsterdam, The Netherlands, November 24-25, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1959632026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Mutlu, Bilge. editor. Bartneck, Christoph. editor. Ham, Jaap. editor. Evers, Vanessa. editor. Kanda, Takayuki. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-25504-5">http://dx.doi.org/10.1007/978-3-642-25504-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Relational and Algebraic Methods in Computer Science 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1945812026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Swart, Harrie. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21070-9">http://dx.doi.org/10.1007/978-3-642-21070-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Human-Robot Personal Relationships Third International Conference, HRPR 2010, Leiden, The Netherlands, June 23-24, 2010, Revised Selected Papersent://SD_ILS/0/SD_ILS:1940262026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Lamers, Maarten H. editor. Verbeek, Fons J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19385-9">http://dx.doi.org/10.1007/978-3-642-19385-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Language Engineering Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected Papersent://SD_ILS/0/SD_ILS:1940452026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Malloy, Brian. editor. Staab, Steffen. editor. Brand, Mark. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19440-5">http://dx.doi.org/10.1007/978-3-642-19440-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Interactive Theorem Proving Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1951622026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Eekelen, Marko. editor. Geuvers, Herman. editor. Schmaltz, Julien. editor. Wiedijk, Freek. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22863-6">http://dx.doi.org/10.1007/978-3-642-22863-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Implementation and Application of Functional Languages 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papersent://SD_ILS/0/SD_ILS:1955882026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Hage, Jurriaan. editor. Morazán, Marco T. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24276-2">http://dx.doi.org/10.1007/978-3-642-24276-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Coordination Models and Languages 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1923262026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Clarke, Dave. editor. Agha, Gul. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13414-2">http://dx.doi.org/10.1007/978-3-642-13414-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Techniques for Distributed Systems Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1923422026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Hatcliff, John. editor. Zucca, Elena. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13464-7">http://dx.doi.org/10.1007/978-3-642-13464-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic, Language and Meaning 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papersent://SD_ILS/0/SD_ILS:1926032026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Aloni, Maria. editor. Bastiaanse, Harald. editor. Jager, Tikitu. editor. Schulz, Katrin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14287-1">http://dx.doi.org/10.1007/978-3-642-14287-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundational and Practical Aspects of Resource Analysis First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papersent://SD_ILS/0/SD_ILS:1929352026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Eekelen, Marko. editor. Shkaravska, Olha. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15331-0">http://dx.doi.org/10.1007/978-3-642-15331-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Incentives, Overlays, and Economic Traffic Control Third International Workshop, ETM 2010, Amsterdam, The Netherlands, September 6, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1929842026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Stiller, Burkhard. editor. Hoßfeld, Tobias. editor. Stamoulis, George D. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15485-0">http://dx.doi.org/10.1007/978-3-642-15485-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Collaboration and Technology 16th International Conference, CRIWG 2010, Maastricht, The Netherlands, September 20-23, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1930612026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Kolfschoten, Gwendolyn. editor. Herrmann, Thomas. editor. Lukosch, Stephan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15714-1">http://dx.doi.org/10.1007/978-3-642-15714-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Graph Transformations 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27–October 2, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1931302026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Ehrig, Hartmut. editor. Rensink, Arend. editor. Rozenberg, Grzegorz. editor. Schürr, Andy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15928-2">http://dx.doi.org/10.1007/978-3-642-15928-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Model Checking Software 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1932062026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Pol, Jaco. editor. Weber, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16164-3">http://dx.doi.org/10.1007/978-3-642-16164-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Practice-Driven Research on Enterprise Transformation Second Working Conference, PRET 2010, Delft, The Netherlands, November 11, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1934032026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Harmsen, Frank. editor. Proper, Erik. editor. Schalkwijk, Frank. editor. Barjis, Joseph. editor. Overbeek, Sietse. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16770-6">http://dx.doi.org/10.1007/978-3-642-16770-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Trends in Enterprise Architecture Research 5th International Workshop, TEAR 2010, Delft, The Netherlands, November 12, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1934202026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Proper, Erik. editor. Lankhorst, Marc M. editor. Schönherr, Marten. editor. Barjis, Joseph. editor. Overbeek, Sietse. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16819-2">http://dx.doi.org/10.1007/978-3-642-16819-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Euro-Par 2009 – Parallel Processing Workshops HPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC, Delft, The Netherlands, August 25-28, 2009, Revised Selected Papersent://SD_ILS/0/SD_ILS:1925572026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Lin, Hai-Xiang. editor. Alexander, Michael. editor. Forsell, Martti. editor. Knüpfer, Andreas. editor. Prodan, Radu. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14122-5">http://dx.doi.org/10.1007/978-3-642-14122-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Distributed Applications and Interoperable Systems 10th IFIP WG 6.1 International Conference, DAIS 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1924022026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Eliassen, Frank. editor. Kapitza, Rüdiger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13645-0">http://dx.doi.org/10.1007/978-3-642-13645-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papersent://SD_ILS/0/SD_ILS:1934962026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Boer, Frank S. editor. Bonsangue, Marcello M. editor. Hallerstede, Stefan. editor. Leuschel, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17071-3">http://dx.doi.org/10.1007/978-3-642-17071-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Enterprise Engineering III 5th International Workshop, CIAO! 2009, and 5th International Workshop, EOMAS 2009, held at CAiSE 2009, Amsterdam, The Netherlands, June 8-9, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1901622026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Albani, Antonia. editor. Barjis, Joseph. editor. Dietz, Jan L. G. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-01915-9">http://dx.doi.org/10.1007/978-3-642-01915-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Requirements Engineering: Foundation for Software Quality 15th International Working Conference, REFSQ 2009 Amsterdam, The Netherlands, June 8-9, 2009 Proceedingsent://SD_ILS/0/SD_ILS:1902002026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Glinz, Martin. editor. Heymans, Patrick. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02050-6">http://dx.doi.org/10.1007/978-3-642-02050-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Wired/Wireless Internet Communications 7th International Conference, WWIC 2009, Enschede, The Netherlands, May 27-29, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1902222026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Berg, Hans. editor. Heijenk, Geert. editor. Osipov, Evgeny. editor. Staehle, Dirk. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02118-3">http://dx.doi.org/10.1007/978-3-642-02118-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods for Industrial Critical Systems 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1909902026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Alpuente, María. editor. Cook, Byron. editor. Joubert, Christophe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04570-7">http://dx.doi.org/10.1007/978-3-642-04570-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advanced Functional Programming 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lecturesent://SD_ILS/0/SD_ILS:1910162026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Koopman, Pieter. editor. Plasmeijer, Rinus. editor. Swierstra, Doaitse. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04652-0">http://dx.doi.org/10.1007/978-3-642-04652-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Testing of Software and Communication Systems 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1911342026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Núñez, Manuel. editor. Baker, Paul. editor. Merayo, Mercedes G. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-05031-2">http://dx.doi.org/10.1007/978-3-642-05031-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>FM 2009: Formal Methods Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1911552026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Cavalcanti, Ana. editor. Dams, Dennis R. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-05089-3">http://dx.doi.org/10.1007/978-3-642-05089-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Process and Product Measurement International Conferences IWSM 2009 and Mensura 2009 Amsterdam, The Netherlands, November 4-6, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1912622026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Abran, Alain. editor. Braungarten, René. editor. Dumke, Reiner R. editor. Cuadrado-Gallego, Juan J. editor. Brunekreef, Jacob. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-05415-0">http://dx.doi.org/10.1007/978-3-642-05415-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Engineering Societies in the Agents World X 10th International Workshop, ESAW 2009, Utrecht, The Netherlands, November 18-20, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1912952026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Aldewereld, Huib. editor. Dignum, Virginia. editor. Picard, Gauthier. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-10203-5">http://dx.doi.org/10.1007/978-3-642-10203-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Enterprise Engineering II First NAF Academy Working Conference on Practice-Driven Research on Enterprise Transformation, PRET 2009, held at CAiSE 2009, Amsterdam, The Netherlands, June 11, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1901442026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Proper, Erik. editor. Harmsen, Frank. editor. Dietz, Jan L. G. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-01859-6">http://dx.doi.org/10.1007/978-3-642-01859-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Enterprise, Business-Process and Information Systems Modeling 10th International Workshop, BPMDS 2009, and 14th International Conference, EMMSAD 2009, held at CAiSE 2009, Amsterdam, The Netherlands, June 8-9, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1901452026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Halpin, Terry. editor. Krogstie, John. editor. Nurcan, Selmin. editor. Proper, Erik. editor. Schmidt, Rainer. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-01862-6">http://dx.doi.org/10.1007/978-3-642-01862-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Model Driven Architecture - Foundations and Applications 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1903952026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Paige, Richard F. editor. Hartman, Alan. editor. Rensink, Arend. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02674-4">http://dx.doi.org/10.1007/978-3-642-02674-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Architecture of Computing Systems – ARCS 2009 22nd International Conference, Delft, The Netherlands, March 10-13, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1896922026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Berekovic, Mladen. editor. Müller-Schloer, Christian. editor. Hochberger, Christian. editor. Wong, Stephan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00454-4">http://dx.doi.org/10.1007/978-3-642-00454-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Grid Economics and Business Models 6th International Workshop, GECON 2009, Delft, The Netherlands, August 24, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1907622026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Altmann, Jörn. editor. Buyya, Rajkumar. editor. Rana, Omer F. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03864-8">http://dx.doi.org/10.1007/978-3-642-03864-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Euro-Par 2009 Parallel Processing 15th International Euro-Par Conference, Delft, The Netherlands, August 25-28, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1907642026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Sips, Henk. editor. Epema, Dick. editor. Lin, Hai-Xiang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03869-3">http://dx.doi.org/10.1007/978-3-642-03869-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Teaching Formal Methods Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1910972026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Gibbons, Jeremy. editor. Oliveira, José Nuno. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04912-5">http://dx.doi.org/10.1007/978-3-642-04912-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods for Components and Objects 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lecturesent://SD_ILS/0/SD_ILS:1893982026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Boer, Frank S. editor. Bonsangue, Marcello M. editor. Graf, Susanne. editor. Roever, Willem-Paul. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-92188-2">http://dx.doi.org/10.1007/978-3-540-92188-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lecturesent://SD_ILS/0/SD_ILS:1872652026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Boer, Frank S. editor. Bonsangue, Marcello M. editor. Graf, Susanne. editor. Roever, Willem-Paul. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74792-5">http://dx.doi.org/10.1007/978-3-540-74792-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Wireless Sensor Networks 4th European Conference, EWSN 2007, Delft, The Netherlands, January 29-31, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1859002026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Langendoen, Koen. editor. Voigt, Thiemo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69830-2">http://dx.doi.org/10.1007/978-3-540-69830-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Dependable and Adaptable Networks and Services 13th Open European Summer School and IFIP TC6.6 Workshop, EUNICE 2007, Enschede, The Netherlands, July 18-20, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1868832026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Pras, Aiko. editor. Sinderen, Marten. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73530-4">http://dx.doi.org/10.1007/978-3-540-73530-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Defence Applications of Multi-Agent Systems International Workshop, DAMAS 2005, Utrecht, The Netherlands, July 25, 2005, Revised and Invited Papersent://SD_ILS/0/SD_ILS:1835162026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Thompson, Simon G. editor. Ghanea-Hercock, Robert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11683704">http://dx.doi.org/10.1007/11683704</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Engineering Self-Organising Systems Third International Workshop, ESOA 2005, Utrecht, The Netherlands, July 25, 2005, Revised Selected Papersent://SD_ILS/0/SD_ILS:1837112026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Brueckner, Sven A. editor. Marzo Serugendo, Giovanna. editor. Hales, David. editor. Zambonelli, Franco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11734697">http://dx.doi.org/10.1007/11734697</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Agent-Oriented Software Engineering VI 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papersent://SD_ILS/0/SD_ILS:1839382026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Müller, Jörg P. editor. Zambonelli, Franco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11752660">http://dx.doi.org/10.1007/11752660</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Persuasive Technology First International Conference on Persuasive Technology for Human Well-Being, PERSUASIVE 2006, Eindhoven, The Netherlands, May 18-19, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1839982026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor IJsselsteijn, Wijnand A. editor. Kort, Yvonne A. W. editor. Midden, Cees. editor. Eggen, Berry. editor. Hoven, Elise. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11755494">http://dx.doi.org/10.1007/11755494</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems AAMAS 2005 International Workshops on Agents, Norms and Institutions for Regulated Multi-Agent Systems, ANIREM 2005, and Organizations in Multi-Agent Systems, OOOP 2005, Utrecht, The Netherlands, July 25-26, 2005, Revised Selected Papersent://SD_ILS/0/SD_ILS:1842162026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Boissier, Olivier. editor. Padget, Julian. editor. Dignum, Virginia. editor. Lindemann, Gabriela. editor. Matson, Eric. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11775331">http://dx.doi.org/10.1007/11775331</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Multi-Agent Systems Third International Workshop, ProMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised and Invited Papersent://SD_ILS/0/SD_ILS:1834512026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Bordini, Rafael H. editor. Dastani, Mehdi M. editor. Dix, Jürgen. editor. Fallah Seghrouchni, Amal. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11678823">http://dx.doi.org/10.1007/11678823</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Declarative Agent Languages and Technologies III Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papersent://SD_ILS/0/SD_ILS:1836232026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Baldoni, Matteo. editor. Endriss, Ulle. editor. Omicini, Andrea. editor. Torroni, Paolo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11691792">http://dx.doi.org/10.1007/11691792</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods for Components and Objects 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lecturesent://SD_ILS/0/SD_ILS:1844262026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Boer, Frank S. editor. Bonsangue, Marcello M. editor. Graf, Susanne. editor. Roever, Willem-Paul. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11804192">http://dx.doi.org/10.1007/11804192</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Agent Communication II International Workshops on Agent Communication, AC 2005 and AC 2006, Utrecht, Netherlands, July 25, 2005, and Hakodate, Japan, May 9, 2006, Selected and Revised Papersent://SD_ILS/0/SD_ILS:1853722026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Dignum, Frank P. M. editor. Eijk, Rogier M. editor. Flores, Roberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68143-4">http://dx.doi.org/10.1007/978-3-540-68143-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Product-Focused Software Process Improvement 7th International Conference, PROFES 2006, Amsterdam, The Netherlands, June 12-14, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1841432026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Münch, Jürgen. editor. Vierimaa, Matias. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11767718">http://dx.doi.org/10.1007/11767718</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Grid Computing - EGC 2005 European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papersent://SD_ILS/0/SD_ILS:1831012026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Sloot, Peter M. A. editor. Hoekstra, Alfons G. editor. Priol, Thierry. editor. Reinefeld, Alexander. editor. Bubak, Marian. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137919">http://dx.doi.org/10.1007/b137919</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods for Components and Objects Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 – 5, 2004, Revised Lecturesent://SD_ILS/0/SD_ILS:1830122026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Boer, Frank S. editor. Bonsangue, Marcello M. editor. Graf, Susanne. editor. Roever, Willem-Paul. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11561163">http://dx.doi.org/10.1007/11561163</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Model Driven Architecture European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003 and Linköping, Sweden, June 10-11, 2004. Revised Selected Papersent://SD_ILS/0/SD_ILS:1829062026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Aßmann, Uwe. editor. Aksit, Mehmet. editor. Rensink, Arend. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11538097">http://dx.doi.org/10.1007/11538097</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Integrated Formal Methods 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1832272026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Romijn, Judi. editor. Smith, Graeme. editor. Pol, Jaco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11589976">http://dx.doi.org/10.1007/11589976</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Service-Oriented Computing - ICSOC 2005 Third International Conference, Amsterdam, The Netherlands, December 12-15, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1832792026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Benatallah, Boualem. editor. Casati, Fabio. editor. Traverso, Paolo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11596141">http://dx.doi.org/10.1007/11596141</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Rebeca for Actor Analysis in Action Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthdayent://SD_ILS/0/SD_ILS:6077002026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Lee, Edward A. editor. (orcid)0000-0002-5663-0584 Mousavi, Mohammad Reza. editor. (orcid)0000-0002-4869-6794 Talcott, Carolyn. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-85134-6">https://doi.org/10.1007/978-3-031-85134-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Interactive Modeling and Simulation in Business System Designent://SD_ILS/0/SD_ILS:6111682026-06-16T19:30:32Z2026-06-16T19:30:32ZAuthor Roubtsova, Ella. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-15102-1">https://doi.org/10.1007/978-3-319-15102-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>