Search Results for Netherlands - Narrowed by: Computer science.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dNetherlands$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026ps$003d300$0026isd$003dtrue?2026-06-16T21:39:10ZFrom 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-16T21:39:10Z2026-06-16T21:39:10ZAuthor 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/>Recent Trends in Algebraic Development Techniques 27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, Revised Selected Papersent://SD_ILS/0/SD_ILS:6084702026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Țuțu, Ionuț. editor. (orcid)0009-0004-4280-3036 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-88930-1">https://doi.org/10.1007/978-3-031-88930-1</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-16T21:39:10Z2026-06-16T21:39:10ZAuthor 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/>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-16T21:39:10Z2026-06-16T21:39:10ZAuthor 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/>Algorithmic Aspects of Cloud Computing 8th International Symposium, ALGOCLOUD 2023, Amsterdam, The Netherlands, September 5, 2023, Revised Selected Papersent://SD_ILS/0/SD_ILS:6021392026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Chatzigiannakis, Ioannis. editor. Karydis, Ioannis. editor. (orcid)0000-0002-9470-2729 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-49361-4">https://doi.org/10.1007/978-3-031-49361-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Intelligent Data Analysis XVII 17th International Symposium, IDA 2018, ’s-Hertogenbosch, The Netherlands, October 24–26, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3991122026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Duivesteijn, Wouter. editor. Siebes, Arno. editor. Ukkonen, Antti. editor. (orcid)0000-0001-6060-1746 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-01768-2">https://doi.org/10.1007/978-3-030-01768-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Relational and Algebraic Methods in Computer Science 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4005522026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Desharnais, Jules. editor. (orcid)0000-0002-4780-2698 Guttmann, Walter. editor. (orcid)0000-0003-2969-1688 Joosten, Stef. editor. (orcid)0000-0001-8308-0189 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-02149-8">https://doi.org/10.1007/978-3-030-02149-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Artificial Intelligence 29th Benelux Conference, BNAIC 2017, Groningen, The Netherlands, November 8–9, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:4024962026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Verheij, Bart. editor. Wiering, Marco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-76892-2">https://doi.org/10.1007/978-3-319-76892-2</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-16T21:39:10Z2026-06-16T21:39:10ZAuthor 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-16T21:39:10Z2026-06-16T21:39:10ZAuthor 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/>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-16T21:39:10Z2026-06-16T21:39:10ZAuthor 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/>Genetic Programming 20th European Conference, EuroGP 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6115232026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor McDermott, James. editor. Castelli, Mauro. editor. Sekanina, Lukas. editor. Haasdijk, Evert. editor. García-Sánchez, Pablo. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-55696-3">https://doi.org/10.1007/978-3-319-55696-3</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-16T21:39:10Z2026-06-16T21:39:10ZAuthor 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/>Evolutionary Computation in Combinatorial Optimization 17th European Conference, EvoCOP 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6161762026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Hu, Bin. editor. López-Ibáñez, Manuel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-55453-2">https://doi.org/10.1007/978-3-319-55453-2</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-16T21:39:10Z2026-06-16T21:39:10ZAuthor 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/>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-16T21:39:10Z2026-06-16T21:39:10ZAuthor 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-16T21:39:10Z2026-06-16T21:39:10ZAuthor 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-16T21:39:10Z2026-06-16T21:39:10ZAuthor 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/>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-16T21:39:10Z2026-06-16T21:39:10ZAuthor 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-16T21:39:10Z2026-06-16T21:39:10ZAuthor 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/>Coalgebraic Methods in Computer Science 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:6162372026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Hasuo, Ichiro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-40370-0">https://doi.org/10.1007/978-3-319-40370-0</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-16T21:39:10Z2026-06-16T21:39:10ZAuthor 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/>Privacy Enhancing Technologies 14th International Symposium, PETS 2014, Amsterdam, The Netherlands, July 16-18, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4889542026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor De Cristofaro, Emiliano. editor. Murdoch, Steven J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-08506-7">https://doi.org/10.1007/978-3-319-08506-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Privacy and Identity Management for Emerging Services and Technologies 8th IFIP WG 9.2, 9.5, 9.6/11.7, 11.4, 11.6 International Summer School, Nijmegen, The Netherlands, June 17-21, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:4890602026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Hansen, Marit. editor. Hoepman, Jaap-Henk. editor. Leenes, Ronald. editor. Whitehouse, Diane. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-55137-6">https://doi.org/10.1007/978-3-642-55137-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Collaborative Systems for Smart Networked Environments 15th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2014, Amsterdam, The Netherlands, October 6-8, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4893842026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Camarinha-Matos, Luis M. editor. (orcid)0000-0003-0594-1961 Afsarmanesh, Hamideh. editor. (orcid)0000-0001-5402-2000 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-44745-1">https://doi.org/10.1007/978-3-662-44745-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Computer Entertainment 10th International Conference, ACE 2013, Boekelo, The Netherlands, November 12-15, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3329682026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Reidsma, Dennis. editor. Katayose, Haruhiro. editor. Nijholt, Anton. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332968.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-03161-3">http://dx.doi.org/10.1007/978-3-319-03161-3</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-16T21:39:10Z2026-06-16T21:39:10ZAuthor 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/>Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3347022026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Hasegawa, Masahito. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334702.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38946-7">http://dx.doi.org/10.1007/978-3-642-38946-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Critical Information Infrastructures Security 8th International Workshop, CRITIS 2013, Amsterdam, The Netherlands, September 16-18, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:3330082026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Luiijf, Eric. editor. Hartel, Pieter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333008.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-03964-0">http://dx.doi.org/10.1007/978-3-319-03964-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Recent Trends in Applied Artificial Intelligence 26th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2013, Amsterdam, The Netherlands, June 17-21, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3346272026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Ali, Moonis. editor. Bosse, Tibor. editor. Hindriks, Koen V. editor. Hoogendoorn, Mark. editor. Jonker, Catholijn M. editor.<br/>Preferred Shelf Number ONLINE(334627.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38577-3">http://dx.doi.org/10.1007/978-3-642-38577-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Symbolic and Quantitative Approaches to Reasoning with Uncertainty 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3347282026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Gaag, Linda C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334728.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39091-3">http://dx.doi.org/10.1007/978-3-642-39091-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Graph Drawing 19th International Symposium, GD 2011, Eindhoven, The Netherlands, September 21-23, 2011, Revised Selected Papersent://SD_ILS/0/SD_ILS:1960722026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Kreveld, Marc. editor. Speckmann, Bettina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-25878-7">http://dx.doi.org/10.1007/978-3-642-25878-7</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-16T21:39:10Z2026-06-16T21:39:10ZAuthor 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/>Constructing Ambient Intelligence AmI 2011 Workshops, Amsterdam, The Netherlands, November 16-18, 2011. Revised Selected Papersent://SD_ILS/0/SD_ILS:1970852026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Wichert, Reiner. editor. Laerhoven, Kristof. editor. Gelissen, Jean. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31479-7">http://dx.doi.org/10.1007/978-3-642-31479-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic, Language and Meaning 18th Amsterdam Colloquium, Amsterdam , The Netherlands, December 19-21, 2011, Revised Selected Papersent://SD_ILS/0/SD_ILS:1970862026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Aloni, Maria. editor. Kimmelman, Vadim. editor. Roelofsen, Floris. editor. Sassoon, Galit W. editor. Schulz, Katrin. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31482-7">http://dx.doi.org/10.1007/978-3-642-31482-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Computer Games 13th International Conference, ACG 2011, Tilburg, The Netherlands, November 20-22, 2011, Revised Selected Papersent://SD_ILS/0/SD_ILS:1971462026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Herik, H. Jaap. editor. Plaat, Aske. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31866-5">http://dx.doi.org/10.1007/978-3-642-31866-5</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-16T21:39:10Z2026-06-16T21:39:10ZAuthor 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-16T21:39:10Z2026-06-16T21:39:10ZAuthor 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/>ICT Critical Infrastructures and Society 10th IFIP TC 9 International Conference on Human Choice and Computers, HCC10 2012, Amsterdam, The Netherlands, September 27-28, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1973572026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Hercheui, Magda David. editor. Whitehouse, Diane. editor. McIver, William. editor. Phahlamohlaka, Jackie. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33332-3">http://dx.doi.org/10.1007/978-3-642-33332-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Research in Attacks, Intrusions, and Defenses 15th International Symposium, RAID 2012, Amsterdam, The Netherlands, September 12-14, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1973582026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Balzarotti, Davide. editor. Stolfo, Salvatore J. editor. Cova, Marco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33338-5">http://dx.doi.org/10.1007/978-3-642-33338-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theoretical Computer Science 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1973822026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Baeten, Jos C. M. editor. Ball, Tom. editor. Boer, Frank S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33475-7">http://dx.doi.org/10.1007/978-3-642-33475-7</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-16T21:39:10Z2026-06-16T21:39:10ZAuthor 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-16T21:39:10Z2026-06-16T21:39:10ZAuthor 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/>Natural Language Processing and Information Systems 17th International Conference on Applications of Natural Language to Information Systems, NLDB 2012, Groningen, The Netherlands, June 26-28, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1970342026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Bouma, Gosse. editor. Ittoo, Ashwin. editor. Métais, Elisabeth. editor. Wortmann, Hans. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31178-9">http://dx.doi.org/10.1007/978-3-642-31178-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Detection of Intrusions and Malware, and Vulnerability Assessment 8th International Conference; DIMVA 2011, Amsterdam, The Netherlands, July 7-8, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1950222026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Holz, Thorsten. editor. Bos, Herbert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22424-9">http://dx.doi.org/10.1007/978-3-642-22424-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Electronic Government 10th IFIP WG 8.5 International Conference, EGOV 2011, Delft, The Netherlands, August 28 – September 2, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1951672026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Janssen, Marijn. editor. Scholl, Hans J. editor. Wimmer, Maria A. editor. Tan, Yao-hua. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22878-0">http://dx.doi.org/10.1007/978-3-642-22878-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Multilingual and Multimodal Information Access Evaluation Second International Conference of the Cross-Language Evaluation Forum, CLEF 2011, Amsterdam, The Netherlands, September 19-22, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1954222026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Forner, Pamela. editor. Gonzalo, Julio. editor. Kekäläinen, Jaana. editor. Lalmas, Mounia. editor. Rijke, Marteen. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23708-9">http://dx.doi.org/10.1007/978-3-642-23708-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Pattern Recognition in Bioinformatics 6th IAPR International Conference, PRIB 2011, Delft, The Netherlands, November 2-4, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1957692026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Loog, Marco. editor. Wessels, Lodewyk. editor. Reinders, Marcel J. T. editor. Ridder, Dick. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24855-9">http://dx.doi.org/10.1007/978-3-642-24855-9</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-16T21:39:10Z2026-06-16T21:39:10ZAuthor 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/>Human Behavior Understanding Second International Workshop, HBU 2011, Amsterdam, The Netherlands, November 16, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1959452026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Salah, Albert Ali. editor. Lepri, Bruno. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-25446-8">http://dx.doi.org/10.1007/978-3-642-25446-8</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-16T21:39:10Z2026-06-16T21:39:10ZAuthor 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-16T21:39:10Z2026-06-16T21:39:10ZAuthor 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-16T21:39:10Z2026-06-16T21:39:10ZAuthor 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-16T21:39:10Z2026-06-16T21:39:10ZAuthor 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/>Information Theoretic Security 5th International Conference, ICITS 2011, Amsterdam, The Netherlands, May 21-24, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1944662026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Fehr, Serge. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-20728-0">http://dx.doi.org/10.1007/978-3-642-20728-0</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-16T21:39:10Z2026-06-16T21:39:10ZAuthor 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/>Comparative Evaluation of Focused Retrieval 9th International Workshop of the Inititative for the Evaluation of XML Retrieval, INEX 2010, Vugh, The Netherlands, December 13-15, 2010, Revised Selected Papersent://SD_ILS/0/SD_ILS:1953832026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Geva, Shlomo. editor. Kamps, Jaap. editor. Schenkel, Ralf. editor. Trotman, Andrew. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23577-1">http://dx.doi.org/10.1007/978-3-642-23577-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Electronic Participation Third IFIP WG 8.5 International Conference, ePart 2011, Delft, The Netherlands, August 29 – September 1, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1953122026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Tambouris, Efthimios. editor. Macintosh, Ann. editor. Bruijn, Hans. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23333-3">http://dx.doi.org/10.1007/978-3-642-23333-3</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-16T21:39:10Z2026-06-16T21:39:10ZAuthor 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-16T21:39:10Z2026-06-16T21:39:10ZAuthor 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-16T21:39:10Z2026-06-16T21:39:10ZAuthor 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-16T21:39:10Z2026-06-16T21:39:10ZAuthor 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-16T21:39:10Z2026-06-16T21:39:10ZAuthor 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-16T21:39:10Z2026-06-16T21:39:10ZAuthor 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-16T21:39:10Z2026-06-16T21:39:10ZAuthor 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-16T21:39:10Z2026-06-16T21:39:10ZAuthor 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/>Pattern Recognition in Bioinformatics 5th IAPR International Conference, PRIB 2010, Nijmegen, The Netherlands, September 22-24, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1931542026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Dijkstra, Tjeerd M. H. editor. Tsivtsivadze, Evgeni. editor. Marchiori, Elena. editor. Heskes, Tom. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16001-1">http://dx.doi.org/10.1007/978-3-642-16001-1</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-16T21:39:10Z2026-06-16T21:39:10ZAuthor 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/>AI Approaches to the Complexity of Legal Systems. Complex Systems, the Semantic Web, Ontologies, Argumentation, and Dialogue International Workshops AICOL-I/IVR-XXIV Beijing, China, September19, 2009 and AICOL-II/JURIX 2009, Rotterdam,The Netherlands, December 16, 2009 Revised Selected Papersent://SD_ILS/0/SD_ILS:1933242026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Casanovas, Pompeu. editor. Pagallo, Ugo. editor. Sartor, Giovanni. editor. Ajani, Gianmaria. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16524-5">http://dx.doi.org/10.1007/978-3-642-16524-5</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-16T21:39:10Z2026-06-16T21:39:10ZAuthor 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/>Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 19th International Workshop, PATMOS 2009, Delft, The Netherlands, September 9-11, 2009, Revised Selected Papersent://SD_ILS/0/SD_ILS:1918022026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Monteiro, José. editor. Leuken, René. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11802-9">http://dx.doi.org/10.1007/978-3-642-11802-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Aspects in Security and Trust 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papersent://SD_ILS/0/SD_ILS:1920042026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Degano, Pierpaolo. editor. Guttman, Joshua D. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12459-4">http://dx.doi.org/10.1007/978-3-642-12459-4</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-16T21:39:10Z2026-06-16T21:39:10ZAuthor 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/>Logic and the Foundations of Game and Decision Theory – LOFT 8 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papersent://SD_ILS/0/SD_ILS:1928812026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Bonanno, Giacomo. editor. Löwe, Benedikt. editor. Hoek, Wiebe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15164-4">http://dx.doi.org/10.1007/978-3-642-15164-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Motion in Games Third International Conference, MIG 2010, Utrecht, The Netherlands, November 14-16, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1934752026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Boulic, Ronan. editor. Chrysanthou, Yiorgos. editor. Komura, Taku. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16958-8">http://dx.doi.org/10.1007/978-3-642-16958-8</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-16T21:39:10Z2026-06-16T21:39:10ZAuthor 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/>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-16T21:39:10Z2026-06-16T21:39:10ZAuthor 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-16T21:39:10Z2026-06-16T21:39:10ZAuthor 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/>Advanced Information Systems Engineering 21st International Conference, CAiSE 2009, Amsterdam, The Netherlands, June 8-12, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1902302026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Eck, Pascal. editor. Gordijn, Jaap. editor. Wieringa, Roel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02144-2">http://dx.doi.org/10.1007/978-3-642-02144-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Intelligent Technologies for Interactive Entertainment Third International Conference, INTETAIN 2009, Amsterdam, The Netherlands, June 22-24, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1902852026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Nijholt, Anton. editor. Reidsma, Dennis. editor. Hondorp, Hendri. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02315-6">http://dx.doi.org/10.1007/978-3-642-02315-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mathematical Morphology and Its Application to Signal and Image Processing 9th International Symposium, ISMM 2009 Groningen, The Netherlands, August 24-27, 2009 Proceedingsent://SD_ILS/0/SD_ILS:1906792026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Wilkinson, Michael H. F. editor. Roerdink, Jos B. T. M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03613-2">http://dx.doi.org/10.1007/978-3-642-03613-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Intelligent Virtual Agents 9th International Conference, IVA 2009 Amsterdam, The Netherlands, September 14-16, 2009 Proceedingsent://SD_ILS/0/SD_ILS:1909272026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Ruttkay, Zsófia. editor. Kipp, Michael. editor. Nijholt, Anton. editor. Vilhjálmsson, Hannes Högni. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04380-2">http://dx.doi.org/10.1007/978-3-642-04380-2</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-16T21:39:10Z2026-06-16T21:39:10ZAuthor 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-16T21:39:10Z2026-06-16T21:39:10ZAuthor 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-16T21:39:10Z2026-06-16T21:39:10ZAuthor 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-16T21:39:10Z2026-06-16T21:39:10ZAuthor 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-16T21:39:10Z2026-06-16T21:39:10ZAuthor 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-16T21:39:10Z2026-06-16T21:39:10ZAuthor 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/>Motion in Games Second International Workshop, MIG 2009, Zeist, The Netherlands, November 21-24, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1913422026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Egges, Arjan. editor. Geraerts, Roland. editor. Overmars, Mark. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-10347-6">http://dx.doi.org/10.1007/978-3-642-10347-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Forensics Third International Workshop, IWCF 2009, The Hague, The Netherlands, August 13-14, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1906512026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Geradts, Zeno J. M. H. editor. Franke, Katrin Y. editor. Veenman, Cor J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03521-0">http://dx.doi.org/10.1007/978-3-642-03521-0</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-16T21:39:10Z2026-06-16T21:39:10ZAuthor 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/>Scalability of Networks and Services Third International Conference on Autonomous Infrastructure, Management and Security, AIMS 2009 Enschede, The Netherlands, June 30–July 2, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1903802026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Sadre, Ramin. editor. Pras, Aiko. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02627-0">http://dx.doi.org/10.1007/978-3-642-02627-0</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-16T21:39:10Z2026-06-16T21:39:10ZAuthor 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-16T21:39:10Z2026-06-16T21:39:10ZAuthor 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-16T21:39:10Z2026-06-16T21:39:10ZAuthor 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-16T21:39:10Z2026-06-16T21:39:10ZAuthor 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-16T21:39:10Z2026-06-16T21:39:10ZAuthor 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/>Network Control and Optimization Third Euro-NF Conference, NET-COOP 2009 Eindhoven, The Netherlands, November 23-25, 2009 Proceedingsent://SD_ILS/0/SD_ILS:1913582026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Núñez-Queija, Rudesindo. editor. Resing, Jacques. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-10406-0">http://dx.doi.org/10.1007/978-3-642-10406-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Knowledge Management for Health Care Procedures From Knowledge to Global Care, AIME 2007 Workshop K4CARE 2007, Amsterdam, The Netherlands, July 7, 2007, Revised Selected Papersent://SD_ILS/0/SD_ILS:1881902026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Riaño, David. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78624-5">http://dx.doi.org/10.1007/978-3-540-78624-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Times of Convergence. Technologies Across Learning Contexts Third European Conference on Technology Enhanced Learning, EC-TEL 2008, Maastricht, The Netherlands, September 16-19, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1888802026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Dillenbourg, Pierre. editor. Specht, Marcus. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-87605-2">http://dx.doi.org/10.1007/978-3-540-87605-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Motion in Games First International Workshop, MIG 2008, Utrecht, The Netherlands, June 14-17, 2008. Revised Papersent://SD_ILS/0/SD_ILS:1892232026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Egges, Arjan. editor. Kamphuis, Arno. editor. Overmars, Mark. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-89220-5">http://dx.doi.org/10.1007/978-3-540-89220-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Policies and Research in Identity Management First IFIP WG11.6 Working Conference on Policies and Research in Identity Management (IDMAN'07), RSM Erasmus University, Rotterdam, The Netherlands, October 11-12, 2007ent://SD_ILS/0/SD_ILS:1675462026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Leeuw, Elisabeth. editor. Fischer-Hübner, Simone. editor. Tseng, Jimmy. editor. Borking, John. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-77996-6">http://dx.doi.org/10.1007/978-0-387-77996-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fun and Games Second International Conference, Eindhoven, The Netherlands, October 20-21, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1890322026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Markopoulos, Panos. editor. Ruyter, Boris. editor. IJsselsteijn, Wijnand. editor. Rowland, Duncan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-88322-7">http://dx.doi.org/10.1007/978-3-540-88322-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Machine Learning for Multimodal Interaction 5th International Workshop, MLMI 2008, Utrecht, The Netherlands, September 8-10, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1887912026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Popescu-Belis, Andrei. editor. Stiefelhagen, Rainer. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85853-9">http://dx.doi.org/10.1007/978-3-540-85853-9</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-16T21:39:10Z2026-06-16T21:39:10ZAuthor 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/>Information Processing in Medical Imaging 20th International Conference, IPMI 2007, Kerkrade, The Netherlands, July 2-6, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1867972026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Karssemeijer, Nico. editor. Lelieveldt, Boudewijn. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73273-0">http://dx.doi.org/10.1007/978-3-540-73273-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Artificial Intelligence in Medicine 11th Conference on Artificial Intelligence in Medicine, AIME 2007, Amsterdam, The Netherlands, July 7-11, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1869082026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Bellazzi, Riccardo. editor. Abu-Hanna, Ameen. editor. Hunter, Jim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73599-1">http://dx.doi.org/10.1007/978-3-540-73599-1</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-16T21:39:10Z2026-06-16T21:39:10ZAuthor 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/>Advanced Concepts for Intelligent Vision Systems 9th International Conference, ACIVS 2007, Delft, The Netherlands, August 28-31, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1872122026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Blanc-Talon, Jacques. editor. Philips, Wilfried. editor. Popescu, Dan. editor. Scheunders, Paul. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74607-2">http://dx.doi.org/10.1007/978-3-540-74607-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory of Cryptography 4th Theory of Cryptography Conference, TCC 2007, Amsterdam, The Netherlands, February 21-24, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1861072026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Vadhan, Salil P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-70936-7">http://dx.doi.org/10.1007/978-3-540-70936-7</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-16T21:39:10Z2026-06-16T21:39:10ZAuthor 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/>Interactive TV: a Shared Experience 5th European Conference, EuroITV 2007, Amsterdam, The Netherlands, May 24-25, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1865842026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Cesar, Pablo. editor. Chorianopoulos, Konstantinos. editor. Jensen, Jens F. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72559-6">http://dx.doi.org/10.1007/978-3-540-72559-6</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-16T21:39:10Z2026-06-16T21:39:10ZAuthor 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/>Cooperative Information Agents XI 11th International Workshop, CIA 2007, Delft, The Netherlands, September 19-21, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1873382026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Klusch, Matthias. editor. Hindriks, Koen V. editor. Papazoglou, Mike P. editor. Sterling, Leon. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75119-9">http://dx.doi.org/10.1007/978-3-540-75119-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Visual Information and Information Systems 8th International Conference, VISUAL 2005, Amsterdam, The Netherlands, July 5, 2005, Revised Selected Papersent://SD_ILS/0/SD_ILS:1832922026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Bres, Stéphane. editor. Laurini, Robert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11590064">http://dx.doi.org/10.1007/11590064</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-16T21:39:10Z2026-06-16T21:39:10ZAuthor 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/>Learning and Adaption in Multi-Agent Systems First International Workshop, LAMAS 2005, Utrecht, The Netherlands, July 25, 2005, Revised Selected Papersent://SD_ILS/0/SD_ILS:1836062026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Tuyls, Karl. editor. Hoen, Pieter Jan’t. editor. Verbeeck, Katja. editor. Sen, Sandip. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11691839">http://dx.doi.org/10.1007/11691839</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-16T21:39:10Z2026-06-16T21:39:10ZAuthor 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/>Multi-Agent-Based Simulation VI International Workshop, MABS 2005, Utrecht, The Netherlands, July 25, 2005, Revised and Invited Papersent://SD_ILS/0/SD_ILS:1837202026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Sichman, Jaime S. editor. Antunes, Luis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11734680">http://dx.doi.org/10.1007/11734680</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-16T21:39:10Z2026-06-16T21:39:10ZAuthor 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-16T21:39:10Z2026-06-16T21:39:10ZAuthor 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-16T21:39:10Z2026-06-16T21:39:10ZAuthor 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/>Argumentation in Multi-Agent Systems Second International Workshop, ArgMAS 2005 Utrecht, The Netherlands, July 26, 2005 Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:1843762026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Parsons, Simon. editor. Maudet, Nicolas. editor. Moraitis, Pavlos. editor. Rahwan, Iyad. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11794578">http://dx.doi.org/10.1007/11794578</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Environments for Multi-Agent Systems II Second International Workshop, E4MAS 2005, Utrecht, The Netherlands, July 25, 2005, Selected Revised and Invited Papersent://SD_ILS/0/SD_ILS:1834502026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Weyns, Danny. editor. Dyke Parunak, H. editor. Michel, Fabien. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11678809">http://dx.doi.org/10.1007/11678809</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-16T21:39:10Z2026-06-16T21:39:10ZAuthor 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/>Agent-Mediated Electronic Commerce. Designing Trading Agents and Mechanisms AAMAS 2005 Workshop, AMEC 2005, Utrecht, Netherlands, July 25, 2005, and IJCAI 2005 Workshop, TADA 2005, Edinburgh, UK, August 1, 2005, Selected and Revised Papersent://SD_ILS/0/SD_ILS:1849022026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Poutré, Han. editor. Sadeh, Norman M. editor. Janson, Sverker. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11888727">http://dx.doi.org/10.1007/11888727</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Smart Sensing and Context First European Conference, EuroSSC 2006 Enschede, Netherlands, October 25-27, 2006 Proceedingsent://SD_ILS/0/SD_ILS:1850412026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Havinga, Paul. editor. Lijding, Maria. editor. Meratnia, Nirvana. editor. Wegdam, Maarten. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11907503">http://dx.doi.org/10.1007/11907503</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Agent-Oriented Information Systems III 7th International Bi-Conference Workshop, AOIS 2005, Utrecht, Netherlands, July 26, 2005, and Klagenfurt, Austria, October 27, 2005, Revised Selected Papersent://SD_ILS/0/SD_ILS:1850702026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Kolp, Manuel. editor. Bresciani, Paolo. editor. Henderson-Sellers, Brian. editor. Winikoff, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11916291">http://dx.doi.org/10.1007/11916291</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Agents and Peer-to-Peer Computing 4th International Workshop, AP2PC 2005, Utrecht, The Netherlands, July 25, 2005. Revised Papersent://SD_ILS/0/SD_ILS:1856682026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Despotovic, Zoran. editor. Joseph, Sam. editor. Sartori, Claudio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11925941">http://dx.doi.org/10.1007/11925941</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Membrane Computing 7th International Workshop, WMC 2006, Leiden, The Netherlands, July 17-21, 2006, Revised, Selected, and Invited Papersent://SD_ILS/0/SD_ILS:1857092026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Hoogeboom, Hendrik Jan. editor. Păun, Gheorghe. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11963516">http://dx.doi.org/10.1007/11963516</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-16T21:39:10Z2026-06-16T21:39:10ZAuthor 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-16T21:39:10Z2026-06-16T21:39:10ZAuthor 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-16T21:39:10Z2026-06-16T21:39:10ZAuthor 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/>Biomedical Image Registration Third International Workshop, WBIR 2006, Utrecht, The Netherlands, July 9-11, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1842872026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Pluim, Josien P. W. editor. Likar, Boštjan. editor. Gerritsen, Frans A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11784012">http://dx.doi.org/10.1007/11784012</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Deontic Logic and Artificial Normative Systems 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1843122026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Goble, Lou. editor. Meyer, John-Jules Ch. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11786849">http://dx.doi.org/10.1007/11786849</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-16T21:39:10Z2026-06-16T21:39:10ZAuthor 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/>Reconfigurable Computing: Architectures and Applications Second International Workshop, ARC 2006, Delft, The Netherlands, March 1-3, 2006, Revised Selected Papersent://SD_ILS/0/SD_ILS:1844592026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Bertels, Koen. editor. Cardoso, João M. P. editor. Vassiliadis, Stamatis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11802839">http://dx.doi.org/10.1007/11802839</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-16T21:39:10Z2026-06-16T21:39:10ZAuthor 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/>Digital Cities III. Information Technologies for Social Capital: Cross-cultural Perspectives Third International Digital Cities Workshop, Amsterdam, The Netherlands, September 18-19, 2003. Revised Selected Papersent://SD_ILS/0/SD_ILS:1806452026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Besselaar, Peter. editor. Koizumi, Satoshi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b107136">http://dx.doi.org/10.1007/b107136</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-16T21:39:10Z2026-06-16T21:39:10ZAuthor 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-16T21:39:10Z2026-06-16T21:39:10ZAuthor 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-16T21:39:10Z2026-06-16T21:39:10ZAuthor 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/>New Computational Paradigms First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1832532026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Cooper, S. Barry. editor. Löwe, Benedikt. editor. Torenvliet, Leen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136981">http://dx.doi.org/10.1007/b136981</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-16T21:39:10Z2026-06-16T21:39:10ZAuthor 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/>Deep Structure, Singularities, and Computer Vision First International Workshop, DSSCV 2005, Maastricht, The Netherlands, June 9-10, 2005, Revised Selected Papersent://SD_ILS/0/SD_ILS:1831602026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Fogh Olsen, Ole. editor. Florack, Luc. editor. Kuijper, Arjan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11577812">http://dx.doi.org/10.1007/11577812</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computers and Education E-Learning, From Theory to Practiceent://SD_ILS/0/SD_ILS:1523262026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Fernández-Manjón, Baltasar. Sánchez-Pérez, Juan Manuel. Gómez-Pulido, Juan Antonio. Vega-Rodríguez, Miguel Angel. Bravo-Rodríguez, José.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-4914-9">http://dx.doi.org/10.1007/978-1-4020-4914-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Evaluation of Text and Speech Systemsent://SD_ILS/0/SD_ILS:1524282026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Dybkjær, Laila. Hemsen, Holmer. Minker, Wolfgang. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-5817-2">http://dx.doi.org/10.1007/978-1-4020-5817-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Dynamic Epistemic Logicent://SD_ILS/0/SD_ILS:1524322026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Ditmarsch, Hans. Hoek, Wiebe. Kooi, Barteld. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-5839-4">http://dx.doi.org/10.1007/978-1-4020-5839-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Induction, Algorithmic Learning Theory, and Philosophyent://SD_ILS/0/SD_ILS:1524682026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Friend, Michèle. Goethe, Norma B. Harizanov, Valentina S. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-6127-1">http://dx.doi.org/10.1007/978-1-4020-6127-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Ontology and Conceptual Realisment://SD_ILS/0/SD_ILS:1524802026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Cocchiarella, Nino B. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-6204-9">http://dx.doi.org/10.1007/978-1-4020-6204-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Handbook of Philosophical Logicent://SD_ILS/0/SD_ILS:1524922026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Gabbay, D.M. Guenthner, F. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-6324-4">http://dx.doi.org/10.1007/978-1-4020-6324-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Handbook of Spatial Logicsent://SD_ILS/0/SD_ILS:1524042026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Aiello, Marco. Pratt-Hartmann, Ian. Benthem, Johan. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-5587-4">http://dx.doi.org/10.1007/978-1-4020-5587-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Contributions to the Science of Text and Language Word Length Studies and Related Issuesent://SD_ILS/0/SD_ILS:1522242026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Grzybek, Peter. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-4068-9">http://dx.doi.org/10.1007/978-1-4020-4068-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Open Domain Question Answeringent://SD_ILS/0/SD_ILS:1523112026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Strzalkowski, Tomek. Harabagiu, Sanda M. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-4746-6">http://dx.doi.org/10.1007/978-1-4020-4746-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Information Technologies for Electromagneticsent://SD_ILS/0/SD_ILS:1692682026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Tarricone, Luciano. Esposito, Alessandra. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-4749-5">http://dx.doi.org/10.1007/978-1-4020-4749-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Natural Multimodal Dialogue Systemsent://SD_ILS/0/SD_ILS:1522112026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Kuppevelt, Jan C. J. Dybkjær, Laila. Bernsen, Niels Ole. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-3933-6">http://dx.doi.org/10.1007/1-4020-3933-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Multimodal Intelligent Information Presentationent://SD_ILS/0/SD_ILS:1521052026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Stock, Oliviero. Zancanaro, Massimo. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-3051-7">http://dx.doi.org/10.1007/1-4020-3051-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Reasoning Robots The Art and Science of Programming Robotic Agentsent://SD_ILS/0/SD_ILS:1521092026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Thielscher, Michael. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-3069-X">http://dx.doi.org/10.1007/1-4020-3069-X</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Spoken Multimodal Human-Computer Dialogue in Mobile Environmentsent://SD_ILS/0/SD_ILS:1521102026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Minker, W. Bühler, Dirk. Dybkjær, Laila. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-3075-4">http://dx.doi.org/10.1007/1-4020-3075-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information, Interaction and Agencyent://SD_ILS/0/SD_ILS:1522272026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Hoek, Wiebe. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-4094-6">http://dx.doi.org/10.1007/1-4020-4094-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic, Thought and Actionent://SD_ILS/0/SD_ILS:1521172026-06-16T21:39:10Z2026-06-16T21:39:10ZAuthor Vanderveken, Daniel. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-3167-X">http://dx.doi.org/10.1007/1-4020-3167-X</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>