Search Results for Programming Language.

Programming language explorations

2026-03-13T19:24:36Z

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

Programming Language Concepts

2026-03-13T19:24:36Z

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

Programming language concepts

2026-03-13T19:24:36Z

Author Sestoft, Peter.
Preferred Shelf Number QA76.7 S478 2012
Format: Books
Availability Beytepe Library~1

Programming Language Concepts

2026-03-13T19:24:36Z

Author Sestoft, Peter. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4156-3
Format: Electronic Resources
Availability Online Library~1

Programming language pragmatics

2026-03-13T19:24:36Z

Author Scott, Michael Lee.
Preferred Shelf Number QA76.7 .S38 2006
Format: Books
Availability Beytepe Library~2

Programming language/one

2026-03-13T19:24:36Z

Author Bates, Frank. Douglas, Mray L., ort. yaz.
Preferred Shelf Number QA 76.5 B32 1970
Format: Books
Availability Beytepe Library~1

The C++ programming language

2026-03-13T19:24:36Z

Author Stroustrup, Bjarne.
Preferred Shelf Number QA76.73.C153 S77 2000
Format: Books
Availability Beytepe Library~1

The C programming language

2026-03-13T19:24:36Z

Author Kernighan, Brian W. Ritchie, Dennis M.
Preferred Shelf Number QA76.73 K47 2013
Format: Books
Availability Beytepe Library~1

The C programming language

2026-03-13T19:24:36Z

Author Kernighan, Brian W. Ritchie, Dennis M.
Preferred Shelf Number QA76.73 K47 2012
Format: Books
Availability Beytepe Library~1

The C programming language

2026-03-13T19:24:36Z

Author Kernighan, Brian W. Ritchie, Dennis M.
Preferred Shelf Number QA76.73.C15 K47 2009
Format: Books
Availability Beytepe Library~1

The Java programming language

2026-03-13T19:24:36Z

Author Arnold, Ken, 1958- Gosling, James, 1955-, ort. yaz. Holmes, David (David Colin), ort. yaz.
Preferred Shelf Number QA76.73.J38 A76 2006
Format: Books
Availability Beytepe Library~1

Programming with Scala Language Exploration

2026-03-13T19:24:36Z

Author Upadhyaya, Bhim P. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-69368-2
Format: Electronic Resources
Availability Online Library~1

Multicore Programming Using the ParC Language

2026-03-13T19:24:36Z

Author Ben-Asher, Yosi. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2164-0
Format: Electronic Resources
Availability Online Library~1

Programming language fundamentals by example

2026-03-13T19:24:36Z

Author Stevenson, D. E., author.
Preferred Shelf Number QA76.6 .S746 2007
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

The concurrent C programming language

2026-03-13T19:24:36Z

Author Gehani, Narain, 1947- Roome, W. D., ort. yaz.
Preferred Shelf Number QA 76.73.C15 G46 1989
Format: Books
Availability Beytepe Library~1

Programming using the C language

2026-03-13T19:24:36Z

Author Hutchison, Robert C. Just, S. B., ort. yaz.
Preferred Shelf Number QA 76.73.C25 H88 1988
Format: Books
Availability Beytepe Library~1

Applied statistics and the SAS programming language

2026-03-13T19:24:36Z

Author Cody, Ronald P. Smith, Jeffrey K., ort. yaz.
Preferred Shelf Number QA 276.4 C53 2006
Format: Books
Availability Beytepe Library~1

Guide to Assembly Language Programming in Linux

2026-03-13T19:24:36Z

Author Dandamudi, Sivarama P. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136895
Format: Electronic Resources
Availability Online Library~1

Programming for linguists Perl for language researchers

2026-03-13T19:24:36Z

Author Hammond, Michael, 1957- Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access John Wiley http://dx.doi.org/10.1002/9780470752234
Format: Electronic Resources
Availability Online Library~1

AMPL : a modeling language for mathematical programming

2026-03-13T19:24:36Z

Author Fourer, Robert. Gay, David M, ort. yaz. Kernighan, Brian W, ort. yaz.
Preferred Shelf Number QA 402.5 F688 2003
Format: Books
Availability Beytepe Library~2

Applied statistics and the SAS programming language

2026-03-13T19:24:36Z

Author Cody, Ronald P. Smith, Jeffrey K., ort. yaz.
Preferred Shelf Number QA 276.4 C53 1987
Format: Books
Availability Beytepe Library~1

8086/88 assembly language programming for engineers

2026-03-13T19:24:36Z

Author Morris, Noel Malcolm.
Preferred Shelf Number QA 76.8 I292 M667
Format: Books
Availability Beytepe Library~1

Python programming : a step-by-step guide to learning the language

2026-03-13T19:24:36Z

Author Dhaliwal, C. K., author. Rana, Poonam, author. Brar, T. P. S., author.
Preferred Shelf Number QA76.73 .P98
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781032691053 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-13T19:24:36Z

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

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

2026-03-13T19:24:36Z

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

Scala: From a Functional Programming Perspective An Introduction to the Programming Language

2026-03-13T19:24:36Z

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

Python data analytics : data analysis and science using Pandas, matplotlib, and the Python programming language

2026-03-13T19:24:36Z

Author Nelli, Fabio.
Preferred Shelf Number QA76.73.P98 N45 2015
Format: Books
Availability Beytepe Library~1

Modern X86 Assembly Language Programming 32-bit, 64-bit, SSE, and AVX

2026-03-13T19:24:36Z

Author Kusswurm, Daniel. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4842-0064-3
Format: Electronic Resources
Availability Online Library~1

Instant R starter jump into the R programming language and go beyound "Hell World!" / Donato Teutonico.

2026-03-13T19:24:36Z

Author Teutonico, Donato.
Preferred Shelf Number ONLINE
Electronic Access EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=575961
Format: Electronic Resources
Availability Online Library~1

Designing Embedded Systems with the SIGNAL Programming Language Synchronous, Reactive Specification

2026-03-13T19:24:36Z

Author Gamatie, Abdoulaye. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-0941-1
Format: Electronic Resources
Availability Online Library~1

Network Performance Analysis Using the J Programming Language

2026-03-13T19:24:36Z

Author Holt, Alan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-823-4
Format: Electronic Resources
Availability Online Library~1

Aspect-oriented programming with the e verification language a pragmatic guide for testbench developers

2026-03-13T19:24:36Z

Author Robinson, David.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780123742100
Format: Electronic Resources
Availability Online Library~1

An introduction to programming with IDL Interactive Data Language

2026-03-13T19:24:36Z

Author Bowman, Kenneth P.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780120885596
Format: Electronic Resources
Availability Online Library~1

Introduction to Assembly Language Programming For Pentium and RISC Processors

2026-03-13T19:24:36Z

Author Dandamudi, Sivarama P. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138691
Format: Electronic Resources
Availability Online Library~1

Programming for linguists Java technology for language researchers

2026-03-13T19:24:36Z

Author Hammond, Michael, 1957- Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access John Wiley http://dx.doi.org/10.1002/9780470693698
Format: Electronic Resources
Availability Online Library~1

Programming for linguists : Java technology for language researchers

2026-03-13T19:24:36Z

Author Hammond, Michael
Preferred Shelf Number P 98 H34 2002
Format: Books
Availability Beytepe Library~1

Optimizing PowerPC code : Programming the PowerPC chip in assembly language

2026-03-13T19:24:36Z

Author Kacmarcik, Gary.
Preferred Shelf Number QA 76.8.P67 K33 1995
Format: Books
Availability Beytepe Library~1

