Search Results for Computer programming

Digital computer programming

2026-03-13T14:10:45Z

Author Stark, Peter A.
Preferred Shelf Number QA 76.5 S7 1967
Format: Books
Availability Beytepe Library~1

Digital computer programming

2026-03-13T14:10:45Z

Author McCracken, D. D.
Preferred Shelf Number QA 76 M23 1957
Format: Books
Availability Beytepe Library~1

Computer programming fundamentals

2026-03-13T14:10:45Z

Author Leeds, Herbert D. Weinberg, Gerald M., ort. yaz.
Preferred Shelf Number QA 76.5 L42 1961
Format: Books
Availability Beytepe Library~1

Computer programming in BASIC

2026-03-13T14:10:45Z

Author Çetinkaya, Yüksel.
Preferred Shelf Number QA 76.73.B3 C338 1988
Format: Books
Availability Beytepe Library~2

Computer organization and programming

2026-03-13T14:10:45Z

Author Gear, Charles William.
Preferred Shelf Number QA 76.6 G38 1974
Format: Books
Availability Beytepe Library~1

Introduction to computer programming

2026-03-13T14:10:45Z

Author Cutler, Donald I.
Preferred Shelf Number QA 76.5 C8 1972
Format: Books
Availability Beytepe Library~1

Computer programming : fortran IV

2026-03-13T14:10:45Z

Author Anderson, Decima M.
Preferred Shelf Number QA 76.5 A49 1966
Format: Books
Availability Beytepe Library~1

Computer programming fror chemists

2026-03-13T14:10:45Z

Author Wiberg, Kenneth B.
Preferred Shelf Number QD 251 W6305 1965
Format: Books
Availability Beytepe Library~1

Computer programming and autocodes

2026-03-13T14:10:45Z

Author Burnett-Hall, D. G. Dresel, L. A. G., ort. yaz. Samet, P. A., ort. yaz.
Preferred Shelf Number QA 76.5 B83 1964
Format: Books
Availability Beytepe Library~1

Programming principles in computer graphics

2026-03-13T14:10:45Z

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

Computer programming : using GNU Smalltalk

2026-03-13T14:10:45Z

Author Gökel, Canol.
Preferred Shelf Number QA76.64 .G65 2009
Format: Books
Availability Beytepe Library~2

Computer graphics : a programming approach

2026-03-13T14:10:45Z

Author Harrington, Steven.
Preferred Shelf Number T 385 H34 1987
Format: Books
Availability Beytepe Library~1

Principles of business computer programming

2026-03-13T14:10:45Z

Author Breckner, David. Abel, Peter, ort. yaz.
Preferred Shelf Number HF 5548.2 B73 1970
Format: Books
Availability Beytepe Library~1

Computer programming and formal systems

2026-03-13T14:10:45Z

Author Braffort, P. Hirschberg, D., ed.
Preferred Shelf Number QA 76 B7 1967
Format: Books
Availability Beytepe Library~1

Computer programming and computer systems

2026-03-13T14:10:45Z

Author Hassitt, Anthony.
Preferred Shelf Number QA 76.5 H4 1967
Format: Books
Availability Beytepe Library~1

The art of computer programming

2026-03-13T14:10:45Z

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

Handbook of computer programming with Python

2026-03-13T14:10:45Z

Author Xanthidis, Dimitrios, editor. Manolas, Christos, editor. Xanthidou, Ourania K., editor. Wang, Han-I, editor.
Preferred Shelf Number QA76.73 .P98
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003139010 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Computer numerical control : operation and programming

2026-03-13T14:10:45Z

Author Stenerson, Jon. Curran, Kelly, ort. yaz.
Preferred Shelf Number TJ1189 .S72 2007
Format: Books
Availability Beytepe Library~3

Geometric programming for computer aided design

2026-03-13T14:10:45Z

Author Paoluzzi, Alberto. Pascucci, Valerio.
Preferred Shelf Number ONLINE
Electronic Access e-book Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Format: Electronic Resources
Availability Online Library~1

Computer programming : fortran and other languages

2026-03-13T14:10:45Z

Author Rao, P. V. S.
Preferred Shelf Number QA 76.7 R18 1981
Format: Books
Availability Beytepe Library~1

Introduction to computer programming for chemistry

2026-03-13T14:10:45Z

Author Isenhour, Thomas L. Jurs, Peter C., ort. yaz.
Preferred Shelf Number QD 42 I84 1972
Format: Books
Availability Beytepe Library~1

Programming : an introduction to computer techniques

2026-03-13T14:10:45Z

Author Maurer, Ward Douglas, 1938-
Preferred Shelf Number QA76.6 M39 1972
Format: Books
Availability Beytepe Library~1

Computer programming with COMIT II

2026-03-13T14:10:45Z

Author Yngve, Victor H., 1920-
Preferred Shelf Number QA 76.73.C27 Y53 1972
Format: Books
Availability Beytepe Library~1

Analog/logic computer programming and simulation

2026-03-13T14:10:45Z

Author Ricci, Fred J.
Preferred Shelf Number QA 76.4 R53 1973
Format: Books
Availability Beytepe Library~1

Computer programming in quantitative biology

2026-03-13T14:10:45Z

Author Davies, R. G. (Richard Gareth), 1920-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780122062506
Format: Electronic Resources
Availability Online Library~1

The psychology of computer programming

2026-03-13T14:10:45Z

Author Weinberg, Gerald M.
Preferred Shelf Number QA 76.6 W45 1971
Format: Books
Availability Beytepe Library~1

Computer courses : systems analysis and programming.

2026-03-13T14:10:45Z

Author National Computing Centre Limited.
Preferred Shelf Number QA 76 N312 1971
Format: Books
Availability Beytepe Library~1

Introduction to programming and computer science

