Search Results for Computer systems. - Narrowed by: Online Library

Dependable Computer Systems

2026-03-18T18:23:31Z

Author Zamojski, Wojciech. editor. Kacprzyk, Janusz. editor. Mazurkiewicz, Jacek. editor. Sugier, Jarosław. editor. Walkowiak, Tomasz. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21393-9
Format: Electronic Resources
Availability Online Library~1

Computer Recognition Systems 4

2026-03-18T18:23:31Z

Author Burduk, Robert. editor. Kurzyński, Marek. editor. Woźniak, Michał. editor. Żołnierek, Andrzej. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20320-6
Format: Electronic Resources
Availability Online Library~1

Computer Recognition Systems 3

2026-03-18T18:23:31Z

Author Kurzynski, Marek. editor. Wozniak, Michal. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-93905-4
Format: Electronic Resources
Availability Online Library~1

Computer Recognition Systems 2

2026-03-18T18:23:31Z

Author Kurzynski, Marek. editor. Puchala, Edward. editor. Wozniak, Michal. editor. Zolnierek, Andrzej. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75175-5
Format: Electronic Resources
Availability Online Library~1

Embedded systems and computer architecture

2026-03-18T18:23:31Z

Author Wilson, G. R. (Graham R.)
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780750650649
Format: Electronic Resources
Availability Online Library~1

Dependability benchmarking for computer systems

2026-03-18T18:23:31Z

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

Computer systems and water resources

2026-03-18T18:23:31Z

Author Bugliarello, George. Gunther, Fred.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444412591
Format: Electronic Resources
Availability Online Library~1

Software Design for Resilient Computer Systems

2026-03-18T18:23:31Z

Author Schagaev, Igor. author. Gutknecht, Jürg. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-55139-0
Format: Electronic Resources
Availability Online Library~1

Aircraft digital electronic and computer systems

2026-03-18T18:23:31Z

Author Tooley, Michael H., author.
Preferred Shelf Number TL693
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003215516 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 for Resilient Computer Systems

2026-03-18T18:23:31Z

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

Computer Performance Optimization Systems - Applications - Processes

2026-03-18T18:23:31Z

Author Osterhage, Wolfgang W. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333281.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-29971-1
Format: Electronic Resources
Availability Online Library~1

Dependability of Networked Computer-based Systems

2026-03-18T18:23:31Z

Author Verma, Ajit Kumar. author. Ajit, Srividya. author. Kumar, Manoj. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-85729-318-3
Format: Electronic Resources
Availability Online Library~1

Computer relaying for power systems

2026-03-18T18:23:31Z

Author Phadke, Arun G. Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=454369 John Wiley http://dx.doi.org/10.1002/9780470749722 Books24x7 http://www.books24x7.com/marc.asp?bookid=36482 http://site.ebrary.com/lib/alltitles/Doc?id=10319010
Format: Electronic Resources
Availability Online Library~1

Computer-aided modeling of reactive systems

2026-03-18T18:23:31Z

Author Stewart, Warren E., 1924- Caracotsios, Michael.
Preferred Shelf Number ONLINE
Electronic Access John Wiley http://dx.doi.org/10.1002/9780470282038 MyiLibrary, Table of contents http://www.myilibrary.com?id=137401&ref=toc Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0808/2007044566-b.html
Format: Electronic Resources
Availability Online Library~1

Computer-aided Systems in Public Transport

2026-03-18T18:23:31Z

Author Hickman, Mark. editor. Mirchandani, Pitu. editor. Voß, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73312-6
Format: Electronic Resources
Availability Online Library~1

Arithmetic and logic in computer systems

2026-03-18T18:23:31Z

Author Lu, Mi.
Preferred Shelf Number ONLINE
Electronic Access Click for information Full text available from Wiley InterScience Authentication may be required Available by subscription from Safari Books Online Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=226429
Format: Electronic Resources
Availability Online Library~1

Computer systems performance evaluation and prediction

2026-03-18T18:23:31Z

Author Fortier, Paul J. Michel, Howard Edgar.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9781555582609
Format: Electronic Resources
Availability Online Library~1

Computer solution of large linear systems

2026-03-18T18:23:31Z

Author Meurant, Gérard A.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444501691
Format: Electronic Resources
Availability Online Library~1

Computer programming and formal systems

2026-03-18T18:23:31Z

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

Computer programming and formal systems

2026-03-18T18:23:31Z

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

Pharmaceutical computer systems validation : quality assurance, risk management and regulatory compliance

2026-03-18T18:23:31Z

Author Wingate, Guy.
Preferred Shelf Number HD9665.5 .C664 2010
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Design and Applications of Emerging Computer Systems

2026-03-18T18:23:31Z

Author Liu, Weiqiang. editor. Han, Jie. editor. Lombardi, Fabrizio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-42478-6
Format: Electronic Resources
Availability Online Library~1

INTELLIGENT SYSTEMS AND APPLICATIONS IN COMPUTER VISION

2026-03-18T18:23:31Z

Author Mittal, Nitin. Kant Pandit, Amit. Abouhawwash, Mohamed. Mahajan, Shubham.
Preferred Shelf Number TA1634
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003453406 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Trust in computer systems and the cloud

2026-03-18T18:23:31Z

Author Bursell, Mike, author.
Preferred Shelf Number QA76.9 .A25
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119695158
Format: Electronic Resources
Availability Online Library~1

Ambient Communications and Computer Systems RACCCS-2018

2026-03-18T18:23:31Z

Author Hu, Yu-Chen. editor. Tiwari, Shailesh. editor. Mishra, Krishn K. editor. Trivedi, Munesh C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-5934-7
Format: Electronic Resources
Availability Online Library~1

Cases on modern computer systems in aviation

2026-03-18T18:23:31Z

Author Shmelova, Tetiana, 1961- editor. Sikirda, Yuliya, 1978- editor. Rizun, Nina, 1968- editor. Kucherov, Dmytro, editor. IGI Global, publisher.
Preferred Shelf Number ONLINE
Electronic Access Chapter PDFs via platform: http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-7588-7
Format: Electronic Resources
Availability Online Library~1

Ambient Communications and Computer Systems RACCCS 2017

2026-03-18T18:23:31Z

Author Perez, Gregorio Martinez. editor. Tiwari, Shailesh. editor. Trivedi, Munesh C. editor. Mishra, Krishn K. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-7386-1
Format: Electronic Resources
Availability Online Library~1

Modelling Computing Systems Mathematics for Computer Science

2026-03-18T18:23:31Z

Author Moller, Faron. author. Struth, Georg. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332574.1)
Electronic Access http://dx.doi.org/10.1007/978-1-84800-322-4
Format: Electronic Resources
Availability Online Library~1

Computer-aided drug design and delivery systems

2026-03-18T18:23:31Z

Author Nag, Ahindra. Dey, Baishakhi.
Preferred Shelf Number ONLINE
Electronic Access Subscription required
Format: Electronic Resources
Availability Online Library~1

Principles of Computer Systems and Network Management

2026-03-18T18:23:31Z

Author Verma, Dinesh Chandra. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-89009-8
Format: Electronic Resources
Availability Online Library~1

Human-Computer Systems Interaction Backgrounds and Applications

2026-03-18T18:23:31Z

Author Hippe, Zdzisław S. editor. Kulikowski, Juliusz L. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03202-8
Format: Electronic Resources
Availability Online Library~1

Trends in Intelligent Systems and Computer Engineering

2026-03-18T18:23:31Z

Author Castillo, Oscar. editor. Xu, Li. editor. Ao, Sio-Iong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-74935-8
Format: Electronic Resources
Availability Online Library~1

Security of e-Systems and Computer Networks

2026-03-18T18:23:31Z

Author Obaidat, Mohammad. Boudriga, Noureddine.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Testing computer systems for FDA/MHRA compliance

2026-03-18T18:23:31Z

Author Stokes, David., author.
Preferred Shelf Number RS418 .S76 2004
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Managing power electronics VLSI and DSP-driven computer systems

2026-03-18T18:23:31Z

Author Rossetti, Nazzareno, 1951-
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5236490
Format: Electronic Resources
Availability Online Library~1

Modeling for reliability analysis Markov modeling for reliability, maintainability, safety, and supportability analyses of complex computer systems

2026-03-18T18:23:31Z

Author Pukite, Jan, 1928- Pukite, Paul.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5263338
Format: Electronic Resources
Availability Online Library~1

Fifth generation computer systems proceedings of the International Conference on Fifth Generation Computer Systems, Tokyo, Japan, October 19-22, 1981

2026-03-18T18:23:31Z

Author International Conference on Fifth Generation Computer Systems (1981 : Tokyo, Japan) Motooka, Tōru, 1929- Nihon Jōhō Shori Kaihatsu Kyōkai.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444864406
Format: Electronic Resources
Availability Online Library~1

Computer aided design, engineering, and manufacturing : systems techniques and applications

2026-03-18T18:23:31Z

Author Leondes, Cornelius T.
Preferred Shelf Number TS155.6 .C6455 2001
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9780367802370 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Computer science engineering : proceedings of the 1st International Conference on Computing and Intelligent Information Systems (ICCIIS 2024), Bangalore, India, 19-20th April, 2024. Volume 2

2026-03-18T18:23:31Z

Author International Conference on Computing and Intelligent Information Systems (1st : 2024 Bangalore, India) Gururaj, H. L., 1988- editor.
Preferred Shelf Number QA76.76 .E95 I58 2024 EB
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003565024 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Computer science engineering : proceedings of the 1st International Conference on Computing and Intelligent Information Systems (ICCIIS 2024), Bangalore, India, 19-20th April, 2024. Volume 1

2026-03-18T18:23:31Z

Author International Conference on Computing and Intelligent Information Systems (1st : 2024 Bangalore, India) Gururaj, H. L., 1988- editor.
Preferred Shelf Number QA76.76 .E95 I58 2024 EB
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781032711157 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

MATLAB for brain-computer interface systems : computation and data processing

2026-03-18T18:23:31Z

Author Shariaty, Faridoddin, author. Roy, Sanjiban Sekhar, author.
Preferred Shelf Number QA76.9 .U83
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003587545 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Engineering of Complex Computer Systems 28th International Conference, ICECCS 2024, Limassol, Cyprus, June 19-21, 2024, Proceedings

2026-03-18T18:23:31Z

Author Bai, Guangdong. editor. (orcid)0000-0002-6390-9890 Ishikawa, Fuyuki. editor. (orcid)0000-0001-7725-2618 Ait-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712 Papadopoulos, George A. editor. (orcid)0000-0001-9250-4916 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-66456-4
Format: Electronic Resources
Availability Online Library~1

Haptics: Understanding Touch; Technology and Systems; Applications and Interaction 14th International Conference on Human Haptic Sensing and Touch Enabled Computer Applications, EuroHaptics 2024, Lille, France, June 30 - July 3, 2024, Proceedings, Part II

2026-03-18T18:23:31Z

