Search Results for Programming. - Narrowed by: 2024

Mathematics in Programming

2026-06-14T23:25:21Z

Author Liu, Xinyu. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-2432-1
Format: Electronic Resources
Availability Online Library~1

Programming language explorations

2026-06-14T23:25:21Z

Author Toal, Ray, author. Strieker, Sage Angelica, author. Berardini, Marco, author.
Preferred Shelf Number QA76.7
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003222354 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

PYTHON PROGRAMMING FOR MATHEMATICS

2026-06-14T23:25:21Z

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

Learn programming with C

2026-06-14T23:25:21Z

Author Imran, Sazzad, author. Ahad, Md. Atiqur Rahman, author.
Preferred Shelf Number QA76.73 .C15
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003302629 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Programming principles in computer graphics

2026-06-14T23:25:21Z

Author Ammeraal, Leendert.
Preferred Shelf Number QA 76.6 A466 1986
Format: Books
Availability Beytepe Library~1

The art of computer programming

2026-06-14T23:25:21Z

Author Knuth, Donald E.
Preferred Shelf Number QA 76.5 K57 1968- V.1
Format: Books
Availability Beytepe Library~7

Exception Handling Fundamentals and Programming

2026-06-14T23:25:21Z

Author Mejia Alvarez, Pedro. author. Gonzalez Torres, Raul E. author. Ortega Cisneros, Susana. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-50681-9
Format: Electronic Resources
Availability Online Library~1

Genetic Programming Theory and Practice XX

2026-06-14T23:25:21Z

Author Winkler, Stephan. editor. (orcid)0000-0002-5196-4294 Trujillo, Leonardo. editor. (orcid)0000-0003-1812-5736 Ofria, Charles. editor. Hu, Ting. editor. (orcid)0000-0001-6382-0602 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-8413-8
Format: Electronic Resources
Availability Online Library~1

ESSENTIAL PROGRAMMING FOR THE TECHNICAL ARTIST

2026-06-14T23:25:21Z

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

DSP 320F28335 Programming

2026-06-14T23:25:21Z

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

The French School of Programming

2026-06-14T23:25:21Z

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

Robot souls : programming in humanity

2026-06-14T23:25:21Z

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

R programming for actuarial science

2026-06-14T23:25:21Z

Author McQuire, Peter, author. Kume, Alfred, author.
Preferred Shelf Number QA276.45 .R3 M38 2024 EB
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119755005
Format: Electronic Resources
Availability Online Library~1

Modeling Programming Competency A Qualitative Analysis

2026-06-14T23:25:21Z

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

Programming with Python for Engineers

2026-06-14T23:25:21Z

Author Kalkan, Sinan. author. (orcid)0000-0003-0915-5917 Şehitoğlu, Onur T. author. (orcid)0000-0001-5146-5017 Üçoluk, Göktürk. author. (orcid)0000-0002-1479-6113 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-57148-0
Format: Electronic Resources
Availability Online Library~1

R Programming Statistical Data Analysis in Research

2026-06-14T23:25:21Z

Author Okoye, Kingsley. author. Hosseini, Samira. author. (orcid)0000-0001-9190-4782 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-3385-9
Format: Electronic Resources
Availability Online Library~1

Programming Heterogeneous Hardware via Managed Runtime Systems

2026-06-14T23:25:21Z

Author Fumero, Juan. author. Stratikopoulos, Athanasios. author. (orcid)0000-0002-0154-4523 Kotselidis, Christos. author. (orcid)0000-0002-8146-3503 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-49559-5
Format: Electronic Resources
Availability Online Library~1

MUSE OF CODING computer programming as art.

2026-06-14T23:25:21Z

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

Adaptive Dynamic Programming For Chemotherapy Drug Delivery

2026-06-14T23:25:21Z

Author Sun, Jiayue. author. Xu, Shun. author. (orcid)0000-0002-8080-3369 Liu, Yang. author. Zhang, Huaguang. author. (orcid)0000-0001-5702-4845 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-5929-7
Format: Electronic Resources
Availability Online Library~1

Principles of soft computing using Python programming : learn how to deploy soft computing models in real world applications

2026-06-14T23:25:21Z

Author Nandi, Gypsy, author.
Preferred Shelf Number QA76.9 .S63 N36 2024
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394173167
Format: Electronic Resources
Availability Online Library~1

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

2026-06-14T23:25:21Z

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

Software, System, and Service Engineering S3E 2023 Topical Area, 24th Conference on Practical Aspects of and Solutions for Software Engineering, KKIO 2023, and 8th Workshop on Advances in Programming Languages, WAPL 2023, Held as Part of FedCSIS 2023, Warsaw, Poland, 17-20 September 2023, Revised Selected Papers

2026-06-14T23:25:21Z

Author Jarzębowicz, Aleksander. editor. Luković, Ivan. editor. (orcid)0000-0003-1319-488X Przybyłek, Adam. editor. Staroń, Mirosław. editor. (orcid)0000-0002-9052-0864 Ahmad, Muhammad Ovais. editor. (orcid)0000-0002-7885-0369
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-51075-5
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-06-14T23:25:21Z

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

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

2026-06-14T23:25:21Z

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

Python for Natural Language Processing Programming with NumPy, scikit-learn, Keras, and PyTorch

2026-06-14T23:25:21Z

Author Nugues, Pierre M. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-57549-5
Format: Electronic Resources
Availability Online Library~1

Introduction to modern scientific programming and numerical methods

2026-06-14T23:25:21Z

Author Brieda, Lubos, author. Wang, Joseph (Joseph Jiong), author. Martin, Robert (Robert Scott), author.
Preferred Shelf Number QA76.6 .B735 2024 EB
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003132233 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Spreadsheet problem solving and programming for engineers and scientists

2026-06-14T23:25:21Z

Author Clough, David E., author. Chapra, Steven C., author.
Preferred Shelf Number TA331
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003361053 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

A Comprehensive Guide to Coding and Programming in Stata

2026-06-14T23:25:21Z

Author Gafoor, Rafael, author.
Preferred Shelf Number QA276.45 .S838
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003483779 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Optimal Event-Triggered Control Using Adaptive Dynamic Programming

2026-06-14T23:25:21Z

Author Jagannathan, Sarangapani, author. Narayanan, Vignesh, author Sahoo, Avimanyu, author
Preferred Shelf Number TJ213
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003490753 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Introduction to game programming using Processing : for designers, artists, players, non-tech people and everybody else

2026-06-14T23:25:21Z

Author Cermak-Sassenrath, Daniel, author.
Preferred Shelf Number QA76.76 .C672
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003345916 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Modern C Programming Including Standards C99, C11, C17, C23

2026-06-14T23:25:21Z

Author Gazi, Orhan. author. (orcid)0000-0001-5328-7955 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-45361-8
Format: Electronic Resources
Availability Online Library~1

Genetic Programming 27th European Conference, EuroGP 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings

2026-06-14T23:25:21Z

Author Giacobini, Mario. editor. Xue, Bing. editor. (orcid)0000-0002-4865-8026 Manzoni, Luca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-56957-9
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I

2026-06-14T23:25:21Z

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

Programming Languages and Systems 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II

2026-06-14T23:25:21Z

Author Weirich, Stephanie. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-57267-8
Format: Electronic Resources
Availability Online Library~1

MATLAB and Simulink in Action Programming, Scientific Computing and Simulation

2026-06-14T23:25:21Z

Author Xue, Dingyü. author. Pan, Feng. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-1176-9
Format: Electronic Resources
Availability Online Library~1

Programming with Python : and Its applications to physical systems

2026-06-14T23:25:21Z

Author Singh, M. Shubhakanta, author.
Preferred Shelf Number QA76.73 .P98
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003453307 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Challenging Programming in Python: A Problem Solving Perspective

2026-06-14T23:25:21Z

Author Izadkhah, Habib. author. (orcid)0000-0001-7595-8350 Behzadidoost, Rashid. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-39999-2
Format: Electronic Resources
Availability Online Library~1

Programming-Based Formal Languages and Automata Theory Design, Implement, Validate, and Prove

2026-06-14T23:25:21Z

Author Morazán, Marco T. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-43973-5
Format: Electronic Resources
Availability Online Library~1

Agile Processes in Software Engineering and Extreme Programming - Workshops XP 2022 Workshops, Copenhagen, Denmark, June 13-17, 2022, and XP 2023 Workshops, Amsterdam, The Netherlands, June 13-16, 2023, Revised Selected Papers

