Arama Sonu&ccedil;lar&#305; Cyprus. - Daralt&#305;lm&#305;&#351;: 2018 SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dCyprus.$0026qf$003dPUBDATE$002509Yay$0025C4$0025B1n$002bY$0025C4$0025B1l$0025C4$0025B1$0025092018$0025092018$0026te$003dILS$0026ps$003d300?dt=list 2024-12-29T12:36:24Z 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-29T12:36:24Z 2024-12-29T12:36:24Z 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/> Discovery Science 21st International Conference, DS 2018, Limassol, Cyprus, October 29&ndash;31, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399396 2024-12-29T12:36:24Z 2024-12-29T12:36:24Z Yazar&#160;Soldatova, Larisa. editor. (orcid)0000-0001-6489-3029&#160;Vanschoren, Joaquin. editor. (orcid)0000-0001-7044-9805&#160;Papadopoulos, George. editor. (orcid)0000-0001-9250-4916&#160;Ceci, Michelangelo. editor. (orcid)0000-0002-6690-7583&#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-01771-2">https://doi.org/10.1007/978-3-030-01771-2</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-29T12:36:24Z 2024-12-29T12:36:24Z 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/> Foundations of Intelligent Systems 24th International Symposium, ISMIS 2018, Limassol, Cyprus, October 29&ndash;31, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399336 2024-12-29T12:36:24Z 2024-12-29T12:36:24Z Yazar&#160;Ceci, Michelangelo. editor. (orcid)0000-0002-6690-7583&#160;Japkowicz, Nathalie. editor.&#160;Liu, Jiming. editor. (orcid)0000-0002-8669-9064&#160;Papadopoulos, George A. editor.&#160;Ra&#347;, Zbigniew W. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-01851-1">https://doi.org/10.1007/978-3-030-01851-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Digital Heritage. Progress in Cultural Heritage: Documentation, Preservation, and Protection 7th International Conference, EuroMed 2018, Nicosia, Cyprus, October 29 &ndash; November 3, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:399965 2024-12-29T12:36:24Z 2024-12-29T12:36:24Z Yazar&#160;Ioannides, Marinos. editor.&#160;Fink, Eleanor. editor.&#160;Brumana, Raffaella. editor. (orcid)0000-0002-3359-981X&#160;Patias, Petros. editor.&#160;Doulamis, Anastasios. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-01765-1">https://doi.org/10.1007/978-3-030-01765-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Digital Heritage. Progress in Cultural Heritage: Documentation, Preservation, and Protection 7th International Conference, EuroMed 2018, Nicosia, Cyprus, October 29&ndash;November 3, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:400550 2024-12-29T12:36:24Z 2024-12-29T12:36:24Z Yazar&#160;Ioannides, Marinos. editor.&#160;Fink, Eleanor. editor.&#160;Brumana, Raffaella. editor. (orcid)0000-0002-3359-981X&#160;Patias, Petros. editor.&#160;Doulamis, Anastasios. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-01762-0">https://doi.org/10.1007/978-3-030-01762-0</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-29T12:36:24Z 2024-12-29T12:36:24Z 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-29T12:36:24Z 2024-12-29T12:36:24Z 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-29T12:36:24Z 2024-12-29T12:36:24Z 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-29T12:36:24Z 2024-12-29T12:36:24Z 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/> Yak&#305;n Do&#287;u &Uuml;niversitesi Sosyal bilimler dergisi. ent://SD_ILS/0/SD_ILS:229322 2024-12-29T12:36:24Z 2024-12-29T12:36:24Z Yazar&#160;Yak&#305;ndo&#287;u Universitesi (Nicosia, Cyprus)<br/>Elektronik Eri&#351;im&#160;<a href="http://feas.neu.edu.tr/dergi/icindekilercilt1sayi1.html">Elektronik Eri?im,Özet</a><br/>Format:&#160;Devam Eden S&uuml;reli Yay&#305;nlar&#160;Di&#287;er<br/>Durum&#160;~0<br/> The Turkish Cypriot yearbook of international relations. ent://SD_ILS/0/SD_ILS:55995 2024-12-29T12:36:24Z 2024-12-29T12:36:24Z Yazar&#160;United Nations Association of Northern Cyprus.<br/>Yer Numaras&#305;&#160;DS54.A2 T86 1987KS.1<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~1<br/> Avrupa Birli&#287;i k&#305;skac&#305;nda K&#305;br&#305;s meselesi : bug&uuml;n&uuml; ve yar&#305;n&#305; ent://SD_ILS/0/SD_ILS:99238 2024-12-29T12:36:24Z 2024-12-29T12:36:24Z Yazar&#160;&Uuml;lger, &#304;rfan Kaya, ed.&#160;Efegil, Ertan, ed.<br/>Yer Numaras&#305;&#160;DS 54.9 A97 2002<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~1<br/> Vasilikos Valley Project ent://SD_ILS/0/SD_ILS:81349 2024-12-29T12:36:24Z 2024-12-29T12:36:24Z Yazar&#160;Todd, Ian A., ed.&#160;Vasilikos Valley Project.<br/>Yer Numaras&#305;&#160;DS 54.95.K35 V37 1986-<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~1<br/> K&#305;br&#305;s T&uuml;rk topra&#287;&#305;d&#305;r : b&uuml;t&uuml;n T&uuml;rklerin vatan&#305;d&#305;r ent://SD_ILS/0/SD_ILS:125776 2024-12-29T12:36:24Z 2024-12-29T12:36:24Z Yazar&#160;Emircan, Mehmet S. (Mehmet Salih), 1937-<br/>Yer Numaras&#305;&#160;DS54.9 .E4 2007 V.1<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~5<br/> Be&#351;tulum'dan Zirk&ouml;y'e : bir K&#305;br&#305;s &ccedil;ocuklu&#287;u ve ilkgen&ccedil;li&#287;i 1940-1963 ent://SD_ILS/0/SD_ILS:423790 2024-12-29T12:36:24Z 2024-12-29T12:36:24Z Yazar&#160;Bozkurt, &#304;smail, 1940- author.<br/>Yer Numaras&#305;&#160;DS54.93.B69 B47 2018<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~1<br/> K&#305;br&#305;s T&uuml;rk edebiyat&#305; ve edebiyat&ccedil;&#305;lar&#305; 12-13 May&#305;s 2016 ent://SD_ILS/0/SD_ILS:509030 2024-12-29T12:36:24Z 2024-12-29T12:36:24Z Yazar&#160;K&#305;br&#305;s T&uuml;rk Edebiyat&#305; ve Edebiyat&ccedil;&#305;lar&#305; Sempozyumu Bildirileri : (2 2016 : &#304;zmir)&#160;&Ccedil;evik, Mehmet.<br/>Yer Numaras&#305;&#160;PL247.C9 U49 2018<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~1<br/> T&uuml;rkiye'nin 1974 &ouml;ncesi K&#305;br&#305;s politikas&#305;, vizyonu ve uygulamalar&#305; ent://SD_ILS/0/SD_ILS:512217 2024-12-29T12:36:24Z 2024-12-29T12:36:24Z Yazar&#160;G&ouml;kt&uuml;rk, Turgay B&uuml;lent.<br/>Yer Numaras&#305;&#160;DS54.9 G651 2018<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~1<br/>