Arama Sonuçları mathematical. - Daraltılmış: Artificial intelligence.

Mathematical music : from antiquity to music AI

2026-01-19T11:17:27Z

Yazar Braguinski, Nikita, 1976- author.
Yer Numarası ML3800
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003229254 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Deep Neural Networks in a Mathematical Framework

2026-01-19T11:17:27Z

Yazar Caterini, Anthony L. author. Chang, Dong Eui. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-75304-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fuzzy Mathematical Programming and Fuzzy Matrix Games

2026-01-19T11:17:27Z

Yazar Bector, C. R. author. Chandra, Suresh. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/3-540-32371-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Mathematical Modelling, Applied Analysis and Computation Proceedings of ICMMAAC 2021

2026-01-19T11:17:27Z

Yazar Singh, Jagdev. editor. Anastassiou, George A. editor. Baleanu, Dumitru. editor. Cattani, Carlo. editor. Kumar, Devendra. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-19-0179-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical Modeling, Computational Intelligence Techniques and Renewable Energy Proceedings of the Third International Conference, MMCITRE 2022

2026-01-19T11:17:27Z

Yazar Sahni, Manoj. editor. Merigó, José M. editor. Hussain, Walayat. editor. León-Castro, Ernesto. editor. Verma, Raj Kumar. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-19-9906-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Mathematical Modelling for Engineering Problem Solving

2026-01-19T11:17:27Z

Yazar Mahalle, Parikshit Narendra. author. Ambritta P., Nancy. author. Sakhare, Sachin R. author. Kulkarni, Atul P. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-19-8828-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Proceedings of 3rd International Conference on Mathematical Modeling and Computational Science ICMMCS 2023

2026-01-19T11:17:27Z

Yazar Peng, Sheng-Lung. editor. Jhanjhi, Noor Zaman. editor. Pal, Souvik. editor. Amsaad, Fathi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-3611-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical and Computational Oncology First International Symposium, ISMCO 2019, Lake Tahoe, NV, USA, October 14–16, 2019, Proceedings

2026-01-19T11:17:27Z

Yazar Bebis, George. editor. Benos, Takis. editor. Chen, Ken. editor. Jahn, Katharina. editor. Lima, Ernesto. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-35210-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical Optimization Theory and Operations Research 18th International Conference, MOTOR 2019, Ekaterinburg, Russia, July 8 - 12, 2019, Revised Selected Papers

2026-01-19T11:17:27Z

Yazar Bykadorov, Igor. editor. (orcid)0000-0002-2740-3905 Strusevich, Vitaly. editor. (orcid)0000-0002-4602-8573 Tchemisova, Tatiana. editor. (orcid)0000-0002-2678-2552 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-33394-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical Morphology and Its Applications to Signal and Image Processing 14th International Symposium, ISMM 2019, Saarbrücken, Germany, July 8-10, 2019, Proceedings

2026-01-19T11:17:27Z

Yazar Burgeth, Bernhard. editor. (orcid)0000-0001-6602-6201 Kleefeld, Andreas. editor. (orcid)0000-0001-8324-821X Naegel, Benoît. editor. (orcid)0000-0002-7695-1473 Passat, Nicolas. editor. (orcid)0000-0002-0320-4581 Perret, Benjamin. editor. (orcid)0000-0003-0933-8342
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-20867-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multimodal Brain Image Analysis and Mathematical Foundations of Computational Anatomy 4th International Workshop, MBIA 2019, and 7th International Workshop, MFCA 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 17, 2019, Proceedings

2026-01-19T11:17:27Z

Yazar Zhu, Dajiang. editor. Yan, Jingwen. editor. Huang, Heng. editor. Shen, Li. editor. Thompson, Paul M. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-33226-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical Software – ICMS 2018 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings

2026-01-19T11:17:27Z

Yazar Davenport, James H. editor. (orcid)0000-0002-3982-7545 Kauers, Manuel. editor. Labahn, George. editor. Urban, Josef. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-96418-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applied Computational Intelligence and Mathematical Methods Computational Methods in Systems and Software 2017, vol. 2

2026-01-19T11:17:27Z

Yazar Silhavy, Radek. editor. Silhavy, Petr. editor. Prokopova, Zdenka. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-67621-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Systems'2014 Proceedings of the 7th IEEE International Conference Intelligent Systems IS'2014, September 24‐26, 2014, Warsaw, Poland, Volume 1: Mathematical Foundations, Theory, Analyses

2026-01-19T11:17:27Z

Yazar Angelov, P. editor. Atanassov, K.T. editor. Doukovska, L. editor. Hadjiski, M. editor. Jotsov, V. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-11313-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Towards Mechanized Mathematical Assistants 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings

2026-01-19T11:17:27Z

Yazar Kauers, Manuel. editor. Kerber, Manfred. editor. Miner, Robert. editor. Windsteiger, Wolfgang. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73086-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical Knowledge Management 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006. Proceedings

2026-01-19T11:17:27Z

Yazar Borwein, Jonathan M. editor. Farmer, William M. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11812289
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical Knowledge Management 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers

2026-01-19T11:17:27Z

Yazar Kohlhase, Michael. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11618027
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Gene Expression Programming Mathematical Modeling by an Artificial Intelligence

2026-01-19T11:17:27Z

Yazar Ferreira, Cândida. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/3-540-32849-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

OMDoc – An Open Markup Format for Mathematical Documents [version 1.2] Foreword by Allan Bundy

2026-01-19T11:17:27Z

Yazar Kohlhase, Michael. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11826095
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday

2026-01-19T11:17:27Z

Yazar Hutter, Dieter. editor. Stephan, Werner. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b106663
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial intelligence and mathematical theory of computation papers in honor of John McCarthy

2026-01-19T11:17:27Z

Yazar McCarthy, John, 1927-2011. Lifschitz, Vladimir.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780124500105
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

New State of MCDM in the 21st Century Selected Papers of the 20th International Conference on Multiple Criteria Decision Making 2009

2026-01-19T11:17:27Z

Yazar Shi, Yong. editor. Wang, Shouyang. editor. Kou, Gang. editor. Wallenius, Jyrki. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-19695-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Economic Dynamics and Information

2026-01-19T11:17:27Z

Yazar Zajac, Jaroslav. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/3-540-32695-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

New Developments in Multiple Objective and Goal Programming

2026-01-19T11:17:27Z

Yazar Jones, Dylan. editor. Tamiz, Mehrdad. editor. Ries, Jana. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-10354-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Forecasting and Hedging in the Foreign Exchange Markets

2026-01-19T11:17:27Z

Yazar Ullrich, Christian. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-00495-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Agent-Based Modeling The Santa Fe Institute Artificial Stock Market Model Revisited

2026-01-19T11:17:27Z

Yazar Ehrentreich, Norman. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73879-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Dynamic Pricing and Automated Resource Allocation for Complex Information Services Reinforcement Learning and Combinatorial Auctions

2026-01-19T11:17:27Z

Yazar Schwind, Michael. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-68003-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Why data science projects fail : the harsh realities of implementing AI and analytics, without the hype

2026-01-19T11:17:27Z

Yazar Gray, Doug (Douglas A.), author. Shellsear, Evan, author.
Yer Numarası QA76.9 .Q36
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781032661360 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

SMART MEDICAL IMAGING FOR DIAGNOSIS AND TREATMENT PLANNING

2026-01-19T11:17:27Z

Yazar Dey, Nilanjan, 1984- editor. Misra, Bitan, editor. Chakraborty, Sayan, PhD, editor.
Yer Numarası R859
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003464884 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Deep Learning Applications, Volume 4

2026-01-19T11:17:27Z

Yazar Wani, M. Arif. editor. Palade, Vasile. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-19-6153-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applications of Artificial Intelligence and Neural Systems to Data Science

2026-01-19T11:17:27Z

Yazar Esposito, Anna. editor. (orcid)0000-0002-7268-1795 Faundez-Zanuy, Marcos. editor. (orcid)0000-0003-0605-1282 Morabito, Francesco Carlo. editor. (orcid)0000-0003-0734-9136 Pasero, Eros. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-3592-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Shallow and Deep Learning Principles Scientific, Philosophical, and Logical Perspectives

2026-01-19T11:17:27Z

Yazar Şen, Zekâi. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-29555-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applied Nonlinear Analysis and Soft Computing Proceedings of ANASC 2020

2026-01-19T11:17:27Z

Yazar Dutta, Hemen. editor. Ahmed, Nazibuddin. editor. Agarwal, Ravi P. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-19-8054-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

4th International Conference on Artificial Intelligence and Applied Mathematics in Engineering ICAIAME 2022

2026-01-19T11:17:27Z

Yazar Hemanth, D. Jude. editor. Yigit, Tuncay. editor. Kose, Utku. editor. Guvenc, Ugur. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-31956-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Data Centric Artificial Intelligence: A Beginner's Guide

2026-01-19T11:17:27Z

