Search Results for mathematical. - Narrowed by: Artificial intelligence.

Mathematical music : from antiquity to music AI

2026-01-17T23:37:48Z

Author Braguinski, Nikita, 1976- author.
Preferred Shelf Number ML3800
Electronic Access 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: Electronic Resources
Availability Online Library~1

Deep Neural Networks in a Mathematical Framework

2026-01-17T23:37:48Z

Author Caterini, Anthony L. author. Chang, Dong Eui. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-75304-1
Format: Electronic Resources
Availability Online Library~1

Fuzzy Mathematical Programming and Fuzzy Matrix Games

2026-01-17T23:37:48Z

Author Bector, C. R. author. Chandra, Suresh. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-32371-6
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Singh, Jagdev. editor. Anastassiou, George A. editor. Baleanu, Dumitru. editor. Cattani, Carlo. editor. Kumar, Devendra. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-0179-9
Format: Electronic Resources
Availability Online Library~1

Foundations of Mathematical Modelling for Engineering Problem Solving

2026-01-17T23:37:48Z

Author Mahalle, Parikshit Narendra. author. Ambritta P., Nancy. author. Sakhare, Sachin R. author. Kulkarni, Atul P. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-8828-8
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Sahni, Manoj. editor. Merigó, José M. editor. Hussain, Walayat. editor. León-Castro, Ernesto. editor. Verma, Raj Kumar. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-9906-2
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Peng, Sheng-Lung. editor. Jhanjhi, Noor Zaman. editor. Pal, Souvik. editor. Amsaad, Fathi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-3611-3
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Bebis, George. editor. Benos, Takis. editor. Chen, Ken. editor. Jahn, Katharina. editor. Lima, Ernesto. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-35210-3
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author 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)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-33394-2
Format: Electronic Resources
Availability Online Library~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-17T23:37:48Z

Author 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
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-20867-7
Format: Electronic Resources
Availability Online Library~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-17T23:37:48Z

Author Zhu, Dajiang. editor. Yan, Jingwen. editor. Huang, Heng. editor. Shen, Li. editor. Thompson, Paul M. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-33226-6
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Silhavy, Radek. editor. Silhavy, Petr. editor. Prokopova, Zdenka. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67621-0
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Davenport, James H. editor. (orcid)0000-0002-3982-7545 Kauers, Manuel. editor. Labahn, George. editor. Urban, Josef. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-96418-8
Format: Electronic Resources
Availability Online Library~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-17T23:37:48Z

Author Angelov, P. editor. Atanassov, K.T. editor. Doukovska, L. editor. Hadjiski, M. editor. Jotsov, V. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11313-5
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Kauers, Manuel. editor. Kerber, Manfred. editor. Miner, Robert. editor. Windsteiger, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73086-6
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Kohlhase, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11618027
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Kohlhase, Michael. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11826095
Format: Electronic Resources
Availability Online Library~1

Gene Expression Programming Mathematical Modeling by an Artificial Intelligence

2026-01-17T23:37:48Z

Author Ferreira, Cândida. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-32849-1
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Borwein, Jonathan M. editor. Farmer, William M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11812289
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Hutter, Dieter. editor. Stephan, Werner. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106663
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author McCarthy, John, 1927-2011. Lifschitz, Vladimir.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780124500105
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Shi, Yong. editor. Wang, Shouyang. editor. Kou, Gang. editor. Wallenius, Jyrki. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19695-9
Format: Electronic Resources
Availability Online Library~1

Economic Dynamics and Information

2026-01-17T23:37:48Z

Author Zajac, Jaroslav. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-32695-2
Format: Electronic Resources
Availability Online Library~1

New Developments in Multiple Objective and Goal Programming

2026-01-17T23:37:48Z

Author Jones, Dylan. editor. Tamiz, Mehrdad. editor. Ries, Jana. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-10354-4
Format: Electronic Resources
Availability Online Library~1

Forecasting and Hedging in the Foreign Exchange Markets

2026-01-17T23:37:48Z

Author Ullrich, Christian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00495-7
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Ehrentreich, Norman. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73879-4
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Schwind, Michael. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68003-1
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Gray, Doug (Douglas A.), author. Shellsear, Evan, author.
Preferred Shelf Number QA76.9 .Q36
Electronic Access 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: Electronic Resources
Availability Online Library~1

SMART MEDICAL IMAGING FOR DIAGNOSIS AND TREATMENT PLANNING

2026-01-17T23:37:48Z

Author Dey, Nilanjan, 1984- editor. Misra, Bitan, editor. Chakraborty, Sayan, PhD, editor.
Preferred Shelf Number R859
Electronic Access 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: Electronic Resources
Availability Online Library~1

Data-Driven Approach for Bio-medical and Healthcare

2026-01-17T23:37:48Z

Author Dey, Nilanjan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-5184-8
Format: Electronic Resources
Availability Online Library~1

Computational Mechanics with Deep Learning An Introduction

2026-01-17T23:37:48Z

Author Yagawa, Genki. author. Oishi, Atsuya. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-11847-0
Format: Electronic Resources
Availability Online Library~1

System Analysis and Artificial Intelligence

2026-01-17T23:37:48Z

Author Zgurovsky, Michael. editor. Pankratova, Nataliya. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-37450-0
Format: Electronic Resources
Availability Online Library~1

Advances in Artificial Systems for Logistics Engineering III

2026-01-17T23:37:48Z

Author Hu, Zhengbing. editor. Zhang, Qingying. editor. He, Matthew. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-36115-9
Format: Electronic Resources
Availability Online Library~1

Applied Nonlinear Analysis and Soft Computing Proceedings of ANASC 2020

2026-01-17T23:37:48Z

Author Dutta, Hemen. editor. Ahmed, Nazibuddin. editor. Agarwal, Ravi P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-8054-1
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Hemanth, D. Jude. editor. Yigit, Tuncay. editor. Kose, Utku. editor. Guvenc, Ugur. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-31956-3
Format: Electronic Resources
Availability Online Library~1

Computational Intelligence and Mathematics for Tackling Complex Problems 4

2026-01-17T23:37:48Z

Author Cornejo, María Eugenia. editor. Harmati, István Á. editor. Kóczy, László T. editor. Medina-Moreno, Jesús. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-07707-4
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Sahoo, Laxminarayan. editor. Senapati, Tapan. editor. Yager, Ronald R. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-4929-6
Format: Electronic Resources
Availability Online Library~1

