Arama Sonuçları Reasoning. - Daraltılmış: 2015
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dReasoning.$0026qf$003dPUBDATE$002509Yay$0025C4$0025B1n$002bY$0025C4$0025B1l$0025C4$0025B1$0025092015$0025092015$0026ic$003dtrue$0026ps$003d300?dt=list
2024-11-25T08:15:52Z
Judgment and reasoning in the child
ent://SD_ILS/0/SD_ILS:1520
2024-11-25T08:15:52Z
2024-11-25T08:15:52Z
Yazar Piaget, Jean, 1896- Cartalis, Mlles E., collab.<br/>Yer Numarası BF 723.R4 P53 1928<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Methods and criteria of reasoning : an inquiry into the structure of controversy
ent://SD_ILS/0/SD_ILS:55668
2024-11-25T08:15:52Z
2024-11-25T08:15:52Z
Yazar Crawshay-Williams, Rupert.<br/>Yer Numarası BC 177 C7 1957 (SET)<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Logical investigative methods : critical thinking and reasoning for successful investigations
ent://SD_ILS/0/SD_ILS:356395
2024-11-25T08:15:52Z
2024-11-25T08:15:52Z
Yazar Girod, Robert J., author.<br/>Yer Numarası ONLINE(356395.1)<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9781482243147">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automated Reasoning with Analytic Tableaux and Related Methods 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:518971
2024-11-25T08:15:52Z
2024-11-25T08:15:52Z
Yazar De Nivelle, Hans. editor. SpringerLink (Online service)<br/>Yer Numarası XX(518971.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-24312-2">https://doi.org/10.1007/978-3-319-24312-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Graph Structures for Knowledge Representation and Reasoning 4th International Workshop, GKR 2015, Buenos Aires, Argentina, July 25, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:518979
2024-11-25T08:15:52Z
2024-11-25T08:15:52Z
Yazar Croitoru, Madalina. editor. Marquis, Pierre. editor. Rudolph, Sebastian. editor. Stapleton, Gem. editor. SpringerLink (Online service)<br/>Yer Numarası XX(518979.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-28702-7">https://doi.org/10.1007/978-3-319-28702-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Case-Based Reasoning Research and Development 23rd International Conference, ICCBR 2015, Frankfurt am Main, Germany, September 28-30, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:518774
2024-11-25T08:15:52Z
2024-11-25T08:15:52Z
Yazar Hüllermeier, Eyke. editor. Minor, Mirjam. editor. SpringerLink (Online service)<br/>Yer Numarası XX(518774.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-24586-7">https://doi.org/10.1007/978-3-319-24586-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reasoning Web. Web Logic Rules 11th International Summer School 2015, Berlin, Germany, July 31- August 4, 2015, Tutorial Lectures.
ent://SD_ILS/0/SD_ILS:518822
2024-11-25T08:15:52Z
2024-11-25T08:15:52Z
Yazar Faber, Wolfgang. editor. Paschke, Adrian. editor. SpringerLink (Online service)<br/>Yer Numarası XX(518822.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-21768-0">https://doi.org/10.1007/978-3-319-21768-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Web Reasoning and Rule Systems 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings.
ent://SD_ILS/0/SD_ILS:519157
2024-11-25T08:15:52Z
2024-11-25T08:15:52Z
Yazar ten Cate, Balder. editor. Mileo, Alessandra. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519157.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-22002-4">https://doi.org/10.1007/978-3-319-22002-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Models of Strategic Reasoning Logics, Games, and Communities
ent://SD_ILS/0/SD_ILS:519080
2024-11-25T08:15:52Z
2024-11-25T08:15:52Z
Yazar van Benthem, Johan. editor. Ghosh, Sujata. editor. Verbrugge, Rineke. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519080.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-48540-8">https://doi.org/10.1007/978-3-662-48540-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:519293
2024-11-25T08:15:52Z
2024-11-25T08:15:52Z
Yazar Calimeri, Francesco. editor. Ianni, Giovambattista. editor. Truszczynski, Miroslaw. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519293.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-23264-5">https://doi.org/10.1007/978-3-319-23264-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:519103
2024-11-25T08:15:52Z
2024-11-25T08:15:52Z
Yazar Davis, Martin. editor. Fehnker, Ansgar. editor. McIver, Annabelle. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519103.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-48899-7">https://doi.org/10.1007/978-3-662-48899-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 13th European Conference, ECSQARU 2015, Compiègne, France, July 15-17, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:519113
2024-11-25T08:15:52Z
2024-11-25T08:15:52Z
Yazar Destercke, Sébastien. editor. Denoeux, Thierry. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519113.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-20807-7">https://doi.org/10.1007/978-3-319-20807-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reasoning and Public Health: New Ways of Coping with Uncertainty
ent://SD_ILS/0/SD_ILS:519555
2024-11-25T08:15:52Z
2024-11-25T08:15:52Z
Yazar Cummings, Louise. author. SpringerLink (Online service)<br/>Yer Numarası XX(519555.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-15013-0">https://doi.org/10.1007/978-3-319-15013-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The technique of controversy : principles of dynamic logic
ent://SD_ILS/0/SD_ILS:72543
2024-11-25T08:15:52Z
2024-11-25T08:15:52Z
Yazar Bogoslovsky, Boris Basil, 1890-<br/>Yer Numarası BC 108 B65 1928 (SET)<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Dialectic
ent://SD_ILS/0/SD_ILS:72501
2024-11-25T08:15:52Z
2024-11-25T08:15:52Z
Yazar Adler, Mortimer Jerome, 1902-<br/>Yer Numarası BC 177 A4 1927 (SET)<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Mastermind : Sherlock Holmes gibi düşünmek
ent://SD_ILS/0/SD_ILS:360347
2024-11-25T08:15:52Z
2024-11-25T08:15:52Z
Yazar Konnikova, Maria. Yeşiltuna, Zeynep.<br/>Yer Numarası BC108 K58 2015<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~2<br/>
Advanced Information Systems Engineering Workshops CAiSE 2015 International Workshops, Stockholm, Sweden, June 8-9, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:518451
2024-11-25T08:15:52Z
2024-11-25T08:15:52Z
Yazar Persson, Anne. editor. Stirna, Janis. editor. SpringerLink (Online service)<br/>Yer Numarası XX(518451.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-19243-7">https://doi.org/10.1007/978-3-319-19243-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
HCI International 2015 - Posters' Extended Abstracts International Conference, HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015. Proceedings, Part I
ent://SD_ILS/0/SD_ILS:518483
2024-11-25T08:15:52Z
2024-11-25T08:15:52Z
Yazar Stephanidis, Constantine. editor. SpringerLink (Online service)<br/>Yer Numarası XX(518483.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-21380-4">https://doi.org/10.1007/978-3-319-21380-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Nature of Computation and Communication International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:518529
2024-11-25T08:15:52Z
2024-11-25T08:15:52Z
Yazar Vinh, Phan Cong. editor. Vassev, Emil. editor. Hinchey, Mike. editor. SpringerLink (Online service)<br/>Yer Numarası XX(518529.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-15392-6">https://doi.org/10.1007/978-3-319-15392-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Intelligence in Analog and Mixed-Signal (AMS) and Radio-Frequency (RF) Circuit Design
ent://SD_ILS/0/SD_ILS:518551
2024-11-25T08:15:52Z
2024-11-25T08:15:52Z
Yazar Fakhfakh, Mourad. editor. Tlelo-Cuautle, Esteban. editor. Siarry, Patrick. editor. SpringerLink (Online service)<br/>Yer Numarası XX(518551.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-19872-9">https://doi.org/10.1007/978-3-319-19872-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
A Construction Manual for Robots' Ethical Systems Requirements, Methods, Implementations
ent://SD_ILS/0/SD_ILS:518563
2024-11-25T08:15:52Z
2024-11-25T08:15:52Z
Yazar Trappl, Robert. editor. SpringerLink (Online service)<br/>Yer Numarası XX(518563.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-21548-8">https://doi.org/10.1007/978-3-319-21548-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The Human Face of Ambient Intelligence Cognitive, Emotional, Affective, Behavioral and Conversational Aspects
ent://SD_ILS/0/SD_ILS:518587
2024-11-25T08:15:52Z
2024-11-25T08:15:52Z
Yazar Bibri, Simon Elias. author. SpringerLink (Online service)<br/>Yer Numarası XX(518587.1)<br/>Elektronik Erişim <a href="https://doi.org/10.2991/978-94-6239-130-7">https://doi.org/10.2991/978-94-6239-130-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Creativity Research: Towards Creative Machines
ent://SD_ILS/0/SD_ILS:518589
2024-11-25T08:15:52Z
2024-11-25T08:15:52Z
Yazar Besold, Tarek R. editor. Schorlemmer, Marco. editor. Smaill, Alan. editor. SpringerLink (Online service)<br/>Yer Numarası XX(518589.1)<br/>Elektronik Erişim <a href="https://doi.org/10.2991/978-94-6239-085-0">https://doi.org/10.2991/978-94-6239-085-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The Semantic Web - ISWC 2015 14th International Semantic Web Conference, Bethlehem, PA, USA, October 11-15, 2015, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:518930
2024-11-25T08:15:52Z
2024-11-25T08:15:52Z
Yazar Arenas, Marcelo. editor. Corcho, Oscar. editor. Simperl, Elena. editor. Strohmaier, Markus. editor. d'Aquin, Mathieu. editor.<br/>Yer Numarası XX(518930.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-25007-6">https://doi.org/10.1007/978-3-319-25007-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
AI*IA 2015 Advances in Artificial Intelligence XIVth International Conference of the Italian Association for Artificial Intelligence, Ferrara, Italy, September 23-25, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:518942
2024-11-25T08:15:52Z
2024-11-25T08:15:52Z
Yazar Gavanelli, Marco. editor. Lamma, Evelina. editor. Riguzzi, Fabrizio. editor. SpringerLink (Online service)<br/>Yer Numarası XX(518942.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-24309-2">https://doi.org/10.1007/978-3-319-24309-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Rule Technologies: Foundations, Tools, and Applications 9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:518946
2024-11-25T08:15:52Z
2024-11-25T08:15:52Z
Yazar Bassiliades, Nick. editor. Gottlob, Georg. editor. Sadri, Fariba. editor. Paschke, Adrian. editor. Roman, Dumitru. editor.<br/>Yer Numarası XX(518946.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-21542-6">https://doi.org/10.1007/978-3-319-21542-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:518953
2024-11-25T08:15:52Z
2024-11-25T08:15:52Z
Yazar Krivine, Jean. editor. Stefani, Jean-Bernard. editor. SpringerLink (Online service)<br/>Yer Numarası XX(518953.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-20860-2">https://doi.org/10.1007/978-3-319-20860-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Natural Language Processing and Information Systems 20th International Conference on Applications of Natural Language to Information Systems, NLDB 2015, Passau, Germany, June 17-19, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:518958
2024-11-25T08:15:52Z
2024-11-25T08:15:52Z
Yazar Biemann, Chris. editor. Handschuh, Siegfried. editor. Freitas, André. editor. Meziane, Farid. editor. Métais, Elisabeth. editor.<br/>Yer Numarası XX(518958.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-19581-0">https://doi.org/10.1007/978-3-319-19581-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:519299
2024-11-25T08:15:52Z
2024-11-25T08:15:52Z
Yazar Rutkowski, Leszek. editor. Korytkowski, Marcin. editor. Scherer, Rafal. editor. Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.<br/>Yer Numarası XX(519299.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-19369-4">https://doi.org/10.1007/978-3-319-19369-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Foundations of Biomedical Knowledge Representation Methods and Applications
ent://SD_ILS/0/SD_ILS:519300
2024-11-25T08:15:52Z
2024-11-25T08:15:52Z
Yazar Hommersom, Arjen. editor. Lucas, Peter J.F. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519300.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-28007-3">https://doi.org/10.1007/978-3-319-28007-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:519313
2024-11-25T08:15:52Z
2024-11-25T08:15:52Z
Yazar Rutkowski, Leszek. editor. Korytkowski, Marcin. editor. Scherer, Rafal. editor. Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.<br/>Yer Numarası XX(519313.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-19324-3">https://doi.org/10.1007/978-3-319-19324-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Transactions on Aspect-Oriented Software Development XII
ent://SD_ILS/0/SD_ILS:519315
2024-11-25T08:15:52Z
2024-11-25T08:15:52Z
Yazar Chiba, Shigeru. editor. Tanter, Éric. editor. Ernst, Erik. editor. Hirschfeld, Robert. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519315.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-46734-3">https://doi.org/10.1007/978-3-662-46734-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Semantic Technology 4th Joint International Conference, JIST 2014, Chiang Mai, Thailand, November 9-11, 2014. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:518833
2024-11-25T08:15:52Z
2024-11-25T08:15:52Z
Yazar Supnithi, Thepchai. editor. Yamaguchi, Takahira. editor. Pan, Jeff Z. editor. Wuwongse, Vilas. editor. Buranarach, Marut. editor.<br/>Yer Numarası XX(518833.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-15615-6">https://doi.org/10.1007/978-3-319-15615-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:518840
2024-11-25T08:15:52Z
2024-11-25T08:15:52Z
Yazar Calinescu, Radu. editor. Rumpe, Bernhard. editor. SpringerLink (Online service)<br/>Yer Numarası XX(518840.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-22969-0">https://doi.org/10.1007/978-3-319-22969-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Knowledge Engineering and Knowledge Management EKAW 2014 Satellite Events, VISUAL, EKM1, and ARCOE-Logic, Linköping, Sweden, November 24-28, 2014. Revised Selected Papers.
ent://SD_ILS/0/SD_ILS:518853
2024-11-25T08:15:52Z
2024-11-25T08:15:52Z
Yazar Lambrix, Patrick. editor. Hyvönen, Eero. editor. Blomqvist, Eva. editor. Presutti, Valentina. editor. Qi, Guilin. editor.<br/>Yer Numarası XX(518853.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-17966-7">https://doi.org/10.1007/978-3-319-17966-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Artificial General Intelligence 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:518878
2024-11-25T08:15:52Z
2024-11-25T08:15:52Z
Yazar Bieger, Jordi. editor. Goertzel, Ben. editor. Potapov, Alexey. editor. SpringerLink (Online service)<br/>Yer Numarası XX(518878.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-21365-1">https://doi.org/10.1007/978-3-319-21365-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computer Vision -- ACCV 2014 12th Asian Conference on Computer Vision, Singapore, Singapore, November 1-5, 2014, Revised Selected Papers, Part V
ent://SD_ILS/0/SD_ILS:518909
2024-11-25T08:15:52Z
2024-11-25T08:15:52Z
Yazar Cremers, Daniel. editor. Reid, Ian. editor. Saito, Hideo. editor. Yang, Ming-Hsuan. editor. SpringerLink (Online service)<br/>Yer Numarası XX(518909.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-16814-2">https://doi.org/10.1007/978-3-319-16814-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Intelligent Information and Database Systems 7th Asian Conference, ACIIDS 2015, Bali, Indonesia, March 23-25, 2015, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:519188
2024-11-25T08:15:52Z
2024-11-25T08:15:52Z
Yazar Nguyen, Ngoc Thanh. editor. Trawiński, Bogdan. editor. Kosala, Raymond. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519188.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-15702-3">https://doi.org/10.1007/978-3-319-15702-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:519225
2024-11-25T08:15:52Z
2024-11-25T08:15:52Z
Yazar Halldórsson, Magnús M. editor. Iwama, Kazuo. editor. Kobayashi, Naoki. editor. Speckmann, Bettina. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519225.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-47666-6">https://doi.org/10.1007/978-3-662-47666-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Principles of Security and Trust 4th International Conference, POST 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:519227
2024-11-25T08:15:52Z
2024-11-25T08:15:52Z
Yazar Focardi, Riccardo. editor. Myers, Andrew. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519227.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-46666-7">https://doi.org/10.1007/978-3-662-46666-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Enterprise, Business-Process and Information Systems Modeling 16th International Conference, BPMDS 2015, 20th International Conference, EMMSAD 2015, Held at CAiSE 2015, Stockholm, Sweden, June 8-9, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:518632
2024-11-25T08:15:52Z
2024-11-25T08:15:52Z
Yazar Gaaloul, Khaled. editor. Schmidt, Rainer. editor. (orcid) Nurcan, Selmin. editor. Guerreiro, Sérgio. editor. Ma, Qin. editor.<br/>Yer Numarası XX(518632.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-19237-6">https://doi.org/10.1007/978-3-319-19237-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Information and Knowledge Management in Complex Systems 16th IFIP WG 8.1 International Conference on Informatics and Semiotics in Organisations, ICISO 2015, Toulouse, France, March 19-20, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:518667
2024-11-25T08:15:52Z
2024-11-25T08:15:52Z
Yazar Liu, Kecheng. editor. Nakata, Keiichi. editor. Li, Weizi. editor. Galarreta, Daniel. editor. SpringerLink (Online service)<br/>Yer Numarası XX(518667.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-16274-4">https://doi.org/10.1007/978-3-319-16274-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
E-Voting and Identity 5th International Conference, VoteID 2015, Bern, Switzerland, September 2-4, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:518761
2024-11-25T08:15:52Z
2024-11-25T08:15:52Z
Yazar Haenni, Rolf. editor. Koenig, Reto E. editor. Wikström, Douglas. editor. SpringerLink (Online service)<br/>Yer Numarası XX(518761.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-22270-7">https://doi.org/10.1007/978-3-319-22270-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Progress in Artificial Intelligence 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, Coimbra, Portugal, September 8-11, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:518763
2024-11-25T08:15:52Z
2024-11-25T08:15:52Z
Yazar Pereira, Francisco. editor. Machado, Penousal. editor. Costa, Ernesto. editor. Cardoso, Amílcar. editor. SpringerLink (Online service)<br/>Yer Numarası XX(518763.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-23485-4">https://doi.org/10.1007/978-3-319-23485-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Software Engineering for Collective Autonomic Systems The ASCENS Approach
ent://SD_ILS/0/SD_ILS:518784
2024-11-25T08:15:52Z
2024-11-25T08:15:52Z
Yazar Wirsing, Martin. editor. Hölzl, Matthias. editor. Koch, Nora. editor. Mayer, Philip. editor. SpringerLink (Online service)<br/>Yer Numarası XX(518784.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-16310-9">https://doi.org/10.1007/978-3-319-16310-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Multi-Agent Systems 12th European Conference, EUMAS 2014, Prague, Czech Republic, December 18-19, 2014, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:518814
2024-11-25T08:15:52Z
2024-11-25T08:15:52Z
Yazar Bulling, Nils. editor. SpringerLink (Online service)<br/>Yer Numarası XX(518814.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-17130-2">https://doi.org/10.1007/978-3-319-17130-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Fundamental Approaches to Software Engineering 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:519136
2024-11-25T08:15:52Z
2024-11-25T08:15:52Z
Yazar Egyed, Alexander. editor. Schaefer, Ina. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519136.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-46675-9">https://doi.org/10.1007/978-3-662-46675-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:519137
2024-11-25T08:15:52Z
2024-11-25T08:15:52Z
Yazar van der Hoek, Wiebe. editor. Holliday, Wesley H. editor. Wang, Wen-fang. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519137.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-48561-3">https://doi.org/10.1007/978-3-662-48561-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Model and Data Engineering 5th International Conference, MEDI 2015, Rhodes, Greece, September 26-28, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:519147
2024-11-25T08:15:52Z
2024-11-25T08:15:52Z
Yazar Bellatreche, Ladjel. editor. Manolopoulos, Yannis. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519147.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-23781-7">https://doi.org/10.1007/978-3-319-23781-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:519161
2024-11-25T08:15:52Z
2024-11-25T08:15:52Z
Yazar Pitts, Andrew. editor. (orcid) SpringerLink (Online service)<br/>Yer Numarası XX(519161.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-46678-0">https://doi.org/10.1007/978-3-662-46678-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automated Deduction in Geometry 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:519176
2024-11-25T08:15:52Z
2024-11-25T08:15:52Z
Yazar Botana, Francisco. editor. Quaresma, Pedro. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519176.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-21362-0">https://doi.org/10.1007/978-3-319-21362-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advanced Methodologies for Bayesian Networks Second International Workshop, AMBN 2015, Yokohama, Japan, November 16-18, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:519179
2024-11-25T08:15:52Z
2024-11-25T08:15:52Z
Yazar Suzuki, Joe. editor. Ueno, Maomi. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519179.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-28379-1">https://doi.org/10.1007/978-3-319-28379-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:519007
2024-11-25T08:15:52Z
2024-11-25T08:15:52Z
Yazar Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519007.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-21690-4">https://doi.org/10.1007/978-3-319-21690-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Requirements Engineering: Foundation for Software Quality 21st International Working Conference, REFSQ 2015, Essen, Germany, March 23-26, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:519025
2024-11-25T08:15:52Z
2024-11-25T08:15:52Z
Yazar Fricker, Samuel A. editor. Schneider, Kurt. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519025.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-16101-3">https://doi.org/10.1007/978-3-319-16101-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:519028
2024-11-25T08:15:52Z
2024-11-25T08:15:52Z
Yazar Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519028.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-21668-3">https://doi.org/10.1007/978-3-319-21668-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The Semantic Web. Latest Advances and New Domains 12th European Semantic Web Conference, ESWC 2015, Portoroz, Slovenia, May 31 -- June 4, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:519030
2024-11-25T08:15:52Z
2024-11-25T08:15:52Z
Yazar Gandon, Fabien. editor. Sabou, Marta. editor. Sack, Harald. editor. d'Amato, Claudia. editor. Cudré-Mauroux, Philippe. editor.<br/>Yer Numarası XX(519030.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-18818-8">https://doi.org/10.1007/978-3-319-18818-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Intelligent Information and Database Systems 7th Asian Conference, ACIIDS 2015, Bali, Indonesia, March 23-25, 2015, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:519031
2024-11-25T08:15:52Z
2024-11-25T08:15:52Z
Yazar Nguyen, Ngoc Thanh. editor. Trawiński, Bogdan. editor. Kosala, Raymond. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519031.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-15705-4">https://doi.org/10.1007/978-3-319-15705-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:519043
2024-11-25T08:15:52Z
2024-11-25T08:15:52Z
Yazar Urban, Christian. editor. Zhang, Xingyuan. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519043.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-22102-1">https://doi.org/10.1007/978-3-319-22102-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Artificial Life and Computational Intelligence First Australasian Conference, ACALCI 2015, Newcastle, NSW, Australia, February 5-7, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:519044
2024-11-25T08:15:52Z
2024-11-25T08:15:52Z
Yazar Chalup, Stephan. editor. Blair, Alan D. editor. Randall, Marcus. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519044.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-14803-8">https://doi.org/10.1007/978-3-319-14803-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
FM 2015: Formal Methods 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:519064
2024-11-25T08:15:52Z
2024-11-25T08:15:52Z
Yazar Bjørner, Nikolaj. editor. de Boer, Frank. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519064.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-19249-9">https://doi.org/10.1007/978-3-319-19249-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Linguistics and Intelligent Text Processing 16th International Conference, CICLing 2015, Cairo, Egypt, April 14-20, 2015, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:519079
2024-11-25T08:15:52Z
2024-11-25T08:15:52Z
Yazar Gelbukh, Alexander. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519079.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-18111-0">https://doi.org/10.1007/978-3-319-18111-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Scalable Uncertainty Management 9th International Conference, SUM 2015, Québec City, QC, Canada, September 16-18, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:519087
2024-11-25T08:15:52Z
2024-11-25T08:15:52Z
Yazar Beierle, Christoph. editor. Dekhtyar, Alex. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519087.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-23540-0">https://doi.org/10.1007/978-3-319-23540-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The Semantic Web: ESWC 2012 Satellite Events ESWC 2012 Satellite Events, Heraklion, Crete, Greece, May 27-31, 2012. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:519089
2024-11-25T08:15:52Z
2024-11-25T08:15:52Z
Yazar Simperl, Elena. editor. Norton, Barry. editor. Mladenic, Dunja. editor. Della Valle, Emanuele. editor. Fundulaki, Irini. editor.<br/>Yer Numarası XX(519089.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-46641-4">https://doi.org/10.1007/978-3-662-46641-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Teaching Professional Attitudes and Basic Clinical Skills to Medical Students A Practical Guide
ent://SD_ILS/0/SD_ILS:520083
2024-11-25T08:15:52Z
2024-11-25T08:15:52Z
Yazar Benbassat, Jochanan. author. SpringerLink (Online service)<br/>Yer Numarası XX(520083.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-20089-7">https://doi.org/10.1007/978-3-319-20089-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Knowledge Science, Engineering and Management 8th International Conference, KSEM 2015, Chongqing, China, October 28-30, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:519231
2024-11-25T08:15:52Z
2024-11-25T08:15:52Z
Yazar Zhang, Songmao. editor. (orcid) Wirsing, Martin. editor. Zhang, Zili. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519231.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-25159-2">https://doi.org/10.1007/978-3-319-25159-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:519237
2024-11-25T08:15:52Z
2024-11-25T08:15:52Z
Yazar Vitek, Jan. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519237.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-46669-8">https://doi.org/10.1007/978-3-662-46669-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Graph Transformation 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:519259
2024-11-25T08:15:52Z
2024-11-25T08:15:52Z
Yazar Parisi-Presicce, Francesco. editor. Westfechtel, Bernhard. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519259.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-21145-9">https://doi.org/10.1007/978-3-319-21145-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:519276
2024-11-25T08:15:52Z
2024-11-25T08:15:52Z
Yazar Eiter, Thomas. editor. Strass, Hannes. editor. Truszczyński, Mirosław. editor. Woltran, Stefan. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519276.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-14726-0">https://doi.org/10.1007/978-3-319-14726-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:519104
2024-11-25T08:15:52Z
2024-11-25T08:15:52Z
Yazar Blanchette, Jasmin Christian. editor. Kosmatov, Nikolai. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519104.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-21215-9">https://doi.org/10.1007/978-3-319-21215-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Agents and Artificial Intelligence 7th International Conference, ICAART 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:519119
2024-11-25T08:15:52Z
2024-11-25T08:15:52Z
Yazar Duval, Béatrice. editor. van den Herik, Jaap. editor. Loiseau, Stephane. editor. Filipe, Joaquim. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519119.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-27947-3">https://doi.org/10.1007/978-3-319-27947-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Spatial Information Theory 12th International Conference, COSIT 2015, Santa Fe, NM, USA, October 12-16, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:519338
2024-11-25T08:15:52Z
2024-11-25T08:15:52Z
Yazar Fabrikant, Sara Irina. editor. Raubal, Martin. editor. Bertolotto, Michela. editor. Davies, Clare. editor. Freundschuh, Scott. editor.<br/>Yer Numarası XX(519338.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-23374-1">https://doi.org/10.1007/978-3-319-23374-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
International Handbook of Occupational Therapy Interventions
ent://SD_ILS/0/SD_ILS:519541
2024-11-25T08:15:52Z
2024-11-25T08:15:52Z
Yazar Söderback, Ingrid. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519541.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-08141-0">https://doi.org/10.1007/978-3-319-08141-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>