Arama Sonuçları Netherlands - Daraltılmış: Computer science.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dNetherlands$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026ps$003d300$0026isd$003dtrue?2026-06-19T06:32:50ZRecent 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-19T06:32:50Z2026-06-19T06:32:50ZYazar Țuțu, Ionuț. editor. (orcid)0009-0004-4280-3036 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Broccia, Giovanna. editor. (orcid)0000-0002-4737-5761 Cerone, Antonio. editor. (orcid)0000-0003-2691-5279 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Castiglioni, Valentina. editor. (orcid)0000-0002-8112-6523 Francalanza, Adrian. editor. (orcid)0000-0003-3829-7391 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Chatzigiannakis, Ioannis. editor. Karydis, Ioannis. editor. (orcid)0000-0002-9470-2729 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Aldini, Alessandro. editor. (orcid)0000-0002-7250-5011 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Duivesteijn, Wouter. editor. Siebes, Arno. editor. Ukkonen, Antti. editor. (orcid)0000-0001-6060-1746 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Ham, Jaap. editor. (orcid)0000-0003-1703-5165 Spagnolli, Anna. editor. Blankertz, Benjamin. editor. Gamberini, Luciano. editor. Jacucci, Giulio. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Verheij, Bart. editor. Wiering, Marco. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar 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/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar 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/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Winands, Mark H.M. editor. (orcid)0000-0002-0125-0824 van den Herik, H. Jaap. editor. Kosters, Walter A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Aydoğan, Reyhan. editor. Baarslag, Tim. editor. Gerding, Enrico. editor. Jonker, Catholijn M. editor. Julian, Vicente. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Genetic Programming 20th European Conference, EuroGP 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6115232026-06-19T06:32:50Z2026-06-19T06:32:50ZYazar McDermott, James. editor. Castelli, Mauro. editor. Sekanina, Lukas. editor. Haasdijk, Evert. editor. García-Sánchez, Pablo. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Hu, Bin. editor. López-Ibáñez, Manuel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Chechik, Marsha. editor. (orcid)0000-0002-6301-3517 Raskin, Jean-François. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Lucanu, Dorel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Stevens, Perdita. editor. Wąsowski, Andrzej. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Hildebrandt, Thomas. editor. Ravara, António. editor. van der Werf, Jan Martijn. editor. Weidlich, Matthias. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Bošnački, Dragan. editor. Wijs, Anton. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Thiemann, Peter. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Hasuo, Ichiro. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Jacobs, Bart. editor. Löding, Christof. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Hansen, Marit. editor. Hoepman, Jaap-Henk. editor. Leenes, Ronald. editor. Whitehouse, Diane. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar De Cristofaro, Emiliano. editor. Murdoch, Steven J. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Camarinha-Matos, Luis M. editor. (orcid)0000-0003-0594-1961 Afsarmanesh, Hamideh. editor. (orcid)0000-0001-5402-2000 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Ali, Moonis. editor. Bosse, Tibor. editor. Hindriks, Koen V. editor. Hoogendoorn, Mark. editor. Jonker, Catholijn M. editor.<br/>Yer Numarası ONLINE(334627.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Hasegawa, Masahito. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334702.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Gaag, Linda C. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334728.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Luiijf, Eric. editor. Hartel, Pieter. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333008.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Reidsma, Dennis. editor. Katayose, Haruhiro. editor. Nijholt, Anton. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332968.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Hoepman, Jaap-Henk. editor. Verbauwhede, Ingrid. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334132.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Kreveld, Marc. editor. Speckmann, Bettina. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Filipe, Joaquim. editor. Cordeiro, José. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Barthe, Gilles. editor. Livshits, Benjamin. editor. Scandariato, Riccardo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Bouma, Gosse. editor. Ittoo, Ashwin. editor. Métais, Elisabeth. editor. Wortmann, Hans. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Wichert, Reiner. editor. Laerhoven, Kristof. editor. Gelissen, Jean. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Aloni, Maria. editor. Kimmelman, Vadim. editor. Roelofsen, Floris. editor. Sassoon, Galit W. editor. Schulz, Katrin. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Herik, H. Jaap. editor. Plaat, Aske. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Kuipers, Fernando A. editor. Heegaard, Poul E. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Das, Vinu V. editor. Ariwa, Ezendu. editor. Rahayu, Syarifah Bahiyah. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Hercheui, Magda David. editor. Whitehouse, Diane. editor. McIver, William. editor. Phahlamohlaka, Jackie. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Balzarotti, Davide. editor. Stolfo, Salvatore J. editor. Cova, Marco. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Baeten, Jos C. M. editor. Ball, Tom. editor. Boer, Frank S. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Cossentino, Massimo. editor. Kaisers, Michael. editor. Tuyls, Karl. editor. Weiss, Gerhard. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Lamers, Maarten H. editor. Verbeek, Fons J. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Malloy, Brian. editor. Staab, Steffen. editor. Brand, Mark. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Fehr, Serge. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Holz, Thorsten. editor. Bos, Herbert. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Tambouris, Efthimios. editor. Macintosh, Ann. editor. Bruijn, Hans. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Hage, Jurriaan. editor. Morazán, Marco T. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Social Robotics Third International Conference, ICSR 2011, Amsterdam, The Netherlands, November 24-25, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1959632026-06-19T06:32:50Z2026-06-19T06:32:50ZYazar Mutlu, Bilge. editor. Bartneck, Christoph. editor. Ham, Jaap. editor. Evers, Vanessa. editor. Kanda, Takayuki. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Swart, Harrie. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Eekelen, Marko. editor. Geuvers, Herman. editor. Schmaltz, Julien. editor. Wiedijk, Freek. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Janssen, Marijn. editor. Scholl, Hans J. editor. Wimmer, Maria A. editor. Tan, Yao-hua. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Geva, Shlomo. editor. Kamps, Jaap. editor. Schenkel, Ralf. editor. Trotman, Andrew. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Forner, Pamela. editor. Gonzalo, Julio. editor. Kekäläinen, Jaana. editor. Lalmas, Mounia. editor. Rijke, Marteen. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Loog, Marco. editor. Wessels, Lodewyk. editor. Reinders, Marcel J. T. editor. Ridder, Dick. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Keyson, David V. editor. Maher, Mary Lou. editor. Streitz, Norbert. editor. Cheok, Adrian. editor. Augusto, Juan Carlos. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Human Behavior Understanding Second International Workshop, HBU 2011, Amsterdam, The Netherlands, November 16, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1959452026-06-19T06:32:50Z2026-06-19T06:32:50ZYazar Salah, Albert Ali. editor. Lepri, Bruno. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Degano, Pierpaolo. editor. Guttman, Joshua D. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Clarke, Dave. editor. Agha, Gul. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Hatcliff, John. editor. Zucca, Elena. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Aloni, Maria. editor. Bastiaanse, Harald. editor. Jager, Tikitu. editor. Schulz, Katrin. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Lin, Hai-Xiang. editor. Alexander, Michael. editor. Forsell, Martti. editor. Knüpfer, Andreas. editor. Prodan, Radu. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Stiller, Burkhard. editor. Hoßfeld, Tobias. editor. Stamoulis, George D. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Kolfschoten, Gwendolyn. editor. Herrmann, Thomas. editor. Lukosch, Stephan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Casanovas, Pompeu. editor. Pagallo, Ugo. editor. Sartor, Giovanni. editor. Ajani, Gianmaria. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Boulic, Ronan. editor. Chrysanthou, Yiorgos. editor. Komura, Taku. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Boer, Frank S. editor. Bonsangue, Marcello M. editor. Hallerstede, Stefan. editor. Leuschel, Michael. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Ehrig, Hartmut. editor. Rensink, Arend. editor. Rozenberg, Grzegorz. editor. Schürr, Andy. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Dijkstra, Tjeerd M. H. editor. Tsivtsivadze, Evgeni. editor. Marchiori, Elena. editor. Heskes, Tom. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Monteiro, José. editor. Leuken, René. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Eliassen, Frank. editor. Kapitza, Rüdiger. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Bonanno, Giacomo. editor. Löwe, Benedikt. editor. Hoek, Wiebe. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Eekelen, Marko. editor. Shkaravska, Olha. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Model Checking Software 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1932062026-06-19T06:32:50Z2026-06-19T06:32:50ZYazar Pol, Jaco. editor. Weber, Michael. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Berekovic, Mladen. editor. Müller-Schloer, Christian. editor. Hochberger, Christian. editor. Wong, Stephan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Halpin, Terry. editor. Krogstie, John. editor. Nurcan, Selmin. editor. Proper, Erik. editor. Schmidt, Rainer. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Sadre, Ramin. editor. Pras, Aiko. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Paige, Richard F. editor. Hartman, Alan. editor. Rensink, Arend. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Geradts, Zeno J. M. H. editor. Franke, Katrin Y. editor. Veenman, Cor J. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Wilkinson, Michael H. F. editor. Roerdink, Jos B. T. M. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Alpuente, María. editor. Cook, Byron. editor. Joubert, Christophe. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advanced Functional Programming 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lecturesent://SD_ILS/0/SD_ILS:1910162026-06-19T06:32:50Z2026-06-19T06:32:50ZYazar Koopman, Pieter. editor. Plasmeijer, Rinus. editor. Swierstra, Doaitse. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Gibbons, Jeremy. editor. Oliveira, José Nuno. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Núñez, Manuel. editor. Baker, Paul. editor. Merayo, Mercedes G. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Glinz, Martin. editor. Heymans, Patrick. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Berg, Hans. editor. Heijenk, Geert. editor. Osipov, Evgeny. editor. Staehle, Dirk. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Eck, Pascal. editor. Gordijn, Jaap. editor. Wieringa, Roel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Nijholt, Anton. editor. Reidsma, Dennis. editor. Hondorp, Hendri. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Altmann, Jörn. editor. Buyya, Rajkumar. editor. Rana, Omer F. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Sips, Henk. editor. Epema, Dick. editor. Lin, Hai-Xiang. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Ruttkay, Zsófia. editor. Kipp, Michael. editor. Nijholt, Anton. editor. Vilhjálmsson, Hannes Högni. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>FM 2009: Formal Methods Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1911552026-06-19T06:32:50Z2026-06-19T06:32:50ZYazar Cavalcanti, Ana. editor. Dams, Dennis R. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Abran, Alain. editor. Braungarten, René. editor. Dumke, Reiner R. editor. Cuadrado-Gallego, Juan J. editor. Brunekreef, Jacob. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Aldewereld, Huib. editor. Dignum, Virginia. editor. Picard, Gauthier. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Egges, Arjan. editor. Geraerts, Roland. editor. Overmars, Mark. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Núñez-Queija, Rudesindo. editor. Resing, Jacques. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Riaño, David. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Popescu-Belis, Andrei. editor. Stiefelhagen, Rainer. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Dillenbourg, Pierre. editor. Specht, Marcus. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Leeuw, Elisabeth. editor. Fischer-Hübner, Simone. editor. Tseng, Jimmy. editor. Borking, John. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fun and Games Second International Conference, Eindhoven, The Netherlands, October 20-21, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1890322026-06-19T06:32:50Z2026-06-19T06:32:50ZYazar Markopoulos, Panos. editor. Ruyter, Boris. editor. IJsselsteijn, Wijnand. editor. Rowland, Duncan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Egges, Arjan. editor. Kamphuis, Arno. editor. Overmars, Mark. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Boer, Frank S. editor. Bonsangue, Marcello M. editor. Graf, Susanne. editor. Roever, Willem-Paul. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Vadhan, Salil P. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Pras, Aiko. editor. Sinderen, Marten. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Bellazzi, Riccardo. editor. Abu-Hanna, Ameen. editor. Hunter, Jim. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Langendoen, Koen. editor. Voigt, Thiemo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Cesar, Pablo. editor. Chorianopoulos, Konstantinos. editor. Jensen, Jens F. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Karssemeijer, Nico. editor. Lelieveldt, Boudewijn. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Blanc-Talon, Jacques. editor. Philips, Wilfried. editor. Popescu, Dan. editor. Scheunders, Paul. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Boer, Frank S. editor. Bonsangue, Marcello M. editor. Graf, Susanne. editor. Roever, Willem-Paul. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Klusch, Matthias. editor. Hindriks, Koen V. editor. Papazoglou, Mike P. editor. Sterling, Leon. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Bres, Stéphane. editor. Laurini, Robert. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11590064">http://dx.doi.org/10.1007/11590064</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Weyns, Danny. editor. Dyke Parunak, H. editor. Michel, Fabien. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11678809">http://dx.doi.org/10.1007/11678809</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Bordini, Rafael H. editor. Dastani, Mehdi M. editor. Dix, Jürgen. editor. Fallah Seghrouchni, Amal. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11678823">http://dx.doi.org/10.1007/11678823</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar IJsselsteijn, Wijnand A. editor. Kort, Yvonne A. W. editor. Midden, Cees. editor. Eggen, Berry. editor. Hoven, Elise. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11755494">http://dx.doi.org/10.1007/11755494</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Münch, Jürgen. editor. Vierimaa, Matias. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11767718">http://dx.doi.org/10.1007/11767718</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Pluim, Josien P. W. editor. Likar, Boštjan. editor. Gerritsen, Frans A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11784012">http://dx.doi.org/10.1007/11784012</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Parsons, Simon. editor. Maudet, Nicolas. editor. Moraitis, Pavlos. editor. Rahwan, Iyad. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11794578">http://dx.doi.org/10.1007/11794578</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Boer, Frank S. editor. Bonsangue, Marcello M. editor. Graf, Susanne. editor. Roever, Willem-Paul. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11804192">http://dx.doi.org/10.1007/11804192</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Goble, Lou. editor. Meyer, John-Jules Ch. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11786849">http://dx.doi.org/10.1007/11786849</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Thompson, Simon G. editor. Ghanea-Hercock, Robert. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11683704">http://dx.doi.org/10.1007/11683704</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Tuyls, Karl. editor. Hoen, Pieter Jan’t. editor. Verbeeck, Katja. editor. Sen, Sandip. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11691839">http://dx.doi.org/10.1007/11691839</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Baldoni, Matteo. editor. Endriss, Ulle. editor. Omicini, Andrea. editor. Torroni, Paolo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11691792">http://dx.doi.org/10.1007/11691792</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Brueckner, Sven A. editor. Marzo Serugendo, Giovanna. editor. Hales, David. editor. Zambonelli, Franco. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11734697">http://dx.doi.org/10.1007/11734697</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Sichman, Jaime S. editor. Antunes, Luis. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11734680">http://dx.doi.org/10.1007/11734680</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Müller, Jörg P. editor. Zambonelli, Franco. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11752660">http://dx.doi.org/10.1007/11752660</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Boissier, Olivier. editor. Padget, Julian. editor. Dignum, Virginia. editor. Lindemann, Gabriela. editor. Matson, Eric. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11775331">http://dx.doi.org/10.1007/11775331</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Bertels, Koen. editor. Cardoso, João M. P. editor. Vassiliadis, Stamatis. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11802839">http://dx.doi.org/10.1007/11802839</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Dignum, Frank P. M. editor. Eijk, Rogier M. editor. Flores, Roberto. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Despotovic, Zoran. editor. Joseph, Sam. editor. Sartori, Claudio. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11925941">http://dx.doi.org/10.1007/11925941</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Hoogeboom, Hendrik Jan. editor. Păun, Gheorghe. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11963516">http://dx.doi.org/10.1007/11963516</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Poutré, Han. editor. Sadeh, Norman M. editor. Janson, Sverker. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11888727">http://dx.doi.org/10.1007/11888727</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Havinga, Paul. editor. Lijding, Maria. editor. Meratnia, Nirvana. editor. Wegdam, Maarten. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11907503">http://dx.doi.org/10.1007/11907503</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Kolp, Manuel. editor. Bresciani, Paolo. editor. Henderson-Sellers, Brian. editor. Winikoff, Michael. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11916291">http://dx.doi.org/10.1007/11916291</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Boer, Frank S. editor. Bonsangue, Marcello M. editor. Graf, Susanne. editor. Roever, Willem-Paul. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11561163">http://dx.doi.org/10.1007/11561163</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Aßmann, Uwe. editor. Aksit, Mehmet. editor. Rensink, Arend. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11538097">http://dx.doi.org/10.1007/11538097</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Fogh Olsen, Ole. editor. Florack, Luc. editor. Kuijper, Arjan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11577812">http://dx.doi.org/10.1007/11577812</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Romijn, Judi. editor. Smith, Graeme. editor. Pol, Jaco. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11589976">http://dx.doi.org/10.1007/11589976</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Cooper, S. Barry. editor. Löwe, Benedikt. editor. Torenvliet, Leen. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b136981">http://dx.doi.org/10.1007/b136981</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Benatallah, Boualem. editor. Casati, Fabio. editor. Traverso, Paolo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11596141">http://dx.doi.org/10.1007/11596141</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Besselaar, Peter. editor. Koizumi, Satoshi. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b107136">http://dx.doi.org/10.1007/b107136</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-19T06:32:50Z2026-06-19T06:32:50ZYazar Sloot, Peter M. A. editor. Hoekstra, Alfons G. editor. Priol, Thierry. editor. Reinefeld, Alexander. editor. Bubak, Marian. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b137919">http://dx.doi.org/10.1007/b137919</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Evaluation of Text and Speech Systemsent://SD_ILS/0/SD_ILS:1524282026-06-19T06:32:50Z2026-06-19T06:32:50ZYazar Dybkjær, Laila. Hemsen, Holmer. Minker, Wolfgang. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computers and Education E-Learning, From Theory to Practiceent://SD_ILS/0/SD_ILS:1523262026-06-19T06:32:50Z2026-06-19T06:32:50ZYazar 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/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Dynamic Epistemic Logicent://SD_ILS/0/SD_ILS:1524322026-06-19T06:32:50Z2026-06-19T06:32:50ZYazar Ditmarsch, Hans. Hoek, Wiebe. Kooi, Barteld. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Induction, Algorithmic Learning Theory, and Philosophyent://SD_ILS/0/SD_ILS:1524682026-06-19T06:32:50Z2026-06-19T06:32:50ZYazar Friend, Michèle. Goethe, Norma B. Harizanov, Valentina S. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Handbook of Spatial Logicsent://SD_ILS/0/SD_ILS:1524042026-06-19T06:32:50Z2026-06-19T06:32:50ZYazar Aiello, Marco. Pratt-Hartmann, Ian. Benthem, Johan. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Handbook of Philosophical Logicent://SD_ILS/0/SD_ILS:1524922026-06-19T06:32:50Z2026-06-19T06:32:50ZYazar Gabbay, D.M. Guenthner, F. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Ontology and Conceptual Realisment://SD_ILS/0/SD_ILS:1524802026-06-19T06:32:50Z2026-06-19T06:32:50ZYazar Cocchiarella, Nino B. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Open Domain Question Answeringent://SD_ILS/0/SD_ILS:1523112026-06-19T06:32:50Z2026-06-19T06:32:50ZYazar Strzalkowski, Tomek. Harabagiu, Sanda M. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Contributions to the Science of Text and Language Word Length Studies and Related Issuesent://SD_ILS/0/SD_ILS:1522242026-06-19T06:32:50Z2026-06-19T06:32:50ZYazar Grzybek, Peter. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Information Technologies for Electromagneticsent://SD_ILS/0/SD_ILS:1692682026-06-19T06:32:50Z2026-06-19T06:32:50ZYazar Tarricone, Luciano. Esposito, Alessandra. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Reasoning Robots The Art and Science of Programming Robotic Agentsent://SD_ILS/0/SD_ILS:1521092026-06-19T06:32:50Z2026-06-19T06:32:50ZYazar Thielscher, Michael. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Spoken Multimodal Human-Computer Dialogue in Mobile Environmentsent://SD_ILS/0/SD_ILS:1521102026-06-19T06:32:50Z2026-06-19T06:32:50ZYazar Minker, W. Bühler, Dirk. Dybkjær, Laila. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic, Thought and Actionent://SD_ILS/0/SD_ILS:1521172026-06-19T06:32:50Z2026-06-19T06:32:50ZYazar Vanderveken, Daniel. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Information, Interaction and Agencyent://SD_ILS/0/SD_ILS:1522272026-06-19T06:32:50Z2026-06-19T06:32:50ZYazar Hoek, Wiebe. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Natural Multimodal Dialogue Systemsent://SD_ILS/0/SD_ILS:1522112026-06-19T06:32:50Z2026-06-19T06:32:50ZYazar Kuppevelt, Jan C. J. Dybkjær, Laila. Bernsen, Niels Ole. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Multimodal Intelligent Information Presentationent://SD_ILS/0/SD_ILS:1521052026-06-19T06:32:50Z2026-06-19T06:32:50ZYazar Stock, Oliviero. Zancanaro, Massimo. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>