Technologies for Smart Cities

2026-01-17T23:37:48Z

Author Vershinin, Yuri A. editor. Pashchenko, Fedor. editor. Olaverri-Monreal, Cristina. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-05516-4
Format: Electronic Resources
Availability Online Library~1

Data Centric Artificial Intelligence: A Beginner's Guide

2026-01-17T23:37:48Z

Author Mahalle, Parikshit N. author. Shinde, Gitanjali R. author. Ingle, Yashwant S. author. Wasatkar, Namrata N. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-6353-9
Format: Electronic Resources
Availability Online Library~1

WAIC and WBIC with Python Stan 100 Exercises for Building Logic

2026-01-17T23:37:48Z

Author Suzuki, Joe. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-3841-4
Format: Electronic Resources
Availability Online Library~1

Deep Learning Applications, Volume 4

2026-01-17T23:37:48Z

Author Wani, M. Arif. editor. Palade, Vasile. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-6153-3
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Tsihrintzis, George A. editor. Wang, Shiuh-Jeng. editor. Lin, Iuon-Chang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-05491-4
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence (AI) and Finance

2026-01-17T23:37:48Z

Author Alareeni, Bahaaeddin A. M. editor. Elgedawy, Islam. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-39158-3
Format: Electronic Resources
Availability Online Library~1

Embracing Machines and Humanity Through Cognitive Computing and IoT

2026-01-17T23:37:48Z

Author Usman, Mohammed. editor. Gao, Xiao-Zhi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-4522-9
Format: Electronic Resources
Availability Online Library~1

Frontiers in Robotics and Electromechanics

2026-01-17T23:37:48Z

Author Ronzhin, Andrey. editor. (orcid)0000-0002-8903-3508 Pshikhopov, Viacheslav. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-7685-8
Format: Electronic Resources
Availability Online Library~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-17T23:37:48Z

Author Babichev, Sergii. editor. Lytvynenko, Volodymyr. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-16203-9
Format: Electronic Resources
Availability Online Library~1

Applications of Artificial Intelligence and Neural Systems to Data Science

2026-01-17T23:37:48Z

Author 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)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-3592-5
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Şen, Zekâi. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-29555-3
Format: Electronic Resources
Availability Online Library~1

Benchmarks and Hybrid Algorithms in Optimization and Applications

2026-01-17T23:37:48Z

Author Yang, Xin-She. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-3970-1
Format: Electronic Resources
Availability Online Library~1

Engineering Mathematics and Computing

2026-01-17T23:37:48Z

Author Gyei-Kark, Park. editor. Jana, Dipak Kumar. editor. Panja, Prabir. editor. Abd Wahab, Mohd Helmy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-2300-5
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence for Healthy Longevity

2026-01-17T23:37:48Z

Author Moskalev, Alexey. editor. (orcid)0000-0002-3248-1633 Stambler, Ilia. editor. Zhavoronkov, Alex. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-35176-1
Format: Electronic Resources
Availability Online Library~1

Parametrized, Deformed and General Neural Networks

2026-01-17T23:37:48Z

Author Anastassiou, George A. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-43021-3
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Mohaghegh, Shahab D., author.
Preferred Shelf Number TA342
Electronic Access 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: Electronic Resources
Availability Online Library~1

Optimizasyon ve MATLAB uygulamaları

2026-01-17T23:37:48Z

Author Tezel Özturan, Aysun.
Preferred Shelf Number QA402.5 T49 2022
Format: Books
Availability Beytepe Library~1

AI for sports

2026-01-17T23:37:48Z

Author Brady, Christopher, 1947- author. Tuyls, Karl, author. Omidshafiei, Shayegan, author.
Preferred Shelf Number GV706.8 .B728 2022 EB
Electronic Access 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: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Jain, Vishal, 1983- editor.
Preferred Shelf Number Q325.5
Electronic Access 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: Electronic Resources
Availability Online Library~1

The handbook of AI-based metaheuristics

2026-01-17T23:37:48Z

Author Kulkarni, Anand Jayant, editor. Siarry, Patrick, editor.
Preferred Shelf Number TA168
Electronic Access 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: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Slavkovik, Marija. editor. (orcid)0000-0003-2548-8623 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-14174-5
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Khan, Md. Aquil. editor. Manuel, Amaldev. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-58771-3
Format: Electronic Resources
Availability Online Library~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-17T23:37:48Z

Author Bojańczyk, Mikołaj. editor. Simpson, Alex. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-17127-8
Format: Electronic Resources
Availability Online Library~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-17T23:37:48Z

Author 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)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-35166-3
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834 Leone, Nicola. editor. Manna, Marco. editor. (orcid)0000-0003-3323-9328 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-19570-0
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author 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
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-14160-8
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Cerrito, Serenella. editor. Popescu, Andrei. editor. (orcid)0000-0001-8747-0619 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-29026-9
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author 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)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-36614-8
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Dillig, Isil. editor. Tasiran, Serdar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-25543-5
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Ekštein, Kamil. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-27947-9
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Herzig, Andreas. editor. (orcid)0000-0003-0833-2782 Popescu, Andrei. editor. (orcid)0000-0001-8747-0619 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-29007-8
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Mercaş, Robert. editor. (orcid)0000-0001-6034-433X Reidenbach, Daniel. editor. (orcid)0000-0001-7996-5291 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-28796-2
Format: Electronic Resources
Availability Online Library~1

Broad Learning Through Fusions An Application on Social Networks

2026-01-17T23:37:48Z

Author Zhang, Jiawei. author. Yu, Philip S. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-12528-8
Format: Electronic Resources
Availability Online Library~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-17T23:37:48Z

Author 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)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-17274-9
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Kern-Isberner, Gabriele. editor. (orcid)0000-0001-8689-5391 Ognjanović, Zoran. editor. (orcid)0000-0003-2508-6480 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-29765-7
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Iemhoff, Rosalie. editor. Moortgat, Michael. editor. de Queiroz, Ruy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-59533-6
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Mesnard, Fred. editor. Stuckey, Peter J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-13838-7
Format: Electronic Resources
Availability Online Library~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-17T23:37:48Z

