Search Results for Computers (Software) - Narrowed by: Online Library

Computers, Software Engineering, and Digital Devices

2026-01-11T06:32:00Z

Author Dorf, Richard C., author. Taylor and Francis.
Preferred Shelf Number TK7885
Electronic Access Click here to view.
Format: Electronic Resources
Availability Online Library~1

Onboard Computers, Onboard Software and Satellite Operations An Introduction

2026-01-11T06:32:00Z

Author Eickhoff, Jens. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25170-2
Format: Electronic Resources
Availability Online Library~1

Technology-based teaching and learning in Pakistani English language classrooms

2026-01-11T06:32:00Z

Author Ali, Muhammad Mooneeb, author.
Preferred Shelf Number PE1068 .P34 A45 2025 EB
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003450733 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Introduction to software for chemical engineers

2026-01-11T06:32:00Z

Author Martín Martín, Mariano, editor.
Preferred Shelf Number TP184
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003472360 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Clockwork game design

2026-01-11T06:32:00Z

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

Software Vulnerability Discovery Process : Concepts and Applications

2026-01-11T06:32:00Z

Author Anand, Adarsh, author. Bhatt, Navneet, author. Alhazmi, Omar H., editor.
Preferred Shelf Number QA76.9 .A25
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9788770046176 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Artificial intelligence and machine learning for business

2026-01-11T06:32:00Z

Author Mishra, Namita, editor. Kumar, A. V. Senthil, 1966- editor.
Preferred Shelf Number HF5548.2
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003535850 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Essential VectorWorks skills for scenic and production designers : drawing, rendering, modeling, drafting, and presenting

2026-01-11T06:32:00Z

Author Chen, Ming (Computer graphics designer), author.
Preferred Shelf Number PN2091 .S8
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003266242 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Emerging digitalization trends in business and management : a roadmap to Industry 5.0

2026-01-11T06:32:00Z

Author Babbar, Mansi, editor. Majeed, Mohammad, editor. Husain, Mustahid M., editor. Ghosh, Nitu, editor.
Preferred Shelf Number HC79 .I55
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003503354 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Adopting Artificial Intelligence tools in higher education : teaching and learning

2026-01-11T06:32:00Z

Author Murugan, Thangavel, 1989- editor. Periasamy, Karthikeyan, author. Abirami, A.M., author.
Preferred Shelf Number LB1028.43
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003469315 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Intelligent learning paradigms and student empowerment : digital integration and transformation

2026-01-11T06:32:00Z

Author Pal, Souvik, editor Ton, Quang Cuong, 1970- editor Nehru, R. S. S., 1974- editor
Preferred Shelf Number LB1028.3
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781032721699 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Random Number Generators on Computers

2026-01-11T06:32:00Z

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

GENERATIVE AI IN HIGHER EDUCATION guiding principles for teaching and learning. Volume 1.

2026-01-11T06:32:00Z

Author Nartey, Emmanuel K.
Preferred Shelf Number LB1028.43
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003561507 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

COLLECTIVE INTELLIGENCE the rise of swarm systems and their impact on society.

2026-01-11T06:32:00Z

Author Seebacher, Uwe G. Legat, Christoph.
Preferred Shelf Number Q337.3
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781032690711 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

APPLIED STATISTICS WITH PYTHON

2026-01-11T06:32:00Z

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

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

2026-01-11T06:32:00Z

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

Software Project Management Methods and Techniques.

2026-01-11T06:32:00Z

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

Advances in technological innovations in higher education : theory and practices

2026-01-11T06:32:00Z

Author Garg, Adarsh, editor. Babu, B. V., editor. Balas, Valentina Emilia, editor.
Preferred Shelf Number LB2395.7
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003376699 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Build AI-enhanced audio plugins with C++

2026-01-11T06:32:00Z

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

What every engineer should know about digital accessibility

2026-01-11T06:32:00Z

Author Horton, Sarah, 1962- author. Sloan, David (Writer on digital accessibility), author.
Preferred Shelf Number T173.8
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003288060 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

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

2026-01-11T06:32:00Z

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

SMART MEDICAL IMAGING FOR DIAGNOSIS AND TREATMENT PLANNING

2026-01-11T06:32:00Z

Author Dey, Nilanjan, 1984- editor. Misra, Bitan, editor. Chakraborty, Sayan, PhD, editor.
Preferred Shelf Number R859
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003464884 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Intelligent systems of computing and informatics

2026-01-11T06:32:00Z

Author Karim, Samsul Ariffin Abdul, editor.
Preferred Shelf Number Q335
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003400387 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

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

2026-01-11T06:32:00Z

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

Internet of Things Applications and Technology

2026-01-11T06:32:00Z

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

Operating systems : evolutionary concepts and modern design principles

2026-01-11T06:32:00Z

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

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

2026-01-11T06:32:00Z

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

PROBABILITY THEORY an introduction using r.

2026-01-11T06:32:00Z

Author Deshmukh, Shailaja R. Kashikar, Akanksha S.
Preferred Shelf Number QA273.19 .E4
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781032619057 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

User Experience Research and Usability of Health Information Technology

2026-01-11T06:32:00Z

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

A guide to software quality engineering

2026-01-11T06:32:00Z

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

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

2026-01-11T06:32:00Z

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

Learn R : as a language

2026-01-11T06:32:00Z

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

BLOCKCHAIN IN ENERGY

2026-01-11T06:32:00Z

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