Yazar Mahalle, Parikshit N. author. Shinde, Gitanjali R. author. Ingle, Yashwant S. author. Wasatkar, Namrata N. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-6353-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

WAIC and WBIC with Python Stan 100 Exercises for Building Logic

2026-01-19T11:17:27Z

Yazar Suzuki, Joe. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-3841-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Intelligence and Mathematics for Tackling Complex Problems 4

2026-01-19T11:17:27Z

Yazar Cornejo, María Eugenia. editor. Harmati, István Á. editor. Kóczy, László T. editor. Medina-Moreno, Jesús. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-07707-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Real Life Applications of Multiple Criteria Decision Making Techniques in Fuzzy Domain

2026-01-19T11:17:27Z

Yazar Sahoo, Laxminarayan. editor. Senapati, Tapan. editor. Yager, Ronald R. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-19-4929-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Data-Driven Approach for Bio-medical and Healthcare

2026-01-19T11:17:27Z

Yazar Dey, Nilanjan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-19-5184-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Lecture Notes in Data Engineering, Computational Intelligence, and Decision Making 2022 International Scientific Conference "Intellectual Systems of Decision-Making and Problems of Computational Intelligence", Proceedings

2026-01-19T11:17:27Z

Yazar Babichev, Sergii. editor. Lytvynenko, Volodymyr. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-16203-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

System Analysis and Artificial Intelligence

2026-01-19T11:17:27Z

Yazar Zgurovsky, Michael. editor. Pankratova, Nataliya. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-37450-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Benchmarks and Hybrid Algorithms in Optimization and Applications

2026-01-19T11:17:27Z

Yazar Yang, Xin-She. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-3970-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Mathematics and Computing

2026-01-19T11:17:27Z

Yazar Gyei-Kark, Park. editor. Jana, Dipak Kumar. editor. Panja, Prabir. editor. Abd Wahab, Mohd Helmy. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-19-2300-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Technologies for Smart Cities

2026-01-19T11:17:27Z

Yazar Vershinin, Yuri A. editor. Pashchenko, Fedor. editor. Olaverri-Monreal, Cristina. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-05516-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Intelligence for Healthy Longevity

2026-01-19T11:17:27Z

Yazar Moskalev, Alexey. editor. (orcid)0000-0002-3248-1633 Stambler, Ilia. editor. Zhavoronkov, Alex. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-35176-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Mechanics with Deep Learning An Introduction

2026-01-19T11:17:27Z

Yazar Yagawa, Genki. author. Oishi, Atsuya. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-11847-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

2021 International Conference on Security and Information Technologies with AI, Internet Computing and Big-data Applications

2026-01-19T11:17:27Z

Yazar Tsihrintzis, George A. editor. Wang, Shiuh-Jeng. editor. Lin, Iuon-Chang. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-05491-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Intelligence (AI) and Finance

2026-01-19T11:17:27Z

Yazar Alareeni, Bahaaeddin A. M. editor. Elgedawy, Islam. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-39158-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Embracing Machines and Humanity Through Cognitive Computing and IoT

2026-01-19T11:17:27Z

Yazar Usman, Mohammed. editor. Gao, Xiao-Zhi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-19-4522-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Frontiers in Robotics and Electromechanics

2026-01-19T11:17:27Z

Yazar Ronzhin, Andrey. editor. (orcid)0000-0002-8903-3508 Pshikhopov, Viacheslav. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-19-7685-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Artificial Systems for Logistics Engineering III

2026-01-19T11:17:27Z

Yazar Hu, Zhengbing. editor. Zhang, Qingying. editor. He, Matthew. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-36115-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Parametrized, Deformed and General Neural Networks

2026-01-19T11:17:27Z

Yazar Anastassiou, George A. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-43021-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

SMART PROXY MODELING artificial intelligence and machine learning in numerical simulation.

2026-01-19T11:17:27Z

Yazar Mohaghegh, Shahab D., author.
Yer Numarası TA342
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003242581 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Optimizasyon ve MATLAB uygulamaları

2026-01-19T11:17:27Z

Yazar Tezel Özturan, Aysun.
Yer Numarası QA402.5 T49 2022
Format: Kitap
Durum Beytepe Kütüphanesi~1

AI for sports

2026-01-19T11:17:27Z

Yazar Brady, Christopher, 1947- author. Tuyls, Karl, author. Omidshafiei, Shayegan, author.
Yer Numarası GV706.8 .B728 2022 EB
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003196532 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook of machine learning for computational optimization : applications and case studies

2026-01-19T11:17:27Z

Yazar Jain, Vishal, 1983- editor.
Yer Numarası Q325.5
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003138020 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The handbook of AI-based metaheuristics

2026-01-19T11:17:27Z

Yazar Kulkarni, Anand Jayant, editor. Siarry, Patrick, editor.
Yer Numarası TA168
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003162841 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modeling Decisions for Artificial Intelligence 16th International Conference, MDAI 2019, Milan, Italy, September 4–6, 2019, Proceedings

2026-01-19T11:17:27Z

Yazar Torra, Vicenç. editor. (orcid)0000-0002-0368-8037 Narukawa, Yasuo. editor. Pasi, Gabriella. editor. (orcid)0000-0002-6080-8170 Viviani, Marco. editor. (orcid)0000-0002-2274-9050 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-26773-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic and Its Applications 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings

2026-01-19T11:17:27Z

Yazar Khan, Md. Aquil. editor. Manuel, Amaldev. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-58771-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

AI*IA 2019 – Advances in Artificial Intelligence XVIIIth International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, November 19–22, 2019, Proceedings

2026-01-19T11:17:27Z

Yazar Alviano, Mario. editor. (orcid)0000-0002-2052-2063 Greco, Gianluigi. editor. (orcid)0000-0002-5799-6828 Scarcello, Francesco. editor. (orcid)0000-0001-7765-1563 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-35166-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Knowledge Management in Organizations 14th International Conference, KMO 2019, Zamora, Spain, July 15–18, 2019, Proceedings

2026-01-19T11:17:27Z

Yazar Uden, Lorna. editor. Ting, I-Hsien. editor. Corchado, Juan Manuel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-21451-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Description Logic, Theory Combination, and All That Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday

2026-01-19T11:17:27Z

Yazar Lutz, Carsten. editor. Sattler, Uli. editor. Tinelli, Cesare. editor. Turhan, Anni-Yasmin. editor. Wolter, Frank. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-22102-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Soft Computing 18th Mexican International Conference on Artificial Intelligence, MICAI 2019, Xalapa, Mexico, October 27 – November 2, 2019, Proceedings

2026-01-19T11:17:27Z

Yazar Martínez-Villaseñor, Lourdes. editor. (orcid)0000-0002-9038-7821 Batyrshin, Ildar. editor. Marín-Hernández, Antonio. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-33749-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Intelligence Methods for Bioinformatics and Biostatistics 14th International Meeting, CIBB 2017, Cagliari, Italy, September 7-9, 2017, Revised Selected Papers

2026-01-19T11:17:27Z

Yazar Bartoletti, Massimo. editor. (orcid)0000-0003-3796-9774 Barla, Annalisa. editor. (orcid)0000-0002-3436-035X Bracciali, Andrea. editor. (orcid)0000-0003-1451-9260 Klau, Gunnar W. editor. (orcid)0000-0002-6340-0090 Peterson, Leif. editor. (orcid)0000-0002-1187-0883
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-14160-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Reasoning with Analytic Tableaux and Related Methods 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings

2026-01-19T11:17:27Z

Yazar Cerrito, Serenella. editor. Popescu, Andrei. editor. (orcid)0000-0001-8747-0619 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-29026-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Distributed Computer and Communication Networks 22nd International Conference, DCCN 2019, Moscow, Russia, September 23–27, 2019, Revised Selected Papers

2026-01-19T11:17:27Z

Yazar Vishnevskiy, Vladimir M. editor. (orcid)0000-0001-7373-4847 Samouylov, Konstantin E. editor. (orcid)0000-0002-6368-9680 Kozyrev, Dmitry V. editor. (orcid)0000-0003-0538-8430 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-36614-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

2026-01-19T11:17:27Z

Yazar Dillig, Isil. editor. Tasiran, Serdar. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-25543-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Text, Speech, and Dialogue 22nd International Conference, TSD 2019, Ljubljana, Slovenia, September 11–13, 2019, Proceedings

2026-01-19T11:17:27Z

Yazar Ekštein, Kamil. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-27947-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Frontiers of Combining Systems 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings

2026-01-19T11:17:27Z

Yazar Herzig, Andreas. editor. (orcid)0000-0003-0833-2782 Popescu, Andrei. editor. (orcid)0000-0001-8747-0619 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-29007-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

KI 2019: Advances in Artificial Intelligence 42nd German Conference on AI, Kassel, Germany, September 23–26, 2019, Proceedings

2026-01-19T11:17:27Z

Yazar Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Stuckenschmidt, Heiner. editor. (orcid)0000-0002-0209-3859 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-30179-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Quantitative Evaluation of Systems 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings

