Limit Search Results
Author
SpringerLink (Online service)
(489)
Riolo, Rick. editor.
(13)
Voronkov, Andrei. editor.
(11)
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558
(8)
Roman, Dumitru. editor.
(7)
Language
Publication Date
-
Subject
Computer science.
(271)
Software engineering.
(190)
Computer Science Logic and Foundations of Programming.
(73)
Logic design.
(73)
Formal Languages and Automata Theory.
(69)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
539 Results Found Subscribe to search results
00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
1. 
Cover image for Recent Trends and Applications of Soft Computing in Engineering (RTASCE)- Sarajevo
Recent Trends and Applications of Soft Computing in Engineering (RTASCE)- Sarajevo
Author 
Duraković, Benjamin. editor. (orcid)0000-0002-3099-0354 Almisreb, Ali Abd. editor. Šutković, Jasmin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-82881-2
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Web Information Systems and Technologies 19th International Conference, WEBIST 2023, Rome, Italy, November 15-17, 2023, Revised Selected Papers
Web Information Systems and Technologies 19th International Conference, WEBIST 2023, Rome, Italy, November 15-17, 2023, Revised Selected Papers
Author 
Marchiori, Massimo. editor. García Peñalvo, Francisco. editor. (orcid)0000-0001-9987-5584 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-89621-7
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Machine Learning and Soft Computing 9th International Conference, ICMLSC 2025, Tokyo, Japan, January 24-26, 2025, Revised Selected Papers, Part I
Machine Learning and Soft Computing 9th International Conference, ICMLSC 2025, Tokyo, Japan, January 24-26, 2025, Revised Selected Papers, Part I
Author 
Huang, Letian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-6400-9
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Multivariate Analysis and Machine Learning Techniques Feature Analysis in Data Science Using Python
Multivariate Analysis and Machine Learning Techniques Feature Analysis in Data Science Using Python
Author 
Sundararajan, Srikrishnan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-0353-5
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for End-User Development 10th International Symposium, IS-EUD 2025, Munich, Germany, June 16-18, 2025, Proceedings
End-User Development 10th International Symposium, IS-EUD 2025, Munich, Germany, June 16-18, 2025, Proceedings
Author 
Santoro, Carmen. editor. (orcid)0000-0002-0556-7538 Schmidt, Albrecht. editor. (orcid)0000-0003-3890-1990 Matera, Maristella. editor. (orcid)0000-0003-0552-8624 Bellucci, Andrea. editor. (orcid)0000-0003-4035-5271 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-95452-8
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Mathematical Optimization Theory and Operations Research 24th International Conference, MOTOR 2025, Novosibirsk, Russia, July 7-11, 2025, Proceedings
Mathematical Optimization Theory and Operations Research 24th International Conference, MOTOR 2025, Novosibirsk, Russia, July 7-11, 2025, Proceedings
Author 
Kochetov, Yury. editor. (orcid)0000-0001-7123-8647 Khachay, Michael. editor. (orcid)0000-0003-3555-0080 Eremeev, Anton. editor. (orcid)0000-0001-5289-7874 Pardalos, Panos. editor. (orcid)0000-0001-9623-8053 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-97077-1
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Engineering Information Systems with Large Language Models
Engineering Information Systems with Large Language Models
Author 
De Luzi, Francesca. editor. (orcid)0000-0002-9896-2528 Monti, Flavia. editor. (orcid)0000-0003-3349-7861 Mecella, Massimo. editor. (orcid)0000-0002-9730-8882 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-92285-5
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Generative AI for the Medical Student Core Concepts to Clinical Practice
Generative AI for the Medical Student Core Concepts to Clinical Practice
Author 
Quinn, Campion. author. (orcid)0009-0008-8830-088X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-032-01613-3
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Leveraging GenAI for Machine Learning Education in Public Health ChatGPT and R
Leveraging GenAI for Machine Learning Education in Public Health ChatGPT and R
Author 
Leung, Ricky. author. (orcid)0000-0002-2852-6771 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-032-08677-8
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Computational Science and Computational Intelligence 11th International Conference, CSCI 2024, Las Vegas, NV, USA, December 11-13, 2024, Proceedings, Part VI
Computational Science and Computational Intelligence 11th International Conference, CSCI 2024, Las Vegas, NV, USA, December 11-13, 2024, Proceedings, Part VI
Author 
Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 Shenavarmasouleh, Farzan. editor. (orcid)0000-0001-5485-232X Amirian, Soheyla. editor. (orcid)0000-0002-7517-0739 Ghareh Mohammadi, Farid. editor. (orcid)0000-0002-8759-693X
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-95130-5
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Foundations of Information and Knowledge Systems 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings
Foundations of Information and Knowledge Systems 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings
Author 
Meier, Arne. editor. (orcid)0000-0002-8061-5376 Ortiz, Magdalena. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-56940-1
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Python for Data Science
Python for Data Science
Author 
Muddana, A. Lakshmi. author. Vinayakam, Sandhya. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-52473-8
Format: 
Availability 
Online Library~1
Available:
Copies:
13. 
Cover image for Reliability Engineering for Industrial Processes An Analytics Perspective
Reliability Engineering for Industrial Processes An Analytics Perspective
Author 
Kapur, P. K. editor. (orcid)0000-0001-8006-5952 Pham, Hoang. editor. Singh, Gurinder. editor. (orcid)0000-0002-7827-1578 Kumar, Vivek. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-55048-5
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Relational and Algebraic Methods in Computer Science 21st International Conference, RAMiCS 2024, Prague, Czech Republic, August 19-22, 2024, Proceedings
Relational and Algebraic Methods in Computer Science 21st International Conference, RAMiCS 2024, Prague, Czech Republic, August 19-22, 2024, Proceedings
Author 
Fahrenberg, Uli. editor. Fussner, Wesley. editor. Glück, Roland. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-68279-7
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Artificial Intelligence, Big Data, IOT and Block Chain in Healthcare: From Concepts to Applications Volume 1
Artificial Intelligence, Big Data, IOT and Block Chain in Healthcare: From Concepts to Applications Volume 1
Author 
Farhaoui, Yousef. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-65014-7
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Implementation and Application of Automata 28th International Conference, CIAA 2024, Akita, Japan, September 3-6, 2024, Proceedings
Implementation and Application of Automata 28th International Conference, CIAA 2024, Akita, Japan, September 3-6, 2024, Proceedings
Author 
Fazekas, Szilárd Zsolt. editor. (orcid)0000-0001-5319-0395 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-71112-1
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Engineering Multi-Agent Systems 12th International Workshop, EMAS 2024, Auckland, New Zealand, May 6-7, 2024, Revised Selected Papers
Engineering Multi-Agent Systems 12th International Workshop, EMAS 2024, Auckland, New Zealand, May 6-7, 2024, Revised Selected Papers
Author 
Briola, Daniela. editor. (orcid)0000-0003-1994-8929 Cardoso, Rafael C. editor. (orcid)0000-0001-6666-6954 Logan, Brian. editor. (orcid)0000-0003-0648-7107 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-71152-7
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Choreomata : performance and performativity after AI
Choreomata : performance and performativity after AI
Author 
Trillo, Roberto Alonso, 1983- editor. Poliks, Marek, editor.
Preferred Shelf Number 
PN1584
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003312338
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Integrating Blockchain and Artificial Intelligence for Industry 4.0 Innovations
Integrating Blockchain and Artificial Intelligence for Industry 4.0 Innovations
Author 
Goundar, Sam. editor. Anandan, R. editor. (orcid)0000-0001-5461-1040 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-35751-0
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for ICT Education 52nd Annual Conference of the Southern African Computer Lecturers' Association, SACLA 2023, Gauteng, South Africa, July 19-21, 2023, Revised Selected Papers
ICT Education 52nd Annual Conference of the Southern African Computer Lecturers' Association, SACLA 2023, Gauteng, South Africa, July 19-21, 2023, Revised Selected Papers
Author 
Van Rensburg, Henri Emil. editor. Snyman, Dirk Petrus. editor. Drevin, Lynette. editor. Drevin, Günther Richard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-48536-7
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings
Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings
Author 
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-46002-9
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Tools and Methods of Program Analysis 6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021, Revised Selected Papers
Tools and Methods of Program Analysis 6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021, Revised Selected Papers
Author 
Yavorskiy, Rostislav. editor. Cavalli, Ana Rosa. editor. Kalenkova, Anna. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-50423-5
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Recent Advances in Computational Optimization Selected Papers from the WCO 2022 - Workshop on Computational Optimization
Recent Advances in Computational Optimization Selected Papers from the WCO 2022 - Workshop on Computational Optimization
Author 
Fidanova, Stefka. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-57320-0
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Combinatorial Optimization 8th International Symposium, ISCO 2024, La Laguna, Tenerife, Spain, May 22-24, 2024, Revised Selected Papers
Combinatorial Optimization 8th International Symposium, ISCO 2024, La Laguna, Tenerife, Spain, May 22-24, 2024, Revised Selected Papers
Author 
Basu, Amitabh. editor. (orcid)0000-0002-1070-2626 Mahjoub, Ali Ridha. editor. (orcid)0000-0002-1079-1892 Salazar González, Juan José. editor. (orcid)0000-0001-5683-0271 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-60924-4
Format: 
Availability 
Online Library~1
Available:
Copies:
25. 
Cover image for Mathematical Optimization Theory and Operations Research 23rd International Conference, MOTOR 2024, Omsk, Russia, June 30-July 6, 2024, Proceedings
Mathematical Optimization Theory and Operations Research 23rd International Conference, MOTOR 2024, Omsk, Russia, June 30-July 6, 2024, Proceedings
Author 
Eremeev, Anton. editor. (orcid)0000-0001-5289-7874 Khachay, Michael. editor. (orcid)0000-0003-3555-0080 Kochetov, Yury. editor. (orcid)0000-0001-7123-8647 Mazalov, Vladimir. editor. (orcid)0000-0003-2262-2620 Pardalos, Panos. editor. (orcid)0000-0001-9623-8053
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-62792-7
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Unconventional Computation and Natural Computation 21st International Conference, UCNC 2024, Pohang, South Korea, June 17-21, 2024, Proceedings
Unconventional Computation and Natural Computation 21st International Conference, UCNC 2024, Pohang, South Korea, June 17-21, 2024, Proceedings
Author 
Cho, Da-Jung. editor. (orcid)0000-0002-5265-8520 Kim, Jongmin. editor. (orcid)0000-0002-2713-1006 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-63742-1
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Construct, Merge, Solve & Adapt A Hybrid Metaheuristic for Combinatorial Optimization
Construct, Merge, Solve & Adapt A Hybrid Metaheuristic for Combinatorial Optimization
Author 
Blum, Christian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-60103-3
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I
Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I
Author 
Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Heule, Marijn J.H. editor. (orcid)0000-0002-5587-8801 Schmidt, Renate A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-63498-7
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II
Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II
Author 
Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Heule, Marijn J.H. editor. (orcid)0000-0002-5587-8801 Schmidt, Renate A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-63501-4
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Internet Modeling with Julia Models, Algorithms and Programs
Internet Modeling with Julia Models, Algorithms and Programs
Author 
Hofmann, Ulrich. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-44692-5
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Diagrammatic Representation and Inference 14th International Conference, Diagrams 2024, Münster, Germany, September 27 - October 1, 2024, Proceedings
Diagrammatic Representation and Inference 14th International Conference, Diagrams 2024, Münster, Germany, September 27 - October 1, 2024, Proceedings
Author 
Lemanski, Jens. editor. (orcid)0000-0003-3661-4752 Johansen, Mikkel Willum. editor. (orcid)0000-0003-0454-2678 Manalo, Emmanuel. editor. (orcid)0000-0001-6470-4021 Viana, Petrucio. editor. (orcid)0000-0002-3517-6706 Bhattacharjee, Reetu. editor. (orcid)0000-0003-0720-4973
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-71291-3
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Deep Generative Modeling
Deep Generative Modeling
Author 
Tomczak, Jakub M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-64087-2
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Evolutionary Artificial Intelligence Proceedings of ICEAI 2023
Evolutionary Artificial Intelligence Proceedings of ICEAI 2023
Author 
Asirvatham, David. editor. Gonzalez-Longatt, Francisco M. editor. Falkowski-Gilski, Przemyslaw. editor. Kanthavel, R. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-8438-1
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Human and Artificial Rationalities Second International Conference, HAR 2023, Paris, France, September 19-22, 2023, Proceedings
Human and Artificial Rationalities Second International Conference, HAR 2023, Paris, France, September 19-22, 2023, Proceedings
Author 
Baratgin, Jean. editor. (orcid)0000-0001-9566-486X Jacquet, Baptiste. editor. (orcid)0000-0001-5310-2789 Yama, Hiroshi. editor. (orcid)0000-0003-1612-3550 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-55245-8
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Advances in Optimization and Applications 14th International Conference, OPTIMA 2023, Petrovac, Montenegro, September 18-22, 2023, Revised Selected Papers
Advances in Optimization and Applications 14th International Conference, OPTIMA 2023, Petrovac, Montenegro, September 18-22, 2023, Revised Selected Papers
Author 
Olenev, Nicholas. editor. (orcid)0000-0002-1032-2455 Evtushenko, Yuri. editor. (orcid)0000-0002-6094-7808 Jaćimović, Milojica. editor. (orcid)0000-0002-7068-8563 Khachay, Michael. editor. (orcid)0000-0003-3555-0080 Malkova, Vlasta. editor. (orcid)0000-0002-7928-512X
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-48751-4
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Proceedings of International Conference on Information Technology and Applications ICITA 2023
Proceedings of International Conference on Information Technology and Applications ICITA 2023
Author 
Ullah, Abrar. editor. Anwar, Sajid. editor. (orcid)0000-0003-3393-1656 Calandra, Davide. editor. (orcid)0000-0001-5159-7167 Di Fuccio, Raffaele. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-8324-7
Format: 
Availability 
Online Library~1
Available:
Copies:
37. 
Cover image for Infrared Small Target Detection Theory, Methods, and Algorithms.
Infrared Small Target Detection Theory, Methods, and Algorithms.
Author 
Zhu, Hu. author. Pan, Yushan. author. (orcid)0000-0002-6877-3937 Deng, Lizhen. author. Xu, Guoxia. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-9799-2
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Robust Argumentation Machines First International Conference, RATIO 2024, Bielefeld, Germany, June 5-7, 2024, Proceedings
Robust Argumentation Machines First International Conference, RATIO 2024, Bielefeld, Germany, June 5-7, 2024, Proceedings
Author 
Cimiano, Philipp. editor. (orcid)0000-0002-4771-441X Frank, Anette. editor. (orcid)0000-0003-4706-9817 Kohlhase, Michael. editor. (orcid)0000-0002-9859-6337 Stein, Benno. editor. (orcid)0000-0001-9033-2217 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-63536-6
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Artificial Intelligence, Big Data, IOT and Block Chain in Healthcare: From Concepts to Applications Volume 2
Artificial Intelligence, Big Data, IOT and Block Chain in Healthcare: From Concepts to Applications Volume 2
Author 
Farhaoui, Yousef. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-65018-5
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Build AI-enhanced audio plugins with C++
Build AI-enhanced audio plugins with C++
Author 
Yee-King, Matthew John, author.
Preferred Shelf Number 
ML74.3
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003365495
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Intelligent systems of computing and informatics
Intelligent systems of computing and informatics
Author 
Karim, Samsul Ariffin Abdul, editor.
Preferred Shelf Number 
Q335
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003400387
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for LARGE LANGUAGE MODELS concepts, techniques and applications.
LARGE LANGUAGE MODELS concepts, techniques and applications.
Author 
Atkinson-Abutridy, John.
Preferred Shelf Number 
Q335
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003517245
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for GAME AI UNCOVERED. Volume one
GAME AI UNCOVERED. Volume one
Author 
Roberts, Paul (Game programmer) Dent, Nicholas (Illustrator)
Preferred Shelf Number 
GV1469.3
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003324102
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Game AI uncovered. Volume two
Game AI uncovered. Volume two
Author 
Roberts, Paul (Game programmer), editor.
Preferred Shelf Number 
GV1469.3
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003323549
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for BLOCKCHAIN AND DIGITAL TWIN ENABLED IOT NETWORKS privacy and security.
BLOCKCHAIN AND DIGITAL TWIN ENABLED IOT NETWORKS privacy and security.
Author 
Kumar, Randhir. Kumar, Prabhat. C C, Sobin.
Preferred Shelf Number 
QA76.9 .A25
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003403791
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for INTELLIGENT AUTOMATION bridging the gap between business and academia.
INTELLIGENT AUTOMATION bridging the gap between business and academia.
Author 
Myers, Marie, editor. Brace, Carol, editor. Carden, Lila, editor.
Preferred Shelf Number 
Q335
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003276128
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Quantum artificial intelligence with Qiskit.
Quantum artificial intelligence with Qiskit.
Author 
Wichert, Andrzej, author.
Preferred Shelf Number 
Q335
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003374404
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Deep learning : from big data to artificial intelligence with R
Deep learning : from big data to artificial intelligence with R
Author 
Tuffery, Stéphane, author.
Preferred Shelf Number 
Q325.73 .T84 2023
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119845041
Format: 
Availability 
Online Library~1
Available:
Copies:
49. 
Cover image for Serverless Computing: Principles and Paradigms
Serverless Computing: Principles and Paradigms
Author 
Krishnamurthi, Rajalakshmi. editor. Kumar, Adarsh. editor. Gill, Sukhpal Singh. editor. Buyya, Rajkumar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-26633-1
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Computational Intelligence and Mathematics for Tackling Complex Problems 4
Computational Intelligence and Mathematics for Tackling Complex Problems 4
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: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Real Life Applications of Multiple Criteria Decision Making Techniques in Fuzzy Domain
Real Life Applications of Multiple Criteria Decision Making Techniques in Fuzzy Domain
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: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Foundation, architecture, and prototyping of humanized AI a new constructivist approach
Foundation, architecture, and prototyping of humanized AI a new constructivist approach
Author 
Chang, Mark.
Preferred Shelf Number 
Q335
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003392422
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for AI for physics
AI for physics
Author 
Knecht, Volker, author.
Preferred Shelf Number 
QC52 .K54 2023
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003245186
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Computational Mechanics with Deep Learning An Introduction
Computational Mechanics with Deep Learning An Introduction
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: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Transactions on Intelligent Welding Manufacturing Volume IV No. 2 2020
Transactions on Intelligent Welding Manufacturing Volume IV No. 2 2020
Author 
Chen, Shanben. editor. Zhang, Yuming. editor. Feng, Zhili. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-6149-6
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Distributed Computing and Artificial Intelligence, 19th International Conference
Distributed Computing and Artificial Intelligence, 19th International Conference
Author 
Omatu, Sigeru. editor. Mehmood, Rashid. editor. Sitek, Pawel. editor. Cicerone, Serafino. editor. Rodríguez, Sara. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-20859-1
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Engineering Mathematics and Computing
Engineering Mathematics and Computing
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: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Informatics in Control, Automation and Robotics 18th International Conference, ICINCO 2021 Lieusaint - Paris, France, July 6-8, 2021, Revised Selected Papers
Informatics in Control, Automation and Robotics 18th International Conference, ICINCO 2021 Lieusaint - Paris, France, July 6-8, 2021, Revised Selected Papers
Author 
Gusikhin, Oleg. editor. Madani, Kurosh. editor. Nijmeijer, Henk. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-26474-0
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Logic: Reference Book for Computer Scientists The 2nd Revised, Modified, and Enlarged Edition of "Logics for Computer and Data Sciences, and Artificial Intelligence"
Logic: Reference Book for Computer Scientists The 2nd Revised, Modified, and Enlarged Edition of "Logics for Computer and Data Sciences, and Artificial Intelligence"
Author 
Polkowski, Lech T. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-42034-4
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Methodologies and Intelligent Systems for Technology Enhanced Learning, 12th International Conference
Methodologies and Intelligent Systems for Technology Enhanced Learning, 12th International Conference
Author 
Temperini, Marco. editor. Scarano, Vittorio. editor. Marenzi, Ivana. editor. Kravcik, Milos. editor. Popescu, Elvira. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-20617-7
Format: 
Availability 
Online Library~1
Available:
Copies:
61. 
Cover image for Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing
Author 
Lee, Roger. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-19604-1
Format: 
Availability 
Online Library~1
Available:
Copies:
62. 
Cover image for Hidden in white sight : how AI empowers and deepens systemic racism
Hidden in white sight : how AI empowers and deepens systemic racism
Author 
Lawrence, Calvin (Computer scientist), author.
Preferred Shelf Number 
Q335
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003368755
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
63. 
Cover image for Artificial Intelligence and Blockchain in Digital Forensics
Artificial Intelligence and Blockchain in Digital Forensics
Author 
Kārttikēyan̲, Pa. Pande, Hari Mohan. Sarveshwaran, Velliangiri.
Preferred Shelf Number 
HV8078.7
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003374671
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
64. 
Cover image for Artificial intelligence in games
Artificial intelligence in games
Author 
Roberts, Paul (Game programmer), author. Dent, Nicholas (Illustrator), illustrator.
Preferred Shelf Number 
QA76.76 .C672 R6327 2023 EB
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003305835
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
65. 
Cover image for AI, IoT, Big Data and Cloud Computing for Industry 4.0
AI, IoT, Big Data and Cloud Computing for Industry 4.0
Author 
Neustein, Amy. editor. Mahalle, Parikshit N. editor. Joshi, Prachi. editor. Shinde, Gitanjali Rahul. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-29713-7
Format: 
Availability 
Online Library~1
Available:
Copies:
66. 
Cover image for Advances in Mathematical Modelling, Applied Analysis and Computation Proceedings of ICMMAAC 2021
Advances in Mathematical Modelling, Applied Analysis and Computation Proceedings of ICMMAAC 2021
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: 
Availability 
Online Library~1
Available:
Copies:
67. 
Cover image for International Conference on Innovative Computing and Communications Proceedings of ICICC 2023, Volume 1
International Conference on Innovative Computing and Communications Proceedings of ICICC 2023, Volume 1
Author 
Hassanien, Aboul Ella. editor. Castillo, Oscar. editor. Anand, Sameer. editor. Jaiswal, Ajay. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-3315-0
Format: 
Availability 
Online Library~1
Available:
Copies:
68. 
Cover image for AI for sports
AI for sports
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: 
Availability 
Online Library~1
Available:
Copies:
69. 
Cover image for Artificial intelligence and quantum computing for advanced wireless networks
Artificial intelligence and quantum computing for advanced wireless networks
Author 
Glisic, Savo G., author. Lorenzo, Beatriz, author.
Preferred Shelf Number 
Q335 .G55 2022
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119790327
Format: 
Availability 
Online Library~1
Available:
Copies:
70. 
Cover image for Optimizasyon ve MATLAB uygulamaları
Optimizasyon ve MATLAB uygulamaları
Author 
Tezel Özturan, Aysun.
Preferred Shelf Number 
QA402.5 T49 2022
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
71. 
Cover image for AI for Death and Dying
AI for Death and Dying
Author 
Savin-Baden, Maggi, 1960-
Preferred Shelf Number 
HQ1073 .S38 2022
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003108504
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
72. 
Cover image for Deep learning in gaming and animations : principles and applications
Deep learning in gaming and animations : principles and applications
Author 
Chaudhary, Vikas, editor. Sharma, Moolchand, editor. Sharma, Prerna, editor. Agarwal, Deevyankar, editor.
Preferred Shelf Number 
QA76.64
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003231530
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
73. 
Cover image for AI for creativity
AI for creativity
Author 
Hageback, Niklas, author.
Preferred Shelf Number 
Q342 .H34 2022 EB
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003194941
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
74. 
Cover image for AI for school teachers
AI for school teachers
Author 
Luckin, Rosemary, author. George, Karine, author. Cukurova, Mutlu, author.
Preferred Shelf Number 
LB1028.3
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003193173
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
75. 
Cover image for MIND, BRAIN, QUANTUM AI, AND THE MULTIVERSE
MIND, BRAIN, QUANTUM AI, AND THE MULTIVERSE
Author 
Wichert, Andrzej, author.
Preferred Shelf Number 
BF161
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003244547
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
76. 
Cover image for Intelligent system algorithms and applications in science and technology
Intelligent system algorithms and applications in science and technology
Author 
Pathak, Sunil, editor. Bhatt, Pramod Kumar, editor. Singh, Sanjay Kumar (Research professional), editor. Tripathi, Ashutosh, editor. Pandey, Pankaj Kumar, editor.
Preferred Shelf Number 
T56.24
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003187059
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
77. 
Cover image for The future of the artificial mind
The future of the artificial mind
Author 
Plebe, Alessio, author. Perconti, Pietro, author.
Preferred Shelf Number 
Q335
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/e/9781003120865
Taylor & Francis https://www.taylorfrancis.com/books/9781003120865
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
78. 
Cover image for Cognitive computing systems : applications and technological advancements
Cognitive computing systems : applications and technological advancements
Author 
Jain, Vishal, 1983- editor. Tayal, Akash, 1973- editor. Singh, Jaspreet, 1976- editor. Solanki, Arun, 1985- editor.
Preferred Shelf Number 
QA76.9 .S63
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003082033
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
79. 
Cover image for The SMART CYBER ECOSYSTEM FOR SUSTAINABLE DEVELOPMENT.
The SMART CYBER ECOSYSTEM FOR SUSTAINABLE DEVELOPMENT.
Author 
Kumar, Pardeep, 1976- Jain, Vishal, 1983- Ponnusamy, Vasaki, 1974-
Preferred Shelf Number 
Q335
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119761655
Format: 
Availability 
Online Library~1
Available:
Copies:
80. 
Cover image for AI and deep learning in biometric security : trends, potential, and challenges
AI and deep learning in biometric security : trends, potential, and challenges
Author 
Jaswal, Gaurav, editor. Kanhangad, Vivek, editor. Ramachandra, Raghavendra, editor.
Preferred Shelf Number 
TK7882 .B56
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003003489
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
81. 
Cover image for AI for cars
AI for cars
Author 
Aulinas, Josep, author. Sjafrie, Hanky, author.
Preferred Shelf Number 
TL272.5
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003099512
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
82. 
Cover image for The handbook of AI-based metaheuristics
The handbook of AI-based metaheuristics
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: 
Availability 
Online Library~1
Available:
Copies:
83. 
Cover image for Practical AI for Cybersecurity
Practical AI for Cybersecurity
Author 
Das, Ravindra.
Preferred Shelf Number 
QA76.9 .A25
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003005230
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
84. 
Cover image for Understanding artificial intelligence
Understanding artificial intelligence
Author 
Sabouret, Nicolas, author.
Preferred Shelf Number 
Q335
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003080626
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
85. 
Cover image for AI FOR GAMES
AI FOR GAMES
Author 
Millington, Ian.
Preferred Shelf Number 
QA76.76 .C672
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003124047
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
86. 
Cover image for Uygulamalı derin öğrenme
Uygulamalı derin öğrenme
Author 
Özkan, Yalçın.
Preferred Shelf Number 
Q335 O95 2021
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
87. 
Cover image for INTELLIGENT SUPPORT FOR COMPUTER SCIENCE EDUCATION pedagogy enhanced by artificial intelligence.
INTELLIGENT SUPPORT FOR COMPUTER SCIENCE EDUCATION pedagogy enhanced by artificial intelligence.
Author 
Di Eugenio, Barbara, author. Fossati, Davide, author. Green, Nick (Engineer), author.
Preferred Shelf Number 
QA76.27 .D49 2022
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781315168067
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
88. 
Cover image for Cunning machines : your pocket guide to the world of artificial intelligence
Cunning machines : your pocket guide to the world of artificial intelligence
Author 
Osiński, Jędrzej.
Preferred Shelf Number 
Q335
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003021537
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
89. 
Cover image for Keras to Kubernetes : the journey of a machine learning model to production
Keras to Kubernetes : the journey of a machine learning model to production
Author 
Rao, Dattaraj, author.
Preferred Shelf Number 
Q325.5 .R36 2019
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119564843
Format: 
Availability 
Online Library~1
Available:
Copies:
90. 
Cover image for Graphical Models for Security 5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised Selected Papers
Graphical Models for Security 5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised Selected Papers
Author 
Cybenko, George. editor. (orcid)0000-0001-7734-2912 Pym, David. editor. (orcid)0000-0002-6504-5838 Fila, Barbara. editor. (orcid)0000-0002-1824-7621 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-15465-3
Format: 
Availability 
Online Library~1
Available:
Copies:
91. 
Cover image for Data Analytics and Management in Data Intensive Domains 20th International Conference, DAMDID/RCDL 2018, Moscow, Russia, October 9–12, 2018, Revised Selected Papers
Data Analytics and Management in Data Intensive Domains 20th International Conference, DAMDID/RCDL 2018, Moscow, Russia, October 9–12, 2018, Revised Selected Papers
Author 
Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329 Stupnikov, Sergey. editor. (orcid)0000-0003-4720-8215 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-23584-0
Format: 
Availability 
Online Library~1
Available:
Copies:
92. 
Cover image for Computing and Software Science State of the Art and Perspectives
Computing and Software Science State of the Art and Perspectives
Author 
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 Woeginger, Gerhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91908-9
Format: 
Availability 
Online Library~1
Available:
Copies:
93. 
Cover image for Deep Reinforcement Learning Frontiers of Artificial Intelligence
Deep Reinforcement Learning Frontiers of Artificial Intelligence
Author 
Sewak, Mohit. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-8285-7
Format: 
Availability 
Online Library~1
Available:
Copies:
94. 
Cover image for Optimizasyon ve MATLAB uygulamaları
Optimizasyon ve MATLAB uygulamaları
Author 
Tezel Özturan, Aysun.
Preferred Shelf Number 
QA402.5 T49 2019
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
95. 
Cover image for From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
Author 
ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 Fantechi, Alessandro. editor. (orcid)0000-0002-4648-4667 Semini, Laura. editor. (orcid)0000-0001-8774-2346 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-30985-5
Format: 
Availability 
Online Library~1
Available:
Copies:
96. 
Cover image for Perspectives of System Informatics 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers
Perspectives of System Informatics 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers
Author 
Bjørner, Nikolaj. editor. Virbitskaite, Irina. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-37487-7
Format: 
Availability 
Online Library~1
Available:
Copies:
97. 
Cover image for High Performance Computing for Computational Science – VECPAR 2018 13th International Conference, São Pedro, Brazil, September 17-19, 2018, Revised Selected Papers
High Performance Computing for Computational Science – VECPAR 2018 13th International Conference, São Pedro, Brazil, September 17-19, 2018, Revised Selected Papers
Author 
Senger, Hermes. editor. (orcid)0000-0003-1273-9809 Marques, Osni. editor. Garcia, Rogerio. editor. (orcid)0000-0003-1248-528X Pinheiro de Brito, Tatiana. editor. Iope, Rogério. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-15996-2
Format: 
Availability 
Online Library~1
Available:
Copies:
98. 
Cover image for Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers
Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
99. 
Cover image for Multi-Agent Systems 16th European Conference, EUMAS 2018, Bergen, Norway, December 6–7, 2018, Revised Selected Papers
Multi-Agent Systems 16th European Conference, EUMAS 2018, Bergen, Norway, December 6–7, 2018, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
100. 
Cover image for Logics in Artificial Intelligence 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings
Logics in Artificial Intelligence 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
101. 
Cover image for Agreement Technologies 6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers
Agreement Technologies 6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers
Author 
Lujak, Marin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-17294-7
Format: 
Availability 
Online Library~1
Available:
Copies:
102. 
Cover image for Deep Learning with R
Deep Learning with R
Author 
Ghatak, Abhijit. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-5850-0
Format: 
Availability 
Online Library~1
Available:
Copies:
103. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
104. 
Cover image for Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings
Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings
Author 
Ölveczky, Peter Csaba. editor. Salaün, Gwen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-30446-1
Format: 
Availability 
Online Library~1
Available:
Copies:
105. 
Cover image for Artificial intelligence and data mining for mergers and acquisitions
Artificial intelligence and data mining for mergers and acquisitions
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: 
Availability 
Online Library~1
Available:
Copies:
106. 
Cover image for Artificial Intelligence and Games
Artificial Intelligence and Games
Author 
Yannakakis, Georgios N. author. (orcid)0000-0001-7793-1450 Togelius, Julian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-63519-4
Format: 
Availability 
Online Library~1
Available:
Copies:
107. 
Cover image for PRIMA 2017: Principles and Practice of Multi-Agent Systems 20th International Conference, Nice, France, October 30 - November 3, 2017, Proceedings
PRIMA 2017: Principles and Practice of Multi-Agent Systems 20th International Conference, Nice, France, October 30 - November 3, 2017, Proceedings
Author 
An, Bo. editor. Bazzan, Ana. editor. Leite, João. editor. Villata, Serena. editor. van der Torre, Leendert. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-69131-2
Format: 
Availability 
Online Library~1
Available:
Copies:
108. 
Cover image for Generalized Jeffrey Conditionalization A Frequentist Semantics of Partial Conditionalization
Generalized Jeffrey Conditionalization A Frequentist Semantics of Partial Conditionalization
Author 
Draheim, Dirk. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-69868-7
Format: 
Availability 
Online Library~1
Available:
Copies:
109. 
Cover image for Learning and Intelligent Optimization 11th International Conference, LION 11, Nizhny Novgorod, Russia, June 19-21, 2017, Revised Selected Papers
Learning and Intelligent Optimization 11th International Conference, LION 11, Nizhny Novgorod, Russia, June 19-21, 2017, Revised Selected Papers
Author 
Battiti, Roberto. editor. (orcid)0000-0002-0259-8603 Kvasov, Dmitri E. editor. Sergeyev, Yaroslav D. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-69404-7
Format: 
Availability 
Online Library~1
Available:
Copies:
110. 
Cover image for Conceptual Modeling 36th International Conference, ER 2017, Valencia, Spain, November 6-9, 2017, Proceedings
Conceptual Modeling 36th International Conference, ER 2017, Valencia, Spain, November 6-9, 2017, Proceedings
Author 
Mayr, Heinrich C. editor. (orcid)0000-0001-5770-8091 Guizzardi, Giancarlo. editor. (orcid)0000-0002-3452-553X Ma, Hui. editor. Pastor, Oscar. editor. (orcid)0000-0002-1320-8471 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-69904-2
Format: 
Availability 
Online Library~1
Available:
Copies:
111. 
Cover image for Mobile, Secure, and Programmable Networking Third International Conference, MSPN 2017, Paris, France, June 29-30, 2017, Revised Selected Papers
Mobile, Secure, and Programmable Networking Third International Conference, MSPN 2017, Paris, France, June 29-30, 2017, Revised Selected Papers
Author 
Bouzefrane, Samia. editor. (orcid)0000-0002-0979-1289 Banerjee, Soumya. editor. Sailhan, Françoise. editor. Boumerdassi, Selma. editor. Renault, Eric. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-67807-8
Format: 
Availability 
Online Library~1
Available:
Copies:
112. 
Cover image for Language and Automata Theory and Applications 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings
Language and Automata Theory and Applications 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings
Author 
Drewes, Frank. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-53733-7
Format: 
Availability 
Online Library~1
Available:
Copies:
113. 
Cover image for Analysis and Synthesis of Dynamic Systems with Positive Characteristics
Analysis and Synthesis of Dynamic Systems with Positive Characteristics
Author 
Shen, Jun. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-3880-8
Format: 
Availability 
Online Library~1
Available:
Copies:
114. 
Cover image for Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings
Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings
Author 
Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448 Boucheneb, Hanifa. editor. Mili, Ali. editor. Tahar, Sofiène. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66176-6
Format: 
Availability 
Online Library~1
Available:
Copies:
115. 
Cover image for Robotics in Education Research and Practices for Robotics in STEM Education
Robotics in Education Research and Practices for Robotics in STEM Education
Author 
Merdan, Munir. editor. (orcid)0000-0002-3177-7758 Lepuschitz, Wilfried. editor. Koppensteiner, Gottfried. editor. Balogh, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-42975-5
Format: 
Availability 
Online Library~1
Available:
Copies:
116. 
Cover image for Educational Robotics in the Makers Era
Educational Robotics in the Makers Era
Author 
Alimisis, Dimitris. editor. Moro, Michele. editor. Menegatti, Emanuele. editor. (orcid)0000-0001-5794-9979 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-55553-9
Format: 
Availability 
Online Library~1
Available:
Copies:
117. 
Cover image for Recent Advances in Evolutionary Multi-objective Optimization
Recent Advances in Evolutionary Multi-objective Optimization
Author 
Bechikh, Slim. editor. Datta, Rituparna. editor. Gupta, Abhishek. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-42978-6
Format: 
Availability 
Online Library~1
Available:
Copies:
118. 
Cover image for Pervasive Computing Engineering Smart Systems
Pervasive Computing Engineering Smart Systems
Author 
Silvis-Cividjian, Natalia. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-51655-4
Format: 
Availability 
Online Library~1
Available:
Copies:
119. 
Cover image for Cyber Physical Systems. Design, Modeling, and Evaluation 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers
Cyber Physical Systems. Design, Modeling, and Evaluation 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers
Author 
Berger, Christian. editor. Mousavi, Mohammad Reza. editor. Wisniewski, Rafael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-51738-4
Format: 
Availability 
Online Library~1
Available:
Copies:
120. 
Cover image for Software Engineering: Challenges and Solutions Results of the XVIII KKIO 2016 Software Engineering Conference 2016 held at September 15-17 2016 in Wroclaw, Poland
Software Engineering: Challenges and Solutions Results of the XVIII KKIO 2016 Software Engineering Conference 2016 held at September 15-17 2016 in Wroclaw, Poland
Author 
Madeyski, Lech. editor. Śmiałek, Michał. editor. Hnatkowska, Bogumiła. editor. Huzar, Zbigniev. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-43606-7
Format: 
Availability 
Online Library~1
Available:
Copies:
121. 
Cover image for Scalable Uncertainty Management 11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017, Proceedings
Scalable Uncertainty Management 11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017, Proceedings
Author 
Moral, Serafín. editor. Pivert, Olivier. editor. Sánchez, Daniel. editor. Marín, Nicolás. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-67582-4
Format: 
Availability 
Online Library~1
Available:
Copies:
122. 
Cover image for Soft Methods for Data Science
Soft Methods for Data Science
Author 
Ferraro, Maria Brigida. editor. Giordani, Paolo. editor. Vantaggi, Barbara. editor. Gagolewski, Marek. editor. Ángeles Gil, María. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-42972-4
Format: 
Availability 
Online Library~1
Available:
Copies:
123. 
Cover image for AI*IA 2017 Advances in Artificial Intelligence XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017, Proceedings
AI*IA 2017 Advances in Artificial Intelligence XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017, Proceedings
Author 
Esposito, Floriana. editor. Basili, Roberto. editor. (orcid)0000-0001-5140-0694 Ferilli, Stefano. editor. Lisi, Francesca A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-70169-1
Format: 
Availability 
Online Library~1
Available:
Copies:
124. 
Cover image for Exploring Robotics with ROBOTIS Systems
Exploring Robotics with ROBOTIS Systems
Author 
Thai, Chi N. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-59831-4
Format: 
Availability 
Online Library~1
Available:
Copies:
125. 
Cover image for Interactive Theorem Proving 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings
Interactive Theorem Proving 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings
Author 
Ayala-Rincón, Mauricio. editor. Muñoz, César A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66107-0
Format: 
Availability 
Online Library~1
Available:
Copies:
126. 
Cover image for Advances in Computational Intelligence Proceedings of International Conference on Computational Intelligence 2015
Advances in Computational Intelligence Proceedings of International Conference on Computational Intelligence 2015
Author 
Sahana, Sudip Kumar. editor. Saha, Sujan Kumar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-2525-9
Format: 
Availability 
Online Library~1
Available:
Copies:
127. 
Cover image for Big Data Analytics and Knowledge Discovery 19th International Conference, DaWaK 2017, Lyon, France, August 28-31, 2017, Proceedings
Big Data Analytics and Knowledge Discovery 19th International Conference, DaWaK 2017, Lyon, France, August 28-31, 2017, Proceedings
Author 
Bellatreche, Ladjel. editor. Chakravarthy, Sharma. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-64283-3
Format: 
Availability 
Online Library~1
Available:
Copies:
128. 
Cover image for Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
Author 
Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-63387-9
Format: 
Availability 
Online Library~1
Available:
Copies:
129. 
Cover image for Theoretical Aspects of Computing - ICTAC 2017 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings
Theoretical Aspects of Computing - ICTAC 2017 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings
Author 
Hung, Dang Van. editor. Kapur, Deepak. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-67729-3
Format: 
Availability 
Online Library~1
Available:
Copies:
130. 
Cover image for Machine Learning with R
Machine Learning with R
Author 
Ghatak, Abhijit. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-6808-9
Format: 
Availability 
Online Library~1
Available:
Copies:
131. 
Cover image for An Introduction to Machine Learning
An Introduction to Machine Learning
Author 
Kubat, Miroslav. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-63913-0
Format: 
Availability 
Online Library~1
Available:
Copies:
132. 
Cover image for Agents and Artificial Intelligence 8th International Conference, ICAART 2016, Rome, Italy, February 24-26, 2016, Revised Selected Papers
Agents and Artificial Intelligence 8th International Conference, ICAART 2016, Rome, Italy, February 24-26, 2016, Revised Selected Papers
Author 
van den Herik, Jaap. editor. (orcid)0000-0001-9751-761X Filipe, Joaquim. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-53354-4
Format: 
Availability 
Online Library~1
Available:
Copies:
133. 
Cover image for Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
Author 
Geuvers, Herman. editor. England, Matthew. editor. Hasan, Osman. editor. Rabe, Florian. editor. Teschke, Olaf. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-62075-6
Format: 
Availability 
Online Library~1
Available:
Copies:
134. 
Cover image for Relational and Algebraic Methods in Computer Science 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings
Relational and Algebraic Methods in Computer Science 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings
Author 
Höfner, Peter. editor. Pous, Damien. editor. Struth, Georg. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-57418-9
Format: 
Availability 
Online Library~1
Available:
Copies:
135. 
Cover image for Automated Reasoning with Analytic Tableaux and Related Methods 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings
Automated Reasoning with Analytic Tableaux and Related Methods 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings
Author 
Schmidt, Renate A. editor. Nalon, Cláudia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66902-1
Format: 
Availability 
Online Library~1
Available:
Copies:
136. 
Cover image for Reachability Problems 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings
Reachability Problems 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings
Author 
Hague, Matthew. editor. Potapov, Igor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-67089-8
Format: 
Availability 
Online Library~1
Available:
Copies:
137. 
Cover image for Grammatical Inference Algorithms, Routines and Applications
Grammatical Inference Algorithms, Routines and Applications
Author 
Wieczorek, Wojciech. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-46801-3
Format: 
Availability 
Online Library~1
Available:
Copies:
138. 
Cover image for E-Learning Systems Intelligent Techniques for Personalization
E-Learning Systems Intelligent Techniques for Personalization
Author 
Klašnja-Milićević, Aleksandra. author. (orcid)0000-0002-8023-4776 Vesin, Boban. author. Ivanović, Mirjana. author. Budimac, Zoran. author. Jain, Lakhmi C. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-41163-7
Format: 
Availability 
Online Library~1
Available:
Copies:
139. 
Cover image for Advances in Data Mining. Applications and Theoretical Aspects 17th Industrial Conference, ICDM 2017, New York, NY, USA, July 12-13, 2017, Proceedings
Advances in Data Mining. Applications and Theoretical Aspects 17th Industrial Conference, ICDM 2017, New York, NY, USA, July 12-13, 2017, Proceedings
Author 
Perner, Petra. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-62701-4
Format: 
Availability 
Online Library~1
Available:
Copies:
140. 
Cover image for Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings
Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings
Author 
Ghosh, Sujata. editor. Prasad, Sanjiva. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-54069-5
Format: 
Availability 
Online Library~1
Available:
Copies:
141. 
Cover image for Artificial Intelligence in Medicine 16th Conference on Artificial Intelligence in Medicine, AIME 2017, Vienna, Austria, June 21-24, 2017, Proceedings
Artificial Intelligence in Medicine 16th Conference on Artificial Intelligence in Medicine, AIME 2017, Vienna, Austria, June 21-24, 2017, Proceedings
Author 
ten Teije, Annette. editor. Popow, Christian. editor. (orcid)0000-0002-0496-1453 Holmes, John H. editor. Sacchi, Lucia. editor. (orcid)0000-0002-1390-9825 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-59758-4
Format: 
Availability 
Online Library~1
Available:
Copies:
142. 
Cover image for Theory and Applications of Models of Computation 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings
Theory and Applications of Models of Computation 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings
Author 
Gopal, T.V. editor. Jäger, Gerhard. editor. Steila, Silvia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-55911-7
Format: 
Availability 
Online Library~1
Available:
Copies:
143. 
Cover image for Hybrid Artificial Intelligent Systems 12th International Conference, HAIS 2017, La Rioja, Spain, June 21-23, 2017, Proceedings
Hybrid Artificial Intelligent Systems 12th International Conference, HAIS 2017, La Rioja, Spain, June 21-23, 2017, Proceedings
Author 
Martínez de Pisón, Francisco Javier. editor. Urraca, Rubén. editor. Quintián, Héctor. editor. Corchado, Emilio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-59650-1
Format: 
Availability 
Online Library~1
Available:
Copies:
144. 
Cover image for Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings
Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings
Author 
Cimatti, Alessandro. editor. (orcid)0000-0002-1315-6990 Sirjani, Marjan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66197-1
Format: 
Availability 
Online Library~1
Available:
Copies:
145. 
Cover image for Automated Deduction - CADE 26 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings
Automated Deduction - CADE 26 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings
Author 
de Moura, Leonardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-63046-5
Format: 
Availability 
Online Library~1
Available:
Copies:
146. 
Cover image for Application and Theory of Petri Nets and Concurrency 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017, Proceedings
Application and Theory of Petri Nets and Concurrency 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017, Proceedings
Author 
van der Aalst, Wil. editor. Best, Eike. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-57861-3
Format: 
Availability 
Online Library~1
Available:
Copies:
147. 
Cover image for Unconventional Computation and Natural Computation 16th International Conference, UCNC 2017, Fayetteville, AR, USA, June 5-9, 2017, Proceedings
Unconventional Computation and Natural Computation 16th International Conference, UCNC 2017, Fayetteville, AR, USA, June 5-9, 2017, Proceedings
Author 
Patitz, Matthew J. editor. Stannett, Mike. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-58187-3
Format: 
Availability 
Online Library~1
Available:
Copies:
148. 
Cover image for Reasoning Web. Semantic Interoperability on the Web 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures
Reasoning Web. Semantic Interoperability on the Web 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures
Author 
Ianni, Giovambattista. editor. Lembo, Domenico. editor. Bertossi, Leopoldo. editor. (orcid)0000-0002-1144-3179 Faber, Wolfgang. editor. Glimm, Birte. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61033-7
Format: 
Availability 
Online Library~1
Available:
Copies:
149. 
Cover image for Symbolic and Quantitative Approaches to Reasoning with Uncertainty 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10-14, 2017, Proceedings
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10-14, 2017, Proceedings
Author 
Antonucci, Alessandro. editor. Cholvy, Laurence. editor. Papini, Odile. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61581-3
Format: 
Availability 
Online Library~1
Available:
Copies:
150. 
Cover image for Numerical Software Verification 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
Numerical Software Verification 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
Author 
Bogomolov, Sergiy. editor. Martel, Matthieu. editor. Prabhakar, Pavithra. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-54292-8
Format: 
Availability 
Online Library~1
Available:
Copies:
151. 
Cover image for Frontiers of Combining Systems 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings
Frontiers of Combining Systems 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings
Author 
Dixon, Clare. editor. Finger, Marcelo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66167-4
Format: 
Availability 
Online Library~1
Available:
Copies:
152. 
Cover image for Agent Based Modelling of Urban Systems First International Workshop, ABMUS 2016, Held in Conjunction with AAMAS, Singapore, Singapore, May 10, 2016, Revised, Selected, and Invited Papers
Agent Based Modelling of Urban Systems First International Workshop, ABMUS 2016, Held in Conjunction with AAMAS, Singapore, Singapore, May 10, 2016, Revised, Selected, and Invited Papers
Author 
Namazi-Rad, Mohammad-Reza. editor. Padgham, Lin. editor. Perez, Pascal. editor. Nagel, Kai. editor. Bazzan, Ana. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-51957-9
Format: 
Availability 
Online Library~1
Available:
Copies:
153. 
Cover image for Introduction to Data Science A Python Approach to Concepts, Techniques and Applications
Introduction to Data Science A Python Approach to Concepts, Techniques and Applications
Author 
Igual, Laura. author. Seguí, Santi. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-50017-1
Format: 
Availability 
Online Library~1
Available:
Copies:
154. 
Cover image for Logics in Artificial Intelligence 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings
Logics in Artificial Intelligence 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings
Author 
Michael, Loizos. editor. Kakas, Antonis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-48758-8
Format: 
Availability 
Online Library~1
Available:
Copies:
155. 
Cover image for Articulated Motion and Deformable Objects 9th International Conference, AMDO 2016, Palma de Mallorca, Spain, July 13-15, 2016, Proceedings
Articulated Motion and Deformable Objects 9th International Conference, AMDO 2016, Palma de Mallorca, Spain, July 13-15, 2016, Proceedings
Author 
Perales, Francisco José. editor. (orcid)0000-0002-9872-3172 Kittler, Josef. editor. (orcid)0000-0002-8110-9205 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-41778-3
Format: 
Availability 
Online Library~1
Available:
Copies:
156. 
Cover image for Coalgebraic Methods in Computer Science 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers
Coalgebraic Methods in Computer Science 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers
Author 
Hasuo, Ichiro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-40370-0
Format: 
Availability 
Online Library~1
Available:
Copies:
157. 
Cover image for Logic, Language, Information, and Computation 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings
Logic, Language, Information, and Computation 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings
Author 
Väänänen, Jouko. editor. Hirvonen, Åsa. editor. de Queiroz, Ruy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-52921-8
Format: 
Availability 
Online Library~1
Available:
Copies:
158. 
Cover image for Hybrid Systems Biology 5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, Proceedings
Hybrid Systems Biology 5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, Proceedings
Author 
Cinquemani, Eugenio. editor. Donzé, Alexandre. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-47151-8
Format: 
Availability 
Online Library~1
Available:
Copies:
159. 
Cover image for Hybrid Metaheuristics Powerful Tools for Optimization
Hybrid Metaheuristics Powerful Tools for Optimization
Author 
Blum, Christian. author. Raidl, Günther R. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-30883-8
Format: 
Availability 
Online Library~1
Available:
Copies:
160. 
Cover image for Dance Notations and Robot Motion
Dance Notations and Robot Motion
Author 
Laumond, Jean-Paul. editor. Abe, Naoko. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-25739-6
Format: 
Availability 
Online Library~1
Available:
Copies:
161. 
Cover image for A Practical Introduction to Fuzzy Logic using LISP
A Practical Introduction to Fuzzy Logic using LISP
Author 
Argüelles Mendez, Luis. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-23186-0
Format: 
Availability 
Online Library~1
Available:
Copies:
162. 
Cover image for Computational Autism
Computational Autism
Author 
Galitsky, Boris. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-39972-0
Format: 
Availability 
Online Library~1
Available:
Copies:
163. 
Cover image for Decision Diagrams for Optimization
Decision Diagrams for Optimization
Author 
Bergman, David. author. Cire, Andre A. author. van Hoeve, Willem-Jan. author. Hooker, John. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-42849-9
Format: 
Availability 
Online Library~1
Available:
Copies:
164. 
Cover image for Games and Learning Alliance 5th International Conference, GALA 2016, Utrecht, The Netherlands, December 5-7, 2016, Proceedings
Games and Learning Alliance 5th International Conference, GALA 2016, Utrecht, The Netherlands, December 5-7, 2016, Proceedings
Author 
Bottino, Rosa. editor. (orcid)0000-0001-6709-0053 Jeuring, Johan. editor. Veltkamp, Remco C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-50182-6
Format: 
Availability 
Online Library~1
Available:
Copies:
165. 
Cover image for Procedural Content Generation in Games
Procedural Content Generation in Games
Author 
Shaker, Noor. author. Togelius, Julian. author. Nelson, Mark J. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-42716-4
Format: 
Availability 
Online Library~1
Available:
Copies:
166. 
Cover image for Principles of Data Mining
Principles of Data Mining
Author 
Bramer, Max. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4471-7307-6
Format: 
Availability 
Online Library~1
Available:
Copies:
167. 
Cover image for Towards Paraconsistent Engineering
Towards Paraconsistent Engineering
Author 
Akama, Seiki. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-40418-9
Format: 
Availability 
Online Library~1
Available:
Copies:
168. 
Cover image for Advances in Data Mining. Applications and Theoretical Aspects 16th Industrial Conference, ICDM 2016, New York, NY, USA, July 13-17, 2016. Proceedings
Advances in Data Mining. Applications and Theoretical Aspects 16th Industrial Conference, ICDM 2016, New York, NY, USA, July 13-17, 2016. Proceedings
Author 
Perner, Petra. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-41561-1
Format: 
Availability 
Online Library~1
Available:
Copies:
169. 
Cover image for Engineering Multi-Agent Systems 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers
Engineering Multi-Agent Systems 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers
Author 
Baldoni, Matteo. editor. (orcid)0000-0002-9294-0408 Müller, Jörg P. editor. Nunes, Ingrid. editor. Zalila-Wenkstern, Rym. editor. (orcid)0000-0002-2062-6794 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-50983-9
Format: 
Availability 
Online Library~1
Available:
Copies:
170. 
Cover image for Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings
Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings
Author 
De Nicola, Rocco. editor. Kühn, Eva. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-41591-8
Format: 
Availability 
Online Library~1
Available:
Copies:
171. 
Cover image for Information and Communication Technologies in Education, Research, and Industrial Applications 11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers
Information and Communication Technologies in Education, Research, and Industrial Applications 11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers
Author 
Yakovyna, Vitaliy. editor. (orcid)0000-0003-0133-8591 Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Zholtkevych, Grygoriy. editor. Spivakovsky, Aleksander. editor. (orcid)0000-0001-7574-4133
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-30246-1
Format: 
Availability 
Online Library~1
Available:
Copies:
172. 
Cover image for Discrete Optimization and Operations Research 9th International Conference, DOOR 2016, Vladivostok, Russia, September 19-23, 2016, Proceedings
Discrete Optimization and Operations Research 9th International Conference, DOOR 2016, Vladivostok, Russia, September 19-23, 2016, Proceedings
Author 
Kochetov, Yury. editor. Khachay, Michael. editor. (orcid)0000-0003-3555-0080 Beresnev, Vladimir. editor. Nurminski, Evgeni. editor. Pardalos, Panos. editor. (orcid)0000-0001-9623-8053
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-44914-2
Format: 
Availability 
Online Library~1
Available:
Copies:
173. 
Cover image for Recent Advances in Computational Optimization Results of the Workshop on Computational Optimization WCO 2014
Recent Advances in Computational Optimization Results of the Workshop on Computational Optimization WCO 2014
Author 
Fidanova, Stefka. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-21133-6
Format: 
Availability 
Online Library~1
Available:
Copies:
174. 
Cover image for Unconventional Computation and Natural Computation 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings
Unconventional Computation and Natural Computation 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings
Author 
Amos, Martyn. editor. Condon, Anne. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-41312-9
Format: 
Availability 
Online Library~1
Available:
Copies:
175. 
Cover image for An Introduction to Data Analysis using Aggregation Functions in R
An Introduction to Data Analysis using Aggregation Functions in R
Author 
James, Simon. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-46762-7
Format: 
Availability 
Online Library~1
Available:
Copies:
176. 
Cover image for Fuzzy Logic Type 1 and Type 2 Based on LabVIEW™ FPGA
Fuzzy Logic Type 1 and Type 2 Based on LabVIEW™ FPGA
Author 
Ponce-Cruz, Pedro. author. Molina, Arturo. author. MacCleery, Brian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-26656-5
Format: 
Availability 
Online Library~1
Available:
Copies:
177. 
Cover image for From Curve Fitting to Machine Learning An Illustrative Guide to Scientific Data Analysis and Computational Intelligence
From Curve Fitting to Machine Learning An Illustrative Guide to Scientific Data Analysis and Computational Intelligence
Author 
Zielesny, Achim. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-32545-3
Format: 
Availability 
Online Library~1
Available:
Copies:
178. 
Cover image for Multi-Agent Systems and Agreement Technologies 13th European Conference, EUMAS 2015, and Third International Conference, AT 2015, Athens, Greece, December 17-18, 2015, Revised Selected Papers
Multi-Agent Systems and Agreement Technologies 13th European Conference, EUMAS 2015, and Third International Conference, AT 2015, Athens, Greece, December 17-18, 2015, Revised Selected Papers
Author 
Rovatsos, Michael. editor. Vouros, George. editor. Julian, Vicente. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-33509-4
Format: 
Availability 
Online Library~1
Available:
Copies:
179. 
Cover image for Coordination, Organizations, Institutions, and Norms in Agent Systems XI COIN 2015 International Workshops, COIN@AAMAS, Istanbul, Turkey, May 4, 2015, COIN@IJCAI, Buenos Aires, Argentina, July 26, 2015, Revised Selected Papers
Coordination, Organizations, Institutions, and Norms in Agent Systems XI COIN 2015 International Workshops, COIN@AAMAS, Istanbul, Turkey, May 4, 2015, COIN@IJCAI, Buenos Aires, Argentina, July 26, 2015, Revised Selected Papers
Author 
Dignum, Virginia. editor. (orcid)0000-0001-7409-5813 Noriega, Pablo. editor. Sensoy, Murat. editor. Sichman, Jaime Simão. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-42691-4
Format: 
Availability 
Online Library~1
Available:
Copies:
180. 
Cover image for Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996-2016) 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings
Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996-2016) 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings
Author 
Amblard, Maxime. editor. de Groote, Philippe. editor. Pogodalla, Sylvain. editor. Retoré, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-53826-5
Format: 
Availability 
Online Library~1
Available:
Copies:
181. 
Cover image for Automated Reasoning 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings
Automated Reasoning 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings
Author 
Olivetti, Nicola. editor. Tiwari, Ashish. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-40229-1
Format: 
Availability 
Online Library~1
Available:
Copies:
182. 
Cover image for Combinatorial Algorithms 27th International Workshop, IWOCA 2016, Helsinki, Finland, August 17-19, 2016, Proceedings
Combinatorial Algorithms 27th International Workshop, IWOCA 2016, Helsinki, Finland, August 17-19, 2016, Proceedings
Author 
Mäkinen, Veli. editor. Puglisi, Simon J. editor. Salmela, Leena. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-44543-4
Format: 
Availability 
Online Library~1
Available:
Copies:
183. 
Cover image for Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
Author 
Ábrahám, Erika. editor. Bonsangue, Marcello. editor. (orcid)0000-0003-3746-3618 Johnsen, Einar Broch. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-30734-3
Format: 
Availability 
Online Library~1
Available:
Copies:
184. 
Cover image for Hybrid Metaheuristics 10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016, Proceedings
Hybrid Metaheuristics 10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016, Proceedings
Author 
Blesa, Maria J. editor. Blum, Christian. editor. Cangelosi, Angelo. editor. Cutello, Vincenzo. editor. Di Nuovo, Alessandro. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-39636-1
Format: 
Availability 
Online Library~1
Available:
Copies:
185. 
Cover image for Intelligent Computer Mathematics 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings
Intelligent Computer Mathematics 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings
Author 
Kohlhase, Michael. editor. Johansson, Moa. editor. Miller, Bruce. editor. de Moura, Leonardo. editor. Tompa, Frank. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-42547-4
Format: 
Availability 
Online Library~1
Available:
Copies:
186. 
Cover image for Formal Grammar 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings
Formal Grammar 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings
Author 
Foret, Annie. editor. Morrill, Glyn. editor. Muskens, Reinhard. editor. Osswald, Rainer. editor. Pogodalla, Sylvain. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-53042-9
Format: 
Availability 
Online Library~1
Available:
Copies:
187. 
Cover image for Algorithmic Aspects of Cloud Computing First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers
Algorithmic Aspects of Cloud Computing First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers
Author 
Karydis, Ioannis. editor. Sioutas, Spyros. editor. Triantafillou, Peter. editor. Tsoumakos, Dimitrios. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-29919-8
Format: 
Availability 
Online Library~1
Available:
Copies:
188. 
Cover image for Learning and Intelligent Optimization 10th International Conference, LION 10, Ischia, Italy, May 29 -- June 1, 2016, Revised Selected Papers
Learning and Intelligent Optimization 10th International Conference, LION 10, Ischia, Italy, May 29 -- June 1, 2016, Revised Selected Papers
Author 
Festa, Paola. editor. Sellmann, Meinolf. editor. Vanschoren, Joaquin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-50349-3
Format: 
Availability 
Online Library~1
Available:
Copies:
189. 
Cover image for Recent Advances in Computational Optimization Results of the Workshop on Computational Optimization WCO 2015
Recent Advances in Computational Optimization Results of the Workshop on Computational Optimization WCO 2015
Author 
Fidanova, Stefka. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-40132-4
Format: 
Availability 
Online Library~1
Available:
Copies:
190. 
Cover image for Experimental Algorithms 15th International Symposium, SEA 2016, St. Petersburg, Russia, June 5-8, 2016, Proceedings
Experimental Algorithms 15th International Symposium, SEA 2016, St. Petersburg, Russia, June 5-8, 2016, Proceedings
Author 
Goldberg, Andrew V. editor. Kulikov, Alexander S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-38851-9
Format: 
Availability 
Online Library~1
Available:
Copies:
191. 
Cover image for Parallel Problem Solving from Nature - PPSN XIV 14th International Conference, Edinburgh, UK, September 17-21, 2016, Proceedings
Parallel Problem Solving from Nature - PPSN XIV 14th International Conference, Edinburgh, UK, September 17-21, 2016, Proceedings
Author 
Handl, Julia. editor. Hart, Emma. editor. Lewis, Peter R. editor. López-Ibáñez, Manuel. editor. Ochoa, Gabriela. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-45823-6
Format: 
Availability 
Online Library~1
Available:
Copies:
192. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-47169-3
Format: 
Availability 
Online Library~1
Available:
Copies:
193. 
Cover image for PRIMA 2016: Principles and Practice of Multi-Agent Systems 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings
PRIMA 2016: Principles and Practice of Multi-Agent Systems 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings
Author 
Baldoni, Matteo. editor. (orcid)0000-0002-9294-0408 Chopra, Amit K. editor. Son, Tran Cao. editor. Hirayama, Katsutoshi. editor. Torroni, Paolo. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-44832-9
Format: 
Availability 
Online Library~1
Available:
Copies:
194. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-47166-2
Format: 
Availability 
Online Library~1
Available:
Copies:
195. 
Cover image for Proceedings of Fourth International Conference on Soft Computing for Problem Solving SocProS 2014, Volume 1
Proceedings of Fourth International Conference on Soft Computing for Problem Solving SocProS 2014, Volume 1
Author 
Das, Kedar Nath. editor. Deep, Kusum. editor. Pant, Millie. editor. Bansal, Jagdish Chand. editor. Nagar, Atulya. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-81-322-2217-0
Format: 
Availability 
Online Library~1
Available:
Copies:
196. 
Cover image for Proceedings of the 18th Asia Pacific Symposium on Intelligent and Evolutionary Systems, Volume 1
Proceedings of the 18th Asia Pacific Symposium on Intelligent and Evolutionary Systems, Volume 1
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-13359-1
Format: 
Availability 
Online Library~1
Available:
Copies:
197. 
Cover image for Methodologies and Intelligent Systems for Technology Enhanced Learning
Methodologies and Intelligent Systems for Technology Enhanced Learning
Author 
Mascio, Tania Di. editor. Gennari, Rosella. editor. Vittorini, Pierpaolo. editor. De la Prieta, Fernando. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-19632-9
Format: 
Availability 
Online Library~1
Available:
Copies:
198. 
Cover image for Artificial Intelligence and Evolutionary Algorithms in Engineering Systems Proceedings of ICAEES 2014, Volume 2
Artificial Intelligence and Evolutionary Algorithms in Engineering Systems Proceedings of ICAEES 2014, Volume 2
Author 
Suresh, L Padma. editor. Dash, Subhransu Sekhar. editor. Panigrahi, Bijaya Ketan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-81-322-2135-7
Format: 
Availability 
Online Library~1
Available:
Copies:
199. 
Cover image for Proceedings of the 18th Asia Pacific Symposium on Intelligent and Evolutionary Systems - Volume 2
Proceedings of the 18th Asia Pacific Symposium on Intelligent and Evolutionary Systems - Volume 2
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: 
Availability 
Online Library~1
Available:
Copies:
200. 
Cover image for Modelling, Computation and Optimization in Information Systems and Management Sciences Proceedings of the 3rd International Conference on Modelling, Computation and Optimization in Information Systems and Management Sciences - MCO 2015 - Part I
Modelling, Computation and Optimization in Information Systems and Management Sciences Proceedings of the 3rd International Conference on Modelling, Computation and Optimization in Information Systems and Management Sciences - MCO 2015 - Part I
Author 
Le Thi, Hoai An. editor. Pham Dinh, Tao. editor. Nguyen, Ngoc Thanh. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-18161-5
Format: 
Availability 
Online Library~1
Available:
Copies:
201. 
Cover image for Fifty Years of Fuzzy Logic and its Applications
Fifty Years of Fuzzy Logic and its Applications
Author 
Tamir, Dan E. editor. Rishe, Naphtali D. editor. Kandel, Abraham. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-19683-1
Format: 
Availability 
Online Library~1
Available:
Copies:
202. 
Cover image for Evolutionary Constrained Optimization
Evolutionary Constrained Optimization
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: 
Availability 
Online Library~1
Available:
Copies:
203. 
Cover image for Encyclopedia of Systems and Control
Encyclopedia of Systems and Control
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: 
Availability 
Online Library~1
Available:
Copies:
204. 
Cover image for Recent Advances in Swarm Intelligence and Evolutionary Computation
Recent Advances in Swarm Intelligence and Evolutionary Computation
Author 
Yang, Xin-She. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-13826-8
Format: 
Availability 
Online Library~1
Available:
Copies:
205. 
Cover image for Advanced Computational Methods for Knowledge Engineering Proceedings of 3rd International Conference on Computer Science, Applied Mathematics and Applications - ICCSAMA 2015
Advanced Computational Methods for Knowledge Engineering Proceedings of 3rd International Conference on Computer Science, Applied Mathematics and Applications - ICCSAMA 2015
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: 
Availability 
Online Library~1
Available:
Copies:
206. 
Cover image for Algorithmic Foundations of Robotics XI Selected Contributions of the Eleventh International Workshop on the Algorithmic Foundations of Robotics
Algorithmic Foundations of Robotics XI Selected Contributions of the Eleventh International Workshop on the Algorithmic Foundations of Robotics
Author 
Akin, H. Levent. editor. Amato, Nancy M. editor. Isler, Volkan. editor. van der Stappen, A. Frank. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-16595-0
Format: 
Availability 
Online Library~1
Available:
Copies:
207. 
Cover image for Pattern Analysis, Intelligent Security and the Internet of Things
Pattern Analysis, Intelligent Security and the Internet of Things
Author 
Abraham, Ajith. editor. Muda, Azah Kamilah. editor. Choo, Yun-Huoy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-17398-6
Format: 
Availability 
Online Library~1
Available:
Copies:
208. 
Cover image for Intelligent Decision Technologies Proceedings of the 7th KES International Conference on Intelligent Decision Technologies (KES-IDT 2015)
Intelligent Decision Technologies Proceedings of the 7th KES International Conference on Intelligent Decision Technologies (KES-IDT 2015)
Author 
Neves-Silva, Rui. editor. Jain, Lakhmi C. editor. Howlett, Robert J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-19857-6
Format: 
Availability 
Online Library~1
Available:
Copies:
209. 
Cover image for Proceedings of Fourth International Conference on Soft Computing for Problem Solving SocProS 2014, Volume 2
Proceedings of Fourth International Conference on Soft Computing for Problem Solving SocProS 2014, Volume 2
Author 
Das, Kedar Nath. editor. Deep, Kusum. editor. Pant, Millie. editor. Bansal, Jagdish Chand. editor. Nagar, Atulya. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-81-322-2220-0
Format: 
Availability 
Online Library~1
Available:
Copies:
210. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-45234-9
Format: 
Availability 
Online Library~1
Available:
Copies:
211. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-45231-8
Format: 
Availability 
Online Library~1
Available:
Copies:
212. 
Cover image for Emotion Modeling Towards Pragmatic Computational Models of Affective Processes
Emotion Modeling Towards Pragmatic Computational Models of Affective Processes
Author 
Bosse, Tibor. editor. Broekens, Joost. editor. Dias, João. editor. (orcid)0000-0002-1653-1821 van der Zwaan, Janneke. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12973-0
Format: 
Availability 
Online Library~1
Available:
Copies:
213. 
Cover image for Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings
Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
214. 
Cover image for Engineering Multi-Agent Systems Second International Workshop, EMAS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers
Engineering Multi-Agent Systems Second International Workshop, EMAS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers
Author 
Dalpiaz, Fabiano. editor. (orcid)0000-0003-4480-3887 Dix, Jürgen. editor. van Riemsdijk, M. Birna. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-14484-9
Format: 
Availability 
Online Library~1
Available:
Copies:
215. 
Cover image for Game ai pro : collected wisdom of game ai professionals
Game ai pro : collected wisdom of game ai professionals
Author 
Rabin, Steven, editor. Taylor and Francis.
Preferred Shelf Number 
QA76.76 .C672
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
216. 
Cover image for Principles of Data Mining
Principles of Data Mining
Author 
Bramer, Max. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331086.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4884-5
Format: 
Availability 
Online Library~1
Available:
Copies:
217. 
Cover image for Autonomic Computing Principles, Design and Implementation
Autonomic Computing Principles, Design and Implementation
Author 
Lalanda, Philippe. author. McCann, Julie A. author. Diaconescu, Ada. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331115.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5007-7
Format: 
Availability 
Online Library~1
Available:
Copies:
218. 
Cover image for Giants of Computing A Compendium of Select, Pivotal Pioneers
Giants of Computing A Compendium of Select, Pivotal Pioneers
Author 
O’Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331194.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5340-5
Format: 
Availability 
Online Library~1
Available:
Copies:
219. 
Cover image for Handbook of Neuroevolution Through Erlang
Handbook of Neuroevolution Through Erlang
Author 
Sher, Gene I. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331512.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-4463-3
Format: 
Availability 
Online Library~1
Available:
Copies:
220. 
Cover image for The Deductive Spreadsheet
The Deductive Spreadsheet
Author 
Cervesato, Iliano. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334475.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37747-1
Format: 
Availability 
Online Library~1
Available:
Copies:
221. 
Cover image for Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
222. 
Cover image for Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers
Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers
Author 
Machado, Ricardo J. editor. Maciel, Rita Suzana P. editor. Rubin, Julia. editor. Botterweck, Goetz. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334556.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38209-3
Format: 
Availability 
Online Library~1
Available:
Copies:
223. 
Cover image for Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
224. 
Cover image for Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings
Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
225. 
Cover image for Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings
Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
226. 
Cover image for Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings
Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
227. 
Cover image for Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers
Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers
Author 
Lemos, Rogério. editor. Giese, Holger. editor. Müller, Hausi A. editor. Shaw, Mary. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334055.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35813-5
Format: 
Availability 
Online Library~1
Available:
Copies:
228. 
Cover image for Algorithmic Decision Theory Third International Conference, ADT 2013, Bruxelles, Belgium, November 12-14, 2013, Proceedings
Algorithmic Decision Theory Third International Conference, ADT 2013, Bruxelles, Belgium, November 12-14, 2013, Proceedings
Author 
Perny, Patrice. editor. Pirlot, Marc. editor. Tsoukiàs, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335124.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41575-3
Format: 
Availability 
Online Library~1
Available:
Copies:
229. 
Cover image for Constraint Solving and Language Processing 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers
Constraint Solving and Language Processing 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
230. 
Cover image for Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings
Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
231. 
Cover image for Software Language Engineering 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings
Software Language Engineering 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
232. 
Cover image for Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
233. 
Cover image for ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers
ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
234. 
Cover image for Engineering Multi-Agent Systems First International Workshop, EMAS 2013, St. Paul, MN, USA, May 6-7, 2013, Revised Selected Papers
Engineering Multi-Agent Systems First International Workshop, EMAS 2013, St. Paul, MN, USA, May 6-7, 2013, Revised Selected Papers
Author 
Cossentino, Massimo. editor. Fallah Seghrouchni, Amal. editor. Winikoff, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335210.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-45343-4
Format: 
Availability 
Online Library~1
Available:
Copies:
235. 
Cover image for Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers
Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
236. 
Cover image for Software and Data Technologies 6th International Conference, ICSOFT 2011, Seville, Spain, July 18-21, 2011. Revised Selected Papers
Software and Data Technologies 6th International Conference, ICSOFT 2011, Seville, Spain, July 18-21, 2011. Revised Selected Papers
Author 
Escalona, María José. editor. Cordeiro, José. editor. Shishkov, Boris. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334142.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36177-7
Format: 
Availability 
Online Library~1
Available:
Copies:
237. 
Cover image for Artificial intelligence for games
Artificial intelligence for games
Author 
Millington, Ian. Funge, John David, 1968-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780123747310
Format: 
Availability 
Online Library~1
Available:
Copies:
238. 
Cover image for Artificial intelligence and soft computing : behavioral and cognitive modeling of the human brain
Artificial intelligence and soft computing : behavioral and cognitive modeling of the human brain
Author 
Konar, Amit, author.
Preferred Shelf Number 
QA76.9 .S63 K59 2000
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
239. 
Cover image for Artificial intelligence and mathematical theory of computation papers in honor of John McCarthy
Artificial intelligence and mathematical theory of computation papers in honor of John McCarthy
Author 
McCarthy, John, 1927-2011. Lifschitz, Vladimir.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780124500105
Format: 
Availability 
Online Library~1
Available:
Copies: