Search Results for Computer programming. - Narrowed by: Artificial intelligence.

Automatic Quantum Computer Programming A Genetic Programming Approach

2026-03-21T04:07:18Z

Author Spector, Lee. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-36791-0
Format: Electronic Resources
Availability Online Library~1

Programming for Peace Computer-Aided Methods for International Conflict Resolution and Prevention

2026-03-21T04:07:18Z

Author Trappl, Robert. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-4390-2
Format: Electronic Resources
Availability Online Library~1

Deep learning on embedded systems : a hands-on approach using Jetson Nano and Raspberry Pi

2026-03-21T04:07:18Z

Author Arif, Tariq M., author. John Wiley & Sons, publisher.
Preferred Shelf Number Q325.73 .A75 2025
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394269297
Format: Electronic Resources
Availability Online Library~1

Logic Programming and Nonmonotonic Reasoning 17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11-14, 2024, Proceedings

2026-03-21T04:07:18Z

Author Dodaro, Carmine. editor. (orcid)0000-0002-5617-5286 Gupta, Gopal. editor. (orcid)0000-0001-9727-0362 Martinez, Maria Vanina. editor. (orcid)0000-0003-2819-4735 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-74209-5
Format: Electronic Resources
Availability Online Library~1

Runtime Verification 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings

2026-03-21T04:07:18Z

Author Ábrahám, Erika. editor. (orcid)0000-0002-5647-6134 Abbas, Houssam. editor. (orcid)0000-0002-8096-2618 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-74234-7
Format: Electronic Resources
Availability Online Library~1

Service-Oriented Computing 18th Symposium and Summer School, SummerSOC 2024, Crete, Greece, June 24-29, 2024, Revised Selected Papers

2026-03-21T04:07:18Z

Author Aiello, Marco. editor. (orcid)0000-0002-0764-2124 Barzen, Johanna. editor. Dustdar, Schahram. editor. (orcid)0000-0001-6872-8821 Leymann, Frank. editor. (orcid)0000-0002-9123-259X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-72578-4
Format: Electronic Resources
Availability Online Library~1

Engineering Trustworthy Software Systems 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures

2026-03-21T04:07:18Z

Author Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Gomes, Cláudio. editor. (orcid)0000-0003-2692-9742 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-4656-2
Format: Electronic Resources
Availability Online Library~1

Web Information Systems and Technologies 19th International Conference, WEBIST 2023, Rome, Italy, November 15-17, 2023, Revised Selected Papers

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

Logic and Argumentation 6th International Conference, CLAR 2025, Taiyuan, China, June 14-16, 2025, Proceedings

2026-03-21T04:07:18Z

Author Ågotnes, Thomas. editor. (orcid)0000-0003-4151-8028 Doder, Dragan. editor. (orcid)0000-0003-0067-3654 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-7956-0
Format: Electronic Resources
Availability Online Library~1

Proceedings of International Conference on Information Technology and Applications ICITA 2024

2026-03-21T04:07:18Z

Author Ullah, Abrar. editor. Anwar, Sajid. editor. (orcid)0000-0003-3393-1656 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-1758-6
Format: Electronic Resources
Availability Online Library~1

ALPHAGO SIMPLIFIED rule-based ai and deep learning in everyday games.

2026-03-21T04:07:18Z

Author Liu, Mark.
Preferred Shelf Number Q325.5
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781032722207 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings

2026-03-21T04:07:18Z

Author Kiselyov, Oleg. editor. (orcid)0000-0002-2570-2186 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-8943-6
Format: Electronic Resources
Availability Online Library~1

Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers

2026-03-21T04:07:18Z

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-73741-1
Format: Electronic Resources
Availability Online Library~1

Proceedings of International Conference on Theoretical and Applied Computing ICTAC 2024

2026-03-21T04:07:18Z