Machine language for beginners : machine language programming for BASIC language programmers

2026-03-13T19:24:36Z

Author Mansfield, Richard.
Preferred Shelf Number QA 76.6 M3574 1983
Format: Books
Availability Beytepe Library~1

Python tabanlı algoritma

2026-03-13T19:24:36Z

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-13T19:24:36Z

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

A companion to Pascal

2026-03-13T19:24:36Z

Author Avnur, Yuval, editor. Ariew, Roger, editor.
Preferred Shelf Number B1903 .C658 2026
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394160631
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-13T19:24:36Z

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

ICT Systems and Sustainability Proceedings of ICT4SD 2024, Volume 6

2026-03-13T19:24:36Z

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

ICT Analysis and Applications Proceedings of ICT4SD 2024, Volume 8

2026-03-13T19:24:36Z

Author Fong, Simon. editor. Dey, Nilanjan. editor. Joshi, Amit. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-9529-1
Format: Electronic Resources
Availability Online Library~1

Parallel Processing and Applied Mathematics 15th International Conference, PPAM 2024, Ostrava, Czech Republic, September 8-11, 2024, Revised Selected Papers, Part I

2026-03-13T19:24:36Z

Author Wyrzykowski, Roman. editor. (orcid)0000-0003-0328-2034 Dongarra, Jack. editor. (orcid)0000-0003-3247-1782 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Karczewski, Konrad. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-85697-6
Format: Electronic Resources
Availability Online Library~1

Parallel Processing and Applied Mathematics 15th International Conference, PPAM 2024, Ostrava, Czech Republic, September 8-11, 2024, Revised Selected Papers, Part III

2026-03-13T19:24:36Z

Author Wyrzykowski, Roman. editor. (orcid)0000-0003-0328-2034 Dongarra, Jack. editor. (orcid)0000-0003-3247-1782 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Karczewski, Konrad. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-85703-4
Format: Electronic Resources
Availability Online Library~1

ICT Analysis and Applications Proceedings of ICT4SD 2024, Volume 4

2026-03-13T19:24:36Z

Author Fong, Simon. editor. Dey, Nilanjan. editor. Joshi, Amit. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-8605-3
Format: Electronic Resources
Availability Online Library~1

ICT Systems and Sustainability Proceedings of ICT4SD 2024, Volume 1

2026-03-13T19:24:36Z

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

Object-based Programming with Go

2026-03-13T19:24:36Z

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-13T19:24:36Z

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

CLOUD Computing - CLOUD 2024 17th International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings

2026-03-13T19:24:36Z

Author Wang, Yang. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-77153-8
Format: Electronic Resources
Availability Online Library~1

Active Disturbance Rejection Control From Principles to Practice

2026-03-13T19:24:36Z

Author Herbst, Gernot. author. Madonski, Rafal. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-72687-3
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-13T19:24:36Z

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

Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I

2026-03-13T19:24:36Z

Author Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-78709-6
Format: Electronic Resources
Availability Online Library~1

Economics of Grids, Clouds, Systems, and Services 20th International Conference, GECON 2024, Rome, Italy, September 26-27, 2024, Proceedings

2026-03-13T19:24:36Z

Author Naldi, Maurizio. editor. (orcid)0000-0002-0903-398X Djemame, Karim. editor. (orcid)0000-0001-5811-5263 Altmann, Jörn. editor. (orcid)0000-0002-8880-9546 Bañares, José Ángel. editor. (orcid)0000-0002-4198-8241 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-81226-2
Format: Electronic Resources
Availability Online Library~1

Proceedings of International Conference on Theoretical and Applied Computing ICTAC 2024

2026-03-13T19:24:36Z

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

Managing Software Supply Chains Theory and Practice

2026-03-13T19:24:36Z

Author Wang, Ying. author. Cheung, Shing-Chi. author. (orcid)0000-0002-3508-7172 Yu, Hai. author. (orcid)0000-0002-8024-1781 Zhu, Zhiliang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-1797-5
Format: Electronic Resources
Availability Online Library~1

ICT Analysis and Applications Proceedings of ICT4SD 2024, Volume 3

2026-03-13T19:24:36Z

Author Fong, Simon. editor. Dey, Nilanjan. editor. Joshi, Amit. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-8602-2
Format: Electronic Resources
Availability Online Library~1

Attacks and Defenses for the Internet-of-Things 7th International Conference, ADIoT 2024, Hangzhou, China, December 13-14, 2024, Proceedings

2026-03-13T19:24:36Z

Author Meng, Weizhi. editor. (orcid)0000-0003-4384-5786 Yung, Moti. editor. (orcid)0000-0003-0848-0873 Shao, Jun. editor. (orcid)0000-0001-8352-0973 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-85593-1
Format: Electronic Resources
Availability Online Library~1

Compiler Construction Fundamentals and Applications

2026-03-13T19:24:36Z

Author Mössenböck, Hanspeter. author. (orcid)0000-0001-7706-7308 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-84813-1
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II

2026-03-13T19:24:36Z

Author Vafeiadis, Viktor. editor. (orcid)0000-0001-8436-0334 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-91121-7
Format: Electronic Resources
Availability Online Library~1

ICT Systems and Sustainability Proceedings of ICT4SD 2024, Volume 2

2026-03-13T19:24:36Z

Author Tuba, Milan. editor. Akashe, Shyam. editor. Joshi, Amit. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-8591-9
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-13T19:24:36Z

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

BUiD Doctoral Research Conference 2024 Multidisciplinary Studies

2026-03-13T19:24:36Z

Author Al Marri, Khalid. editor. Mir, Farzana Asad. editor. (orcid)0000-0001-9378-1800 Awad, Ahmed. editor. Abubakar, Ahmed. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-84371-6
Format: Electronic Resources
Availability Online Library~1

ICT Analysis and Applications Proceedings of ICT4SD 2024, Volume 7

2026-03-13T19:24:36Z

Author Fong, Simon. editor. Dey, Nilanjan. editor. Joshi, Amit. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-9526-0
Format: Electronic Resources
Availability Online Library~1

Engineering Information Systems with Large Language Models

2026-03-13T19:24:36Z

Author De Luzi, Francesca. editor. (orcid)0000-0002-9896-2528 Monti, Flavia. editor. (orcid)0000-0003-3349-7861 Mecella, Massimo. editor. (orcid)0000-0002-9730-8882 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-92285-5
Format: Electronic Resources
Availability Online Library~1

Python for Agriculturists

2026-03-13T19:24:36Z

Author Iqbal, Muhammad Azhar. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-032-01442-9
Format: Electronic Resources
Availability Online Library~1

The data science handbook

2026-03-13T19:24:36Z

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

Fundamentals of VHDL for FPGA programming using Vivado

2026-03-13T19:24:36Z

Author Pakdel, Majid, author.
Preferred Shelf Number TK7885.7
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394343126
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-13T19:24:36Z

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

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

2026-03-13T19:24:36Z

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

Understanding Modelling and Programming

2026-03-13T19:24:36Z

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

Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II

2026-03-13T19:24:36Z

Author Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-78750-8
Format: Electronic Resources
Availability Online Library~1

Computational Biology A Practical Introduction to Bio Data Juggling with Worked Examples

2026-03-13T19:24:36Z

Author Wünschiers, Röbbe. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-70314-0
Format: Electronic Resources
Availability Online Library~1

Practical Aspects of Declarative Languages 27th International Symposium, PADL 2025, Denver, CO, USA, January 20-21, 2025, Proceedings