2026-03-13T14:10:45Z

Author Ralston, Anthony.
Preferred Shelf Number QA 76.5 R3 1971 P
Format: Books
Availability Beytepe Library~1

Beginner's guide to computer programming

2026-03-13T14:10:45Z

Author Ward, Brice.
Preferred Shelf Number QA 76.5 W258 1971
Format: Books
Availability Beytepe Library~1

Computer programming in quantitative biology

2026-03-13T14:10:45Z

Author Davies, Richard Gareth.
Preferred Shelf Number QH 324.2 D38 1971
Format: Books
Availability Beytepe Library~1

Computer data processing and programming

2026-03-13T14:10:45Z

Author Gildersleeve, Thomas Robert.
Preferred Shelf Number QA 76 G48 1970
Format: Books
Availability Beytepe Library~1

On the management of computer programming

2026-03-13T14:10:45Z

Author Weinwurm, George F.
Preferred Shelf Number T 57.5 W44 1970
Format: Books
Availability Beytepe Library~1

Programming real-time computer systems

2026-03-13T14:10:45Z

Author Martin, James Thomas.
Preferred Shelf Number HF 5548.3 M3 1965
Format: Books
Availability Beytepe Library~1

Computer programming and formal systems

2026-03-13T14:10:45Z

Author Braffort, P. (Paul), editor. Hirschberg, D. (David), editor.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444534002
Format: Electronic Resources
Availability Online Library~1

Computer programming and formal systems

2026-03-13T14:10:45Z

Author Braffort, P. (Paul) Hirschberg, D. (David)
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444533913
Format: Electronic Resources
Availability Online Library~1

MUSE OF CODING computer programming as art.

2026-03-13T14:10:45Z

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

COMPUTER ARITHMETIC IN PRACTICE exercises and programming.

2026-03-13T14:10:45Z

Author Gryś, Sławomir, author.
Preferred Shelf Number QA76.9 .C62
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003363286 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

An Introduction to Python and Computer Programming

2026-03-13T14:10:45Z

Author Zhang, Yue. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-287-609-6
Format: Electronic Resources
Availability Online Library~1

Concepts, techniques, and models of computer programming

2026-03-13T14:10:45Z

Author Van-Roy, Peter. Haridi, Seif.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267353
Format: Electronic Resources
Availability Online Library~1

Data processing & computer programming : a modular approach

2026-03-13T14:10:45Z

Author Cashman, Thomas. J. Keys, William J., ort. yaz.
Preferred Shelf Number QA 76 C363 1971
Format: Books
Availability Beytepe Library~1

Programming and computer techniques in experimental physics

2026-03-13T14:10:45Z

Author Skobel'tsyn, D. V., ed.
Preferred Shelf Number QA 76 P9433 1970
Format: Books
Availability Beytepe Library~1

Formal Methods for Multicore Programming 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures

2026-03-13T14:10:45Z

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

Computer technology and computer programming : new research and strategies

2026-03-13T14:10:45Z

Author Antonakos, James L.
Preferred Shelf Number QA76.6 .C66 2011
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures

2026-03-13T14:10:45Z

Author Aldini, Alessandro. editor. Bernardo, Marco. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13678-8
Format: Electronic Resources
Availability Online Library~1

Automatic Quantum Computer Programming A Genetic Programming Approach

2026-03-13T14:10:45Z

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

Mathematical and Computer Programming Techniques for Computer Graphics

2026-03-13T14:10:45Z

Author Comninos, Peter. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-292-8
Format: Electronic Resources
Availability Online Library~1

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

2026-03-13T14:10:45Z

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

Çokluortamın bilgisayar programlama başarısı üzerine etkisi = The effects of multimedia on computer programming achievement

2026-03-13T14:10:45Z

Author Gültekin, Kerem.
Preferred Shelf Number TEZ/7786 .G973 2006
Format: Books
Availability Beytepe Library~1

Symbolic C++ : an introduction to computer algebra using object-oriented programming

2026-03-13T14:10:45Z

Author Tan, Kiat Shi, 1972- Steeb, Willi-Hans. Hardy, Yorick.
Preferred Shelf Number QA76.64 T36 2000
Format: Books
Availability Beytepe Library~1

Genetic programming : an introduction on the automatic evolution of computer programs and its applications

2026-03-13T14:10:45Z

Author Banzhaf, Wolfgang, 1955-
Preferred Shelf Number QA76.623 G46 1998
Format: Books
Availability Beytepe Library~1

Linear programming for managerial decisions : a non-algorithmic approach with computer applications

2026-03-13T14:10:45Z

Author Acar, Ahmet.
Preferred Shelf Number HD 20.5 A168 1998
Format: Books
Availability Beytepe Library~1

Programming with class A C++ introduction to computer science

2026-03-13T14:10:45Z

Author Kamin, Samuel N. Reingold, Edward M., ort.yaz.
Preferred Shelf Number QA76.73.C153 K154 1996
Format: Books
Availability Beytepe Library~1

Introduction to computer science : programming, problem solving, and data structure

2026-03-13T14:10:45Z

Author Naps, Thomas L. Nance, W. Douglas, ort. yaz.
Preferred Shelf Number QA 76.6 N354 1995 B
Format: Books
Availability Beytepe Library~1

Instructor's manuel and test bank to accompany introduction to computer science : programming, problem solving and data structures

2026-03-13T14:10:45Z

Author Nance, Douglas W. Nance, Douglas W., ort. yaz. Cowles, James A.
Preferred Shelf Number QA 76.6 N354 1995 V.1
Format: Books
Availability Beytepe Library~3

A first course in computer programming using PASCAL

2026-03-13T14:10:45Z

Author Keller, Arthur M.
Preferred Shelf Number QA 76.73.P2 K44 1982
Format: Books
Availability Beytepe Library~1

