Arama Sonuçları Reasoning. - Daraltılmış: 2015

Judgment and reasoning in the child

2024-11-25T16:03:32Z

Yazar Piaget, Jean, 1896- Cartalis, Mlles E., collab.
Yer Numarası BF 723.R4 P53 1928
Format: Kitap
Durum Beytepe Kütüphanesi~1

Methods and criteria of reasoning : an inquiry into the structure of controversy

2024-11-25T16:03:32Z

Yazar Crawshay-Williams, Rupert.
Yer Numarası BC 177 C7 1957 (SET)
Format: Kitap
Durum Beytepe Kütüphanesi~1

Logical investigative methods : critical thinking and reasoning for successful investigations

2024-11-25T16:03:32Z

Yazar Girod, Robert J., author.
Yer Numarası ONLINE(356395.1)
Elektronik Erişim Distributed by publisher. Purchase or institutional license may be required for access.
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Reasoning with Analytic Tableaux and Related Methods 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings

2024-11-25T16:03:32Z

Yazar De Nivelle, Hans. editor. SpringerLink (Online service)
Yer Numarası XX(518971.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-24312-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Graph Structures for Knowledge Representation and Reasoning 4th International Workshop, GKR 2015, Buenos Aires, Argentina, July 25, 2015, Revised Selected Papers

2024-11-25T16:03:32Z

Yazar Croitoru, Madalina. editor. Marquis, Pierre. editor. Rudolph, Sebastian. editor. Stapleton, Gem. editor. SpringerLink (Online service)
Yer Numarası XX(518979.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-28702-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Case-Based Reasoning Research and Development 23rd International Conference, ICCBR 2015, Frankfurt am Main, Germany, September 28-30, 2015. Proceedings

2024-11-25T16:03:32Z

Yazar Hüllermeier, Eyke. editor. Minor, Mirjam. editor. SpringerLink (Online service)
Yer Numarası XX(518774.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-24586-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reasoning Web. Web Logic Rules 11th International Summer School 2015, Berlin, Germany, July 31- August 4, 2015, Tutorial Lectures.

2024-11-25T16:03:32Z

Yazar Faber, Wolfgang. editor. Paschke, Adrian. editor. SpringerLink (Online service)
Yer Numarası XX(518822.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-21768-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web Reasoning and Rule Systems 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings.

2024-11-25T16:03:32Z

Yazar ten Cate, Balder. editor. Mileo, Alessandra. editor. SpringerLink (Online service)
Yer Numarası XX(519157.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-22002-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Models of Strategic Reasoning Logics, Games, and Communities

2024-11-25T16:03:32Z

Yazar van Benthem, Johan. editor. Ghosh, Sujata. editor. Verbrugge, Rineke. editor. SpringerLink (Online service)
Yer Numarası XX(519080.1)
Elektronik Erişim https://doi.org/10.1007/978-3-662-48540-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings

2024-11-25T16:03:32Z

Yazar Calimeri, Francesco. editor. Ianni, Giovambattista. editor. Truszczynski, Miroslaw. editor. SpringerLink (Online service)
Yer Numarası XX(519293.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-23264-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

2024-11-25T16:03:32Z

Yazar Davis, Martin. editor. Fehnker, Ansgar. editor. McIver, Annabelle. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası XX(519103.1)
Elektronik Erişim https://doi.org/10.1007/978-3-662-48899-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 13th European Conference, ECSQARU 2015, Compiègne, France, July 15-17, 2015. Proceedings

2024-11-25T16:03:32Z

Yazar Destercke, Sébastien. editor. Denoeux, Thierry. editor. SpringerLink (Online service)
Yer Numarası XX(519113.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-20807-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reasoning and Public Health: New Ways of Coping with Uncertainty

2024-11-25T16:03:32Z

Yazar Cummings, Louise. author. SpringerLink (Online service)
Yer Numarası XX(519555.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-15013-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The technique of controversy : principles of dynamic logic

2024-11-25T16:03:32Z

Yazar Bogoslovsky, Boris Basil, 1890-
Yer Numarası BC 108 B65 1928 (SET)
Format: Kitap
Durum Beytepe Kütüphanesi~1

Dialectic

2024-11-25T16:03:32Z

Yazar Adler, Mortimer Jerome, 1902-
Yer Numarası BC 177 A4 1927 (SET)
Format: Kitap
Durum Beytepe Kütüphanesi~1

Mastermind : Sherlock Holmes gibi düşünmek

2024-11-25T16:03:32Z

Yazar Konnikova, Maria. Yeşiltuna, Zeynep.
Yer Numarası BC108 K58 2015
Format: Kitap
Durum Beytepe Kütüphanesi~2

Advanced Information Systems Engineering Workshops CAiSE 2015 International Workshops, Stockholm, Sweden, June 8-9, 2015, Proceedings

2024-11-25T16:03:32Z

Yazar Persson, Anne. editor. Stirna, Janis. editor. SpringerLink (Online service)
Yer Numarası XX(518451.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-19243-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

HCI International 2015 - Posters' Extended Abstracts International Conference, HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015. Proceedings, Part I

2024-11-25T16:03:32Z

Yazar Stephanidis, Constantine. editor. SpringerLink (Online service)
Yer Numarası XX(518483.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-21380-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Nature of Computation and Communication International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014, Revised Selected Papers

2024-11-25T16:03:32Z

Yazar Vinh, Phan Cong. editor. Vassev, Emil. editor. Hinchey, Mike. editor. SpringerLink (Online service)
Yer Numarası XX(518529.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-15392-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Intelligence in Analog and Mixed-Signal (AMS) and Radio-Frequency (RF) Circuit Design

2024-11-25T16:03:32Z

Yazar Fakhfakh, Mourad. editor. Tlelo-Cuautle, Esteban. editor. Siarry, Patrick. editor. SpringerLink (Online service)
Yer Numarası XX(518551.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-19872-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A Construction Manual for Robots' Ethical Systems Requirements, Methods, Implementations

2024-11-25T16:03:32Z

Yazar Trappl, Robert. editor. SpringerLink (Online service)
Yer Numarası XX(518563.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-21548-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Human Face of Ambient Intelligence Cognitive, Emotional, Affective, Behavioral and Conversational Aspects

2024-11-25T16:03:32Z

Yazar Bibri, Simon Elias. author. SpringerLink (Online service)
Yer Numarası XX(518587.1)
Elektronik Erişim https://doi.org/10.2991/978-94-6239-130-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Creativity Research: Towards Creative Machines

2024-11-25T16:03:32Z

Yazar Besold, Tarek R. editor. Schorlemmer, Marco. editor. Smaill, Alan. editor. SpringerLink (Online service)
Yer Numarası XX(518589.1)
Elektronik Erişim https://doi.org/10.2991/978-94-6239-085-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Semantic Web - ISWC 2015 14th International Semantic Web Conference, Bethlehem, PA, USA, October 11-15, 2015, Proceedings, Part I

2024-11-25T16:03:32Z

Yazar Arenas, Marcelo. editor. Corcho, Oscar. editor. Simperl, Elena. editor. Strohmaier, Markus. editor. d'Aquin, Mathieu. editor.
Yer Numarası XX(518930.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-25007-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

AI*IA 2015 Advances in Artificial Intelligence XIVth International Conference of the Italian Association for Artificial Intelligence, Ferrara, Italy, September 23-25, 2015, Proceedings

2024-11-25T16:03:32Z

Yazar Gavanelli, Marco. editor. Lamma, Evelina. editor. Riguzzi, Fabrizio. editor. SpringerLink (Online service)
Yer Numarası XX(518942.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-24309-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Rule Technologies: Foundations, Tools, and Applications 9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings

2024-11-25T16:03:32Z

Yazar Bassiliades, Nick. editor. Gottlob, Georg. editor. Sadri, Fariba. editor. Paschke, Adrian. editor. Roman, Dumitru. editor.
Yer Numarası XX(518946.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-21542-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings

2024-11-25T16:03:32Z

Yazar Krivine, Jean. editor. Stefani, Jean-Bernard. editor. SpringerLink (Online service)
Yer Numarası XX(518953.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-20860-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-25T16:03:32Z

Yazar Biemann, Chris. editor. Handschuh, Siegfried. editor. Freitas, André. editor. Meziane, Farid. editor. Métais, Elisabeth. editor.
Yer Numarası XX(518958.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-19581-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part II

2024-11-25T16:03:32Z

Yazar Rutkowski, Leszek. editor. Korytkowski, Marcin. editor. Scherer, Rafal. editor. Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.
Yer Numarası XX(519299.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-19369-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Biomedical Knowledge Representation Methods and Applications

2024-11-25T16:03:32Z

Yazar Hommersom, Arjen. editor. Lucas, Peter J.F. editor. SpringerLink (Online service)
Yer Numarası XX(519300.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-28007-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part I

2024-11-25T16:03:32Z

Yazar Rutkowski, Leszek. editor. Korytkowski, Marcin. editor. Scherer, Rafal. editor. Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.
Yer Numarası XX(519313.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-19324-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Aspect-Oriented Software Development XII

2024-11-25T16:03:32Z

Yazar Chiba, Shigeru. editor. Tanter, Éric. editor. Ernst, Erik. editor. Hirschfeld, Robert. editor. SpringerLink (Online service)
Yer Numarası XX(519315.1)
Elektronik Erişim https://doi.org/10.1007/978-3-662-46734-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Semantic Technology 4th Joint International Conference, JIST 2014, Chiang Mai, Thailand, November 9-11, 2014. Revised Selected Papers

2024-11-25T16:03:32Z

Yazar Supnithi, Thepchai. editor. Yamaguchi, Takahira. editor. Pan, Jeff Z. editor. Wuwongse, Vilas. editor. Buranarach, Marut. editor.
Yer Numarası XX(518833.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-15615-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings

2024-11-25T16:03:32Z

Yazar Calinescu, Radu. editor. Rumpe, Bernhard. editor. SpringerLink (Online service)
Yer Numarası XX(518840.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-22969-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Knowledge Engineering and Knowledge Management EKAW 2014 Satellite Events, VISUAL, EKM1, and ARCOE-Logic, Linköping, Sweden, November 24-28, 2014. Revised Selected Papers.

2024-11-25T16:03:32Z

Yazar Lambrix, Patrick. editor. Hyvönen, Eero. editor. Blomqvist, Eva. editor. Presutti, Valentina. editor. Qi, Guilin. editor.
Yer Numarası XX(518853.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-17966-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial General Intelligence 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings

2024-11-25T16:03:32Z

Yazar Bieger, Jordi. editor. Goertzel, Ben. editor. Potapov, Alexey. editor. SpringerLink (Online service)
Yer Numarası XX(518878.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-21365-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Vision -- ACCV 2014 12th Asian Conference on Computer Vision, Singapore, Singapore, November 1-5, 2014, Revised Selected Papers, Part V

2024-11-25T16:03:32Z

Yazar Cremers, Daniel. editor. Reid, Ian. editor. Saito, Hideo. editor. Yang, Ming-Hsuan. editor. SpringerLink (Online service)
Yer Numarası XX(518909.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-16814-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Information and Database Systems 7th Asian Conference, ACIIDS 2015, Bali, Indonesia, March 23-25, 2015, Proceedings, Part I

2024-11-25T16:03:32Z

Yazar Nguyen, Ngoc Thanh. editor. Trawiński, Bogdan. editor. Kosala, Raymond. editor. SpringerLink (Online service)
Yer Numarası XX(519188.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-15702-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II

2024-11-25T16:03:32Z

Yazar Halldórsson, Magnús M. editor. Iwama, Kazuo. editor. Kobayashi, Naoki. editor. Speckmann, Bettina. editor. SpringerLink (Online service)
Yer Numarası XX(519225.1)
Elektronik Erişim https://doi.org/10.1007/978-3-662-47666-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-25T16:03:32Z

Yazar Focardi, Riccardo. editor. Myers, Andrew. editor. SpringerLink (Online service)
Yer Numarası XX(519227.1)
Elektronik Erişim https://doi.org/10.1007/978-3-662-46666-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-25T16:03:32Z

Yazar Gaaloul, Khaled. editor. Schmidt, Rainer. editor. (orcid) Nurcan, Selmin. editor. Guerreiro, Sérgio. editor. Ma, Qin. editor.
Yer Numarası XX(518632.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-19237-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-25T16:03:32Z

Yazar Liu, Kecheng. editor. Nakata, Keiichi. editor. Li, Weizi. editor. Galarreta, Daniel. editor. SpringerLink (Online service)
Yer Numarası XX(518667.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-16274-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

E-Voting and Identity 5th International Conference, VoteID 2015, Bern, Switzerland, September 2-4, 2015, Proceedings

2024-11-25T16:03:32Z

Yazar Haenni, Rolf. editor. Koenig, Reto E. editor. Wikström, Douglas. editor. SpringerLink (Online service)
Yer Numarası XX(518761.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-22270-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Progress in Artificial Intelligence 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, Coimbra, Portugal, September 8-11, 2015. Proceedings

2024-11-25T16:03:32Z

Yazar Pereira, Francisco. editor. Machado, Penousal. editor. Costa, Ernesto. editor. Cardoso, Amílcar. editor. SpringerLink (Online service)
Yer Numarası XX(518763.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-23485-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering for Collective Autonomic Systems The ASCENS Approach

2024-11-25T16:03:32Z

Yazar Wirsing, Martin. editor. Hölzl, Matthias. editor. Koch, Nora. editor. Mayer, Philip. editor. SpringerLink (Online service)
Yer Numarası XX(518784.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-16310-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multi-Agent Systems 12th European Conference, EUMAS 2014, Prague, Czech Republic, December 18-19, 2014, Revised Selected Papers

2024-11-25T16:03:32Z

Yazar Bulling, Nils. editor. SpringerLink (Online service)
Yer Numarası XX(518814.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-17130-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-25T16:03:32Z

Yazar Egyed, Alexander. editor. Schaefer, Ina. editor. SpringerLink (Online service)
Yer Numarası XX(519136.1)
Elektronik Erişim https://doi.org/10.1007/978-3-662-46675-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings

2024-11-25T16:03:32Z

Yazar van der Hoek, Wiebe. editor. Holliday, Wesley H. editor. Wang, Wen-fang. editor. SpringerLink (Online service)
Yer Numarası XX(519137.1)
Elektronik Erişim https://doi.org/10.1007/978-3-662-48561-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model and Data Engineering 5th International Conference, MEDI 2015, Rhodes, Greece, September 26-28, 2015, Proceedings

2024-11-25T16:03:32Z

Yazar Bellatreche, Ladjel. editor. Manolopoulos, Yannis. editor. SpringerLink (Online service)
Yer Numarası XX(519147.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-23781-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-25T16:03:32Z

Yazar Pitts, Andrew. editor. (orcid) SpringerLink (Online service)
Yer Numarası XX(519161.1)
Elektronik Erişim https://doi.org/10.1007/978-3-662-46678-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Deduction in Geometry 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers

2024-11-25T16:03:32Z

Yazar Botana, Francisco. editor. Quaresma, Pedro. editor. SpringerLink (Online service)
Yer Numarası XX(519176.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-21362-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Methodologies for Bayesian Networks Second International Workshop, AMBN 2015, Yokohama, Japan, November 16-18, 2015. Proceedings

2024-11-25T16:03:32Z

Yazar Suzuki, Joe. editor. Ueno, Maomi. editor. SpringerLink (Online service)
Yer Numarası XX(519179.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-28379-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I

2024-11-25T16:03:32Z

Yazar Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)
Yer Numarası XX(519007.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-21690-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Requirements Engineering: Foundation for Software Quality 21st International Working Conference, REFSQ 2015, Essen, Germany, March 23-26, 2015. Proceedings

2024-11-25T16:03:32Z

Yazar Fricker, Samuel A. editor. Schneider, Kurt. editor. SpringerLink (Online service)
Yer Numarası XX(519025.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-16101-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

2024-11-25T16:03:32Z

Yazar Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)
Yer Numarası XX(519028.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-21668-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Semantic Web. Latest Advances and New Domains 12th European Semantic Web Conference, ESWC 2015, Portoroz, Slovenia, May 31 -- June 4, 2015. Proceedings

2024-11-25T16:03:32Z

Yazar Gandon, Fabien. editor. Sabou, Marta. editor. Sack, Harald. editor. d'Amato, Claudia. editor. Cudré-Mauroux, Philippe. editor.
Yer Numarası XX(519030.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-18818-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Information and Database Systems 7th Asian Conference, ACIIDS 2015, Bali, Indonesia, March 23-25, 2015, Proceedings, Part II

2024-11-25T16:03:32Z

Yazar Nguyen, Ngoc Thanh. editor. Trawiński, Bogdan. editor. Kosala, Raymond. editor. SpringerLink (Online service)
Yer Numarası XX(519031.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-15705-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings

2024-11-25T16:03:32Z

Yazar Urban, Christian. editor. Zhang, Xingyuan. editor. SpringerLink (Online service)
Yer Numarası XX(519043.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-22102-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Life and Computational Intelligence First Australasian Conference, ACALCI 2015, Newcastle, NSW, Australia, February 5-7, 2015, Proceedings

2024-11-25T16:03:32Z

Yazar Chalup, Stephan. editor. Blair, Alan D. editor. Randall, Marcus. editor. SpringerLink (Online service)
Yer Numarası XX(519044.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-14803-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

FM 2015: Formal Methods 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings

2024-11-25T16:03:32Z

Yazar Bjørner, Nikolaj. editor. de Boer, Frank. editor. SpringerLink (Online service)
Yer Numarası XX(519064.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-19249-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Linguistics and Intelligent Text Processing 16th International Conference, CICLing 2015, Cairo, Egypt, April 14-20, 2015, Proceedings, Part I

2024-11-25T16:03:32Z

Yazar Gelbukh, Alexander. editor. SpringerLink (Online service)
Yer Numarası XX(519079.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-18111-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Scalable Uncertainty Management 9th International Conference, SUM 2015, Québec City, QC, Canada, September 16-18, 2015. Proceedings

2024-11-25T16:03:32Z

Yazar Beierle, Christoph. editor. Dekhtyar, Alex. editor. SpringerLink (Online service)
Yer Numarası XX(519087.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-23540-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Semantic Web: ESWC 2012 Satellite Events ESWC 2012 Satellite Events, Heraklion, Crete, Greece, May 27-31, 2012. Revised Selected Papers

2024-11-25T16:03:32Z

Yazar Simperl, Elena. editor. Norton, Barry. editor. Mladenic, Dunja. editor. Della Valle, Emanuele. editor. Fundulaki, Irini. editor.
Yer Numarası XX(519089.1)
Elektronik Erişim https://doi.org/10.1007/978-3-662-46641-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Teaching Professional Attitudes and Basic Clinical Skills to Medical Students A Practical Guide

2024-11-25T16:03:32Z

Yazar Benbassat, Jochanan. author. SpringerLink (Online service)
Yer Numarası XX(520083.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-20089-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Knowledge Science, Engineering and Management 8th International Conference, KSEM 2015, Chongqing, China, October 28-30, 2015, Proceedings

2024-11-25T16:03:32Z

Yazar Zhang, Songmao. editor. (orcid) Wirsing, Martin. editor. Zhang, Zili. editor. SpringerLink (Online service)
Yer Numarası XX(519231.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-25159-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-25T16:03:32Z

Yazar Vitek, Jan. editor. SpringerLink (Online service)
Yer Numarası XX(519237.1)
Elektronik Erişim https://doi.org/10.1007/978-3-662-46669-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Graph Transformation 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings

2024-11-25T16:03:32Z

Yazar Parisi-Presicce, Francesco. editor. Westfechtel, Bernhard. editor. SpringerLink (Online service)
Yer Numarası XX(519259.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-21145-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday

2024-11-25T16:03:32Z

Yazar Eiter, Thomas. editor. Strass, Hannes. editor. Truszczyński, Mirosław. editor. Woltran, Stefan. editor. SpringerLink (Online service)
Yer Numarası XX(519276.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-14726-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings

2024-11-25T16:03:32Z

Yazar Blanchette, Jasmin Christian. editor. Kosmatov, Nikolai. editor. SpringerLink (Online service)
Yer Numarası XX(519104.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-21215-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Agents and Artificial Intelligence 7th International Conference, ICAART 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papers

2024-11-25T16:03:32Z

Yazar Duval, Béatrice. editor. van den Herik, Jaap. editor. Loiseau, Stephane. editor. Filipe, Joaquim. editor. SpringerLink (Online service)
Yer Numarası XX(519119.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-27947-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Spatial Information Theory 12th International Conference, COSIT 2015, Santa Fe, NM, USA, October 12-16, 2015, Proceedings

2024-11-25T16:03:32Z

Yazar Fabrikant, Sara Irina. editor. Raubal, Martin. editor. Bertolotto, Michela. editor. Davies, Clare. editor. Freundschuh, Scott. editor.
Yer Numarası XX(519338.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-23374-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

International Handbook of Occupational Therapy Interventions

2024-11-25T16:03:32Z

Yazar Söderback, Ingrid. editor. SpringerLink (Online service)
Yer Numarası XX(519541.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-08141-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1