Author Kajimoto, Hiroyuki. editor. (orcid)0000-0002-5088-7397 Lopes, Pedro. editor. (orcid)0000-0001-6527-7084 Pacchierotti, Claudio. editor. (orcid)0000-0002-8006-9168 Basdogan, Cagatay. editor. (orcid)0000-0002-6382-7334 Gori, Monica. editor. (orcid)0000-0002-5616-865X
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-70061-3
Format: Electronic Resources
Availability Online Library~1

Embedded Computer Systems: Architectures, Modeling, and Simulation 24th International Conference, SAMOS 2024, Samos, Greece, June 29 - July 4, 2024, Proceedings, Part I

2026-03-18T18:23:31Z

Author Carro, Luigi. editor. Regazzoni, Francesco. editor. Pilato, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-78377-7
Format: Electronic Resources
Availability Online Library~1

Embedded Computer Systems: Architectures, Modeling, and Simulation 24th International Conference, SAMOS 2024, Samos, Greece, June 29 - July 4, 2024, Proceedings, Part II

2026-03-18T18:23:31Z

Author Carro, Luigi. editor. Regazzoni, Francesco. editor. Pilato, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-78380-7
Format: Electronic Resources
Availability Online Library~1

Software Engineering Research and Practice and e-Learning, e-Business, Enterprise Information Systems, and e-Government 22nd International Conference, SERP 2024, and 23rd International Conference, EEE 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

2026-03-18T18:23:31Z

Author Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-86644-9
Format: Electronic Resources
Availability Online Library~1

Unsupervised Computer Vision for Aerospace Systems Spacecraft Pose Estimation to Infrastructure Health Monitoring

2026-03-18T18:23:31Z

Author Zhang, Zhaoxiang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-95-0023-9
Format: Electronic Resources
Availability Online Library~1

Haptics: Understanding Touch; Technology and Systems; Applications and Interaction 14th International Conference on Human Haptic Sensing and Touch Enabled Computer Applications, EuroHaptics 2024, Lille, France, June 30 - July 3, 2024, Proceedings, Part I

2026-03-18T18:23:31Z

Author Kajimoto, Hiroyuki. editor. (orcid)0000-0002-5088-7397 Lopes, Pedro. editor. (orcid)0000-0001-6527-7084 Pacchierotti, Claudio. editor. (orcid)0000-0002-8006-9168 Basdogan, Cagatay. editor. (orcid)0000-0002-6382-7334 Gori, Monica. editor. (orcid)0000-0002-5616-865X
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-70058-3
Format: Electronic Resources
Availability Online Library~1

Proceedings of the 3rd International Conference on Computer Science's Complex Systems and Their Applications ICCSA'2024

2026-03-18T18:23:31Z

Author Marir, Toufik. editor. (orcid)0000-0002-8709-0680 Bouzid, Maroua. editor. Benaboud, Rohallah. editor. (orcid)0000-0002-6301-2506 Bourouis, Abdelhabib. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-90758-6
Format: Electronic Resources
Availability Online Library~1

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

2026-03-18T18:23:31Z

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

Progress in Pattern Classification and Machine Learning Proceedings of the 14th International Conference on Computer Recognition Systems 2025

2026-03-18T18:23:31Z

Author Trajdos, Paweł. editor. Burduk, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-032-01773-4
Format: Electronic Resources
Availability Online Library~1

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

2026-03-18T18:23:31Z

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

Advances in Dependable Systems and Networks Proceedings of the Twentieth International Conference on Dependability of Computer Systems DepCoS-RELCOMEX, June 30 - July 3, 2025, Brunów, Poland

2026-03-18T18:23:31Z

Author Zamojski, Wojciech. editor. Mazurkiewicz, Jacek. editor. Sugier, Jaroslaw. editor. Walkowiak, Tomasz. editor. Kacprzyk, Janusz. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-92734-8
Format: Electronic Resources
Availability Online Library~1

Current Problems of Applied Mathematics and Computer Systems CPAMCS 2024

2026-03-18T18:23:31Z

Author Samoylenko, Irina. editor. (orcid)0000-0001-6907-1403 Alikhanov, Anatoly. editor. Kaplun, Dmitrii. editor. Lyakhov, Pavel. editor. (orcid)0000-0003-0487-4779 Apekov, Aslan. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-032-01831-1
Format: Electronic Resources
Availability Online Library~1

Mathematics for the Digital Systems Engineer Essentials for Modern Cryptography, Computer Security and Communications Technology.

2026-03-18T18:23:31Z

Author Mitchell, Chris J.
Preferred Shelf Number XX(600431.1)
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394396559
Format: Electronic Resources
Availability Online Library~1

Verification and Evaluation of Computer and Communication Systems 17th International Conference, VECoS 2024, Djerba, Tunisia, October 16-18, 2024, Proceedings

2026-03-18T18:23:31Z

Author Ben Hedia, Belgacem. editor. (orcid)0000-0003-1367-8542 Ghazel, Mohamed. editor. (orcid)0000-0002-1160-7997 Monsuez, Bruno. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-85356-2
Format: Electronic Resources
Availability Online Library~1

Internet Computing and IoT and Embedded Systems, Cyber-physical Systems, and Applications 25th International Conference, ICOMP 2024, and 22nd International Conference, ESCS 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

2026-03-18T18:23:31Z

Author Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 Amirian, Soheyla. editor. (orcid)0000-0002-7517-0739 Ghareh Mohammadi, Farid. editor. (orcid)0000-0002-8759-693X Shenavarmasouleh, Farzan. editor. (orcid)0000-0001-5485-232X
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-85923-6
Format: Electronic Resources
Availability Online Library~1

Health Informatics and Medical Systems and Biomedical Engineering 10th International Conference, HIMS 2024, and 10th International Conference, BIOENG 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

2026-03-18T18:23:31Z

Author Alsadoon, Abeer. editor. (orcid)0000-0002-2309-3540 Shenavarmasouleh, Farzan. editor. (orcid)0000-0001-5485-232X Amirian, Soheyla. editor. (orcid)0000-0002-7517-0739 Ghareh Mohammadi, Farid. editor. (orcid)0000-0002-8759-693X Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-85908-3
Format: Electronic Resources
Availability Online Library~1

Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part I

2026-03-18T18:23:31Z

Author Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124 Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Moreno-Díaz, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-82949-9
Format: Electronic Resources
Availability Online Library~1

Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part II

2026-03-18T18:23:31Z

Author Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124 Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Moreno-Díaz, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-82957-4
Format: Electronic Resources
Availability Online Library~1

Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part III

2026-03-18T18:23:31Z

Author Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124 Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Moreno-Díaz, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-83885-9
Format: Electronic Resources
Availability Online Library~1

Engineering Interactive Computer Systems. EICS 2024 International Workshops Cagliari, Sardinia, Italy, June 24-28, 2024, Revised Selected Papers

2026-03-18T18:23:31Z

Author Zaina, Luciana. editor. (orcid)0000-0002-1736-544X Campos, José Creissac. editor. (orcid)0000-0001-9163-580X Spano, Davide. editor. (orcid)0000-0001-7106-0463 Luyten, Kris. editor. (orcid)0000-0002-4194-1101 Palanque, Philippe. editor. (orcid)0000-0002-5381-971X
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-91760-8
Format: Electronic Resources
Availability Online Library~1

Robotics, Computer Vision and Intelligent Systems 4th International Conference, ROBOVIS 2024, Rome, Italy, February 25-27, 2024, Proceedings

2026-03-18T18:23:31Z

Author Filipe, Joaquim. editor. Röning, Juha. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-59057-3
Format: Electronic Resources
Availability Online Library~1

Computer Information Systems and Industrial Management 23rd International Conference, CISIM 2024, Bialystok, Poland, September 27-29, 2024, Proceedings

2026-03-18T18:23:31Z

Author Saeed, Khalid. editor. (orcid)0000-0002-7741-7045 Dvorský, Jiří. editor. (orcid)0000-0003-3787-9533 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-71115-2
Format: Electronic Resources
Availability Online Library~1

Engineering Interactive Computer Systems. EICS 2023 International Workshops and Doctoral Consortium Swansea, UK, June 26-27, 2023, Selected Papers

2026-03-18T18:23:31Z

Author Harrison, Michael. editor. (orcid)0000-0002-5567-9650 Martinie, Célia. editor. (orcid)0000-0001-7907-3170 Micallef, Nicholas. editor. (orcid)0000-0002-2683-8042 Palanque, Philippe. editor. (orcid)0000-0002-5381-971X Schmidt, Albrecht. editor. (orcid)0000-0003-3890-1990
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-59235-5
Format: Electronic Resources
Availability Online Library~1

System Dependability - Theory and Applications Proceedings of the Nineteenth International Conference on Dependability of Computer Systems DepCoS-RELCOMEX. July 1-5, 2024, Brunów, Poland

2026-03-18T18:23:31Z

Author Zamojski, Wojciech. editor. Mazurkiewicz, Jacek. editor. Sugier, Jarosław. editor. (orcid)0000-0003-1452-3067 Walkowiak, Tomasz. editor. Kacprzyk, Janusz. editor. (orcid)0000-0003-4187-5877
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-61857-4
Format: Electronic Resources
Availability Online Library~1

South African Computer Science and Information Systems Research Trends 45th Annual Conference, SAICSIT 2024, Gqeberha, South Africa, July 15-17, 2024, Proceedings

2026-03-18T18:23:31Z

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

Cybernetics and Control Theory in Systems Proceedings of 13th Computer Science On-line Conference 2024, Volume 2

2026-03-18T18:23:31Z

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

Machine Learning Methods in Systems Proceedings of 13th Computer Science On-line Conference 2024, Vol. 4

2026-03-18T18:23:31Z

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

Artificial Intelligence Algorithm Design for Systems Proceedings of 13th Computer Science Online Conference 2024, Volume 3

2026-03-18T18:23:31Z

Author Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-70518-2
Format: Electronic Resources
Availability Online Library~1

Engineering of Computer-Based Systems 8th International Conference, ECBS 2023, Västerås, Sweden, October 16-18, 2023, Proceedings

2026-03-18T18:23:31Z

Author Kofroň, Jan. editor. (orcid)0000-0003-0391-4812 Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Seceleanu, Cristina. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-49252-5
Format: Electronic Resources
Availability Online Library~1

Verification and Evaluation of Computer and Communication Systems 16th International Conference, VECoS 2023, Marrakech, Morocco, October 18-20, 2023, Proceedings

2026-03-18T18:23:31Z

Author Ben Hedia, Belgacem. editor. Maleh, Yassine. editor. Krichen, Moez. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-49737-7
Format: Electronic Resources
Availability Online Library~1

Current Problems of Applied Mathematics and Computer Systems CPAMCS 2023

2026-03-18T18:23:31Z

Author Alikhanov, Anatoly. editor. Tchernykh, Andrei. editor. (orcid)0000-0001-5029-5212 Babenko, Mikhail. editor. (orcid)0000-0001-7066-0061 Samoylenko, Irina. editor. (orcid)0000-0001-6907-1403 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-64010-0
Format: Electronic Resources
Availability Online Library~1