Author Mathew, Lisa. editor. Subramanian, K. G. editor. (orcid)0000-0001-8726-5850 Nagar, Atulya K. editor. (orcid)0000-0001-5549-6435 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-6957-5
Format: Electronic Resources
Availability Online Library~1

Knowledge Engineering and Knowledge Management 24th International Conference, EKAW 2024, Amsterdam, The Netherlands, November 26-28, 2024, Proceedings

2026-03-21T04:07:18Z

Author Alam, Mehwish. editor. (orcid)0000-0002-7867-6612 Rospocher, Marco. editor. (orcid)0000-0001-9391-3201 van Erp, Marieke. editor. (orcid)0000-0001-9195-8203 Hollink, Laura. editor. (orcid)0000-0002-6865-0021 Gesese, Genet Asefa. editor. (orcid)0000-0003-3807-7145
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-77792-9
Format: Electronic Resources
Availability Online Library~1

Descriptional Complexity of Formal Systems 26th IFIP WG 1.02 International Conference, DCFS 2025, Loughborough, UK, July 22-24, 2025, Proceedings

2026-03-21T04:07:18Z

Author Malcher, Andreas. editor. (orcid)0000-0002-9589-5833 Prigioniero, Luca. editor. (orcid)0000-0001-7163-4965 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-97100-6
Format: Electronic Resources
Availability Online Library~1

Quantum artificial intelligence with Qiskit.

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

Inductive Logic Programming 31st International Conference, ILP 2022, Windsor Great Park, UK, September 28-30, 2022, Proceedings

2026-03-21T04:07:18Z

Author Muggleton, Stephen H. editor. (orcid)0000-0001-6061-6104 Tamaddoni-Nezhad, Alireza. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-55630-2
Format: Electronic Resources
Availability Online Library~1

Unconventional Computation and Natural Computation 21st International Conference, UCNC 2024, Pohang, South Korea, June 17-21, 2024, Proceedings

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

ICT Education 52nd Annual Conference of the Southern African Computer Lecturers' Association, SACLA 2023, Gauteng, South Africa, July 19-21, 2023, Revised Selected Papers

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

Programming with GitHub Copilot : Write Better Code--Faster!

2026-03-21T04:07:18Z

Author Dowswell, Kurt, author.
Preferred Shelf Number QA76.76 .D47
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394319787
Format: Electronic Resources
Availability Online Library~1

Proceedings of International Conference on Information Technology and Applications ICITA 2023

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

Functional and Logic Programming 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings

2026-03-21T04:07:18Z

Author Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917 Miller, Dale. editor. (orcid)0000-0003-0274-4954 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-2300-3
Format: Electronic Resources
Availability Online Library~1

GAME AI UNCOVERED. Volume one

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

Choreomata : performance and performativity after AI

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

Artificial Intelligence, Big Data, IOT and Block Chain in Healthcare: From Concepts to Applications Volume 2

2026-03-21T04:07:18Z

Author Farhaoui, Yousef. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-65018-5
Format: Electronic Resources
Availability Online Library~1

Game AI uncovered. Volume two

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

Artificial Intelligence, Big Data, IOT and Block Chain in Healthcare: From Concepts to Applications Volume 1

2026-03-21T04:07:18Z

Author Farhaoui, Yousef. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-65014-7
Format: Electronic Resources
Availability Online Library~1

Implementation and Application of Automata 28th International Conference, CIAA 2024, Akita, Japan, September 3-6, 2024, Proceedings

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

Diagrammatic Representation and Inference 14th International Conference, Diagrams 2024, Münster, Germany, September 27 - October 1, 2024, Proceedings

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

Deep Generative Modeling

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

INTELLIGENT AUTOMATION bridging the gap between business and academia.

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

Computational Mechanics with Deep Learning An Introduction

2026-03-21T04:07:18Z

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

Foundation, architecture, and prototyping of humanized AI a new constructivist approach

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