Computer languages : a practical guide to the chief programming languages

2026-03-13T14:10:45Z

Author Sanderson, Peter C.
Preferred Shelf Number QA 76 S29 1970
Format: Books
Availability Beytepe Library~1

Systematic analogue computer programming : an introduction for students of science and engineering

2026-03-13T14:10:45Z

Author Charlesworth, Alan Stuart, 1935- Fletcher, J. R., ort. yaz.
Preferred Shelf Number QA 76.4 C45 1967
Format: Books
Availability Beytepe Library~1

The computer and chemistry : an introduction to programming and numerical methods

2026-03-13T14:10:45Z

Author Dickson, Thomas R.
Preferred Shelf Number QD 42 D53 1968
Format: Books
Availability Beytepe Library~1

The calculus of chemistry : with an introduction to computer programming

2026-03-13T14:10:45Z

Author Butler, James Newton. Bobrow, Daniel Gureasko, ort. yaz.
Preferred Shelf Number QD 42 B9772 1965 C
Format: Books
Availability Beytepe Library~1

Diferansiyel denklemler ve Matlab çözümleri

2026-03-13T14:10:45Z

Author Arifoğlu, Uğur.
Preferred Shelf Number QA371 A74 2021
Format: Books
Availability Beytepe Library~2

A computel-constable course

2026-03-13T14:10:45Z

Author Rothery, Brian, ed.
Preferred Shelf Number QA 76 R6 1971 V.1
Format: Books
Availability Beytepe Library~3

MATLAB ile çok kriterli karar verme teknikleri

2026-03-13T14:10:45Z

Author Özçalıcı, Mehmet.
Preferred Shelf Number QA297 O93 2021
Format: Books
Availability Beytepe Library~1

MATLAB ile çok kriterli karar verme teknikleri

2026-03-13T14:10:45Z

Author Özçalıcı, Mehmet.
Preferred Shelf Number QA297 O93 2017
Format: Books
Availability Beytepe Library~1

Programlama sanatı algoritmalar

2026-03-13T14:10:45Z

Author Çölkesen, Rıfat.
Preferred Shelf Number QA76.6 C65 2011
Format: Books
Availability Beytepe Library~1

Python tabanlı algoritma

2026-03-13T14:10:45Z

Author Çamoğlu, Kadir.
Preferred Shelf Number QA76.73.P98 C36 2023
Format: Books
Availability Beytepe Library~1

Programming ArcGIS Pro with Python

2026-03-13T14:10:45Z

Author Pimpler, Eric.
Preferred Shelf Number G70.212 P567 2017
Format: Books
Availability Beytepe Library~1

The thoth system : Multi-Process structuring and portability

2026-03-13T14:10:45Z

Author Cheriton, David R.
Preferred Shelf Number QA 76.6 C443 1982
Format: Books
Availability Beytepe Library~1

Intel Xeon Phi processor high performance programming

2026-03-13T14:10:45Z

Author Jeffers, Jim (Computer engineer), author. Reinders, James, author. Sodani, Avinash, author.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect https://www.sciencedirect.com/science/book/9780128091944
Format: Electronic Resources
Availability Online Library~1

Game engine gems

2026-03-13T14:10:45Z

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

Programming of embedded systems : applications to STM32F10x [mu]controllers

2026-03-13T14:10:45Z

Author Mahout, Vincent, author. Rocacher, Thierry, author. Auriol, Guillaume, author.
Preferred Shelf Number TJ223 .P76 M34 2026
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394427611
Format: Electronic Resources
Availability Online Library~1

BITESIZE PYTHON FOR ABSOLUTE BEGINNERS with practice labs, real-world examples, and... generative ai assistance.

2026-03-13T14:10:45Z

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

Code appreciation : reshaping knowledge

2026-03-13T14:10:45Z

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

Dance code : dance steps as a code

2026-03-13T14:10:45Z

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

Nature appreciation : knowledge as art

2026-03-13T14:10:45Z

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

Mastering technical art in Unreal Engine, Materials and VFX

2026-03-13T14:10:45Z

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

Mastering technical art in Unreal Engine, World building

2026-03-13T14:10:45Z

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

Financial data analytics with machine learning, optimization and statistics

2026-03-13T14:10:45Z

Author Chen, Yongzhao, author. Cheung, Ka Chun, author. Fan, Kaiser, author. Yam, Phillip (Sheung Chi Phillip), author.
Preferred Shelf Number HG104 .C44 2025
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119863403
Format: Electronic Resources
Availability Online Library~1

The data science handbook

2026-03-13T14:10:45Z

Author Cady, Field, 1984- author.
Preferred Shelf Number QA76.9 .D32 C33 2025
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394234523
Format: Electronic Resources
Availability Online Library~1

Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I

2026-03-13T14:10:45Z

Author Platzer, André. editor. (orcid)0000-0001-7238-5710 Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 Pradella, Matteo. editor. (orcid)0000-0003-3039-1084 Rossi, Matteo. editor. (orcid)0000-0002-9193-9560 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-71162-6
Format: Electronic Resources
Availability Online Library~1

Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II

2026-03-13T14:10:45Z

Author Platzer, Andre. editor. (orcid)0000-0001-7238-5710 Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 Pradella, Matteo. editor. (orcid)0000-0003-3039-1084 Rossi, Matteo. editor. (orcid)0000-0002-9193-9560 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-71177-0
Format: Electronic Resources
Availability Online Library~1

Recent Advances in the Message Passing Interface 31st European MPI Users' Group Meeting, EuroMPI 2024, Perth, WA, Australia, September 25-27, 2024, Proceedings

2026-03-13T14:10:45Z

Author Blaas-Schenner, Claudia. editor. Niethammer, Christoph. editor. (orcid)0000-0002-3840-1016 Haas, Tobias. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-73370-3
Format: Electronic Resources
Availability Online Library~1

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I

