Search Results for Computer systems -- Design.

Software Design for Resilient Computer Systems

2026-04-15T16:01:58Z

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

Software Design for Resilient Computer Systems

2026-04-15T16:01:58Z

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-controlled systems : theory and design

2026-04-15T16:01:58Z

Author Aström, Karl Johan, 1934- Wittenmark, Björn.
Preferred Shelf Number TJ 213 A78 1997
Format: Books
Availability Beytepe Library~1

Computer-aided design of digital systems

2026-04-15T16:01:58Z

Author Lewin, Douglas.
Preferred Shelf Number TK 7888.3 L37 1977
Format: Books
Availability Beytepe Library~1

Design of on-line computer systems

2026-04-15T16:01:58Z

Author Yourdan, Edward.
Preferred Shelf Number QA 76.5 Y64 1972
Format: Books
Availability Beytepe Library~1

Design and Applications of Emerging Computer Systems

2026-04-15T16:01:58Z

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

Computer-aided drug design and delivery systems

2026-04-15T16:01:58Z

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

IEEE Transactions on computer aided design of integrated circuits and systems.

2026-04-15T16:01:58Z

Preferred Shelf Number ALFABETİK V.1 1982
Format: Continuing Resources Other
Availability Beytepe Library~5 ~0

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

2026-04-15T16:01:58Z

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

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

2026-04-15T16:01:58Z

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

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

2026-04-15T16:01:58Z

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

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

2026-04-15T16:01:58Z

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

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-04-15T16:01:58Z

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

Intelligent Computer Systems in Engineering Design Principles and Applications

2026-04-15T16:01:58Z

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-04-15T16:01:58Z

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

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-04-15T16:01:58Z

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

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-04-15T16:01:58Z

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-aided control systems design : practical applications using MATLAB and Simulink

2026-04-15T16:01:58Z

Author Chin, Cheng Siong., author.
Preferred Shelf Number TJ217 .C478 2013
Electronic Access Click here to view.
Format: Books
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-04-15T16:01:58Z

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

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

2026-04-15T16:01:58Z

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

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-04-15T16:01:58Z

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

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-04-15T16:01:58Z

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

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

2026-04-15T16:01:58Z

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

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-04-15T16:01:58Z

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

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-04-15T16:01:58Z

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

Design for reliability information and computer-based systems

2026-04-15T16:01:58Z

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-04-15T16:01:58Z

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

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-04-15T16:01:58Z

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

Secure computer and network systems modeling, analysis and design

2026-04-15T16:01:58Z

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 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-04-15T16:01:58Z

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

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-04-15T16:01:58Z

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

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-04-15T16:01:58Z

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

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

2026-04-15T16:01:58Z

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-04-15T16:01:58Z

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-04-15T16:01:58Z

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 aided design, engineering, and manufacturing : systems techniques and applications

2026-04-15T16:01:58Z

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

The design of computer supported cooperative work and groupware systems

2026-04-15T16:01:58Z

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-04-15T16:01:58Z

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

Computer engineering : a dec view hardware systems design

2026-04-15T16:01:58Z

Author Bell, C. G., ed. Mudge, J. C., ed. McNamara, J. E., ed.
Preferred Shelf Number TK 7885 C64 1978
Format: Books
Availability Beytepe Library~1

Systems techniques and computational methods

2026-04-15T16:01:58Z

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

Intelligent adaptive systems : an interaction-centered design perspective

2026-04-15T16:01:58Z

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

Applied computer vision through artificial intelligence

2026-04-15T16:01:58Z

Author Sandhu, Jasminder Kaur, editor.
Preferred Shelf Number TA1634 .A67 2026
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394272624
Format: Electronic Resources
Availability Online Library~1

Graph theory for computer science

2026-04-15T16:01:58Z

Preferred Shelf Number QA166 .G73 2026
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394302628
Format: Electronic Resources
Availability Online Library~1

The Combined Power of Research, Education, and Dissemination Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday

2026-04-15T16:01:58Z

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

Human-Machine Interaction (HMI) Design for Intelligent Vehicles From Human Factors Theory to Design Practice

2026-04-15T16:01:58Z

Author Wang, Yahui. author. (orcid)0000-0003-2913-7011 Xue, ZhiRong. author. Li, Jun. author. Jia, Siyu. author. Yang, Baoling. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-7823-2
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-04-15T16:01:58Z

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-04-15T16:01:58Z

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

Fundamentals of Electromigration-Aware Integrated Circuit Design

2026-04-15T16:01:58Z

Author Lienig, Jens. author. (orcid)0000-0002-2140-4587 Rothe, Susann. author. Thiele, Matthias. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-80023-8
Format: Electronic Resources
Availability Online Library~1

Computer-Human Interaction Research and Applications 8th International Conference, CHIRA 2024, Porto, Portugal, November 21-22, 2024, Proceedings, Part II

2026-04-15T16:01:58Z

Author Plácido da Silva, Hugo. editor. Cipresso, Pietro. editor. (orcid)0000-0002-0662-7678 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-83845-3
Format: Electronic Resources
Availability Online Library~1

Computer-Human Interaction Research and Applications 8th International Conference, CHIRA 2024, Porto, Portugal, November 21-22, 2024, Proceedings, Part I

2026-04-15T16:01:58Z

Author Plácido da Silva, Hugo. editor. Cipresso, Pietro. editor. (orcid)0000-0002-0662-7678 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-82633-7
Format: Electronic Resources
Availability Online Library~1

Human-Computer Interaction and Augmented Intelligence The Paradigm of Interactive Machine Learning in Educational Software

2026-04-15T16:01:58Z

Author Troussas, Christos. author. Krouska, Akrivi. author. (orcid)0000-0002-8620-5255 Sgouropoulou, Cleo. author. (orcid)0000-0001-8173-2622 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-84453-9
Format: Electronic Resources
Availability Online Library~1

Design, User Experience, and Usability 14th International Conference, DUXU 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part III

2026-04-15T16:01:58Z

Author Schrepp, Martin. editor. (orcid)0000-0001-7855-2524 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-93227-4
Format: Electronic Resources
Availability Online Library~1

Proceedings of the 22nd Congress of the International Ergonomics Association, Volume 3 Better Life Ergonomics for Future Humans (IEA 2024)

2026-04-15T16:01:58Z

Author Jin, Sangeun. editor. Kim, Jeong Ho. editor. Kong, Yong-Ku. editor. (orcid)0000-0003-3208-6817 Park, Jaehyun. editor. Yun, Myung Hwan. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-9330-6
Format: Electronic Resources
Availability Online Library~1

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

2026-04-15T16:01:58Z

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

Handbook of intelligent automation systems using computer vision and artificial intelligence

2026-04-15T16:01:58Z

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

Methods and applications of artificial intelligence : dynamic response, learning, random forest, linear regression, interoperability, additive manufacturing and mechatronics

2026-04-15T16:01:58Z

Author El Hami, Abdelkhalak, editor.
Preferred Shelf Number Q335 .M48 2025
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394351817
Format: Electronic Resources
Availability Online Library~1

Methods and tools for computer-aided design of multidimensional filters in signal processing

2026-04-15T16:01:58Z

Author Handkiewicz, Andrzej, author.
Preferred Shelf Number TK5102.9
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394263653
Format: Electronic Resources
Availability Online Library~1

Design and manufacturing practices for performability engineering

2026-04-15T16:01:58Z

Author Chaturvedi, Sanjay K., editor. Gargama, Heeralal, editor. Rai, Rajiv N., editor.
Preferred Shelf Number TS171 .D47 2025
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394345731
Format: Electronic Resources
Availability Online Library~1

UX for AI : a framework for designing AI-driven products

2026-04-15T16:01:58Z

Author Nudelman, Greg, author. Kempka, Daria, editor.
Preferred Shelf Number QA76.9 .H85 N83 2025
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394352272
Format: Electronic Resources
Availability Online Library~1

Advanced Information Networking and Applications Proceedings of the 39th International Conference on Advanced Information Networking and Applications (AINA-2025), Volume 4

2026-04-15T16:01:58Z

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

Advanced Information Networking and Applications Proceedings of the 39th International Conference on Advanced Information Networking and Applications (AINA-2025), Volume 2

2026-04-15T16:01:58Z

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

Advanced Information Networking and Applications Proceedings of the 39th International Conference on Advanced Information Networking and Applications (AINA-2025), Volume 6

2026-04-15T16:01:58Z

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

Advanced Information Networking and Applications Proceedings of the 39th International Conference on Advanced Information Networking and Applications (AINA-2025), Volume 7

2026-04-15T16:01:58Z

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

Advanced Information Networking and Applications Proceedings of the 39th International Conference on Advanced Information Networking and Applications (AINA-2025), Volume 8

2026-04-15T16:01:58Z

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

Design, User Experience, and Usability 14th International Conference, DUXU 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part I

2026-04-15T16:01:58Z

Author Schrepp, Martin. editor. (orcid)0000-0001-7855-2524 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-93221-2
Format: Electronic Resources
Availability Online Library~1

Design, User Experience, and Usability 14th International Conference, DUXU 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part IV

2026-04-15T16:01:58Z

