Arama Sonuçları Budapest. - Daraltılmış: Computer science.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dBudapest.$0026qf$003dSUBJECT$002509Konu$002509Computer$002bscience.$002509Computer$002bscience.$0026ic$003dtrue$0026ps$003d300$0026isd$003dtrue?2025-12-09T15:03:30ZFoundations of Information and Knowledge Systems 10th International Symposium, FoIKS 2018, Budapest, Hungary, May 14–18, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4010052025-12-09T15:03:30Z2025-12-09T15:03:30ZYazar Ferrarotti, Flavio. editor. (orcid)0000-0003-2278-8233 Woltran, Stefan. editor. (orcid)0000-0003-1594-8972 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-90050-6">https://doi.org/10.1007/978-3-319-90050-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Engineering for Resilient Systems 6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4869152025-12-09T15:03:30Z2025-12-09T15:03:30ZYazar Majzik, István. editor. Vieira, Marco. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-12241-0">https://doi.org/10.1007/978-3-319-12241-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Membrane Computing 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:3342802025-12-09T15:03:30Z2025-12-09T15:03:30ZYazar Csuhaj-Varjú, Erzsébet. editor. Gheorghe, Marian. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Vaszil, György. editor.<br/>Yer Numarası ONLINE(334280.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-36751-9">http://dx.doi.org/10.1007/978-3-642-36751-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Theory and Practice of Model Transformations 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3346912025-12-09T15:03:30Z2025-12-09T15:03:30ZYazar Duddy, Keith. editor. Kappel, Gerti. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334691.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38883-5">http://dx.doi.org/10.1007/978-3-642-38883-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Composition 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3348212025-12-09T15:03:30Z2025-12-09T15:03:30ZYazar Binder, Walter. editor. Bodden, Eric. editor. Löwe, Welf. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334821.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39614-4">http://dx.doi.org/10.1007/978-3-642-39614-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3346982025-12-09T15:03:30Z2025-12-09T15:03:30ZYazar Veanes, Margus. editor. Viganò, Luca. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334698.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38916-0">http://dx.doi.org/10.1007/978-3-642-38916-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Agents and Peer-to-Peer Computing 7th International Workshop, AP2PC 2008, Estoril, Portugal, May 13, 2008 and 8th International Workshop, AP2PC 2009, Budapest, Hungary, May 11, 2009. Revised Selected Papersent://SD_ILS/0/SD_ILS:1971402025-12-09T15:03:30Z2025-12-09T15:03:30ZYazar Beneventano, Domenico. editor. Despotovic, Zoran. editor. Guerra, Francesco. editor. Joseph, Sam. editor. Moro, Gianluca. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-31809-2">http://dx.doi.org/10.1007/978-3-642-31809-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Central European Functional Programming School 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papersent://SD_ILS/0/SD_ILS:1971762025-12-09T15:03:30Z2025-12-09T15:03:30ZYazar Zsók, Viktória. editor. Horváth, Zoltán. editor. Plasmeijer, Rinus. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-32096-5">http://dx.doi.org/10.1007/978-3-642-32096-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Eternal Systems First InternationalWorkshop, EternalS 2011, Budapest, Hungary, May 3, 2011, Revised Selected Papersent://SD_ILS/0/SD_ILS:1963282025-12-09T15:03:30Z2025-12-09T15:03:30ZYazar Moschitti, Alessandro. 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-28033-7">http://dx.doi.org/10.1007/978-3-642-28033-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Decision and Game Theory for Security Third International Conference, GameSec 2012, Budapest, Hungary, November 5-6, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1975002025-12-09T15:03:30Z2025-12-09T15:03:30ZYazar Grossklags, Jens. editor. Walrand, Jean. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-34266-0">http://dx.doi.org/10.1007/978-3-642-34266-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Information and Communication Technologies 18th EUNICE/ IFIP WG 6.2, 6.6 International Conference, EUNICE 2012, Budapest, Hungary, August 29-31, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1972812025-12-09T15:03:30Z2025-12-09T15:03:30ZYazar Szabó, Róbert. editor. Vidács, Attila. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-32808-4">http://dx.doi.org/10.1007/978-3-642-32808-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Applications of Graph Transformations with Industrial Relevance 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:1974862025-12-09T15:03:30Z2025-12-09T15:03:30ZYazar Schürr, Andy. editor. Varró, Dániel. editor. Varró, Gergely. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-34176-2">http://dx.doi.org/10.1007/978-3-642-34176-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Agent-Oriented Software Engineering X 10th International Workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009, Revised Selected Papersent://SD_ILS/0/SD_ILS:1939682025-12-09T15:03:30Z2025-12-09T15:03:30ZYazar Gleizes, Marie-Pierre. editor. Gomez-Sanz, Jorge J. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-19208-1">http://dx.doi.org/10.1007/978-3-642-19208-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Access Networks 5th International ICST Conference on Access Networks, AccessNets 2010 and First ICST International Workshop on Autonomic Networking and Self-Management in Access Networks, SELFMAGICNETS 2010, Budapest, Hungary, November 3-5, 2010, Revised Selected Papersent://SD_ILS/0/SD_ILS:1945322025-12-09T15:03:30Z2025-12-09T15:03:30ZYazar Szabó, Róbert. editor. Zhu, Hua. editor. Imre, Sándor. editor. Chaparadza, Ranganai. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-20931-4">http://dx.doi.org/10.1007/978-3-642-20931-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Artificial Life. Darwin Meets von Neumann 10th European Conference, ECAL 2009, Budapest, Hungary, September 13-16, 2009, Revised Selected Papers, Part IIent://SD_ILS/0/SD_ILS:1946602025-12-09T15:03:30Z2025-12-09T15:03:30ZYazar Kampis, George. editor. Karsai, István. editor. Szathmáry, Eörs. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-21314-4">http://dx.doi.org/10.1007/978-3-642-21314-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Artificial Life. Darwin Meets von Neumann 10th European Conference, ECAL 2009, Budapest, Hungary, September 13-16, 2009, Revised Selected Papers, Part Ient://SD_ILS/0/SD_ILS:1946512025-12-09T15:03:30Z2025-12-09T15:03:30ZYazar Kampis, George. editor. Karsai, István. editor. Szathmáry, Eörs. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-21283-3">http://dx.doi.org/10.1007/978-3-642-21283-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Analysis of Verbal and Nonverbal Communication and Enactment. The Processing Issues COST 2102 International Conference, Budapest, Hungary, September 7-10, 2010, Revised Selected Papersent://SD_ILS/0/SD_ILS:1960422025-12-09T15:03:30Z2025-12-09T15:03:30ZYazar Esposito, Anna. editor. Vinciarelli, Alessandro. editor. Vicsi, Klára. editor. Pelachaud, Catherine. editor. Nijholt, Anton. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-25775-9">http://dx.doi.org/10.1007/978-3-642-25775-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Coordination, Organizations, Institutions and Norms in Agent Systems V COIN 2009 International Workshops. COIN@AAMAS 2009, Budapest, Hungary, May 2009, COIN@IJCAI 2009, Pasadena, USA, July 2009, COIN@MALLOW 2009, Turin, Italy, September 2009. Revised Selected Papersent://SD_ILS/0/SD_ILS:1928272025-12-09T15:03:30Z2025-12-09T15:03:30ZYazar Padget, Julian. editor. Artikis, Alexander. editor. Vasconcelos, Wamberto. editor. Stathis, Kostas. editor. Silva, Viviane Torres. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-14962-7">http://dx.doi.org/10.1007/978-3-642-14962-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Agent-Mediated Electronic Commerce. Designing Trading Strategies and Mechanisms for Electronic Markets AAMAS Workshop, AMEC 2009, Budapest, Hungary, May 12, 2009, and IJCAI Workshop, TADA 2009, Pasadena, CA, USA, July 13, 2009, Selected and Revised Papersent://SD_ILS/0/SD_ILS:1928662025-12-09T15:03:30Z2025-12-09T15:03:30ZYazar David, Esther. editor. Gerding, Enrico. editor. Sarne, David. editor. Shehory, Onn. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-15117-0">http://dx.doi.org/10.1007/978-3-642-15117-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Declarative Agent Languages and Technologies VII 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:1916642025-12-09T15:03:30Z2025-12-09T15:03:30ZYazar Baldoni, Matteo. editor. Bentahar, Jamal. editor. Riemsdijk, M. Birna. editor. Lloyd, John. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-11355-0">http://dx.doi.org/10.1007/978-3-642-11355-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Adaptive and Learning Agents Second Workshop, ALA 2009, Held as Part of the AAMAS 2009 Conference in Budapest, Hungary, May 12, 2009. Revised Selected Papersent://SD_ILS/0/SD_ILS:1918062025-12-09T15:03:30Z2025-12-09T15:03:30ZYazar Taylor, Matthew E. editor. Tuyls, Karl. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-11814-2">http://dx.doi.org/10.1007/978-3-642-11814-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Computer Software. Future Trends and Techniques for Development 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papersent://SD_ILS/0/SD_ILS:1920362025-12-09T15:03:30Z2025-12-09T15:03:30ZYazar Choppy, Christine. editor. Sokolsky, Oleg. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-12566-9">http://dx.doi.org/10.1007/978-3-642-12566-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Argumentation in Multi-Agent Systems 6th International Workshop, ArgMAS 2009, Budapest, Hungary, May 12, 2009. Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:1921162025-12-09T15:03:30Z2025-12-09T15:03:30ZYazar McBurney, Peter. editor. Rahwan, Iyad. editor. Parsons, Simon. editor. Maudet, Nicolas. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-12805-9">http://dx.doi.org/10.1007/978-3-642-12805-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Central European Functional Programming School Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009, Revised Selected Lecturesent://SD_ILS/0/SD_ILS:1936772025-12-09T15:03:30Z2025-12-09T15:03:30ZYazar Horváth, Zoltán. editor. Plasmeijer, Rinus. editor. Zsók, Viktória. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-17685-2">http://dx.doi.org/10.1007/978-3-642-17685-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Multi-Agent-Based Simulation X International Workshop, MABS 2009, Budapest, Hungary, May 11-12, 2009 Revised Selected Papersent://SD_ILS/0/SD_ILS:1923732025-12-09T15:03:30Z2025-12-09T15:03:30ZYazar Tosto, Gennaro. editor. Dyke Parunak, H. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-13553-8">http://dx.doi.org/10.1007/978-3-642-13553-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Multi-Agent Systems 7th International Workshop, ProMAS 2009, Budapest, Hungary, May 10-15, 2009. Revised Selected Papersent://SD_ILS/0/SD_ILS:1927872025-12-09T15:03:30Z2025-12-09T15:03:30ZYazar Braubach, Lars. editor. Briot, Jean-Pierre. editor. Thangarajah, John. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-14843-9">http://dx.doi.org/10.1007/978-3-642-14843-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Agents and Data Mining Interaction 4th International Workshop, ADMI 2009, Budapest, Hungary, May 10-15,2009, Revised Selected Papersent://SD_ILS/0/SD_ILS:1906762025-12-09T15:03:30Z2025-12-09T15:03:30ZYazar Cao, Longbing. editor. Gorodetsky, Vladimir. editor. Liu, Jiming. editor. Weiss, Gerhard. editor. Yu, Philip S. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-03603-3">http://dx.doi.org/10.1007/978-3-642-03603-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Modeling and Analysis of Timed Systems 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1909252025-12-09T15:03:30Z2025-12-09T15:03:30ZYazar Ouaknine, Joël. editor. Vaandrager, Frits W. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-04368-0">http://dx.doi.org/10.1007/978-3-642-04368-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Comparative Genomics International Workshop, RECOMB-CG 2009, Budapest, Hungary, September 27-29, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1910442025-12-09T15:03:30Z2025-12-09T15:03:30ZYazar Ciccarelli, Francesca D. editor. Miklós, István. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-04744-2">http://dx.doi.org/10.1007/978-3-642-04744-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Service-Oriented Computing: Agents, Semantics, and Engineering AAMAS 2009 International Workshop SOCASE 2009, Budapest, Hungary, May 11, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1914612025-12-09T15:03:30Z2025-12-09T15:03:30ZYazar Kowalczyk, Ryszard. editor. Vo, Quoc Bao. editor. Maamar, Zakaria. editor. Huhns, Michael. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-10739-9">http://dx.doi.org/10.1007/978-3-642-10739-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1882262025-12-09T15:03:30Z2025-12-09T15:03:30ZYazar Drossopoulou, Sophia. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-78739-6">http://dx.doi.org/10.1007/978-3-540-78739-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fundamental Approaches to Software Engineering 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1882272025-12-09T15:03:30Z2025-12-09T15:03:30ZYazar Fiadeiro, José Luiz. editor. Inverardi, Paola. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-78743-3">http://dx.doi.org/10.1007/978-3-540-78743-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Composition 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1882422025-12-09T15:03:30Z2025-12-09T15:03:30ZYazar Pautasso, Cesare. editor. Tanter, Éric. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-78789-1">http://dx.doi.org/10.1007/978-3-540-78789-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Compiler Construction 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1882432025-12-09T15:03:30Z2025-12-09T15:03:30ZYazar Hendren, Laurie. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-78791-4">http://dx.doi.org/10.1007/978-3-540-78791-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1882462025-12-09T15:03:30Z2025-12-09T15:03:30ZYazar Ramakrishnan, C. R. editor. Rehof, Jakob. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-78800-3">http://dx.doi.org/10.1007/978-3-540-78800-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Software Science and Computational Structures 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1881522025-12-09T15:03:30Z2025-12-09T15:03:30ZYazar Amadio, Roberto. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-78499-9">http://dx.doi.org/10.1007/978-3-540-78499-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Multilingual and Multimodal Information Retrieval 8th Workshop of the Cross-Language Evaluation Forum, CLEF 2007, Budapest, Hungary, September 19-21, 2007, Revised Selected Papersent://SD_ILS/0/SD_ILS:1887682025-12-09T15:03:30Z2025-12-09T15:03:30ZYazar Peters, Carol. editor. Jijkoun, Valentin. editor. Mandl, Thomas. editor. Müller, Henning. editor. Oard, Douglas W. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-85760-0">http://dx.doi.org/10.1007/978-3-540-85760-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Algorithmic Learning Theory 19th International Conference, ALT 2008, Budapest, Hungary, October 13-16, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1889582025-12-09T15:03:30Z2025-12-09T15:03:30ZYazar Freund, Yoav. editor. Györfi, László. editor. Turán, György. editor. Zeugmann, Thomas. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-87987-9">http://dx.doi.org/10.1007/978-3-540-87987-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Discovery Science 11th International Conference, DS 2008, Budapest, Hungary, October 13-16, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1890462025-12-09T15:03:30Z2025-12-09T15:03:30ZYazar Jean-Fran, Jean-François. editor. Berthold, Michael R. editor. Horváth, Tamás. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-88411-8">http://dx.doi.org/10.1007/978-3-540-88411-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Runtime Verification 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papersent://SD_ILS/0/SD_ILS:1892302025-12-09T15:03:30Z2025-12-09T15:03:30ZYazar Leucker, Martin. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-89247-2">http://dx.doi.org/10.1007/978-3-540-89247-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>IP Networking over Next-Generation Satellite Systems International Workshop, Budapest, July 2007ent://SD_ILS/0/SD_ILS:1672532025-12-09T15:03:30Z2025-12-09T15:03:30ZYazar Fan, Linghang. editor. Cruickshank, Haitham. editor. Sun, Zhili. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-75428-4">http://dx.doi.org/10.1007/978-0-387-75428-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fundamentals of Computation Theory 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1870962025-12-09T15:03:30Z2025-12-09T15:03:30ZYazar Csuhaj-Varjú, Erzsébet. editor. Ésik, Zoltán. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-74240-1">http://dx.doi.org/10.1007/978-3-540-74240-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Research and Advanced Technology for Digital Libraries 11th European Conference, ECDL 2007, Budapest, Hungary, September 16-21, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1872882025-12-09T15:03:30Z2025-12-09T15:03:30ZYazar Kovács, László. editor. Fuhr, Norbert. editor. Meghini, Carlo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-74851-9">http://dx.doi.org/10.1007/978-3-540-74851-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Implementation and Application of Functional Languages 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papersent://SD_ILS/0/SD_ILS:1870642025-12-09T15:03:30Z2025-12-09T15:03:30ZYazar Horváth, Zoltán. editor. Zsók, Viktória. editor. Butterfield, Andrew. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-74130-5">http://dx.doi.org/10.1007/978-3-540-74130-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Information and Knowledge Systems 4th International Symposium, FoIKS 2006, Budapest, Hungary, Februrary 14-17, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1828842025-12-09T15:03:30Z2025-12-09T15:03:30ZYazar Dix, Jürgen. editor. Hegner, Stephen J. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11663881">http://dx.doi.org/10.1007/11663881</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Central European Functional Programming School First Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lecturesent://SD_ILS/0/SD_ILS:1849872025-12-09T15:03:30Z2025-12-09T15:03:30ZYazar Horváth, Zoltán. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11894100">http://dx.doi.org/10.1007/11894100</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Genetic Programming 9th European Conference, EuroGP 2006, Budapest, Hungary, April 10-12, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1836342025-12-09T15:03:30Z2025-12-09T15:03:30ZYazar Collet, Pierre. editor. Tomassini, Marco. editor. Ebner, Marc. editor. Gustafson, Steven. editor. Ekárt, Anikó. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11729976">http://dx.doi.org/10.1007/11729976</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Evolutionary Computation in Combinatorial Optimization 6th European Conference, EvoCOP 2006, Budapest, Hungary, April 10-12, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1836492025-12-09T15:03:30Z2025-12-09T15:03:30ZYazar Gottlieb, Jens. editor. Raidl, Günther R. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11730095">http://dx.doi.org/10.1007/11730095</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Applications of Evolutionary Computing EvoWorkshops 2006: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoINTERACTION, EvoMUSART, and EvoSTOC, Budapest, Hungary, April 10-12, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1836712025-12-09T15:03:30Z2025-12-09T15:03:30ZYazar Rothlauf, Franz. editor. Branke, Jürgen. editor. Cagnoni, Stefano. editor. Costa, Ernesto. editor. Cotta, Carlos. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11732242">http://dx.doi.org/10.1007/11732242</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods and Stochastic Models for Performance Evaluation Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1842422025-12-09T15:03:30Z2025-12-09T15:03:30ZYazar Horváth, András. editor. Telek, Miklós. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11777830">http://dx.doi.org/10.1007/11777830</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Multi-Agent Systems and Applications IV 4th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2005, Budapest, Hungary, September 15 – 17, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1828582025-12-09T15:03:30Z2025-12-09T15:03:30ZYazar Pěchouček, Michael. editor. Petta, Paolo. editor. Varga, László Zsolt. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11559221">http://dx.doi.org/10.1007/11559221</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Dependable Computing - EDCC 5 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1830862025-12-09T15:03:30Z2025-12-09T15:03:30ZYazar Cin, Mario. editor. Kaâniche, Mohamed. editor. Pataricza, András. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b107276">http://dx.doi.org/10.1007/b107276</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Process Improvement 12th European Conference, EuroSPI 2005, Budapest, Hungary, November 9-11, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1832582025-12-09T15:03:30Z2025-12-09T15:03:30ZYazar Richardson, Ita. editor. Abrahamsson, Pekka. editor. Messnarz, Richard. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11586012">http://dx.doi.org/10.1007/11586012</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>