2026-03-13T19:24:36Z

Author Erdem, Esra. editor. (orcid)0000-0001-8384-7810 Vidal, Germán. editor. (orcid)0000-0002-1857-6951 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-84924-4
Format: Electronic Resources
Availability Online Library~1

Parallel Processing and Applied Mathematics 15th International Conference, PPAM 2024, Ostrava, Czech Republic, September 8-11, 2024, Revised Selected Papers, Part II

2026-03-13T19:24:36Z

Author Wyrzykowski, Roman. editor. (orcid)0000-0003-0328-2034 Dongarra, Jack. editor. (orcid)0000-0003-3247-1782 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Karczewski, Konrad. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-85700-3
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-13T19:24:36Z

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

Programming Languages and Systems 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I

2026-03-13T19:24:36Z

Author Vafeiadis, Viktor. editor. (orcid)0000-0001-8436-0334 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-91118-7
Format: Electronic Resources
Availability Online Library~1

Multivariate Analysis and Machine Learning Techniques Feature Analysis in Data Science Using Python

2026-03-13T19:24:36Z

Author Sundararajan, Srikrishnan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-0353-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-13T19:24:36Z

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

The microprocessor : a practical introduction using the Arm Cortex-M0 processor

2026-03-13T19:24:36Z

Author Vasavada, Darshak S., author. Sinha, Sudhir Kumar, author.
Preferred Shelf Number TK7895 .M5 V37 2025
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394245321
Format: Electronic Resources
Availability Online Library~1

Natural language processing for software engineering

2026-03-13T19:24:36Z

Author Chakrawarti, Rajesh Kuma, editor.
Preferred Shelf Number QA76.9 .N38 N38 2025
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394272464
Format: Electronic Resources
Availability Online Library~1

Beginning Solidity : learn to program smart contracts with solidity

2026-03-13T19:24:36Z

Author Dolgov, Alexandros, author.
Preferred Shelf Number QA76.73 .S57 D65 2025
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394352159
Format: Electronic Resources
Availability Online Library~1

R programming for mass spectrometry : effective and reproducible data analysis

2026-03-13T19:24:36Z

Author Julian, Randall K., author.
Preferred Shelf Number QD96 .M3 J85 2025
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119872405
Format: Electronic Resources
Availability Online Library~1

R programming for actuarial science

2026-03-13T19:24:36Z

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

Algoritma ve programlama mantığı

2026-03-13T19:24:36Z

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

Professional JavaScript for web developers

2026-03-13T19:24:36Z

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

Professional C++

2026-03-13T19:24:36Z

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

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

2026-03-13T19:24:36Z

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

Introduction to Compiler Design

2026-03-13T19:24:36Z

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

Structures of Computing A Guide to Practice-Oriented Theory

2026-03-13T19:24:36Z

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

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

2026-03-13T19:24:36Z

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

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

2026-03-13T19:24:36Z

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

Programming Heterogeneous Hardware via Managed Runtime Systems

2026-03-13T19:24:36Z

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

The French School of Programming

2026-03-13T19:24:36Z

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

Programming with Python for Engineers

2026-03-13T19:24:36Z

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

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

2026-03-13T19:24:36Z

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

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

2026-03-13T19:24:36Z

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

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

2026-03-13T19:24:36Z

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

R for Basic Biostatistics in Medical Research

2026-03-13T19:24:36Z

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

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

2026-03-13T19:24:36Z

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

ICT Systems and Sustainability Proceedings of ICT4SD 2024, Volume 5

2026-03-13T19:24:36Z

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

CompTIA DataSys+ study guide : exam DSO-001

2026-03-13T19:24:36Z

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

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

2026-03-13T19:24:36Z

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

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

2026-03-13T19:24:36Z

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

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

2026-03-13T19:24:36Z

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

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

2026-03-13T19:24:36Z

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

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

2026-03-13T19:24:36Z

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

Data Structures and Algorithms with Python With an Introduction to Multiprocessing

2026-03-13T19:24:36Z

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

Digital Signal Processing Illustration Using Python

2026-03-13T19:24:36Z

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

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-13T19:24:36Z

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-13T19:24:36Z

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

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

2026-03-13T19:24:36Z

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

BUiD Doctoral Research Conference 2023 Multidisciplinary Studies

2026-03-13T19:24:36Z

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

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

2026-03-13T19:24:36Z

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

Infrared Small Target Detection Theory, Methods, and Algorithms.

2026-03-13T19:24:36Z

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

MATLAB and Simulink in Action Programming, Scientific Computing and Simulation

2026-03-13T19:24:36Z

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-13T19:24:36Z

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

Learning C# Through Small Projects

2026-03-13T19:24:36Z

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

Learning Analytics Methods and Tutorials A Practical Guide Using R

2026-03-13T19:24:36Z

Author Saqr, Mohammed. editor. (orcid)0000-0001-5881-3109 López-Pernas, Sonsoles. editor. (orcid)0000-0002-9621-1392 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-54464-4
Format: Electronic Resources
Availability Online Library~1

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

2026-03-13T19:24:36Z

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

Internet Modeling with Julia Models, Algorithms and Programs

2026-03-13T19:24:36Z

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

Deep Generative Modeling

2026-03-13T19:24:36Z

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

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

2026-03-13T19:24:36Z

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

Mathematical modeling and simulation : introduction for scientists and engineers

2026-03-13T19:24:36Z

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

Challenging Programming in Python: A Problem Solving Perspective

2026-03-13T19:24:36Z

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

Logic Circuit Design Selected Topics and Methods

2026-03-13T19:24:36Z

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

Learn coding with Python and JavaScript A practical introduction for beginners

2026-03-13T19:24:36Z

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-13T19:24:36Z

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

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

2026-03-13T19:24:36Z

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

Guide to Competitive Programming Learning and Improving Algorithms Through Contests

2026-03-13T19:24:36Z

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

Numerical calculations in Clifford algebra : a practical guide for engineers and scientists

2026-03-13T19:24:36Z

Author Seagar, Andrew, author. John Wiley & Sons, publisher.
Preferred Shelf Number QA199 .S43 2023
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394173273
Format: Electronic Resources
Availability Online Library~1

Beginning software engineering

2026-03-13T19:24:36Z

Author Stephens, Rod, author.
Preferred Shelf Number QA76.758 .S74 2023
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394320592
Format: Electronic Resources
Availability Online Library~1

Concise Guide to Numerical Algorithmics The Foundations and Spirit of Scientific Computing

2026-03-13T19:24:36Z

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

Artificial Intelligence Applications and Innovations 19th IFIP WG 12.5 International Conference, AIAI 2023, León, Spain, June 14-17, 2023, Proceedings, Part II

2026-03-13T19:24:36Z

Author Maglogiannis, Ilias. editor. (orcid) Iliadis, Lazaros. editor. (orcid) MacIntyre, John. editor. Dominguez, Manuel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-34107-6
Format: Electronic Resources
Availability Online Library~1

Digital Transformation in Education and Artificial Intelligence Application First International Conference, MoStart 2023, Mostar, Bosnia and Herzegovina, April 18-20, 2023, Revised Selected Papers

2026-03-13T19:24:36Z

Author Vasić, Daniel. editor. Kundid Vasić, Mirela. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-36833-2
Format: Electronic Resources
Availability Online Library~1

Advanced Guide to Python 3 Programming

2026-03-13T19:24:36Z

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