Author Schrepp, Martin. editor. (orcid)0000-0001-7855-2524 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-93230-4
Format: Electronic Resources
Availability Online Library~1

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

2026-04-15T16:01:58Z

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

Integrating AI techniques into the design and development of smart cyber-physical systems : defense, biomedical, infrastructure, and transportation

2026-04-15T16:01:58Z

Author Mala, D. Jeya, 1974- author. Dhanapal, Anto Cordelia Tanislaus Antony author Sthapit, Saurav author Khadka, Anita, 1988- author.
Preferred Shelf Number TA347 .A78
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003489986 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Edge artificial intelligence : foundations, techniques, and applications

2026-04-15T16:01:58Z

Author Agarwal, Preeti, editor. Bijalwan, Anchit, editor.
Preferred Shelf Number Q335 .E34 2025
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394355037
Format: Electronic Resources
Availability Online Library~1

Rebeca for Actor Analysis in Action Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday

2026-04-15T16:01:58Z

Author Lee, Edward A. editor. (orcid)0000-0002-5663-0584 Mousavi, Mohammad Reza. editor. (orcid)0000-0002-4869-6794 Talcott, Carolyn. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-85134-6
Format: Electronic Resources
Availability Online Library~1

Advanced Information Networking and Applications Proceedings of the 39th International Conference on Advanced Information Networking and Applications (AINA-2025), Volume 1

2026-04-15T16:01:58Z

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

Proceedings of the 14th International Conference on Computer Engineering and Networks Volume IV

2026-04-15T16:01:58Z

Author Yin, Guangqiang. editor. (orcid)0000-0003-2178-2147 Liu, Xiaodong. editor. Su, Jian. editor. Yang, Yangzhao. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-4016-4
Format: Electronic Resources
Availability Online Library~1

Analysis and Design of Next-Generation Software Architectures Generative AI, Cybersecurity, and Cloud Computing

2026-04-15T16:01:58Z

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

Proceedings of the 14th International Conference on Computer Engineering and Networks Volume III

2026-04-15T16:01:58Z

Author Yin, Guangqiang. editor. (orcid)0000-0003-2178-2147 Liu, Xiaodong. editor. Su, Jian. editor. Yang, Yangzhao. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-4245-8
Format: Electronic Resources
Availability Online Library~1

Design, User Experience, and Usability 14th International Conference, DUXU 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part V

2026-04-15T16:01:58Z

Author Schrepp, Martin. editor. (orcid)0000-0001-7855-2524 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-93233-5
Format: Electronic Resources
Availability Online Library~1

Design, User Experience, and Usability 14th International Conference, DUXU 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part VI

2026-04-15T16:01:58Z

Author Schrepp, Martin. editor. (orcid)0000-0001-7855-2524 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-93236-6
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-04-15T16:01:58Z

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-04-15T16:01:58Z

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-04-15T16:01:58Z

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

Proceedings of the 14th International Conference on Computer Engineering and Networks Volume II

2026-04-15T16:01:58Z

Author Yin, Guangqiang. editor. (orcid)0000-0003-2178-2147 Liu, Xiaodong. editor. Su, Jian. editor. Yang, Yangzhao. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-4229-8
Format: Electronic Resources
Availability Online Library~1

Proceedings of the 14th International Conference on Computer Engineering and Networks Volume I

2026-04-15T16:01:58Z

Author Yin, Guangqiang. editor. (orcid)0000-0003-2178-2147 Liu, Xiaodong. editor. Su, Jian. editor. Yang, Yangzhao. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-4963-1
Format: Electronic Resources
Availability Online Library~1

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part I

2026-04-15T16:01:58Z

Author Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-97554-7
Format: Electronic Resources
Availability Online Library~1

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part II

2026-04-15T16:01:58Z

Author Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-97557-8
Format: Electronic Resources
Availability Online Library~1

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part III

2026-04-15T16:01:58Z

Author Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-97564-6
Format: Electronic Resources
Availability Online Library~1

Integrated Computer Technologies in Mechanical Engineering - 2024 Synergetic Engineering, Volume 1

2026-04-15T16:01:58Z

Author Lytvynov, Oleksii. editor. Pavlikov, Volodymyr. editor. (orcid)0000-0002-6370-1758 Krytskyi, Dmytro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-94845-9
Format: Electronic Resources
Availability Online Library~1

Recent Advances in Communication Networks and Embedded Systems Proceedings of 8th International Conference on Communication and Network Technology

2026-04-15T16:01:58Z

Author Femmam, Smain. editor. (orcid)0000-0001-5366-0481 Lorenz, Pascal. editor. (orcid)0000-0003-3346-7216 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-92449-1
Format: Electronic Resources
Availability Online Library~1

Generalized Homogeneity in Systems and Control Volume II Infinite-Dimensional Systems

2026-04-15T16:01:58Z

Author Polyakov, Andrey. author. (orcid)0000-0002-5876-3495 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-77496-6
Format: Electronic Resources
Availability Online Library~1

Cryogenic Microelectronic Systems for Ultra-Low Energy and Enhanced Performance

2026-04-15T16:01:58Z

Author Zhuldassov, Nurzhan. author. Friedman, Eby G. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-90754-8
Format: Electronic Resources
Availability Online Library~1

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part VI

2026-04-15T16:01:58Z

Author Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-97573-8
Format: Electronic Resources
Availability Online Library~1

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part IV

2026-04-15T16:01:58Z

Author Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-97567-7
Format: Electronic Resources
Availability Online Library~1

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part V

2026-04-15T16:01:58Z

Author Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-97570-7
Format: Electronic Resources
Availability Online Library~1

Computer and Communication Engineering 4th International Conference, CCCE 2024, Oslo, Norway, May 24-26, 2024, Revised Selected Papers

2026-04-15T16:01:58Z

Author Neri, Filippo. editor. (orcid)0000-0002-2529-2287 Du, Ke-Lin. editor. (orcid)0000-0002-9136-3952 San-Blas, Angel-Antonio. editor. (orcid)0000-0002-4341-8277 Jiang, Zhiyu. editor. (orcid)0000-0002-6360-8262 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-71079-7
Format: Electronic Resources
Availability Online Library~1

HCI International 2024 - Late Breaking Posters 26th International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part I

2026-04-15T16:01:58Z

Author Stephanidis, Constantine. editor. (orcid)0000-0003-3687-4220 Antona, Margherita. editor. Ntoa, Stavroula. editor. (orcid)0000-0002-6270-8333 Salvendy, Gavriel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-78516-0
Format: Electronic Resources
Availability Online Library~1

HCI International 2024 - Late Breaking Posters 26th International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part II

2026-04-15T16:01:58Z

Author Stephanidis, Constantine. editor. (orcid)0000-0003-3687-4220 Antona, Margherita. editor. Ntoa, Stavroula. editor. (orcid)0000-0002-6270-8333 Salvendy, Gavriel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-78531-3
Format: Electronic Resources
Availability Online Library~1

HCI International 2024 - Late Breaking Posters 26th International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part III

2026-04-15T16:01:58Z

Author Stephanidis, Constantine. editor. (orcid)0000-0003-3687-4220 Antona, Margherita. editor. Ntoa, Stavroula. editor. (orcid)0000-0002-6270-8333 Salvendy, Gavriel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-78561-0
Format: Electronic Resources
Availability Online Library~1

Advances in Digital Forensics XX 20th IFIP WG 11.9 International Conference, New Delhi, India, January 4-5, 2024, Revised Selected Papers

2026-04-15T16:01:58Z

Author Kurkowski, Elizabeth. editor. Shenoi, Sujeet. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-71025-4
Format: Electronic Resources
Availability Online Library~1

Advanced Technologies for Physical Properties Measurement of Food and its Processing

2026-04-15T16:01:58Z

Author Lin, Hao. author. (orcid)0000-0003-4161-0094 Zhang, Lei. author. Chen, Quansheng. author. Zhou, Man. author. Pan, Leiqing. author. (orcid)0000-0001-5587-3544
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-2347-1
Format: Electronic Resources
Availability Online Library~1

Advanced Information Networking and Applications Proceedings of the 39th International Conference on Advanced Information Networking and Applications (AINA-2025), Volume 3

2026-04-15T16:01:58Z

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

AI in Banking Practical Applications and Case Studies

2026-04-15T16:01:58Z

Author Shao, Liyu. author. Chen, Qin. author. He, Min. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-3837-6
Format: Electronic Resources
Availability Online Library~1

Advanced Information Networking and Applications Proceedings of the 39th International Conference on Advanced Information Networking and Applications (AINA-2025), Volume 5

2026-04-15T16:01:58Z

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

Design, User Experience, and Usability 14th International Conference, DUXU 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part II

2026-04-15T16:01:58Z

Author Schrepp, Martin. editor. (orcid)0000-0001-7855-2524 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-93224-3
Format: Electronic Resources
Availability Online Library~1

Principle of Architecture, Protocol, and Algorithms for CoG-MIN A Sustainably Ecological & Evolutionary Solution for Packet Network System

2026-04-15T16:01:58Z

Author Li, Hui. author. (orcid)0000-0001-5244-9473 Bai, He. author. (orcid)0000-0003-2339-8974 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-3596-2
Format: Electronic Resources
Availability Online Library~1