Applied machine learning using mlr3 in R

2026-01-11T06:32:00Z

Author Bischl, Bernd, editor. Sonabend, Raphael, editor. Kotthoff, Lars, editor. Lang, Michel, editor.
Preferred Shelf Number Q325.5
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003402848 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Computational intelligence applications for software engineering problems

2026-01-11T06:32:00Z

Author Nand, Parma (Computer scientist), editor. Nitin, Rakesh, editor. Agrawal, Arun Prakash, editor. Jain, Vishal, 1983- editor.
Preferred Shelf Number QA76.758
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003283195 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Agile Software Development

2026-01-11T06:32:00Z

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

High Performance Computing 38th International Conference, ISC High Performance 2023, Hamburg, Germany, May 21-25, 2023, Proceedings

2026-01-11T06:32:00Z

Author Bhatele, Abhinav. editor. Hammond, Jeff. editor. Baboulin, Marc. editor. Kruse, Carola. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-32041-5
Format: Electronic Resources
Availability Online Library~1

Software durability concepts and practices

2026-01-11T06:32:00Z

Author Kumar, Rajeev, 1991- author. Khan, Suhel Ahmad, author. Khan, R. A. (Raees Ahmad), author.
Preferred Shelf Number QA76.76 .Q35
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003322351 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

What every engineer should know about data-driven analytics

2026-01-11T06:32:00Z

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

SMART EMBEDDED SYSTEMS AND APPLICATIONS

2026-01-11T06:32:00Z

Author Motahhir, Saad, editor.
Preferred Shelf Number TK7895 .E42
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003375692 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Customizable and adaptive quantum processors : theory and applications

2026-01-11T06:32:00Z

Author Nedjah, Nadia, author. Macedo Mourelle, Luiza de, author.
Preferred Shelf Number QA76.889
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003344094 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

SQL SERVER DATABASE PROGRAMMING WITH C#; DESKTOP AND WEB APPLICATIONS

2026-01-11T06:32:00Z

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

Multi-criteria decision models in software reliability : methods and applications

2026-01-11T06:32:00Z

Author Mishra, Ashish (Ashish Kumar), editor. Dieu Linh, Nguyen Thi, editor. Bhardwaj, Manish (Professor of computer science and engineering), editor. Pinto, Carla M. A. (Computer scientist), editor.
Preferred Shelf Number QA76.76 .R44 M85 2023
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9780367816414 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

COMPUTER ARITHMETIC IN PRACTICE exercises and programming.

2026-01-11T06:32:00Z

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

The Concept of Enterprise Architecture from Theory to Practice

2026-01-11T06:32:00Z

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

Elements of Digital Transformation

2026-01-11T06:32:00Z

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

Technologies for Sustainable Global Higher Education

2026-01-11T06:32:00Z

Author Sousa, Maria José. Machado, Andreia de Bem. Aparecida Dandolini, Gertrudes.
Preferred Shelf Number LB1028.3
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003424543 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Tomorrow's systems engineering : commentaries on the profession

2026-01-11T06:32:00Z

Author Eisner, Howard, 1935- author.
Preferred Shelf Number TA157 .E369 2023
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003269274 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

A Software Development Approach for Driving Competitiveness in Small Firms

2026-01-11T06:32:00Z

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

Topological dynamics in metamodel discovery with artificial intelligence : from biomedical to cosmological technologies

2026-01-11T06:32:00Z

Author Fernández Stigliano, Ariel, author.
Preferred Shelf Number Q335 .F468 2023
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003333012 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Confessions of an Enterprise Architect

2026-01-11T06:32:00Z

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

SOFTWARE ENGINEERING APPROACHES TO ENABLE DIGITAL TRANSFORMATION TECHNOLOGIES

2026-01-11T06:32:00Z

Author Misra, Sanjay. Jain, Amit. Kaushik, Manju. Banerjee, Chitresh.
Preferred Shelf Number QA76.758
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003441601 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Bayesian Modelling of Spatio-Temporal Data with R.

2026-01-11T06:32:00Z

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

Advanced R Solutions

2026-01-11T06:32:00Z

Author Grosser, Malte. Bumann, Henning, author. Wickham, Hadley, author.
Preferred Shelf Number QA276.45 .R3 G76 2022
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003175414 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Foundations of probabilistic logic programming : languages, semantics, inference and learning

2026-01-11T06:32:00Z

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

Hybrid genetic optimization for IC chips thermal control : with MATLAB applications

2026-01-11T06:32:00Z

Author Karvinkoppa, Mathew, author. Hotta, Tapano Kumar, author.
Preferred Shelf Number TK7874
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/e/9781003188506 Taylor & Francis https://www.taylorfrancis.com/books/9781003188506 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Enterprise architecture for strategic management of modern IT solutions

2026-01-11T06:32:00Z

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

Mobile microservices : build flexible pervasive applications

2026-01-11T06:32:00Z

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

Database Design Using Entity-Relationship Diagrams

2026-01-11T06:32:00Z

Author Bagui, Sikha, 1964- author. Earp, Richard, 1940- author.
Preferred Shelf Number QA76.9 .D26
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003314455 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

STEM PROBLEMS WITH MATHCAD AND PYTHON

2026-01-11T06:32:00Z

Author Ochkov, V. F. (Valeriĭ Fedorovich), author. Stevens, Alan (Mathematician), author. Tikhonov, Anton (Information technology), author.
Preferred Shelf Number QA303.2
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003228356 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Cyber careers : the basics of information technology and deciding on a career path