Artificial Intelligence in Education. Posters and Late Breaking Results, Workshops and Tutorials, Industry and Innovation Tracks, Practitioners, Doctoral Consortium and Blue Sky 24th International Conference, AIED 2023, Tokyo, Japan, July 3-7, 2023, Proceedings

2026-03-13T19:24:36Z

Author Wang, Ning. editor. Rebolledo-Mendez, Genaro. editor. Dimitrova, Vania. editor. Matsuda, Noboru. editor. Santos, Olga C. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-36336-8
Format: Electronic Resources
Availability Online Library~1

Programming Languages: Principles and Paradigms

2026-03-13T19:24:36Z

Author Gabbrielli, Maurizio. author. Martini, Simone. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-34144-1
Format: Electronic Resources
Availability Online Library~1

Advances in Quantitative Ethnography 5th International Conference, ICQE 2023, Melbourne, VIC, Australia, October 8-12, 2023, Proceedings

2026-03-13T19:24:36Z

Author Arastoopour Irgens, Golnaz. editor. Knight, Simon. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-47014-1
Format: Electronic Resources
Availability Online Library~1

Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings

2026-03-13T19:24:36Z

Author Kupferman, Orna. editor. Sobocinski, Pawel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-30829-1
Format: Electronic Resources
Availability Online Library~1

Parallel Processing and Applied Mathematics 14th International Conference, PPAM 2022, Gdansk, Poland, September 11-14, 2022, Revised Selected Papers, Part II

2026-03-13T19:24:36Z

Author Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Deelman, Ewa. editor. Karczewski, Konrad. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-30445-3
Format: Electronic Resources
Availability Online Library~1

Responsive and Sustainable Educational Futures 18th European Conference on Technology Enhanced Learning, EC-TEL 2023, Aveiro, Portugal, September 4-8, 2023, Proceedings

2026-03-13T19:24:36Z

Author Viberg, Olga. editor. Jivet, Ioana. editor. Muñoz-Merino, Pedro J. editor. Perifanou, Maria. editor. Papathoma, Tina. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-42682-7
Format: Electronic Resources
Availability Online Library~1

Parallel and Distributed Computing, Applications and Technologies 23rd International Conference, PDCAT 2022, Sendai, Japan, December 7-9, 2022, Proceedings

2026-03-13T19:24:36Z

Author Takizawa, Hiroyuki. editor. Shen, Hong. editor. Hanawa, Toshihiro. editor. Hyuk Park, Jong. editor. Tian, Hui. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-29927-8
Format: Electronic Resources
Availability Online Library~1

The Semantic Web: ESWC 2023 Satellite Events Hersonissos, Crete, Greece, May 28 - June 1, 2023, Proceedings

2026-03-13T19:24:36Z

Author Pesquita, Catia. editor. Skaf-Molli, Hala. editor. Efthymiou, Vasilis. editor. Kirrane, Sabrina. editor. Ngonga, Axel. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-43458-7
Format: Electronic Resources
Availability Online Library~1

AIxIA 2023 - Advances in Artificial Intelligence XXIInd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2023, Rome, Italy, November 6-9, 2023, Proceedings

2026-03-13T19:24:36Z

Author Basili, Roberto. editor. Lembo, Domenico. editor. Limongelli, Carla. editor. Orlandini, Andrea. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-47546-7
Format: Electronic Resources
Availability Online Library~1

Theoretical Aspects of Computing - ICTAC 2023 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings

2026-03-13T19:24:36Z

Author Ábrahám, Erika. editor. Dubslaff, Clemens. editor. Tarifa, Silvia Lizeth Tapia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-47963-2
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023, Proceedings

2026-03-13T19:24:36Z

Author Hur, Chung-Kil. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-8311-7
Format: Electronic Resources
Availability Online Library~1

Engineering Multi-Agent Systems 11th International Workshop, EMAS 2023, London, UK, May 29-30, 2023, Revised Selected Papers

2026-03-13T19:24:36Z

Author Ciortea, Andrei. editor. Dastani, Mehdi. editor. Luo, Jieting. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-48539-8
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part IV

2026-03-13T19:24:36Z

Author Gervasi, Osvaldo. editor. (orcid) Murgante, Beniamino. editor. (orcid) Rocha, Ana Maria A. C. editor. (orcid) Garau, Chiara. editor. (orcid) Scorza, Francesco. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-37114-1
Format: Electronic Resources
Availability Online Library~1

Artificial Neural Networks and Machine Learning - ICANN 2023 32nd International Conference on Artificial Neural Networks, Heraklion, Crete, Greece, September 26-29, 2023, Proceedings, Part VIII

2026-03-13T19:24:36Z

Author Iliadis, Lazaros. editor. (orcid) Papaleonidas, Antonios. editor. (orcid) Angelov, Plamen. editor. Jayne, Chrisina. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-44198-1
Format: Electronic Resources
Availability Online Library~1

Algoritma ve programlama mantığı

2026-03-13T19:24:36Z

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

Robotics in Education Proceedings of the RiE 2023 Conference

2026-03-13T19:24:36Z

Author Balogh, Richard. editor. Obdržálek, David. editor. Christoforou, Eftychios. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-38454-7
Format: Electronic Resources
Availability Online Library~1

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing

2026-03-13T19:24:36Z

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

Software Architecture. ECSA 2022 Tracks and Workshops Prague, Czech Republic, September 19-23, 2022, Revised Selected Papers

2026-03-13T19:24:36Z

Author Batista, Thais. editor. Bureš, Tomáš. editor. Raibulet, Claudia. editor. Muccini, Henry. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-36889-9
Format: Electronic Resources
Availability Online Library~1

Embedded Systems Design using the MSP430FR2355 LaunchPad™

2026-03-13T19:24:36Z

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

A Guide to Applied Machine Learning for Biologists

2026-03-13T19:24:36Z

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

Computer Science and Education 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part III

2026-03-13T19:24:36Z

Author Hong, Wenxing. editor. Weng, Yang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-2449-3
Format: Electronic Resources
Availability Online Library~1

Data Science Concepts and Techniques with Applications

2026-03-13T19:24:36Z

Author Qamar, Usman. author. Raza, Muhammad Summair. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-17442-1
Format: Electronic Resources
Availability Online Library~1

ArtsIT, Interactivity and Game Creation 11th EAI International Conference, ArtsIT 2022, Faro, Portugal, November 21-22, 2022, Proceedings

2026-03-13T19:24:36Z

Author Brooks, Anthony L. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-28993-4
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence Applications and Innovations 19th IFIP WG 12.5 International Conference, AIAI 2023, León, Spain, June 14-17, 2023, Proceedings, Part I

2026-03-13T19:24:36Z

Author Maglogiannis, Ilias. editor. Iliadis, Lazaros. editor. (orcid) MacIntyre, John. editor. Dominguez, Manuel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-34111-3
Format: Electronic Resources
Availability Online Library~1

Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings

2026-03-13T19:24:36Z

Author Hanus, Michael. editor. Inclezan, Daniela. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-24841-2
Format: Electronic Resources
Availability Online Library~1

Artificial General Intelligence 15th International Conference, AGI 2022, Seattle, WA, USA, August 19-22, 2022, Proceedings

2026-03-13T19:24:36Z

Author Goertzel, Ben. editor. Iklé, Matt. editor. Potapov, Alexey. editor. Ponomaryov, Denis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-19907-3
Format: Electronic Resources
Availability Online Library~1

Advances in Intelligent Data Analysis XXI 21st International Symposium on Intelligent Data Analysis, IDA 2023, Louvain-la-Neuve, Belgium, April 12-14, 2023, Proceedings