2026-03-13T14:10:45Z

Author Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-73709-1
Format: Electronic Resources
Availability Online Library~1

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

2026-03-13T14:10:45Z

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

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

2026-03-13T14:10:45Z

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

Informatics in Schools. Innovative Approaches to Computer Science Teaching and Learning 17th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2024, Budapest, Hungary, October 28-30, 2024, Proceedings

2026-03-13T14:10:45Z

Author Pluhár, Zsuzsa. editor. (orcid)0000-0003-2688-4652 Gaál, Bence. editor. (orcid)0000-0001-8771-7140 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-73474-8
Format: Electronic Resources
Availability Online Library~1

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

2026-03-13T14:10:45Z

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

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV

2026-03-13T14:10:45Z

Author Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-75387-9
Format: Electronic Resources
Availability Online Library~1

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II

2026-03-13T14:10:45Z

Author Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-75107-3
Format: Electronic Resources
Availability Online Library~1

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V

2026-03-13T14:10:45Z

Author Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-75390-9
Format: Electronic Resources
Availability Online Library~1

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

2026-03-13T14:10:45Z

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

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III

2026-03-13T14:10:45Z

Author Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-75380-0
Format: Electronic Resources
Availability Online Library~1

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

2026-03-13T14:10:45Z

Author Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-73741-1
Format: Electronic Resources
Availability Online Library~1

TOOLympics Challenge 2023 Updates, Results, Successes of the Formal-Methods Competitions

2026-03-13T14:10:45Z

Author Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Hartmanns, Arnd. editor. (orcid)0000-0003-3268-8674 Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-67695-6
Format: Electronic Resources
Availability Online Library~1

A First Introduction to Quantum Computing and Information

2026-03-13T14:10:45Z

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

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II

2026-03-13T14:10:45Z

Author Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-75775-4
Format: Electronic Resources
Availability Online Library~1

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I

2026-03-13T14:10:45Z

Author Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-75783-9
Format: Electronic Resources
Availability Online Library~1

Theoretical Aspects of Computing - ICTAC 2024 21st International Colloquium, Bangkok, Thailand, November 25-29, 2024, Proceedings

2026-03-13T14:10:45Z

Author Anutariya, Chutiporn. editor. (orcid)0000-0001-7101-212X Bonsangue, Marcello M. editor. (orcid)0000-0003-3746-3618 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-77019-7
Format: Electronic Resources
Availability Online Library~1

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

2026-03-13T14:10:45Z

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

Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings

2026-03-13T14:10:45Z

Author Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017 Knapp, Alexander. editor. (orcid)0000-0002-4050-3249 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-77382-2
Format: Electronic Resources
Availability Online Library~1

User Experience for Serious Games in Virtual Reality

2026-03-13T14:10:45Z

Author Kojić, Tanja. author. (orcid)0000-0002-8603-8979 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-75530-9
Format: Electronic Resources
Availability Online Library~1

Maths For Computing A Beginner's Guide

2026-03-13T14:10:45Z

Author Charatan, Quentin. author. Kans, Aaron. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-69234-5
Format: Electronic Resources
Availability Online Library~1

Numbers and Computers

2026-03-13T14:10:45Z

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

Category Theory Using Haskell An Introduction with Moggi and Yoneda

2026-03-13T14:10:45Z

Author Yukita, Shuichi. author. (orcid)0009-0006-5297-7501 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-68538-5
Format: Electronic Resources
Availability Online Library~1

Handbook of Computer Architecture

2026-03-13T14:10:45Z

Author Chattopadhyay, Anupam. editor. (orcid)0000-0002-8818-6983 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-9314-3
Format: Electronic Resources
Availability Online Library~1

Understanding Modelling and Programming

2026-03-13T14:10:45Z

Author Prinz, Andreas. author. (orcid)0000-0002-0646-2877 Møller-Pedersen, Birger. author. (orcid)0000-0003-2123-3260 Fischer, Joachim. author. (orcid)0000-0003-2476-3996 Thalheim, Bernhard. author. (orcid)0000-0002-7909-7786 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-71280-7
Format: Electronic Resources
Availability Online Library~1

Trends in Functional Programming 25th International Symposium, TFP 2024, South Orange, NJ, USA, January 10-12, 2024, Revised Selected Papers

2026-03-13T14:10:45Z

Author Hemann, Jason. editor. (orcid)0000-0002-5405-2936 Chang, Stephen. editor. (orcid)0000-0002-4760-0658 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-74558-4
Format: Electronic Resources
Availability Online Library~1

Logic in Computer Science

2026-03-13T14:10:45Z

Author Zhang, Hantao. author. Zhang, Jian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-9816-2
Format: Electronic Resources
Availability Online Library~1

Static Analysis 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20-22, 2024, Proceedings

2026-03-13T14:10:45Z

Author Giacobazzi, Roberto. editor. (orcid)0000-0002-9582-3960 Gorla, Alessandra. editor. (orcid)0000-0002-6711-3080 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-74776-2
Format: Electronic Resources
Availability Online Library~1

Testing Software and Systems 36th IFIP WG 6.1 International Conference, ICTSS 2024, London, UK, October 30 - November 1, 2024, Proceedings

2026-03-13T14:10:45Z

Author Menéndez, Héctor D. editor. (orcid)0000-0002-6314-3725 Bello-Orgaz, Gema. editor. (orcid)0000-0003-2826-3286 Barnard, Pepita. editor. (orcid)0000-0003-4518-1207 Bautista, John Robert. editor. (orcid)0000-0002-4892-9543 Farahi, Arya. editor. (orcid)0000-0003-0777-4618
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-80889-0
Format: Electronic Resources
Availability Online Library~1

A Concise Introduction to Software Engineering With Open Source and GenAI