Buying Complex IT Systems Computer System Procurement for Non-Technical Managers.

2026-03-18T18:23:31Z

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

Dependable Computer Systems and Networks Proceedings of the Eighteenth International Conference on Dependability of Computer Systems DepCoS-RELCOMEX, July 3-7, 2023, Brunów, Poland

2026-03-18T18:23:31Z

Author Zamojski, Wojciech. editor. Mazurkiewicz, Jacek. editor. Sugier, Jarosław. editor. Walkowiak, Tomasz. editor. Kacprzyk, Janusz. editor. (orcid)0000-0003-4187-5877
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-37720-4
Format: Electronic Resources
Availability Online Library~1

Proceedings of Third International Conference on Advances in Computer Engineering and Communication Systems ICACECS 2022

2026-03-18T18:23:31Z

Author Reddy, A. Brahmananda. editor. Nagini, S. editor. Balas, Valentina E. editor. Raju, K. Srujan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-9228-5
Format: Electronic Resources
Availability Online Library~1

Proceedings of Asia Pacific Computer Systems Conference 2021 APCS 2021

2026-03-18T18:23:31Z

Author Gokhale, Anu. editor. Grant, Emanuel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-7904-0
Format: Electronic Resources
Availability Online Library~1

Computer Vision Systems 14th International Conference, ICVS 2023, Vienna, Austria, September 27-29, 2023, Proceedings

2026-03-18T18:23:31Z

Author Christensen, Henrik I. editor. Corke, Peter. editor. Detry, Renaud. editor. Weibel, Jean-Baptiste. editor. Vincze, Markus. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-44137-0
Format: Electronic Resources
Availability Online Library~1

Intelligent and Safe Computer Systems in Control and Diagnostics

2026-03-18T18:23:31Z

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

IoT Enabled Computer-Aided Systems for Smart Buildings

2026-03-18T18:23:31Z

Author Marques, Gonçalo. editor. Saini, Jagriti. editor. Dutta, Maitreyee. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-26685-0
Format: Electronic Resources
Availability Online Library~1

Networks and Systems in Cybernetics Proceedings of 12th Computer Science On-line Conference 2023, Volume 2

2026-03-18T18:23:31Z

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

Computer, Communication, and Signal Processing. AI, Knowledge Engineering and IoT for Smart Systems 7th IFIP TC 12 International Conference, ICCCSP 2023, Chennai, India, January 4-6, 2023, Revised Selected Papers

2026-03-18T18:23:31Z

Author Mercier-Laurent, Eunika. editor. Fernando, Xavier. editor. Chandrabose, Aravindan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-39811-7
Format: Electronic Resources
Availability Online Library~1

Embedded Computer Systems: Architectures, Modeling, and Simulation 23rd International Conference, SAMOS 2023, Samos, Greece, July 2-6, 2023, Proceedings

2026-03-18T18:23:31Z

Author Silvano, Cristina. editor. Pilato, Christian. editor. Reichenbach, Marc. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-46077-7
Format: Electronic Resources
Availability Online Library~1

Computer Information Systems and Industrial Management 22nd International Conference, CISIM 2023, Tokyo, Japan, September 22-24, 2023, Proceedings

2026-03-18T18:23:31Z

Author Saeed, Khalid. editor. (orcid) Dvorský, Jiří. editor. Nishiuchi, Nobuyuki. editor. Fukumoto, Makoto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-42823-4
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence Application in Networks and Systems Proceedings of 12th Computer Science On-line Conference 2023, Volume 3

2026-03-18T18:23:31Z

Author Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-35314-7
Format: Electronic Resources
Availability Online Library~1

Research Techniques for Computer Science, Information Systems and Cybersecurity

2026-03-18T18:23:31Z

Author Mbanaso, Uche M. author. Abrahams, Lucienne. author. Okafor, Kennedy Chinedu. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-30031-8
Format: Electronic Resources
Availability Online Library~1

Current Problems in Applied Mathematics and Computer Science and Systems

2026-03-18T18:23:31Z

Author Alikhanov, Anatoly. editor. Lyakhov, Pavel. editor. Samoylenko, Irina. editor. (orcid)0000-0001-6907-1403 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-34127-4
Format: Electronic Resources
Availability Online Library~1

Advances in Intelligent Systems, Computer Science and Digital Economics IV

2026-03-18T18:23:31Z

Author Hu, Zhengbing. editor. Wang, Yong. editor. He, Matthew. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-24475-9
Format: Electronic Resources
Availability Online Library~1

Fundamental Generation Systems : Computer Science and Artificial Consciousness, the Informational Field of Generation of the Universe, the Sixth Sense of Living Beings

2026-03-18T18:23:31Z

Author Cardon, Alain, 1946- author. El Hami, Abdelkhalak, author.
Preferred Shelf Number Q325 .C37 2023
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394225811
Format: Electronic Resources
Availability Online Library~1

Intelligent security systems : how artificial intelligence, machine learning and data science work for and against computer security

2026-03-18T18:23:31Z

Author Reznik, Leonid, 1955- author.
Preferred Shelf Number QA76.9 .A25 R438 2022
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119771579
Format: Electronic Resources
Availability Online Library~1

Computer vision and recognition systems : research innovations and trends

2026-03-18T18:23:31Z

Author Chowdhary, Chiranji Lal, 1975- editor. Reddy, G. Thippa, editor. Parameshachari, B.D., 1981- editor.
Preferred Shelf Number TA1634
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003180593 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Recent advances in computer based systems, processes and applications : proceedings of National Conference on Recent Advances in Computer Based Systems, Processes and Applications (RACSPA-2019), Vellore Institute of Technology, Amaravati, India, 22-23 October, 2019

2026-03-18T18:23:31Z

Author Namburu, Anupama. Barpanda, Soubhagya Sankar.
Preferred Shelf Number QA75.5
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003043980 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Computer Information Systems and Industrial Management 18th International Conference, CISIM 2019, Belgrade, Serbia, September 19–21, 2019, Proceedings

2026-03-18T18:23:31Z

Author Saeed, Khalid. editor. (orcid)0000-0002-7741-7045 Chaki, Rituparna. editor. (orcid)0000-0003-1060-5778 Janev, Valentina. editor. (orcid)0000-0002-9794-8505 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-28957-7
Format: Electronic Resources
Availability Online Library~1

Verification and Evaluation of Computer and Communication Systems 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings

2026-03-18T18:23:31Z

Author Ganty, Pierre. editor. (orcid)0000-0002-3625-6003 Kaâniche, Mohamed. editor. (orcid)0000-0002-2647-5472 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-35092-5
Format: Electronic Resources
Availability Online Library~1

Embedded Computer Systems: Architectures, Modeling, and Simulation 19th International Conference, SAMOS 2019, Samos, Greece, July 7–11, 2019, Proceedings

2026-03-18T18:23:31Z

Author Pnevmatikatos, Dionisios N. editor. Pelcat, Maxime. editor. Jung, Matthias. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-27562-4
Format: Electronic Resources
Availability Online Library~1

Computer Vision Systems 12th International Conference, ICVS 2019, Thessaloniki, Greece, September 23–25, 2019, Proceedings

2026-03-18T18:23:31Z

Author Tzovaras, Dimitrios. editor. Giakoumis, Dimitrios. editor. Vincze, Markus. editor. Argyros, Antonis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-34995-0
Format: Electronic Resources
Availability Online Library~1

Computer Systems Digital Design, Fundamentals of Computer Architecture and Assembly Language

2026-03-18T18:23:31Z

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

Introduction to Distributed Computer Systems Principles and Features

2026-03-18T18:23:31Z

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

Human-Computer Systems Interaction Backgrounds and Applications 4

2026-03-18T18:23:31Z

Author Hippe, Zdzisław S. editor. Kulikowski, Juliusz L. editor. Mroczek, Teresa. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-62120-3
Format: Electronic Resources
Availability Online Library~1

Self-Regulation in Activity Theory : Applied Work Design for Human-Computer and Human-Machine Systems

2026-03-18T18:23:31Z

Author Bedny, Gregory Z., author. Karwowski, Waldemar, author. Bedny, Inna, author.
Preferred Shelf Number TA166 .B436 2018
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/e/9781466569355 Taylor & Francis https://www.taylorfrancis.com/books/9780429188145 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 Practical Issues of Enterprise Information Systems 12th IFIP WG 8.9 Working Conference, CONFENIS 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18–19, 2018, Proceedings

2026-03-18T18:23:31Z

Author Tjoa, A Min. editor. (orcid)0000-0002-8295-9252 Raffai, Maria. editor. (orcid)0000-0001-6934-6366 Doucek, Petr. editor. (orcid)0000-0002-5647-661X Novak, Niina Maarit. editor. (orcid)0000-0003-4352-7534 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99040-8
Format: Electronic Resources
Availability Online Library~1

ICT Systems Security and Privacy Protection 33rd IFIP TC 11 International Conference, SEC 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-20, 2018, Proceedings

2026-03-18T18:23:31Z

Author Janczewski, Lech Jan. editor. (orcid)0000-0003-3319-924X Kutyłowski, Mirosław. editor. (orcid)0000-0003-3192-2430 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99828-2
Format: Electronic Resources
Availability Online Library~1

Computer Vision in Control Systems-3 Aerial and Satellite Image Processing

2026-03-18T18:23:31Z

Author Favorskaya, Margarita N. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67516-9
Format: Electronic Resources
Availability Online Library~1

Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II

2026-03-18T18:23:31Z

Author Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-74727-9
Format: Electronic Resources
Availability Online Library~1

Advances in Intelligent Systems and Computing II Selected Papers from the International Conference on Computer Science and Information Technologies, CSIT 2017, September 5-8 Lviv, Ukraine

2026-03-18T18:23:31Z

Author Shakhovska, Natalia. editor. Stepashko, Volodymyr. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-70581-1
Format: Electronic Resources
Availability Online Library~1

Analysis and Simulation of Electrical and Computer Systems

2026-03-18T18:23:31Z

Author Mazur, Damian. editor. Gołębiowski, Marek. editor. Korkosz, Mariusz. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-63949-9
Format: Electronic Resources
Availability Online Library~1

Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings

2026-03-18T18:23:31Z

Author Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481 Bensalem, Saddek. editor. Bliudze, Simon. editor. (orcid)0000-0002-7900-5271 Monsuez, Bruno. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00359-3
Format: Electronic Resources
Availability Online Library~1

Proceedings of the 10th International Conference on Computer Recognition Systems CORES 2017

2026-03-18T18:23:31Z

Author Kurzynski, Marek. editor. Wozniak, Michal. editor. Burduk, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-59162-9
Format: Electronic Resources
Availability Online Library~1

Computer Information Systems and Industrial Management 17th International Conference, CISIM 2018, Olomouc, Czech Republic, September 27-29, 2018, Proceedings