2026-06-14T23:25:21Z

Author Kruchten, Philippe. editor. Gregory, Peggy. editor. (orcid)0000-0001-7891-6666 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-48550-3
Format: Electronic Resources
Availability Online Library~1

Agile Processes in Software Engineering and Extreme Programming 25th International Conference on Agile Software Development, XP 2024, Bozen-Bolzano, Italy, June 4-7, 2024, Proceedings

2026-06-14T23:25:21Z

Author Šmite, Darja. editor. (orcid)0000-0003-1744-3118 Guerra, Eduardo. editor. (orcid)0000-0001-5555-3487 Wang, Xiaofeng. editor. (orcid)0000-0001-8424-419X Marchesi, Michele. editor. Gregory, Peggy. editor. (orcid)0000-0001-7891-6666
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-61154-4
Format: Electronic Resources
Availability Online Library~1

Integration of Constraint Programming, Artificial Intelligence, and Operations Research 21st International Conference, CPAIOR 2024, Uppsala, Sweden, May 28-31, 2024, Proceedings, Part II

2026-06-14T23:25:21Z

Author Dilkina, Bistra. editor. (orcid)0000-0002-6784-473X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-60599-4
Format: Electronic Resources
Availability Online Library~1

Integration of Constraint Programming, Artificial Intelligence, and Operations Research 21st International Conference, CPAIOR 2024, Uppsala, Sweden, May 28-31, 2024, Proceedings, Part I

2026-06-14T23:25:21Z

Author Dilkina, Bistra. editor. (orcid)0000-0002-6784-473X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-60597-0
Format: Electronic Resources
Availability Online Library~1

Parallel C++ Efficient and Scalable High-Performance Parallel Programming Using HPX

2026-06-14T23:25:21Z

Author Diehl, Patrick. author. Brandt, Steven R. author. Kaiser, Hartmut. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-54369-2
Format: Electronic Resources
Availability Online Library~1

Guide to Competitive Programming Learning and Improving Algorithms Through Contests

2026-06-14T23:25:21Z

Author Laaksonen, Antti. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-61794-2
Format: Electronic Resources
Availability Online Library~1

Integer Programming and Combinatorial Optimization 25th International Conference, IPCO 2024, Wroclaw, Poland, July 3-5, 2024, Proceedings

2026-06-14T23:25:21Z

Author Vygen, Jens. editor. Byrka, Jarosław. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-59835-7
Format: Electronic Resources
Availability Online Library~1

Quick Java

2026-06-14T23:25:21Z

Author Matuszek, David L., author.
Preferred Shelf Number QA76.73 .J38
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003402947 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Game engine gems

2026-06-14T23:25:21Z

Author Lengyel, Eric.
Preferred Shelf Number QA76.76 .C672 G3588 2011
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

FARMING SIMULATOR MODDING WITH BLENDER a step-by -step guide to creating, optimizing and... publishing mods.

2026-06-14T23:25:21Z

Author Van Gumster, Jason. Maurus, Stefan.
Preferred Shelf Number GV1469.3
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781032659497 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Transforming Education with Virtual Reality.

2026-06-14T23:25:21Z

Author Malik, Reena. Sharma, Ambuj. Chaudhary, Prashant.
Preferred Shelf Number LB1028.3 .M35 2024
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394200498
Format: Electronic Resources
Availability Online Library~1

Virtual reality technology

2026-06-14T23:25:21Z

Author Burdea, Grigore, author. Coiffet, Philippe, author.
Preferred Shelf Number QA76.9 .H85 B8713 2024
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119512608
Format: Electronic Resources
Availability Online Library~1

Digital image denoising in MATLAB

2026-06-14T23:25:21Z

Author Kok, Chi-Wah, author. Tam, Wing-Shan, author.
Preferred Shelf Number TA345.5 .M42 K65 2024
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119617778
Format: Electronic Resources
Availability Online Library~1

Bio-inspired optimization for medical data mining

2026-06-14T23:25:21Z

Author Srivastava, Sumit, editor.
Preferred Shelf Number R859.7 .D35 B56 2024
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394214211
Format: Electronic Resources
Availability Online Library~1

Mathematical modeling and simulation : introduction for scientists and engineers

2026-06-14T23:25:21Z

Author Velten, Kai, author. Schmidt, Dominik M., author. Kahlen, Katrin, author.
Preferred Shelf Number QA401 .V38 2024
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9783527849604
Format: Electronic Resources
Availability Online Library~1

Machine learning for industrial applications

2026-06-14T23:25:21Z

Author Prakash, Kolla Bhanu, author.
Preferred Shelf Number Q325.5 .P73 2024
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394268993
Format: Electronic Resources
Availability Online Library~1

Modeling and optimization of signals using machine learning techniques

2026-06-14T23:25:21Z

Preferred Shelf Number TK5102.9 .M63 2024
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119847717
Format: Electronic Resources
Availability Online Library~1

Genomics at the nexus of AI, computer vision, and machine learning

2026-06-14T23:25:21Z

Author Choudhary, Shilpa, editor.
Preferred Shelf Number QH447 .G46 2024
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394268832
Format: Electronic Resources
Availability Online Library~1

Digital convergence in antenna designs : applications for real-time solutions

2026-06-14T23:25:21Z

Author Srividya, P., editor.
Preferred Shelf Number TK7871.6 .D54 2024
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119879923
Format: Electronic Resources
Availability Online Library~1

Integrating Blockchain and Artificial Intelligence for Industry 4.0 Innovations

2026-06-14T23:25:21Z

Author Goundar, Sam. editor. Anandan, R. editor. (orcid)0000-0001-5461-1040 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-35751-0
Format: Electronic Resources
Availability Online Library~1

Intelligent Transport Systems 7th EAI International Conference, INTSYS 2023, Molde, Norway, September 6-7, 2023, Proceedings

2026-06-14T23:25:21Z

Author Martins, Ana Lucia. editor. (orcid)0000-0002-8533-6595 Ferreira, Joao C. editor. Kocian, Alexander. editor. Tokkozhina, Ulpan. editor. Helgheim, Berit Irene. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-49379-9
Format: Electronic Resources
Availability Online Library~1

Optimization and Games for Controllable Markov Chains Numerical Methods with Application to Finance and Engineering

2026-06-14T23:25:21Z

Author Clempner, Julio B. author. (orcid)0000-0002-5918-4671 Poznyak, Alexander. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-43575-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-06-14T23:25:21Z

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

Advances in Optimization and Applications 14th International Conference, OPTIMA 2023, Petrovac, Montenegro, September 18-22, 2023, Revised Selected Papers

2026-06-14T23:25:21Z

Author Olenev, Nicholas. editor. (orcid)0000-0002-1032-2455 Evtushenko, Yuri. editor. (orcid)0000-0002-6094-7808 Jaćimović, Milojica. editor. (orcid)0000-0002-7068-8563 Khachay, Michael. editor. (orcid)0000-0003-3555-0080 Malkova, Vlasta. editor. (orcid)0000-0002-7928-512X
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-48751-4
Format: Electronic Resources
Availability Online Library~1

Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I

2026-06-14T23:25:21Z

Author Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-50524-9
Format: Electronic Resources
Availability Online Library~1

Data Structures and Algorithms with Python With an Introduction to Multiprocessing

2026-06-14T23:25:21Z

Author Lee, Kent D. author. Hubbard, Steve. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-42209-6
Format: Electronic Resources
Availability Online Library~1

Mobile, Secure, and Programmable Networking 9th International Conference, MSPN 2023, Paris, France, October 26-27, 2023, Revised Selected Papers

2026-06-14T23:25:21Z

Author Bouzefrane, Samia. editor. (orcid)0000-0002-0979-1289 Banerjee, Soumya. editor. Mourlin, Fabrice. editor. Boumerdassi, Selma. editor. Renault, Éric. editor. (orcid)0000-0003-1011-8347
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-52426-4
Format: Electronic Resources
Availability Online Library~1

Active Object Languages: Current Research Trends

2026-06-14T23:25:21Z

Author de Boer, Frank. editor. Damiani, Ferruccio. editor. (orcid)0000-0001-8109-1706 Hähnle, Reiner. editor. Broch Johnsen, Einar. editor. (orcid)0000-0001-5382-3949 Kamburjan, Eduard. editor. (orcid)0000-0002-0996-2543
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-51060-1
Format: Electronic Resources
Availability Online Library~1