2026-03-13T14:10:45Z

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

Object-Oriented Analysis, Design and Implementation An Integrated Approach

2026-03-13T14:10:45Z

Author Dathan, Brahma. author. Ramnath, Sarnath. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-71240-1
Format: Electronic Resources
Availability Online Library~1

Proceedings of International Conference on Theoretical and Applied Computing ICTAC 2024

2026-03-13T14:10:45Z

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

Multi-valued Logic for Decision-Making Under Uncertainty

2026-03-13T14:10:45Z

Author Kagan, Evgeny. author. Rybalov, Alexander. author. Yager, Ronald. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-74762-5
Format: Electronic Resources
Availability Online Library~1

Machine Translation 20th China Conference, CCMT 2024, Xiamen, China, November 8-10, 2024, Proceedings

2026-03-13T14:10:45Z

Author He, Zhongjun. editor. Chen, Yidong. editor. (orcid)0000-0002-0243-7228 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-2292-4
Format: Electronic Resources
Availability Online Library~1

Fourier Analysis-A Signal Processing Approach

2026-03-13T14:10:45Z

Author Sundararajan, D. author. (orcid)0009-0007-0028-6634 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-1078-5
Format: Electronic Resources
Availability Online Library~1

Theory of Computation Automata, Formal Languages, Computation and Complexity

2026-03-13T14:10:45Z

Author Chowdhary, K.R. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-6234-7
Format: Electronic Resources
Availability Online Library~1

Chatbots and Human-Centered AI 8th International Workshop, CONVERSATIONS 2024, Thessaloniki, Greece, December 4-5, 2024, Revised Selected Papers

2026-03-13T14:10:45Z

Author Følstad, Asbjørn. editor. (orcid)0000-0003-2763-0996 Papadopoulos, Symeon. editor. (orcid)0000-0002-5441-7341 Araujo, Theo. editor. (orcid)0000-0002-4633-9339 Law, Effie L.-C. editor. (orcid)0000-0002-0873-0150 Luger, Ewa. editor. (orcid)0000-0001-7882-9415
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-88045-2
Format: Electronic Resources
Availability Online Library~1

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

2026-03-13T14:10:45Z

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

The Connectives in Logic and Language 4th Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2024, Beijing, China, March 29-31, 2024, Revised Selected Papers

2026-03-13T14:10:45Z

Author Yan, Jialiang. editor. (orcid)0009-0005-2163-2300 Liu, Mingming. editor. Westerståhl, Dag. editor. (orcid)0000-0002-9925-3811 Yang, Xiaolu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-86054-6
Format: Electronic Resources
Availability Online Library~1

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas

2026-03-13T14:10:45Z

Author Farmer, William M. author. (orcid)0009-0009-5524-9085 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-85352-4
Format: Electronic Resources
Availability Online Library~1

Genetic Programming 28th European Conference, EuroGP 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings

2026-03-13T14:10:45Z

Author Xue, Bing. editor. (orcid)0000-0002-4865-8026 Manzoni, Luca. editor. (orcid)0000-0001-6312-7728 Bakurov, Illya. editor. (orcid)0000-0002-6458-942X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-89991-1
Format: Electronic Resources
Availability Online Library~1

Verified Software. Theories, Tools and Experiments 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14-15, 2024, Revised Selected Papers

2026-03-13T14:10:45Z

Author Protzenko, Jonathan. editor. (orcid)0000-0001-7347-3050 Raad, Azalea. editor. (orcid)0000-0002-2319-3242 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-86695-1
Format: Electronic Resources
Availability Online Library~1

Recent Trends in Algebraic Development Techniques 27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, Revised Selected Papers

2026-03-13T14:10:45Z

Author Țuțu, Ionuț. editor. (orcid)0009-0004-4280-3036 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-88930-1
Format: Electronic Resources
Availability Online Library~1

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

2026-03-13T14:10:45Z

Author Marchiori, Massimo. editor. García Peñalvo, Francisco. editor. (orcid)0000-0001-9987-5584 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-89621-7
Format: Electronic Resources
Availability Online Library~1

Advances in Data Science and Optimization of Complex Systems Proceedings of the International Conference on Applied Mathematics and Computer Science - ICAMCS 2024, Volume 1

2026-03-13T14:10:45Z

Author Le Thi, Hoai An. editor. (orcid)0000-0002-2239-2100 Le, Hoai Minh. editor. Nguyen, Quang Thuan. editor. (orcid)0009-0006-2259-8404 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-90606-0
Format: Electronic Resources
Availability Online Library~1

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

2026-03-13T14:10:45Z

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

Graph Transformation 18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11-12, 2025, Proceedings

2026-03-13T14:10:45Z

Author Endrullis, Jörg. editor. (orcid)0000-0002-2554-8270 Tichy, Matthias. editor. (orcid)0000-0002-9067-3748 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-94706-3
Format: Electronic Resources
Availability Online Library~1

Proceedings of International Conference on Information Technology and Applications ICITA 2024

2026-03-13T14:10:45Z

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

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III

2026-03-13T14:10:45Z

Author Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-75778-5
Format: Electronic Resources
Availability Online Library~1

Principles and Practices of Building Parallel Software Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday

2026-03-13T14:10:45Z

Author Barik, Rajkishore. editor. Gupta, Rajiv. editor. Palsberg, Jens. editor. (orcid)0000-0003-4747-365X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-97492-2
Format: Electronic Resources
Availability Online Library~1

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

2026-03-13T14:10:45Z

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

Object-based Programming with Go

2026-03-13T14:10:45Z

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

The Python Workbook A Brief Introduction with Exercises and Solutions

2026-03-13T14:10:45Z

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

Advances in Data Science and Optimization of Complex Systems Proceedings of the International Conference on Applied Mathematics and Computer Science - ICAMCS 2024, Volume 2