2026-03-18T18:23:31Z

Author Saeed, Khalid. editor. (orcid)0000-0002-7741-7045 Homenda, Władysław. editor. (orcid)0000-0001-7787-4927 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99954-8
Format: Electronic Resources
Availability Online Library~1

Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part I

2026-03-18T18:23:31Z

Author Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-74718-7
Format: Electronic Resources
Availability Online Library~1

Computer Vision in Control Systems-4 Real Life Applications

2026-03-18T18:23:31Z

Author Favorskaya, Margarita N. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67994-5
Format: Electronic Resources
Availability Online Library~1

Guide to Vulnerability Analysis for Computer Networks and Systems An Artificial Intelligence Approach

2026-03-18T18:23:31Z

Author Parkinson, Simon. editor. (orcid)0000-0002-1747-9914 Crampton, Andrew. editor. (orcid)0000-0002-4635-9102 Hill, Richard. editor. (orcid)0000-0003-0105-7730 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-92624-7
Format: Electronic Resources
Availability Online Library~1

Computer vision and imaging in intelligent transportation systems

2026-03-18T18:23:31Z

Author Loce, Robert P., editor. Bala, Raja, editor. Trivedi, Mohan M., editor.
Preferred Shelf Number ONLINE
Electronic Access Wiley Online Library
Format: Electronic Resources
Availability Online Library~1

Advances in Intelligent Systems and Computing Selected Papers from the International Conference on Computer Science and Information Technologies, CSIT 2016, September 6-10 Lviv, Ukraine

2026-03-18T18:23:31Z

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

Environmental Software Systems. Computer Science for Environmental Protection 12th IFIP WG 5.11 International Symposium, ISESS 2017, Zadar, Croatia, May 10-12, 2017, Proceedings

2026-03-18T18:23:31Z

Author Hřebíček, Jiří. editor. Denzer, Ralf. editor. Schimak, Gerald. editor. Pitner, Tomáš. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-89935-0
Format: Electronic Resources
Availability Online Library~1

Computer Vision Systems 11th International Conference, ICVS 2017, Shenzhen, China, July 10-13, 2017, Revised Selected Papers

2026-03-18T18:23:31Z

Author Liu, Ming. editor. Chen, Haoyao. editor. Vincze, Markus. editor. (orcid)0000-0002-2799-491X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-68345-4
Format: Electronic Resources
Availability Online Library~1

Computer Information Systems and Industrial Management 16th IFIP TC8 International Conference, CISIM 2017, Bialystok, Poland, June 16-18, 2017, Proceedings

2026-03-18T18:23:31Z

Author Saeed, Khalid. editor. (orcid)0000-0002-7741-7045 Homenda, Władysław. editor. Chaki, Rituparna. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-59105-6
Format: Electronic Resources
Availability Online Library~1

Software Engineering Trends and Techniques in Intelligent Systems Proceedings of the 6th Computer Science On-line Conference 2017 (CSOC2017), Vol 3

2026-03-18T18:23:31Z

Author Silhavy, Radek. editor. Silhavy, Petr. editor. Prokopova, Zdenka. editor. Senkerik, Roman. editor. Kominkova Oplatkova, Zuzana. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-57141-6
Format: Electronic Resources
Availability Online Library~1

Computer vision and imaging in intelligent transportation systems

2026-03-18T18:23:31Z

Author Loce, Robert P., editor. Bala, Raja, editor. Trivedi, Mohan M., editor.
Preferred Shelf Number TE228.3
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781118971666
Format: Electronic Resources
Availability Online Library~1

Cybernetics and Mathematics Applications in Intelligent Systems Proceedings of the 6th Computer Science On-line Conference 2017 (CSOC2017), Vol 2

2026-03-18T18:23:31Z

Author Silhavy, Radek. editor. Senkerik, Roman. editor. Kominkova Oplatkova, Zuzana. editor. Prokopova, Zdenka. editor. Silhavy, Petr. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-57264-2
Format: Electronic Resources
Availability Online Library~1

Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings

2026-03-18T18:23:31Z

Author Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448 Boucheneb, Hanifa. editor. Mili, Ali. editor. Tahar, Sofiène. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66176-6
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence Trends in Intelligent Systems Proceedings of the 6th Computer Science On-line Conference 2017 (CSOC2017), Vol 1

2026-03-18T18:23:31Z

Author Silhavy, Radek. editor. Senkerik, Roman. editor. Kominkova Oplatkova, Zuzana. editor. Prokopova, Zdenka. editor. Silhavy, Petr. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-57261-1
Format: Electronic Resources
Availability Online Library~1

Systems Analysis and Synthesis : Bridging Computer Science and Information Technology

2026-03-18T18:23:31Z

Author Dwyer, Barry, author.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect https://www.sciencedirect.com/science/book/9780128053041
Format: Electronic Resources
Availability Online Library~1

Software Engineering Perspectives and Application in Intelligent Systems Proceedings of the 5th Computer Science On-line Conference 2016 (CSOC2016), Vol 2

2026-03-18T18:23:31Z

Author Silhavy, Radek. editor. Senkerik, Roman. editor. Oplatkova, Zuzana Kominkova. editor. Silhavy, Petr. editor. Prokopova, Zdenka. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-33622-0
Format: Electronic Resources
Availability Online Library~1

Computer Information Systems and Industrial Management 15th IFIP TC8 International Conference, CISIM 2016, Vilnius, Lithuania, September 14-16, 2016, Proceedings

2026-03-18T18:23:31Z

Author Saeed, Khalid. editor. (orcid)0000-0002-7741-7045 Homenda, Władysław. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-45378-1
Format: Electronic Resources
Availability Online Library~1

Automation Control Theory Perspectives in Intelligent Systems Proceedings of the 5th Computer Science On-line Conference 2016 (CSOC2016), Vol 3

2026-03-18T18:23:31Z

Author Silhavy, Radek. editor. Senkerik, Roman. editor. Oplatkova, Zuzana Kominkova. editor. Silhavy, Petr. editor. Prokopova, Zdenka. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-33389-2
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence Perspectives in Intelligent Systems Proceedings of the 5th Computer Science On-line Conference 2016 (CSOC2016), Vol 1

2026-03-18T18:23:31Z

Author Silhavy, Radek. editor. Senkerik, Roman. editor. Oplatkova, Zuzana Kominkova. editor. Silhavy, Petr. editor. Prokopova, Zdenka. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-33625-1
Format: Electronic Resources
Availability Online Library~1

Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, Proceedings

2026-03-18T18:23:31Z

Author Remke, Anne. editor. Haverkort, Boudewijn R. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-31559-1
Format: Electronic Resources
Availability Online Library~1

Intelligent Systems for Computer Modelling Proceedings of the 1st European-Middle Asian Conference on Computer Modelling 2015, EMACOM 2015

2026-03-18T18:23:31Z

Author Styskala, Vitezslav. editor. Kolosov, Dmitrii. editor. Snasel, Vaclav. editor. Karakeyev, Taalaybek. editor. Abraham, Ajith. editor. (orcid)0000-0002-0169-6738
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-27644-1
Format: Electronic Resources
Availability Online Library~1

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures

2026-03-18T18:23:31Z

Author Bernardo, Marco. editor. De Nicola, Rocco. editor. Hillston, Jane. editor. (orcid)0000-0003-4914-9255 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-34096-8
Format: Electronic Resources
Availability Online Library~1

Proceedings of the 9th International Conference on Computer Recognition Systems CORES 2015

2026-03-18T18:23:31Z

Author Burduk, Robert. editor. Jackowski, Konrad. editor. Kurzynski, Marek. editor. Wozniak, Michal. editor. (orcid)0000-0003-0146-4205 Zolnierek, Andrzej. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-26227-7
Format: Electronic Resources
Availability Online Library~1

Information Sciences and Systems 2015 30th International Symposium on Computer and Information Sciences (ISCIS 2015)

2026-03-18T18:23:31Z

Author Abdelrahman, Omer H. editor. Gelenbe, Erol. editor. Gorbil, Gokce. editor. Lent, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-22635-4
Format: Electronic Resources
Availability Online Library~1

Information Technology for Management Federated Conference on Computer Science and Information Systems, ISM 2015 and AITM 2015, Lodz, Poland, September 2015, Revised Selected Papers

2026-03-18T18:23:31Z

Author Ziemba, Ewa. editor. (orcid)0000-0002-1084-7497 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-30528-8
Format: Electronic Resources
Availability Online Library~1

Intelligent Computer Systems in Engineering Design Principles and Applications

2026-03-18T18:23:31Z

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

Applying systemic-structural activity theory to design of human-computer interaction systems

2026-03-18T18:23:31Z

Author Bedny, Gregory Z., author. Karwowski, Waldemar, 1953- author. Bedny, Inna, author.
Preferred Shelf Number QA76.9 .H85 B434 2015
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Software Engineering in Intelligent Systems Proceedings of the 4th Computer Science On-line Conference 2015 (CSOC2015), Vol 3: Software Engineering in Intelligent Systems

2026-03-18T18:23:31Z

Author Silhavy, Radek. editor. Senkerik, Roman. editor. Oplatkova, Zuzana Kominkova. editor. Prokopova, Zdenka. editor. Silhavy, Petr. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-18473-9
Format: Electronic Resources
Availability Online Library~1

Fusion of Smart, Multimedia and Computer Gaming Technologies Research, Systems and Perspectives

2026-03-18T18:23:31Z

Author Sharma, Dharmendra. editor. Favorskaya, Margarita. editor. Jain, Lakhmi C. editor. Howlett, Robert J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-14645-4
Format: Electronic Resources
Availability Online Library~1

Computer Vision in Control Systems-2 Innovations in Practice

2026-03-18T18:23:31Z

Author Favorskaya, Margarita N. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11430-9
Format: Electronic Resources
Availability Online Library~1

Computer Vision for X-Ray Testing Imaging, Systems, Image Databases, and Algorithms

2026-03-18T18:23:31Z

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

Computer Vision Systems 10th International Conference, ICVS 2015, Copenhagen, Denmark, July 6-9, 2015, Proceedings

2026-03-18T18:23:31Z

Author Nalpantidis, Lazaros. editor. Krüger, Volker. editor. Eklundh, Jan-Olof. editor. Gasteratos, Antonios. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-20904-3
Format: Electronic Resources
Availability Online Library~1

Computer Aided Systems Theory - EUROCAST 2015 15th International Conference, Las Palmas de Gran Canaria, Spain, February 8-13, 2015, Revised Selected Papers

2026-03-18T18:23:31Z

Author Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-27340-2
Format: Electronic Resources
Availability Online Library~1

Computer Information Systems and Industrial Management 14th IFIP TC 8 International Conference, CISIM 2015, Warsaw, Poland, September 24-26, 2015, Proceedings

2026-03-18T18:23:31Z

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

Analysis and Simulation of Electrical and Computer Systems

