Search Results for Programming (Computers) - Narrowed by: Artificial intelligence.

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

2026-01-22T23:57:51Z

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

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

2026-01-22T23:57:51Z

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

Game AI uncovered. Volume two

2026-01-22T23:57:51Z

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

INTELLIGENT AUTOMATION bridging the gap between business and academia.

2026-01-22T23:57:51Z

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

Build AI-enhanced audio plugins with C++

2026-01-22T23:57:51Z

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

LARGE LANGUAGE MODELS concepts, techniques and applications.

2026-01-22T23:57:51Z

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

GAME AI UNCOVERED. Volume one

2026-01-22T23:57:51Z

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

BLOCKCHAIN AND DIGITAL TWIN ENABLED IOT NETWORKS privacy and security.

2026-01-22T23:57:51Z

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

Choreomata : performance and performativity after AI

2026-01-22T23:57:51Z

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

Quantum artificial intelligence with Qiskit.

2026-01-22T23:57:51Z

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

Intelligent systems of computing and informatics

2026-01-22T23:57:51Z

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

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

2026-01-22T23:57:51Z

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

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

2026-01-22T23:57:51Z

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-01-22T23:57:51Z

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

Artificial Intelligence and Blockchain in Digital Forensics

2026-01-22T23:57:51Z

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

AI for creativity

2026-01-22T23:57:51Z

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-01-22T23:57:51Z

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-01-22T23:57:51Z

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 future of the artificial mind

2026-01-22T23:57:51Z

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

MIND, BRAIN, QUANTUM AI, AND THE MULTIVERSE

2026-01-22T23:57:51Z

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

Intelligent system algorithms and applications in science and technology

2026-01-22T23:57:51Z

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

AI for school teachers

2026-01-22T23:57:51Z

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 and deep learning in biometric security : trends, potential, and challenges

2026-01-22T23:57:51Z

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

AI FOR GAMES

2026-01-22T23:57:51Z

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

Practical AI for Cybersecurity

2026-01-22T23:57:51Z

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

Cognitive computing systems : applications and technological advancements

2026-01-22T23:57:51Z

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

The handbook of AI-based metaheuristics

2026-01-22T23:57:51Z

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

AI for cars

2026-01-22T23:57:51Z

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

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

2026-01-22T23:57:51Z

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-01-22T23:57:51Z

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

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

2026-01-22T23:57:51Z

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

Answer Set Programming

2026-01-22T23:57:51Z

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

Practical Aspects of Declarative Languages 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings

2026-01-22T23:57:51Z

Author Alferes, José Júlio. editor. Johansson, Moa. editor. (orcid)0000-0002-1097-8278 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-05998-9
Format: Electronic Resources
Availability Online Library~1

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

2026-01-22T23:57:51Z

Author Mesnard, Fred. editor. Stuckey, Peter J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-13838-7
Format: Electronic Resources
Availability Online Library~1

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

2026-01-22T23:57:51Z

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

Data Analytics and Management in Data Intensive Domains 20th International Conference, DAMDID/RCDL 2018, Moscow, Russia, October 9–12, 2018, Revised Selected Papers

2026-01-22T23:57:51Z

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

Computing and Software Science State of the Art and Perspectives

2026-01-22T23:57:51Z

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

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

2026-01-22T23:57:51Z

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

Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings

2026-01-22T23:57:51Z

Author Chen, Yu-Fang. editor. (orcid)0000-0003-2872-0336 Cheng, Chih-Hong. editor. Esparza, Javier. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-31784-3
Format: Electronic Resources
Availability Online Library~1

Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

2026-01-22T23:57:51Z

Author ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 McIver, Annabelle. editor. (orcid)0000-0002-2405-9838 Oliveira, José N. editor. (orcid)0000-0002-0196-4229 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-30942-8
Format: Electronic Resources
Availability Online Library~1

From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

2026-01-22T23:57:51Z

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

Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings

2026-01-22T23:57:51Z

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

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

2026-01-22T23:57:51Z

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

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

2026-01-22T23:57:51Z

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

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

2026-01-22T23:57:51Z

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

Graphical Models for Security 5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised Selected Papers

2026-01-22T23:57:51Z

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

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

2026-01-22T23:57:51Z

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

Product-Focused Software Process Improvement 20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedings

2026-01-22T23:57:51Z

Author Franch, Xavier. editor. (orcid)0000-0001-9733-8830 Männistö, Tomi. editor. (orcid)0000-0001-7470-5183 Martínez-Fernández, Silverio. editor. (orcid)0000-0001-9928-133X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-35333-9
Format: Electronic Resources
Availability Online Library~1

Agreement Technologies 6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers

2026-01-22T23:57:51Z

Author Lujak, Marin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-17294-7
Format: Electronic Resources
Availability Online Library~1

Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers

2026-01-22T23:57:51Z

Author Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750 Massink, Mieke. editor. (orcid)0000-0001-5089-002X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-31517-7
Format: Electronic Resources
Availability Online Library~1

Practical Java® programming for IoT, AI, and Blockchain

2026-01-22T23:57:51Z

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 data mining for mergers and acquisitions

2026-01-22T23:57:51Z

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

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

2026-01-22T23:57:51Z

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

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-01-22T23:57:51Z

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

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

2026-01-22T23:57:51Z

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

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-01-22T23:57:51Z

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-01-22T23:57:51Z

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

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

2026-01-22T23:57:51Z

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

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

2026-01-22T23:57:51Z

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

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

2026-01-22T23:57:51Z

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

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

2026-01-22T23:57:51Z

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

Game ai pro : collected wisdom of game ai professionals

2026-01-22T23:57:51Z

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