Author Hospodár, Michal. editor. Jirásková, Galina. editor. Konstantinidis, Stavros. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-23247-4
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Krötzsch, Markus. editor. (orcid)0000-0002-9172-2601 Stepanova, Daria. editor. (orcid)0000-0001-8654-5121 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-31423-1
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Tang, Jie. editor. Kan, Min-Yen. editor. Zhao, Dongyan. editor. Li, Sujian. editor. Zan, Hongying. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-32236-6
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Chaves, Madalena. editor. Martins, Manuel A. editor. (orcid)0000-0002-5109-8066 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-19432-1
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Sun, Xiaoming. editor. He, Kun. editor. Chen, Xiaoyun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-15-0105-0
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Silva, Alexandra. editor. Staton, Sam. editor. Sutton, Peter. editor. Umbach, Carla. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-59565-7
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author 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)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-32281-6
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Blackburn, Patrick. editor. Lorini, Emiliano. editor. Guo, Meiyun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-60292-8
Format: Electronic Resources
Availability Online Library~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-17T23:37:48Z

Author Alvim, Mário S. editor. Chatzikokolakis, Kostas. editor. Olarte, Carlos. editor. Valencia, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-31175-9
Format: Electronic Resources
Availability Online Library~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-17T23:37:48Z

Author MacIntyre, John. editor. Maglogiannis, Ilias. editor. (orcid)0000-0003-2860-399X Iliadis, Lazaros. editor. Pimenidis, Elias. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-19823-7
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Bernardi, Raffaella. editor. Kobele, Greg. editor. Pogodalla, Sylvain. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-59648-7
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Martínez-Villaseñor, Lourdes. editor. (orcid)0000-0002-9038-7821 Batyrshin, Ildar. editor. Marín-Hernández, Antonio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-33749-0
Format: Electronic Resources
Availability Online Library~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-17T23:37:48Z

Author Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792 Zhang, Lijun. editor. (orcid)0000-0002-3692-2088 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-17465-1
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-17601-3
Format: Electronic Resources
Availability Online Library~1

Machine Learning Risk Assessments in Criminal Justice Settings

2026-01-17T23:37:48Z

Author Berk, Richard. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-02272-3
Format: Electronic Resources
Availability Online Library~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-17T23:37:48Z

Author Suzuki, Kenji. editor. Reyes, Mauricio. editor. Syeda-Mahmood, Tanveer. editor. Konukoglu, Ender. editor. Glocker, Ben. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-33850-3
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001 Panov, Aleksandr I. editor. (orcid)0000-0002-9747-3837 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-30763-9
Format: Electronic Resources
Availability Online Library~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-17T23:37:48Z

Author Zhao, Jun. editor. Harmelen, Frank van. editor. Tang, Jie. editor. Han, Xianpei. editor. Wang, Quan. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-3146-6
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author 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)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-31095-0
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Schiex, Thomas. editor. (orcid)0000-0001-6049-3415 de Givry, Simon. editor. (orcid)0000-0002-2242-0458 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-30048-7
Format: Electronic Resources
Availability Online Library~1

Applied Machine Learning

2026-01-17T23:37:48Z

Author Forsyth, David. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-18114-7
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Riaño, David. editor. (orcid)0000-0002-1608-0215 Wilk, Szymon. editor. ten Teije, Annette. editor. (orcid)0000-0002-9771-8822 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-21642-9
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author 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)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-21952-9
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Sengupta, Anirban. editor. Dasgupta, Sudeb. editor. Singh, Virendra. editor. Sharma, Rohit. editor. Kumar Vishvakarma, Santosh. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-32-9767-8
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Fullér, Robert. editor. Giove, Silvio. editor. Masulli, Francesco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-12544-8
Format: Electronic Resources
Availability Online Library~1

Optimizasyon ve MATLAB uygulamaları

2026-01-17T23:37:48Z

Author Tezel Özturan, Aysun.
Preferred Shelf Number QA402.5 T49 2019
Format: Books
Availability Beytepe Library~2

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

2026-01-17T23:37:48Z

Author 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)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-26773-5
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author 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
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-21733-4
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Uden, Lorna. editor. Ting, I-Hsien. editor. Corchado, Juan Manuel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-21451-7
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Lutz, Carsten. editor. Sattler, Uli. editor. Tinelli, Cesare. editor. Turhan, Anni-Yasmin. editor. Wolter, Frank. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-22102-7
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Stuckenschmidt, Heiner. editor. (orcid)0000-0002-0209-3859 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-30179-8
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Parker, David. editor. (orcid)0000-0003-4137-8862 Wolf, Verena. editor. (orcid)0000-0001-8460-6007 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-30281-8
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Cuzzocrea, Alfredo. editor. Greco, Sergio. editor. Larsen, Henrik Legind. editor. Saccà, Domenico. editor. Andreasen, Troels. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-27629-4
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Ben Amor, Nahla. editor. Quost, Benjamin. editor. Theobald, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-35514-2
Format: Electronic Resources
Availability Online Library~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-17T23:37:48Z

Author 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
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-30278-8
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Seki, Hirosato. editor. Nguyen, Canh Hao. editor. Huynh, Van-Nam. editor. Inuiguchi, Masahiro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-14815-7
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Kotzinos, Dimitris. editor. Laurent, Dominique. editor. (orcid)0000-0002-7264-9576 Spyratos, Nicolas. editor. Tanaka, Yuzuru. editor. Taniguchi, Rin-ichiro. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-30284-9
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Schlechta, Karl. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-89650-2
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Schlechta, Karl. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-89653-3
Format: Electronic Resources
Availability Online Library~1

Logics for Computer Science Classical and Non-Classical

2026-01-17T23:37:48Z

Author Wasilewska, Anita. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-92591-2
Format: Electronic Resources
Availability Online Library~1

An Introduction to Metaheuristics for Optimization

2026-01-17T23:37:48Z

Author Chopard, Bastien. author. Tomassini, Marco. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-93073-2
Format: Electronic Resources
Availability Online Library~1

Handbook of Parallel Constraint Reasoning

2026-01-17T23:37:48Z

Author Hamadi, Youssef. editor. Sais, Lakhdar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-63516-3
Format: Electronic Resources
Availability Online Library~1

Advanced Optimization by Nature-Inspired Algorithms

2026-01-17T23:37:48Z