2026-03-13T14:10:45Z

Author Le Thi, Hoai An. editor. (orcid)0000-0002-2239-2100 Le, Hoai Minh. editor. Nguyen, Quang Thuan. editor. (orcid)0009-0006-2259-8404 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-032-00267-9
Format: Electronic Resources
Availability Online Library~1

Java programming exercises

2026-03-13T14:10:45Z

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

The object-oriented approach to problem solving and machine learning with Python

2026-03-13T14:10:45Z

Author Mathew, Sujith Samuel, author. Kuhail, Mohammad Amin, 1982- author. Hadid, Maha, author. Farooq, Shahbano, author.
Preferred Shelf Number QA76.64
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781032668321 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

A Gamer's Introduction to Programming in C# : Welcome Brave Adventurer!

2026-03-13T14:10:45Z

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

QUICK DATA STRUCTURES

2026-03-13T14:10:45Z

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

Governing the Future : Digitalization, Artificial Intelligence, Dataism

2026-03-13T14:10:45Z

Author Glaser, Henning, editor. Wong, Pindar, editor.
Preferred Shelf Number HC79 .I55
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003226406 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

ENSEMBLE METHODS foundations and algorithms.

2026-03-13T14:10:45Z

Author Zhou, Zhi-Hua (Computer scientist), author.
Preferred Shelf Number QA278.4
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003587774 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

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

2026-03-13T14:10:45Z

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

Principles of data transfer through communications networks, the internet, and autonomous mobiles

2026-03-13T14:10:45Z

Author Rubin, Izhak, author.
Preferred Shelf Number TK5103.2 .R83 2025
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394267781
Format: Electronic Resources
Availability Online Library~1

Applied satisfiability : cryptography, scheduling and coalitional games

2026-03-13T14:10:45Z

Author Liao, Xiaojuan, author. Koshimura, Miyuki, author.
Preferred Shelf Number QA76.9 .A3 L53 2025
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394249817
Format: Electronic Resources
Availability Online Library~1

Alice and Bob learn secure coding

2026-03-13T14:10:45Z

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

Thermoelectrics : design and materials

2026-03-13T14:10:45Z

Author Lee, HoSung, author.
Preferred Shelf Number TK2950 .L44 2025
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394317387
Format: Electronic Resources
Availability Online Library~1

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

2026-03-13T14:10:45Z

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

Optimization in sustainable energy : methods and applications

2026-03-13T14:10:45Z

Author Chatterjee, Prasenjit, 1982- editor.
Preferred Shelf Number TJ163.2 .O68 2025
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394242139
Format: Electronic Resources
Availability Online Library~1

Software, System, and Service Engineering S3E 2024 Topical Area, Held as Part of FedCSIS 2024, Belgrade, Serbia, 8-11 September, 2024 and KKIO 2024, Held as Part of SEAA 2024, Paris, France, August 28-30, 2024, Revised Selected Papers

2026-03-13T14:10:45Z

Author Kardas, Geylani. editor. (orcid)0000-0001-6975-305X Luković, Ivan. editor. (orcid)0000-0003-1319-488X Milašinović, Boris. editor. (orcid)0000-0002-7889-3131 Popović, Aleksandar. editor. (orcid)0000-0002-6361-7089 Radliński, Łukasz. editor. (orcid)0000-0003-1007-6597
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-84913-8
Format: Electronic Resources
Availability Online Library~1

GAME ECONOMY DESIGN metagame, monetization and live operations.

2026-03-13T14:10:45Z

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

Fundamental level design and analysis : A to B

2026-03-13T14:10:45Z

Author Beardwood, Michael, author.
Preferred Shelf Number GV1469.3
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003408840 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 AND MACHINE LEARNING. VOLUME 1, FOUNDATIONS OF IMAGE PROCESSING

2026-03-13T14:10:45Z

Author Cuevas, Erik. Rodríguez, Alma Nayeli.
Preferred Shelf Number TA1637
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003287414 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Mathematical foundations of computer science

2026-03-13T14:10:45Z

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

Java programming exercises. Volume one, Language fundamentals and core concepts

2026-03-13T14:10:45Z

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

Strategic software quality management : how to incorporate sustainable continuous improvement practices

2026-03-13T14:10:45Z

Author Fidanboy, Mahsa, author. Fidanboy, Cemalettin Öcal, author.
Preferred Shelf Number QA76.76 .Q35
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003491606 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

RUNNING A SUCCESSFUL LIVE SERVICE GAME live outside of game updates.

2026-03-13T14:10:45Z

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

Dreaming a way (of) life : the films of Lewis Klahr

2026-03-13T14:10:45Z

Author Robinson, Chris, 1967- author.
Preferred Shelf Number NC1766 .U52 K5957 2025
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003427223 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

The rise of the roguelite : inside a gaming phenomenon

2026-03-13T14:10:45Z

Author Cartlidge, James, editor.
Preferred Shelf Number GV1469.34 .C48
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003415473 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 animators

2026-03-13T14:10:45Z

Author Newsham, Hollie, author.
Preferred Shelf Number TR897.7
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003344841 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 Python for science and engineering

2026-03-13T14:10:45Z

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

Introducing Autodesk Maya

2026-03-13T14:10:45Z

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

DEMYSTIFYING CREATIVITY on originality in game development.

2026-03-13T14:10:45Z

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

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

2026-03-13T14:10:45Z

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

STORY STRUCTURE AND DEVELOPMENT a guide for animators, vfx artists, game designers, and xr... creators.

2026-03-13T14:10:45Z

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

The fundamentals of tabletop miniatures game design : a designer's handbook

2026-03-13T14:10:45Z

Author Ford, Glenn, author. Hutchinson, Mike (Model maker), author.
Preferred Shelf Number GV1312
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003314820 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