2026-01-11T06:32:00Z

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

Practical Security for Agile and DevOps.

2026-01-11T06:32:00Z

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

Software engineering for automotive systems : principles and applications

2026-01-11T06:32:00Z

Author Sivakumar, P. (Electrical engineer), editor. Kumar, B. Vinoth, editor. Sandhya Devi, R. S., editor.
Preferred Shelf Number TL272.53
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003269908 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Children, technology and healthy development : how to help kids be safe and thrive online

2026-01-11T06:32:00Z

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

Computational intelligence techniques and their applications to software engineering problems

2026-01-11T06:32:00Z

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

UNDERSTANDING INTERACTION; THE RELATIONSHIPS BETWEEN PEOPLE, TECHNOLOGY, CULTURE, AND THE ENVIRONMENT, VOLUME 1

2026-01-11T06:32:00Z

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

Business Analysis, Requirements, and Project Management A Guide for Computing Students.

2026-01-11T06:32:00Z

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

SOFTWARE DEVELOPMENT PATTERNS AND ANTIPATTERNS.

2026-01-11T06:32:00Z

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

Software Engineering A Methodical Approach, 2nd Edition.

2026-01-11T06:32:00Z

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

Blockchain-enabled fog and edge computing : concepts, architectures, and applications

2026-01-11T06:32:00Z

Author Rehan, Muhammad Maaz, editor. Rehmani, Mubashir Husain, 1983- editor.
Preferred Shelf Number QA76.585 .B556 2021 EB
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003034087 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Supervised machine learning : optimization framework and applications with SAS and R

2026-01-11T06:32:00Z

Author Kolosova, Tanya, author. Berestizhevsky, Samuel, author.
Preferred Shelf Number Q325.75 .K65 2021 EB
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9780429297595 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Knowledge architectures structures and semantics

2026-01-11T06:32:00Z

Author Bedford, Denise A. D., 1950-
Preferred Shelf Number Z665
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9780429268915 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Research and Evidence in Software Engineering From Empirical Studies to Open Source Artifacts.

2026-01-11T06:32:00Z

Author Gupta, V. (Varun) Gupta, Chetna.
Preferred Shelf Number QA76.758
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003168393 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Building in Security at Agile Speed

2026-01-11T06:32:00Z

Author Ransome, James. Schoenfield, Brook S. E.
Preferred Shelf Number QA76.9 .A25
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003002451 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Automated Software Testing with Cypress

2026-01-11T06:32:00Z

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

Software Engineering Perspectives in Computer Game Development.

2026-01-11T06:32:00Z

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

Computational design : technology, cognition and environments

2026-01-11T06:32:00Z

Author Yu, Rongrong, 1981- author. Gu, Ning, 1975- author. Ostwald, Michael J., author.
Preferred Shelf Number TA345
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9780429260780 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Role of ICT in higher education : trends, problems, and prospects

2026-01-11T06:32:00Z

Author Latwal, Gopal Singh, editor. Sharma, Sudhir Kumar, editor. Mahajan, Prerna, editor. Kommers, Piet A. M., editor. International Conference on the Role of ICT in Higher Education: Trends, Problems and Prospects (2020 : Delhi, India)
Preferred Shelf Number LB2395.7 .R65 2021
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003130864 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Effective methods for software engineering

2026-01-11T06:32:00Z

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

Knowledge Management in the Development of Data-Intensive Systems

2026-01-11T06:32:00Z

Author Mistrík, Ivan. Galster, Matthias. Maxim, Bruce R. Tekinerdogan, Bedir, 1970-
Preferred Shelf Number QA76.9 .B45
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003001188 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Nonfunctional requirements in mobile application development

2026-01-11T06:32:00Z

Author Gupta, Varun, 1987- author. Chopra, Raj Kumar, author. Chauhan, Durg Singh, author.
Preferred Shelf Number QA76.76 .A65
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003160922 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

REMOTE DELIVERY a guide to software delivery through collaboration between distributed teams.

2026-01-11T06:32:00Z

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

The design and implementation of the RT-thread operating system

2026-01-11T06:32:00Z

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

Blockchain for cybersecurity and privacy : architectures, challenges, and applications

2026-01-11T06:32:00Z

Author Maleh, Yassine, 1987- editor.
Preferred Shelf Number QA76.9 .B56 B55 2020 EB
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9780429324932 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Change request impacts in software maintenance

2026-01-11T06:32:00Z

Author Kumar, Madapuri Rudra, author. Prasad, Kalli Srinivasa Nageswara, author. Rao, Annaluri Sreenivasa, author. Gunjan, Vinit Kumar, author.
Preferred Shelf Number QA76.76 .S64
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003032564 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Data plane development kit : a software optimization guide to the user space-based network applications

2026-01-11T06:32:00Z

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

Cross-site scripting attacks classification, attack, and countermeasures

2026-01-11T06:32:00Z

Author Gupta, B. B., 1982- Chaudhary, Pooja.
Preferred Shelf Number TK5105.59
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9780429351327 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

25 problems for STEM education

2026-01-11T06:32:00Z

Author Ochkov, V. F. (Valeriĭ Fedorovich)
Preferred Shelf Number QA76.27
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9780429344251 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Introduction to private cloud using Oracle Exadata and Oracle Database

2026-01-11T06:32:00Z

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

C++ template metaprogramming in practice a deep learning framework

2026-01-11T06:32:00Z

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