Structural Decision Diagrams in Digital Test Theory and Applications

2026-06-14T23:25:21Z

Author Ubar, Raimund. author. Raik, Jaan. author. Jenihhin, Maksim. author. Jutman, Artur. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-44734-1
Format: Electronic Resources
Availability Online Library~1

Big Data Technologies and Applications 13th EAI International Conference, BDTA 2023, Edinburgh, UK, August 23-24, 2023, Proceedings

2026-06-14T23:25:21Z

Author Tan, Zhiyuan. editor. (orcid)0000-0001-5420-2554 Wu, Yulei. editor. (orcid)0000-0003-0801-8443 Xu, Min. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-52265-9
Format: Electronic Resources
Availability Online Library~1

Structures of Computing A Guide to Practice-Oriented Theory

2026-06-14T23:25:21Z

Author Börger, Egon. author. Gervasi, Vincenzo. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-54358-6
Format: Electronic Resources
Availability Online Library~1

Proceedings of International Conference on Information Technology and Applications ICITA 2023

2026-06-14T23:25:21Z

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

Taming the Infinities of Concurrency Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday

2026-06-14T23:25:21Z

Author Kiefer, Stefan. editor. Křetínský, Jan. editor. Kučera, Antonín. editor. (orcid)0000-0002-6602-8028 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-56222-8
Format: Electronic Resources
Availability Online Library~1

Recent Advances in Computational Optimization Selected Papers from the WCO 2022 - Workshop on Computational Optimization

2026-06-14T23:25:21Z

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

BUiD Doctoral Research Conference 2023 Multidisciplinary Studies

2026-06-14T23:25:21Z

Author Al Marri, Khalid. editor. Mir, Farzana Asad. editor. (orcid)0000-0001-9378-1800 David, Solomon Arulraj. editor. Al-Emran, Mostafa. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-56121-4
Format: Electronic Resources
Availability Online Library~1

Foundations of Information and Knowledge Systems 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings

2026-06-14T23:25:21Z

Author Meier, Arne. editor. (orcid)0000-0002-8061-5376 Ortiz, Magdalena. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-56940-1
Format: Electronic Resources
Availability Online Library~1

Infrared Small Target Detection Theory, Methods, and Algorithms.

2026-06-14T23:25:21Z

Author Zhu, Hu. author. Pan, Yushan. author. (orcid)0000-0002-6877-3937 Deng, Lizhen. author. Xu, Guoxia. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-9799-2
Format: Electronic Resources
Availability Online Library~1

Python for Data Science

2026-06-14T23:25:21Z

Author Muddana, A. Lakshmi. author. Vinayakam, Sandhya. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-52473-8
Format: Electronic Resources
Availability Online Library~1

Universal Design in Video Games Active Participation Through Accessible Play

2026-06-14T23:25:21Z

Author Palmquist, Adam. author. Jedel, Izabella. author. Goethe, Ole. author. (orcid)0000-0001-9565-2914 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-30595-5
Format: Electronic Resources
Availability Online Library~1

Reliability Engineering for Industrial Processes An Analytics Perspective

2026-06-14T23:25:21Z

Author Kapur, P. K. editor. (orcid)0000-0001-8006-5952 Pham, Hoang. editor. Singh, Gurinder. editor. (orcid)0000-0002-7827-1578 Kumar, Vivek. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-55048-5
Format: Electronic Resources
Availability Online Library~1

Optimization of Chemical Processes A Sustainable Perspective

2026-06-14T23:25:21Z

Author Ponce-Ortega, José María. author. Ochoa-Barragán, Rogelio. author. (orcid)0000-0002-2187-5813 Ramírez-Márquez, César. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-57270-8
Format: Electronic Resources
Availability Online Library~1

Augmented Reality Games II The Gamification of Education, Medicine and Art

2026-06-14T23:25:21Z

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

Combinatorial Optimization 8th International Symposium, ISCO 2024, La Laguna, Tenerife, Spain, May 22-24, 2024, Revised Selected Papers

2026-06-14T23:25:21Z

Author Basu, Amitabh. editor. (orcid)0000-0002-1070-2626 Mahjoub, Ali Ridha. editor. (orcid)0000-0002-1079-1892 Salazar González, Juan José. editor. (orcid)0000-0001-5683-0271 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-60924-4
Format: Electronic Resources
Availability Online Library~1

Logics and Type Systems in Theory and Practice Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday

2026-06-14T23:25:21Z

Author Capretta, Venanzio. editor. (orcid)0000-0003-1220-7706 Krebbers, Robbert. editor. Wiedijk, Freek. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-61716-4
Format: Electronic Resources
Availability Online Library~1

Logic and Engineering of Natural Language Semantics 20th International Conference, LENLS20, Osaka, Japan, November 18-20, 2023, Revised Selected Papers

2026-06-14T23:25:21Z

Author Bekki, Daisuke. editor. (orcid)0000-0002-9988-1260 Mineshima, Koji. editor. (orcid)0000-0002-2801-9171 McCready, Elin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-60878-0
Format: Electronic Resources
Availability Online Library~1

Learn coding with Python and JavaScript A practical introduction for beginners

2026-06-14T23:25:21Z

Author Zuckarelli, Joachim L. author. (orcid)0000-0002-9280-3016 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-658-42912-6
Format: Electronic Resources
Availability Online Library~1

Guide to Software Verification with Frama-C Core Components, Usages, and Applications

2026-06-14T23:25:21Z

Author Kosmatov, Nikolai. editor. (orcid)0000-0003-1557-2813 Prevosto, Virgile. editor. Signoles, Julien. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-55608-1
Format: Electronic Resources
Availability Online Library~1

Structural Dynamics

2026-06-14T23:25:21Z

Author Strømmen, Einar N. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-54211-4
Format: Electronic Resources
Availability Online Library~1

Construct, Merge, Solve & Adapt A Hybrid Metaheuristic for Combinatorial Optimization

2026-06-14T23:25:21Z

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

Reuse and Software Quality 21st International Conference on Software and Systems Reuse, ICSR 2024, Limassol, Cyprus, June 19-20, 2024, Proceedings

2026-06-14T23:25:21Z

Author Achilleos, Achilleas. editor. (orcid)0000-0001-7157-8991 Fuentes, Lidia. editor. (orcid)0000-0002-5677-7156 Papadopoulos, George Angelos. editor. (orcid)0000-0001-9250-4916 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-66459-5
Format: Electronic Resources
Availability Online Library~1

Fluidware Novel Approaches for Large-Scale IoT Systems

2026-06-14T23:25:21Z

Author Zambonelli, Franco. editor. Fortino, Giancarlo. editor. Re, Barbara. editor. (orcid)0000-0001-5374-2364 Viroli, Mirko. editor. (orcid)0000-0003-2702-5702 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-62146-8
Format: Electronic Resources
Availability Online Library~1

Coalgebraic Methods in Computer Science 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Proceedings

2026-06-14T23:25:21Z

Author König, Barbara. editor. (orcid)0000-0002-4193-2889 Urbat, Henning. editor. (orcid)0000-0002-3265-7168 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-66438-0
Format: Electronic Resources
Availability Online Library~1

Euro-Par 2024: Parallel Processing 30th European Conference on Parallel and Distributed Processing, Madrid, Spain, August 26-30, 2024, Proceedings, Part I

2026-06-14T23:25:21Z

Author Carretero, Jesus. editor. (orcid)0000-0002-1413-4793 Shende, Sameer. editor. (orcid)0000-0002-2592-669X Garcia-Blas, Javier. editor. (orcid)0000-0003-1452-1918 Brandic, Ivona. editor. (orcid)0000-0001-7424-0208 Olcoz, Katzalin. editor. (orcid)0000-0002-1821-124X
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-69577-3
Format: Electronic Resources
Availability Online Library~1

Euro-Par 2024: Parallel Processing 30th European Conference on Parallel and Distributed Processing, Madrid, Spain, August 26-30, 2024, Proceedings, Part III

2026-06-14T23:25:21Z

Author Carretero, Jesus. editor. (orcid)0000-0002-1413-4793 Shende, Sameer. editor. (orcid)0000-0002-2592-669X Garcia-Blas, Javier. editor. (orcid)0000-0003-1452-1918 Brandic, Ivona. editor. (orcid)0000-0001-7424-0208 Olcoz, Katzalin. editor. (orcid)0000-0002-1821-124X
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-69583-4
Format: Electronic Resources
Availability Online Library~1