2026-01-19T11:17:27Z

Yazar Parker, David. editor. (orcid)0000-0003-4137-8862 Wolf, Verena. editor. (orcid)0000-0001-8460-6007 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-30281-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Broad Learning Through Fusions An Application on Social Networks

2026-01-19T11:17:27Z

Yazar Zhang, Jiawei. author. Yu, Philip S. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-12528-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Machine Learning Risk Assessments in Criminal Justice Settings

2026-01-19T11:17:27Z

Yazar Berk, Richard. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-02272-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 15th European Conference, ECSQARU 2019, Belgrade, Serbia, September 18-20, 2019, Proceedings

2026-01-19T11:17:27Z

Yazar Kern-Isberner, Gabriele. editor. (orcid)0000-0001-8689-5391 Ognjanović, Zoran. editor. (orcid)0000-0003-2508-6480 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-29765-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Descriptional Complexity of Formal Systems 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019, Proceedings

2026-01-19T11:17:27Z

Yazar Hospodár, Michal. editor. Jirásková, Galina. editor. Konstantinidis, Stavros. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-23247-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Natural Language Processing and Chinese Computing 8th CCF International Conference, NLPCC 2019, Dunhuang, China, October 9–14, 2019, Proceedings, Part II

2026-01-19T11:17:27Z

Yazar Tang, Jie. editor. Kan, Min-Yen. editor. Zhao, Dongyan. editor. Li, Sujian. editor. Zan, Hongying. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-32236-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Molecular Logic and Computational Synthetic Biology First International Symposium, MLCSB 2018, Santiago, Chile, December 17–18, 2018, Revised Selected Papers

2026-01-19T11:17:27Z

Yazar Chaves, Madalena. editor. Martins, Manuel A. editor. (orcid)0000-0002-5109-8066 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-19432-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Language, Logic, and Computation 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers

2026-01-19T11:17:27Z

Yazar Silva, Alexandra. editor. Staton, Sam. editor. Sutton, Peter. editor. Umbach, Carla. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-59565-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic, Rationality, and Interaction 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings

2026-01-19T11:17:27Z

Yazar Blackburn, Patrick. editor. Lorini, Emiliano. editor. Guo, Meiyun. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-60292-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Knowledge Graph and Semantic Computing. Knowledge Computing and Language Understanding Third China Conference, CCKS 2018, Tianjin, China, August 14–17, 2018, Revised Selected Papers

2026-01-19T11:17:27Z

Yazar Zhao, Jun. editor. Harmelen, Frank van. editor. Tang, Jie. editor. Han, Xianpei. editor. Wang, Quan. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-13-3146-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Rules and Reasoning Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings

2026-01-19T11:17:27Z

Yazar Fodor, Paul. editor. (orcid)0000-0002-2978-676X Montali, Marco. editor. (orcid)0000-0002-8021-3430 Calvanese, Diego. editor. (orcid)0000-0001-5174-9693 Roman, Dumitru. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-31095-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Scalable Uncertainty Management 13th International Conference, SUM 2019, Compiègne, France, December 16–18, 2019, Proceedings

2026-01-19T11:17:27Z

Yazar Ben Amor, Nahla. editor. Quost, Benjamin. editor. Theobald, Martin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-35514-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Intelligence in Medicine 17th Conference on Artificial Intelligence in Medicine, AIME 2019, Poznan, Poland, June 26–29, 2019, Proceedings

2026-01-19T11:17:27Z

Yazar Riaño, David. editor. (orcid)0000-0002-1608-0215 Wilk, Szymon. editor. ten Teije, Annette. editor. (orcid)0000-0002-9771-8822 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-21642-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Networks 26th International Conference, CN 2019, Kamień Śląski, Poland, June 25–27, 2019, Proceedings

2026-01-19T11:17:27Z

Yazar Gaj, Piotr. editor. (orcid)0000-0002-2291-7341 Sawicki, Michał. editor. (orcid)0000-0002-4610-4249 Kwiecień, Andrzej. editor. (orcid)0000-0003-1447-3303 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-21952-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Optimizasyon ve MATLAB uygulamaları

2026-01-19T11:17:27Z

Yazar Tezel Özturan, Aysun.
Yer Numarası QA402.5 T49 2019
Format: Kitap
Durum Beytepe Kütüphanesi~2

Multi-Agent Systems 16th European Conference, EUMAS 2018, Bergen, Norway, December 6–7, 2018, Revised Selected Papers

2026-01-19T11:17:27Z

Yazar Slavkovik, Marija. editor. (orcid)0000-0003-2548-8623 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-14174-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

2026-01-19T11:17:27Z

Yazar Bojańczyk, Mikołaj. editor. Simpson, Alex. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-17127-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logics in Artificial Intelligence 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings

2026-01-19T11:17:27Z

Yazar Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834 Leone, Nicola. editor. Manna, Marco. editor. (orcid)0000-0003-3323-9328 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-19570-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Life and Evolutionary Computation 13th Italian Workshop, WIVACE 2018, Parma, Italy, September 10–12, 2018, Revised Selected Papers

2026-01-19T11:17:27Z

Yazar Cagnoni, Stefano. editor. (orcid)0000-0003-4669-512X Mordonini, Monica. editor. (orcid)0000-0002-5916-9770 Pecori, Riccardo. editor. (orcid)0000-0002-5948-5845 Roli, Andrea. editor. (orcid)0000-0001-9891-5441 Villani, Marco. editor. (orcid)0000-0002-5991-5470
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-21733-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Grammar 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019, Proceedings

2026-01-19T11:17:27Z

Yazar Bernardi, Raffaella. editor. Kobele, Greg. editor. Pogodalla, Sylvain. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-59648-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Interpretability of Machine Intelligence in Medical Image Computing and Multimodal Learning for Clinical Decision Support Second International Workshop, iMIMIC 2019, and 9th International Workshop, ML-CDS 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 17, 2019, Proceedings

2026-01-19T11:17:27Z

Yazar Suzuki, Kenji. editor. Reyes, Mauricio. editor. Syeda-Mahmood, Tanveer. editor. Konukoglu, Ender. editor. Glocker, Ben. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-33850-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Flexible Query Answering Systems 13th International Conference, FQAS 2019, Amantea, Italy, July 2–5, 2019, Proceedings

2026-01-19T11:17:27Z

Yazar Cuzzocrea, Alfredo. editor. Greco, Sergio. editor. Larsen, Henrik Legind. editor. Saccà, Domenico. editor. Andreasen, Troels. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-27629-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Principles and Practice of Constraint Programming 25th International Conference, CP 2019, Stamford, CT, USA, September 30 – October 4, 2019, Proceedings

2026-01-19T11:17:27Z

Yazar Schiex, Thomas. editor. (orcid)0000-0001-6049-3415 de Givry, Simon. editor. (orcid)0000-0002-2242-0458 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-30048-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applied Machine Learning

2026-01-19T11:17:27Z

Yazar Forsyth, David. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-18114-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

New Trends in Databases and Information Systems ADBIS 2019 Short Papers, Workshops BBIGAP, QAUCA, SemBDM, SIMPDA, M2P, MADEISD, and Doctoral Consortium, Bled, Slovenia, September 8–11, 2019, Proceedings

2026-01-19T11:17:27Z

Yazar Welzer, Tatjana. editor. (orcid)0000-0002-6865-4946 Eder, Johann. editor. (orcid)0000-0001-6050-468X Podgorelec, Vili. editor. (orcid)0000-0001-6955-7868 Wrembel, Robert. editor. (orcid)0000-0001-6037-5718 Ivanović, Mirjana. editor. (orcid)0000-0003-1946-0384
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-30278-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday

2026-01-19T11:17:27Z

Yazar Alvim, Mário S. editor. Chatzikokolakis, Kostas. editor. Olarte, Carlos. editor. Valencia, Frank. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-31175-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Intelligence Applications and Innovations 15th IFIP WG 12.5 International Conference, AIAI 2019, Hersonissos, Crete, Greece, May 24–26, 2019, Proceedings

2026-01-19T11:17:27Z

Yazar MacIntyre, John. editor. Maglogiannis, Ilias. editor. (orcid)0000-0003-2860-399X Iliadis, Lazaros. editor. Pimenidis, Elias. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-19823-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fuzzy Logic and Applications 12th International Workshop, WILF 2018, Genoa, Italy, September 6–7, 2018, Revised Selected Papers

2026-01-19T11:17:27Z

Yazar Fullér, Robert. editor. Giove, Silvio. editor. Masulli, Francesco. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-12544-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Search, Integration, and Personalization 12th International Workshop, ISIP 2018, Fukuoka, Japan, May 14–15, 2018, Revised Selected Papers

2026-01-19T11:17:27Z

Yazar Kotzinos, Dimitris. editor. Laurent, Dominique. editor. (orcid)0000-0002-7264-9576 Spyratos, Nicolas. editor. Tanaka, Yuzuru. editor. Taniguchi, Rin-ichiro. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-30284-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II