Author Bozorg-Haddad, Omid. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-5221-7
Format: Electronic Resources
Availability Online Library~1

Logical Foundations of Cyber-Physical Systems

2026-01-17T23:37:48Z

Author Platzer, André. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-63588-0
Format: Electronic Resources
Availability Online Library~1

Principles in Noisy Optimization Applied to Multi-agent Coordination

2026-01-17T23:37:48Z

Author Rakshit, Pratyusha. author. Konar, Amit. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-8642-7
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Fidanova, Stefka. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-59861-1
Format: Electronic Resources
Availability Online Library~1

Coding Ockham's Razor

2026-01-17T23:37:48Z

Author Allison, Lloyd. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-76433-7
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Pelta, David A. editor. Cruz Corona, Carlos. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-64286-4
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Buscema, Paolo Massimo. author. Massini, Giulia. author. Breda, Marco. author. Lodwick, Weldon A. author. Newman, Francis. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-75049-1
Format: Electronic Resources
Availability Online Library~1

Hyper-Heuristics: Theory and Applications

2026-01-17T23:37:48Z

Author Pillay, Nelishia. author. Qu, Rong. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-96514-7
Format: Electronic Resources
Availability Online Library~1

Fuzzy Sets Theory Preliminary Can a Washing Machine Think?

2026-01-17T23:37:48Z

Author Lin, Hao-Ran. author. Cao, Bing-Yuan. author. Liao, Yun-zhang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-70749-5
Format: Electronic Resources
Availability Online Library~1

Soft Computing for Sustainability Science

2026-01-17T23:37:48Z

Author Cruz Corona, Carlos. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-62359-7
Format: Electronic Resources
Availability Online Library~1

Fuzzy Dual Numbers Theory and Applications

2026-01-17T23:37:48Z

Author Mora-Camino, Felix. author. Nunes Cosenza, Carlos Alberto. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-65418-8
Format: Electronic Resources
Availability Online Library~1

Nature-Inspired Algorithms and Applied Optimization

2026-01-17T23:37:48Z

Author Yang, Xin-She. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67669-2
Format: Electronic Resources
Availability Online Library~1

Artificial intelligence and data mining for mergers and acquisitions

2026-01-17T23:37:48Z

Author Chanda, Debasis, author.
Preferred Shelf Number HD2746.5
Electronic Access 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: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Nabiyev, Vasif V.
Preferred Shelf Number Q335 N33 2016
Format: Books
Availability Beytepe Library~1

Advanced Discrete-Time Control Designs and Applications

2026-01-17T23:37:48Z

Author Abidi, Khalid. author. Xu, Jian-Xin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-287-478-8
Format: Electronic Resources
Availability Online Library~1

Visibility-based Optimal Path and Motion Planning

2026-01-17T23:37:48Z

Author Wang, Paul Keng-Chieh. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-09779-4
Format: Electronic Resources
Availability Online Library~1

An Introduction to Harmony Search Optimization Method

2026-01-17T23:37:48Z

Author Wang, Xiaolei. author. Gao, Xiao-Zhi. author. Zenger, Kai. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08356-8
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Melin, Patricia. editor. Castillo, Oscar. editor. Kacprzyk, Janusz. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-17747-2
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Handa, Hisashi. editor. Ishibuchi, Hisao. editor. Ong, Yew-Soon. editor. Tan, Kay-Chen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-13356-0
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Argüelles Méndez, Luis. author. Seising, Rudolf. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-18606-1
Format: Electronic Resources
Availability Online Library~1

Encyclopedia of Systems and Control

2026-01-17T23:37:48Z

Author Baillieul, John. editor. Samad, Tariq. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4471-5058-9
Format: Electronic Resources
Availability Online Library~1

Evolutionary Constrained Optimization

2026-01-17T23:37:48Z

Author Datta, Rituparna. editor. Deb, Kalyanmoy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-81-322-2184-5
Format: Electronic Resources
Availability Online Library~1

Probability Collectives A Distributed Multi-agent System Approach for Optimization

2026-01-17T23:37:48Z

Author Kulkarni, Anand Jayant. author. Tai, Kang. author. Abraham, Ajith. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-16000-9
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Nadin, Mihai. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-19446-2
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Le Thi, Hoai An. editor. Nguyen, Ngoc Thanh. editor. Do, Tien Van. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-17996-4
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Goertzel, Ben. editor. Orseau, Laurent. editor. Snaider, Javier. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-09274-4
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Colinet, Margot. editor. Katrenko, Sophia. editor. Rendsvig, Rasmus K. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44116-9
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Morrill, Glyn. editor. Muskens, Reinhard. editor. Osswald, Rainer. editor. Richter, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44121-3
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Giannakopoulou, Dimitra. editor. Kroening, Daniel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-12154-3
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Croitoru, Madalina. editor. Rudolph, Sebastian. editor. Woltran, Stefan. editor. (orcid)0000-0003-1594-8972 Gonzales, Christophe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-04534-4
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Höfner, Peter. editor. Jipsen, Peter. editor. Kahl, Wolfram. editor. Müller, Martin Eric. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-06251-8
Format: Electronic Resources
Availability Online Library~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-17T23:37:48Z

Author Demri, Stéphane. editor. Kapur, Deepak. editor. Weidenbach, Christoph. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08587-6
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Cariani, Fabrizio. editor. Grossi, Davide. editor. Meheus, Joke. editor. Parent, Xavier. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08615-6
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Kryszkiewicz, Marzena. editor. Cornelis, Chris. editor. Ciucci, Davide. editor. Medina-Moreno, Jesús. editor. Motoda, Hiroshi. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08729-0
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Cornelis, Chris. editor. Kryszkiewicz, Marzena. editor. Slezak, Dominik. editor. Menasalvas Ruiz, Ernestina. editor. Bello, Rafael. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08644-6
Format: Electronic Resources
Availability Online Library~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-17T23:37:48Z

Author Nakano, Yukiko. editor. Satoh, Ken. editor. Bekki, Daisuke. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10061-6
Format: Electronic Resources
Availability Online Library~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-17T23:37:48Z