Relational and Algebraic Methods in Computer Science 21st International Conference, RAMiCS 2024, Prague, Czech Republic, August 19-22, 2024, Proceedings

2026-06-14T23:25:21Z

Author Fahrenberg, Uli. editor. Fussner, Wesley. editor. Glück, Roland. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-68279-7
Format: Electronic Resources
Availability Online Library~1

The Practice of Formal Methods Essays in Honour of Cliff Jones, Part I

2026-06-14T23:25:21Z

Author Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976 Baxter, James. editor. (orcid)0000-0001-6083-9607 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-66676-6
Format: Electronic Resources
Availability Online Library~1

Formal Methods Teaching 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings

2026-06-14T23:25:21Z

Author Sekerinski, Emil. editor. (orcid)0000-0001-9788-5842 Ribeiro, Leila. editor. (orcid)0000-0001-7039-092X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-71379-8
Format: Electronic Resources
Availability Online Library~1

Parallel Problem Solving from Nature - PPSN XVIII 18th International Conference, PPSN 2024, Hagenberg, Austria, September 14-18, 2024, Proceedings, Part I

2026-06-14T23:25:21Z

Author Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Winkler, Stephan M. editor. (orcid)0000-0002-5196-4294 Kononova, Anna V. editor. (orcid)0000-0002-4138-7024 Trautmann, Heike. editor. (orcid)0000-0002-9788-8282 Tušar, Tea. editor. (orcid)0000-0002-6495-006X
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-70055-2
Format: Electronic Resources
Availability Online Library~1

Parallel Problem Solving from Nature - PPSN XVIII 18th International Conference, PPSN 2024, Hagenberg, Austria, September 14-18, 2024, Proceedings, Part II

2026-06-14T23:25:21Z

Author Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Winkler, Stephan M. editor. (orcid)0000-0002-5196-4294 Kononova, Anna V. editor. (orcid)0000-0002-4138-7024 Trautmann, Heike. editor. (orcid)0000-0002-9788-8282 Tušar, Tea. editor. (orcid)0000-0002-6495-006X
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-70068-2
Format: Electronic Resources
Availability Online Library~1

Parallel Problem Solving from Nature - PPSN XVIII 18th International Conference, PPSN 2024, Hagenberg, Austria, September 14-18, 2024, Proceedings, Part III

2026-06-14T23:25:21Z

Author Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Winkler, Stephan M. editor. (orcid)0000-0002-5196-4294 Kononova, Anna V. editor. (orcid)0000-0002-4138-7024 Trautmann, Heike. editor. (orcid)0000-0002-9788-8282 Tušar, Tea. editor. (orcid)0000-0002-6495-006X
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-70071-2
Format: Electronic Resources
Availability Online Library~1

Parallel Problem Solving from Nature - PPSN XVIII 18th International Conference, PPSN 2024, Hagenberg, Austria, September 14-18, 2024, Proceedings, Part IV

2026-06-14T23:25:21Z

Author Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Winkler, Stephan M. editor. (orcid)0000-0002-5196-4294 Kononova, Anna V. editor. (orcid)0000-0002-4138-7024 Trautmann, Heike. editor. (orcid)0000-0002-9788-8282 Tušar, Tea. editor. (orcid)0000-0002-6495-006X
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-70085-9
Format: Electronic Resources
Availability Online Library~1

Rules and Reasoning 8th International Joint Conference, RuleML+RR 2024, Bucharest, Romania, September 16-18, 2024, Proceedings

2026-06-14T23:25:21Z

Author Kirrane, Sabrina. editor. (orcid)0000-0002-6955-7718 Šimkus, Mantas. editor. (orcid)0000-0003-0632-0294 Soylu, Ahmet. editor. (orcid)0000-0001-6034-4137 Roman, Dumitru. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-72407-7
Format: Electronic Resources
Availability Online Library~1

Deep Generative Modeling

2026-06-14T23:25:21Z

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

Mindfulness in Medicine A Comprehensive Guide for Healthcare Professionals

2026-06-14T23:25:21Z

Author Chand, Rajat. author. Sazima, Greg. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-66166-2
Format: Electronic Resources
Availability Online Library~1

Foundation Mathematics for Computer Science A Visual Approach

2026-06-14T23:25:21Z

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

Python Arithmetic The Informational Nature of Numbers

2026-06-14T23:25:21Z

Author Manca, Vincenzo. author. (orcid)0000-0002-1304-0277 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-66545-5
Format: Electronic Resources
Availability Online Library~1

Age-Friendly Ecosystems Environments for Equitable Aging by Design

2026-06-14T23:25:21Z

Author Chang Greer , Valerie. editor. (orcid)0000-0002-6132-467X Edelman, Linda S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-68361-9
Format: Electronic Resources
Availability Online Library~1

Formal Methods and Software Engineering 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings

2026-06-14T23:25:21Z

Author Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259 Mery, Dominique. editor. (orcid)0000-0001-5231-6611 Sun, Meng. editor. Liu, Shaoying. editor. (orcid)0000-0002-6748-5052 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-0617-7
Format: Electronic Resources
Availability Online Library~1

Fetal Origin of Diseases

2026-06-14T23:25:21Z

Author Wang, Hui. editor. (orcid)0000-0001-5300-8661 Chen, Liaobin. editor. Xu, Dan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-5730-5
Format: Electronic Resources
Availability Online Library~1

Health Analytics with R Learning Data Science Using Examples from Healthcare and Direct-to-Consumer Genetics

2026-06-14T23:25:21Z

Author Boland, Mary Regina. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-74383-2
Format: Electronic Resources
Availability Online Library~1

Introduction to Python : with applications in optimization, image and video processing, and machine learning

2026-06-14T23:25:21Z

Author Báez López, David, author. Báez Villegas, David Alfredo, author.
Preferred Shelf Number QA76.73 .P98
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003222118 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

SOFTWARE DESIGN BY EXAMPLE a tool-based introduction with python.

2026-06-14T23:25:21Z

Author Wilson, Greg, 1963- author.
Preferred Shelf Number QA76.76 .P37
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781032725239 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

METAVERSE a critical introduction.

2026-06-14T23:25:21Z

Author Burden, David, 1961- author. Savin-Baden, Maggi, 1960- author.
Preferred Shelf Number TK5105.8864
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003395461 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

The ludotronics game design methodology : from first ideas to spectacular pitches and proposals

2026-06-14T23:25:21Z

Author Martin, J. (Professor of game design), author.
Preferred Shelf Number GV1469.3
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003334682 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-06-14T23:25:21Z

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

Deploying Enterprise Systems : How to Select, Configure, Build, Deploy, and Maintain a Successful ES in Your Organization

2026-06-14T23:25:21Z

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

MACHINE LEARNING a comprehensive beginner's guide akshay b. r....et al.

2026-06-14T23:25:21Z

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

POCKET MENTOR FOR GAME AUDIO

2026-06-14T23:25:21Z

Author Lester, Greg. Sands, Jonny.
Preferred Shelf Number GV1469.3
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003368854 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-06-14T23:25:21Z

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

The pocket mentor for video game writers

2026-06-14T23:25:21Z

Author Megill, Anna, author.
Preferred Shelf Number GV1469.34 .A97
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003282259 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

CORES OF GAME DESIGN mechanics, economics, narrative, and aesthetics.

2026-06-14T23:25:21Z

Author Serpa, Yvens R.
Preferred Shelf Number QA76.6
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003351191 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

The teacher's guide to Scratch--beginners : professional development for coding education

2026-06-14T23:25:21Z

Author Hutchence, Kai, author.
Preferred Shelf Number QA76.73 .S345
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003399018 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

The teacher's guide to Scratch--advanced : professional development for coding education

2026-06-14T23:25:21Z

Author Hutchence, Kai, author.
Preferred Shelf Number QA76.73 .S345
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003399056 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

The teacher's guide to Scratch--intermediate : professional development for coding education

2026-06-14T23:25:21Z

Author Hutchence, Kai, author.
Preferred Shelf Number QA76.73 .S345
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003399070 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Designing Games Meant for Sharing.

2026-06-14T23:25:21Z

Author Cazacu, Ioana-Iulia, author.
Preferred Shelf Number GV1469.3
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003314325 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

PLAYFUL PYTHON PROJECTS modeling and animation.

2026-06-14T23:25:21Z

Author Mozgovoy, Maxim, author.
Preferred Shelf Number QA76.73 .P98
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003455295 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