2026-03-13T19:24:36Z

Author Crémilleux, Bruno. editor. Hess, Sibylle. editor. Nijssen, Siegfried. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-30047-9
Format: Electronic Resources
Availability Online Library~1

Multi-Agent Systems 20th European Conference, EUMAS 2023, Naples, Italy, September 14-15, 2023, Proceedings

2026-03-13T19:24:36Z

Author Malvone, Vadim. editor. Murano, Aniello. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-43264-4
Format: Electronic Resources
Availability Online Library~1

Breastfeeding and Metabolic Programming

2026-03-13T19:24:36Z

Author Şahin, Özlem Naciye. editor. Briana, Despina D. editor. Di Renzo, Gian Carlo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-33278-4
Format: Electronic Resources
Availability Online Library~1

Introduction to Artificial Intelligence

2026-03-13T19:24:36Z

Author Klontzas, Michail E. editor. Fanni, Salvatore Claudio. editor. Neri, Emanuele. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-25928-9
Format: Electronic Resources
Availability Online Library~1

Innovative Technologies and Learning 6th International Conference, ICITL 2023, Porto, Portugal, August 28-30, 2023, Proceedings

2026-03-13T19:24:36Z

Author Huang, Yueh-Min. editor. (orcid) Rocha, Tânia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-40113-8
Format: Electronic Resources
Availability Online Library~1

NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings

2026-03-13T19:24:36Z

Author Rozier, Kristin Yvonne. editor. Chaudhuri, Swarat. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-33170-1
Format: Electronic Resources
Availability Online Library~1

AIxIA 2022 - Advances in Artificial Intelligence XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedings

2026-03-13T19:24:36Z

Author Dovier, Agostino. editor. Montanari, Angelo. editor. Orlandini, Andrea. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-27181-6
Format: Electronic Resources
Availability Online Library~1

Supercomputing 9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25-26, 2023, Revised Selected Papers, Part II

2026-03-13T19:24:36Z

Author Voevodin, Vladimir. editor. Sobolev, Sergey. editor. Yakobovskiy, Mikhail. editor. Shagaliev, Rashit. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-49435-2
Format: Electronic Resources
Availability Online Library~1

Prolog: The Next 50 Years

2026-03-13T19:24:36Z

Author Warren, David S. editor. Dahl, Veronica. editor. Eiter, Thomas. editor. Hermenegildo, Manuel V. editor. Kowalski, Robert. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-35254-6
Format: Electronic Resources
Availability Online Library~1

Practical Aspects of Declarative Languages 26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings

2026-03-13T19:24:36Z

Author Gebser, Martin. editor. Sergey, Ilya. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-52038-9
Format: Electronic Resources
Availability Online Library~1

Distributed Computing and Artificial Intelligence, 19th International Conference

2026-03-13T19:24:36Z

Author Omatu, Sigeru. editor. Mehmood, Rashid. editor. Sitek, Pawel. editor. Cicerone, Serafino. editor. Rodríguez, Sara. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-20859-1
Format: Electronic Resources
Availability Online Library~1

AI, IoT, Big Data and Cloud Computing for Industry 4.0

2026-03-13T19:24:36Z

Author Neustein, Amy. editor. Mahalle, Parikshit N. editor. Joshi, Prachi. editor. Shinde, Gitanjali Rahul. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-29713-7
Format: Electronic Resources
Availability Online Library~1

Simultaneous mass transfer and chemical reactions in engineering science

2026-03-13T19:24:36Z

Author Chan, B. K. C. (Bertram Kim-Cheong), author.
Preferred Shelf Number TP156 .M3 C43 2023
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9783527823529
Format: Electronic Resources
Availability Online Library~1

Symbolic approaches to modeling and analysis of biological systems

2026-03-13T19:24:36Z

Author Lhoussaine, Cédric, editor. Rémy, Elisabeth, editor.
Preferred Shelf Number QH324.2 .S96 2023
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394229086
Format: Electronic Resources
Availability Online Library~1

Programming and GUI fundamentals : Tcl-Tk for electronic design automation (EDA)

2026-03-13T19:24:36Z

Author Tripathi, Suman Lata, author. Kumar, Abhishek (Associate Professor), author. Pathak, Jyotirmoy, author.
Preferred Shelf Number TK7874 .T754 2023
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119837442
Format: Electronic Resources
Availability Online Library~1

Deep learning : from big data to artificial intelligence with R

2026-03-13T19:24:36Z

Author Tuffery, Stéphane, author.
Preferred Shelf Number Q325.73 .T84 2023
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119845041
Format: Electronic Resources
Availability Online Library~1

A textbook of data structures and algorithms. 1 : mastering linear data structures

2026-03-13T19:24:36Z

Author Pai, G. A. Vijayalakshmi, author.
Preferred Shelf Number QA76.9 .D35
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394192076
Format: Electronic Resources
Availability Online Library~1

Sports analytics in practice with R

2026-03-13T19:24:36Z

Author Kwartler, Ted, 1978- author. Baker, Robert E., 1957- author.
Preferred Shelf Number GV706.8 .K83 2022
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119598084
Format: Electronic Resources
Availability Online Library~1

Beginning ReactJS Foundations building user interfaces with ReactJS : an approachable guide

2026-03-13T19:24:36Z

Author Minnick, Chris.
Preferred Shelf Number QA76.9 .U83
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119685630
Format: Electronic Resources
Availability Online Library~1

Digital VLSI design and simulation with Verilog

2026-03-13T19:24:36Z

Author Tripathi, Suman Lata, author. Saxena, Sobhit, author. Sinha, Sanjeet Kumar, author. Patel, Govind Singh, author.
Preferred Shelf Number TK7874.75 .T75 2022
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119778097
Format: Electronic Resources
Availability Online Library~1

The Python book

2026-03-13T19:24:36Z

Author Mastrodomenico, Rob, author.
Preferred Shelf Number QA76.73 .P98 M379 2022
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119573364
Format: Electronic Resources
Availability Online Library~1

JOB READY GO.

2026-03-13T19:24:36Z

Author BALTI, HAYTHEM.
Preferred Shelf Number QA76.73 .G63
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394320622
Format: Electronic Resources
Availability Online Library~1

Multi-agent coordination : a reinforcement learning approach

2026-03-13T19:24:36Z

Author Sadhu, Arup Kumar, author. Konar, Amit, author.
Preferred Shelf Number Q325.6 .S23 2021
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119699057
Format: Electronic Resources
Availability Online Library~1

Microcontroller prototypes with Arduino and a 3D printer : learn, program, manufacture

2026-03-13T19:24:36Z

Author Bolanakis, Dimosthenis E., 1978- author.
Preferred Shelf Number TJ223 .P76 B665 2021
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119782698
Format: Electronic Resources
Availability Online Library~1

Oracle database programming with Visual Basic .NET : Concepts, Designs, and Implementations

2026-03-13T19:24:36Z

Author Bai, Ying, 1956-
Preferred Shelf Number QA76.9 .D3 B35 2021
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119734529
Format: Electronic Resources
Availability Online Library~1

Professional C++

2026-03-13T19:24:36Z

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

Earth observation using Python : a practical programming guide

2026-03-13T19:24:36Z

Author Esmaili, Rebekah Bradley, author.
Preferred Shelf Number QE48.8 .E85 2021
Electronic Access https://agupubs.onlinelibrary.wiley.com/doi/book/10.1002/9781119606925
Format: Electronic Resources
Availability Online Library~1

Embedded digital control with microcontrollers : implementation with C and Python