Integrated Computer Technologies in Mechanical Engineering - 2024 Synergetic Engineering, Volume 2

2026-04-15T16:01:58Z

Author Lytvynov, Oleksii. editor. Pavlikov, Volodymyr. editor. (orcid)0000-0002-6370-1758 Krytskyi, Dmytro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-94852-7
Format: Electronic Resources
Availability Online Library~1

Intelligent Construction in Tunnels

2026-04-15T16:01:58Z

Author Zhang, Limao. author. Pan, Yue. author. Lin, Penghui. author. Skibniewski, Mirosław J. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-8785-5
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-04-15T16:01:58Z

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

Proceedings of the 22nd Congress of the International Ergonomics Association, Volume 4 Better Life Ergonomics for Future Humans (IEA 2024)

2026-04-15T16:01:58Z

Author Jin, Sangeun. editor. Kim, Jeong Ho. editor. Kong, Yong-Ku. editor. (orcid)0000-0003-3208-6817 Park, Jaehyun. editor. Yun, Myung Hwan. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-95-0289-9
Format: Electronic Resources
Availability Online Library~1

Introduction to Logic Circuits & Logic Design with Verilog

2026-04-15T16:01:58Z

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

Introduction to Logic Circuits & Logic Design with VHDL

2026-04-15T16:01:58Z

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

Advanced Manufacturing Processes V Selected Papers from the 5th Grabchenko's International Conference on Advanced Manufacturing Processes (InterPartner-2023), September 5-8, 2023, Odessa, Ukraine

2026-04-15T16:01:58Z

Author Tonkonogyi, Volodymyr. editor. (orcid)0000-0003-1459-9870 Ivanov, Vitalii. editor. (orcid)0000-0003-0595-2660 Trojanowska, Justyna. editor. (orcid)0000-0001-5598-3807 Oborskyi, Gennadii. editor. (orcid)0000-0002-5682-4768 Pavlenko, Ivan. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-42778-7
Format: Electronic Resources
Availability Online Library~1

CyberSecurity in a DevOps Environment From Requirements to Monitoring

2026-04-15T16:01:58Z

Author Sadovykh, Andrey. editor. Truscan, Dragos. editor. Mallouli, Wissam. editor. Cavalli, Ana Rosa. editor. Seceleanu, Cristina. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-42212-6
Format: Electronic Resources
Availability Online Library~1

Tools for Design, Implementation and Verification of Emerging Information Technologies 18th EAI International Conference, TRIDENTCOM 2023, Nanjing, China, November 11-13, 2023, Proceedings

2026-04-15T16:01:58Z

Author Liu, Jianghua. editor. Xu, Lei. editor. (orcid)0000-0001-9178-6640 Huang, Xinyi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-51399-2
Format: Electronic Resources
Availability Online Library~1

Optimization, Learning Algorithms and Applications Third International Conference, OL2A 2023, Ponta Delgada, Portugal, September 27-29, 2023, Revised Selected Papers, Part I

2026-04-15T16:01:58Z

Author Pereira, Ana I. editor. (orcid)0000-0003-3803-2043 Mendes, Armando. editor. Fernandes, Florbela P. editor. (orcid)0000-0001-9542-4460 Pacheco, Maria F. editor. (orcid)0000-0001-7915-0391 Coelho, João P. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-53025-8
Format: Electronic Resources
Availability Online Library~1

Optimization, Learning Algorithms and Applications Third International Conference, OL2A 2023, Ponta Delgada, Portugal, September 27-29, 2023, Revised Selected Papers, Part II

2026-04-15T16:01:58Z

Author Pereira, Ana I. editor. (orcid)0000-0003-3803-2043 Mendes, Armando. editor. Fernandes, Florbela P. editor. (orcid)0000-0001-9542-4460 Pacheco, Maria F. editor. (orcid)0000-0001-7915-0391 Coelho, João P. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-53036-4
Format: Electronic Resources
Availability Online Library~1

Intelligent Human Computer Interaction 15th International Conference, IHCI 2023, Daegu, South Korea, November 8-10, 2023, Revised Selected Papers, Part I

2026-04-15T16:01:58Z

Author Choi, Bong Jun. editor. (orcid)0000-0002-6550-749X Singh, Dhananjay. editor. (orcid)0000-0003-3822-9348 Tiwary, Uma Shanker. editor. Chung, Wan-Young. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-53827-8
Format: Electronic Resources
Availability Online Library~1

Intelligent Human Computer Interaction 15th International Conference, IHCI 2023, Daegu, South Korea, November 8-10, 2023, Revised Selected Papers, Part II

2026-04-15T16:01:58Z

Author Choi, Bong Jun. editor. (orcid)0000-0002-6550-749X Singh, Dhananjay. editor. (orcid)0000-0003-3822-9348 Tiwary, Uma Shanker. editor. Chung, Wan-Young. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-53830-8
Format: Electronic Resources
Availability Online Library~1

Proceedings of 2023 International Conference on Medical Imaging and Computer-Aided Diagnosis (MICAD 2023) Medical Imaging and Computer-Aided Diagnosis

2026-04-15T16:01:58Z

Author Su, Ruidan. editor. Zhang, Yu-Dong. editor. Frangi, Alejandro F. editor. (orcid)0000-0002-2675-528X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-1335-6
Format: Electronic Resources
Availability Online Library~1

The French School of Programming

2026-04-15T16:01:58Z

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

Recent Advances in Communication Networks and Embedded Systems Proceedings of 6th International Conference on Communication and Network Technology

2026-04-15T16:01:58Z

Author Femmam, Smain. editor. (orcid)0000-0001-5366-0481 Lorenz, Pascal. editor. (orcid)0000-0003-3346-7216 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-59619-3
Format: Electronic Resources
Availability Online Library~1

Advanced Information Networking and Applications Proceedings of the 38th International Conference on Advanced Information Networking and Applications (AINA-2024), Volume 1

2026-04-15T16:01:58Z

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

Propagation Characterization and Channel Modeling for UAV Communications

2026-04-15T16:01:58Z

Author Bai, Lu. author. Huang, Ziwei. author. (orcid)0000-0003-1767-1399 Cheng, Xiang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-57503-7
Format: Electronic Resources
Availability Online Library~1

Advances in Real-Time and Autonomous Systems Proceedings of the 15th International Conference on Autonomous Systems

2026-04-15T16:01:58Z

Author Unger, Herwig. editor. Schaible, Marcel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-61418-7
Format: Electronic Resources
Availability Online Library~1

Decoding Cultural Heritage A Critical Dissection and Taxonomy of Human Creativity through Digital Tools

2026-04-15T16:01:58Z

Author Moral-Andrés, Fernando. editor. Merino-Gómez, Elena. editor. (orcid)0000-0003-4129-4626 Reviriego, Pedro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-57675-1
Format: Electronic Resources
Availability Online Library~1

Architecture of Computing Systems 37th International Conference, ARCS 2024, Potsdam, Germany, May 14-16, 2024, Proceedings

2026-04-15T16:01:58Z

Author Fey, Dietmar. editor. (orcid)0000-0002-6077-4732 Stabernack, Benno. editor. (orcid)0000-0002-6654-1606 Lankes, Stefan. editor. (orcid)0000-0003-4718-2238 Pacher, Mathias. editor. (orcid)0000-0001-5313-5898 Pionteck, Thilo. editor. (orcid)0000-0001-6518-1226
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-66146-4
Format: Electronic Resources
Availability Online Library~1

Recent Advances in Intelligent Engineering Volume Dedicated to Imre J. Rudas' Seventy-Fifth Birthday

2026-04-15T16:01:58Z

Author Kovács, Levente. editor. (orcid)0000-0002-3188-0800 Haidegger, Tamás. editor. (orcid)0000-0003-1402-1139 Szakál, Anikó. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-58257-8
Format: Electronic Resources
Availability Online Library~1

Innovations in Computer Vision and Data Classification From Pandemic Data Analysis to Environmental and Health Monitoring

2026-04-15T16:01:58Z

Author Ghani, Arfan. author. (orcid)0000-0002-1362-3720 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-60140-8
Format: Electronic Resources
Availability Online Library~1

Sign Language Processing From Gesture to Meaning

2026-04-15T16:01:58Z

Author Othman, Achraf. author. (orcid)0000-0003-1290-2098 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-68763-1
Format: Electronic Resources
Availability Online Library~1

Active System Control Design of System Resilience

2026-04-15T16:01:58Z

Author Schagaev, Igor. author. Kirk, Brian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-77181-1
Format: Electronic Resources
Availability Online Library~1

Technology innovation for the circular economy : recycling, remanufacturing, design, system analysis and logistics

2026-04-15T16:01:58Z

Author Nasr, Nabil (Engineering professor), editor.
Preferred Shelf Number HC79 .E5
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394214297
Format: Electronic Resources
Availability Online Library~1

Big data analysis and artificial intelligence for medical sciences

2026-04-15T16:01:58Z

Author Carpentieri, Bruno, editor. Lecca, Paola, 1973- editor.
Preferred Shelf Number R858 .B54 2024
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119846567
Format: Electronic Resources
Availability Online Library~1

Computational intelligent techniques in mechatronics

2026-04-15T16:01:58Z