USING METERING TO PERFORM ENERGY MANAGEMENT performing data analytics via the metering system.

2026-06-14T23:25:21Z

Author Barksdale, George, author. Pierce, Kecia, author.
Preferred Shelf Number TK301
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003467113 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

A guide to software quality engineering

2026-06-14T23:25:21Z

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

Jumping computation : updating automata and grammars for discontinuous information processing

2026-06-14T23:25:21Z

Author Meduna, Alexander, 1957- author. Křivka, Zbyněk, author.
Preferred Shelf Number QA76.9 .A43
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003107910 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

The pocket mentor for game community management

2026-06-14T23:25:21Z

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

Getting started in Zbrush : an introduction to digital sculpting and illustration

2026-06-14T23:25:21Z

Author Johnson, Greg, 1969- author.
Preferred Shelf Number T386 .Z33
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003215288 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Mathematics of game development : a collection of applied lessons

2026-06-14T23:25:21Z

Author Enfield, Jacob, author.
Preferred Shelf Number QA76.76 .V54
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781032701431 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Learning professional Python. Volume 2, Advanced

2026-06-14T23:25:21Z

Author Bhimavarapu, Usharani, author. Hemanth, Jude D. Karunya University, India Hemanth, Jude, author.
Preferred Shelf Number QA76.73 .P98
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003462392 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

SOFT COMPUTING IN RENEWABLE ENERGY TECHNOLOGIES

2026-06-14T23:25:21Z

Author El Ouanjli, Najib. Mossa, Mahmoud A. Ouaissa, Mariya. Sanjeevikumar, Padmanaban, 1978- Mahfoud, Said.
Preferred Shelf Number QA76.9 .S63
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003462460 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Mathematical physics using Python applications in physics and engineering

2026-06-14T23:25:21Z

Author Pagonis, Vasilis, author. Kulp, Christopher W., author.
Preferred Shelf Number QC20.7 .E4
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003294320 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Adoption of Emerging Information and Communication Technology for Sustainability.

2026-06-14T23:25:21Z

Author Ziemba, Ewa, editor. Wątróbski, Jarosław, editor.
Preferred Shelf Number T58.5
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003316572 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Embedded software system testing : automatic testing solution based on formal method

2026-06-14T23:25:21Z

Author Yin, Yongfeng, 1978- author. Jiang, Bo, 1981- author. Su, Qingran, translator. Qiu, Ruinan, translator. Guo, Yang (Translator), translator.
Preferred Shelf Number TK7895 .E42
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003390923 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

ZHANG TIME DISCRETIZATION (ZTD) FORMULAS AND APPLICATIONS

2026-06-14T23:25:21Z

Author Zhang, Yunong. Guo, Jinjin.
Preferred Shelf Number QA76.87
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003497783 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-06-14T23:25:21Z

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

The applied genomic epidemiology handbook : a practical guide to leveraging pathogen genomic data in public health

2026-06-14T23:25:21Z

Author Black, Allison, author. Dudas, Gytis, author.
Preferred Shelf Number RA652
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003409809 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Converging minds : the creative potential of collaborative AI

2026-06-14T23:25:21Z

Author Przegalinska, Aleksandra, author. Triantoro, Tamilla, author.
Preferred Shelf Number TA347 .A78
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781032656618 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

CODING ANDROID APPS

2026-06-14T23:25:21Z

Author Polk, Margaret Kozak.
Preferred Shelf Number QA76.76 .A65
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003286325 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Symbolic regression

2026-06-14T23:25:21Z

Author Kronberger, Gabriel, author. Burlacu, Bogdan, author. Kommenda, Michael, author. Winkler, Stephan M., author. Affenzeller, Michael, author.
Preferred Shelf Number QA76.623
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781315166407 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Technical animation in video games

2026-06-14T23:25:21Z

Author Lake, Matthew (Animator), author.
Preferred Shelf Number TR897.7
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003263258 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-06-14T23:25:21Z

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-06-14T23:25:21Z

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

The pocket mentor for video game testing

2026-06-14T23:25:21Z

Author Ali, Harún H., author.
Preferred Shelf Number GV1469.3
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003314806 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

DevOps for data science

2026-06-14T23:25:21Z

Author Gold, Alex K., author.
Preferred Shelf Number QA76.76 .D47
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003213345 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Operating systems : evolutionary concepts and modern design principles

2026-06-14T23:25:21Z

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

Internet of medical things in smart healthcare : post-COVID 19 pandemic scenario

2026-06-14T23:25:21Z

Author Saravanan, Krishnan, 1982- editor. Ilmudeen, Aboobucker, editor.
Preferred Shelf Number R859
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003369035 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

A complete guide to character rigging for games using Blender

2026-06-14T23:25:21Z

Author Halač, Armin, author.
Preferred Shelf Number TR897.72 .B55
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003263166 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Learn R : as a language

2026-06-14T23:25:21Z

Author Aphalo, Pedro J., author.
Preferred Shelf Number QA76.73 .R3 2024
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003404187 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

DRAMATIC STORYTELLING AND NARRATIVE DESIGN a writer's guide to video games and transmedia.

2026-06-14T23:25:21Z

Author Berger, Ross, author.
Preferred Shelf Number GV1469.34 .A97
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003438113 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Graph Coloring From Games to Deterministic and Quantum Approaches.

2026-06-14T23:25:21Z

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

Data science and machine learning for non-programmers : using SAS Enterprise Miner

2026-06-14T23:25:21Z

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

Building a game pitch : how to bottle lightning

2026-06-14T23:25:21Z

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

Shader writing in open shading language : with RenderMan® examples

2026-06-14T23:25:21Z

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

IMAGE PROCESSING RECIPES IN MATLAB

2026-06-14T23:25:21Z

Author Marques, Oge. Borba, Gustavo Benvenutti.
Preferred Shelf Number TA1637
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003170198 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

The Composable Enterprise: Agile, Flexible, Innovative A Gamechanger for Organisations, Digitisation and Business Software

2026-06-14T23:25:21Z

Author Scheer, August-Wilhelm. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-658-43089-4
Format: Electronic Resources
Availability Online Library~1

Device-Edge-Cloud Continuum Paradigms, Architectures and Applications

2026-06-14T23:25:21Z

Author Savaglio, Claudio. editor. Fortino, Giancarlo. editor. Zhou, MengChu. editor. (orcid)0000-0002-5408-8752 Ma, Jianhua. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-42194-5
Format: Electronic Resources
Availability Online Library~1

Quantum Computing Circuits, Systems, Automation and Applications

2026-06-14T23:25:21Z

Author Thapliyal, Himanshu. editor. Humble, Travis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-37966-6
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-06-14T23:25:21Z

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

Tools and Methods of Program Analysis 6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021, Revised Selected Papers

2026-06-14T23:25:21Z

Author Yavorskiy, Rostislav. editor. Cavalli, Ana Rosa. editor. Kalenkova, Anna. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-50423-5
Format: Electronic Resources
Availability Online Library~1

Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II

2026-06-14T23:25:21Z

Author Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-50521-8
Format: Electronic Resources
Availability Online Library~1

Dynamic Logic. New Trends and Applications 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers

2026-06-14T23:25:21Z

Author Gierasimczuk, Nina. editor. Velázquez-Quesada, Fernando R. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-51777-8
Format: Electronic Resources
Availability Online Library~1

Cloud-Native Application Architecture Microservice Development Best Practice

2026-06-14T23:25:21Z

Author Team, FreeWheel Biz-UI. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-9782-2
Format: Electronic Resources
Availability Online Library~1

R-Calculus, V: Description Logics

2026-06-14T23:25:21Z

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

Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I

2026-06-14T23:25:21Z

Author Kobayashi, Naoki. editor. Worrell, James. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-57228-9
Format: Electronic Resources
Availability Online Library~1

Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II

2026-06-14T23:25:21Z

Author Kobayashi, Naoki. editor. Worrell, James. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-57231-9
Format: Electronic Resources
Availability Online Library~1

Finite Element Methods Parallel-Sparse Statics and Eigen-Solutions

2026-06-14T23:25:21Z

Author Nguyen, Duc Thai. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-48788-0
Format: Electronic Resources
Availability Online Library~1

Software Architectures Topics Usually Missed in Textbooks

2026-06-14T23:25:21Z

Author Nagl, Manfred. author. Westfechtel, Bernhard. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-51335-0
Format: Electronic Resources
Availability Online Library~1