Logic: Reference Book for Computer Scientists The 2nd Revised, Modified, and Enlarged Edition of "Logics for Computer and Data Sciences, and Artificial Intelligence"

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

Artificial intelligence in games

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

Hidden in white sight : how AI empowers and deepens systemic racism

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

AI for physics

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

Deep learning in gaming and animations : principles and applications

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

AI for school teachers

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

AI for creativity

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

AI for Death and Dying

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

AI for sports

2026-03-21T04:07:18Z

Author Brady, Christopher, 1947- author. Tuyls, Karl, author. Omidshafiei, Shayegan, author.
Preferred Shelf Number GV706.8 .B728 2022 EB
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003196532 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

The handbook of AI-based metaheuristics

2026-03-21T04:07:18Z

Author Kulkarni, Anand Jayant, editor. Siarry, Patrick, editor.
Preferred Shelf Number TA168
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003162841 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

INTELLIGENT SUPPORT FOR COMPUTER SCIENCE EDUCATION pedagogy enhanced by artificial intelligence.

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

Understanding artificial intelligence

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

AI FOR GAMES

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

AI for cars

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

Cunning machines : your pocket guide to the world of artificial intelligence

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

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

2026-03-21T04:07:18Z

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

Central European Functional Programming School 6th Summer School, CEFP 2015, Budapest, Hungary, July 6–10, 2015, Revised Selected Papers

2026-03-21T04:07:18Z

Author Zsók, Viktória. editor. Porkoláb, Zoltán. editor. Horváth, Zoltán. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-28346-9
Format: Electronic Resources
Availability Online Library~1

High Performance Computing for Computational Science – VECPAR 2018 13th International Conference, São Pedro, Brazil, September 17-19, 2018, Revised Selected Papers

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

Trends in Functional Programming 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers

2026-03-21T04:07:18Z

Author Van Horn, David. editor. Hughes, John. editor. (orcid)0000-0001-8042-0969 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-14805-8
Format: Electronic Resources
Availability Online Library~1

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

2026-03-21T04:07:18Z

Author Bojańczyk, Mikołaj. editor. Simpson, Alex. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-17127-8
Format: Electronic Resources
Availability Online Library~1

Deep Learning with R

2026-03-21T04:07:18Z

Author Ghatak, Abhijit. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-5850-0
Format: Electronic Resources
Availability Online Library~1

Deep Reinforcement Learning Frontiers of Artificial Intelligence

2026-03-21T04:07:18Z

Author Sewak, Mohit. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-8285-7
Format: Electronic Resources
Availability Online Library~1

Perspectives of System Informatics 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

Reversible Computation 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings

2026-03-21T04:07:18Z

Author Thomsen, Michael Kirkedal. editor. (orcid)0000-0003-0922-3609 Soeken, Mathias. editor. (orcid)0000-0002-0229-8766 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-21500-2
Format: Electronic Resources
Availability Online Library~1

Reuse in the Big Data Era 18th International Conference on Software and Systems Reuse, ICSR 2019, Cincinnati, OH, USA, June 26–28, 2019, Proceedings

2026-03-21T04:07:18Z

Author Peng, Xin. editor. Ampatzoglou, Apostolos. editor. Bhowmik, Tanmay. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-22888-0
Format: Electronic Resources
Availability Online Library~1

Practical Java® programming for IoT, AI, and Blockchain

2026-03-21T04:07:18Z

Author Xiao, Perry, author.
Preferred Shelf Number QA76.73 .J38 X536 2019 EB
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119560050
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence and Games

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

Artificial intelligence and data mining for mergers and acquisitions

2026-03-21T04:07:18Z

Author Chanda, Debasis, author.
Preferred Shelf Number HD2746.5
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9780429424571 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

AI*IA 2017 Advances in Artificial Intelligence XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017, Proceedings

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

An Introduction to Machine Learning

2026-03-21T04:07:18Z

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

Frontiers of Combining Systems 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