Author Prakash, Kolla Bhanu, editor. Peddapelli, Satish Kumar, editor. Tam, Ivan CK, editor. Woo, Wai Lok, editor. Jain, Vishal, 1983- editor.
Preferred Shelf Number TJ163.12 .C66 2024
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394175437
Format: Electronic Resources
Availability Online Library~1

Computational intelligence : theory and applications

2026-04-15T16:01:58Z

Author Kumar, T. Ananth (Tamilarasan Ananth), editor.
Preferred Shelf Number Q342 .C66 2024
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394214259
Format: Electronic Resources
Availability Online Library~1

Secure Voice Processing Systems against Malicious Voice Attacks

2026-04-15T16:01:58Z

Author Sun, Kun. author. Wang, Shu. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-44748-8
Format: Electronic Resources
Availability Online Library~1

Human Aspects of IT for the Aged Population 10th International Conference, ITAP 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29-July 4, 2024, Proceedings, Part I

2026-04-15T16:01:58Z

Author Gao, Qin. editor. (orcid)0000-0003-2436-5410 Zhou, Jia. editor. (orcid)0000-0003-2497-0012 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-61543-6
Format: Electronic Resources
Availability Online Library~1

Human Aspects of IT for the Aged Population 10th International Conference, ITAP 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29-July 4, 2024, Proceedings, Part II

2026-04-15T16:01:58Z

Author Gao, Qin. editor. (orcid)0000-0003-2436-5410 Zhou, Jia. editor. (orcid)0000-0003-2497-0012 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-61546-7
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-04-15T16:01:58Z

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

Systems science for engineers and scholars

2026-04-15T16:01:58Z

Author Engel, Avner (Researcher), author.
Preferred Shelf Number Q295 .E534 2024
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394211678
Format: Electronic Resources
Availability Online Library~1

Finite element method to model electromagnetic systems in low frequency

2026-04-15T16:01:58Z

Author Piriou, Francis, author. Clenet, Stephane, author.
Preferred Shelf Number TA347 .F5
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394276486
Format: Electronic Resources
Availability Online Library~1

Integrated devices for artificial intelligence and VLSI

2026-04-15T16:01:58Z

Preferred Shelf Number Q336 .I58 2024
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394205158
Format: Electronic Resources
Availability Online Library~1

Performance Engineering Learning Through Applications Using JMT

2026-04-15T16:01:58Z

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

Structural Decision Diagrams in Digital Test Theory and Applications

2026-04-15T16:01:58Z

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

Advances in Automation and Robotics Research Proceedings of the 4th Latin American Congress on Automation and Robotics, San Salvador, El Salvador 2023

2026-04-15T16:01:58Z

Author Cardona, Manuel N. editor. Baca, José. editor. Garcia, Cecilia. editor. Carrera, Isela G. editor. Martinez, Carol. editor. (orcid)0000-0003-3040-6119
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-54763-8
Format: Electronic Resources
Availability Online Library~1

Advanced Information Networking and Applications Proceedings of the 38th International Conference on Advanced Information Networking and Applications (AINA-2024), Volume 4

2026-04-15T16:01:58Z

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

Advanced Information Networking and Applications Proceedings of the 38th International Conference on Advanced Information Networking and Applications (AINA-2024), Volume 2

2026-04-15T16:01:58Z

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

Advanced Information Networking and Applications Proceedings of the 38th International Conference on Advanced Information Networking and Applications (AINA-2024), Volume 3

2026-04-15T16:01:58Z

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

Advanced Information Networking and Applications Proceedings of the 38th International Conference on Advanced Information Networking and Applications (AINA-2024), Volume 5

2026-04-15T16:01:58Z

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

Advanced Information Networking and Applications Proceedings of the 38th International Conference on Advanced Information Networking and Applications (AINA-2024), Volume 6

2026-04-15T16:01:58Z

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

3D Printing at Hospitals and Medical Centers A Practical Guide for Medical Professionals

2026-04-15T16:01:58Z

Author Rybicki, Frank J. editor. Morris, Jonathan M. editor. Grant, Gerald T. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-42851-7
Format: Electronic Resources
Availability Online Library~1

Accelerating Network Functions Using Reconfigurable Hardware Design and Validation of High Throughput and Low Latency Network Functions at the Access Edge

2026-04-15T16:01:58Z

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

MAC Protocol Design in Full-Duplex Enabled Wireless Networks

2026-04-15T16:01:58Z

Author Fu, Liqun. author. Liu, Shengbo. author. Wu, Wen. author. Zhang, Ning. author. Zhuang, Weihua. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-57296-8
Format: Electronic Resources
Availability Online Library~1

Biosystems, Biomedical & Drug Delivery Systems Characterization, Restoration and Optimization

2026-04-15T16:01:58Z

Author Kulkarni, Shrikaant. editor. Haghi, A. K. editor. Manwatkar, Sonali. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-2596-0
Format: Electronic Resources
Availability Online Library~1

Mathematical Software - ICMS 2024 8th International Conference, Durham, UK, July 22-25, 2024, Proceedings

2026-04-15T16:01:58Z

Author Buzzard, Kevin. editor. (orcid)0000-0002-7187-5109 Dickenstein, Alicia. editor. (orcid)0000-0003-4863-4953 Eick, Bettina. editor. (orcid)0000-0003-2884-6545 Leykin, Anton. editor. (orcid)0000-0002-9216-3514 Ren, Yue. editor. (orcid)0000-0002-6005-7119
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-64529-7
Format: Electronic Resources
Availability Online Library~1

Applications of Artificial Neural Networks and Machine Learning in Civil Engineering

2026-04-15T16:01:58Z

Author Kaveh, Ali. author. (orcid)0000-0002-5428-4788 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-66051-1
Format: Electronic Resources
Availability Online Library~1

Information Technologies and Mathematical Modelling. Queueing Theory and Applications 22nd International Conference, ITMM 2023 and 14th International Workshop, WRQ 2023, Tomsk, Russia, December 4-9, 2023, Revised Selected Papers

2026-04-15T16:01:58Z

Author Dudin, Alexander. editor. (orcid)0000-0003-2881-0227 Nazarov, Anatoly. editor. (orcid)0000-0002-5097-5629 Moiseev, Alexander. editor. (orcid)0000-0003-2369-452X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-65385-8
Format: Electronic Resources
Availability Online Library~1

Proceedings of the 5th International Conference on Electrical Engineering and Control Applications-Volume 2 ICEECA 2022, 15-17 November, Khenchela, Algeria

2026-04-15T16:01:58Z

Author Ziani, Salim. editor. Chadli, Mohammed. editor. Bououden, Sofiane. editor. (orcid)0000-0001-9395-4417 Zelinka, Ivan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-4776-4
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-04-15T16:01:58Z

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

Introduction to Digital Control An Integrated Approach

2026-04-15T16:01:58Z

Author Samanta, Biswanath. author. (orcid)0000-0002-0518-6751 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-66830-2
Format: Electronic Resources
Availability Online Library~1

Metaverse Driven Intelligent Information Systems Emerging Trends and Future Directions

2026-04-15T16:01:58Z

Author Kautish, Sandeep. editor. Rocha, Álvaro. editor. (orcid)0000-0002-0750-8187 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-72418-3
Format: Electronic Resources
Availability Online Library~1

Proceedings of the 5th International Conference on Electrical Engineering and Control Applications-Volume 1 ICEECA 2022, 15-17 November, Khenchela, Algeria

2026-04-15T16:01:58Z

Author Ziani, Salim. editor. Chadli, Mohammed. editor. Bououden, Sofiane. editor. (orcid)0000-0001-9395-4417 Zelinka, Ivan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-0045-5
Format: Electronic Resources
Availability Online Library~1

Journey to The Planets The Technology to Build a Spacefaring Civilization

2026-04-15T16:01:58Z

Author Genta, Giancarlo. author. (orcid)0000-0002-3016-7405 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-57696-6
Format: Electronic Resources
Availability Online Library~1

Bioinformatics An Introductory Textbook

2026-04-15T16:01:58Z

Author Dandekar, Thomas. author. Kunz, Meik. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-65036-3
Format: Electronic Resources
Availability Online Library~1

Higher Education Computer Science A Manual of Practical Approaches

2026-04-15T16:01:58Z

Author Carter, Jenny. editor. O'Grady, Michael. editor. Rosen, Clive. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-29386-3
Format: Electronic Resources
Availability Online Library~1

Creativity in Intelligent Technologies and Data Science 5th International Conference, CIT&DS 2023, Volgograd, Russia, September 11-15, 2023, Proceedings

2026-04-15T16:01:58Z

Author Kravets, Alla G. editor. (orcid) Shcherbakov, Maxim V. editor. Groumpos, Peter P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-44615-3
Format: Electronic Resources
Availability Online Library~1

Learning and Collaboration Technologies 10th International Conference, LCT 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I

2026-04-15T16:01:58Z

Author Zaphiris, Panayiotis. editor. Ioannou, Andri. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-34411-4
Format: Electronic Resources
Availability Online Library~1

Think like a UX researcher : how to observe users, influence design, and shape business strategy

2026-04-15T16:01:58Z

Author Travis, David, 1960- author. Hodgson, Philip, 1950- author.
Preferred Shelf Number QA76.9 .U83
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003411116 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Customer experience analytics : how customers can better guide your web and app design decisions