RESOURCE PROPORTIONAL SOFTWARE DESIGN FOR EMERGING SYSTEMS

2026-01-11T06:32:00Z

Author Bhattacharya, Suparna. Gopinath, Kanchi. Voigt, Doug.
Preferred Shelf Number QA76.76 .D47
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781315167220 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Applied spatial statistics and econometrics : data analysis in R

2026-01-11T06:32:00Z

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

R for health data science

2026-01-11T06:32:00Z

Author Harrison, Ewen, author. Pius, Riinu, author.
Preferred Shelf Number QH324.2 .H37 2020
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9780367855420 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

The Electrical Engineering Handbook - Six Volume Set

2026-01-11T06:32:00Z

Author Dorf, Richard C., editor. Taylor and Francis.
Preferred Shelf Number R857 .B54
Electronic Access Click here to view.
Format: Electronic Resources
Availability Online Library~1

New Opportunities for Innovation Breakthroughs for Developing Countries and Emerging Economies 19th International TRIZ Future Conference, TFC 2019, Marrakesh, Morocco, October 9–11, 2019, Proceedings

2026-01-11T06:32:00Z

Author Benmoussa, Rachid. editor. De Guio, Roland. editor. Dubois, Sébastien. editor. (orcid)0000-0003-1501-4977 Koziołek, Sebastian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-32497-1
Format: Electronic Resources
Availability Online Library~1

Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

2026-01-11T06:32:00Z

Author Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Graf, Susanne. editor. Larsen, Kim G. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-22348-9
Format: Electronic Resources
Availability Online Library~1

Applied Reconfigurable Computing 15th International Symposium, ARC 2019, Darmstadt, Germany, April 9–11, 2019, Proceedings

2026-01-11T06:32:00Z

Author Hochberger, Christian. editor. Nelson, Brent. editor. Koch, Andreas. editor. Woods, Roger. editor. Diniz, Pedro. editor. (orcid)0000-0003-3131-9367
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-17227-5
Format: Electronic Resources
Availability Online Library~1

Applied Cryptography and Network Security 17th International Conference, ACNS 2019, Bogota, Colombia, June 5–7, 2019, Proceedings

2026-01-11T06:32:00Z

Author Deng, Robert H. editor. (orcid)0000-0003-3491-8146 Gauthier-Umaña, Valérie. editor. (orcid)0000-0003-0909-7091 Ochoa, Martín. editor. (orcid)0000-0002-7816-5775 Yung, Moti. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-21568-2
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings

2026-01-11T06:32:00Z

Author Lin, Anthony Widjaja. editor. (orcid)0000-0003-4715-5096 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-34175-6
Format: Electronic Resources
Availability Online Library~1

Precision Assembly in the Digital Age 8th IFIP WG 5.5 International Precision Assembly Seminar, IPAS 2018, Chamonix, France, January 14—16, 2018, Revised Selected Papers

2026-01-11T06:32:00Z

Author Ratchev, Svetan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-05931-6
Format: Electronic Resources
Availability Online Library~1

Unifying Theories of Programming 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings

2026-01-11T06:32:00Z

Author Ribeiro, Pedro. editor. (orcid)0000-0003-4319-4872 Sampaio, Augusto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-31038-7
Format: Electronic Resources
Availability Online Library~1

Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings

2026-01-11T06:32:00Z

Author Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507 Petre, Luigia. editor. Smith, Graeme. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-32441-4
Format: Electronic Resources
Availability Online Library~1

Technology and Innovation in Learning, Teaching and Education First International Conference, TECH-EDU 2018, Thessaloniki, Greece, June 20–22, 2018, Revised Selected Papers

2026-01-11T06:32:00Z

Author Tsitouridou, Meni. editor. A. Diniz, José. editor. Mikropoulos, Tassos A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-20954-4
Format: Electronic Resources
Availability Online Library~1

Digital Forensics and Cyber Crime 10th International EAI Conference, ICDF2C 2018, New Orleans, LA, USA, September 10–12, 2018, Proceedings

2026-01-11T06:32:00Z

Author Breitinger, Frank. editor. (orcid)0000-0001-5261-4600 Baggili, Ibrahim. editor. (orcid)0000-0002-9574-9537 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-05487-8
Format: Electronic Resources
Availability Online Library~1

The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday

2026-01-11T06:32:00Z

Author Alvim, Mário S. editor. Chatzikokolakis, Kostas. editor. Olarte, Carlos. editor. Valencia, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-31175-9
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence 5th RAAI Summer School, Dolgoprudny, Russia, July 4–7, 2019, Tutorial Lectures

2026-01-11T06:32:00Z

Author Osipov, Gennady S. editor. (orcid)0000-0002-5329-6234 Panov, Aleksandr I. editor. (orcid)0000-0002-9747-3837 Yakovlev, Konstantin S. editor. (orcid)0000-0002-4377-321X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-33274-7
Format: Electronic Resources
Availability Online Library~1

Knowledge Management and Acquisition for Intelligent Systems 16th Pacific Rim Knowledge Acquisition Workshop, PKAW 2019, Cuvu, Fiji, August 26–27, 2019, Proceedings

2026-01-11T06:32:00Z

Author Ohara, Kouzou. editor. Bai, Quan. editor. (orcid)0000-0003-1214-6317 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-30639-7
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings

2026-01-11T06:32:00Z