2026-03-18T18:23:31Z

Author Gołębiowski, Lesław. editor. Mazur, Damian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11248-0
Format: Electronic Resources
Availability Online Library~1

Computer Vision in Control Systems-1 Mathematical Theory

2026-03-18T18:23:31Z

Author Favorskaya, Margarita N. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10653-3
Format: Electronic Resources
Availability Online Library~1

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

2026-03-18T18:23:31Z

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

Intelligent Systems in Cybernetics and Automation Theory Proceedings of the 4th Computer Science On-line Conference 2015 (CSOC2015), Vol 2: Intelligent Systems in Cybernetics and Automation Theory

2026-03-18T18:23:31Z

Author Silhavy, Radek. editor. Senkerik, Roman. editor. Oplatkova, Zuzana Kominkova. editor. Prokopova, Zdenka. editor. Silhavy, Petr. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-18503-3
Format: Electronic Resources
Availability Online Library~1

Intelligent Computer Mathematics CICM 2014 Joint Events: Calculemus, DML, MKM, and Systems and Projects 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings

2026-03-18T18:23:31Z

Author Watt, Stephen M. editor. Sexton, Alan. editor. Davenport, James H. editor. Sojka, Petr. editor. Urban, Josef. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08434-3
Format: Electronic Resources
Availability Online Library~1

Information Sciences and Systems 2014 Proceedings of the 29th International Symposium on Computer and Information Sciences

2026-03-18T18:23:31Z

Author Czachórski, Tadeusz. editor. Gelenbe, Erol. editor. Lent, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-09465-6
Format: Electronic Resources
Availability Online Library~1

Computer Networks and Distributed Systems International Symposium, CNDS 2013, Tehran, Iran, December 25-26, 2013, Revised Selected Papers

2026-03-18T18:23:31Z

Author Jahangir, Amir Hossein. editor. Movaghar, Ali. editor. Asadi, Hossein. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10903-9
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

2026-03-18T18:23:31Z

Author Bernardo, Marco. editor. Damiani, Ferruccio. editor. Haehnle, Reiner. editor. (orcid)0000-0001-8000-7613 Johnsen, Einar Broch. editor. Schaefer, Ina. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-07317-0
Format: Electronic Resources
Availability Online Library~1

Computer systems experiences of users with and without disabilities : an evaluation guide for professionals

2026-03-18T18:23:31Z

Author Borsci, Simone, author. Kurosu, Masaaki, author. Federici, Stefano, author. Mele, Maria Laura, author.
Preferred Shelf Number QA76.9 .U83 B67 2014
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Recent Trends in Computer Networks and Distributed Systems Security Second International Conference, SNDS 2014, Trivandrum, India, March 13-14, 2014. Proceedings

2026-03-18T18:23:31Z

Author Martinez Perez, Gregorio. editor. Thampi, Sabu M. editor. Ko, Ryan. editor. Shu, Lei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54525-2
Format: Electronic Resources
Availability Online Library~1

Human-Computer Systems Interaction: Backgrounds and Applications 3

2026-03-18T18:23:31Z

Author Hippe, Zdzisław S. editor. Kulikowski, Juliusz L. editor. Mroczek, Teresa. editor. Wtorek, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08491-6
Format: Electronic Resources
Availability Online Library~1

Computer Information Systems and Industrial Management 13th IFIP TC 8 International Conference, CISIM 2014, Ho Chi Minh City, Vietnam, November 5-7, 2014, Proceedings

2026-03-18T18:23:31Z

Author Saeed, Khalid. editor. Snášel, Václav. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-45237-0
Format: Electronic Resources
Availability Online Library~1

Computer-aided control systems design : practical applications using MATLAB and Simulink

2026-03-18T18:23:31Z

Author Chin, Cheng Siong., author.
Preferred Shelf Number TJ217 .C478 2013
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

New Results in Dependability and Computer Systems Proceedings of the 8th International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, September 9-13, 2013, Brunów, Poland

2026-03-18T18:23:31Z