2026-04-15T16:01:58Z

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

Enterprise Information Systems 24th International Conference, ICEIS 2022, Virtual Event, April 25-27, 2022, Revised Selected Papers

2026-04-15T16:01:58Z

Author Filipe, Joaquim. editor. Śmiałek, Michał. editor. Brodsky, Alexander. editor. Hammoudi, Slimane. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-39386-0
Format: Electronic Resources
Availability Online Library~1

Human Interface and the Management of Information Thematic Area, HIMI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I

2026-04-15T16:01:58Z

Author Mori, Hirohiko. editor. Asahi, Yumi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-35132-7
Format: Electronic Resources
Availability Online Library~1

Applied Reconfigurable Computing. Architectures, Tools, and Applications 19th International Symposium, ARC 2023, Cottbus, Germany, September 27-29, 2023, Proceedings

2026-04-15T16:01:58Z

Author Palumbo, Francesca. editor. Keramidas, Georgios. editor. Voros, Nikolaos. editor. Diniz, Pedro C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-42921-7
Format: Electronic Resources
Availability Online Library~1

Cyber Security Intelligence and Analytics The 5th International Conference on Cyber Security Intelligence and Analytics (CSIA 2023), Volume 2

2026-04-15T16:01:58Z

Author Xu, Zheng. editor. Alrabaee, Saed. editor. Loyola-González, Octavio. editor. Cahyani, Niken Dwi Wahyu. editor. Ab Rahman, Nurul Hidayah. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-31775-0
Format: Electronic Resources
Availability Online Library~1

Nature-Inspired Intelligent Computing Techniques in Bioinformatics

2026-04-15T16:01:58Z

Author Raza, Khalid. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-6379-7
Format: Electronic Resources
Availability Online Library~1

Green Transportation and Low Carbon Mobility Safety Proceedings of the 12th International Conference on Green Intelligent Transportation Systems and Safety

2026-04-15T16:01:58Z

Author Wang, Wuhong. editor. Wu, Jianping. editor. Jiang, Xiaobei. editor. Li, Ruimin. editor. Zhang, Haodong. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-5615-7
Format: Electronic Resources
Availability Online Library~1

Machine Learning and Optimization Techniques for Automotive Cyber-Physical Systems

2026-04-15T16:01:58Z

Author Kukkala, Vipin Kumar. editor. Pasricha, Sudeep. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-28016-0
Format: Electronic Resources
Availability Online Library~1

Proceedings of Third International Conference on Sustainable Expert Systems ICSES 2022

2026-04-15T16:01:58Z

Author Shakya, Subarna. editor. Balas, Valentina Emilia. editor. Haoxiang, Wang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-7874-6
Format: Electronic Resources
Availability Online Library~1

Novel & Intelligent Digital Systems: Proceedings of the 3rd International Conference (NiDS 2023) Volume 1

2026-04-15T16:01:58Z

Author Kabassi, Katerina. editor. Mylonas, Phivos. editor. Caro, Jaime. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-44097-7
Format: Electronic Resources
Availability Online Library~1

Understanding users : designing experience through layers of meaning

2026-04-15T16:01:58Z

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

Computer Aided Engineering of Batteries

2026-04-15T16:01:58Z

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

Intelligent Systems and Machine Learning First EAI International Conference, ICISML 2022, Hyderabad, India, December 16-17, 2022, Proceedings, Part I

2026-04-15T16:01:58Z

Author Nandan Mohanty, Sachi. editor. Garcia Diaz, Vicente. editor. Satish Kumar, G. A. E. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-35078-8
Format: Electronic Resources
Availability Online Library~1

Intelligent Systems and Machine Learning First EAI International Conference, ICISML 2022, Hyderabad, India, December 16-17, 2022, Proceedings, Part II

2026-04-15T16:01:58Z

Author Nandan Mohanty, Sachi. editor. Garcia Diaz, Vicente. editor. Satish Kumar, G. A. E. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-35081-8
Format: Electronic Resources
Availability Online Library~1

International Conference on Neural Computing for Advanced Applications 4th International Conference, NCAA 2023, Hefei, China, July 7-9, 2023, Proceedings, Part II

2026-04-15T16:01:58Z

Author Zhang, Haijun. editor. (orcid) Ke, Yinggen. editor. Wu, Zhou. editor. Hao, Tianyong. editor. Zhang, Zhao. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-5847-4
Format: Electronic Resources
Availability Online Library~1

Gamification Design for Educational Contexts Theoretical and Practical Contributions

2026-04-15T16:01:58Z

Author Toda, Armando. editor. Cristea, Alexandra I. editor. Isotani, Seiji. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-31949-5
Format: Electronic Resources
Availability Online Library~1

Advanced Intelligent Computing Technology and Applications 19th International Conference, ICIC 2023, Zhengzhou, China, August 10-13, 2023, Proceedings, Part II

2026-04-15T16:01:58Z

Author Huang, De-Shuang. editor. Premaratne, Prashan. editor. Jin, Baohua. editor. Qu, Boyang. editor. Jo, Kang-Hyun. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-4742-3
Format: Electronic Resources
Availability Online Library~1

Advanced Intelligent Computing Technology and Applications 19th International Conference, ICIC 2023, Zhengzhou, China, August 10-13, 2023, Proceedings, Part III

2026-04-15T16:01:58Z

Author Huang, De-Shuang. editor. Premaratne, Prashan. editor. Jin, Baohua. editor. Qu, Boyang. editor. Jo, Kang-Hyun. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-4749-2
Format: Electronic Resources
Availability Online Library~1

Advanced Intelligent Computing Technology and Applications 19th International Conference, ICIC 2023, Zhengzhou, China, August 10-13, 2023, Proceedings, Part I

2026-04-15T16:01:58Z

Author Huang, De-Shuang. editor. Premaratne, Prashan. editor. Jin, Baohua. editor. Qu, Boyang. editor. Jo, Kang-Hyun. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-4755-3
Format: Electronic Resources
Availability Online Library~1

Advanced Intelligent Computing Technology and Applications 19th International Conference, ICIC 2023, Zhengzhou, China, August 10-13, 2023, Proceedings, Part IV

2026-04-15T16:01:58Z

Author Huang, De-Shuang. editor. Premaratne, Prashan. editor. Jin, Baohua. editor. Qu, Boyang. editor. Jo, Kang-Hyun. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-4752-2
Format: Electronic Resources
Availability Online Library~1

Advanced Intelligent Computing Technology and Applications 19th International Conference, ICIC 2023, Zhengzhou, China, August 10-13, 2023, Proceedings, Part V

2026-04-15T16:01:58Z

Author Huang, De-Shuang. editor. Premaratne, Prashan. editor. Jin, Baohua. editor. Qu, Boyang. editor. Jo, Kang-Hyun. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-4761-4
Format: Electronic Resources
Availability Online Library~1

Cooperative Design, Visualization, and Engineering 20th International Conference on Cooperative Design, Visualization and Engineering, CDVE 2023, Mallorca, Spain, October 1-4, 2023, Proceedings

2026-04-15T16:01:58Z

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

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

2026-04-15T16:01:58Z

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

Learning Technologies and Systems 21st International Conference on Web-Based Learning, ICWL 2022, and 7th International Symposium on Emerging Technologies for Education, SETE 2022, Tenerife, Spain, November 21-23, 2022, Revised Selected Papers

2026-04-15T16:01:58Z

Author González-González, Carina S. editor. Fernández-Manjón, Baltasar. editor. Li, Frederick. editor. García-Peñalvo, Francisco José. editor. Sciarrone, Filippo. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-33023-0
Format: Electronic Resources
Availability Online Library~1

Research Techniques for Computer Science, Information Systems and Cybersecurity

2026-04-15T16:01:58Z

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

Advances in Computer Science for Engineering and Education VI

2026-04-15T16:01:58Z

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

Novel & Intelligent Digital Systems: Proceedings of the 3rd International Conference (NiDS 2023) Volume 2

2026-04-15T16:01:58Z

Author Kabassi, Katerina. editor. Mylonas, Phivos. editor. Caro, Jaime. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-44146-2
Format: Electronic Resources
Availability Online Library~1

Machine Learning in Modeling and Simulation Methods and Applications

2026-04-15T16:01:58Z

Author Rabczuk, Timon. editor. Bathe, Klaus-Jürgen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-36644-4
Format: Electronic Resources
Availability Online Library~1

Advances and Applications of Artificial Intelligence & Machine Learning Proceedings of ICAAAIML 2022

2026-04-15T16:01:58Z

Author Unhelkar, Bhuvan. editor. Pandey, Hari Mohan. editor. Agrawal, Arun Prakash. editor. Choudhary, Ankur. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-5974-7
Format: Electronic Resources
Availability Online Library~1

Advanced Intelligent Technologies for Information and Communication Proceedings of 3rd International Conference on Advanced Intelligent Technologies (ICAIT 2022)

2026-04-15T16:01:58Z

Author Nakamatsu, Kazumi. editor. Kountchev, Roumen. editor. Patnaik, Srikanta. editor. Abe, Jair M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-5203-8
Format: Electronic Resources
Availability Online Library~1