Author Larsen, Kim Guldstrand. editor. Willemse, Tim. editor. (orcid)0000-0003-3049-7962 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-27008-7
Format: Electronic Resources
Availability Online Library~1

Provable Security 13th International Conference, ProvSec 2019, Cairns, QLD, Australia, October 1–4, 2019, Proceedings

2026-01-11T06:32:00Z

Author Steinfeld, Ron. editor. (orcid)0000-0003-1745-4183 Yuen, Tsz Hon. editor. (orcid)0000-0002-0629-6792 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-31919-9
Format: Electronic Resources
Availability Online Library~1

Foundations and Practice of Security 11th International Symposium, FPS 2018, Montreal, QC, Canada, November 13–15, 2018, Revised Selected Papers

2026-01-11T06:32:00Z

Author Zincir-Heywood, Nur. editor. Bonfante, Guillaume. editor. Debbabi, Mourad. editor. (orcid)0000-0003-3015-3043 Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-18419-3
Format: Electronic Resources
Availability Online Library~1

Innovative Security Solutions for Information Technology and Communications 11th International Conference, SecITC 2018, Bucharest, Romania, November 8–9, 2018, Revised Selected Papers

2026-01-11T06:32:00Z

Author Lanet, Jean-Louis. editor. (orcid)0000-0002-4751-3941 Toma, Cristian. editor. (orcid)0000-0001-9316-7739 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-12942-2
Format: Electronic Resources
Availability Online Library~1

Formal Methods An Appetizer

2026-01-11T06:32:00Z

Author Nielson, Flemming. author. (orcid)0000-0001-7362-6176 Riis Nielson, Hanne. author. (orcid)0000-0002-2484-5580 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-05156-3
Format: Electronic Resources
Availability Online Library~1

Discovery Science 22nd International Conference, DS 2019, Split, Croatia, October 28–30, 2019, Proceedings

2026-01-11T06:32:00Z

Author Kralj Novak, Petra. editor. (orcid)0000-0003-3385-6430 Šmuc, Tomislav. editor. (orcid)0000-0002-9185-9384 Džeroski, Sašo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-33778-0
Format: Electronic Resources
Availability Online Library~1

Membrane Computing 19th International Conference, CMC 2018, Dresden, Germany, September 4–7, 2018, Revised Selected Papers

2026-01-11T06:32:00Z

Author Hinze, Thomas. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Zandron, Claudio. editor. (orcid)0000-0002-2163-7639 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-12797-8
Format: Electronic Resources
Availability Online Library~1

Cyberspace Data and Intelligence, and Cyber-Living, Syndrome, and Health International 2019 Cyberspace Congress, CyberDI and CyberLife, Beijing, China, December 16–18, 2019, Proceedings, Part I

2026-01-11T06:32:00Z

Author Ning, Huansheng. editor. (orcid)0000-0001-6413-193X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-15-1922-2
Format: Electronic Resources
Availability Online Library~1

Distributed Applications and Interoperable Systems 18th IFIP WG 6.1 International Conference, DAIS 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings

2026-01-11T06:32:00Z

Author Bonomi, Silvia. editor. Rivière, Etienne. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-93767-0
Format: Electronic Resources
Availability Online Library~1

High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation 8th International Workshop, PMBS 2017, Denver, CO, USA, November 13, 2017, Proceedings

2026-01-11T06:32:00Z

Author Jarvis, Stephen. editor. Wright, Steven. editor. Hammond, Simon. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-72971-8
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Collective Intelligence XXVIII

2026-01-11T06:32:00Z

Author Nguyen, Ngoc Thanh. editor. Kowalczyk, Ryszard. editor. van den Herik, Jaap. editor. Rocha, Ana Paula. editor. (orcid)0000-0002-8129-9758 Filipe, Joaquim. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-78301-7
Format: Electronic Resources
Availability Online Library~1

Robotic Grasping and Manipulation First Robotic Grasping and Manipulation Challenge, RGMC 2016, Held in Conjunction with IROS 2016, Daejeon, South Korea, October 10–12, 2016, Revised Papers

2026-01-11T06:32:00Z

Author Sun, Yu. editor. Falco, Joe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94568-2
Format: Electronic Resources
Availability Online Library~1

Testing Complex and Embedded Systems

2026-01-11T06:32:00Z

Author Pries, Kim H., author. Quigley, Jon M., author. Taylor and Francis.
Preferred Shelf Number TK7895 .E42
Electronic Access Click here to view
Format: Electronic Resources
Availability Online Library~1

How to Reduce the Cost of Software Testing

2026-01-11T06:32:00Z

Author Heusser, Matthew, editor. Kulkarni, Govind, editor. Taylor and Francis.
Preferred Shelf Number QA76.76 .T48
Electronic Access Click here to view
Format: Electronic Resources
Availability Online Library~1

Dictionary of Computer Science, Engineering and Technology

2026-01-11T06:32:00Z

Author Laplante, Philip A., editor., author.
Preferred Shelf Number QA76.15 L375 2017
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Mechatronic system control, logic, and data acquisition

2026-01-11T06:32:00Z

Author Bishop, Robert H., 1957- editor. Taylor and Francis.
Preferred Shelf Number TJ223 .P76 M43 2008
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Enhanced Building Information Models Using IoT Services and Integration Patterns

2026-01-11T06:32:00Z

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

The Impact of Pen and Touch Technology on Education

2026-01-11T06:32:00Z