TEACHING VIDEO GAME DESIGN FUNDAMENTALS a guide for educating with practical examples and... learning materials.

2026-03-13T14:10:45Z

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

The naked android : synthetic socialness and the human gaze

2026-03-13T14:10:45Z

Author Carpenter, Julie (Julie G.), 1969- author.
Preferred Shelf Number TJ211.49
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003170457 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 Python

2026-03-13T14:10:45Z

Author Madachy, Raymond J. (Raymond Joseph), author.
Preferred Shelf Number TA345
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003331070 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 VIDEO GAME UX UI

2026-03-13T14:10:45Z

Author Brewer, Simon.
Preferred Shelf Number GV1469.3
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003367116 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-03-13T14:10:45Z

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

GAME DESIGN DEEP DIVE shooters.

2026-03-13T14:10:45Z

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 workshop : a playcentric approach to creating innovative games

2026-03-13T14:10:45Z

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

WORLD DESIGN FOR 2D ACTION ADVENTURES level design practices.

2026-03-13T14:10:45Z

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

Transforming Education with Virtual Reality.

2026-03-13T14:10:45Z

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

Digital image denoising in MATLAB

2026-03-13T14:10:45Z

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

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

2026-03-13T14:10:45Z

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

Mathematical modeling and simulation : introduction for scientists and engineers

2026-03-13T14:10:45Z

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

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

2026-03-13T14:10:45Z

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

Programming with Python for Engineers

2026-03-13T14:10:45Z

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

Learning Java A Test-Driven Approach

2026-03-13T14:10:45Z

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

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

2026-03-13T14:10:45Z

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

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

2026-03-13T14:10:45Z

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

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

2026-03-13T14:10:45Z

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-03-13T14:10:45Z

Author Lemanski, Jens. editor. (orcid)0000-0003-3661-4752 Johansen, Mikkel Willum. editor. (orcid)0000-0003-0454-2678 Manalo, Emmanuel. editor. (orcid)0000-0001-6470-4021 Viana, Petrucio. editor. (orcid)0000-0002-3517-6706 Bhattacharjee, Reetu. editor. (orcid)0000-0003-0720-4973
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-71291-3
Format: Electronic Resources
Availability Online Library~1

Deep Generative Modeling

2026-03-13T14:10:45Z

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

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

2026-03-13T14:10:45Z

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

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

2026-03-13T14:10:45Z

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

Foundation Mathematics for Computer Science A Visual Approach

2026-03-13T14:10:45Z

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

Computational Thinking First Algorithms, Then Code

2026-03-13T14:10:45Z

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

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

2026-03-13T14:10:45Z

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

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

2026-03-13T14:10:45Z

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-03-13T14:10:45Z

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

DevOps for data science

2026-03-13T14:10:45Z

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

Technical animation in video games

2026-03-13T14:10:45Z

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

A complete guide to character rigging for games using Blender

2026-03-13T14:10:45Z

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

The game narrative toolbox

2026-03-13T14:10:45Z

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

IMAGE PROCESSING RECIPES IN MATLAB

2026-03-13T14:10:45Z

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

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

2026-03-13T14:10:45Z

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

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

2026-03-13T14:10:45Z

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

Michel Ocelot : a world of animated images

2026-03-13T14:10:45Z

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

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

2026-03-13T14:10:45Z

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-03-13T14:10:45Z

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-03-13T14:10:45Z

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

Professional JavaScript for web developers

2026-03-13T14:10:45Z

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

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

2026-03-13T14:10:45Z

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

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

2026-03-13T14:10:45Z

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

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

2026-03-13T14:10:45Z

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

Challenging Programming in Python: A Problem Solving Perspective

2026-03-13T14:10:45Z

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

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

2026-03-13T14:10:45Z

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

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

2026-03-13T14:10:45Z

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

Modeling Programming Competency A Qualitative Analysis

2026-03-13T14:10:45Z

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

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

2026-03-13T14:10:45Z

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

Cloud-Native Application Architecture Microservice Development Best Practice

2026-03-13T14:10:45Z

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

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

2026-03-13T14:10:45Z

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

Data Structures and Algorithms with Python With an Introduction to Multiprocessing

2026-03-13T14:10:45Z

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

Active Object Languages: Current Research Trends

2026-03-13T14:10:45Z

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-03-13T14:10:45Z

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-03-13T14:10:45Z

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

Exception Handling Fundamentals and Programming

2026-03-13T14:10:45Z

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

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

2026-03-13T14:10:45Z

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-03-13T14:10:45Z

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

Proceedings of International Conference on Information Technology and Applications ICITA 2023

2026-03-13T14:10:45Z

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

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-03-13T14:10:45Z

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-03-13T14:10:45Z

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

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

2026-03-13T14:10:45Z

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

Universal Design in Video Games Active Participation Through Accessible Play

2026-03-13T14:10:45Z

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

The French School of Programming

2026-03-13T14:10:45Z

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

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

2026-03-13T14:10:45Z

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

MATLAB and Simulink in Action Programming, Scientific Computing and Simulation

2026-03-13T14:10:45Z

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

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

2026-03-13T14:10:45Z

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

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

2026-03-13T14:10:45Z

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

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

2026-03-13T14:10:45Z

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

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

2026-03-13T14:10:45Z

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

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

2026-03-13T14:10:45Z

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

Structural Dynamics

2026-03-13T14:10:45Z

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

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

2026-03-13T14:10:45Z

Author Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Heule, Marijn J.H. editor. (orcid)0000-0002-5587-8801 Schmidt, Renate A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-63498-7
Format: Electronic Resources
Availability Online Library~1

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

2026-03-13T14:10:45Z

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

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

2026-03-13T14:10:45Z

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

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