Security technologies and social implications

2026-04-15T16:01:58Z

Author Markarian, Garik, editor. Karlovic, Ruža, editor. Nitsch, Holger, editor. Chandramouli, Krishna, editor.
Preferred Shelf Number HV7936 .A8 S39 2023
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119834175
Format: Electronic Resources
Availability Online Library~1

Urban energy systems : modeling and simulation for smart cities

2026-04-15T16:01:58Z

Author Kumar, Deepak (Atmospheric scientist), editor.
Preferred Shelf Number TD159.4 .U73 2023
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119847595
Format: Electronic Resources
Availability Online Library~1

Optimization techniques in engineering : advances and applications

2026-04-15T16:01:58Z

Author Khosla, Anita.
Preferred Shelf Number TA342 .O68 2023
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119906391
Format: Electronic Resources
Availability Online Library~1

Evolving networking technologies : developments and future directions

2026-04-15T16:01:58Z

Author Gupta, Shaurya, editor.
Preferred Shelf Number TK5105.5 .E96 2023
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119836667
Format: Electronic Resources
Availability Online Library~1

75th anniversary of the transistor

2026-04-15T16:01:58Z

Author Nathan, Arokia, 1957- editor. Saha, Samar K., editor. Todi, Ravi M., editor.
Preferred Shelf Number TK7871.9
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394202478
Format: Electronic Resources
Availability Online Library~1

Handbook of human-machine systems

2026-04-15T16:01:58Z

Author Fortino, Giancarlo, 1971- editor.
Preferred Shelf Number TA167 .H36 2023
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119863663
Format: Electronic Resources
Availability Online Library~1

AI-enabled 6G networks and applications

2026-04-15T16:01:58Z

Author Gupta, Deepak, Ph.D., editor. Ragab, Mahmoud, editor. Mansour, Romany Fouad, editor. Khamparia, Aditya, 1988- editor. Khanna, Ashish (Of Guru Gobind Singh Indraprastha University), editor.
Preferred Shelf Number TK5103.2 .A434 2023 EB
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119812722
Format: Electronic Resources
Availability Online Library~1

ARTIFICIAL INTELLIGENCE APPLICATIONS AND RECONFIGURABLE ARCHITECTURES

2026-04-15T16:01:58Z

Author Thakare, Anuradha, 1978- editor. Bhandari, Sheetal Umesh, editor.
Preferred Shelf Number TK7895 .G36
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119857891
Format: Electronic Resources
Availability Online Library~1

Computational intelligence in sustainable reliability engineering

2026-04-15T16:01:58Z

Author Malik, S. C., editor.
Preferred Shelf Number TA169 .C65 2023
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119865421
Format: Electronic Resources
Availability Online Library~1

Simultaneous mass transfer and chemical reactions in engineering science

2026-04-15T16:01:58Z

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

Architecture of Computing Systems 36th International Conference, ARCS 2023, Athens, Greece, June 13-15, 2023, Proceedings

2026-04-15T16:01:58Z

Author Goumas, Georgios. editor. Tomforde, Sven. editor. Brehm, Jürgen. editor. Wildermann, Stefan. editor. Pionteck, Thilo. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-42785-5
Format: Electronic Resources
Availability Online Library~1

Intelligent Human Computer Interaction 14th International Conference, IHCI 2022, Tashkent, Uzbekistan, October 20-22, 2022, Revised Selected Papers

2026-04-15T16:01:58Z

Author Zaynidinov, Hakimjon. editor. Singh, Madhusudan. editor. Tiwary, Uma Shanker. editor. Singh, Dhananjay. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-27199-1
Format: Electronic Resources
Availability Online Library~1

Distributed, Ambient and Pervasive Interactions 11th International Conference, DAPI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I

2026-04-15T16:01:58Z

Author Streitz, Norbert A. editor. Konomi, Shin'ichi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-34668-2
Format: Electronic Resources
Availability Online Library~1

SEAMLESS 3D NAVIGATION IN INDOOR AND OUTDOOR SPACES

2026-04-15T16:01:58Z

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

Unity in Embedded System Design and Robotics : A Step-by-Step Guide.

2026-04-15T16:01:58Z

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

VLSI circuits and embedded systems

2026-04-15T16:01:58Z

Author Babu, Hafiz Md. Hasan, 1966- author.
Preferred Shelf Number TK7874.75
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003269182 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Outstanding user interfaces with Shiny

2026-04-15T16:01:58Z

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

Bilgisayar destekli mühendislik

2026-04-15T16:01:58Z

Author Yıldız, Ahmet.
Preferred Shelf Number TJ1189 Y55 2022
Format: Books
Availability Beytepe Library~1

Practical ESD protection design

2026-04-15T16:01:58Z

Author Wang, Albert Z. H., 1962- author.
Preferred Shelf Number TK7874
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119850434
Format: Electronic Resources
Availability Online Library~1

Power system protection

2026-04-15T16:01:58Z

Author Anderson, Paul M., author. Henville, Charles, author. Rifaat, Rasheek, author. Johnson, Brian, author. Meliopoulos, Sakis, author.
Preferred Shelf Number TK1010
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119513100
Format: Electronic Resources
Availability Online Library~1

Intelligent systems for rehabilitation engineering

2026-04-15T16:01:58Z

Author Raut, Roshani, editor.
Preferred Shelf Number RM950
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119785651
Format: Electronic Resources
Availability Online Library~1

Medical imaging and health informatics

2026-04-15T16:01:58Z

Author Jaware, Tushar H., editor.
Preferred Shelf Number RC78.7 .D53 M43 2022
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119819165
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-04-15T16:01:58Z

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

Handbook of intelligent computing and optimization for sustainable development

2026-04-15T16:01:58Z

Author Manshahia, Mukhdeep Singh, editor.
Preferred Shelf Number Q335
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119792642
Format: Electronic Resources
Availability Online Library~1

Mobile communications systems development : a practical introduction to system understanding, implementation and deployment

2026-04-15T16:01:58Z

Author Taid, Rajib.
Preferred Shelf Number TK6570 .M6
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119778714
Format: Electronic Resources
Availability Online Library~1

Fuzzy intelligent systems : methodologies, techniques, and applications

2026-04-15T16:01:58Z

Author Chandrasekaran, E. Anandan, R. Suseendran, G. Balamurugan, S. (Shanmugam), 1985- Hachimi, Hanaa.
Preferred Shelf Number QA402
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119763437
Format: Electronic Resources
Availability Online Library~1

Handbook of human factors and ergonomics

2026-04-15T16:01:58Z

Author Salvendy, Gavriel, 1938- Karwowski, Waldemar, 1953-
Preferred Shelf Number TA166 .H36 2021 EB
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119636113
Format: Electronic Resources
Availability Online Library~1

Wireless blockchain : principles, technologies and applications

2026-04-15T16:01:58Z

Author Imran, Muhammad Ali, editor. Cao, Bin, editor. Zhang, Lei, editor. Peng, Mugen, editor.
Preferred Shelf Number QA76.9 .B56
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119790839
Format: Electronic Resources
Availability Online Library~1

Communication engineering principles

2026-04-15T16:01:58Z

Author Otung, Ifiok, author.
Preferred Shelf Number TK5103.7 .O88 2021
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119765448
Format: Electronic Resources
Availability Online Library~1

Wireless communication signals : a laboratory-based approach

2026-04-15T16:01:58Z

Author Arslan, Hüseyin, 1968- author.
Preferred Shelf Number TK5105 .A76 2021
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119764441
Format: Electronic Resources
Availability Online Library~1

Unmanned aerial vehicles for Internet of Things (IoT) : concepts, techniques, and applications

2026-04-15T16:01:58Z

Author Mohindru, Vandana, editor. Singh, Yashwant, editor. Bhatt, Ravindara, editor. Gupta, Anuj Kumar, editor.
Preferred Shelf Number TL589.4 .U55 2021
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119769170
Format: Electronic Resources
Availability Online Library~1

UX on the go : a flexible guide to user experience design

2026-04-15T16:01:58Z

Author Mara, Andrew (Associate Professor), author.
Preferred Shelf Number HF5415.335
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9780429277238 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Dependable computing : design and assessment

2026-04-15T16:01:58Z

Author Iyer, Ravishankar K., author. Kalbarczyk, Zbigniew T., author. Nakka, Nithin M., author.
Preferred Shelf Number QA76.9 .F38 I9 2020 EB
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119743453
Format: Electronic Resources
Availability Online Library~1

Computer aided design and manufacturing

2026-04-15T16:01:58Z

Author Bi, Zhuming, author. Wang, Xiaoqin (Writer on manufacturing), author.
Preferred Shelf Number TS155.6
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119667889
Format: Electronic Resources
Availability Online Library~1

Power system modeling, computation, and control

2026-04-15T16:01:58Z

Author Chow, J. H. (Joe H.), 1951- author. Sanchez-Gasca, Juan J., 1953- author. Institute of Electrical and Electronics Engineers, issuing body.
Preferred Shelf Number TK1001 .C475 2020
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119546924
Format: Electronic Resources
Availability Online Library~1

Process systems engineering for biofuels development

2026-04-15T16:01:58Z