Author Hammond, Tracy. editor. Valentine, Stephanie. editor. Adler, Aaron. editor. Payton, Mark. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-15594-4
Format: Electronic Resources
Availability Online Library~1

Pillars of Computing A Compendium of Select, Pivotal Technology Firms

2026-01-11T06:32:00Z

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

Introduction to Software project management

2026-01-11T06:32:00Z

Author Villafiorita, Adolfo, author. Taylor and Francis.
Preferred Shelf Number QA76.758
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Collaborative Design for Embedded Systems Co-modelling and Co-simulation

2026-01-11T06:32:00Z

Author Fitzgerald, John. editor. Larsen, Peter Gorm. editor. Verhoef, Marcel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54118-6
Format: Electronic Resources
Availability Online Library~1

Reversible Computation 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings

2026-01-11T06:32:00Z

Author Yamashita, Shigeru. editor. Minato, Shin-ichi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08494-7
Format: Electronic Resources
Availability Online Library~1

Open Source Software: Mobile Open Source Technologies 10th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2014, San José, Costa Rica, May 6-9, 2014, Proceedings

2026-01-11T06:32:00Z

Author Corral, Luis. editor. Sillitti, Alberto. editor. Succi, Giancarlo. editor. Vlasenko, Jelena. editor. Wasserman, Anthony I. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-55128-4
Format: Electronic Resources
Availability Online Library~1

Augmented Marked Graphs

2026-01-11T06:32:00Z

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

Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedings

2026-01-11T06:32:00Z

Author Dingel, Juergen. editor. Schulte, Wolfram. editor. Ramos, Isidro. editor. Abrahao, Silvia. editor. Insfran, Emilio. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11653-2
Format: Electronic Resources
Availability Online Library~1

Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings

2026-01-11T06:32:00Z

Author Combemale, Benoit. editor. Pearce, David. editor. Barais, Olivier. editor. Vinju, Jurgen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11245-9
Format: Electronic Resources
Availability Online Library~1

Process Design for Natural Scientists An Agile Model-Driven Approach

2026-01-11T06:32:00Z

Author Lamprecht, Anna-Lena. editor. Margaria, Tiziana. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-45006-2
Format: Electronic Resources
Availability Online Library~1

Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

2026-01-11T06:32:00Z

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

From Programs to Systems - The Systems Perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings

2026-01-11T06:32:00Z

Author Bensalem, Saddek. editor. Lakhnech, Yassine. editor. Legay, Axel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54848-2
Format: Electronic Resources
Availability Online Library~1

Programming Languages 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings

2026-01-11T06:32:00Z

Author Quintao Pereira, Fernando Magno. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11863-5
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings

2026-01-11T06:32:00Z

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

Reliable Software Technologies – Ada-Europe 2014 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings

2026-01-11T06:32:00Z

Author George, Laurent. editor. Vardanega, Tullio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08311-7
Format: Electronic Resources
Availability Online Library~1

Programming languages for MIS : concepts and practice

2026-01-11T06:32:00Z

Author Wang, Hai, author. Wang, Shouhong, 1962- author. Taylor and Francis.
Preferred Shelf Number T58.6
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Green computing : tools and techniques for saving energy, money, and resources

2026-01-11T06:32:00Z

Author Smith, Bud E., author.
Preferred Shelf Number TJ163.5 .O35 S56 2014
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

A handbook of statistical graphics using SAS ODS

2026-01-11T06:32:00Z

Author Der, Geoff, author. Everitt, Brian Sidney, author. Taylor and Francis.
Preferred Shelf Number QA276.4 .D474
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Dynamic documents with R and KNITR

2026-01-11T06:32:00Z

Author Xie, Yihui., author. Taylor and Francis.
Preferred Shelf Number QA276.4
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Innovative Technologies for Dependable OTS-Based Critical Systems Challenges and Achievements of the CRITICAL STEP Project

2026-01-11T06:32:00Z

Author Cotroneo, Domenico. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335577.1)
Electronic Access http://dx.doi.org/10.1007/978-88-470-2772-5
Format: Electronic Resources
Availability Online Library~1

Supercomputing 28th International Supercomputing Conference, ISC 2013, Leipzig, Germany, June 16-20, 2013. Proceedings

2026-01-11T06:32:00Z

Author Kunkel, Julian Martin. editor. Ludwig, Thomas. editor. Meuer, Hans Werner. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334662.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38750-0
Format: Electronic Resources
Availability Online Library~1

Evaluating AAL Systems Through Competitive Benchmarking. Indoor Localization and Tracking International Competition, EvAAL 2011, Competition in Valencia, Spain, July 25-29, 2011, and Final Workshop in Lecce, Italy, September 26, 2011. Revised Selected Papers

2026-01-11T06:32:00Z

Author Chessa, Stefano. editor. Knauth, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33533-4
Format: Electronic Resources
Availability Online Library~1

Beyond redundancy how geographic redundancy can improve service availability and reliability of computer-based systems

2026-01-11T06:32:00Z

Author Bauer, Eric. Adams, Randee. Eustace, Dan.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=6047598
Format: Electronic Resources
Availability Online Library~1

Computer, network, software, and hardware engineering with applications

2026-01-11T06:32:00Z

Author Schneidewind, Norman.
Preferred Shelf Number ONLINE
Electronic Access IEEEXplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6168884
Format: Electronic Resources
Availability Online Library~1

Solving enterprise applications performance puzzles queuing models to the rescue

2026-01-11T06:32:00Z