Formal Techniques for Distributed Objects, Components, and Systems 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings

2026-03-21T04:07:18Z

Author Bouajjani, Ahmed. editor. Silva, Alexandra. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-60225-7
Format: Electronic Resources
Availability Online Library~1

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

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

Automated Deduction - CADE 26 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

Language and Automata Theory and Applications 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

Computer Performance Engineering 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings

2026-03-21T04:07:18Z

Author Reinecke, Philipp. editor. Di Marco, Antinisca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66583-2
Format: Electronic Resources
Availability Online Library~1

Cyber Physical Systems. Design, Modeling, and Evaluation 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10-14, 2017, Proceedings

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

Interactive Theorem Proving 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

Software Engineering for Resilient Systems 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings

2026-03-21T04:07:18Z

Author Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 Troubitsyna, Elena A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-65948-0
Format: Electronic Resources
Availability Online Library~1

Hardware and Software: Verification and Testing 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings

2026-03-21T04:07:18Z

Author Strichman, Ofer. editor. Tzoref-Brill, Rachel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-70389-3
Format: Electronic Resources
Availability Online Library~1

Inductive Logic Programming 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papers

2026-03-21T04:07:18Z

Author Cussens, James. editor. Russo, Alessandra. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-63342-8
Format: Electronic Resources
Availability Online Library~1

Theoretical Aspects of Computing - ICTAC 2017 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

Machine Learning with R

2026-03-21T04:07:18Z

Author Ghatak, Abhijit. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-6808-9
Format: Electronic Resources
Availability Online Library~1

Learning and Intelligent Optimization 11th International Conference, LION 11, Nizhny Novgorod, Russia, June 19-21, 2017, Revised Selected Papers

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

Generalized Jeffrey Conditionalization A Frequentist Semantics of Partial Conditionalization

2026-03-21T04:07:18Z

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

Tests and Proofs 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings

2026-03-21T04:07:18Z

Author Gabmeyer, Sebastian. editor. Johnsen, Einar Broch. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61467-0
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence in Medicine 16th Conference on Artificial Intelligence in Medicine, AIME 2017, Vienna, Austria, June 21-24, 2017, Proceedings

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

Theory and Applications of Models of Computation 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

Practical Aspects of Declarative Languages 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings

2026-03-21T04:07:18Z

Author Lierler, Yuliya. editor. (orcid)0000-0002-6146-623X Taha, Walid. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-51676-9
Format: Electronic Resources
Availability Online Library~1

Agents and Artificial Intelligence 8th International Conference, ICAART 2016, Rome, Italy, February 24-26, 2016, Revised Selected Papers

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

Relational and Algebraic Methods in Computer Science 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

Automated Reasoning with Analytic Tableaux and Related Methods 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

Reachability Problems 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

Advances in Data Mining. Applications and Theoretical Aspects 17th Industrial Conference, ICDM 2017, New York, NY, USA, July 12-13, 2017, Proceedings

2026-03-21T04:07:18Z

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

Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

Hybrid Artificial Intelligent Systems 12th International Conference, HAIS 2017, La Rioja, Spain, June 21-23, 2017, Proceedings

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

Logic Programming and Nonmonotonic Reasoning 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings

2026-03-21T04:07:18Z

Author Balduccini, Marcello. editor. Janhunen, Tomi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61660-5
Format: Electronic Resources
Availability Online Library~1

Application and Theory of Petri Nets and Concurrency 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017, Proceedings

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

Unconventional Computation and Natural Computation 16th International Conference, UCNC 2017, Fayetteville, AR, USA, June 5-9, 2017, Proceedings

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

Scalable Uncertainty Management 11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017, Proceedings

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

PRIMA 2017: Principles and Practice of Multi-Agent Systems 20th International Conference, Nice, France, October 30 - November 3, 2017, Proceedings

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

Numerical Software Verification 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

Rules and Reasoning International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedings

2026-03-21T04:07:18Z

Author Costantini, Stefania. editor. Franconi, Enrico. editor. Van Woensel, William. editor. Kontchakov, Roman. editor. Sadri, Fariba. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61252-2
Format: Electronic Resources
Availability Online Library~1

Conceptual Modeling 36th International Conference, ER 2017, Valencia, Spain, November 6-9, 2017, Proceedings

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

Introduction to Data Science A Python Approach to Concepts, Techniques and Applications

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

Principles of Data Mining

2026-03-21T04:07:18Z

Author Bramer, Max. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4471-7307-6
Format: Electronic Resources
Availability Online Library~1

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings

2026-03-21T04:07:18Z

Author Lecomte, Thierry. editor. Pinger, Ralf. editor. Romanovsky, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-33951-1
Format: Electronic Resources
Availability Online Library~1

Information and Communication Technologies in Education, Research, and Industrial Applications 11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

Software Technologies: Applications and Foundations STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers

2026-03-21T04:07:18Z

Author Milazzo, Paolo. editor. (orcid)0000-0002-7309-6424 Varró, Dániel. editor. Wimmer, Manuel. editor. (orcid)0000-0002-1124-7098 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-50230-4
Format: Electronic Resources
Availability Online Library~1

DNA Computing and Molecular Programming 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016. Proceedings

2026-03-21T04:07:18Z

Author Rondelez, Yannick. editor. Woods, Damien. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-43994-5
Format: Electronic Resources
Availability Online Library~1

From Curve Fitting to Machine Learning An Illustrative Guide to Scientific Data Analysis and Computational Intelligence

2026-03-21T04:07:18Z

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

Hybrid Systems Biology 5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, Proceedings

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers

2026-03-21T04:07:18Z

Author Gurfinkel, Arie. editor. Seshia, Sanjit A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-29613-5
Format: Electronic Resources
Availability Online Library~1

Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings

2026-03-21T04:07:18Z

Author Kiselyov, Oleg. editor. (orcid)0000-0002-2570-2186 King, Andy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-29604-3
Format: Electronic Resources
Availability Online Library~1

A Practical Introduction to Fuzzy Logic using LISP

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

Automated Technology for Verification and Analysis 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

2026-03-21T04:07:18Z

Author Artho, Cyrille. editor. Legay, Axel. editor. Peled, Doron. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-46520-3
Format: Electronic Resources
Availability Online Library~1

Towards Paraconsistent Engineering

2026-03-21T04:07:18Z

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

Engineering Multi-Agent Systems 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

Automated Reasoning 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

Logics in Artificial Intelligence 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

Procedural Content Generation in Games

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

Deductive Software Verification - The KeY Book From Theory to Practice

2026-03-21T04:07:18Z

Author Ahrendt, Wolfgang. editor. Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291 Bubel, Richard. editor. Hähnle, Reiner. editor. Schmitt, Peter H. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-49812-6
Format: Electronic Resources
Availability Online Library~1

Intelligent Computer Mathematics 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

Formal Grammar 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

Algorithmic Aspects of Cloud Computing First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

Learning and Intelligent Optimization 10th International Conference, LION 10, Ischia, Italy, May 29 -- June 1, 2016, Revised Selected Papers

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

Articulated Motion and Deformable Objects 9th International Conference, AMDO 2016, Palma de Mallorca, Spain, July 13-15, 2016, Proceedings

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

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

2026-03-21T04:07:18Z

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

Logic, Language, Information, and Computation 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

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

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

Dance Notations and Robot Motion

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

Trends in Functional Programming 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers

2026-03-21T04:07:18Z

Author Serrano, Manuel. editor. Hage, Jurriaan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-39110-6
Format: Electronic Resources
Availability Online Library~1

Hardware and Software: Verification and Testing 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings

2026-03-21T04:07:18Z

