Arama Sonu&ccedil;lar&#305; Cyprus. - Daralt&#305;lm&#305;&#351;: Computer science. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dCyprus.$0026qf$003dSUBJECT$002509Konu$002509Computer$002bscience.$002509Computer$002bscience.$0026te$003dILS$0026ps$003d300?dt=list 2024-12-29T14:12:25Z Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:399366 2024-12-29T14:12:25Z 2024-12-29T14:12:25Z Yazar&#160;Margaria, Tiziana. editor.&#160;Steffen, Bernhard. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-03427-6">https://doi.org/10.1007/978-3-030-03427-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III ent://SD_ILS/0/SD_ILS:399397 2024-12-29T14:12:25Z 2024-12-29T14:12:25Z Yazar&#160;Margaria, Tiziana. editor.&#160;Steffen, Bernhard. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-03424-5">https://doi.org/10.1007/978-3-030-03424-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Runtime Verification 18th International Conference, RV 2018, Limassol, Cyprus, November 10&ndash;13, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400554 2024-12-29T14:12:25Z 2024-12-29T14:12:25Z Yazar&#160;Colombo, Christian. editor.&#160;Leucker, Martin. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-03769-7">https://doi.org/10.1007/978-3-030-03769-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:399365 2024-12-29T14:12:25Z 2024-12-29T14:12:25Z Yazar&#160;Margaria, Tiziana. editor.&#160;Steffen, Bernhard. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-03418-4">https://doi.org/10.1007/978-3-030-03418-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Ambient Intelligence 14th European Conference, AmI 2018, Larnaca, Cyprus, November 12-14, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399383 2024-12-29T14:12:25Z 2024-12-29T14:12:25Z Yazar&#160;Kameas, Achilles. editor. (orcid)0000-0002-1004-7860&#160;Stathis, Kostas. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-03062-9">https://doi.org/10.1007/978-3-030-03062-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:399410 2024-12-29T14:12:25Z 2024-12-29T14:12:25Z Yazar&#160;Margaria, Tiziana. editor.&#160;Steffen, Bernhard. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-03421-4">https://doi.org/10.1007/978-3-030-03421-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Software Business. Towards Continuous Value Delivery 5th International Conference, ICSOB 2014, Paphos, Cyprus, June 16-18, 2014, Proceedings ent://SD_ILS/0/SD_ILS:487891 2024-12-29T14:12:25Z 2024-12-29T14:12:25Z Yazar&#160;Lassenius, Casper. editor.&#160;Smolander, Kari. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-08738-2">https://doi.org/10.1007/978-3-319-08738-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Multidisciplinary Information Retrieval 6th Information Retrieval Facility Conference, IRFC 2013, Limassol, Cyprus, October 7-9, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335049 2024-12-29T14:12:25Z 2024-12-29T14:12:25Z Yazar&#160;Lupu, Mihai. editor.&#160;Kanoulas, Evangelos. editor.&#160;Loizides, Fernando. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(335049.1)<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41057-4">http://dx.doi.org/10.1007/978-3-642-41057-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> ECSCW 2013: Proceedings of the 13th European Conference on Computer Supported Cooperative Work, 21-25 September 2013, Paphos, Cyprus ent://SD_ILS/0/SD_ILS:331196 2024-12-29T14:12:25Z 2024-12-29T14:12:25Z Yazar&#160;Bertelsen, Olav W. editor.&#160;Ciolfi, Luigina. editor.&#160;Grasso, Maria Antonietta. editor.&#160;Papadopoulos, George Angelos. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(331196.1)<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-5346-7">http://dx.doi.org/10.1007/978-1-4471-5346-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Scaling up Learning for Sustained Impact 8th European Conference, on Technology Enhanced Learning, EC-TEL 2013, Paphos, Cyprus, September 17-21, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335011 2024-12-29T14:12:25Z 2024-12-29T14:12:25Z Yazar&#160;Hern&aacute;ndez-Leo, Davinia. editor.&#160;Ley, Tobias. editor.&#160;Klamma, Ralf. editor.&#160;Harrer, Andreas. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(335011.1)<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40814-4">http://dx.doi.org/10.1007/978-3-642-40814-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Trends in Mobile Web Information Systems MobiWIS 2013 International Workshops, Paphos, Cyprus, August 26-28, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:332992 2024-12-29T14:12:25Z 2024-12-29T14:12:25Z Yazar&#160;Matera, Maristella. editor.&#160;Rossi, Gustavo. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(332992.1)<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03737-0">http://dx.doi.org/10.1007/978-3-319-03737-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Mobile Web Information Systems 10th International Conference, MobiWIS 2013, Paphos, Cyprus, August 26-29, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334922 2024-12-29T14:12:25Z 2024-12-29T14:12:25Z Yazar&#160;Daniel, Florian. editor.&#160;Papadopoulos, George A. editor.&#160;Thiran, Philippe. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(334922.1)<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40276-0">http://dx.doi.org/10.1007/978-3-642-40276-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Artificial Intelligence Applications and Innovations 9th IFIP WG 12.5 International Conference, AIAI 2013, Paphos, Cyprus, September 30 &ndash; October 2, 2013, Proceedings ent://SD_ILS/0/SD_ILS:335061 2024-12-29T14:12:25Z 2024-12-29T14:12:25Z Yazar&#160;Papadopoulos, Harris. editor.&#160;Andreou, Andreas S. editor.&#160;Iliadis, Lazaros. editor.&#160;Maglogiannis, Ilias. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(335061.1)<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41142-7">http://dx.doi.org/10.1007/978-3-642-41142-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Web Information Systems Engineering &ndash; WISE 2011 and 2012 Workshops Combined WISE 2011 and WISE 2012 Workshops, Sydney Australia, October 12-14, 2011 and Paphos, Cyprus, November 28-30, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334584 2024-12-29T14:12:25Z 2024-12-29T14:12:25Z Yazar&#160;Haller, Armin. editor.&#160;Huang, Guangyan. editor.&#160;Huang, Zhisheng. editor.&#160;Paik, Hye-young. editor.&#160;Sheng, Quan Z. editor.<br/>Yer Numaras&#305;&#160;ONLINE(334584.1)<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38333-5">http://dx.doi.org/10.1007/978-3-642-38333-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Product-Focused Software Process Improvement 14th International Conference, PROFES 2013, Paphos, Cyprus, June 12-14, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334768 2024-12-29T14:12:25Z 2024-12-29T14:12:25Z Yazar&#160;Heidrich, Jens. editor.&#160;Oivo, Markku. editor.&#160;Jedlitschka, Andreas. editor.&#160;Baldassarre, Maria Teresa. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(334768.1)<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39259-7">http://dx.doi.org/10.1007/978-3-642-39259-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Current Trends in Web Engineering Workshops, Doctoral Symposium, and Tutorials, Held at ICWE 2011, Paphos, Cyprus, June 20-21, 2011. Revised Selected Papers ent://SD_ILS/0/SD_ILS:196321 2024-12-29T14:12:25Z 2024-12-29T14:12:25Z Yazar&#160;Harth, Andreas. editor.&#160;Koch, Nora. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-27997-3">http://dx.doi.org/10.1007/978-3-642-27997-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Economics of Grids, Clouds, Systems, and Services 8th International Workshop, GECON 2011, Paphos, Cyprus, December 5, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196507 2024-12-29T14:12:25Z 2024-12-29T14:12:25Z Yazar&#160;Vanmechelen, Kurt. editor.&#160;Altmann, J&ouml;rn. editor.&#160;Rana, Omer F. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28675-9">http://dx.doi.org/10.1007/978-3-642-28675-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Service-Oriented Computing - ICSOC 2011 Workshops ICSOC 2011, International Workshops WESOA, NFPSLAM-SOC, and Satellite Events, Paphos, Cyprus, December 5-8, 2011. Revised Selected Papers ent://SD_ILS/0/SD_ILS:197148 2024-12-29T14:12:25Z 2024-12-29T14:12:25Z Yazar&#160;Pallis, George. editor.&#160;Jmaiel, Mohamed. editor.&#160;Charfi, Anis. editor.&#160;Graupner, Sven. editor.&#160;Karabulut, Y&uuml;cel. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31875-7">http://dx.doi.org/10.1007/978-3-642-31875-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Theory and Practice of Digital Libraries Second International Conference, TPDL 2012, Paphos, Cyprus, September 23-27, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197350 2024-12-29T14:12:25Z 2024-12-29T14:12:25Z Yazar&#160;Zaphiris, Panayiotis. editor.&#160;Buchanan, George. editor.&#160;Rasmussen, Edie. editor.&#160;Loizides, Fernando. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33290-6">http://dx.doi.org/10.1007/978-3-642-33290-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Progress in Cultural Heritage Preservation 4th International Conference, EuroMed 2012, Limassol, Cyprus, October 29 &ndash; November 3, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197496 2024-12-29T14:12:25Z 2024-12-29T14:12:25Z Yazar&#160;Ioannides, Marinos. editor.&#160;Fritsch, Dieter. editor.&#160;Leissner, Johanna. editor.&#160;Davies, Rob. editor.&#160;Remondino, Fabio. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34234-9">http://dx.doi.org/10.1007/978-3-642-34234-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Web Information Systems Engineering - WISE 2012 13th International Conference, Paphos, Cyprus, November 28-30, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197563 2024-12-29T14:12:25Z 2024-12-29T14:12:25Z Yazar&#160;Wang, X. Sean. editor.&#160;Cruz, Isabel. editor.&#160;Delis, Alex. editor.&#160;Huang, Guangyan. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35063-4">http://dx.doi.org/10.1007/978-3-642-35063-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Wireless Mobile Communication and Healthcare Second International ICST Conference, MobiHealth 2010, Ayia Napa, Cyprus, October 18-20, 2010. Revised Selected Papers ent://SD_ILS/0/SD_ILS:194512 2024-12-29T14:12:25Z 2024-12-29T14:12:25Z Yazar&#160;Lin, James C. editor.&#160;Nikita, Konstantina S. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-20865-2">http://dx.doi.org/10.1007/978-3-642-20865-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Web Engineering 11th International Conference, ICWE 2011, Paphos, Cyprus, June 20-24, 2011 ent://SD_ILS/0/SD_ILS:194957 2024-12-29T14:12:25Z 2024-12-29T14:12:25Z Yazar&#160;Auer, S&ouml;ren. editor.&#160;D&iacute;az, Oscar. editor.&#160;Papadopoulos, George A. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-22233-7">http://dx.doi.org/10.1007/978-3-642-22233-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Service-Oriented Computing 9th International Conference, ICSOC 2011, Paphos, Cyprus, December 5-8, 2011 Proceedings ent://SD_ILS/0/SD_ILS:195973 2024-12-29T14:12:25Z 2024-12-29T14:12:25Z Yazar&#160;Kappel, Gerti. editor.&#160;Maamar, Zakaria. editor.&#160;Motahari-Nezhad, Hamid R. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-25535-9">http://dx.doi.org/10.1007/978-3-642-25535-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers ent://SD_ILS/0/SD_ILS:193176 2024-12-29T14:12:25Z 2024-12-29T14:12:25Z Yazar&#160;Armando, Alessandro. editor.&#160;Lowe, Gavin. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16074-5">http://dx.doi.org/10.1007/978-3-642-16074-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Formal Concept Analysis 9th International Conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194398 2024-12-29T14:12:25Z 2024-12-29T14:12:25Z Yazar&#160;Valtchev, Petko. editor.&#160;J&auml;schke, Robert. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-20514-9">http://dx.doi.org/10.1007/978-3-642-20514-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Autonomic Computing and Communications Systems Third International ICST Conference, Autonomics 2009, Limassol, Cyprus, September 9-11, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:191697 2024-12-29T14:12:25Z 2024-12-29T14:12:25Z Yazar&#160;Vasilakos, Athanasius V. editor.&#160;Beraldi, Roberto. editor.&#160;Friedman, Roy. editor.&#160;Mamei, Marco. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-11482-3">http://dx.doi.org/10.1007/978-3-642-11482-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Rewriting Logic and Its Applications 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:193255 2024-12-29T14:12:25Z 2024-12-29T14:12:25Z Yazar&#160;&Ouml;lveczky, Peter Csaba. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16310-4">http://dx.doi.org/10.1007/978-3-642-16310-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings ent://SD_ILS/0/SD_ILS:191847 2024-12-29T14:12:25Z 2024-12-29T14:12:25Z Yazar&#160;Gordon, Andrew D. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-11957-6">http://dx.doi.org/10.1007/978-3-642-11957-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Compiler Construction 19th International Conference, CC 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings ent://SD_ILS/0/SD_ILS:191850 2024-12-29T14:12:25Z 2024-12-29T14:12:25Z Yazar&#160;Gupta, Rajiv. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-11970-5">http://dx.doi.org/10.1007/978-3-642-11970-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings ent://SD_ILS/0/SD_ILS:191857 2024-12-29T14:12:25Z 2024-12-29T14:12:25Z Yazar&#160;Esparza, Javier. editor.&#160;Majumdar, Rupak. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-12002-2">http://dx.doi.org/10.1007/978-3-642-12002-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Fundamental Approaches to Software Engineering 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings ent://SD_ILS/0/SD_ILS:191866 2024-12-29T14:12:25Z 2024-12-29T14:12:25Z Yazar&#160;Rosenblum, David S. editor.&#160;Taentzer, Gabriele. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-12029-9">http://dx.doi.org/10.1007/978-3-642-12029-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Foundations of Software Science and Computational Structures 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings ent://SD_ILS/0/SD_ILS:191867 2024-12-29T14:12:25Z 2024-12-29T14:12:25Z Yazar&#160;Ong, Luke. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-12032-9">http://dx.doi.org/10.1007/978-3-642-12032-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Artificial Intelligence Applications and Innovations 6th IFIP WG 12.5 International Conference, AIAI 2010, Larnaca, Cyprus, October 6-7, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193231 2024-12-29T14:12:25Z 2024-12-29T14:12:25Z Yazar&#160;Papadopoulos, Harris. editor.&#160;Andreou, Andreas S. editor.&#160;Bramer, Max. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16239-8">http://dx.doi.org/10.1007/978-3-642-16239-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Digital Heritage Third International Conference, EuroMed 2010, Lemessos, Cyprus, November 8-13, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193441 2024-12-29T14:12:25Z 2024-12-29T14:12:25Z Yazar&#160;Ioannides, Marinos. editor.&#160;Fellner, Dieter. editor.&#160;Georgopoulos, Andreas. editor.&#160;Hadjimitsis, Diofantos G. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16873-4">http://dx.doi.org/10.1007/978-3-642-16873-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Object-Oriented Technology. ECOOP 2008 Workshop Reader ECOOP 2008 Workshops Paphos, Cyprus, July 7-11, 2008 Final Reports ent://SD_ILS/0/SD_ILS:190199 2024-12-29T14:12:25Z 2024-12-29T14:12:25Z Yazar&#160;Eugster, Patrick. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02047-6">http://dx.doi.org/10.1007/978-3-642-02047-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> High Performance Embedded Architectures and Compilers Fourth International Conference, HiPEAC 2009, Paphos, Cyprus, January 25-28, 2009. Proceedings ent://SD_ILS/0/SD_ILS:189501 2024-12-29T14:12:25Z 2024-12-29T14:12:25Z Yazar&#160;Seznec, Andr&eacute;. editor.&#160;Emer, Joel. editor.&#160;O&rsquo;Boyle, Michael. editor.&#160;Martonosi, Margaret. editor.&#160;Ungerer, Theo. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-540-92990-1">http://dx.doi.org/10.1007/978-3-540-92990-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Emerging Challenges for Security, Privacy and Trust 24th IFIP TC 11 International Information Security Conference, SEC 2009, Pafos, Cyprus, May 18&ndash;20, 2009. Proceedings ent://SD_ILS/0/SD_ILS:189928 2024-12-29T14:12:25Z 2024-12-29T14:12:25Z Yazar&#160;Gritzalis, Dimitris. editor.&#160;Lopez, Javier. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-01244-0">http://dx.doi.org/10.1007/978-3-642-01244-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Algorithmic Game Theory Second International Symposium, SAGT 2009, Paphos, Cyprus, October 18-20, 2009. Proceedings ent://SD_ILS/0/SD_ILS:191013 2024-12-29T14:12:25Z 2024-12-29T14:12:25Z Yazar&#160;Mavronicolas, Marios. editor.&#160;Papadopoulou, Vicky G. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04645-2">http://dx.doi.org/10.1007/978-3-642-04645-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Artificial Neural Networks &ndash; ICANN 2009 19th International Conference, Limassol, Cyprus, September 14-17, 2009, Proceedings, Part I ent://SD_ILS/0/SD_ILS:190894 2024-12-29T14:12:25Z 2024-12-29T14:12:25Z Yazar&#160;Alippi, Cesare. editor.&#160;Polycarpou, Marios. editor.&#160;Panayiotou, Christos. editor.&#160;Ellinas, Georgios. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04274-4">http://dx.doi.org/10.1007/978-3-642-04274-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Artificial Neural Networks &ndash; ICANN 2009 19th International Conference, Limassol, Cyprus, September 14-17, 2009, Proceedings, Part II ent://SD_ILS/0/SD_ILS:190895 2024-12-29T14:12:25Z 2024-12-29T14:12:25Z Yazar&#160;Alippi, Cesare. editor.&#160;Polycarpou, Marios. editor.&#160;Panayiotou, Christos. editor.&#160;Ellinas, Georgios. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04277-5">http://dx.doi.org/10.1007/978-3-642-04277-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> ECOOP 2008 &ndash; Object-Oriented Programming 22nd European Conference Paphos, Cyprus, July 7-11, 2008 Proceedings ent://SD_ILS/0/SD_ILS:186002 2024-12-29T14:12:25Z 2024-12-29T14:12:25Z Yazar&#160;Vitek, Jan. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-540-70592-5">http://dx.doi.org/10.1007/978-3-540-70592-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Software Architecture Second European Conference, ECSA 2008 Paphos, Cyprus, September 29-October 1, 2008 Proceedings ent://SD_ILS/0/SD_ILS:188969 2024-12-29T14:12:25Z 2024-12-29T14:12:25Z Yazar&#160;Morrison, Ron. editor.&#160;Balasubramaniam, Dharini. editor.&#160;Falkner, Katrina. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-540-88030-1">http://dx.doi.org/10.1007/978-3-540-88030-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Analytical and Stochastic Modeling Techniques and Applications 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings ent://SD_ILS/0/SD_ILS:185675 2024-12-29T14:12:25Z 2024-12-29T14:12:25Z Yazar&#160;Al-Begain, Khalid. editor.&#160;Heindl, Armin. editor.&#160;Telek, Mikl&oacute;s. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-540-68982-9">http://dx.doi.org/10.1007/978-3-540-68982-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Algorithms and Architectures for Parallel Processing 8th International Conference, ICA3PP 2008, Cyprus, June 9-11, 2008 Proceedings ent://SD_ILS/0/SD_ILS:185850 2024-12-29T14:12:25Z 2024-12-29T14:12:25Z Yazar&#160;Bourgeois, Anu G. editor.&#160;Zheng, S. Q. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-540-69501-1">http://dx.doi.org/10.1007/978-3-540-69501-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Enterprise Information Systems 8th International Conference, ICEIS 2006, Paphos, Cyprus, May 23-27, 2006 , Revised Selected Papers ent://SD_ILS/0/SD_ILS:187920 2024-12-29T14:12:25Z 2024-12-29T14:12:25Z Yazar&#160;Manolopoulos, Yannis. editor.&#160;Filipe, Joaquim. editor.&#160;Constantopoulos, Panos. editor.&#160;Cordeiro, Jos&eacute;. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-540-77581-2">http://dx.doi.org/10.1007/978-3-540-77581-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Coordination Models and Languages 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings ent://SD_ILS/0/SD_ILS:186655 2024-12-29T14:12:25Z 2024-12-29T14:12:25Z Yazar&#160;Murphy, Amy L. editor.&#160;Vitek, Jan. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-540-72794-1">http://dx.doi.org/10.1007/978-3-540-72794-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Distributed Computing 21st International Symposium, DISC 2007, Lemesos, Cyprus, September 24-26, 2007. Proceedings ent://SD_ILS/0/SD_ILS:187343 2024-12-29T14:12:25Z 2024-12-29T14:12:25Z Yazar&#160;Pelc, Andrzej. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-540-75142-7">http://dx.doi.org/10.1007/978-3-540-75142-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Distributed Applications and Interoperable Systems 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings ent://SD_ILS/0/SD_ILS:186676 2024-12-29T14:12:25Z 2024-12-29T14:12:25Z Yazar&#160;Indulska, Jadwiga. editor.&#160;Raymond, Kerry. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-540-72883-2">http://dx.doi.org/10.1007/978-3-540-72883-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Formal Methods for Open Object-Based Distributed Systems 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings ent://SD_ILS/0/SD_ILS:186699 2024-12-29T14:12:25Z 2024-12-29T14:12:25Z Yazar&#160;Bonsangue, Marcello M. editor.&#160;Johnsen, Einar Broch. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-540-72952-5">http://dx.doi.org/10.1007/978-3-540-72952-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Leveraging Applications of Formal Methods First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers ent://SD_ILS/0/SD_ILS:185152 2024-12-29T14:12:25Z 2024-12-29T14:12:25Z Yazar&#160;Margaria, Tiziana. editor.&#160;Steffen, Bernhard. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/11925040">http://dx.doi.org/10.1007/11925040</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005, Proceedings, Part I ent://SD_ILS/0/SD_ILS:183177 2024-12-29T14:12:25Z 2024-12-29T14:12:25Z Yazar&#160;Meersman, Robert. editor.&#160;Tari, Zahir. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/11575771">http://dx.doi.org/10.1007/11575771</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005, Proceedings Part II ent://SD_ILS/0/SD_ILS:183181 2024-12-29T14:12:25Z 2024-12-29T14:12:25Z Yazar&#160;Meersman, Robert. editor.&#160;Tari, Zahir. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/11575801">http://dx.doi.org/10.1007/11575801</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> On the Move to Meaningful Internet Systems 2005: OTM 2005 Workshops OTM Confederated Internationl Workshops and Posters, AWeSOMe, CAMS, GADA, MIOS+INTEROP, ORM, PhDS, SeBGIS, SWWS, and WOSE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183191 2024-12-29T14:12:25Z 2024-12-29T14:12:25Z Yazar&#160;Meersman, Robert. editor.&#160;Tari, Zahir. editor.&#160;Herrero, Pilar. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/11575863">http://dx.doi.org/10.1007/11575863</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/>