Author Koubarakis, Manolis. editor. Stamou, Giorgos. editor. Stoilos, Giorgos. editor. Horrocks, Ian. editor. Kolaitis, Phokion. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10587-1
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Fermé, Eduardo. editor. Leite, Joao. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11558-0
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Bobillo, Fernando. editor. Carvalho, Rommel N. editor. Costa, Paulo C.G. editor. d'Amato, Claudia. editor. Fanizzi, Nicola. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-13413-0
Format: Electronic Resources
Availability Online Library~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-17T23:37:48Z

Author Laurent, Anne. editor. Strauss, Olivier. editor. Bouchon-Meunier, Bernadette. editor. Yager, Ronald R. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08795-5
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Cohen, Ernie. editor. Rybalchenko, Andrey. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54108-7
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Beierle, Christoph. editor. Meghini, Carlo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-04939-7
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author van den Herik, H. Jaap. editor. Iida, Hiroyuki. editor. Plaat, Aske. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-09165-5
Format: Electronic Resources
Availability Online Library~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-17T23:37:48Z

Author Laurent, Anne. editor. Strauss, Olivier. editor. Bouchon-Meunier, Bernadette. editor. Yager, Ronald R. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08852-5
Format: Electronic Resources
Availability Online Library~1

Instance-Specific Algorithm Configuration

2026-01-17T23:37:48Z

Author Malitsky, Yuri. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11230-5
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Lutz, Carsten. editor. Thielscher, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11206-0
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Zaverucha, Gerson. editor. Santos Costa, Vítor. editor. Paes, Aline. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44923-3
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Przepiórkowski, Adam. editor. Ogrodniczuk, Maciej. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10888-9
Format: Electronic Resources
Availability Online Library~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-17T23:37:48Z

Author Klein, Gerwin. editor. Gamboa, Ruben. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08970-6
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Asher, Nicholas. editor. Soloviev, Sergei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-43742-1
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Baptista, Jorge. editor. Mamede, Nuno. editor. Candeias, Sara. editor. Paraboni, Ivandré. editor. Pardo, Thiago A.S. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-09761-9
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author 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)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-04921-2
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Glodeanu, Cynthia Vera. editor. Kaytoue, Mehdi. editor. Sacarea, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-07248-7
Format: Electronic Resources
Availability Online Library~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-17T23:37:48Z

Author Laurent, Anne. editor. Strauss, Olivier. editor. Bouchon-Meunier, Bernadette. editor. Yager, Ronald R. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08855-6
Format: Electronic Resources
Availability Online Library~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-17T23:37:48Z

Author Watt, Stephen M. editor. Sexton, Alan. editor. Davenport, James H. editor. Sojka, Petr. editor. Urban, Josef. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08434-3
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author van der Gaag, Linda C. editor. Feelders, Ad J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11433-0
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Mendes, Emilia. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54157-5
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Shi, Zhongzhi. editor. Wu, Zhaohui. editor. Leake, David. editor. Sattler, Uli. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44980-6
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Davis, Brian. editor. Kaljurand, Kaarel. editor. Kuhn, Tobias. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10223-8
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Bulling, Nils. editor. van der Torre, Leendert. editor. Villata, Serena. editor. (orcid)0000-0003-3495-493X Jamroga, Wojtek. editor. Vasconcelos, Wamberto. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-09764-0
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Kohlenbach, Ulrich. editor. Barceló, Pablo. editor. de Queiroz, Ruy J G B. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44145-9
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author O'Sullivan, Barry. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10428-7
Format: Electronic Resources
Availability Online Library~1

Belief Revision in Non-Classical Logics

2026-01-17T23:37:48Z

Author Ribeiro, Márcio Moretto. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330925.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4186-0
Format: Electronic Resources
Availability Online Library~1

Adaptive Dynamic Programming for Control Algorithms and Stability

2026-01-17T23:37:48Z

Author Zhang, Huaguang. author. Liu, Derong. author. Luo, Yanhong. author. Wang, Ding. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331049.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4757-2
Format: Electronic Resources
Availability Online Library~1

Economic Modeling Using Artificial Intelligence Methods

2026-01-17T23:37:48Z