Author Bonilla-Petriciolet, Adrian, editor. Rangaiah, Gade Pandu, editor.
Preferred Shelf Number TP339 .P753 2020
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119582694
Format: Electronic Resources
Availability Online Library~1

Designing Thriving Systems Marrying Technical Rationality and Appreciative Systems

2026-04-15T16:01:58Z

Author Waguespack, Leslie J. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-03925-7
Format: Electronic Resources
Availability Online Library~1

The Electrical Engineering Handbook - Six Volume Set

2026-04-15T16:01:58Z

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

Modelling optimization and control of biomedical systems

2026-04-15T16:01:58Z

Author Pistikopoulos, Efstratios N., editor. Naşcu, Ioana, editor. Velliou, Eirini G., editor.
Preferred Shelf Number T57.7 .M625 2018
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781118965580
Format: Electronic Resources
Availability Online Library~1

Traceable human experiment design research : theoretical model and practical guide

2026-04-15T16:01:58Z

Author Mandran, Nadine, author.
Preferred Shelf Number QA279
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119453635
Format: Electronic Resources
Availability Online Library~1

Assured cloud computing

2026-04-15T16:01:58Z

Author Campbell, Roy Harold, editor. Kamhoua, Charles A., editor. Kwiat, Kevin A., editor.
Preferred Shelf Number QA76.585 .A87 2018 EB
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119428497
Format: Electronic Resources
Availability Online Library~1

Designing user interfaces for an aging population : towards universal design

2026-04-15T16:01:58Z

Author Johnson, Jeff, 1941- author. Finn, Kate, author.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780128044674
Format: Electronic Resources
Availability Online Library~1

Mechatronic system control, logic, and data acquisition

2026-04-15T16:01:58Z

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

Fundamentals of computer vision

2026-04-15T16:01:58Z

Author Snyder, Wesley E., author. Qi, Hairong, 1970- author.
Preferred Shelf Number TA1632 .S69 2017
Electronic Access https://doi.org/10.1017/9781316882641
Format: Electronic Resources
Availability Online Library~1

FPGA-based implementation of signal processing systems

2026-04-15T16:01:58Z

Author Woods, Roger, 1963- author. McAllister, John, 1979- author. Lightbody, Gaye, author. Yi, Ying (Electrical engineer), author.
Preferred Shelf Number TK5102.5 .F647 2017 EB
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119079231
Format: Electronic Resources
Availability Online Library~1

Ethics in social networking and business 2 : the future and changing paradigms

2026-04-15T16:01:58Z

Author Massotte, Pierre, author.
Preferred Shelf Number HF5387
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119449911
Format: Electronic Resources
Availability Online Library~1

Next Generation Computer Animation Techniques Third International Workshop, AniNex 2017, Bournemouth, UK, June 22-23, 2017, Revised Selected Papers

2026-04-15T16:01:58Z

Author Chang, Jian. editor. Zhang, Jian Jun. editor. Magnenat Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960 Hu, Shi-Min. editor. Tong, Ruofeng. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-69487-0
Format: Electronic Resources
Availability Online Library~1

Green Symbiotic Cloud Communications

2026-04-15T16:01:58Z

Author Mustafa, H.D. author. Merchant, Shabbir N. author. Desai, Uday B. author. Baveja, Brij Mohan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-3512-8
Format: Electronic Resources
Availability Online Library~1

Adaptive and Robust Active Vibration Control Methodology and Tests

2026-04-15T16:01:58Z

Author Landau, Ioan Doré. author. Airimițoaie, Tudor-Bogdan. author. Castellanos-Silva, Abraham. author. Constantinescu, Aurelian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-41450-8
Format: Electronic Resources
Availability Online Library~1

9th International Conference on Robotic, Vision, Signal Processing and Power Applications Empowering Research and Innovation

2026-04-15T16:01:58Z

Author Ibrahim, Haidi. editor. Iqbal, Shahid. editor. Teoh, Soo Siang. editor. Mustaffa, Mohd Tafir. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-1721-6
Format: Electronic Resources
Availability Online Library~1

Computer Games 5th Workshop on Computer Games, CGW 2016, and 5th Workshop on General Intelligence in Game-Playing Agents, GIGA 2016, Held in Conjunction with the 25th International Conference on Artificial Intelligence, IJCAI 2016, New York, USA, July 9-10, 2016, Revised Selected Papers

2026-04-15T16:01:58Z

Author Cazenave, Tristan. editor. Winands, Mark H.M. editor. (orcid)0000-0002-0125-0824 Edelkamp, Stefan. editor. Schiffel, Stephan. editor. Thielscher, Michael. editor. (orcid)0000-0003-0885-2702
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-57969-6
Format: Electronic Resources
Availability Online Library~1

Multilayer Control of Networked Cyber-Physical Systems Application to Monitoring, Autonomous and Robot Systems

2026-04-15T16:01:58Z

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

Hardware Security and Trust Design and Deployment of Integrated Circuits in a Threatened Environment

2026-04-15T16:01:58Z

Author Sklavos, Nicolas. editor. Chaves, Ricardo. editor. Di Natale, Giorgio. editor. Regazzoni, Francesco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-44318-8
Format: Electronic Resources
Availability Online Library~1

Index Modulation for 5G Wireless Communications

2026-04-15T16:01:58Z

Author Wen, Miaowen. author. Cheng, Xiang. author. Yang, Liuqing. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-51355-3
Format: Electronic Resources
Availability Online Library~1

Design, User Experience, and Usability: Understanding Users and Contexts 6th International Conference, DUXU 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part III

2026-04-15T16:01:58Z

Author Marcus, Aaron. editor. Wang, Wentao. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-58640-3
Format: Electronic Resources
Availability Online Library~1

Advances in Ergonomics Modeling, Usability & Special Populations Proceedings of the AHFE 2016 International Conference on Ergonomics Modeling, Usability & Special Populations, July 27-31, 2016, Walt Disney World®, Florida, USA

2026-04-15T16:01:58Z

Author Soares, Marcelo. editor. (orcid)0000-0003-2942-5320 Falcão, Christianne. editor. Ahram, Tareq Z. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-41685-4
Format: Electronic Resources
Availability Online Library~1

Fractional-order Modeling and Control of Dynamic Systems

2026-04-15T16:01:58Z

Author Tepljakov, Aleksei. author. (orcid)0000-0002-7158-8484 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-52950-9
Format: Electronic Resources
Availability Online Library~1

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

2026-04-15T16:01:58Z

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

Digital Logic for Computing

2026-04-15T16:01:58Z

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

Design, User Experience, and Usability: Theory, Methodology, and Management 6th International Conference, DUXU 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part I

2026-04-15T16:01:58Z

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

Handbook of industrial polyethylene and technology : definitive guide to manufacturing, properties, processing, applications and markets

2026-04-15T16:01:58Z

Author Spalding, Mark A., editor. Chatterjee, Ananda M., 1946-2016, editor.
Preferred Shelf Number TP1180 .P65
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119159797
Format: Electronic Resources
Availability Online Library~1

Emerging areas in bioengineering

2026-04-15T16:01:58Z

Author Chang, Ho-nam, editor.
Preferred Shelf Number TA164
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9783527803293
Format: Electronic Resources
Availability Online Library~1

Handbook of machine and computer vision : the guide for developers and users

2026-04-15T16:01:58Z

Author Hornberg, Alexander, editor.
Preferred Shelf Number TA1634
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9783527413409
Format: Electronic Resources
Availability Online Library~1

Process systems and materials for CO₂ capture : modelling, design, control and integration

2026-04-15T16:01:58Z

Author Papadopoulos, Athanasios I., 1977- editor. Seferlis, Panagiotis, 1967- editor.
Preferred Shelf Number TD885.5 .C3
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119106418
Format: Electronic Resources
Availability Online Library~1

Real-time embedded systems

2026-04-15T16:01:58Z

Author Wang, Jiacun, 1963- author.
Preferred Shelf Number TK7895 .E42
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119420712
Format: Electronic Resources
Availability Online Library~1

Security-Aware Design for Cyber-Physical Systems A Platform-Based Approach

2026-04-15T16:01:58Z

Author Lin, Chung-Wei. author. Sangiovanni-Vincentelli, Alberto. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-51328-7
Format: Electronic Resources
Availability Online Library~1

Proceedings of the 13th International Scientific Conference Computer Aided Engineering

2026-04-15T16:01:58Z

Author Rusiński, Eugeniusz. editor. Pietrusiak, Damian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-50938-9
Format: Electronic Resources
Availability Online Library~1

Advances in Digital Forensics XIII 13th IFIP WG 11.9 International Conference, Orlando, FL, USA, January 30 - February 1, 2017, Revised Selected Papers

2026-04-15T16:01:58Z

Author Peterson, Gilbert. editor. Shenoi, Sujeet. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67208-3
Format: Electronic Resources
Availability Online Library~1

Green IT Engineering: Components, Networks and Systems Implementation

2026-04-15T16:01:58Z

Author Kharchenko, Vyacheslav. editor. Kondratenko, Yuriy. editor. Kacprzyk, Janusz. editor. (orcid)0000-0003-4187-5877 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-55595-9
Format: Electronic Resources
Availability Online Library~1

AETA 2016: Recent Advances in Electrical Engineering and Related Sciences Theory and Application