NLP application through a rule-based mapping algorithm between natural language questions and SQL using computational linguistics

2026-06-14T23:25:21Z

Author Kedwan, Ftoon, author.
Preferred Shelf Number QA76.9 .N38
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003413899 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Force fabric : how to draw clothes

2026-06-14T23:25:21Z

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

Game design workshop : a playcentric approach to creating innovative games

2026-06-14T23:25:21Z

Author Fullerton, Tracy, author.
Preferred Shelf Number QA76.76 .C672
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003460268 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Data mining with Python : theory, application, and case studies

2026-06-14T23:25:21Z

Author Wu, Di (Computer science teacher), author.
Preferred Shelf Number QA76.9 .D343
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003462781 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

WRITING IN-HOUSE MEDICAL DEVICE SOFTWARE IN COMPLIANCE WITH EU, UK, AND US REGULATIONS

2026-06-14T23:25:21Z

Author Cosgriff, Philip. Memmott, Matthew.
Preferred Shelf Number R858
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003301202 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

SIMPLE INTRODUCTION TO PYTHON

2026-06-14T23:25:21Z

Author Lynch, Stephen.
Preferred Shelf Number QA76.73 .P98
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003472759 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-06-14T23:25:21Z

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

Methods and applications of autonomous experimentation

2026-06-14T23:25:21Z

Author Noack, Marcus M., editor. Ushizima, Daniela, editor.
Preferred Shelf Number Q180
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003359593 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Using generative AI effectively in higher education : sustainable and ethical practices for learning, teaching and assessment

2026-06-14T23:25:21Z

Author Beckingham, Sue, editor. Lawrence, Jenny (Writer on education and training), editor. Powell, Stephen, 1966- editor. Hartley, Peter, 1946- editor.
Preferred Shelf Number LB1028.43 .U75 2024 EB
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003482918 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

GAME NARRATIVE DESIGN AND UX FUNDAMENTALS tools for player-centric storytelling.

2026-06-14T23:25:21Z

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

Machine Learning and Python for Human Behavior, Emotion, and Health Status Analysis

2026-06-14T23:25:21Z

Author Zia Uddin, Md, author.
Preferred Shelf Number TK7881.25
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003425908 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Software Project Management Methods and Techniques.

2026-06-14T23:25:21Z

Author Peters, Lawrence J.
Preferred Shelf Number QA76.76 .D47
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003484288 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

GAME DESIGN DEEP DIVE shooters.

2026-06-14T23:25:21Z

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

GAME DESIGN DEEP DIVE soulslike.

2026-06-14T23:25:21Z

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

The game design toolbox

2026-06-14T23:25:21Z

Author Annander, Martin, author.
Preferred Shelf Number GV1469.3
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003332756 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-06-14T23:25:21Z

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

Intelligent systems of computing and informatics

2026-06-14T23:25:21Z

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

DEEP LEARNING FOR ENGINEERS

2026-06-14T23:25:21Z

Author Arif, Tariq M. Rahim, Md. Adilur.
Preferred Shelf Number TA160
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003402923 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

The golden age of data visualization how did we get here?

2026-06-14T23:25:21Z

Author Marriott, Kim, author.
Preferred Shelf Number QA76.9 .I52
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003507642 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

MODEL-DRIVEN SOFTWARE SYSTEMS DEVELOPMENT USING THE META-ARTIFACT PROCESS

2026-06-14T23:25:21Z

Author O'Brien, Wayne.
Preferred Shelf Number QA76.76 .D47
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003448891 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Tiny Android projects using Kotlin.

2026-06-14T23:25:21Z

Author Panjuta, Denis, author. Nwokike, Loveth, author.
Preferred Shelf Number QA76.8 .G2
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781032622538 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Animation in Germany

2026-06-14T23:25:21Z

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

Metaheuristic Algorithms : Theory and Practice

2026-06-14T23:25:21Z

Author Wang, Gai-Ge, 1984- author. Zhao, Xiaoqi, author. Li, Keqin, 1963- author.
Preferred Shelf Number QA76.9 .A43
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003422426 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Internet of Things Applications and Technology

2026-06-14T23:25:21Z

Author Masoodi, Faheem. Bamhdi, Alwi. Manocha, Ankush. Teli, Tawseef Ahmed. Masoodi, Zubair Sayeed.
Preferred Shelf Number TK5105.875 .I57
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003458401 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

ROBUST CONTROL ALGORITHMS FOR FLEXIBLE MANIPULATORS

2026-06-14T23:25:21Z

Author Locham, Kshetrimayum.
Preferred Shelf Number T55.3 .M35
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003345268 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

HANDBOOK ON FEDERATED LEARNING advances, applications and opportunities.

2026-06-14T23:25:21Z

Author Saravanan, Krishnan, 1982- Anand, A. Jose, 1975- Srinivasan, R. Kavitha, R., 1984- Suresh, S.
Preferred Shelf Number Q325.5
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003384854 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

SMART VR/AR/MR SYSTEMS FOR PROFESSIONALS

2026-06-14T23:25:21Z

Author Subburaj, Karupppasamy. Singh, Sunpreet. Ćuković, Saša. Sandhu, Kamalpreet. Meixner, Gerrit, 1980-
Preferred Shelf Number QA76.9 .C65
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003306078 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 artificial intelligence technologies for smart energy systems

2026-06-14T23:25:21Z

Author Sun, Hongjian, author. Hun, Weiqi, author. You, MingLei, author.
Preferred Shelf Number TK3105
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003170440 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

The game narrative toolbox

2026-06-14T23:25:21Z

Author Heussner, Tobias, author. Finley, Toiya Kristen, author. Hepler, Jennifer Brandes, author. Lemay, Ann, author.
Preferred Shelf Number QA76.76 .C672
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003369332 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

WORLD DESIGN FOR 2D ACTION ADVENTURES level design practices.

2026-06-14T23:25:21Z

Author Totten, Christopher W. Sandoval, Adrian.
Preferred Shelf Number GV1469.3
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003441984 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

BLOCKCHAIN IN ENERGY

2026-06-14T23:25:21Z

Author Veuger, Jan.
Preferred Shelf Number QA76.9 .B56
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003243229 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Michel Ocelot : a world of animated images

2026-06-14T23:25:21Z

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

Algoritma ve programlama mantığı

2026-06-14T23:25:21Z

Author Tungut, H. Burak
Preferred Shelf Number QA76.9.A43 T86 2024
Format: Books
Availability Beytepe Library~1

Domain-Specific Computer Architectures for Emerging Applications : Machine Learning and Neural Networks

2026-06-14T23:25:21Z

Author Wang, Chao (Computer scientist), author.
Preferred Shelf Number QA76.9 .A73
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9780429355080 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Business planning for games

2026-06-14T23:25:21Z

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

HOW AND WHY WE MAKE GAMES the creative confusion.

2026-06-14T23:25:21Z

Author Fijak, Marta. Ganszyniec, Artur.
Preferred Shelf Number GV1469.3
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003325031 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Quantum service-oriented computing : a proposal for quantum software as a service

2026-06-14T23:25:21Z

Author Romero-Álvarez, Javier, author. Alvarado-Valiente, Jaime, author. Moguel, Enrique, author. Garcia-Alonso, José, author. Murillo, Juan M., author.
Preferred Shelf Number QA76.889
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9788770046336 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

TRANSITION TO ADVANCED ANALYTICS get a return on your analytics investment.

2026-06-14T23:25:21Z

Author Tan, Jason. Ferris, Brian.
Preferred Shelf Number QA76.9 .Q36
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003408222 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

User Experience Research and Usability of Health Information Technology

2026-06-14T23:25:21Z

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

Rig it right! : Maya animation rigging concepts

2026-06-14T23:25:21Z

Author O'Hailey, Tina, author.
Preferred Shelf Number TR897.77
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003431121 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Soft Computing Principles and Integration for Real-Time Service-Oriented Computing

2026-06-14T23:25:21Z

Author Gupta, Punit. Saini, Dinesh Kumar, 1974- Zia, Kashif.
Preferred Shelf Number QA76.9 .S63
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781032716718 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-06-14T23:25:21Z

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

Little computer scientists

2026-06-14T23:25:21Z

Author Darling, Julie, author. Cools, Darren, illustrator.
Preferred Shelf Number QA76.23
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003501510 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

What every engineer should know about digital accessibility

2026-06-14T23:25:21Z

Author Horton, Sarah, 1962- author. Sloan, David (Writer on digital accessibility), author.
Preferred Shelf Number T173.8
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003288060 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 RADIOLOGY