Author Bloem, Roderick. editor. Arbel, Eli. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-49052-6
Format: Electronic Resources
Availability Online Library~1

Advances in Data Mining. Applications and Theoretical Aspects 16th Industrial Conference, ICDM 2016, New York, NY, USA, July 13-17, 2016. Proceedings

2026-03-21T04:07:18Z

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

Usability- and Accessibility-Focused Requirements Engineering First International Workshop, UsARE 2012, Held in Conjunction with ICSE 2012, Zurich, Switzerland, June 4, 2012 and Second International Workshop, UsARE 2014, Held in Conjunction with RE 2014, Karlskrona, Sweden, August 25, 2014, Revised Selected Papers

2026-03-21T04:07:18Z

Author Ebert, Achim. editor. Humayoun, Shah Rukh. editor. Seyff, Norbert. editor. Perini, Anna. editor. (orcid)0000-0001-8818-6476 Barbosa, Simone D.J. editor. (orcid)0000-0002-0044-503X
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-45916-5
Format: Electronic Resources
Availability Online Library~1

Verified Software. Theories, Tools, and Experiments 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers

2026-03-21T04:07:18Z

Author Blazy, Sandrine. editor. Chechik, Marsha. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-48869-1
Format: Electronic Resources
Availability Online Library~1

Unconventional Computation and Natural Computation 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

An Introduction to Data Analysis using Aggregation Functions in R

2026-03-21T04:07:18Z

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

Inductive Logic Programming 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers

2026-03-21T04:07:18Z

Author Inoue, Katsumi. editor. Ohwada, Hayato. editor. Yamamoto, Akihiro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-40566-7
Format: Electronic Resources
Availability Online Library~1

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

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996-2016) 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

Rule Technologies. Research, Tools, and Applications 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings

2026-03-21T04:07:18Z

Author Alferes, Jose Julio. editor. Bertossi, Leopoldo. editor. Governatori, Guido. editor. Fodor, Paul. editor. Roman, Dumitru. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-42019-6
Format: Electronic Resources
Availability Online Library~1

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

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

PRIMA 2016: Principles and Practice of Multi-Agent Systems 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

Computational Autism

2026-03-21T04:07:18Z

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

Proceedings of Fourth International Conference on Soft Computing for Problem Solving SocProS 2014, Volume 2

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

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

2026-03-21T04:07:18Z

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

Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers

2026-03-21T04:07:18Z

Author Hanus, Michael. editor. (orcid)0000-0002-4953-8202 Rocha, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08909-6
Format: Electronic Resources
Availability Online Library~1

Emotion Modeling Towards Pragmatic Computational Models of Affective Processes

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings

2026-03-21T04:07:18Z

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

Engineering Multi-Agent Systems Second International Workshop, EMAS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers

2026-03-21T04:07:18Z

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: Electronic Resources
Availability Online Library~1

Concurrent Objects and Beyond Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday

2026-03-21T04:07:18Z

Author Agha, Gul. editor. Igarashi, Atsushi. editor. Kobayashi, Naoki. editor. Masuhara, Hidehiko. editor. Matsuoka, Satoshi. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44471-9
Format: Electronic Resources
Availability Online Library~1

Software Reuse for Dynamic Systems in the Cloud and Beyond 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedings

2026-03-21T04:07:18Z

Author Schaefer, Ina. editor. Stamelos, Ioannis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-14130-5
Format: Electronic Resources
Availability Online Library~1

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

2026-03-21T04:07:18Z

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

Game ai pro : collected wisdom of game ai professionals

2026-03-21T04:07:18Z

Author Rabin, Steven, editor. Taylor and Francis.
Preferred Shelf Number QA76.76 .C672
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Artificial intelligence for games

2026-03-21T04:07:18Z

Author Millington, Ian. Funge, John David, 1968-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780123747310
Format: Electronic Resources
Availability Online Library~1

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

2026-03-21T04:07:18Z

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