2026-03-13T19:24:36Z

Author Ünsalan, Cem. Barkana, Duygun E. Gurhan, H. Deniz.
Preferred Shelf Number TJ223 .P76
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119576600
Format: Electronic Resources
Availability Online Library~1

SQL for data scientists : a beginner's guide for building datasets for analysis

2026-03-13T19:24:36Z

Author Teate, Renee M., author.
Preferred Shelf Number QA76.73 .S67
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119669388
Format: Electronic Resources
Availability Online Library~1

Professional JavaScript® for web developers

2026-03-13T19:24:36Z

Author Frisbie, Matt, author.
Preferred Shelf Number QA76.73 .J39
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119366560
Format: Electronic Resources
Availability Online Library~1

Machine learning and big data with kdb+/q

2026-03-13T19:24:36Z

Author Novotny, Jan, 1982- author. Bilokon, Paul A., 1982- author. Galiotos, Aris, 1979- author. Délèze, Frédéric, 1975- author.
Preferred Shelf Number QA76.7 .N68 2020
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119404729
Format: Electronic Resources
Availability Online Library~1

JavaScript® : the new toys

2026-03-13T19:24:36Z

Author Crowder, T. J., author.
Preferred Shelf Number QA76.73 .J39 C76 2020
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119367901
Format: Electronic Resources
Availability Online Library~1

Bite-size Python : an introduction to Python programming

2026-03-13T19:24:36Z

Author Speight, April.
Preferred Shelf Number QA76.73 .P98
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119643845
Format: Electronic Resources
Availability Online Library~1

Practical machine learning in R

2026-03-13T19:24:36Z

Author Nwanganga, Frederick Chukwuka. Chapple, Mike, 1975-
Preferred Shelf Number Q325.5
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119591542
Format: Electronic Resources
Availability Online Library~1

Python by example : learning to program in 150 challenges

2026-03-13T19:24:36Z

Author Lacey, Nichola, author.
Preferred Shelf Number QA76.73 .P98 L33 2019
Electronic Access https://doi.org/10.1017/9781108591942
Format: Electronic Resources
Availability Online Library~1

Projeler eşliğinde arm işlemci programlama : Arm Mbed OS, RTOS,Thread, RTC, Multi Tasking

2026-03-13T19:24:36Z

Author Arvas, Mehmet Akif.
Preferred Shelf Number QA76.7 A783 2019
Format: Books
Availability Beytepe Library~1

Practical Java® programming for IoT, AI, and Blockchain

2026-03-13T19:24:36Z

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

Mastering VBA for Microsoft Office 365

2026-03-13T19:24:36Z

Author Mansfield, Richard.
Preferred Shelf Number QA76.73 .M53 M36 2019
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119579366
Format: Electronic Resources
Availability Online Library~1

Concurrent, real-time and distributed programming in Java : Threads, RTSJ and RMI

2026-03-13T19:24:36Z

Author Benmammar, Badr, author.
Preferred Shelf Number QA76.73 .J38
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119476764
Format: Electronic Resources
Availability Online Library~1

Statistical data cleaning with applications in R

2026-03-13T19:24:36Z

Author Loo, Mark van der, 1976- author. Jonge, Edwin de, 1972- author.
Preferred Shelf Number QA276.45 .R3 J66 2018
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781118897126
Format: Electronic Resources
Availability Online Library~1

Professional C++

2026-03-13T19:24:36Z

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

Professional C# 7 and .NET Core 2.0

2026-03-13T19:24:36Z

Author Nagel, Christian, author.
Preferred Shelf Number QA76.73 .C154
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119549147
Format: Electronic Resources
Availability Online Library~1

Quantitative Finance : An Object-Oriented Approach in C++

2026-03-13T19:24:36Z

Author Schlogl, Erik, author. Taylor and Francis.
Preferred Shelf Number HG106
Electronic Access Click here to view.
Format: Electronic Resources
Availability Online Library~1

Beginning C# 7 Programming with Visual Studio 2017

2026-03-13T19:24:36Z

Author Perkins, Benjamin, author. Hammer, Jacob Vibe, author. Reid, Jon D., author.
Preferred Shelf Number QA76.73 .C154
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119549550
Format: Electronic Resources
Availability Online Library~1

Algorithms and networking for computer games

2026-03-13T19:24:36Z

Author Smed, Jouni, author. Hakonen, Harri, author.
Preferred Shelf Number QA76.76 .C672
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119259770
Format: Electronic Resources
Availability Online Library~1

Swift in the cloud

2026-03-13T19:24:36Z

Author Williamson, Leigh, author.
Preferred Shelf Number QA76.73 .S95
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119368502
Format: Electronic Resources
Availability Online Library~1

Tutorials in chemoinformatics

2026-03-13T19:24:36Z

Author Varnek, Alexandre, editor.
Preferred Shelf Number QD39.3 .E46 T88 2017 EB
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119161110
Format: Electronic Resources
Availability Online Library~1

The data science handbook

2026-03-13T19:24:36Z

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

Wireshark for security professionals : using Wireshark and the Metasploit Framework

2026-03-13T19:24:36Z

Author Bullock, Jessey, author. Gordon, Adam, author.
Preferred Shelf Number QA76.9 .A25
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119183457
Format: Electronic Resources
Availability Online Library~1

Programming in HTML and PHP Coding for Scientists and Engineers

2026-03-13T19:24:36Z

Author Brooks, David R. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-56973-4
Format: Electronic Resources
Availability Online Library~1

Introduction to Compiler Design

2026-03-13T19:24:36Z

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

Semantics of the Probabilistic Typed Lambda Calculus Markov Chain Semantics, Termination Behavior, and Denotational Semantics

2026-03-13T19:24:36Z

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

Advanced Finite Element Simulation with MSC Marc Application of User Subroutines

2026-03-13T19:24:36Z

Author Javanbakht, Zia. author. Öchsner, Andreas. author. (orcid)0000-0002-8844-3206 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-47668-1
Format: Electronic Resources
Availability Online Library~1

Guide to Competitive Programming Learning and Improving Algorithms Through Contests

2026-03-13T19:24:36Z

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

The Mathematical-Function Computation Handbook Programming Using the MathCW Portable Software Library

2026-03-13T19:24:36Z

Author Beebe, Nelson H.F. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-64110-2
Format: Electronic Resources
Availability Online Library~1

Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers

2026-03-13T19:24:36Z

Author Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X Lopez-Garcia, Pedro. editor. (orcid)0000-0002-1092-2071 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-63139-4
Format: Electronic Resources
Availability Online Library~1

Present and Ulterior Software Engineering

2026-03-13T19:24:36Z

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

Unraveling Software Maintenance and Evolution Thinking Outside the Box

2026-03-13T19:24:36Z

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

Data Visualisation with R 100 Examples

2026-03-13T19:24:36Z

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

Grammatical Inference Algorithms, Routines and Applications

2026-03-13T19:24:36Z

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

E-Learning Systems Intelligent Techniques for Personalization

2026-03-13T19:24:36Z

Author Klašnja-Milićević, Aleksandra. author. (orcid)0000-0002-8023-4776 Vesin, Boban. author. Ivanović, Mirjana. author. Budimac, Zoran. author. Jain, Lakhmi C. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-41163-7
Format: Electronic Resources
Availability Online Library~1

Models of Computation

2026-03-13T19:24:36Z

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

Grand Timely Topics in Software Engineering International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures

2026-03-13T19:24:36Z