2026-01-19T11:17:27Z

Yazar Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792 Zhang, Lijun. editor. (orcid)0000-0002-3692-2088 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-17465-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Combinatorics on Words 12th International Conference, WORDS 2019, Loughborough, UK, September 9–13, 2019, Proceedings

2026-01-19T11:17:27Z

Yazar Mercaş, Robert. editor. (orcid)0000-0001-6034-433X Reidenbach, Daniel. editor. (orcid)0000-0001-7996-5291 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-28796-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Trustworthy Software Systems 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures

2026-01-19T11:17:27Z

Yazar Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-17601-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Machine Learning and Data Mining for Sports Analytics 5th International Workshop, MLSA 2018, Co-located with ECML/PKDD 2018, Dublin, Ireland, September 10, 2018, Proceedings

2026-01-19T11:17:27Z

Yazar Brefeld, Ulf. editor. Davis, Jesse. editor. (orcid)0000-0002-3748-9263 Van Haaren, Jan. editor. Zimmermann, Albrecht. editor. (orcid)0000-0002-8319-7456 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-17274-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic, Language, Information, and Computation 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings

2026-01-19T11:17:27Z

Yazar Iemhoff, Rosalie. editor. Moortgat, Michael. editor. de Queiroz, Ruy. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-59533-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reasoning Web. Explainable Artificial Intelligence 15th International Summer School 2019, Bolzano, Italy, September 20–24, 2019, Tutorial Lectures

2026-01-19T11:17:27Z

Yazar Krötzsch, Markus. editor. (orcid)0000-0002-9172-2601 Stepanova, Daria. editor. (orcid)0000-0001-8654-5121 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-31423-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers

2026-01-19T11:17:27Z

Yazar Mesnard, Fred. editor. Stuckey, Peter J. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-13838-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theoretical Computer Science 37th National Conference, NCTCS 2019, Lanzhou, China, August 2–4, 2019, Revised Selected Papers

2026-01-19T11:17:27Z

Yazar Sun, Xiaoming. editor. He, Kun. editor. Chen, Xiaoyun. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-15-0105-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Predictive Intelligence in Medicine Second International Workshop, PRIME 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 13, 2019, Proceedings

2026-01-19T11:17:27Z

Yazar Rekik, Islem. editor. (orcid)0000-0001-5595-6673 Adeli, Ehsan. editor. (orcid)0000-0002-0579-7763 Park, Sang Hyun. editor. (orcid)0000-0001-7476-1046 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-32281-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Intelligence 17th Russian Conference, RCAI 2019, Ulyanovsk, Russia, October 21–25, 2019, Proceedings

2026-01-19T11:17:27Z

Yazar Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001 Panov, Aleksandr I. editor. (orcid)0000-0002-9747-3837 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-30763-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

VLSI Design and Test 23rd International Symposium, VDAT 2019, Indore, India, July 4–6, 2019, Revised Selected Papers

2026-01-19T11:17:27Z

Yazar Sengupta, Anirban. editor. Dasgupta, Sudeb. editor. Singh, Virendra. editor. Sharma, Rohit. editor. Kumar Vishvakarma, Santosh. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-32-9767-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Integrated Uncertainty in Knowledge Modelling and Decision Making 7th International Symposium, IUKM 2019, Nara, Japan, March 27–29, 2019, Proceedings

2026-01-19T11:17:27Z

Yazar Seki, Hirosato. editor. Nguyen, Canh Hao. editor. Huynh, Van-Nam. editor. Inuiguchi, Masahiro. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-14815-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Coding Ockham's Razor

2026-01-19T11:17:27Z

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

Principles in Noisy Optimization Applied to Multi-agent Coordination

2026-01-19T11:17:27Z

Yazar Rakshit, Pratyusha. author. Konar, Amit. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-8642-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logical Foundations of Cyber-Physical Systems

2026-01-19T11:17:27Z

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

Formal Methods for Nonmonotonic and Related Logics Vol II: Theory Revision, Inheritance, and Various Abstract Properties

2026-01-19T11:17:27Z

Yazar Schlechta, Karl. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-89650-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Nonmonotonic and Related Logics Vol I: Preference and Size

2026-01-19T11:17:27Z

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

Logics for Computer Science Classical and Non-Classical

2026-01-19T11:17:27Z

Yazar Wasilewska, Anita. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-92591-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

An Introduction to Metaheuristics for Optimization

2026-01-19T11:17:27Z

Yazar Chopard, Bastien. author. Tomassini, Marco. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-93073-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Recent Advances in Computational Optimization Results of the Workshop on Computational Optimization WCO 2016

2026-01-19T11:17:27Z

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

Fuzzy Sets Theory Preliminary Can a Washing Machine Think?

2026-01-19T11:17:27Z

Yazar Lin, Hao-Ran. author. Cao, Bing-Yuan. author. Liao, Yun-zhang. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-70749-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Soft Computing for Sustainability Science

2026-01-19T11:17:27Z

Yazar Cruz Corona, Carlos. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-62359-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Nature-Inspired Algorithms and Applied Optimization

2026-01-19T11:17:27Z

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

Artificial Adaptive Systems Using Auto Contractive Maps Theory, Applications and Extensions

2026-01-19T11:17:27Z

Yazar Buscema, Paolo Massimo. author. Massini, Giulia. author. Breda, Marco. author. Lodwick, Weldon A. author. Newman, Francis. author.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-75049-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hyper-Heuristics: Theory and Applications

2026-01-19T11:17:27Z

Yazar Pillay, Nelishia. author. Qu, Rong. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-96514-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook of Parallel Constraint Reasoning

2026-01-19T11:17:27Z

Yazar Hamadi, Youssef. editor. Sais, Lakhdar. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-63516-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Soft Computing Based Optimization and Decision Models To Commemorate the 65th Birthday of Professor José Luis "Curro" Verdegay

2026-01-19T11:17:27Z

Yazar Pelta, David A. editor. Cruz Corona, Carlos. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-64286-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fuzzy Dual Numbers Theory and Applications

2026-01-19T11:17:27Z

Yazar Mora-Camino, Felix. author. Nunes Cosenza, Carlos Alberto. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-65418-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Optimization by Nature-Inspired Algorithms

2026-01-19T11:17:27Z

Yazar Bozorg-Haddad, Omid. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-5221-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial intelligence and data mining for mergers and acquisitions

2026-01-19T11:17:27Z

Yazar Chanda, Debasis, author.
Yer Numarası HD2746.5
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9780429424571 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Yapay zeka : stratejili oyunlar – örüntü tanıma – doğal dil işleme

2026-01-19T11:17:27Z

Yazar Nabiyev, Vasif V.
Yer Numarası Q335 N33 2016
Format: Kitap
Durum Beytepe Kütüphanesi~1

An Introduction to Harmony Search Optimization Method

2026-01-19T11:17:27Z

Yazar Wang, Xiaolei. author. Gao, Xiao-Zhi. author. Zenger, Kai. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-08356-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Discrete-Time Control Designs and Applications

2026-01-19T11:17:27Z

Yazar Abidi, Khalid. author. Xu, Jian-Xin. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-287-478-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Visibility-based Optimal Path and Motion Planning

2026-01-19T11:17:27Z

Yazar Wang, Paul Keng-Chieh. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-09779-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Probability Collectives A Distributed Multi-agent System Approach for Optimization

2026-01-19T11:17:27Z

Yazar Kulkarni, Anand Jayant. author. Tai, Kang. author. Abraham, Ajith. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-16000-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Encyclopedia of Systems and Control

2026-01-19T11:17:27Z

Yazar Baillieul, John. editor. Samad, Tariq. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-1-4471-5058-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design of Intelligent Systems Based on Fuzzy Logic, Neural Networks and Nature-Inspired Optimization

2026-01-19T11:17:27Z

Yazar Melin, Patricia. editor. Castillo, Oscar. editor. Kacprzyk, Janusz. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-17747-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Proceedings of the 18th Asia Pacific Symposium on Intelligent and Evolutionary Systems - Volume 2

2026-01-19T11:17:27Z

Yazar Handa, Hisashi. editor. Ishibuchi, Hisao. editor. Ong, Yew-Soon. editor. Tan, Kay-Chen. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-13356-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Anticipation: Learning from the Past The Russian/Soviet Contributions to the Science of Anticipation

2026-01-19T11:17:27Z

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

Advanced Computational Methods for Knowledge Engineering Proceedings of 3rd International Conference on Computer Science, Applied Mathematics and Applications - ICCSAMA 2015

2026-01-19T11:17:27Z

Yazar Le Thi, Hoai An. editor. Nguyen, Ngoc Thanh. editor. Do, Tien Van. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-17996-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Accuracy and Fuzziness. A Life in Science and Politics A Festschrift book to Enric Trillas Ruiz

2026-01-19T11:17:27Z

Yazar Argüelles Méndez, Luis. author. Seising, Rudolf. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-18606-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Evolutionary Constrained Optimization