Author Zamojski, Wojciech. editor. Mazurkiewicz, Jacek. editor. Sugier, Jarosław. editor. Walkowiak, Tomasz. editor. Kacprzyk, Janusz. editor.
Preferred Shelf Number ONLINE(332820.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-00945-2
Format: Electronic Resources
Availability Online Library~1

Proceedings of the 8th International Conference on Computer Recognition Systems CORES 2013

2026-03-18T18:23:31Z

Author Burduk, Robert. editor. Jackowski, Konrad. editor. Kurzynski, Marek. editor. Wozniak, Michał. editor. Zolnierek, Andrzej. editor.
Preferred Shelf Number ONLINE(332823.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-00969-8
Format: Electronic Resources
Availability Online Library~1

Information Sciences and Systems 2013 Proceedings of the 28th International Symposium on Computer and Information Sciences

2026-03-18T18:23:31Z

Author Gelenbe, Erol. editor. Lent, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332878.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-01604-7
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures

2026-03-18T18:23:31Z

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

Computer Information Systems and Industrial Management 12th IFIP TC8 International Conference, CISIM 2013, Krakow, Poland, September 25-27, 2013. Proceedings

2026-03-18T18:23:31Z

Author Saeed, Khalid. editor. Chaki, Rituparna. editor. Cortesi, Agostino. editor. Wierzchoń, Sławomir. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335029.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40925-7
Format: Electronic Resources
Availability Online Library~1

Computer Aided Systems Theory - EUROCAST 2013 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013, Revised Selected Papers, Part I

2026-03-18T18:23:31Z

Author Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335219.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-53856-8
Format: Electronic Resources
Availability Online Library~1

Computer Aided Systems Theory - EUROCAST 2013 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013. Revised Selected Papers, Part II

2026-03-18T18:23:31Z

Author Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335220.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-53862-9
Format: Electronic Resources
Availability Online Library~1

Innovations and Advances in Computer, Information, Systems Sciences, and Engineering

2026-03-18T18:23:31Z

Author Elleithy, Khaled. editor. Sobh, Tarek. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331351.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-3535-8
Format: Electronic Resources
Availability Online Library~1

Advances in Intelligent Control Systems and Computer Science

2026-03-18T18:23:31Z

Author Dumitrache, Loan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333593.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-32548-9
Format: Electronic Resources
Availability Online Library~1

Advances in Intelligent Systems and Applications - Volume 1 Proceedings of the International Computer Symposium ICS 2012 Held at Hualien, Taiwan, December 12–14, 2012

2026-03-18T18:23:31Z

Author Chang, Ruay-Shiung. editor. Jain, Lakhmi C. editor. Peng, Sheng-Lung. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333984.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35452-6
Format: Electronic Resources
Availability Online Library~1

Advances in Intelligent Systems and Applications - Volume 2 Proceedings of the International Computer Symposium ICS 2012 Held at Hualien, Taiwan, December 12–14, 2012

2026-03-18T18:23:31Z

Author Pan, Jeng-Shyang. editor. Yang, Ching-Nung. editor. Lin, Chia-Chen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333990.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35473-1
Format: Electronic Resources
Availability Online Library~1

Performance modeling and design of computer systems : queueing theory in action

2026-03-18T18:23:31Z

Author Harchol-Balter, Mor, 1966- author.
Preferred Shelf Number ONLINE
Electronic Access EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=508924
Format: Electronic Resources
Availability Online Library~1

Intelligent Computer Mathematics MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings

2026-03-18T18:23:31Z

Author Carette, Jacques. editor. Aspinall, David. editor. Lange, Christoph. editor. Sojka, Petr. editor. Windsteiger, Wolfgang. editor.
Preferred Shelf Number ONLINE(334781.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39320-4
Format: Electronic Resources
Availability Online Library~1

Computer Vision Systems 9th International Conference, ICVS 2013, St. Petersburg, Russia, July 16-18, 2013. Proceedings

2026-03-18T18:23:31Z

Author Chen, Mei. editor. Leibe, Bastian. editor. Neumann, Bernd. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334795.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39402-7
Format: Electronic Resources
Availability Online Library~1

Proceedings of the 2011, International Conference on Informatics, Cybernetics, and Computer Engineering (ICCE2011) November 19–20, 2011, Melbourne, Australia Volume 2: Information Systems and Computer Engineering

2026-03-18T18:23:31Z

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

Computer Information Systems and Industrial Management 11th IFIP TC 8 International Conference, CISIM 2012, Venice, Italy, September 26-28, 2012. Proceedings

2026-03-18T18:23:31Z

Author Cortesi, Agostino. editor. Chaki, Nabendu. editor. Saeed, Khalid. editor. Wierzchoń, Sławomir. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33260-9
Format: Electronic Resources
Availability Online Library~1

Communicability, Computer Graphics and Innovative Design for Interactive Systems First International Symposium, CCGIDIS 2011, Córdoba, Spain, June 28-29, 2011, Revised Selected Papers

2026-03-18T18:23:31Z

Author Cipolla-Ficarra, Francisco. editor. Veltman, Kim. editor. Cipolla-Ficarra, Miguel. editor. Kratky, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33760-4
Format: Electronic Resources
Availability Online Library~1

Recent Trends in Computer Networks and Distributed Systems Security International Conference, SNDS 2012, Trivandrum, India, October 11-12, 2012. Proceedings

2026-03-18T18:23:31Z

Author Thampi, Sabu M. editor. Zomaya, Albert Y. editor. Strufe, Thorsten. editor. Alcaraz Calero, Jose M. editor. Thomas, Tony , 1927-1977 editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-34135-9
Format: Electronic Resources
Availability Online Library~1

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

2026-03-18T18:23:31Z

Author Bauer, Eric. Adams, Randee. Eustace, Dan. Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Format: Electronic Resources
Availability Online Library~1

Human – Computer Systems Interaction: Backgrounds and Applications 2 Part 2

2026-03-18T18:23:31Z

Author Hippe, Zdzisław S. editor. Kulikowski, Juliusz L. editor. Mroczek, Teresa. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23172-8
Format: Electronic Resources
Availability Online Library~1

Computer Aided Systems Theory – EUROCAST 2011 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part I

2026-03-18T18:23:31Z

Author Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27549-4
Format: Electronic Resources
Availability Online Library~1

Computer Aided Systems Theory – EUROCAST 2011 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part II

2026-03-18T18:23:31Z

Author Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27579-1
Format: Electronic Resources
Availability Online Library~1

Advances in Future Computer and Control Systems Volume 1

2026-03-18T18:23:31Z

Author Jin, David. editor. Lin, Sally. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29387-0
Format: Electronic Resources
Availability Online Library~1

Advances in Future Computer and Control Systems Volume 2

2026-03-18T18:23:31Z

Author Jin, David. editor. Lin, Sally. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29390-0
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Model-Driven Engineering 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures

2026-03-18T18:23:31Z

Author Bernardo, Marco. editor. Cortellessa, Vittorio. editor. Pierantonio, Alfonso. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30982-3
Format: Electronic Resources
Availability Online Library~1

Intelligent Computer Mathematics 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings

2026-03-18T18:23:31Z

Author Jeuring, Johan. editor. Campbell, John A. editor. Carette, Jacques. editor. Reis, Gabriel. editor. Sojka, Petr. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31374-5
Format: Electronic Resources
Availability Online Library~1

Human – Computer Systems Interaction: Backgrounds and Applications 2 Part 1

2026-03-18T18:23:31Z

Author Hippe, Zdzisław S. editor. Kulikowski, Juliusz L. editor. Mroczek, Teresa. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23187-2
Format: Electronic Resources
Availability Online Library~1

Energy-aware memory management for embedded multimedia systems : a computer-aided design approach

2026-03-18T18:23:31Z

Author Balasa, Florin. Pradhan, Dhiraj K.
Preferred Shelf Number TK7895 .E42 E69 2012
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

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

2026-03-18T18:23:31Z

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

Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers

2026-03-18T18:23:31Z

Author Calinescu, Radu. editor. Jackson, Ethan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21292-5
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Computer Systems Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part I

2026-03-18T18:23:31Z

Author Mohamad Zain, Jasni. editor. Wan Mohd, Wan Maseri bt. editor. El-Qawasmeh, Eyas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22170-5
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Computer Systems Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part II

2026-03-18T18:23:31Z

Author Zain, Jasni Mohamad. editor. Wan Mohd, Wan Maseri bt. editor. El-Qawasmeh, Eyas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22191-0
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Computer Systems Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part III

2026-03-18T18:23:31Z

Author Zain, Jasni Mohamad. editor. Wan Mohd, Wan Maseri bt. editor. El-Qawasmeh, Eyas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22203-0
Format: Electronic Resources
Availability Online Library~1

Computer Information Systems – Analysis and Technologies 10th International Conference, CISIM 2011, Kolkata, India, December 14-16, 2011. Proceedings

2026-03-18T18:23:31Z

Author Chaki, Nabendu. editor. Cortesi, Agostino. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27245-5
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Eternal Networked Software Systems 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures

2026-03-18T18:23:31Z

Author Bernardo, Marco. editor. Issarny, Valérie. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21455-4
Format: Electronic Resources
Availability Online Library~1

Computer Vision Systems 8th International Conference, ICVS 2011, Sophia Antipolis, France, September 20-22, 2011. Proceedings

2026-03-18T18:23:31Z

Author Crowley, James L. editor. Draper, Bruce A. editor. Thonnat, Monique. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23968-7
Format: Electronic Resources
Availability Online Library~1

Performance Evaluation of Computer and Communication Systems. Milestones and Future Challenges IFIP WG 6.3/7.3 International Workshop, PERFORM 2010, in Honor of Günter Haring on the Occasion of His Emeritus Celebration, Vienna, Austria, October 14-16, 2010, Revised Selected Papers

2026-03-18T18:23:31Z

Author Hummel, Karin Anna. editor. Hlavacs, Helmut. editor. Gansterer, Wilfried. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25575-5
Format: Electronic Resources
Availability Online Library~1

Digital forensics with open source tools using open source platform tools for performing computer forensics on target systems : Windows, Mac, Linux, UNIX, etc.

2026-03-18T18:23:31Z

Author Altheide, Cory. Carvey, Harlan A.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9781597495868
Format: Electronic Resources
Availability Online Library~1

The Seductive Computer Why IT Systems Always Fail

2026-03-18T18:23:31Z

Author Partridge, Derek. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84996-498-2
Format: Electronic Resources
Availability Online Library~1

Theory and Practice of Algorithms in (Computer) Systems First International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011. Proceedings

2026-03-18T18:23:31Z

Author Marchetti-Spaccamela, Alberto. editor. Segal, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19754-3
Format: Electronic Resources
Availability Online Library~1

Fundamentals of performance evaluation of computer and telecommunications systems

2026-03-18T18:23:31Z

Author Obaidat, Mohammad S. (Mohammad Salameh), 1952- Boudriga, Noureddine. Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=484833 John Wiley http://dx.doi.org/10.1002/9780470567203 MyiLibrary, Table of contents http://www.myilibrary.com?id=249138&ref=toc http://site.ebrary.com/lib/alltitles/Doc?id=10361221 http://swb.eblib.com/patron/FullRecord.aspx?p=484833
Format: Electronic Resources
Availability Online Library~1

Computer-Based Modeling of Novel Carbon Systems and Their Properties Beyond Nanotubes

2026-03-18T18:23:31Z

Author Colombo, Luciano. editor. Fasolino, Annalisa. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-9718-8
Format: Electronic Resources
Availability Online Library~1

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

2026-03-18T18:23:31Z

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

Soft Computing in XML Data Management Intelligent Systems from Decision Making to Data Mining, Web Intelligence and Computer Vision

2026-03-18T18:23:31Z

Author Ma, Zongmin. editor. Yan, Li. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14010-5
Format: Electronic Resources
Availability Online Library~1

Design for reliability information and computer-based systems

2026-03-18T18:23:31Z

Author Bauer, Eric.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5732779
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Web Services 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures

2026-03-18T18:23:31Z

Author Bernardo, Marco. editor. Padovani, Luca. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01918-0
Format: Electronic Resources
Availability Online Library~1

Computer Vision Systems 7th International Conference on Computer Vision Systems, ICVS 2009 Liège, Belgium, October 13-15, 2009. Proceedings

2026-03-18T18:23:31Z

Author Fritz, Mario. editor. Schiele, Bernt. editor. Piater, Justus H. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04667-4
Format: Electronic Resources
Availability Online Library~1

Embedded Computer Systems: Architectures, Modeling, and Simulation 9th International Workshop, SAMOS 2009, Samos, Greece, July 20-23, 2009. Proceedings

2026-03-18T18:23:31Z

Author Bertels, Koen. editor. Dimopoulos, Nikitas. editor. Silvano, Cristina. editor. Wong, Stephan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03138-0
Format: Electronic Resources
Availability Online Library~1

Computer Aided Systems Theory - EUROCAST 2009 12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers

2026-03-18T18:23:31Z

Author Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04772-5
Format: Electronic Resources
Availability Online Library~1

Secure computer and network systems modeling, analysis and design

2026-03-18T18:23:31Z

Author Ye, Nong. Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0833/2007037133-b.html John Wiley http://dx.doi.org/10.1002/9780470023273
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures

2026-03-18T18:23:31Z

Author Bernardo, Marco. editor. Degano, Pierpaolo. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68894-5
Format: Electronic Resources
Availability Online Library~1

Computer Vision Systems 6th International Conference, ICVS 2008 Santorini, Greece, May 12-15, 2008 Proceedings

2026-03-18T18:23:31Z

Author Gasteratos, Antonios. editor. Vincze, Markus. editor. Tsotsos, John K. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-79547-6
Format: Electronic Resources
Availability Online Library~1

The Open Knowlege Society. A Computer Science and Information Systems Manifesto First World Summit on the Knowledge Society, WSKS 2008, Athens, Greece, September 24-26, 2008. Proceedings

2026-03-18T18:23:31Z

Author Lytras, Miltiadis D. editor. Carroll, John M. editor. Damiani, Ernesto. editor. Tennyson, Robert D. editor. Avison, David. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-87783-7
Format: Electronic Resources
Availability Online Library~1

Thesis Projects A Guide for Students in Computer Science and Information Systems

2026-03-18T18:23:31Z

Author Berndtsson, Mikael. author. Hansson, Jörgen. author. Olsson, Björn. author. Lundell, Björn. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84800-009-4
Format: Electronic Resources
Availability Online Library~1

Embedded Computer Systems: Architectures, Modeling, and Simulation 8th International Workshop, SAMOS 2008, Samos, Greece, July 21-24, 2008. Proceedings

2026-03-18T18:23:31Z

Author Bereković, Mladen. editor. Dimopoulos, Nikitas. editor. Wong, Stephan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70550-5
Format: Electronic Resources
Availability Online Library~1

Justifying the Dependability of Computer-based Systems With Applications in Nuclear Engineering

2026-03-18T18:23:31Z

Author Courtois, Pierre-Jacques. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84800-372-9
Format: Electronic Resources
Availability Online Library~1

Advances in Information Systems Research, Education and Practice IFIP 20th World Computer Congress, TC 8, Information Systems, September 7-10, 2008, Milano, Italy

2026-03-18T18:23:31Z

Author Avison, David. editor. Kasper, George M. editor. Pernici, Barbara. editor. Ramos, Isabel. editor. Roode, Dewald. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-09682-7
Format: Electronic Resources
Availability Online Library~1

Knowledge structures for communications in human-computer systems general automata-based

2026-03-18T18:23:31Z

Author Koenig, Eldo C. (Eldo Clyde), 1919- IEEE Computer Society. John Wiley & Sons.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5988895
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Performance Evaluation 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures

2026-03-18T18:23:31Z

Author Bernardo, Marco. editor. Hillston, Jane. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72522-0
Format: Electronic Resources
Availability Online Library~1

Just-In-Time Scheduling: Models and Algorithms for Computer and Manufacturing Systems

2026-03-18T18:23:31Z

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

Advances in Computer Systems Architecture 12th Asia-Pacific Conference, ACSAC 2007, Seoul, Korea, August 23-25, 2007. Proceedings

2026-03-18T18:23:31Z

Author Choi, Lynn. editor. Paek, Yunheung. editor. Cho, Sangyeun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74309-5
Format: Electronic Resources
Availability Online Library~1

Embedded Computer Systems: Architectures, Modeling, and Simulation 7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007. Proceedings

2026-03-18T18:23:31Z

Author Vassiliadis, Stamatis. editor. Bereković, Mladen. editor. Hämäläinen, Timo D. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73625-7
Format: Electronic Resources
Availability Online Library~1

Computer Aided Systems Theory – EUROCAST 2007 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers

2026-03-18T18:23:31Z

Author Moreno Díaz, Roberto. editor. Pichler, Franz. editor. Quesada Arencibia, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75867-9
Format: Electronic Resources
Availability Online Library~1

Computer Simulations in Condensed Matter Systems: From Materials to Chemical Biology Volume 2

2026-03-18T18:23:31Z

Author Ferrario, Mauro. editor. Ciccotti, Giovanni. editor. Binder, Kurt. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-35284-8
Format: Electronic Resources
Availability Online Library~1

Deontic Logic and Artificial Normative Systems 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006. Proceedings

2026-03-18T18:23:31Z

Author Goble, Lou. editor. Meyer, John-Jules Ch. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11786849
Format: Electronic Resources
Availability Online Library~1

16th European Symposium on Computer Aided Process Engineering and 9th International Symposium on Process Systems Engineering

2026-03-18T18:23:31Z

Author European Symposium on Computer Aided Process Engineering (16th : 2006 : Garmisch-Partenkirchen, Germany) Marquardt, W. Pantelides, C. International Symposium on Process Systems Engineering (9th : 2006 : Garmisch-Partenkirchen, Germany)
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444529695
Format: Electronic Resources
Availability Online Library~1

The Past and Future of Information Systems: 1976–2006 and Beyond IFIP 19th World Computer Congress, TC-8, Information System Stream, August 21–23, 2006, Santiago, Chile

2026-03-18T18:23:31Z

Author Avison, David. editor. Elliot, Steve. editor. Krogstie, John. editor. Pries-Heje, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-34732-5
Format: Electronic Resources
Availability Online Library~1

Multivariable Computer-controlled Systems A Transfer Function Approach

2026-03-18T18:23:31Z

Author Rosenwasser, Efim N. author. Lampe, Bernhard P. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-84628-432-5
Format: Electronic Resources
Availability Online Library~1

Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective

2026-03-18T18:23:31Z

Author Besnard, Denis. editor. Gacek, Cristina. editor. Jones, Cliff B. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138838
Format: Electronic Resources
Availability Online Library~1

NETWORKING 2006. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems 5th International IFIP-TC6 Networking Conference, Coimbra, Portugal, May 15-19, 2006. Proceedings

2026-03-18T18:23:31Z

Author Boavida, Fernando. editor. Plagemann, Thomas. editor. Stiller, Burkhard. editor. Westphal, Cedric. editor. Monteiro, Edmundo. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11753810
Format: Electronic Resources
Availability Online Library~1

Computer Simulations in Condensed Matter Systems: From Materials to Chemical Biology Volume 1

2026-03-18T18:23:31Z

Author Ferrario, Mauro. editor. Ciccotti, Giovanni. editor. Binder, Kurt. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-35273-2
Format: Electronic Resources
Availability Online Library~1

Embedded Computer Systems: Architectures, Modeling, and Simulation 6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006. Proceedings

2026-03-18T18:23:31Z

Author Vassiliadis, Stamatis. editor. Wong, Stephan. editor. Hämäläinen, Timo D. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11796435
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Systems Architecture 11th Asia-Pacific Conference, ACSAC 2006, Shanghai, China, September 6-8, 2006. Proceedings

2026-03-18T18:23:31Z

Author Jesshope, Chris. editor. Egan, Colin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11859802
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures

2026-03-18T18:23:31Z

Author Bernardo, Marco. editor. Cimatti, Alessandro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11757283
Format: Electronic Resources
Availability Online Library~1

Biometrics, Computer Security Systems and Artificial Intelligence Applications

2026-03-18T18:23:31Z

Author Saeed, Khalid. editor. Pejaś, Jerzy. editor. Mosdorf, Romuald. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-36503-9
Format: Electronic Resources
Availability Online Library~1

Advances in Computer, Information, and Systems Sciences, and Engineering Proceedings of IETA 2005, TeNe 2005, EIAE 2005

2026-03-18T18:23:31Z

Author Elleithy, Khaled. editor. Sobh, Tarek. editor. Mahmood, Ausif. editor. Iskander, Magued. editor. Karim, Mohammad. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-5261-8
Format: Electronic Resources
Availability Online Library~1

Power-Aware Computer Systems Third International Workshop, PACS 2003, San Diego, CA, USA, December 1, 2003 Revised Papers

2026-03-18T18:23:31Z

Author Falsafi, Babak. editor. VijayKumar, T. N. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b104218
Format: Electronic Resources
Availability Online Library~1

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7 – 11, 2005, Revised Selected Papers

2026-03-18T18:23:31Z

Author Moreno Díaz, Roberto. editor. Pichler, Franz. editor. Quesada Arencibia, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11556985
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Systems Architecture 10th Asia-Pacific Conference, ACSAC 2005, Singapore, October 24-26, 2005. Proceedings

2026-03-18T18:23:31Z

Author Srikanthan, Thambipillai. editor. Xue, Jingling. editor. Chang, Chip-Hong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11572961
Format: Electronic Resources
Availability Online Library~1

The elements of computing systems building a modern computer from first principles

2026-03-18T18:23:31Z

Author Nisan, Noam. Schocken, Shimon.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276865
Format: Electronic Resources
Availability Online Library~1

Enhanced Methods in Computer Security, Biometric and Artificial Intelligence Systems

2026-03-18T18:23:31Z

Author Pejaś, Jerzy. editor. Piegat, Andrzej. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b101135
Format: Electronic Resources
Availability Online Library~1

Embedded Computer Systems: Architectures, Modeling, and Simulation 5th International Workshop, SAMOS 2005, Samos, Greece, July 18-20, 2005. Proceedings

2026-03-18T18:23:31Z

Author Hämäläinen, Timo D. editor. Pimentel, Andy D. editor. Takala, Jarmo. editor. Vassiliadis, Stamatis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138322
Format: Electronic Resources
Availability Online Library~1

Formal Techniques for Computer Systems and Business Processes European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings

2026-03-18T18:23:31Z

Author Bravetti, Mario. editor. Kloul, Leïla. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11549970
Format: Electronic Resources
Availability Online Library~1

Engineering Human Computer Interaction and Interactive Systems Joint Working Conferences EHCI-DSVIS 2004, Hamburg, Germany, July 11-13, 2004, Revised Selected Papers

2026-03-18T18:23:31Z

Author Bastide, Rémi. editor. Palanque, Philippe. editor. Roth, Jörg. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136790
Format: Electronic Resources
Availability Online Library~1

NETWORKING 2005. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems 4th International IFIP-TC6 Networking Conference, Waterloo, Canada, May 2-6, 2005. Proceedings

2026-03-18T18:23:31Z

Author Boutaba, Raouf. editor. Almeroth, Kevin. editor. Puigjaner, Ramon. editor. Shen, Sherman. editor. Black, James P. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136094
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Mobile Computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures

2026-03-18T18:23:31Z

Author Bernardo, Marco. editor. Bogliolo, Alessandro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b135888
Format: Electronic Resources
Availability Online Library~1

Computer Recognition Systems Proceedings of the 4th International Conference on Computer Recognition Systems CORES ’05

2026-03-18T18:23:31Z

Author Kurzyński, Marek. editor. Puchała, Edward. editor. Woźniak, Michał. editor. żołnierek, Andrzej. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-32390-2
Format: Electronic Resources
Availability Online Library~1

Power-Aware Computer Systems 4th International Workshop, PACS 2004, Portland, OR, USA, December 5, 2004, Revised Selected Papers

2026-03-18T18:23:31Z

Author Falsafi, Babak. editor. VijayKumar, T. N. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11574859
Format: Electronic Resources
Availability Online Library~1

Broadband Satellite Comunication Systems and the Challenges of Mobility IFIP TC6 Workshops on Broadband Satellite Communication Systems and Challenges of Mobility, World Computer Congress, August 22–27, 2004, Toulouse, France

2026-03-18T18:23:31Z

Author Gayraud, Thierry. editor. Mazzella, Michel. editor. Boavida, Fernando. editor. Monteiro, Edmundo. editor. Orvalho, João. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b104225
Format: Electronic Resources
Availability Online Library~1

Validating pharmaceutical systems : good computer practice in life science manufacturing

2026-03-18T18:23:31Z

Author Andrews, John.
Preferred Shelf Number RS122.2 .V35 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-03-18T18:23:31Z

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

Computer systems validation : quality assurance, risk management, and regulatory compliance for pharmaceutical and healthcare companies

2026-03-18T18:23:31Z

Author Wingate, Guy.
Preferred Shelf Number HD9665.5 .C664 2004
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Time-domain computer analysis of nonlinear hybrid systems

2026-03-18T18:23:31Z

Author Sui, Wenquan, author.
Preferred Shelf Number TK7867 .S95 2002
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Multisensor instrumentation 6[sigma] design defined accuracy computer-integrated measurement systems

2026-03-18T18:23:31Z

Author Garrett, Patrick H.
Preferred Shelf Number ONLINE
Electronic Access John Wiley http://dx.doi.org/10.1002/0471221554 Contributor biographical information http://catdir.loc.gov/catdir/bios/wiley043/2001046730.html ebrary http://site.ebrary.com/id/10299172 HathiTrust Digital Library Limited view (search only) http://catalog.hathitrust.org/api/volumes/oclc/47971537.html
Format: Electronic Resources
Availability Online Library~1

Reliability of computer systems and networks fault tolerance, analysis and design

2026-03-18T18:23:31Z

Author Shooman, Martin L. John Wiley & Sons.
Preferred Shelf Number ONLINE
Electronic Access John Wiley http://dx.doi.org/10.1002/047122460X Contributor biographical information http://catdir.loc.gov/catdir/bios/wiley042/2002265406.html
Format: Electronic Resources
Availability Online Library~1

Computer-aided design of analog integrated circuits and systems

2026-03-18T18:23:31Z

Author Rutenbar, Rob A., 1957- Gielen, Georges. Antao, Brian.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5265766
Format: Electronic Resources
Availability Online Library~1

Computer-managed maintenance systems a step-by-step guide to effective management of maintenance, labor, and inventory

2026-03-18T18:23:31Z

Author Cato, William W. Mobley, R. Keith, 1943-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780750674737
Format: Electronic Resources
Availability Online Library~1

Computer aided design, engineering, and manufacturing : systems techniques and applications

2026-03-18T18:23:31Z

Author Leondes, Cornelius T.
Preferred Shelf Number TS155.6 .C6455 2001
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Automotive computer controlled systems diagnostic tools and techniques

2026-03-18T18:23:31Z

Author Bonnick, Allan W. M.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780750650892
Format: Electronic Resources
Availability Online Library~1

Biomechanical systems : techniques and applications. Volume 1, Computer techniques and computational methods in biomechanics

2026-03-18T18:23:31Z

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

Validating corporate computer systems : good IT practice for pharmaceutical manufacturers

2026-03-18T18:23:31Z

Author Wingate, Guy, editor.
Preferred Shelf Number RS192 .V35 2000
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Validating Corporate Computer Systems Good IT Practice for Pharmaceutical Manufacturers

2026-03-18T18:23:31Z

Author Wingate, Guy .
Preferred Shelf Number RS192 .V34 2000 EB
Electronic Access http://www.crcnetbase.com/doi/book/10.1201/b14417
Format: Electronic Resources
Availability Online Library~1

Performance of computer communication systems a model-based approach

2026-03-18T18:23:31Z

Author Haverkort, Boudewijn R.
Preferred Shelf Number ONLINE
Electronic Access John Wiley http://dx.doi.org/10.1002/0470841923 HathiTrust Digital Library, Limited view (search only) http://catalog.hathitrust.org/api/volumes/oclc/39235782.html
Format: Electronic Resources
Availability Online Library~1

The design of computer supported cooperative work and groupware systems

2026-03-18T18:23:31Z

Author Shapiro, Dan S. Tauber, Michael J. Traunmüller, R. (Roland)
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444819987
Format: Electronic Resources
Availability Online Library~1

Industrial applications of formal methods to model, design, and analyze computer systems : an international survey

2026-03-18T18:23:31Z

Author Craigen, Dan, 1953- Gerhart, Susan L. Ralston, Theodore L.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780815513629
Format: Electronic Resources
Availability Online Library~1

Systems that learn an introduction to learning theory for cognitive and computer scientists

2026-03-18T18:23:31Z

Author Osherson, Daniel N. Stob, Michael. Weinstein, Scott.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267314
Format: Electronic Resources
Availability Online Library~1

Computer methods in the analysis of large-scale social systems; proceedings of a conference held at the Joint Center for Urban Studies of the Massachusetts Institute of Technology and Harvard University in Cambridge, Massachusetts on October 19-21, 1964.

2026-03-18T18:23:31Z

Author Beshers, James M., ed. Joint Center for Urban Studies.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267219
Format: Electronic Resources
Availability Online Library~1

Handbook of intelligent automation systems using computer vision and artificial intelligence

2026-03-18T18:23:31Z

Preferred Shelf Number T59.5 .H36 2025
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394302734
Format: Electronic Resources
Availability Online Library~1

Network simulation experiments manual

2026-03-18T18:23:31Z

Author Aboelela, Emad. Peterson, Larry L. Computer networks : a systems approach. Davie, Bruce S. Computer networks : a systems approach.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780120421718
Format: Electronic Resources
Availability Online Library~1

Cyber-Security for Smart Grid Control Vulnerability Assessment, Attack Detection, and Mitigation

2026-03-18T18:23:31Z

Author Sreejith, Amulya. author. Shanti Swarup, K. author. (orcid)0000-0002-4883-7649 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-1302-8
Format: Electronic Resources
Availability Online Library~1

Technological Advancements and Innovations in Future of Education Select Proceedings of FOE 2023

2026-03-18T18:23:31Z

Author Hosseini, Samira. editor. Beitzel, Brian. editor. Köhler, Marcel. editor. (orcid)0009-0007-1827-1692 Sanjakdar, Fida. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-4931-7
Format: Electronic Resources
Availability Online Library~1

Fostering Machine Learning and IoT for Blockchain Technology Smart Cities Applications, Volume 1

2026-03-18T18:23:31Z

Author Ahmad, Khaleel. editor. Dulhare, Uma N. editor. Badar, Mohammad Sufian. editor. Ahamed, Jameel. editor. Rizvi, M. A. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-4078-2
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence in Modern Healthcare System

2026-03-18T18:23:31Z

Author Kumar, Ashish. author. Singh, Divya. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-6703-1
Format: Electronic Resources
Availability Online Library~1

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

2026-03-18T18:23:31Z

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

Next-Generation Wireless Systems Fundamentals and Applications

2026-03-18T18:23:31Z

Author Sharma, Sanjeev. editor. Deka, Kuntal. editor. Dixit, Dharmendra. editor. (orcid)0000-0002-9845-7337 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-3185-8
Format: Electronic Resources
Availability Online Library~1

Fostering Machine Learning and IoT for Blockchain Technology Smart Cities Applications, Volume 2

2026-03-18T18:23:31Z

Author Ahmad, Khaleel. editor. Dulhare, Uma N. editor. Badar, Mohammad Sufian. editor. Ahamed, Jameel. editor. Rizvi, M. A. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-4074-4
Format: Electronic Resources
Availability Online Library~1

Big Data Analytics in Intelligent IoT and Cyber-Physical Systems

2026-03-18T18:23:31Z

Author Sharma, Nonita. editor. Mangla, Monika. editor. (orcid)0000-0002-1752-7226 Shinde, Subhash K. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-4518-4
Format: Electronic Resources
Availability Online Library~1

Recommender Systems: Algorithms and their Applications

2026-03-18T18:23:31Z

Author Kar, Pushpendu. author. (orcid)0000-0002-0896-0650 Roy, Monideepa. author. Datta, Sujoy. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-0538-2
Format: Electronic Resources
Availability Online Library~1

Text Mining Approaches for Biomedical Data

2026-03-18T18:23:31Z

Author Sharan, Aditi. editor. Malik, Nidhi. editor. Imran, Hazra. editor. (orcid)0000-0002-2341-6477 Ghosh, Indira. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-3962-2
Format: Electronic Resources
Availability Online Library~1

Statistics and Data Analysis for Engineers and Scientists

2026-03-18T18:23:31Z

Author Mustafy, Tanvir. author. Rahman, Md. Tauhid Ur. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-4661-7
Format: Electronic Resources
Availability Online Library~1

Deep Learning Models A Practical Approach for Hands-On Professionals

2026-03-18T18:23:31Z

Author Gamba, Jonah. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-9672-8
Format: Electronic Resources
Availability Online Library~1

Paradigms of Smart and Intelligent Communication, 5G and Beyond

2026-03-18T18:23:31Z

Author Rai, Amrita. editor. Kumar Singh, Dinesh. editor. Sehgal, Amit. editor. Cengiz, Korhan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-0109-8
Format: Electronic Resources
Availability Online Library~1

Python Programming Recipes for IoT Applications

2026-03-18T18:23:31Z

Author Parab, Jivan S. author. Lanjewar, Madhusudan Ganuji. author. Sequeira, Marlon Darius. author. Naik, Gourish. author. Shaikh, Arman Yusuf. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-9466-1
Format: Electronic Resources
Availability Online Library~1

Drone Data Analytics in Aerial Computing

2026-03-18T18:23:31Z

Author Karthikeyan, P. editor. Kumar, Sathish. editor. Anbarasu, V. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-5056-0
Format: Electronic Resources
Availability Online Library~1

Real-Time Simulation and Hardware-in-the-Loop Testing Using Typhoon HIL

2026-03-18T18:23:31Z

Author Tripathi, Saurabh Mani. editor. Gonzalez-Longatt, Francisco M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-0224-8
Format: Electronic Resources
Availability Online Library~1

Optimization with LINGO-18 : problems and applications

2026-03-18T18:23:31Z

Author Gupta, Neha, 1986- author. Ali, Irfan, author.
Preferred Shelf Number QA402.5
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003048893 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Performance and evaluation of Lisp systems

2026-03-18T18:23:31Z

Author Gabriel, Richard P.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267265
Format: Electronic Resources
Availability Online Library~1

Logic testing and design for testability

2026-03-18T18:23:31Z

Author Fujiwara, Hideo.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267264
Format: Electronic Resources
Availability Online Library~1

Metamodeling a study of approximations in queueing models

2026-03-18T18:23:31Z

Author Agrawal, Subhash Chandra.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267206
Format: Electronic Resources
Availability Online Library~1

Systems techniques and computational methods

2026-03-18T18:23:31Z

Author Leondes, Cornelius T.
Preferred Shelf Number TS155.6 .C6455 2001
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781420049893 Taylor & Francis https://www.taylorfrancis.com/books/e/9781420049893 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Using advanced MPI : modern features of the Message-Passing-Interface

2026-03-18T18:23:31Z

Author Gropp, William, author. Hoefler, Torsten. Thakur, Rajeev. Lusk, Ewing. IEEE Xplore (Online Service), distributor.
Preferred Shelf Number ONLINE(364986.1)
Electronic Access Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6981848
Format: Electronic Resources
Availability Online Library~1

The LOCUS distributed system architecture

2026-03-18T18:23:31Z

Author Popek, Gerald. Walker, Bruce James, 1951-
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267466
Format: Electronic Resources
Availability Online Library~1

Artificial intelligence & blockchain in cyber physical systems : technologies & applications

2026-03-18T18:23:31Z

Author Arif, Muhammad (Computer scientist), editor. Balas, Valentina Emilia, editor. Nafis, Md Tabrez, editor. Qureshi, Nawab Muhammad Faseeh, editor. Wazir, Samar, editor.
Preferred Shelf Number TJ213
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003190301 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Data-rate-constrained state estimation and control of complex networked systems

2026-03-18T18:23:31Z

Author Wang, Licheng (Electronics and computer engineer), author. Wang, Zidong, 1966- author. Wei, Guoliang, author.
Preferred Shelf Number TK5105
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003534853 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Intelligent internet of things for smart healthcare systems

2026-03-18T18:23:31Z

Author Srivastava, Durgesh (Computer scientist), editor. Sharma, Neha (Computer scientist), editor. Sinwar, Deepak, editor. Yousif, Jabar H., editor. Gupta, Hari Prabhat, editor.
Preferred Shelf Number R859
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003326182 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Machine learning-based fault diagnosis for industrial engineering systems

2026-03-18T18:23:31Z

Author Yang, Rui (Professor of computer engineering), author. Zhong, Maiying, author.
Preferred Shelf Number TA169.6
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003240754 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Intelligent adaptive systems : an interaction-centered design perspective

2026-03-18T18:23:31Z

Author Hou, Ming (Computer scientist), author. Banbury, Simon, author. Burns, Catherine M., 1968- author.
Preferred Shelf Number QA76.9 .A3 H68 2015
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

EMBEDDED SOFTWARE DEVELOPMENT FOR SAFETY-CRITICAL SYSTEMS

2026-03-18T18:23:31Z

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

SMART CYBER-PHYSICAL SYSTEMS innovations and real world implications.

2026-03-18T18:23:31Z

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

Industry 4.0 and intelligent manufacturing technologies

2026-03-18T18:23:31Z

Author Mrugalska, Beata, editor. Karwowski, Waldemar, 1953- editor. Ahram, Tareq Z., editor.
Preferred Shelf Number T59.6
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003625360 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Intelligent networks and systems : advanced technologies and applications

2026-03-18T18:23:31Z

Author Siddique, N. H., editor. Arefin, Mohammad Shamsul, editor. Noori, Sheak Rashed Haider, editor. Kaiser, M. Shamim, editor.
Preferred Shelf Number QA76.76 .E95
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781032659770 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

ENGINEERING SWARMS OF CYBER-PHYSICAL SYSTEMS

2026-03-18T18:23:31Z

Author Schranz, Melanie. Elmenreich, Wilfried. Arvin, Farshad.
Preferred Shelf Number TJ213
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003194460 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Deep learning for intrusion detection : techniques and applications

2026-03-18T18:23:31Z

Author Masoodi, Faheem Syeed, editor. Bamhdi, Alwi, editor.
Preferred Shelf Number TK5105.59 .D44 2026
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394285198
Format: Electronic Resources
Availability Online Library~1

Integrated systems : embedded, signal processing, and communication

2026-03-18T18:23:31Z

Author Gudipalli, Abhishek, editor.
Preferred Shelf Number TK7895 .E42 I58 2026
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394311767
Format: Electronic Resources
Availability Online Library~1

Computational intelligence and image processing in agriculture : applications and innovations

2026-03-18T18:23:31Z

Author Pandey, Jay Kumar, editor. Rai, Mritunja, editor. Sarkar, Tanmay, editor.
Preferred Shelf Number S494.5 .D3 C66 2026
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394320905
Format: Electronic Resources
Availability Online Library~1