2026-06-14T23:25:21Z

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

Professional JavaScript for web developers

2026-06-14T23:25:21Z

Author Frisbie, Matt, author.
Preferred Shelf Number TK5105.8885 .J38 Z34 2024
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394193240
Format: Electronic Resources
Availability Online Library~1

CompTIA DataSys+ study guide : exam DSO-001

2026-06-14T23:25:21Z

Author Chapple, Mike, 1975- author. Nijim, Sharif, author.
Preferred Shelf Number QA76.3 .C43 2024
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394277094
Format: Electronic Resources
Availability Online Library~1

Machine and deep learning using MATLAB : algorithms and tools for scientists and engineers

2026-06-14T23:25:21Z

Author Al-Malah, Kamal I. M., author.
Preferred Shelf Number TA345.5 .M42 A46 2024
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394209118
Format: Electronic Resources
Availability Online Library~1

Cybernetical intelligence : engineering cybernetics with machine intelligence

2026-06-14T23:25:21Z

Author Wong, Kelvin K. L., author.
Preferred Shelf Number Q325.5 .W637 2023
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394217519
Format: Electronic Resources
Availability Online Library~1

Professional C++

2026-06-14T23:25:21Z

Author Gregoire, Marc (Software engineer), author.
Preferred Shelf Number QA76.73 .C153 G733 2024
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394193202
Format: Electronic Resources
Availability Online Library~1

Model-based optimization for petroleum refinery configuration design

2026-06-14T23:25:21Z

Author Khor, Cheng Seong, author
Preferred Shelf Number TH4571 .K46 2024
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9783527826100
Format: Electronic Resources
Availability Online Library~1

Knowledge production modes between science and applications. 1, Concepts

2026-06-14T23:25:21Z

Author André, Jean-Claude, author.
Preferred Shelf Number T173.8 .A53 2024
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394275854
Format: Electronic Resources
Availability Online Library~1

Getting great results with Excel pivot tables, PowerQuery, and PowerPivot

2026-06-14T23:25:21Z

Author Fragale, Thomas, author.
Preferred Shelf Number HF5548.4 .M523 F73 2024
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394319824
Format: Electronic Resources
Availability Online Library~1

DNA nanotechnology for cell research : from bioanalysis to biomedicine

2026-06-14T23:25:21Z

Author Nie, Zhou, editor.
Preferred Shelf Number QP624
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9783527840816
Format: Electronic Resources
Availability Online Library~1

How machine learning is innovating today's world : a concise technical guide

2026-06-14T23:25:21Z

Author Dey, Arindam, editor.
Preferred Shelf Number Q325.5
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394214167
Format: Electronic Resources
Availability Online Library~1

x86 software reverse-engineering, cracking, and counter-measures

2026-06-14T23:25:21Z

Author Domas, Stephanie, author. Domas, Christopher, author.
Preferred Shelf Number QA76.9 .A25 D66 2024
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394277131
Format: Electronic Resources
Availability Online Library~1

R-ticulate : a beginner's guide to data analysis for natural scientists

2026-06-14T23:25:21Z

Author Bader, Martin (Professor), author. Leuzinger, Sebastian, author.
Preferred Shelf Number Q183.9 .B33 2024
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119717980
Format: Electronic Resources
Availability Online Library~1

Artificial intelligence for autonomous vehicles

2026-06-14T23:25:21Z

Author Rajendran, Sathiyaraj, editor.
Preferred Shelf Number TL152.8 .A78 2024
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119847656
Format: Electronic Resources
Availability Online Library~1

Introduction to Quantum Computing From a Layperson to a Programmer in 30 Steps

2026-06-14T23:25:21Z

Author Wong, Hiu Yung. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-36985-8
Format: Electronic Resources
Availability Online Library~1

Algorithmic Discrimination and Ethical Perspective of Artificial Intelligence

2026-06-14T23:25:21Z

Author Kılıç, Muharrem. editor. Bozkuş Kahyaoğlu, Sezer. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-6327-0
Format: Electronic Resources
Availability Online Library~1

Deep Learning Networks Design, Development and Deployment

2026-06-14T23:25:21Z

Author Singaram, Jayakumar. author. Iyengar, S. S. author. Madni, Azad M. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-39244-3
Format: Electronic Resources
Availability Online Library~1

Logic Circuit Design Selected Topics and Methods

2026-06-14T23:25:21Z

Author Vingron, Shimon P. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-40673-7
Format: Electronic Resources
Availability Online Library~1

Indexing on Non-Volatile Memory Techniques, Lessons Learned and Outlook

2026-06-14T23:25:21Z

Author Huang, Kaisong. author. (orcid)0000-0001-7919-5426 Wang, Tianzheng. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-47627-3
Format: Electronic Resources
Availability Online Library~1

Formal Methods: Foundations and Applications 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings

2026-06-14T23:25:21Z

Author Barbosa, Haniel. editor. Zohar, Yoni. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-49342-3
Format: Electronic Resources
Availability Online Library~1

Introduction to Compiler Design

2026-06-14T23:25:21Z

Author Mogensen, Torben Ægidius. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-46460-7
Format: Electronic Resources
Availability Online Library~1

Machine Learning Crash Course for Engineers

2026-06-14T23:25:21Z

Author Hossain, Eklas. author. (orcid)0000-0003-2332-8095 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-46990-9
Format: Electronic Resources
Availability Online Library~1

Digital Signal Processing Illustration Using Python

2026-06-14T23:25:21Z

Author Esakkirajan, S. author. Veerakumar, T. author. (orcid)0000-0001-9084-1847 N Subudhi, Badri. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-6752-0
Format: Electronic Resources
Availability Online Library~1

Computer Science in Sport Modeling, Simulation, Data Analysis and Visualization of Sports-Related Data

2026-06-14T23:25:21Z

Author Memmert, Daniel. editor. (orcid)0000-0002-3406-9175 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-68313-2
Format: Electronic Resources
Availability Online Library~1

Chatbot Research and Design 7th International Workshop, CONVERSATIONS 2023, Oslo, Norway, November 22-23, 2023, Revised Selected Papers

2026-06-14T23:25:21Z

Author Følstad, Asbjørn. editor. (orcid)0000-0003-2763-0996 Araujo, Theo. editor. Papadopoulos, Symeon. editor. Law, Effie L.-C. editor. Luger, Ewa. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-54975-5
Format: Electronic Resources
Availability Online Library~1

Trajectory Optimization and Guidance Methods for Mars Entry

2026-06-14T23:25:21Z

Author Li, Shuang. author. (orcid)0000-0001-9142-5036 Liu, Xu. author. Jiang, Xiu-qiang. author. Peng, Yu-ming. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-6282-2
Format: Electronic Resources
Availability Online Library~1

Evolutionary Artificial Intelligence Proceedings of ICEAI 2023

2026-06-14T23:25:21Z

Author Asirvatham, David. editor. Gonzalez-Longatt, Francisco M. editor. Falkowski-Gilski, Przemyslaw. editor. Kanthavel, R. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-8438-1
Format: Electronic Resources
Availability Online Library~1

Human and Artificial Rationalities Second International Conference, HAR 2023, Paris, France, September 19-22, 2023, Proceedings

2026-06-14T23:25:21Z

Author Baratgin, Jean. editor. (orcid)0000-0001-9566-486X Jacquet, Baptiste. editor. (orcid)0000-0001-5310-2789 Yama, Hiroshi. editor. (orcid)0000-0003-1612-3550 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-55245-8
Format: Electronic Resources
Availability Online Library~1

Software Technologies 18th International Conference, ICSOFT 2023, Rome, Italy, July 10-12, 2023, Revised Selected Papers

2026-06-14T23:25:21Z

Author Fill, Hans-Georg. editor. (orcid)0000-0001-5076-5341 Domínguez Mayo, Francisco José. editor. van Sinderen, Marten. editor. (orcid)0000-0001-7118-1353 Maciaszek, Leszek A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-61753-9
Format: Electronic Resources
Availability Online Library~1

Reversible Computation 16th International Conference, RC 2024, Toruń, Poland, July 4-5, 2024, Proceedings

2026-06-14T23:25:21Z

Author Mogensen, Torben Ægidius. editor. (orcid)0000-0003-4862-9193 Mikulski, Łukasz. editor. (orcid)0000-0002-6711-557X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-62076-8
Format: Electronic Resources
Availability Online Library~1