Author Cunha, Jácome. editor. Fernandes, João P. editor. Lämmel, Ralf. editor. Saraiva, João. editor. Zaytsev, Vadim. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-60074-1
Format: Electronic Resources
Availability Online Library~1

Relative fidelity processing of seismic data : methods and applications

2026-03-13T19:24:36Z

Author Wang, Xiwen, 1956-
Preferred Shelf Number TN271 .P4
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119052913
Format: Electronic Resources
Availability Online Library~1

Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude

2026-03-13T19:24:36Z

Author Ölveczky, Peter Csaba. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4471-6687-0
Format: Electronic Resources
Availability Online Library~1

Guide to Scientific Computing in C++

2026-03-13T19:24:36Z

Author Pitt-Francis, Joe. author. Whiteley, Jonathan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-73132-2
Format: Electronic Resources
Availability Online Library~1

Guide to Unconventional Computing for Music

2026-03-13T19:24:36Z

Author Miranda, Eduardo Reck. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-49881-2
Format: Electronic Resources
Availability Online Library~1

Parallel Architecture, Algorithm and Programming 8th International Symposium, PAAP 2017, Haikou, China, June 17-18, 2017, Proceedings

2026-03-13T19:24:36Z

Author Chen, Guoliang. editor. Shen, Hong. editor. Chen, Mingrui. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-6442-5
Format: Electronic Resources
Availability Online Library~1

Python for Graph and Network Analysis

2026-03-13T19:24:36Z

Author Al-Taie, Mohammed Zuhair. author. Kadry, Seifedine. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-53004-8
Format: Electronic Resources
Availability Online Library~1

Guide to Distributed Simulation with HLA

2026-03-13T19:24:36Z

Author Topçu, Okan. author. Oğuztüzün, Halit. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61267-6
Format: Electronic Resources
Availability Online Library~1

Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications

2026-03-13T19:24:36Z

Author O'Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-64021-1
Format: Electronic Resources
Availability Online Library~1

A Practical Approach to Compiler Construction

2026-03-13T19:24:36Z

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

The Data Science Design Manual

2026-03-13T19:24:36Z

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

Foundations of Programming Languages

2026-03-13T19:24:36Z

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

Guide to Data Structures A Concise Introduction Using Java

2026-03-13T19:24:36Z

Author Streib, James T. author. Soma, Takako. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-70085-4
Format: Electronic Resources
Availability Online Library~1

Algoritma ve programlama mantığı

2026-03-13T19:24:36Z

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

Programming Languages and Systems 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

2026-03-13T19:24:36Z

Author Thiemann, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-49498-1
Format: Electronic Resources
Availability Online Library~1

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

2026-03-13T19:24:36Z

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

LATIN 2016: Theoretical Informatics 12th Latin American Symposium, Ensenada, Mexico, April 11-15, 2016, Proceedings

2026-03-13T19:24:36Z

Author Kranakis, Evangelos. editor. (orcid)0000-0002-8959-4428 Navarro, Gonzalo. editor. Chávez, Edgar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-49529-2
Format: Electronic Resources
Availability Online Library~1

Real Time Control Engineering Systems And Automation

2026-03-13T19:24:36Z

Author Ng, Tian Seng. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-1509-0
Format: Electronic Resources
Availability Online Library~1

Programming with Python

2026-03-13T19:24:36Z

Author Padmanabhan, T R. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-3277-6
Format: Electronic Resources
Availability Online Library~1

System Dynamics Modeling with R

2026-03-13T19:24:36Z

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

Android Application Security A Semantics and Context-Aware Approach

2026-03-13T19:24:36Z

Author Zhang, Mu. author. Yin, Heng. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-47812-8
Format: Electronic Resources
Availability Online Library~1

Dance Notations and Robot Motion

2026-03-13T19:24:36Z

Author Laumond, Jean-Paul. editor. Abe, Naoko. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-25739-6
Format: Electronic Resources
Availability Online Library~1

A Practical Introduction to Fuzzy Logic using LISP

2026-03-13T19:24:36Z

Author Argüelles Mendez, Luis. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-23186-0
Format: Electronic Resources
Availability Online Library~1

Numeric Computation and Statistical Data Analysis on the Java Platform

2026-03-13T19:24:36Z

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

Csound A Sound and Music Computing System

2026-03-13T19:24:36Z

Author Lazzarini, Victor. author. Yi, Steven. author. ffitch, John. author. Heintz, Joachim. author. Brandtsegg, Øyvind. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-45370-5
Format: Electronic Resources
Availability Online Library~1

Power Amplifiers for the S-, C-, X- and Ku-bands An EDA Perspective

2026-03-13T19:24:36Z

Author Božanić, Mladen. author. (orcid)0000-0001-9174-0781 Sinha, Saurabh. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-28376-0
Format: Electronic Resources
Availability Online Library~1

Limits of Computation From a Programming Perspective

2026-03-13T19:24:36Z

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

Software Design for Resilient Computer Systems

2026-03-13T19:24:36Z

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

Learning Analytics in R with SNA, LSA, and MPIA

2026-03-13T19:24:36Z

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

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

2026-03-13T19:24:36Z

Author Väänänen, Jouko. editor. Hirvonen, Åsa. editor. de Queiroz, Ruy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-52921-8
Format: Electronic Resources
Availability Online Library~1

Language Production, Cognition, and the Lexicon

2026-03-13T19:24:36Z

Author Gala, Núria. editor. Rapp, Reinhard. editor. Bel-Enguix, Gemma. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08043-7
Format: Electronic Resources
Availability Online Library~1

Cyber Warfare Building the Scientific Foundation

2026-03-13T19:24:36Z

Author Jajodia, Sushil. editor. Shakarian, Paulo. editor. Subrahmanian, V.S. editor. Swarup, Vipin. editor. Wang, Cliff. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-14039-1
Format: Electronic Resources
Availability Online Library~1

Business Process Management Workshops BPM 2014 International Workshops, Eindhoven, The Netherlands, September 7-8, 2014, Revised Papers

2026-03-13T19:24:36Z

Author Fournier, Fabiana. editor. Mendling, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-15895-2
Format: Electronic Resources
Availability Online Library~1

Object-Oriented Analysis, Design and Implementation An Integrated Approach

2026-03-13T19:24:36Z

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

Guide to Fortran 2008 Programming

2026-03-13T19:24:36Z

Author Brainerd, Walter S. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4471-6759-4
Format: Electronic Resources
Availability Online Library~1

Artificial General Intelligence 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings

2026-03-13T19:24:36Z

Author Bieger, Jordi. editor. Goertzel, Ben. editor. Potapov, Alexey. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-21365-1
Format: Electronic Resources
Availability Online Library~1

Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings

2026-03-13T19:24:36Z

Author Urban, Christian. editor. Zhang, Xingyuan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-22102-1
Format: Electronic Resources
Availability Online Library~1

Artificial Life and Computational Intelligence First Australasian Conference, ACALCI 2015, Newcastle, NSW, Australia, February 5-7, 2015, Proceedings

2026-03-13T19:24:36Z

Author Chalup, Stephan. editor. Blair, Alan D. editor. Randall, Marcus. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-14803-8
Format: Electronic Resources
Availability Online Library~1

Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings

2026-03-13T19:24:36Z

Author Calimeri, Francesco. editor. Ianni, Giovambattista. editor. Truszczynski, Miroslaw. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-23264-5
Format: Electronic Resources
Availability Online Library~1

Transactional Memory. Foundations, Algorithms, Tools, and Applications COST Action Euro-TM IC1001

2026-03-13T19:24:36Z