Author Marwala, Tshilidzi. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331116.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5010-7
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Subrahmanian, V.S. author. Mannes, Aaron. author. Sliva, Amy. author. Shakarian, Jana. author. Dickerson, John P. author.
Preferred Shelf Number ONLINE(331582.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-4769-6
Format: Electronic Resources
Availability Online Library~1

Search Theory A Game Theoretic Perspective

2026-01-17T23:37:48Z

Author Alpern, Steve. editor. Fokkink, Robbert. editor. Gąsieniec, Leszek. editor. Lindelauf, Roy. editor. Subrahmanian, V.S. editor.
Preferred Shelf Number ONLINE(332129.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-6825-7
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Erwig, Martin. editor. Paige, Richard F. editor. Wyk, Eric. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332934.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02654-1
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Bertacco, Valeria. editor. Legay, Axel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332962.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03077-7
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Masulli, Francesco. editor. Pasi, Gabriella. editor. Yager, Ronald. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332970.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03200-9
Format: Electronic Resources
Availability Online Library~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-17T23:37:48Z

Author Baldoni, Matteo. editor. Baroglio, Cristina. editor. Boella, Guido. editor. Micalizio, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332979.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03524-6
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Gonthier, Georges. editor. Norrish, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332982.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03545-1
Format: Electronic Resources
Availability Online Library~1

Analyzing Evolutionary Algorithms The Computer Science Perspective

2026-01-17T23:37:48Z

Author Jansen, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333075.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-17339-4
Format: Electronic Resources
Availability Online Library~1

Knowledge Spaces Applications in Education

2026-01-17T23:37:48Z

Author Falmagne, Jean-Claude. editor. Albert, Dietrich. editor. Doble, Christopher. editor. Eppstein, David. editor. Hu, Xiangen. editor.
Preferred Shelf Number ONLINE(333964.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35329-1
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Ermolayev, Vadim. editor. Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Spivakovsky, Aleksander. editor. Zholtkevych, Grygoriy. editor.
Preferred Shelf Number ONLINE(334041.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35737-4
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Giacobazzi, Roberto. editor. Berdine, Josh. editor. Mastroeni, Isabella. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334073.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35873-9
Format: Electronic Resources
Availability Online Library~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-17T23:37:48Z

Author Bobillo, Fernando. editor. Costa, Paulo C. G. editor. d’Amato, Claudia. editor. Fanizzi, Nicola. editor. Laskey, Kathryn B. editor.
Preferred Shelf Number ONLINE(334092.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35975-0
Format: Electronic Resources
Availability Online Library~1

Transactions on Rough Sets XVI

2026-01-17T23:37:48Z

Author Peters, James F. editor. Skowron, Andrzej. editor. Ramanna, Sheela. editor. Suraj, Zbigniew. editor. Wang, Xin. editor.
Preferred Shelf Number ONLINE(334220.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36505-8
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334355.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37064-9
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Yin, Zhixiang. editor. Pan, Linqiang. editor. Fang, Xianwen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334443.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37502-6
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Guo, Chengan. editor. Hou, Zeng-Guang. editor. Zeng, Zhigang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334723.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39068-5
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Järvisalo, Matti. editor. Van Gelder, Allen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334724.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39071-5
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Mauri, Giancarlo. editor. Dennunzio, Alberto. editor. Manzoni, Luca. editor. Porreca, Antonio E. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334725.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39074-6
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Gaag, Linda C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334728.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39091-3
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Rudolph, Sebastian. editor. Gottlob, Georg. editor. Horrocks, Ian. editor. Harmelen, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334848.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39784-4
Format: Electronic Resources
Availability Online Library~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-17T23:37:48Z

Author Motomura, Yoichi. editor. Butler, Alastair. editor. Bekki, Daisuke. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334868.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39931-2
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Libkin, Leonid. editor. Kohlenbach, Ulrich. editor. Queiroz, Ruy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334875.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39992-3
Format: Electronic Resources
Availability Online Library~1

Contemporary Evolution Strategies

2026-01-17T23:37:48Z

Author Bäck, Thomas. author. Foussette, Christophe. author. Krause, Peter. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334897.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40137-4
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Galmiche, Didier. editor. Larchey-Wendling, Dominique. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334962.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40537-2
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Cabalar, Pedro. editor. Son, Tran Cao. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334969.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40564-8
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Karhumäki, Juhani. editor. Lepistö, Arto. editor. Zamboni, Luca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334973.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40579-2
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Duchier, Denys. editor. Parmentier, Yannick. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335125.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41578-4
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Leite, João. editor. Son, Tran Cao. editor. Torroni, Paolo. editor. Torre, Leon. editor. Woltran, Stefan. editor.
Preferred Shelf Number ONLINE(334979.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40624-9
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Krasnopolsky, Vladimir M. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(336152.1)
Electronic Access http://dx.doi.org/10.1007/978-94-007-6073-8
Format: Electronic Resources
Availability Online Library~1

Multidimensional Data Visualization Methods and Applications

2026-01-17T23:37:48Z

Author Dzemyda, Gintautas. author. Kurasova, Olga. author. Žilinskas, Julius. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330795.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4419-0236-8
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Kjærulff, Uffe B. author. Madsen, Anders L. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331677.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-5104-4
Format: Electronic Resources
Availability Online Library~1

Outlier Analysis

2026-01-17T23:37:48Z

Author Aggarwal, Charu C. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332026.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-6396-2
Format: Electronic Resources
Availability Online Library~1

A General Framework for Reasoning On Inconsistency

2026-01-17T23:37:48Z

Author Martinez, Maria Vanina. author. Molinaro, Cristian. author. Subrahmanian, V.S. author. Amgoud, Leila. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332107.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-6750-2
Format: Electronic Resources
Availability Online Library~1

An Introduction to Statistical Learning with Applications in R

2026-01-17T23:37:48Z

Author James, Gareth. author. Witten, Daniela. author. Hastie, Trevor. author. Tibshirani, Robert. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332216.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-7138-7
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Schütze, Oliver. editor. Coello Coello, Carlos A. editor. Tantar, Alexandru-Adrian. editor. Tantar, Emilia. editor. Bouvry, Pascal. editor.
Preferred Shelf Number ONLINE(333444.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-31519-0
Format: Electronic Resources
Availability Online Library~1

The Nexus between Artificial Intelligence and Economics

2026-01-17T23:37:48Z

Author van de Gevel, Ad. J. W. author. Noussair, Charles N. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333734.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-33648-5
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Lodaya, Kamal. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334105.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36039-8
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Czarnecki, Krzysztof. editor. Hedin, Görel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334120.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36089-3
Format: Electronic Resources
Availability Online Library~1

The Language of Mathematics A Linguistic and Philosophical Investigation

2026-01-17T23:37:48Z

Author Ganesalingam, Mohan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334341.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37012-0
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Bonacina, Maria Paola. editor. Stickel, Mark E. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334264.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36675-8
Format: Electronic Resources
Availability Online Library~1

Ontology Matching

2026-01-17T23:37:48Z

Author Euzenat, Jérôme. author. Shvaiko, Pavel. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334659.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38721-0
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Ida, Tetsuo. editor. Fleuriot, Jacques. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334987.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40672-0
Format: Electronic Resources
Availability Online Library~1

Reactive Kripke Semantics

2026-01-17T23:37:48Z

Author Gabbay, Dov M. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335100.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41389-6
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Guo, Chengan. editor. Hou, Zeng-Guang. editor. Zeng, Zhigang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334722.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39065-4
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Kühnberger, Kai-Uwe. editor. Rudolph, Sebastian. editor. Wang, Pei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334814.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39521-5
Format: Electronic Resources
Availability Online Library~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-17T23:37:48Z

Author Biere, Armin. editor. Nahir, Amir. editor. Vos, Tanja. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334820.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39611-3
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Blazy, Sandrine. editor. Paulin-Mohring, Christine. editor. Pichardie, David. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334825.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39634-2
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Huang, De-Shuang. editor. Gupta, Phalguni. editor. Wang, Ling. editor. Gromiha, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334835.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39678-6
Format: Electronic Resources
Availability Online Library~1

Infobiotics Information in Biotic Systems

2026-01-17T23:37:48Z

Author Manca, Vincenzo. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334148.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36223-1
Format: Electronic Resources
Availability Online Library~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-17T23:37:48Z

Author Bezhanishvili, Guram. editor. Löbner, Sebastian. editor. Marra, Vincenzo. editor. Richter, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334337.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36976-6
Format: Electronic Resources
Availability Online Library~1

Programming Logics Essays in Memory of Harald Ganzinger

2026-01-17T23:37:48Z

Author Voronkov, Andrei. editor. Weidenbach, Christoph. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334468.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37651-1
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Bonacina, Maria Paola. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334626.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38574-2
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Albert, Elvira. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334552.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38197-3
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Cellier, Peggy. editor. Distel, Felix. editor. Ganter, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334580.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38317-5
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Riguzzi, Fabrizio. editor. Železný, Filip. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334673.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38812-5
Format: Electronic Resources
Availability Online Library~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-17T23:37:48Z

Author Carette, Jacques. editor. Aspinall, David. editor. Lange, Christoph. editor. Sojka, Petr. editor. Windsteiger, Wolfgang. editor.
Preferred Shelf Number ONLINE(334781.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39320-4
Format: Electronic Resources
Availability Online Library~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-17T23:37:48Z

Author Morrill, Glyn. editor. Nederhof, Mark-Jan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334877.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39998-5
Format: Electronic Resources
Availability Online Library~1

Combinatorial Search: From Algorithms to Systems

2026-01-17T23:37:48Z

Author Hamadi, Youssef. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335109.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41482-4
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Fontaine, Pascal. editor. Ringeissen, Christophe. editor. Schmidt, Renate A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335023.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40885-4
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Jain, Sanjay. editor. Munos, Rémi. editor. Stephan, Frank. editor. Zeugmann, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335030.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40935-6
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Timm, Ingo J. editor. Thimm, Matthias. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335031.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40942-4
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Brézillon, Patrick. editor. Blackburn, Patrick. editor. Dapoigny, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335034.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40972-1
Format: Electronic Resources
Availability Online Library~1

Empirical Inference Festschrift in Honor of Vladimir N. Vapnik

2026-01-17T23:37:48Z

Author Schölkopf, Bernhard. editor. Luo, Zhiyuan. editor. Vovk, Vladimir. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335060.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41136-6
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author McMillan, Ken. editor. Middeldorp, Aart. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335196.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-45221-5
Format: Electronic Resources
Availability Online Library~1

Paraconsistency: Logic and Applications

2026-01-17T23:37:48Z

Author Tanaka, Koji. editor. Berto, Francesco. editor. Mares, Edwin. editor. Paoli, Francesco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335759.1)
Electronic Access http://dx.doi.org/10.1007/978-94-007-4438-7
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Buscema, Massimo. editor. Tastle, William J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335849.1)
Electronic Access http://dx.doi.org/10.1007/978-94-007-4914-6
Format: Electronic Resources
Availability Online Library~1

Criminal Justice Forecasts of Risk A Machine Learning Approach

2026-01-17T23:37:48Z

Author Berk, Richard. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-3085-8
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Bezhanishvili, Nick. editor. Goranko, Valentin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31485-8
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Moot, Richard. author. Retoré, Christian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31555-8
Format: Electronic Resources
Availability Online Library~1

The Complexity of Valued Constraint Satisfaction Problems

2026-01-17T23:37:48Z

Author Živný, Stanislav. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33974-5
Format: Electronic Resources
Availability Online Library~1

Markov Networks in Evolutionary Computation

2026-01-17T23:37:48Z

Author Shakya, Siddhartha. editor. Santana, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28900-2
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Takahashi, Ricardo H. C. editor. Deb, Kalyanmoy. editor. Wanner, Elizabeth F. editor. Greco, Salvatore. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19893-9
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Blackburn, Patrick. editor. Ditmarsch, Hans. editor. Manzano, María. editor. Soler-Toscano, Fernando. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21350-2
Format: Electronic Resources
Availability Online Library~1

Logic and Games on Automatic Structures Playing with Quantifiers and Decompositions

2026-01-17T23:37:48Z

Author Kaiser, Łukasz. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22807-0
Format: Electronic Resources
Availability Online Library~1

Safe Adaptive Control Data-Driven Stability Analysis and Robust Synthesis

2026-01-17T23:37:48Z

Author Stefanovic, Margareta. author. Safonov, Michael G. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84996-453-1
Format: Electronic Resources
Availability Online Library~1

Design of Modern Heuristics Principles and Application

2026-01-17T23:37:48Z

Author Rothlauf, Franz. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72962-4
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Stanković, Radomir S. author. Astola, Jaakko. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11682-7
Format: Electronic Resources
Availability Online Library~1

Geocomputation, Sustainability and Environmental Planning

2026-01-17T23:37:48Z

Author Murgante, Beniamino. editor. Borruso, Giuseppe. editor. Lapucci, Alessandra. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19733-8
Format: Electronic Resources
Availability Online Library~1

Conditionals and Modularity in General Logics

2026-01-17T23:37:48Z

Author Gabbay, Dov M. author. Schlechta, Karl. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19068-1
Format: Electronic Resources
Availability Online Library~1

Hybrid Optimization The Ten Years of CPAIOR

2026-01-17T23:37:48Z

Author van Hentenryck, Pascal. editor. Milano, Michela. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-1644-0
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Ashish, Naveen. editor. Sheth, Amit P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-9446-2
Format: Electronic Resources
Availability Online Library~1

Cognitive Reasoning A Formal Approach

2026-01-17T23:37:48Z

Author Gergely, Tamás. author. Anshakov, Oleg M. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68875-4
Format: Electronic Resources
Availability Online Library~1

Unified Computational Intelligence for Complex Systems

2026-01-17T23:37:48Z

Author Seiffertt, John. author. Wunsch, Donald C. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03180-9
Format: Electronic Resources
Availability Online Library~1

Natural Deduction, Hybrid Systems and Modal Logics

2026-01-17T23:37:48Z

Author Indrzejczak, Andrzej. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-90-481-8785-0
Format: Electronic Resources
Availability Online Library~1

Scientific Data Mining and Knowledge Discovery Principles and Foundations

2026-01-17T23:37:48Z

Author Gaber, Mohamed Medhat. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02788-8
Format: Electronic Resources
Availability Online Library~1

Logical Tools for Handling Change in Agent-Based Systems

2026-01-17T23:37:48Z

Author Gabbay, Dov M. author. Schlechta, Karl. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04407-6
Format: Electronic Resources
Availability Online Library~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-17T23:37:48Z

Author Locarek-Junge, Hermann. editor. Weihs, Claus. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-10745-0
Format: Electronic Resources
Availability Online Library~1

Bioinspired Computation in Combinatorial Optimization Algorithms and Their Computational Complexity

2026-01-17T23:37:48Z

Author Neumann, Frank. author. Witt, Carsten. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16544-3
Format: Electronic Resources
Availability Online Library~1

Handbook of Group Decision and Negotiation

2026-01-17T23:37:48Z

Author Kilgour, D. Marc. editor. Eden, Colin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-90-481-9097-3
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence Methods in the Environmental Sciences

2026-01-17T23:37:48Z

Author Haupt, Sue Ellen. editor. Pasini, Antonello. editor. Marzban, Caren. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-9119-3
Format: Electronic Resources
Availability Online Library~1

Proof Theory for Fuzzy Logics

2026-01-17T23:37:48Z

Author Metcalfe, George. author. Olivetti, Nicola. author. Gabbay, Dov. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-9409-5
Format: Electronic Resources
Availability Online Library~1

Convergence and Knowledge Processing in Multi-Agent Systems

2026-01-17T23:37:48Z

Author Chli, Maria. editor. Wilde, Philippe de. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84882-063-0
Format: Electronic Resources
Availability Online Library~1

Geocomputation and Urban Planning

2026-01-17T23:37:48Z

Author Murgante, Beniamino. editor. Borruso, Giuseppe. editor. Lapucci, Alessandra. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-89930-3
Format: Electronic Resources
Availability Online Library~1

A Missing Link in Cybernetics Logic and Continuity

2026-01-17T23:37:48Z

Author Andrew, Alex M. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-75164-1
Format: Electronic Resources
Availability Online Library~1

Handbook of Weighted Automata

2026-01-17T23:37:48Z

Author Droste, Manfred. editor. Kuich, Werner. editor. Vogler, Heiko. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01492-5
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Mamoulis, Nikos. editor. Seidl, Thomas. editor. Pedersen, Torben Bach. editor. Torp, Kristian. editor. Assent, Ira. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02982-0
Format: Electronic Resources
Availability Online Library~1

Stochastic Coalgebraic Logic

2026-01-17T23:37:48Z

Author Doberkat, Ernst-Erich. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02995-0
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Hastie, Trevor. author. Tibshirani, Robert. author. Friedman, Jerome. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-84858-7
Format: Electronic Resources
Availability Online Library~1

Algorithms in Invariant Theory

2026-01-17T23:37:48Z

Author Sturmfels, Bernd. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-211-77417-5
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Kaminski, Michael. editor. Martini, Simone. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-87531-4
Format: Electronic Resources
Availability Online Library~1

Bayesian Networks and Influence Diagrams A Guide to Construction and Analysis

2026-01-17T23:37:48Z

Author Kjærulff, Uffe B. author. Madsen, Anders L. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-74101-7
Format: Electronic Resources
Availability Online Library~1

Time-Dependent Scheduling

2026-01-17T23:37:48Z

Author Gawiejnowicz, Stanisław. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69446-5
Format: Electronic Resources
Availability Online Library~1

Advances in Metaheuristics for Hard Optimization

2026-01-17T23:37:48Z

Author Siarry, Patrick. editor. Michalewicz, Zbigniew. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72960-0
Format: Electronic Resources
Availability Online Library~1

Multiobjective Problem Solving from Nature From Concepts to Applications

2026-01-17T23:37:48Z

Author Knowles, Joshua. editor. Corne, David. editor. Deb, Kalyanmoy. editor. Chair, Deva Raj. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72964-8
Format: Electronic Resources
Availability Online Library~1

Design by Evolution Advances in Evolutionary Design

2026-01-17T23:37:48Z

Author Hingston, Philip F. editor. Barone, Luigi C. editor. Michalewicz, Zbigniew. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74111-4
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Gimpel, Henner. editor. Jennings, Nicholas R. editor. Kersten, Gregory E. editor. Ockenfels, Axel. editor. Weinhardt, Christof. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77554-6
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Kleine Büning, Hans. editor. Zhao, Xishun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-79719-7
Format: Electronic Resources
Availability Online Library~1

New Developments in Formal Languages and Applications

2026-01-17T23:37:48Z

Author Bel-Enguix, Gemma. editor. Jiménez-López, M. Dolores. editor. Martín-Vide, Carlos. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78291-9
Format: Electronic Resources
Availability Online Library~1

Artificial intelligence with uncertainty

2026-01-17T23:37:48Z

Author Li, Deyi, 1944, author. Du, Yi, 1971-
Preferred Shelf Number Q335 .L5 2008
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Advanced Intelligent Paradigms in Computer Games

2026-01-17T23:37:48Z

Author Baba, Norio. editor. Jain, Lakhmi C. editor. Handa, Hisashi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72705-7
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Marques-Silva, João. editor. Sakallah, Karem A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72788-0
Format: Electronic Resources
Availability Online Library~1

Theoretical Aspects of Local Search

2026-01-17T23:37:48Z

Author Michiels, Wil. author. Korst, Jan. author. Aarts, Emile. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-35854-1
Format: Electronic Resources
Availability Online Library~1

Uncertainty Theory

2026-01-17T23:37:48Z

Author Liu, Dr. Baoding. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73165-8
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Schweitzer, Frank. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73845-9
Format: Electronic Resources
Availability Online Library~1

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

2026-01-17T23:37:48Z

Author Duparc, Jacques. editor. Henzinger, Thomas A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74915-8
Format: Electronic Resources
Availability Online Library~1

Handbook of Spatial Logics

2026-01-17T23:37:48Z

Author Aiello, Marco. Pratt-Hartmann, Ian. Benthem, Johan. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-5587-4
Format: Electronic Resources
Availability Online Library~1

Evolutionary Algorithms for Solving Multi-Objective Problems Second Edition

2026-01-17T23:37:48Z

Author Coello, Carlos A. Coello. author. Lamont, Gary B. author. Veldhuizen, David A. Van. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-36797-2
Format: Electronic Resources
Availability Online Library~1

Uncertainty, Rationality, and Agency

2026-01-17T23:37:48Z

Author Hoek, Wiebe. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-4631-6
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings

2026-01-17T23:37:48Z

Author Biere, Armin. editor. Gomes, Carla P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11814948
Format: Electronic Resources
Availability Online Library~1