Learning Analytics Methods and Tutorials A Practical Guide Using R

2026-06-14T23:25:21Z

Author Saqr, Mohammed. editor. (orcid)0000-0001-5881-3109 López-Pernas, Sonsoles. editor. (orcid)0000-0002-9621-1392 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-54464-4
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-06-14T23:25:21Z

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-06-14T23:25:21Z

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

Graph Transformation 17th International Conference, ICGT 2024, Held as Part of STAF 2024, Enschede, The Netherlands, July 10-11, 2024, Proceedings

2026-06-14T23:25:21Z

Author Harmer, Russ. editor. (orcid)0000-0002-0817-1029 Kosiol, Jens. editor. (orcid)0000-0003-4733-2777 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-64285-2
Format: Electronic Resources
Availability Online Library~1

Internet Modeling with Julia Models, Algorithms and Programs

2026-06-14T23:25:21Z

Author Hofmann, Ulrich. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-658-44692-5
Format: Electronic Resources
Availability Online Library~1

The Modern Business Data Analyst A Case Study Introduction into Business Data Analytics with CRISP-DM and R

2026-06-14T23:25:21Z

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

Rewriting Logic and Its Applications 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers

2026-06-14T23:25:21Z

Author Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259 Martí-Oliet, Narciso. editor. (orcid)0000-0002-6576-762X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-65941-6
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers

2026-06-14T23:25:21Z

Author Aldini, Alessandro. editor. (orcid)0000-0002-7250-5011 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-66021-4
Format: Electronic Resources
Availability Online Library~1

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

2026-06-14T23:25:21Z

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

Learning Java A Test-Driven Approach

2026-06-14T23:25:21Z

Author Crotts, Joshua. author. (orcid)0000-0002-7513-5618 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-66638-4
Format: Electronic Resources
Availability Online Library~1

Networked Systems 12th International Conference, NETYS 2024, Rabat, Morocco, May 29-31, 2024, Proceedings

2026-06-14T23:25:21Z

Author Castañeda, Armando. editor. (orcid)0000-0002-8017-8639 Enea, Constantin. editor. Gupta, Nirupam. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-67321-4
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-06-14T23:25:21Z

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

Computational Thinking First Algorithms, Then Code

2026-06-14T23:25:21Z

Author Ferragina, Paolo. author. Luccio, Fabrizio. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-59922-4
Format: Electronic Resources
Availability Online Library~1

Agile-SOFL Agile Formal Engineering Method

2026-06-14T23:25:21Z

Author Liu, Shaoying. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-2285-3
Format: Electronic Resources
Availability Online Library~1

Learning C# Through Small Projects

2026-06-14T23:25:21Z

Author Panjuta, Denis. author. (orcid)0009-0001-4855-9300 Jabbarzadeh, Jafar. author. (orcid)0009-0004-3534-795X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-51914-7
Format: Electronic Resources
Availability Online Library~1

Microbial Omics in Environment and Health

2026-06-14T23:25:21Z

Author Kesheri, Minu. editor. (orcid)0000-0003-3262-7564 Kanchan, Swarna. editor. Salisbury, Travis B. editor. Sinha, Rajeshwar P. editor. (orcid)0000-0002-0112-6161 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-1769-9
Format: Electronic Resources
Availability Online Library~1

Mathematical Optimization Theory and Operations Research 23rd International Conference, MOTOR 2024, Omsk, Russia, June 30-July 6, 2024, Proceedings

2026-06-14T23:25:21Z

Author Eremeev, Anton. editor. (orcid)0000-0001-5289-7874 Khachay, Michael. editor. (orcid)0000-0003-3555-0080 Kochetov, Yury. editor. (orcid)0000-0001-7123-8647 Mazalov, Vladimir. editor. (orcid)0000-0003-2262-2620 Pardalos, Panos. editor. (orcid)0000-0001-9623-8053
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-62792-7
Format: 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-06-14T23:25:21Z

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

Evaluation of Novel Approaches to Software Engineering 18th International Conference, ENASE 2023, Prague, Czech Republic, April 24-25, 2023, Revised Selected Papers

2026-06-14T23:25:21Z

Author Kaindl, Hermann. editor. Mannion, Mike. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-64182-4
Format: Electronic Resources
Availability Online Library~1

Rigorous State-Based Methods 10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings

2026-06-14T23:25:21Z

Author Bonfanti, Silvia. editor. (orcid)0000-0001-9679-4551 Gargantini, Angelo. editor. (orcid)0000-0002-4035-0131 Leuschel, Michael. editor. (orcid)0000-0002-4595-1518 Riccobene, Elvinia. editor. (orcid)0000-0002-1400-1026 Scandurra, Patrizia. editor. (orcid)0000-0002-9209-3624
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-63790-2
Format: Electronic Resources
Availability Online Library~1

Robust Argumentation Machines First International Conference, RATIO 2024, Bielefeld, Germany, June 5-7, 2024, Proceedings

2026-06-14T23:25:21Z

Author Cimiano, Philipp. editor. (orcid)0000-0002-4771-441X Frank, Anette. editor. (orcid)0000-0003-4706-9817 Kohlhase, Michael. editor. (orcid)0000-0002-9859-6337 Stein, Benno. editor. (orcid)0000-0001-9033-2217 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-63536-6
Format: Electronic Resources
Availability Online Library~1

Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers

2026-06-14T23:25:21Z

Author Reynolds, Andrew. editor. Tasiran, Serdar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-66064-1
Format: Electronic Resources
Availability Online Library~1

Developments in Language Theory 28th International Conference, DLT 2024, Göttingen, Germany, August 12-16, 2024, Proceedings

2026-06-14T23:25:21Z

Author Day, Joel D. editor. (orcid)0000-0002-3660-7766 Manea, Florin. editor. (orcid)0000-0001-6094-3324 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-66159-4
Format: Electronic Resources
Availability Online Library~1

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

2026-06-14T23:25:21Z

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

The Practice of Formal Methods Essays in Honour of Cliff Jones, Part II

2026-06-14T23:25:21Z

Author Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976 Baxter, James. editor. (orcid)0000-0001-6083-9607 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-66673-5
Format: Electronic Resources
Availability Online Library~1

The Application of Formal Methods Essays Dedicated to Jim Woodcock on the Occasion of His Retirement

2026-06-14T23:25:21Z

Author Foster, Simon. editor. (orcid)0000-0002-9889-9514 Sampaio, Augusto. editor. (orcid)0000-0001-6593-577X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-67114-2
Format: Electronic Resources
Availability Online Library~1

Logic-Based Program Synthesis and Transformation 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024, Proceedings

2026-06-14T23:25:21Z

Author Bowles, Juliana. editor. (orcid)0000-0002-5918-9114 Søndergaard, Harald. editor. (orcid)0000-0002-2352-1883 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-71294-4
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-06-14T23:25:21Z

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

Reachability Problems 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings

2026-06-14T23:25:21Z

Author Kovács, Laura. editor. (orcid)0000-0002-8299-2714 Sokolova, Ana. editor. (orcid)0000-0002-8384-3438 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-72621-7
Format: Electronic Resources
Availability Online Library~1

Engineering Multi-Agent Systems 12th International Workshop, EMAS 2024, Auckland, New Zealand, May 6-7, 2024, Revised Selected Papers

2026-06-14T23:25:21Z

Author Briola, Daniela. editor. (orcid)0000-0003-1994-8929 Cardoso, Rafael C. editor. (orcid)0000-0001-6666-6954 Logan, Brian. editor. (orcid)0000-0003-0648-7107 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-71152-7
Format: Electronic Resources
Availability Online Library~1

R for Basic Biostatistics in Medical Research

2026-06-14T23:25:21Z

Author Srinivasan, Anand. editor. Mishra, Archana. editor. (orcid)0000-0001-8837-299X Kumar-M, Praveen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-6980-3
Format: Electronic Resources
Availability Online Library~1

MATLAB Lessons, Examples, and Exercises A Tutorial for Beginners and Experts

2026-06-14T23:25:21Z

Author Rahmani-Andebili, Mehdi. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-76177-5
Format: Electronic Resources
Availability Online Library~1

ICT Systems and Sustainability Proceedings of ICT4SD 2024, Volume 5

2026-06-14T23:25:21Z

Author Tuba, Milan. editor. Akashe, Shyam. editor. Joshi, Amit. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-8537-7
Format: Electronic Resources
Availability Online Library~1