Author Guerraoui, Rachid. editor. Romano, Paolo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-14720-8
Format: Electronic Resources
Availability Online Library~1

ARM Assembly Language with Hardware Experiments

2026-03-13T19:24:36Z

Author Elahi, Ata. author. Arjeski, Trevor. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11704-1
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence and Evolutionary Algorithms in Engineering Systems Proceedings of ICAEES 2014, Volume 2

2026-03-13T19:24:36Z

Author Suresh, L Padma. editor. Dash, Subhransu Sekhar. editor. Panigrahi, Bijaya Ketan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-81-322-2135-7
Format: Electronic Resources
Availability Online Library~1

Cooperative Design, Visualization, and Engineering 12th International Conference, CDVE 2015, Mallorca, Spain, September 20-23, 2015. Proceedings

2026-03-13T19:24:36Z

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

Central European Functional Programming School 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers

2026-03-13T19:24:36Z

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

Learning scientific programming with Python

2026-03-13T19:24:36Z

Author Hill, Christian, 1974- author.
Preferred Shelf Number Q183.9 .H58 2015
Electronic Access https://doi.org/10.1017/CBO9781139871754
Format: Electronic Resources
Availability Online Library~1

Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings

2026-03-13T19:24:36Z

Author de Paiva, Valeria. editor. de Queiroz, Ruy. editor. Moss, Lawrence S. editor. Leivant, Daniel. editor. de Oliveira, Anjolina G. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-47709-0
Format: Electronic Resources
Availability Online Library~1

Coordination Models and Languages 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings

2026-03-13T19:24:36Z

Author Holvoet, Tom. editor. Viroli, Mirko. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-19282-6
Format: Electronic Resources
Availability Online Library~1

Formal Aspects of Component Software 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers

2026-03-13T19:24:36Z

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

Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers.

2026-03-13T19:24:36Z

Author Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-46823-4
Format: Electronic Resources
Availability Online Library~1

Mathematics of Program Construction 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings

2026-03-13T19:24:36Z

Author Hinze, Ralf. editor. Voigtländer, Janis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-19797-5
Format: Electronic Resources
Availability Online Library~1

Computational Intelligence Techniques for Comparative Genomics Dedicated to Prof. Allam Appa Rao on the Occasion of His 65th Birthday

2026-03-13T19:24:36Z

Author Muppalaneni, Naresh Babu. editor. Gunjan, Vinit Kumar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-287-338-5
Format: Electronic Resources
Availability Online Library~1

Practical cryptography : algorithms and implementations using C++

2026-03-13T19:24:36Z

Author Azad, Saiful, editor. Pathan, Al-Sakib Khan, editor.
Preferred Shelf Number QA76.9 .A25 P725 2015
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

LogiQL : a query language for smart databases

2026-03-13T19:24:36Z

Author Halpin, T. A., author. Rugaber, Spencer, author.
Preferred Shelf Number QA76.73 .L62 H35 2015
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Algoritma ve programlama mantığı

2026-03-13T19:24:36Z

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

Discovering knowledge in data : an introduction to data mining

2026-03-13T19:24:36Z

Author Larose, Daniel T., author. Larose, Chantal D., author. IEEE Computer Society.
Preferred Shelf Number ONLINE(341929.1)
Electronic Access Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1699137 John Wiley http://dx.doi.org/10.1002/9781118874059 Books24x7 http://www.books24x7.com/marc.asp?bookid=63521
Format: Electronic Resources
Availability Online Library~1

Microcontrollers : high-performance systems and programming

2026-03-13T19:24:36Z

Author Sanchez, Julio, 1938- author. Canton, Maria P., author.
Preferred Shelf Number TJ223 .P76 S362 2014
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Software essentials : design and construction

2026-03-13T19:24:36Z

Author Dingle, Adair, author.
Preferred Shelf Number QA76.76 .D47 D545 2014
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

MATLAB Matrix Algebra

2026-03-13T19:24:36Z

Author Lopez, Cesar. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4842-0307-1
Format: Electronic Resources
Availability Online Library~1

MATLAB Differential Equations

2026-03-13T19:24:36Z

Author Lopez, Cesar. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4842-0310-1
Format: Electronic Resources
Availability Online Library~1

Beginning iPhone Development with Swift Exploring the iOS SDK

2026-03-13T19:24:36Z

Author Topley, Kim. author. Olsson, Fredrik. author. Nutting, Jack. author. Mark, David. author. LaMarche, Jeff. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4842-0409-2
Format: Electronic Resources
Availability Online Library~1

Java 8 Recipes

2026-03-13T19:24:36Z

Author Dea, Carl. author. Beaty, Mark. author. Guime, Freddy. author. OConner, John. author. Juneau, Josh. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4302-6826-0
Format: Electronic Resources
Availability Online Library~1

The Python Quick Syntax Reference

2026-03-13T19:24:36Z

Author Walters, Gregory. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4302-6479-8
Format: Electronic Resources
Availability Online Library~1

MATLAB Optimization Techniques

2026-03-13T19:24:36Z

Author Lopez, Cesar. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4842-0292-0
Format: Electronic Resources
Availability Online Library~1

Advanced Topics in Java Core Concepts in Data Structures

2026-03-13T19:24:36Z

Author Kalicharan, Noel. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4302-6620-4
Format: Electronic Resources
Availability Online Library~1

Building JavaScript Games for Phones, Tablets, and Desktop

2026-03-13T19:24:36Z

Author Egges, Arjan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4302-6539-9
Format: Electronic Resources
Availability Online Library~1

Beginning Java 8 Games Development

2026-03-13T19:24:36Z

Author Jackson, Wallace. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4842-0415-3
Format: Electronic Resources
Availability Online Library~1

Foundation ActionScript 3

2026-03-13T19:24:36Z

Author Milbourne, Paul. author. Richardson, Darren. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4842-0583-9
Format: Electronic Resources
Availability Online Library~1

Windows PowerShell Desired State Configuration Revealed

2026-03-13T19:24:36Z

Author Chaganti, Ravikanth. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4842-0016-2
Format: Electronic Resources
Availability Online Library~1

The Manager's Guide to Web Application Security A Concise Guide to the Weaker Side of the Web

2026-03-13T19:24:36Z

Author Lepofsky, Ron. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4842-0148-0
Format: Electronic Resources
Availability Online Library~1

Beginning C++

2026-03-13T19:24:36Z

Author Horton, Ivor. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4842-0007-0
Format: Electronic Resources
Availability Online Library~1

Beginning Java 8 APIs, Extensions and Libraries Swing, JavaFX, JavaScript, JDBC and Network Programming APIs

2026-03-13T19:24:36Z

Author Sharan, Kishori. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4302-6662-4
Format: Electronic Resources
Availability Online Library~1

MATLAB Symbolic Algebra and Calculus Tools

2026-03-13T19:24:36Z

Author Lopez, Cesar. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4842-0343-9
Format: Electronic Resources
Availability Online Library~1

Transitioning to Swift

2026-03-13T19:24:36Z

Author Gardner, Scott. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4842-0406-1
Format: Electronic Resources
Availability Online Library~1

Android Recipes A Problem-Solution Approach

2026-03-13T19:24:36Z

Author Smith, Dave. author. Friesen, Jeff. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4302-6323-4
Format: Electronic Resources
Availability Online Library~1

Beginning Xcode: Swift Edition

2026-03-13T19:24:36Z

Author Knott, Matthew. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4842-0538-9
Format: Electronic Resources
Availability Online Library~1