Author Grinshpan, L. A. (Leonid Abramovich) Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access IEEEXplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6168885
Format: Electronic Resources
Availability Online Library~1

Semantic web and model-driven engineering

2026-01-11T06:32:00Z

Author Parreiras, Fernando Silva. Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=6218883
Format: Electronic Resources
Availability Online Library~1

Applied semantic web technologies

2026-01-11T06:32:00Z

Author Sugumaran, Vijayan, 1960- Gulla, Jon Atle.
Preferred Shelf Number ONLINE
Electronic Access EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=392571
Format: Electronic Resources
Availability Online Library~1

Documenting learning with Eportfolios a guide for college instructors

2026-01-11T06:32:00Z

Author Light, Tracy Penny, 1970- Chen, Helen L., 1971- Ittelson, John C., 1949-
Preferred Shelf Number ONLINE
Electronic Access EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=410552
Format: Electronic Resources
Availability Online Library~1

Flexible imputation of missing data

2026-01-11T06:32:00Z

Author Buuren, Stef van., author.
Preferred Shelf Number QA278 .B88 2012
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Building Parallel, Embedded, and Real-Time Applications with Ada

2026-01-11T06:32:00Z

Author McCormick, John W.. Singhoff, Frank. Hugues, Jérôme.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Practical database programming with Java

2026-01-11T06:32:00Z

Author Bai, Ying, 1956-
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5988888
Format: Electronic Resources
Availability Online Library~1

Software Reliability Assessment with OR Applications

2026-01-11T06:32:00Z

Author Kapur, P.K. author. Pham, Hoang. author. Gupta, A. author. Jha, P.C. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-85729-204-9
Format: Electronic Resources
Availability Online Library~1

Human-computer etiquette : cultural expectations and the design implications they place on computers and technology

2026-01-11T06:32:00Z

Author Hayes, Caroline. Miller, Christopher Allan.
Preferred Shelf Number QA76.9 .C66 H823 2010
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Software metrics and software metrology

2026-01-11T06:32:00Z

Author Abran, Alain, 1949-
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6381791
Format: Electronic Resources
Availability Online Library~1

Managing and leading software projects

2026-01-11T06:32:00Z

Author Fairley, R. E. (Richard E.), 1937- IEEE Computer Society.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore An electronic book accessible through the World Wide Web; click for information
Format: Electronic Resources
Availability Online Library~1

High Assurance Services Computing

2026-01-11T06:32:00Z

Author Zhang, Liang-Jie. editor. Paul, Raymond. editor. Dong, Jing. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-87658-0
Format: Electronic Resources
Availability Online Library~1

Object-Oriented Technology. ECOOP 2008 Workshop Reader ECOOP 2008 Workshops Paphos, Cyprus, July 7-11, 2008 Final Reports

2026-01-11T06:32:00Z

Author Eugster, Patrick. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02047-6
Format: Electronic Resources
Availability Online Library~1

Robust and Online Large-Scale Optimization Models and Techniques for Transportation Systems

2026-01-11T06:32:00Z

Author Ahuja, Ravindra K. editor. Möhring, Rolf H. editor. Zaroliagis, Christos D. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-05465-5
Format: Electronic Resources
Availability Online Library~1

Job Scheduling Strategies for Parallel Processing 14th International Workshop, JSSPP 2009, Rome, Italy, May 29, 2009. Revised Papers

2026-01-11T06:32:00Z

Author Frachtenberg, Eitan. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04633-9
Format: Electronic Resources
Availability Online Library~1

Scalable Information Systems 4th International ICST Conference, INFOSCALE 2009, Hong Kong, June 10-11, 2009, Revised Selected Papers

2026-01-11T06:32:00Z

Author Mueller, Peter. editor. Cao, Jian-Nong. editor. Wang, Cho-Li. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-10485-5
Format: Electronic Resources
Availability Online Library~1

Component-Based Software Engineering 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings

2026-01-11T06:32:00Z

Author Lewis, Grace A. editor. Poernomo, Iman. editor. Hofmeister, Christine. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02414-6
Format: Electronic Resources
Availability Online Library~1

Software maintenance management evaluation and continuous improvement

2026-01-11T06:32:00Z

Author April, Alain, 1958- Abran, Alain, 1949-
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6129685
Format: Electronic Resources
Availability Online Library~1

Practical support for lean six sigma software process definition using IEEE software engineering standards

2026-01-11T06:32:00Z

Author Land, Susan K. Smith, Douglas Burr, 1943- Walz, John W.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6129687
Format: Electronic Resources
Availability Online Library~1

Handbook of applied algorithms solving scientific, engineering and practical problems

2026-01-11T06:32:00Z

Author Nayak, Amiya. Stojmenović, Ivan.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5201533
Format: Electronic Resources
Availability Online Library~1

Dependability benchmarking for computer systems

2026-01-11T06:32:00Z

Author Kanoun, Karama. Spainhower, Lisa.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6129686
Format: Electronic Resources
Availability Online Library~1

A Modular Calculus for the Average Cost of Data Structuring

2026-01-11T06:32:00Z

Author Schellekens, Michel. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-73384-5
Format: Electronic Resources
Availability Online Library~1

Autonomous Systems – Self-Organization, Management, and Control Proceedings of the 8th International Workshop held at Shanghai Jiao Tong University, Shanghai, China, October 6–7, 2008

2026-01-11T06:32:00Z

Author Mahr, Bernd. editor. Huanye, Sheng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-8889-6
Format: Electronic Resources
Availability Online Library~1