2026-01-19T11:17:27Z

Yazar Datta, Rituparna. editor. Deb, Kalyanmoy. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-81-322-2184-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic, Language, Information, and Computation 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings

2026-01-19T11:17:27Z

Yazar Kohlenbach, Ulrich. editor. Barceló, Pablo. editor. de Queiroz, Ruy J G B. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-44145-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Principles and Practice of Constraint Programming 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014, Proceedings

2026-01-19T11:17:27Z

Yazar O'Sullivan, Barry. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-10428-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Graph Structures for Knowledge Representation and Reasoning Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers

2026-01-19T11:17:27Z

Yazar Croitoru, Madalina. editor. Rudolph, Sebastian. editor. Woltran, Stefan. editor. (orcid)0000-0003-1594-8972 Gonzales, Christophe. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-04534-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Language and Automata Theory and Applications 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014, Proceedings

2026-01-19T11:17:27Z

Yazar Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Sierra-Rodríguez, José-Luis. editor. Truthe, Bianca. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-04921-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Relational and Algebraic Methods in Computer Science 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28 -- May 1, 2014, Proceedings

2026-01-19T11:17:27Z

Yazar Höfner, Peter. editor. Jipsen, Peter. editor. Kahl, Wolfram. editor. Müller, Martin Eric. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-06251-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Reasoning 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings

2026-01-19T11:17:27Z

Yazar Demri, Stéphane. editor. Kapur, Deepak. editor. Weidenbach, Christoph. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-08587-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings

2026-01-19T11:17:27Z

Yazar Cariani, Fabrizio. editor. Grossi, Davide. editor. Meheus, Joke. editor. Parent, Xavier. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-08615-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Rough Sets and Intelligent Systems Paradigms Second International Conference, RSEISP 2014, Granada and Madrid, Spain, July 9-13, 2014. Proceedings

2026-01-19T11:17:27Z

Yazar Kryszkiewicz, Marzena. editor. Cornelis, Chris. editor. Ciucci, Davide. editor. Medina-Moreno, Jesús. editor. Motoda, Hiroshi. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-08729-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Rough Sets and Current Trends in Computing 9th International Conference, RSCTC 2014, Granada and Madrid, Spain, July 9-13, 2014, Proceedings

2026-01-19T11:17:27Z

Yazar Cornelis, Chris. editor. Kryszkiewicz, Marzena. editor. Slezak, Dominik. editor. Menasalvas Ruiz, Ernestina. editor. Bello, Rafael. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-08644-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

New Frontiers in Artificial Intelligence JSAI-isAI 2013 Workshops, LENLS, JURISIN, MiMI, AAA, and DDS, Kanagawa, Japan, October 27-28, 2013, Revised Selected Papers

2026-01-19T11:17:27Z

Yazar Nakano, Yukiko. editor. Satoh, Ken. editor. Bekki, Daisuke. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-10061-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reasoning Web. Reasoning and the Web in the Big Data Era 10th International Summer School 2014, Athens, Greece, September 8-13, 2014. Proceedings

2026-01-19T11:17:27Z

Yazar Koubarakis, Manolis. editor. Stamou, Giorgos. editor. Stoilos, Giorgos. editor. Horrocks, Ian. editor. Kolaitis, Phokion. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-10587-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Concept Analysis 12th International Conference, ICFCA 2014, Cluj-Napoca, Romania , June 10-13, 2014. Proceedings

2026-01-19T11:17:27Z

Yazar Glodeanu, Cynthia Vera. editor. Kaytoue, Mehdi. editor. Sacarea, Christian. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-07248-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Information and Knowledge Systems 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings

2026-01-19T11:17:27Z

Yazar Beierle, Christoph. editor. Meghini, Carlo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-04939-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computers and Games 8th International Conference, CG 2013, Yokohama, Japan, August 13-15, 2013, Revised Selected Papers

2026-01-19T11:17:27Z

Yazar van den Herik, H. Jaap. editor. Iida, Hiroyuki. editor. Plaat, Aske. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-09165-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Practitioner's Knowledge Representation A Pathway to Improve Software Effort Estimation

2026-01-19T11:17:27Z

Yazar Mendes, Emilia. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-642-54157-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Information Processing VII 8th IFIP TC 12 International Conference, IIP 2014, Hangzhou, China, October 17-20, 2014, Proceedings

2026-01-19T11:17:27Z

Yazar Shi, Zhongzhi. editor. Wu, Zhaohui. editor. Leake, David. editor. Sattler, Uli. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-44980-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Instance-Specific Algorithm Configuration

2026-01-19T11:17:27Z

Yazar Malitsky, Yuri. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-11230-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

KI 2014: Advances in Artificial Intelligence 37th Annual German Conference on AI, Stuttgart, Germany, September 22-26, 2014, Proceedings

2026-01-19T11:17:27Z

Yazar Lutz, Carsten. editor. Thielscher, Michael. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-11206-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Inductive Logic Programming 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers

2026-01-19T11:17:27Z

Yazar Zaverucha, Gerson. editor. Santos Costa, Vítor. editor. Paes, Aline. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-44923-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

2026-01-19T11:17:27Z

Yazar Klein, Gerwin. editor. Gamboa, Ruben. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-08970-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logical Aspects of Computational Linguistics 8th International Conference, LACL 2014, Toulouse, France, June 18-24, 2014. Proceedings

2026-01-19T11:17:27Z

Yazar Asher, Nicholas. editor. Soloviev, Sergei. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-43742-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Controlled Natural Language 4th International Workshop, CNL 2014, Galway, Ireland, August 20-22, 2014, Proceedings

2026-01-19T11:17:27Z

Yazar Davis, Brian. editor. Kaljurand, Kaarel. editor. Kuhn, Tobias. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-10223-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Logic in Multi-Agent Systems 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014, Proceedings

2026-01-19T11:17:27Z

Yazar Bulling, Nils. editor. van der Torre, Leendert. editor. Villata, Serena. editor. (orcid)0000-0003-3495-493X Jamroga, Wojtek. editor. Vasconcelos, Wamberto. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-09764-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial General Intelligence 7th International Conference, AGI 2014, Quebec City, QC, Canada, August 1-4, 2014, Proceedings

2026-01-19T11:17:27Z

Yazar Goertzel, Ben. editor. Orseau, Laurent. editor. Snaider, Javier. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-09274-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Pristine Perspectives on Logic, Language and Computation ESSLLI 2012 and ESSLLI 2013 Student Sessions, Selected Papers

2026-01-19T11:17:27Z

Yazar Colinet, Margot. editor. Katrenko, Sophia. editor. Rendsvig, Rasmus K. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-44116-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Processing of the Portuguese Language 11th International Conference, PROPOR 2014, Sao Carlos/SP, Brazil, October 6-8, 2014, Proceedings

2026-01-19T11:17:27Z

Yazar Baptista, Jorge. editor. Mamede, Nuno. editor. Candeias, Sara. editor. Paraboni, Ivandré. editor. Pardo, Thiago A.S. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-09761-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Computer Mathematics CICM 2014 Joint Events: Calculemus, DML, MKM, and Systems and Projects 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings

2026-01-19T11:17:27Z

Yazar Watt, Stephen M. editor. Sexton, Alan. editor. Davenport, James H. editor. Sojka, Petr. editor. Urban, Josef. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-08434-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Natural Language Processing 9th International Conference on NLP, PolTAL 2014, Warsaw, Poland, September 17-19, 2014. Proceedings

2026-01-19T11:17:27Z

Yazar Przepiórkowski, Adam. editor. Ogrodniczuk, Maciej. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-10888-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Grammar 19th International Conference, Formal Grammar 2014, Tübingen, Germany, August 16-17, 2014. Proceedings

2026-01-19T11:17:27Z

Yazar Morrill, Glyn. editor. Muskens, Reinhard. editor. Osswald, Rainer. editor. Richter, Frank. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-44121-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

2026-01-19T11:17:27Z

Yazar Giannakopoulou, Dimitra. editor. Kroening, Daniel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-12154-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logics in Artificial Intelligence 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014, Proceedings

2026-01-19T11:17:27Z

Yazar Fermé, Eduardo. editor. Leite, Joao. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-11558-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Uncertainty Reasoning for the Semantic Web III ISWC International Workshops, URSW 2011-2013, Revised Selected Papers

2026-01-19T11:17:27Z

Yazar Bobillo, Fernando. editor. Carvalho, Rommel N. editor. Costa, Paulo C.G. editor. d'Amato, Claudia. editor. Fanizzi, Nicola. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-13413-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Processing and Management of Uncertainty 15th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2014, Montpellier, France, July 15-19, 2014. Proceedings, Part I

2026-01-19T11:17:27Z

Yazar Laurent, Anne. editor. Strauss, Olivier. editor. Bouchon-Meunier, Bernadette. editor. Yager, Ronald R. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-08795-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Processing and Management of Uncertainty 15th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2014, Montpellier, France, July 15-19, 2014. Proceedings, Part II