2026-04-15T16:01:58Z

Author Duy, Vo Hoang. editor. Dao, Tran Trong. editor. Kim, Sang Bong. editor. Tien, Nguyen Tan. editor. Zelinka, Ivan. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-50904-4
Format: Electronic Resources
Availability Online Library~1

Hard and Soft Computing for Artificial Intelligence, Multimedia and Security

2026-04-15T16:01:58Z

Author Kobayashi, Shin-ya. editor. Piegat, Andrzej. editor. Pejaś, Jerzy. editor. El Fray, Imed. editor. Kacprzyk, Janusz. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-48429-7
Format: Electronic Resources
Availability Online Library~1

Computer-Aided Architectural Design. Future Trajectories 17th International Conference, CAAD Futures 2017, Istanbul, Turkey, July 12-14, 2017, Selected Papers

2026-04-15T16:01:58Z

Author Çağdaş, Gülen. editor. Özkar, Mine. editor. Gül, Leman Figen. editor. Gürer, Ethem. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-5197-5
Format: Electronic Resources
Availability Online Library~1

Advances in Automation and Robotics Research in Latin America Proceedings of the 1st Latin American Congress on Automation and Robotics, Panama City, Panama 2017

2026-04-15T16:01:58Z

Author Chang, Ignacio. editor. Baca, José. editor. Moreno, Héctor A. editor. Carrera, Isela G. editor. Cardona, Manuel N. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-54377-2
Format: Electronic Resources
Availability Online Library~1

Designing the Digital Transformation 12th International Conference, DESRIST 2017, Karlsruhe, Germany, May 30 - June 1, 2017, Proceedings

2026-04-15T16:01:58Z

Author Maedche, Alexander. editor. vom Brocke, Jan. editor. Hevner, Alan. editor. (orcid)0000-0003-4953-3900 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-59144-5
Format: Electronic Resources
Availability Online Library~1

Mathematics for Computer Graphics

2026-04-15T16:01:58Z

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

Introduction to Logic Circuits & Logic Design with VHDL

2026-04-15T16:01:58Z

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

Researching Complex Information Infrastructures Design Characteristics of ICT Tools for Examining Modern Technology Usage

2026-04-15T16:01:58Z

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

Advances in The Human Side of Service Engineering Proceedings of the AHFE 2016 International Conference on The Human Side of Service Engineering, July 27-31, 2016, Walt Disney World®, Florida, USA

2026-04-15T16:01:58Z

Author Ahram, Tareq Z. editor. Karwowski, Waldemar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-41947-3
Format: Electronic Resources
Availability Online Library~1

Computer Vision for Driver Assistance Simultaneous Traffic and Driver Monitoring

2026-04-15T16:01:58Z

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

Guide to Modeling and Simulation of Systems of Systems

2026-04-15T16:01:58Z

Author P. Zeigler, Bernard. author. Sarjoughian, Hessam S. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-64134-8
Format: Electronic Resources
Availability Online Library~1

Advances in Human Aspects of Transportation Proceedings of the AHFE 2016 International Conference on Human Factors in Transportation, July 27-31, 2016, Walt Disney World®, Florida, USA

2026-04-15T16:01:58Z

Author Stanton, Neville A. editor. Landry, Steven. editor. Di Bucchianico, Giuseppe. editor. Vallicelli, Andrea. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-41682-3
Format: Electronic Resources
Availability Online Library~1

Advances in Unconventional Computing Volume 1: Theory

2026-04-15T16:01:58Z

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

HCI in Business, Government and Organizations. Interacting with Information Systems 4th International Conference, HCIBGO 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part I

2026-04-15T16:01:58Z

Author Nah, Fiona Fui-Hoon. editor. Tan, Chuan-Hoo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-58481-2
Format: Electronic Resources
Availability Online Library~1

Distributed, Ambient and Pervasive Interactions 5th International Conference, DAPI 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings

2026-04-15T16:01:58Z

Author Streitz, Norbert. editor. (orcid)0000-0002-0244-0945 Markopoulos, Panos. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-58697-7
Format: Electronic Resources
Availability Online Library~1

Human-Computer Interaction. Interaction Contexts 19th International Conference, HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part II

2026-04-15T16:01:58Z

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

Modeling Steel Deformation in the Semi-Solid State

2026-04-15T16:01:58Z

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

The Data Science Design Manual

2026-04-15T16:01:58Z

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

Advances in Unconventional Computing Volume 2: Prototypes, Models and Algorithms

2026-04-15T16:01:58Z

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

Graph-Based Modelling in Engineering

2026-04-15T16:01:58Z

Author Zawiślak, Stanisław. editor. Rysiński, Jacek. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-39020-8
Format: Electronic Resources
Availability Online Library~1

Mobile Payment Systems Secure Network Architectures and Protocols

2026-04-15T16:01:58Z

Author Téllez, Jesús. author. Zeadally, Sherali. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-23033-7
Format: Electronic Resources
Availability Online Library~1

Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

2026-04-15T16:01:58Z

Author Aceto, Luca. editor. Bacci, Giorgio. editor. Bacci, Giovanni. editor. Ingólfsdóttir, Anna. editor. Legay, Axel. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-63121-9
Format: Electronic Resources
Availability Online Library~1

Smart Cards, Tokens, Security and Applications

2026-04-15T16:01:58Z

Author Mayes, Keith. editor. Markantonakis, Konstantinos. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-50500-8
Format: Electronic Resources
Availability Online Library~1

Essence of Systems Analysis and Design A Workbook Approach

2026-04-15T16:01:58Z

Author Sajja, Priti Srinivas. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-5128-9
Format: Electronic Resources
Availability Online Library~1

Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures

2026-04-15T16:01:58Z

Author Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-56841-6
Format: Electronic Resources
Availability Online Library~1

Research Challenges in Modeling and Simulation for Engineering Complex Systems

2026-04-15T16:01:58Z

Author Fujimoto, Richard. editor. Bock, Conrad. editor. Chen, Wei. editor. Page, Ernest. editor. Panchal, Jitesh H. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-58544-4
Format: Electronic Resources
Availability Online Library~1

Strategic Engineering for Cloud Computing and Big Data Analytics

2026-04-15T16:01:58Z

Author Hosseinian-Far, Amin. editor. Ramachandran, Muthu. editor. Sarwar, Dilshad. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-52491-7
Format: Electronic Resources
Availability Online Library~1

Intelligent Decision Support Systems for Sustainable Computing Paradigms and Applications

2026-04-15T16:01:58Z

Author Sangaiah, Arun Kumar. editor. Abraham, Ajith. editor. (orcid)0000-0002-0169-6738 Siarry, Patrick. editor. Sheng, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-53153-3
Format: Electronic Resources
Availability Online Library~1

Network Traffic Anomaly Detection and Prevention Concepts, Techniques, and Tools

2026-04-15T16:01:58Z

Author Bhuyan, Monowar H. author. Bhattacharyya, Dhruba K. author. Kalita, Jugal K. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-65188-0
Format: Electronic Resources
Availability Online Library~1

Transactions on Edutainment XIII

2026-04-15T16:01:58Z

Author Pan, Zhigeng. editor. (orcid)0000-0003-0717-5850 Cheok, Adrian David. editor. Müller, Wolfgang. editor. Zhang, Mingmin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-54395-5
Format: Electronic Resources
Availability Online Library~1

The Handbook of Formal Methods in Human-Computer Interaction

2026-04-15T16:01:58Z

Author Weyers, Benjamin. editor. (orcid)0000-0003-4785-708X Bowen, Judy. editor. Dix, Alan. editor. Palanque, Philippe. editor. (orcid)0000-0002-5381-971X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-51838-1
Format: Electronic Resources
Availability Online Library~1

Collaboration Technologies and Social Computing 9th International Conference, CollabTech 2017, Saskatoon, SK, Canada, August 8-10, 2017, Proceedings

2026-04-15T16:01:58Z

Author Yoshino, Takashi. editor. Yuizono, Takaya. editor. Zurita, Gustavo. editor. (orcid)0000-0003-0757-1247 Vassileva, Julita. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-63088-5
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-04-15T16:01:58Z

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

Real-life Applications with Membrane Computing

2026-04-15T16:01:58Z

Author Zhang, Gexiang. author. Pérez-Jiménez, Mario J. author. Gheorghe, Marian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-55989-6
Format: Electronic Resources
Availability Online Library~1

Introduction to Logic Circuits & Logic Design with Verilog

2026-04-15T16:01:58Z

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

Normally-Off Computing

2026-04-15T16:01:58Z

Author Nakada, Takashi. editor. Nakamura, Hiroshi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-4-431-56505-5
Format: Electronic Resources
Availability Online Library~1

Testbeds and Research Infrastructures for the Development of Networks and Communities 11th International Conference, TRIDENTCOM 2016, Hangzhou, China, June 14-15, 2016, Revised Selected Papers

2026-04-15T16:01:58Z

Author Guo, Song. editor. Wei, Guiyi. editor. Xiang, Yang. editor. (orcid)0000-0001-5252-0831 Lin, Xiaodong. editor. Lorenz, Pascal. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-49580-4
Format: Electronic Resources
Availability Online Library~1