Innovation in Manufacturing Networks Eighth IFIP International Conference on Information Technology for Balanced Automation Systems, Porto, Portugal, June 23–25, 2008

2026-01-11T06:32:00Z

Author Azevedo, Américo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-09492-2
Format: Electronic Resources
Availability Online Library~1

Component-Based Software Engineering 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings

2026-01-11T06:32:00Z

Author Chaudron, Michel R. V. editor. Szyperski, Clemens. editor. Reussner, Ralf. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-87891-9
Format: Electronic Resources
Availability Online Library~1

High performance embedded computing handbook : a systems perspective

2026-01-11T06:32:00Z

Author Bond, Robert A. Martinez, David R. Vai, M. Michael.
Preferred Shelf Number TK7895 .E42 H54 2008
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Handbook of parallel computing : models, algorithms and applications

2026-01-11T06:32:00Z

Author Rajasekaran, Sanguthevar, author. Reif, J. H. (John H.)
Preferred Shelf Number QA76.58 .R34 2007
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Software testing testing across the entire software development life cycle

2026-01-11T06:32:00Z

Author Everett, Gerald D., 1943- McLeod, Raymond. Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5201507
Format: Electronic Resources
Availability Online Library~1

Software Verification and Validation An Engineering and Scientific Approach

2026-01-11T06:32:00Z

Author Fisher, Marcus S. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-47939-2
Format: Electronic Resources
Availability Online Library~1

Context-Aware Pervasive Systems : Architectures for a New Breed of Applications

2026-01-11T06:32:00Z

Author Loke, Seng, author. Taylor and Francis.
Preferred Shelf Number QA76.5915
Electronic Access Click here to view.
Format: Electronic Resources
Availability Online Library~1

Mechatronics : an introduction

2026-01-11T06:32:00Z

Author Bishop, Robert H., 1957-
Preferred Shelf Number TJ163.12 .M4315 2006
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Scientific examination of questioned documents

2026-01-11T06:32:00Z

Author Kelly, Jan Seaman. Lindblom, Brian S.
Preferred Shelf Number HV8074 .S356 2006
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Software measurement and estimation a practical approach

2026-01-11T06:32:00Z

Author Laird, Linda M., 1952- Brennan, M. Carol, 1954- IEEE Computer Society. John Wiley & Sons.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5988896
Format: Electronic Resources
Availability Online Library~1

The cognitive dynamics of computer science cost-effective large scale software development

2026-01-11T06:32:00Z

Author De Gyurky, Szabolcs Michael. Tarbell, Mark A. John Wiley & Sons.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5201429
Format: Electronic Resources
Availability Online Library~1

Teaching in the knowledge society new skills and instruments for teachers

2026-01-11T06:32:00Z

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

Embedded Systems – Modeling, Technology, and Applications

2026-01-11T06:32:00Z

Author Hommel, Günter. editor. Huanye, Sheng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-4933-1
Format: Electronic Resources
Availability Online Library~1

The engineering handbook

2026-01-11T06:32:00Z

Author Dorf, Richard C.
Preferred Shelf Number TA151 .E424 2005
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Developing performance support for computer systems : a strategy for maximizing usability and learnability

2026-01-11T06:32:00Z

Author Williams, James R. (James Richard), 1932-
Preferred Shelf Number QA76 .W5185 2004
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781136864964 Taylor & Francis https://www.taylorfrancis.com/books/9780203228531 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Head First design patterns

2026-01-11T06:32:00Z

Author Freeman, Eric, 1965- Freeman, Elisabeth. Sierra, Kathy. Bates, Bert. Safari Tech Books Online
Preferred Shelf Number ONLINE
Electronic Access EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=415229
Format: Electronic Resources
Availability Online Library~1

Tru64 UNIX troubleshooting diagnosing and correcting system problems

2026-01-11T06:32:00Z

Author Moore, Martin L. Hancock, Steven M.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9781555582746
Format: Electronic Resources
Availability Online Library~1

The complete book of middleware

2026-01-11T06:32:00Z

Author Myerson, Judith M.
Preferred Shelf Number QA76.76 .A65 M94 2002B
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781420000184 Taylor & Francis https://www.taylorfrancis.com/books/9780367806286 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

The mechatronics handbook

2026-01-11T06:32:00Z

Author Bishop, Robert H., 1957- ISA--The Instrumentation, Systems, and Automation Society.
Preferred Shelf Number TJ163.12 .M434 2002
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

How to develop and manage qualification protocols for FDA compliance

2026-01-11T06:32:00Z

Author Cloud, Phillip A.
Preferred Shelf Number RM301.27 .C56 1999
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781482207934 Taylor & Francis https://www.taylorfrancis.com/books/9780367804237 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

PDCA/Test : a quality tool framework for software testing

2026-01-11T06:32:00Z

Author Lewis, William E.
Preferred Shelf Number QA76.76 .T48 L49 1999
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9780429131769 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Handbook of object technology

2026-01-11T06:32:00Z

Author Zamir, Saba, 1959-
Preferred Shelf Number QA76.9 .O35 H35 1999
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781420049114 Taylor & Francis https://www.taylorfrancis.com/books/9780367802134 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Inductive logic programming from machine learning to software engineering

2026-01-11T06:32:00Z

Author Bergadano, Francesco, 1963- Gunetti, Daniele.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276819
Format: Electronic Resources
Availability Online Library~1