2026-01-19T11:17:27Z

Yazar Laurent, Anne. editor. Strauss, Olivier. editor. Bouchon-Meunier, Bernadette. editor. Yager, Ronald R. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-08855-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Probabilistic Graphical Models 7th European Workshop, PGM 2014, Utrecht, The Netherlands, September 17-19, 2014. Proceedings

2026-01-19T11:17:27Z

Yazar van der Gaag, Linda C. editor. Feelders, Ad J. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-11433-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Verified Software: Theorie, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers

2026-01-19T11:17:27Z

Yazar Cohen, Ernie. editor. Rybalchenko, Andrey. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-642-54108-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Processing and Management of Uncertainty 15th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2014, Montpellier, France, July 15-19, 2014. Proceedings, Part III

2026-01-19T11:17:27Z

Yazar Laurent, Anne. editor. Strauss, Olivier. editor. Bouchon-Meunier, Bernadette. editor. Yager, Ronald R. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-08852-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multidimensional Data Visualization Methods and Applications

2026-01-19T11:17:27Z

Yazar Dzemyda, Gintautas. author. Kurasova, Olga. author. Žilinskas, Julius. author. SpringerLink (Online service)
Yer Numarası ONLINE(330795.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-0236-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A General Framework for Reasoning On Inconsistency

2026-01-19T11:17:27Z

Yazar Martinez, Maria Vanina. author. Molinaro, Cristian. author. Subrahmanian, V.S. author. Amgoud, Leila. author. SpringerLink (Online service)
Yer Numarası ONLINE(332107.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-6750-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Search Theory A Game Theoretic Perspective

2026-01-19T11:17:27Z

Yazar Alpern, Steve. editor. Fokkink, Robbert. editor. Gąsieniec, Leszek. editor. Lindelauf, Roy. editor. Subrahmanian, V.S. editor.
Yer Numarası ONLINE(332129.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-6825-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Language Engineering 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings

2026-01-19T11:17:27Z

Yazar Erwig, Martin. editor. Paige, Richard F. editor. Wyk, Eric. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332934.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-02654-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

2026-01-19T11:17:27Z

Yazar Bertacco, Valeria. editor. Legay, Axel. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332962.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-03077-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fuzzy Logic and Applications 10th International Workshop, WILF 2013, Genoa, Italy, November 19-22, 2013. Proceedings

2026-01-19T11:17:27Z

Yazar Masulli, Francesco. editor. Pasi, Gabriella. editor. Yager, Ronald. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332970.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-03200-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

AI*IA 2013: Advances in Artificial Intelligence XIIIth International Conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4-6, 2013. Proceedings

2026-01-19T11:17:27Z

Yazar Baldoni, Matteo. editor. Baroglio, Cristina. editor. Boella, Guido. editor. Micalizio, Roberto. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332979.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-03524-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings

2026-01-19T11:17:27Z

Yazar Gonthier, Georges. editor. Norrish, Michael. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332982.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-03545-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers

2026-01-19T11:17:27Z

Yazar Czarnecki, Krzysztof. editor. Hedin, Görel. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334120.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36089-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Infobiotics Information in Biotic Systems

2026-01-19T11:17:27Z

Yazar Manca, Vincenzo. author. SpringerLink (Online service)
Yer Numarası ONLINE(334148.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36223-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Rough Sets XVI

2026-01-19T11:17:27Z

Yazar Peters, James F. editor. Skowron, Andrzej. editor. Ramanna, Sheela. editor. Suraj, Zbigniew. editor. Wang, Xin. editor.
Yer Numarası ONLINE(334220.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36505-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Belief Revision in Non-Classical Logics

2026-01-19T11:17:27Z

Yazar Ribeiro, Márcio Moretto. author. SpringerLink (Online service)
Yer Numarası ONLINE(330925.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-4186-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Outlier Analysis

2026-01-19T11:17:27Z

Yazar Aggarwal, Charu C. author. SpringerLink (Online service)
Yer Numarası ONLINE(332026.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-6396-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Analyzing Evolutionary Algorithms The Computer Science Perspective

2026-01-19T11:17:27Z

Yazar Jansen, Thomas. author. SpringerLink (Online service)
Yer Numarası ONLINE(333075.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-17339-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

EVOLVE - A Bridge between Probability, Set Oriented Numerics, and Evolutionary Computation II

2026-01-19T11:17:27Z

Yazar Schütze, Oliver. editor. Coello Coello, Carlos A. editor. Tantar, Alexandru-Adrian. editor. Tantar, Emilia. editor. Bouvry, Pascal. editor.
Yer Numarası ONLINE(333444.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-31519-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Nexus between Artificial Intelligence and Economics

2026-01-19T11:17:27Z

Yazar van de Gevel, Ad. J. W. author. Noussair, Charles N. author. SpringerLink (Online service)
Yer Numarası ONLINE(333734.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-33648-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Language of Mathematics A Linguistic and Philosophical Investigation

2026-01-19T11:17:27Z

Yazar Ganesalingam, Mohan. author. SpringerLink (Online service)
Yer Numarası ONLINE(334341.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37012-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Proceedings of The Eighth International Conference on Bio-Inspired Computing: Theories and Applications (BIC-TA), 2013

2026-01-19T11:17:27Z

Yazar Yin, Zhixiang. editor. Pan, Linqiang. editor. Fang, Xianwen. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334443.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37502-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Logics Essays in Memory of Harald Ganzinger

2026-01-19T11:17:27Z

Yazar Voronkov, Andrei. editor. Weidenbach, Christoph. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334468.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37651-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers

2026-01-19T11:17:27Z

Yazar Albert, Elvira. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334552.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38197-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Deduction – CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings

2026-01-19T11:17:27Z

Yazar Bonacina, Maria Paola. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334626.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38574-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ontology Matching

2026-01-19T11:17:27Z

Yazar Euzenat, Jérôme. author. Shvaiko, Pavel. author. SpringerLink (Online service)
Yer Numarası ONLINE(334659.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38721-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings

2026-01-19T11:17:27Z

Yazar Fontaine, Pascal. editor. Ringeissen, Christophe. editor. Schmidt, Renate A. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335023.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40885-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algorithmic Learning Theory 24th International Conference, ALT 2013, Singapore, October 6-9, 2013. Proceedings

2026-01-19T11:17:27Z

Yazar Jain, Sanjay. editor. Munos, Rémi. editor. Stephan, Frank. editor. Zeugmann, Thomas. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335030.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40935-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Empirical Inference Festschrift in Honor of Vladimir N. Vapnik

2026-01-19T11:17:27Z

Yazar Schölkopf, Bernhard. editor. Luo, Zhiyuan. editor. Vovk, Vladimir. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335060.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41136-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Reasoning and Mathematics Essays in Memory of William W. McCune

2026-01-19T11:17:27Z

Yazar Bonacina, Maria Paola. editor. Stickel, Mark E. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334264.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36675-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Adaptive Dynamic Programming for Control Algorithms and Stability

2026-01-19T11:17:27Z

Yazar Zhang, Huaguang. author. Liu, Derong. author. Luo, Yanhong. author. Wang, Ding. author. SpringerLink (Online service)
Yer Numarası ONLINE(331049.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-4757-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Analysis of Terrorist Groups: Lashkar-e-Taiba Lashkar-e-Taiba

2026-01-19T11:17:27Z

Yazar Subrahmanian, V.S. author. Mannes, Aaron. author. Sliva, Amy. author. Shakarian, Jana. author. Dickerson, John P. author.
Yer Numarası ONLINE(331582.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-4769-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

An Introduction to Statistical Learning with Applications in R

2026-01-19T11:17:27Z

Yazar James, Gareth. author. Witten, Daniela. author. Hastie, Trevor. author. Tibshirani, Robert. author. SpringerLink (Online service)
Yer Numarası ONLINE(332216.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-7138-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Knowledge Spaces Applications in Education

2026-01-19T11:17:27Z

Yazar Falmagne, Jean-Claude. editor. Albert, Dietrich. editor. Doble, Christopher. editor. Eppstein, David. editor. Hu, Xiangen. editor.
Yer Numarası ONLINE(333964.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35329-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers

2026-01-19T11:17:27Z

Yazar Ermolayev, Vadim. editor. Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Spivakovsky, Aleksander. editor. Zholtkevych, Grygoriy. editor.
Yer Numarası ONLINE(334041.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35737-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings

2026-01-19T11:17:27Z

Yazar Giacobazzi, Roberto. editor. Berdine, Josh. editor. Mastroeni, Isabella. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334073.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35873-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Uncertainty Reasoning for the Semantic Web II International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at FLoC, Revised Selected Papers

2026-01-19T11:17:27Z

Yazar Bobillo, Fernando. editor. Costa, Paulo C. G. editor. d’Amato, Claudia. editor. Fanizzi, Nicola. editor. Laskey, Kathryn B. editor.
Yer Numarası ONLINE(334092.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35975-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic, Language, and Computation 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers

2026-01-19T11:17:27Z

Yazar Bezhanishvili, Guram. editor. Löbner, Sebastian. editor. Marra, Vincenzo. editor. Richter, Frank. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334337.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36976-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Language and Automata Theory and Applications 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings

2026-01-19T11:17:27Z

Yazar Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334355.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37064-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Neural Networks – ISNN 2013 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013, Proceedings, Part I

2026-01-19T11:17:27Z

Yazar Guo, Chengan. editor. Hou, Zeng-Guang. editor. Zeng, Zhigang. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334722.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39065-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Neural Networks – ISNN 2013 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013, Proceedings, Part II

2026-01-19T11:17:27Z

Yazar Guo, Chengan. editor. Hou, Zeng-Guang. editor. Zeng, Zhigang. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334723.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39068-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings

2026-01-19T11:17:27Z

Yazar Järvisalo, Matti. editor. Van Gelder, Allen. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334724.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39071-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Unconventional Computation and Natural Computation 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013. Proceedings

2026-01-19T11:17:27Z

Yazar Mauri, Giancarlo. editor. Dennunzio, Alberto. editor. Manzoni, Luca. editor. Porreca, Antonio E. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334725.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39074-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings

2026-01-19T11:17:27Z

Yazar Gaag, Linda C. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334728.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39091-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Inductive Logic Programming 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers

2026-01-19T11:17:27Z

Yazar Riguzzi, Fabrizio. editor. Železný, Filip. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334673.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38812-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Computer Mathematics MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings

2026-01-19T11:17:27Z

Yazar Carette, Jacques. editor. Aspinall, David. editor. Lange, Christoph. editor. Sojka, Petr. editor. Windsteiger, Wolfgang. editor.
Yer Numarası ONLINE(334781.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39320-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reasoning Web. Semantic Technologies for Intelligent Data Access 9th International Summer School 2013, Mannheim, Germany, July 30 – August 2, 2013. Proceedings

2026-01-19T11:17:27Z

Yazar Rudolph, Sebastian. editor. Gottlob, Georg. editor. Horrocks, Ian. editor. Harmelen, Frank. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334848.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39784-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings

2026-01-19T11:17:27Z

Yazar Galmiche, Didier. editor. Larchey-Wendling, Dominique. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334962.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40537-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings

2026-01-19T11:17:27Z

Yazar Cabalar, Pedro. editor. Son, Tran Cao. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334969.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40564-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Combinatorics on Words 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings

2026-01-19T11:17:27Z

Yazar Karhumäki, Juhani. editor. Lepistö, Arto. editor. Zamboni, Luca. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334973.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40579-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings

2026-01-19T11:17:27Z

Yazar Leite, João. editor. Son, Tran Cao. editor. Torroni, Paolo. editor. Torre, Leon. editor. Woltran, Stefan. editor.
Yer Numarası ONLINE(334979.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40624-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers

2026-01-19T11:17:27Z

Yazar Ida, Tetsuo. editor. Fleuriot, Jacques. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334987.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40672-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings

2026-01-19T11:17:27Z

Yazar McMillan, Ken. editor. Middeldorp, Aart. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335196.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-45221-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Application of Neural Networks in the Earth System Sciences Neural Networks Emulations for Complex Multidimensional Mappings

2026-01-19T11:17:27Z

Yazar Krasnopolsky, Vladimir M. author. SpringerLink (Online service)
Yer Numarası ONLINE(336152.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-6073-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Economic Modeling Using Artificial Intelligence Methods

2026-01-19T11:17:27Z

Yazar Marwala, Tshilidzi. author. SpringerLink (Online service)
Yer Numarası ONLINE(331116.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-5010-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Bayesian Networks and Influence Diagrams: A Guide to Construction and Analysis

2026-01-19T11:17:27Z

Yazar Kjærulff, Uffe B. author. Madsen, Anders L. author. SpringerLink (Online service)
Yer Numarası ONLINE(331677.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-5104-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings

2026-01-19T11:17:27Z

Yazar Lodaya, Kamal. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334105.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36039-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Concept Analysis 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. Proceedings

2026-01-19T11:17:27Z

Yazar Cellier, Peggy. editor. Distel, Felix. editor. Ganter, Bernhard. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334580.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38317-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial General Intelligence 6th International Conference, AGI 2013, Beijing, China, July 31 – August 3, 2013 Proceedings

2026-01-19T11:17:27Z

Yazar Kühnberger, Kai-Uwe. editor. Rudolph, Sebastian. editor. Wang, Pei. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334814.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39521-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

2026-01-19T11:17:27Z

Yazar Biere, Armin. editor. Nahir, Amir. editor. Vos, Tanja. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334820.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39611-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings

2026-01-19T11:17:27Z

Yazar Blazy, Sandrine. editor. Paulin-Mohring, Christine. editor. Pichardie, David. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334825.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39634-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Emerging Intelligent Computing Technology and Applications 9th International Conference, ICIC 2013, Nanning, China, July 28-31, 2013. Proceedings

2026-01-19T11:17:27Z

Yazar Huang, De-Shuang. editor. Gupta, Phalguni. editor. Wang, Ling. editor. Gromiha, Michael. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334835.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39678-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

KI 2013: Advances in Artificial Intelligence 36th Annual German Conference on AI, Koblenz, Germany, September 16-20, 2013. Proceedings

2026-01-19T11:17:27Z

Yazar Timm, Ingo J. editor. Thimm, Matthias. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335031.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40942-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modeling and Using Context 8th International and Interdisciplinary Conference, CONTEXT 2013, Annecy, France, October 28 -31, 2013, Proceedings

2026-01-19T11:17:27Z

Yazar Brézillon, Patrick. editor. Blackburn, Patrick. editor. Dapoigny, Richard. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335034.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40972-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

New Frontiers in Artificial Intelligence JSAI-isAI 2012 Workshops, LENLS, JURISIN, MiMI, Miyazaki, Japan, November 30 and December 1, 2012, Revised Selected Papers

2026-01-19T11:17:27Z

Yazar Motomura, Yoichi. editor. Butler, Alastair. editor. Bekki, Daisuke. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334868.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39931-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings

2026-01-19T11:17:27Z

Yazar Libkin, Leonid. editor. Kohlenbach, Ulrich. editor. Queiroz, Ruy. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334875.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39992-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Grammar 17th and 18th International Conferences, FG 2012, Opole, Poland, August 2012, Revised Selected Papers, FG 2013, Düsseldorf, Germany, August 2013. Proceedings

2026-01-19T11:17:27Z

Yazar Morrill, Glyn. editor. Nederhof, Mark-Jan. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334877.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39998-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Contemporary Evolution Strategies

2026-01-19T11:17:27Z

Yazar Bäck, Thomas. author. Foussette, Christophe. author. Krause, Peter. author. SpringerLink (Online service)
Yer Numarası ONLINE(334897.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40137-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Combinatorial Search: From Algorithms to Systems

2026-01-19T11:17:27Z

Yazar Hamadi, Youssef. author. SpringerLink (Online service)
Yer Numarası ONLINE(335109.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41482-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reactive Kripke Semantics

2026-01-19T11:17:27Z

Yazar Gabbay, Dov M. author. SpringerLink (Online service)
Yer Numarası ONLINE(335100.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41389-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Constraint Solving and Language Processing 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers

2026-01-19T11:17:27Z

Yazar Duchier, Denys. editor. Parmentier, Yannick. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335125.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41578-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Paraconsistency: Logic and Applications

2026-01-19T11:17:27Z

Yazar Tanaka, Koji. editor. Berto, Francesco. editor. Mares, Edwin. editor. Paoli, Francesco. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335759.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-4438-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Data Mining in Law Enforcement Analytics New Neural Networks Applied to Real Problems

2026-01-19T11:17:27Z

Yazar Buscema, Massimo. editor. Tastle, William J. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335849.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-4914-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Criminal Justice Forecasts of Risk A Machine Learning Approach

2026-01-19T11:17:27Z

Yazar Berk, Richard. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-3085-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Lectures on Logic and Computation ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes

2026-01-19T11:17:27Z

Yazar Bezhanishvili, Nick. editor. Goranko, Valentin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-31485-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Logic of Categorial Grammars A Deductive Account of Natural Language Syntax and Semantics

2026-01-19T11:17:27Z

Yazar Moot, Richard. author. Retoré, Christian. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-31555-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Markov Networks in Evolutionary Computation

2026-01-19T11:17:27Z

Yazar Shakya, Siddhartha. editor. Santana, Roberto. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-28900-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Complexity of Valued Constraint Satisfaction Problems

2026-01-19T11:17:27Z

Yazar Živný, Stanislav. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-33974-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Geospatial Semantics and the Semantic Web Foundations, Algorithms, and Applications

2026-01-19T11:17:27Z

Yazar Ashish, Naveen. editor. Sheth, Amit P. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-9446-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Safe Adaptive Control Data-Driven Stability Analysis and Robust Synthesis

2026-01-19T11:17:27Z

Yazar Stefanovic, Margareta. author. Safonov, Michael G. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84996-453-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hybrid Optimization The Ten Years of CPAIOR

2026-01-19T11:17:27Z

Yazar van Hentenryck, Pascal. editor. Milano, Michela. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-1644-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Conditionals and Modularity in General Logics

2026-01-19T11:17:27Z

Yazar Gabbay, Dov M. author. Schlechta, Karl. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-19068-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design of Modern Heuristics Principles and Application

2026-01-19T11:17:27Z

Yazar Rothlauf, Franz. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72962-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools for Teaching Logic Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings

2026-01-19T11:17:27Z

Yazar Blackburn, Patrick. editor. Ditmarsch, Hans. editor. Manzano, María. editor. Soler-Toscano, Fernando. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-21350-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

From Boolean Logic to Switching Circuits and Automata Towards Modern Information Technology

2026-01-19T11:17:27Z

Yazar Stanković, Radomir S. author. Astola, Jaakko. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-11682-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Geocomputation, Sustainability and Environmental Planning

2026-01-19T11:17:27Z

Yazar Murgante, Beniamino. editor. Borruso, Giuseppe. editor. Lapucci, Alessandra. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-19733-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Evolutionary Multi-Criterion Optimization 6th International Conference, EMO 2011, Ouro Preto, Brazil, April 5-8, 2011. Proceedings

2026-01-19T11:17:27Z

Yazar Takahashi, Ricardo H. C. editor. Deb, Kalyanmoy. editor. Wanner, Elizabeth F. editor. Greco, Salvatore. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-19893-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic and Games on Automatic Structures Playing with Quantifiers and Decompositions

2026-01-19T11:17:27Z

Yazar Kaiser, Łukasz. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-22807-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cognitive Reasoning A Formal Approach

2026-01-19T11:17:27Z

Yazar Gergely, Tamás. author. Anshakov, Oleg M. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-68875-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Bioinspired Computation in Combinatorial Optimization Algorithms and Their Computational Complexity

2026-01-19T11:17:27Z

Yazar Neumann, Frank. author. Witt, Carsten. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-16544-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Unified Computational Intelligence for Complex Systems

2026-01-19T11:17:27Z

Yazar Seiffertt, John. author. Wunsch, Donald C. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-03180-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logical Tools for Handling Change in Agent-Based Systems

2026-01-19T11:17:27Z

Yazar Gabbay, Dov M. author. Schlechta, Karl. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-04407-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Classification as a Tool for Research Proceedings of the 11th IFCS Biennial Conference and 33rd Annual Conference of the Gesellschaft für Klassifikation e.V., Dresden, March 13-18, 2009

2026-01-19T11:17:27Z

Yazar Locarek-Junge, Hermann. editor. Weihs, Claus. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-10745-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Scientific Data Mining and Knowledge Discovery Principles and Foundations

2026-01-19T11:17:27Z

Yazar Gaber, Mohamed Medhat. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02788-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Natural Deduction, Hybrid Systems and Modal Logics

2026-01-19T11:17:27Z

Yazar Indrzejczak, Andrzej. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-90-481-8785-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook of Group Decision and Negotiation

2026-01-19T11:17:27Z

Yazar Kilgour, D. Marc. editor. Eden, Colin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-90-481-9097-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Elements of Statistical Learning Data Mining, Inference, and Prediction

2026-01-19T11:17:27Z

Yazar Hastie, Trevor. author. Tibshirani, Robert. author. Friedman, Jerome. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-84858-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Intelligence Methods in the Environmental Sciences

2026-01-19T11:17:27Z

Yazar Haupt, Sue Ellen. editor. Pasini, Antonello. editor. Marzban, Caren. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-9119-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A Missing Link in Cybernetics Logic and Continuity

2026-01-19T11:17:27Z

Yazar Andrew, Alex M. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-75164-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Proof Theory for Fuzzy Logics

2026-01-19T11:17:27Z

Yazar Metcalfe, George. author. Olivetti, Nicola. author. Gabbay, Dov. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-9409-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Convergence and Knowledge Processing in Multi-Agent Systems

2026-01-19T11:17:27Z

Yazar Chli, Maria. editor. Wilde, Philippe de. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84882-063-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook of Weighted Automata

2026-01-19T11:17:27Z

Yazar Droste, Manfred. editor. Kuich, Werner. editor. Vogler, Heiko. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-01492-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Spatial and Temporal Databases 11th International Symposium, SSTD 2009 Aalborg, Denmark, July 8-10, 2009 Proceedings

2026-01-19T11:17:27Z

Yazar Mamoulis, Nikos. editor. Seidl, Thomas. editor. Pedersen, Torben Bach. editor. Torp, Kristian. editor. Assent, Ira. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02982-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Geocomputation and Urban Planning

2026-01-19T11:17:27Z

Yazar Murgante, Beniamino. editor. Borruso, Giuseppe. editor. Lapucci, Alessandra. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-89930-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Stochastic Coalgebraic Logic

2026-01-19T11:17:27Z

Yazar Doberkat, Ernst-Erich. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02995-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Bayesian Networks and Influence Diagrams A Guide to Construction and Analysis

2026-01-19T11:17:27Z

Yazar Kjærulff, Uffe B. author. Madsen, Anders L. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-74101-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design by Evolution Advances in Evolutionary Design

2026-01-19T11:17:27Z

Yazar Hingston, Philip F. editor. Barone, Luigi C. editor. Michalewicz, Zbigniew. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74111-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Metaheuristics for Hard Optimization

2026-01-19T11:17:27Z

Yazar Siarry, Patrick. editor. Michalewicz, Zbigniew. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72960-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multiobjective Problem Solving from Nature From Concepts to Applications

2026-01-19T11:17:27Z

Yazar Knowles, Joshua. editor. Corne, David. editor. Deb, Kalyanmoy. editor. Chair, Deva Raj. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72964-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algorithms in Invariant Theory

2026-01-19T11:17:27Z

Yazar Sturmfels, Bernd. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-211-77417-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings

2026-01-19T11:17:27Z

Yazar Kaminski, Michael. editor. Martini, Simone. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-87531-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Time-Dependent Scheduling

2026-01-19T11:17:27Z

Yazar Gawiejnowicz, Stanisław. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-69446-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Negotiation, Auctions, and Market Engineering International Seminar, Dagstuhl Castle, Germany, November 12-17, 2006, Revised Selected Papers

2026-01-19T11:17:27Z

Yazar Gimpel, Henner. editor. Jennings, Nicholas R. editor. Kersten, Gregory E. editor. Ockenfels, Axel. editor. Weinhardt, Christof. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-77554-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

New Developments in Formal Languages and Applications

2026-01-19T11:17:27Z

Yazar Bel-Enguix, Gemma. editor. Jiménez-López, M. Dolores. editor. Martín-Vide, Carlos. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-78291-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Applications of Satisfiability Testing – SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings

2026-01-19T11:17:27Z

Yazar Kleine Büning, Hans. editor. Zhao, Xishun. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-79719-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial intelligence with uncertainty

2026-01-19T11:17:27Z

Yazar Li, Deyi, 1944, author. Du, Yi, 1971-
Yer Numarası Q335 .L5 2008
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Theoretical Aspects of Local Search

2026-01-19T11:17:27Z

Yazar Michiels, Wil. author. Korst, Jan. author. Aarts, Emile. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-35854-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Science Logic 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings

2026-01-19T11:17:27Z

Yazar Duparc, Jacques. editor. Henzinger, Thomas A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74915-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook of Spatial Logics

2026-01-19T11:17:27Z

Yazar Aiello, Marco. Pratt-Hartmann, Ian. Benthem, Johan. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-5587-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Evolutionary Algorithms for Solving Multi-Objective Problems Second Edition

2026-01-19T11:17:27Z

Yazar Coello, Carlos A. Coello. author. Lamont, Gary B. author. Veldhuizen, David A. Van. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-36797-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Intelligent Paradigms in Computer Games

2026-01-19T11:17:27Z

Yazar Baba, Norio. editor. Jain, Lakhmi C. editor. Handa, Hisashi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72705-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Applications of Satisfiability Testing – SAT 2007 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings

2026-01-19T11:17:27Z

Yazar Marques-Silva, João. editor. Sakallah, Karem A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72788-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Uncertainty Theory

2026-01-19T11:17:27Z

Yazar Liu, Dr. Baoding. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73165-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Brownian Agents and Active Particles Collective Dynamics in the Natural and Social Sciences

2026-01-19T11:17:27Z

Yazar Schweitzer, Frank. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73845-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Uncertainty, Rationality, and Agency

2026-01-19T11:17:27Z

Yazar Hoek, Wiebe. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/1-4020-4631-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

All of Nonparametric Statistics

2026-01-19T11:17:27Z

Yazar Wasserman, Larry. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/0-387-30623-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1