2026-03-13T14:10:45Z

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

Learn coding with Python and JavaScript A practical introduction for beginners

2026-03-13T14:10:45Z

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

R Programming Statistical Data Analysis in Research

2026-03-13T14:10:45Z

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

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

2026-03-13T14:10:45Z

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

Mathematics in Programming

2026-03-13T14:10:45Z

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

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

2026-03-13T14:10:45Z

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

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

2026-03-13T14:10:45Z

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

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

2026-03-13T14:10:45Z

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-03-13T14:10:45Z

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

Guide to Competitive Programming Learning and Improving Algorithms Through Contests

2026-03-13T14:10:45Z

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

Rig it right! : Maya animation rigging concepts

2026-03-13T14:10:45Z

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

PLAYFUL PYTHON PROJECTS modeling and animation.

2026-03-13T14:10:45Z

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

Methods and applications of autonomous experimentation

2026-03-13T14:10:45Z

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-03-13T14:10:45Z

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

Jumping computation : updating automata and grammars for discontinuous information processing

2026-03-13T14:10:45Z

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

Game AI uncovered. Volume two

2026-03-13T14:10:45Z

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

The pocket mentor for game community management

2026-03-13T14:10:45Z

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

METAVERSE a critical introduction.

2026-03-13T14:10:45Z

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-03-13T14:10:45Z

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

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

2026-03-13T14:10:45Z

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

INTELLIGENT AUTOMATION bridging the gap between business and academia.

2026-03-13T14:10:45Z

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

Little computer scientists

2026-03-13T14:10:45Z

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

Introduction to modern scientific programming and numerical methods

2026-03-13T14:10:45Z

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

Mathematics of game development : a collection of applied lessons

2026-03-13T14:10:45Z

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

AI FOR RADIOLOGY

2026-03-13T14:10:45Z

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

The game design toolbox

2026-03-13T14:10:45Z

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

POCKET MENTOR FOR GAME AUDIO

2026-03-13T14:10:45Z

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

GAME DESIGN DEEP DIVE soulslike.

2026-03-13T14:10:45Z

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 golden age of data visualization how did we get here?

2026-03-13T14:10:45Z

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

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

2026-03-13T14:10:45Z

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

ESSENTIAL PROGRAMMING FOR THE TECHNICAL ARTIST

2026-03-13T14:10:45Z

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

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

2026-03-13T14:10:45Z

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

Force fabric : how to draw clothes

2026-03-13T14:10:45Z

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

Programming language explorations

2026-03-13T14:10:45Z

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

HOW AND WHY WE MAKE GAMES the creative confusion.

2026-03-13T14:10:45Z

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

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

2026-03-13T14:10:45Z

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

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

2026-03-13T14:10:45Z

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

Quantum artificial intelligence with Qiskit.

2026-03-13T14:10:45Z

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

Learning professional Python. Volume 2, Advanced

2026-03-13T14:10:45Z

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

The pocket mentor for video game writers

2026-03-13T14:10:45Z

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-03-13T14:10:45Z

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-03-13T14:10:45Z

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-03-13T14:10:45Z

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-03-13T14:10:45Z

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-03-13T14:10:45Z

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

Learn programming with C

2026-03-13T14:10:45Z

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

Animation in Germany

2026-03-13T14:10:45Z

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

GAME AI UNCOVERED. Volume one

2026-03-13T14:10:45Z

Author Roberts, Paul (Game programmer) Dent, Nicholas (Illustrator)
Preferred Shelf Number GV1469.3
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003324102 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Choreomata : performance and performativity after AI

2026-03-13T14:10:45Z

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-03-13T14:10:45Z

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

CODING ANDROID APPS

2026-03-13T14:10:45Z

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-03-13T14:10:45Z

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

Blockchain and artificial intelligence technologies for smart energy systems

2026-03-13T14:10:45Z

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

C how to program : with case studies introducing applications programming and systems programming

2026-03-13T14:10:45Z

Author Deitel, Paul, author. Deitel, Harvey, author
Preferred Shelf Number QA76.73.C153 D45 2023
Format: Books
Availability Beytepe Library~1

Nesneye yönelik programlama dilleri ile temiz kod

2026-03-13T14:10:45Z

Author Ardoğan, M. Furkan.
Preferred Shelf Number QA76.73.C154 A636 2023
Format: Books
Availability Beytepe Library~1

Computational Mechanics with Deep Learning An Introduction

2026-03-13T14:10:45Z

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

Embedded Systems Design using the MSP430FR2355 LaunchPad™

2026-03-13T14:10:45Z

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

The Influence of Delay on Cloud Gaming Quality of Experience

2026-03-13T14:10:45Z

Author Sabet, Saeed Shafiee. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-99869-1
Format: Electronic Resources
Availability Online Library~1

A Guide to Applied Machine Learning for Biologists

2026-03-13T14:10:45Z

Author Badar, Mohammad "Sufian". editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-22206-1
Format: Electronic Resources
Availability Online Library~1

Proceedings of the 4th International Conference on Big Data Analytics for Cyber-Physical System in Smart City - Volume 2 BDCPS 2022, December 16-17, 2022, Bangkok, Thailand

2026-03-13T14:10:45Z

Author Atiquzzaman, Mohammed. editor. Yen, Neil Yuwen. editor. Xu, Zheng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-1157-8
Format: Electronic Resources
Availability Online Library~1

Assessing the Quality of Experience of Cloud Gaming Services

2026-03-13T14:10:45Z

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

Handbook of Neuroengineering

2026-03-13T14:10:45Z

Author Thakor, Nitish V. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-16-5540-1
Format: Electronic Resources
Availability Online Library~1

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

2026-03-13T14:10:45Z

Author Polkowski, Lech T. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-42034-4
Format: Electronic Resources
Availability Online Library~1