Search Results for Software Design.

Software design methodology

2025-12-08T18:06:02Z

Author Zhu, Hong, 1961-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780750660754
Format: Electronic Resources
Availability Online Library~1

Readings in hardware/software co-design

2025-12-08T18:06:02Z

Author De Micheli, Giovanni. Ernst, Rolf. Wolf, Wayne.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9781558607026
Format: Electronic Resources
Availability Online Library~1

Introduction to Software Design with Java

2025-12-08T18:06:02Z

Author Robillard, Martin P. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-24094-3
Format: Electronic Resources
Availability Online Library~1

Software defined networking : design and deployment

2025-12-08T18:06:02Z

Author Morreale, Patricia, author. Anderson, James, author.
Preferred Shelf Number TK5105.5833 .M67 2015
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Software essentials : design and construction

2025-12-08T18:06:02Z

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

Software Engineering Techniques: Design for Quality

2025-12-08T18:06:02Z

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

Software design for engineers and scientists

2025-12-08T18:06:02Z

Author Robinson, John A. (John Allen), 1958-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780750660808
Format: Electronic Resources
Availability Online Library~1

Software architecture design patterns in Java

2025-12-08T18:06:02Z

Author Kuchana, Partha., author.
Preferred Shelf Number QA76.73 .J38 K83 2004
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Introduction to real-time software design

2025-12-08T18:06:02Z

Author Allworth, S. T. Zobel, R. N., ort. yaz.
Preferred Shelf Number QA 76.54 A44 1987
Format: Books
Availability Beytepe Library~1

Software engineering : design, reliability and management

2025-12-08T18:06:02Z

Author Shooman, Martin L.
Preferred Shelf Number QA 76.9.S88 S56 1983
Format: Books
Availability Beytepe Library~1

Reliable software through composite design

2025-12-08T18:06:02Z

Author Myers, Glenford J. 1946-
Preferred Shelf Number QA 76.6 M9 1975
Format: Books
Availability Beytepe Library~1

Exploring security in software architecture and design

2025-12-08T18:06:02Z

Author Felderer, Michael, editor. Scandariato, Riccardo, editor. IGI Global, publisher.
Preferred Shelf Number ONLINE
Electronic Access Chapter PDFs via platform: http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-6313-6
Format: Electronic Resources
Availability Online Library~1

Java software solutions : foundations of program design

2025-12-08T18:06:02Z

Author Lewis, John. Loftus, William.
Preferred Shelf Number QA76.73.J38 L49 2015
Format: Books
Availability Beytepe Library~2

Java software solutions : foundations of program design

2025-12-08T18:06:02Z

Author Lewis, John. Loftus, William. Abirami, S.
Preferred Shelf Number QA76.73.J38 L49 2012
Format: Books
Availability Beytepe Library~2

Scientific Software Design The Object-Oriented Way

2025-12-08T18:06:02Z

Author Rouson, Damian. Xia, Jim. Xu, Xiaofeng.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Java software solutions : foundations of program design

2025-12-08T18:06:02Z

Author Lewis, John. Loftus, William, ort. yaz.
Preferred Shelf Number QA76.73.J38 .L49 2007
Format: Books
Availability Beytepe Library~2

Software specification and design : an engineering approach

2025-12-08T18:06:02Z

Author Munson, John C., author.
Preferred Shelf Number QA76.76 .D47 M853 2006
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Software Engineering Application in Systems Design Proceedings of 6th Computational Methods in Systems and Software 2022, Volume 1

2025-12-08T18:06:02Z

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

Advanced Digital System Design using SoC FPGAs An Integrated Hardware/Software Approach

2025-12-08T18:06:02Z

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

Technology Research Explained Design of Software, Architectures, Methods, and Technology in General

2025-12-08T18:06:02Z

Author Stølen, Ketil. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-25817-6
Format: Electronic Resources
Availability Online Library~1

Introduction to Software Architecture Innovative Design using Clean Architecture and Model-Driven Engineering

2025-12-08T18:06:02Z

Author Lano, Kevin. author. Yassipour Tehrani, Sobhan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-44143-1
Format: Electronic Resources
Availability Online Library~1

An Introduction to Software Design Concepts, Principles, Methodologies, and Techniques

2025-12-08T18:06:02Z

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

Business Modeling and Software Design 13th International Symposium, BMSD 2023, Utrecht, The Netherlands, July 3-5, 2023, Proceedings

2025-12-08T18:06:02Z

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

Business Modeling and Software Design 9th International Symposium, BMSD 2019, Lisbon, Portugal, July 1–3, 2019, Proceedings

2025-12-08T18:06:02Z

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

Business Modeling and Software Design 8th International Symposium, BMSD 2018, Vienna, Austria, July 2-4, 2018, Proceedings

2025-12-08T18:06:02Z

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

Business Modeling and Software Design 7th International Symposium, BMSD 2017, Barcelona, Spain, July 3–5, 2017, Revised Selected Papers

2025-12-08T18:06:02Z

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

Refactoring for software design smells managing technical debt

2025-12-08T18:06:02Z

Author Suryanarayana, Girish, author. Samarthyam, Ganesh, author. Sharma, Tushar, author.
Preferred Shelf Number ONLINE(355384.1)
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780128013977
Format: Electronic Resources
Availability Online Library~1

Patterns of HCI Design and HCI Design of Patterns Bridging HCI Design and Model-Driven Software Engineering

2025-12-08T18:06:02Z

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

Hardware/Software Co-Design and Optimization for Cyberphysical Integration in Digital Microfluidic Biochips

2025-12-08T18:06:02Z

Author Luo, Yan. author. Chakrabarty, Krishnendu. author. Ho, Tsung-Yi. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-09006-1
Format: Electronic Resources
Availability Online Library~1

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

2025-12-08T18:06:02Z

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

Business Modeling and Software Design 4th International Symposium, BMSD 2014, Luxembourg, Luxembourg, June 24-26, 2014, Revised Selected Papers

2025-12-08T18:06:02Z

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

Business Modeling and Software Design Third International Symposium, BMSD 2013, Noordwijkerhout, The Netherlands, July 8-10, 2013, Revised Selected Papers

2025-12-08T18:06:02Z

Author Shishkov, Boris. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-06671-4
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

2025-12-08T18:06:02Z

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 organization and design : the hardware/software interface.

2025-12-08T18:06:02Z

Author Patterson, David A., author. Hennessy, John L., author.
Preferred Shelf Number QA76.9.C643 P37 2014
Format: Books
Availability Beytepe Library~1

Design Science Methodology for Information Systems and Software Engineering

2025-12-08T18:06:02Z

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

Software designers in action : a human-centric look at design work

2025-12-08T18:06:02Z

Author Petre, Marian, 1959- editor. of compilation. Hoek, Andre van der, 1971- editor. of compilation.
Preferred Shelf Number QA76.76 .D47 S6185 2014
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Embedded and networking systems : design, software, and implementation

2025-12-08T18:06:02Z

Author Khan, Gul N., editor. Iniewski, Krzysztof, 1960- editor.
Preferred Shelf Number TK7895 .E42 E535 2014
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

2025-12-08T18:06:02Z

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

Business Modeling and Software Design Second International Symposium, BMSD 2012, Geneva, Switzerland, July 4-6, 2012, Revised Selected Papers

2025-12-08T18:06:02Z

Author Shishkov, Boris. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334438.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37478-4
Format: Electronic Resources
Availability Online Library~1

Multicore Systems On-Chip: Practical Software/Hardware Design 2nd Edition

2025-12-08T18:06:02Z

Author Ben Abdallah, Abderazek. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(336495.1)
Electronic Access http://dx.doi.org/10.2991/978-94-91216-92-3
Format: Electronic Resources
Availability Online Library~1

Business Modeling and Software Design First International Symposium, BMSD 2011, Sofia, Bulgaria, July 27-28, 2011, Revised Selected Papers

2025-12-08T18:06:02Z

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

Computer- Aided Design in Power Engineering Application of Software Tools

2025-12-08T18:06:02Z

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

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

2025-12-08T18:06:02Z

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

Software Radio Sampling Rate Selection, Design and Synchronization

2025-12-08T18:06:02Z

Author Venosa, Elettra. author. harris, fredric j. author. Palmieri, Francesco A. N. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-0113-1
Format: Electronic Resources
Availability Online Library~1

Hardware/Software Co-design for Heterogeneous Multi-core Platforms The hArtes Toolchain

2025-12-08T18:06:02Z

Author Bertels, Koen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-1406-9
Format: Electronic Resources
Availability Online Library~1

Enterprise software architecture and design entities, services, and resources

2025-12-08T18:06:02Z

Author Duggan, Dominic.
Preferred Shelf Number ONLINE
Electronic Access John Wiley http://dx.doi.org/10.1002/9781118180518 http://site.ebrary.com/lib/alltitles/Doc?id=10529323
Format: Electronic Resources
Availability Online Library~1

SynDEVS Co-Design Flow A Hardware / Software Co-Design Flow Based on the Discrete Event System Specification Model of Computation

2025-12-08T18:06:02Z

Author Molter, H. Gregor. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-658-00397-5
Format: Electronic Resources
Availability Online Library~1

Digitally-Assisted Analog and RF CMOS Circuit Design for Software-Defined Radio

2025-12-08T18:06:02Z

Author Okada, Kenichi. editor. Kousai, Shouhei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-8514-9
Format: Electronic Resources
Availability Online Library~1

New Frontiers in Information and Software as Services Service and Application Design Challenges in the Cloud

2025-12-08T18:06:02Z

Author Agrawal, Divyakant. editor. Candan, K. Selçuk. editor. Li, Wen-Syan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19294-4
Format: Electronic Resources
Availability Online Library~1

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

2025-12-08T18:06:02Z

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

Design of multithreaded software the entity-life modeling approach

2025-12-08T18:06:02Z

Author Sandén, Bo. Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6381797
Format: Electronic Resources
Availability Online Library~1

Design patterns for embedded systems in C an embedded software engineering toolkit

2025-12-08T18:06:02Z

Author Douglass, Bruce Powel.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9781856177078
Format: Electronic Resources
Availability Online Library~1

The design and implementation of multimedia software with examples in Java

2025-12-08T18:06:02Z

Author Bernstein, David, 1960 June 9-
Preferred Shelf Number QA76.76.I59 B47 2011
Format: Books
Availability Beytepe Library~1

Computer Science and Educational Software Design A Resource for Multidisciplinary Work in Technology Enhanced Learning

2025-12-08T18:06:02Z

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

Veri Toplama Sistemleri İçin Farklı Algılayıcı Tiplerini Destekleyen Donanım/Yazılım Kütüphanesi Tasarımı ve Uygulaması= A Hardware/Software Library Design and Application Supporting Different Sensor Types to be Used in Data Acquisition

2025-12-08T18:06:02Z

Author Demir, Salih.
Preferred Shelf Number TEZ 10183 .D46 2011
Format: Books
Availability Beytepe Library~1

Multicore Systems On-Chip: Practical Software/Hardware Design

2025-12-08T18:06:02Z

Author Abdallah, Abderazek Ben. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.2991/978-94-91216-33-6
Format: Electronic Resources
Availability Online Library~1

Embedded Software Design and Programming of Multiprocessor System-on-Chip Simulink and System C Case Studies

2025-12-08T18:06:02Z

Author Popovici, Katalin. author. Rousseau, Frédéric. author. Jerraya, Ahmed A. author. Wolf, Marilyn. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-5567-8
Format: Electronic Resources
Availability Online Library~1

A Process Algebraic Approach to Software Architecture Design

2025-12-08T18:06:02Z

Author Aldini, Alessandro. author. Bernardo, Marco. author. Corradini, Flavio. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84800-223-4
Format: Electronic Resources
Availability Online Library~1

Arithmetic Optimization Techniques for Hardware and Software Design

2025-12-08T18:06:02Z

Author Kastner, Ryan. Hosangadi, Anup. Fallah, Farzan.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
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

2025-12-08T18:06:02Z

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

Üç boyutlu bilgisayar grafiklerinde yazılım tasarım örüntüleri ve uygulamaları = Applying software design patterns in 3D computer graphics

2025-12-08T18:06:02Z

Author Selem, Atilla.
Preferred Shelf Number TEZ 9338 .S45 2010
Format: Books
Availability Beytepe 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

2025-12-08T18:06:02Z

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

Hardware Software Co-Design of a Multimedia SOC Platform

2025-12-08T18:06:02Z

Author Chen, Sao-Jie. author. Lin, Guang-Huei. author. Hsiung, Pao-Ann. author. Hu, Yu-Hen. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-9623-5
Format: Electronic Resources
Availability Online Library~1

Beyindeki beyaz cevher lezyonlarının otomatik belirlenmesi için bir yazılımın tasarım ve gerçekleştirimi = Design and implementation of a software for automatic detection of white matter lesions in brain

2025-12-08T18:06:02Z

Author Keçeli, Ali Seydi.
Preferred Shelf Number TEZ/8996 .K43 2009
Format: Books
Availability Beytepe Library~1

Computer organization and design : the hardware/software interface

2025-12-08T18:06:02Z

Author Hennessy, John L. Patterson, David A., ort. yaz.
Preferred Shelf Number QA76.9.C643 H46 2009
Format: Books
Availability Beytepe Library~2

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

2025-12-08T18:06:02Z

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

Entwicklung IT-basierter Dienstleistungen Co-Design von Software und Services mit ServCASE

2025-12-08T18:06:02Z

Author Fähnrich, Klaus-Peter. editor. Husen, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-7908-1944-1
Format: Electronic Resources
Availability Online Library~1

Farbe im Digitalen Publizieren Konzepte der digitalen Farbwiedergabe für Office, Design und Software

2025-12-08T18:06:02Z

Author Simon, Klaus. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-37329-2
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

2025-12-08T18:06:02Z

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

Software VNA and microwave network design and characterisation

2025-12-08T18:06:02Z

Author Wu, Zhipeng.
Preferred Shelf Number ONLINE
Electronic Access Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0741/2007298044-b.html John Wiley http://dx.doi.org/10.1002/9780470513217
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

2025-12-08T18:06:02Z

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

Object-Oriented Metrics in Practice Using Software Metrics to Characterize, Evaluate, and Improve the Design of Object-Oriented Systems

2025-12-08T18:06:02Z

Author Lanza, Michele. author. Marinescu, Radu. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-39538-5
Format: Electronic Resources
Availability Online Library~1

Modern industrial automation software design principles and real-world applications

2025-12-08T18:06:02Z

Author Wang, Lingfen. Tan, Kay Chen.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5201934
Format: Electronic Resources
Availability Online Library~1

Software Engineering 3 Domains, Requirements, and Software Design

2025-12-08T18:06:02Z

Author Bjøner, Dines. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-33653-2
Format: Electronic Resources
Availability Online Library~1

Design of Adaptive Finite Element Software The Finite Element Toolbox ALBERTA

2025-12-08T18:06:02Z

Author Barth, Timothy J. editor. Griebel, Michael. editor. Keyes, David E. editor. Nieminen, Risto M. editor. Roose, Dirk. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138692
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

2025-12-08T18:06:02Z

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

Co-verification of hardware and software for ARM SoC design

2025-12-08T18:06:02Z

Author Andrews, Jason R.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780750677301
Format: Electronic Resources
Availability Online Library~1

Yazılım geliştirmede, kalite yönetim sistemi yazılımı tasarımı ve gerçekleştirimi = Design and implementation of a quality management software for software development

2025-12-08T18:06:02Z

Author Erdem, Atilla.
Preferred Shelf Number TEZ/7206 E661 2005
Format: Books
Availability Beytepe Library~1

Flexible Software Design : Systems Development for Changing Requirements.

2025-12-08T18:06:02Z

Author Johnson, Bruce (Bruce M.), author. Woolfolk, Walter W., author. Miller, Robert, author. Johnson, Cindy, author.
Preferred Shelf Number QA76.9 .S88
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9780429117053 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Web application design handbook best practices for web-based software

2025-12-08T18:06:02Z

Author Fowler, Susan L., 1953- Stanwick, Victor R., 1958-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9781558607521
Format: Electronic Resources
Availability Online Library~1

Interaction design for complex problem solving developing useful and usable software

2025-12-08T18:06:02Z

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

Integration-Ready Architecture and Design Software Engineering with XML, Java, .NET, Wireless, Speech, and Knowledge Technologies

2025-12-08T18:06:02Z

Author Zhuk, Jeff.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Dedicated digital processors methods in hardware/software system design

2025-12-08T18:06:02Z

Author Mayer-Lindenberg, F.
Preferred Shelf Number ONLINE
Electronic Access Available by subscription from Safari Books Online John Wiley http://dx.doi.org/10.1002/047009284X Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=175043 http://proquest.safaribooksonline.com/9780470092828 Volltext http://proquest.tech.safaribooksonline.de/9780470092828
Format: Electronic Resources
Availability Online Library~1

A practitioner's guide to software test design

2025-12-08T18:06:02Z

Author Copeland, Lee.
Preferred Shelf Number QA76.76.T48 C66 2004
Format: Books
Availability Beytepe Library~1

Introduction to IP and ATM design and performance with applications analysis software

2025-12-08T18:06:02Z

Author Pitts, J. M. (Jonathan M.) Schormans, J. A. (John A.) Pitts, J. M. (Jonathan M.). Introduction to ATM design and performance. John Wiley & Sons.
Preferred Shelf Number ONLINE
Electronic Access John Wiley http://dx.doi.org/10.1002/0470841664
Format: Electronic Resources
Availability Online Library~1

Design patterns : elements of reusable object-oriented software

2025-12-08T18:06:02Z

Author Gamma, Erich.
Preferred Shelf Number QA76.64 D47 1995
Format: Books
Availability Beytepe Library~2

Computer organization and design : the hardware/software interface

2025-12-08T18:06:02Z

Author Hennessy, John L. Patterson, David A., ort. yaz.
Preferred Shelf Number QA76.9.C643 H46 1994
Format: Books
Availability Beytepe Library~1

ANSI FORTRAN 77 : a introduction to structured software design

2025-12-08T18:06:02Z

Author Law, Victor J.
Preferred Shelf Number QA 76.73.F25 L37 1983
Format: Books
Availability Beytepe Library~1

ANSI FORTRAN 77 : a introduction to structured software design : workbook

2025-12-08T18:06:02Z

Author Law, Victor J. Hassell, J., ort. yaz.
Preferred Shelf Number QA 76.73.F25 L37 1983 W
Format: Books
Availability Beytepe Library~1

Information security management handbook

2025-12-08T18:06:02Z

Author Tipton, Harold F. Nozaki, Micki Krause.
Preferred Shelf Number QA76.9 .A25 I54165 2007
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

New Trends in Database and Information Systems ADBIS 2023 Short Papers, Doctoral Consortium and Workshops: AIDMA, DOING, K-Gals, MADEISD, PeRS, Barcelona, Spain, September 4-7, 2023, Proceedings

2025-12-08T18:06:02Z

Author Abelló, Alberto. editor. Vassiliadis, Panos. editor. Romero, Oscar. editor. Wrembel, Robert. editor. Bugiotti, Francesca. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-42941-5
Format: Electronic Resources
Availability Online Library~1

Grand Research Challenges in Games and Entertainment Computing in Brazil - GranDGamesBR 2020-2030 First Forum, GranDGamesBR 2020, Recife, Brazil, November 7-10, 2020, and Second Forum, GranDGamesBR 2021, Gramado, Brazil, October 18-21, 2021, Revised Selected Papers

2025-12-08T18:06:02Z

Author Santos, Rodrigo Pereira dos. editor. Hounsell, Marcelo da Silva. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-27639-2
Format: Electronic Resources
Availability Online Library~1

Computer Aided Engineering of Batteries

2025-12-08T18:06:02Z

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

Advanced Hybrid Information Processing 6th EAI International Conference, ADHIP 2022, Changsha, China, September 29-30, 2022, Proceedings, Part II

2025-12-08T18:06:02Z

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

Subject-Oriented Business Process Management. Models for Designing Digital Transformations 14th International Conference, S-BPM ONE 2023, Rostock, Germany, May 31 - June 1, 2023, Proceedings

2025-12-08T18:06:02Z

Author Elstermann, Matthes. editor. Dittmar, Anke. editor. Lederer, Matthias. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-40213-5
Format: Electronic Resources
Availability Online Library~1

Big Data and Security 4th International Conference, ICBDS 2022, Xiamen, China, December 8-12, 2022, Proceedings

2025-12-08T18:06:02Z

Author Tian, Yuan. editor. (orcid) Ma, Tinghuai. editor. (orcid) Jiang, Qingshan. editor. Liu, Qi. editor. Khan, Muhammad Khurram. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-3300-6
Format: Electronic Resources
Availability Online Library~1

Digital Health Entrepreneurship

2025-12-08T18:06:02Z

Author Meyers, Arlen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-33902-8
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

2025-12-08T18:06:02Z

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

Predictive Analytics in System Reliability

2025-12-08T18:06:02Z

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

The 2021 International Conference on Smart Technologies and Systems for Internet of Things STSIoT2021

2025-12-08T18:06:02Z

Author Ahmad, Ishfaq. editor. Ye, Jun. editor. Liu, Weidong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-3632-6
Format: Electronic Resources
Availability Online Library~1

Recent Developments in High-Speed Transport Selected Contributions from International Conference on High-Speed Transport Development 2022

2025-12-08T18:06:02Z

Author Strelets, Dmitry Yu. editor. Korsun, Oleg N. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-9010-6
Format: Electronic Resources
Availability Online Library~1

Medical Devices and In Vitro Diagnostics Requirements in Europe

2025-12-08T18:06:02Z

Author Baumgartner, Christian. editor. Harer, Johann. editor. Schröttner, Jörg. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-22091-3
Format: Electronic Resources
Availability Online Library~1

Innovations in Applied Informatics and Media Engineering

2025-12-08T18:06:02Z

Author Matsuo, Tokuro. editor. Fujimoto, Takayuki. editor. Lumban Gaol, Ford. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-30769-0
Format: Electronic Resources
Availability Online Library~1

Proceedings of Third International Conference on Sustainable Expert Systems ICSES 2022

2025-12-08T18:06:02Z

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

Proceedings of Eighth International Congress on Information and Communication Technology ICICT 2023, London, Volume 2

2025-12-08T18:06:02Z

Author Yang, Xin-She. editor. Sherratt, R. Simon. editor. Dey, Nilanjan. editor. Joshi, Amit. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-3091-3
Format: Electronic Resources
Availability Online Library~1

Materials, Design and Manufacturing for Sustainable Environment Select Proceedings of ICMDMSE 2022

2025-12-08T18:06:02Z

Author Natarajan, Elango. editor. Vinodh, S. editor. Rajkumar, V. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-3053-9
Format: Electronic Resources
Availability Online Library~1

Concept Building in Fisheries Data Analysis

2025-12-08T18:06:02Z

Author Das, Basant Kumar. author. Jha, Dharm Nath. author. Sahu, Sanjeev Kumar. author. Yadav, Anil Kumar. author. Raman, Rohan Kumar. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-4411-6
Format: Electronic Resources
Availability Online Library~1

Novikov/Conformal Gearing Scientific Theory and Practice

2025-12-08T18:06:02Z

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

Modern Artificial Intelligence and Data Science Tools, Techniques and Systems

2025-12-08T18:06:02Z

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

Embracing Machines and Humanity Through Cognitive Computing and IoT

2025-12-08T18:06:02Z

Author Usman, Mohammed. editor. Gao, Xiao-Zhi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-4522-9
Format: Electronic Resources
Availability Online Library~1

Trends in Educational Activity in the Field of Mechanism and Machine Theory (2018-2022) Selected Papers from ISEMMS 2022

2025-12-08T18:06:02Z

Author García Prada, Juan Carlos. editor. Castejon, Cristina. editor. Pedrero Moya, Jose Ignacio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-25730-8
Format: Electronic Resources
Availability Online Library~1

Autonomous driving algorithms and Its IC Design

2025-12-08T18:06:02Z

Author Ren, Jianfeng. author. Xia, Dong. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-2897-2
Format: Electronic Resources
Availability Online Library~1

Computer Assisted Music and Dramatics Possibilities and Challenges

2025-12-08T18:06:02Z

Author Salgaonkar, Ambuja. editor. Velankar, Makarand. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-0887-5
Format: Electronic Resources
Availability Online Library~1

Platform Based Design and Immersive Technologies for Manufacturing and Assembly in Offsite Construction Applying Extended Reality and Game Applications to PDfMA

2025-12-08T18:06:02Z

Author Potseluyko, Lilia. author. Pour Rahimian, Farzad. author. Dawood, Nashwan. author. (orcid)0000-0002-4873-7576 Elghaish, Faris. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-32993-7
Format: Electronic Resources
Availability Online Library~1

Proceedings of 2nd International Conference on Artificial Intelligence, Robotics, and Communication ICAIRC 2022

2025-12-08T18:06:02Z

Author Yadav, Sanjay. editor. Kumar, Harish. editor. Kankar, Pavan Kumar. editor. Dai, Wanyang. editor. Huang, Fenghua. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-4554-2
Format: Electronic Resources
Availability Online Library~1

Advances in Automation IV Proceedings of the International Russian Automation Conference, RusAutoCon2022, September 4-10, 2022, Sochi, Russia

2025-12-08T18:06:02Z

Author Radionov, Andrey A. editor. Gasiyarov, Vadim R. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-22311-2
Format: Electronic Resources
Availability Online Library~1

International Conference on Advanced Intelligent Systems for Sustainable Development Volume 1 - Advanced Intelligent Systems on Artificial Intelligence, Software, and Data Science

2025-12-08T18:06:02Z

Author Kacprzyk, Janusz. editor. Ezziyyani, Mostafa. editor. Balas, Valentina Emilia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-26384-2
Format: Electronic Resources
Availability Online Library~1

Proceedings of 7th ASRES International Conference on Intelligent Technologies ICIT 2022, Jakarta, Indonesia

2025-12-08T18:06:02Z

Author Arya, Karm Veer. editor. Tripathi, Vipin Kumar. editor. Rodriguez, Ciro. editor. Yusuf, Eddy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-1912-3
Format: Electronic Resources
Availability Online Library~1

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

2025-12-08T18:06:02Z

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

Emerging Trends in Expert Applications and Security Proceedings of 2nd ICETEAS 2023, Volume 1

2025-12-08T18:06:02Z

Author Rathore, Vijay Singh. editor. Tavares, João Manuel R. S. editor. Piuri, Vincenzo. editor. Surendiran, B. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-1909-3
Format: Electronic Resources
Availability Online Library~1

Production Processes and Product Evolution in the Age of Disruption Proceedings of the 9th Changeable, Agile, Reconfigurable and Virtual Production Conference (CARV2023) and the 11th World Mass Customization & Personalization Conference (MCPC2023), Bologna, Italy, June 2023

2025-12-08T18:06:02Z

Author Galizia, Francesco Gabriele. editor. Bortolini, Marco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-34821-1
Format: Electronic Resources
Availability Online Library~1

Proceedings of ICACTCE'23 - The International Conference on Advances in Communication Technology and Computer Engineering New Artificial Intelligence and the Internet of Things Based Perspective and Solutions

2025-12-08T18:06:02Z

Author Iwendi, Celestine. editor. Boulouard, Zakaria. editor. (orcid)0000-0002-4891-3760 Kryvinska, Natalia. editor. (orcid)0000-0003-3678-9229 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-37164-6
Format: Electronic Resources
Availability Online Library~1

Process Control for Pumps and Compressors

2025-12-08T18:06:02Z

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

Springer Handbook of Augmented Reality

2025-12-08T18:06:02Z

Author Nee, Andrew Yeh Ching. editor. Ong, Soh Khim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-67822-7
Format: Electronic Resources
Availability Online Library~1

Application of Big Data, Blockchain, and Internet of Things for Education Informatization Second EAI International Conference, BigIoT-EDU 2022, Virtual Event, July 29-31, 2022, Proceedings, Part I

2025-12-08T18:06:02Z

Author Jan, Mian Ahmad. editor. Khan, Fazlullah. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-23950-2
Format: Electronic Resources
Availability Online Library~1

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

2025-12-08T18:06:02Z

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

Handbook of Re-Engineering Software Intensive Systems into Software Product Lines

2025-12-08T18:06:02Z

Author Lopez-Herrejon, Roberto E. editor. Martinez, Jabier. editor. Guez Assunção, Wesley Klewerton. editor. Ziadi, Tewfik. editor. Acher, Mathieu. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-11686-5
Format: Electronic Resources
Availability Online Library~1

Application of Big Data, Blockchain, and Internet of Things for Education Informatization Second EAI International Conference, BigIoT-EDU 2022, Virtual Event, July 29-31, 2022, Proceedings, Part II

2025-12-08T18:06:02Z

Author Jan, Mian Ahmad. editor. Khan, Fazlullah. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-23947-2
Format: Electronic Resources
Availability Online Library~1

Advances in Cognitive Science and Communications Selected Articles from the 5th International Conference on Communications and Cyber-Physical Engineering (ICCCE 2022), Hyderabad, India

2025-12-08T18:06:02Z

Author Kumar, Amit. editor. Mozar, Stefan. editor. Haase, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-8086-2
Format: Electronic Resources
Availability Online Library~1

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

2025-12-08T18:06:02Z

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

Smart Technologies, Systems and Applications 3rd International Conference, SmartTech-IC 2022, Cuenca, Ecuador, November 16-18, 2022, Revised Selected Papers

2025-12-08T18:06:02Z

Author Narváez, Fabián R. editor. Urgilés, Fernando. editor. Bastos-Filho, Teodiano Freire. editor. Salgado-Guerrero, Juan Pablo. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-32213-6
Format: Electronic Resources
Availability Online Library~1

Paradigms of Smart and Intelligent Communication, 5G and Beyond

2025-12-08T18:06:02Z

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

Enterprise, Business-Process and Information Systems Modeling 24th International Conference, BPMDS 2023, and 28th International Conference, EMMSAD 2023, Zaragoza, Spain, June 12-13, 2023, Proceedings

2025-12-08T18:06:02Z

Author van der Aa, Han. editor. Bork, Dominik. editor. (orcid) Proper, Henderik A. editor. Schmidt, Rainer. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-34241-7
Format: Electronic Resources
Availability Online Library~1

Large-Scale Agile Frameworks Agile Frameworks, Agile Infrastructure and Pragmatic Solutions for Digital Transformation

2025-12-08T18:06:02Z

Author Block, Sascha. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-67782-7
Format: Electronic Resources
Availability Online Library~1

E-Business and Telecommunications 18th International Conference, ICETE 2021, Virtual Event, July 6-9, 2021, Revised Selected Papers

2025-12-08T18:06:02Z

Author Samarati, Pierangela. editor. van Sinderen, Marten. editor. Vimercati, Sabrina De Capitani di. editor. Wijnhoven, Fons. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-36840-0
Format: Electronic Resources
Availability Online Library~1

Concise Guide to Software Verification From Model Checking to Annotation Checking

2025-12-08T18:06:02Z

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

Product Lifecycle Management. PLM in Transition Times: The Place of Humans and Transformative Technologies 19th IFIP WG 5.1 International Conference, PLM 2022, Grenoble, France, July 10-13, 2022, Revised Selected Papers

2025-12-08T18:06:02Z

Author Noël, Frédéric. editor. Nyffenegger, Felix. editor. (orcid) Rivest, Louis. editor. Bouras, Abdelaziz. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-25182-5
Format: Electronic Resources
Availability Online Library~1

6G Enabled Fog Computing in IoT Applications and Opportunities

2025-12-08T18:06:02Z

Author Kumar, Mohit. editor. Gill, Sukhpal Singh. editor. Samriya, Jitendra Kumar. editor. Uhlig, Steve. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-30101-8
Format: Electronic Resources
Availability Online Library~1

Enterprise Design, Operations, and Computing. EDOC 2022 Workshops IDAMS, SoEA4EE, TEAR, EDOC Forum, Demonstrations Track and Doctoral Consortium, Bozen-Bolzano, Italy, October 4-7, 2022, Revised Selected Papers

2025-12-08T18:06:02Z

Author Sales, Tiago Prince. editor. Proper, Henderik A. editor. Guizzardi, Giancarlo. editor. (orcid) Montali, Marco. editor. Maggi, Fabrizio Maria. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-26886-1
Format: Electronic Resources
Availability Online Library~1

Mobile Wireless Middleware, Operating Systems and Applications 11th EAI International Conference, MOBILWARE 2022, Virtual Event, December 28-29, 2022, Proceedings

2025-12-08T18:06:02Z

Author Li, Ruidong. editor. Jia, Min. editor. Taleb, Tarik. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-34497-8
Format: Electronic Resources
Availability Online Library~1

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

2025-12-08T18:06:02Z

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

Data Science 9th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2023, Harbin, China, September 22-24, 2023, Proceedings, Part I

2025-12-08T18:06:02Z

Author Yu, Zhiwen. editor. Han, Qilong. editor. Wang, Hongzhi. editor. Guo, Bin. editor. Zhou, Xiaokang. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-5968-6
Format: Electronic Resources
Availability Online Library~1

Applied Computer Sciences in Engineering 10th Workshop on Engineering Applications, WEA 2023, Cartagena, Colombia, November 1-3, 2023, Proceedings

2025-12-08T18:06:02Z

Author Figueroa-García, Juan Carlos. editor. Hernández, German. editor. Villa Ramirez, Jose Luis. editor. Gaona García, Elvis Eduardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-46739-4
Format: Electronic Resources
Availability Online Library~1

Human-Computer Interaction - INTERACT 2023 19th IFIP TC13 International Conference, York, UK, August 28 - September 1, 2023, Proceedings, Part I

2025-12-08T18:06:02Z

Author Abdelnour Nocera, José. editor. Kristín Lárusdóttir, Marta. editor. Petrie, Helen. editor. Piccinno, Antonio. editor. Winckler, Marco. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-42280-5
Format: Electronic Resources
Availability Online Library~1

Critical Information Infrastructures Security 17th International Conference, CRITIS 2022, Munich, Germany, September 14-16, 2022, Revised Selected Papers

2025-12-08T18:06:02Z

Author Hämmerli, Bernhard. editor. (orcid) Helmbrecht, Udo. editor. Hommel, Wolfgang. editor. Kunczik, Leonhard. editor. Pickl, Stefan. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-35190-7
Format: Electronic Resources
Availability Online Library~1

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

2025-12-08T18:06:02Z

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

Multi-disciplinary Trends in Artificial Intelligence 16th International Conference, MIWAI 2023, Hyderabad, India, July 21-22, 2023, Proceedings

2025-12-08T18:06:02Z

Author Morusupalli, Raghava. editor. Dandibhotla, Teja Santosh. editor. Atluri, Vani Vathsala. editor. Windridge, David. editor. Lingras, Pawan. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-36402-0
Format: Electronic Resources
Availability Online Library~1

Theoretical Aspects of Software Engineering 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings

2025-12-08T18:06:02Z

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

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

2025-12-08T18:06:02Z

Author Gervasi, Osvaldo. editor. (orcid) Murgante, Beniamino. editor. (orcid) Rocha, Ana Maria A. C. editor. (orcid) Garau, Chiara. editor. (orcid) Scorza, Francesco. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-37126-4
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 II

2025-12-08T18:06:02Z

Author Mori, Hirohiko. editor. Asahi, Yumi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-35129-7
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

2025-12-08T18:06:02Z

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

Progress in Artificial Intelligence 22nd EPIA Conference on Artificial Intelligence, EPIA 2023, Faial Island, Azores, September 5-8, 2023, Proceedings, Part I

2025-12-08T18:06:02Z

Author Moniz, Nuno. editor. Vale, Zita. editor. Cascalho, José. editor. Silva, Catarina. editor. Sebastião, Raquel. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-49008-8
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

2025-12-08T18:06:02Z

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

Technologies for Smart Cities

2025-12-08T18:06:02Z

Author Vershinin, Yuri A. editor. Pashchenko, Fedor. editor. Olaverri-Monreal, Cristina. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-05516-4
Format: Electronic Resources
Availability Online Library~1

Computer Networks and Inventive Communication Technologies Proceedings of Fifth ICCNCT 2022

2025-12-08T18:06:02Z

Author Smys, S. editor. Lafata, Pavel. editor. Palanisamy, Ram. editor. Kamel, Khaled A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-3035-5
Format: Electronic Resources
Availability Online Library~1

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

2025-12-08T18:06:02Z

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

Artificial Intelligence and Online Engineering Proceedings of the 19th International Conference on Remote Engineering and Virtual Instrumentation

2025-12-08T18:06:02Z

Author Auer, Michael E. editor. El-Seoud, Samir A. editor. Karam, Omar H. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-17091-1
Format: Electronic Resources
Availability Online Library~1

Intelligent Computing and Applications Proceedings of ICDIC 2020

2025-12-08T18:06:02Z

Author Rao, B. Narendra Kumar. editor. Balasubramanian, R. editor. Wang, Shiuh-Jeng. editor. Nayak, Richi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-4162-7
Format: Electronic Resources
Availability Online Library~1

Proceedings of Seventh International Congress on Information and Communication Technology ICICT 2022, London, Volume 1

2025-12-08T18:06:02Z

Author Yang, Xin-She. editor. Sherratt, Simon. editor. Dey, Nilanjan. editor. Joshi, Amit. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-1607-6
Format: Electronic Resources
Availability Online Library~1

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

2025-12-08T18:06:02Z

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

Towards new e-Infrastructure and e-Services for Developing Countries 14th EAI International Conference, AFRICOMM 2022, Zanzibar, Tanzania, December 5-7, 2022, Proceedings

2025-12-08T18:06:02Z

Author Saeed, Rashid A. editor. Bakari, Abubakar D. editor. Sheikh, Yahya Hamad. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-34896-9
Format: Electronic Resources
Availability Online Library~1

Optimising the Software Development Process with Artificial Intelligence

2025-12-08T18:06:02Z

Author Romero, José Raúl. editor. Medina-Bulo, Inmaculada. editor. Chicano, Francisco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-9948-2
Format: Electronic Resources
Availability Online Library~1

Engineering Haptic Devices

2025-12-08T18:06:02Z

Author Kern, Thorsten A. editor. Hatzfeld, Christian. editor. Abbasimoshaei, Alireza. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-04536-3
Format: Electronic Resources
Availability Online Library~1

Research Challenges in Information Science: Information Science and the Connected World 17th International Conference, RCIS 2023, Corfu, Greece, May 23-26, 2023, Proceedings

2025-12-08T18:06:02Z

Author Nurcan, Selmin. editor. Opdahl, Andreas L. editor. Mouratidis, Haralambos. editor. Tsohou, Aggeliki. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-33080-3
Format: Electronic Resources
Availability Online Library~1

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

2025-12-08T18:06:02Z

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

Advances in Production Management Systems. Production Management Systems for Responsible Manufacturing, Service, and Logistics Futures IFIP WG 5.7 International Conference, APMS 2023, Trondheim, Norway, September 17-21, 2023, Proceedings, Part III

2025-12-08T18:06:02Z

Author Alfnes, Erlend. editor. Romsdal, Anita. editor. Strandhagen, Jan Ola. editor. von Cieminski, Gregor. editor. Romero, David. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-43670-3
Format: Electronic Resources
Availability Online Library~1

Software Engineering for Games in Serious Contexts Theories, Methods, Tools, and Experiences

2025-12-08T18:06:02Z

Author Cooper, Kendra M. L. editor. Bucchiarone, Antonio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-33338-5
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence in Music, Sound, Art and Design 12th International Conference, EvoMUSART 2023, Held as Part of EvoStar 2023, Brno, Czech Republic, April 12-14, 2023, Proceedings

2025-12-08T18:06:02Z

Author Johnson, Colin. editor. Rodríguez-Fernández, Nereida. editor. Rebelo, Sérgio M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-29956-8
Format: Electronic Resources
Availability Online Library~1

Passive and Active Measurement 24th International Conference, PAM 2023, Virtual Event, March 21-23, 2023, Proceedings

2025-12-08T18:06:02Z

Author Brunstrom, Anna. editor. Flores, Marcel. editor. Fiore, Marco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-28486-1
Format: Electronic Resources
Availability Online Library~1

Economics of Grids, Clouds, Systems, and Services 19th International Conference, GECON 2022, Izola, Slovenia, September 13-15, 2022, Proceedings

2025-12-08T18:06:02Z

Author Bañares, José Ángel. editor. Altmann, Jörn. editor. Agmon Ben-Yehuda, Orna. editor. Djemame, Karim. editor. Stankovski, Vlado. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-29315-3
Format: Electronic Resources
Availability Online Library~1

Requirements Engineering: Foundation for Software Quality 29th International Working Conference, REFSQ 2023, Barcelona, Spain, April 17-20, 2023, Proceedings

2025-12-08T18:06:02Z

Author Ferrari, Alessio. editor. Penzenstadler, Birgit. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-29786-1
Format: Electronic Resources
Availability Online Library~1

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

2025-12-08T18:06:02Z

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

Human-Computer Interaction - INTERACT 2023 19th IFIP TC13 International Conference, York, UK, August 28 - September 1, 2023, Proceedings, Part IV

2025-12-08T18:06:02Z

Author Abdelnour Nocera, José. editor. Kristín Lárusdóttir, Marta. editor. Petrie, Helen. editor. Piccinno, Antonio. editor. Winckler, Marco. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-42293-5
Format: Electronic Resources
Availability Online Library~1

Interactive Collaborative Robotics 8th International Conference, ICR 2023, Baku, Azerbaijan, October 25-29, 2023, Proceedings

2025-12-08T18:06:02Z

Author Ronzhin, Andrey. editor. Sadigov, Aminagha. editor. Meshcheryakov, Roman. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-43111-1
Format: Electronic Resources
Availability Online Library~1

Software Architecture 17th European Conference, ECSA 2023, Istanbul, Turkey, September 18-22, 2023, Proceedings

2025-12-08T18:06:02Z

Author Tekinerdogan, Bedir. editor. Trubiani, Catia. editor. Tibermacine, Chouki. editor. Scandurra, Patrizia. editor. Cuesta, Carlos E. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-42592-9
Format: Electronic Resources
Availability Online Library~1

Computer Safety, Reliability, and Security 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings

2025-12-08T18:06:02Z

Author Guiochet, Jérémie. editor. Tonetta, Stefano. editor. Bitsch, Friedemann. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-40923-3
Format: Electronic Resources
Availability Online Library~1

Testing Software and Systems 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings

2025-12-08T18:06:02Z

Author Bonfanti, Silvia. editor. Gargantini, Angelo. editor. Salvaneschi, Paolo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-43240-8
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Formal Methods 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings

2025-12-08T18:06:02Z

Author Ferreira, Carla. editor. Willemse, Tim A. C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-47115-5
Format: Electronic Resources
Availability Online Library~1

Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings

2025-12-08T18:06:02Z

Author Glässer, Uwe. editor. Creissac Campos, Jose. editor. Méry, Dominique. editor. Palanque, Philippe. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-33163-3
Format: Electronic Resources
Availability Online Library~1

High Performance Computing ISC High Performance 2023 International Workshops, Hamburg, Germany, May 21-25, 2023, Revised Selected Papers

2025-12-08T18:06:02Z

Author Bienz, Amanda. editor. Weiland, Michèle. editor. Baboulin, Marc. editor. Kruse, Carola. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-40843-4
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence and Soft Computing 22nd International Conference, ICAISC 2023, Zakopane, Poland, June 18-22, 2023, Proceedings, Part I

2025-12-08T18:06:02Z

Author Rutkowski, Leszek. editor. Scherer, Rafał. editor. Korytkowski, Marcin. editor. Pedrycz, Witold. editor. Tadeusiewicz, Ryszard. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-42505-9
Format: Electronic Resources
Availability Online Library~1

Proceedings of the 9th International Ergonomics Conference ERGONOMICS 2022

2025-12-08T18:06:02Z

Author Salopek Čubrić, Ivana. editor. Čubrić, Goran. editor. Jambrošić, Kristian. editor. Jurčević Lulić, Tanja. editor. Sumpor, Davor. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-33986-8
Format: Electronic Resources
Availability Online Library~1

Virtual environments and advanced interface design

2025-12-08T18:06:02Z

Author Barfield, Woodrow, editor. Furness, Thomas A., editor.
Preferred Shelf Number QA76.9 .H85 V54 2020
Electronic Access Oxford scholarship online https://dx.doi.org/10.1093/oso/9780195075557.001.0001
Format: Electronic Resources
Availability Online Library~1

UML ile nesneye yönelik sistem analizi ve tasarımı

2025-12-08T18:06:02Z

Author Yücalar, Fatih. Kılınç, Deniz.
Preferred Shelf Number QA76.9.O35 Y833 2020
Format: Books
Availability Beytepe Library~1

The Electrical Engineering Handbook - Six Volume Set

2025-12-08T18:06:02Z

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

Avionics : elements, software and functions

2025-12-08T18:06:02Z

Author Spitzer, Cary R., author. Spitzer, Cary R., editor.
Preferred Shelf Number TL695
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781315222240 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

How to Reduce the Cost of Software Testing

2025-12-08T18:06:02Z

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

Industrial communication systems

2025-12-08T18:06:02Z

Author Wilamowski, Bogdan M., editor. Irwin, J. David, 1939- editor.
Preferred Shelf Number TK5105.5
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781315218434 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Circuits, Signals, and Speech and Image Processing

2025-12-08T18:06:02Z

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

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

2025-12-08T18:06:02Z

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

Testing Complex and Embedded Systems

2025-12-08T18:06:02Z

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

Mechatronic system control, logic, and data acquisition

2025-12-08T18:06:02Z

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

Process-Driven SOA

2025-12-08T18:06:02Z

Author Hentrich, Carsten, author. Zdun, Uwe, author. Safari, an O'Reilly Media Company.
Preferred Shelf Number TK5105.5828
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9780429067105 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Information Security Education Across the Curriculum 9th IFIP WG 11.8 World Conference, WISE 9, Hamburg, Germany, May 26-28, 2015, Proceedings

2025-12-08T18:06:02Z

Author Bishop, Matt. editor. Miloslavskaya, Natalia. editor. Theocharidou, Marianthi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-18500-2
Format: Electronic Resources
Availability Online Library~1

Wireless Internet 8th International Conference, WICON 2014, Lisbon, Portugal, November 13-14, 2014, Revised Selected Papers

2025-12-08T18:06:02Z

Author Mumtaz, Shahid. editor. Rodriguez, Jonathan. editor. Katz, Marcos. editor. Wang, Chonggang. editor. Nascimento, Alberto. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-18802-7
Format: Electronic Resources
Availability Online Library~1

Intelligent Software Methodologies, Tools and Techniques 13th International Conference, SoMeT 2014, Langkawi, Malaysia, September 22-24, 2014. Revised Selected Papers

2025-12-08T18:06:02Z

Author Fujita, Hamido. editor. (orcid) Selamat, Ali. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-17530-0
Format: Electronic Resources
Availability Online Library~1

Achieving Success and Innovation in Global Sourcing: Perspectives and Practices 9th Global Sourcing Workshop 2015, La Thuile, Italy, February 18-21, 2015, Revised Selected Papers

2025-12-08T18:06:02Z

Author Oshri, Ilan. editor. Kotlarsky, Julia. editor. Willcocks, Leslie P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-26739-5
Format: Electronic Resources
Availability Online Library~1

Encyclopedia of Biometrics

2025-12-08T18:06:02Z

Author Li, Stan Z. editor. Jain, Anil K. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4899-7488-4
Format: Electronic Resources
Availability Online Library~1

Handbook of Genetic Programming Applications

2025-12-08T18:06:02Z

Author Gandomi, Amir H. editor. Alavi, Amir H. editor. Ryan, Conor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-20883-1
Format: Electronic Resources
Availability Online Library~1

Software Business 6th International Conference, ICSOB 2015, Braga, Portugal, June 10-12, 2015, Proceedings

2025-12-08T18:06:02Z

Author Fernandes, João M. editor. Machado, Ricardo J. editor. Wnuk, Krzysztof. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-19593-3
Format: Electronic Resources
Availability Online Library~1

Enterprise, Business-Process and Information Systems Modeling 16th International Conference, BPMDS 2015, 20th International Conference, EMMSAD 2015, Held at CAiSE 2015, Stockholm, Sweden, June 8-9, 2015, Proceedings

2025-12-08T18:06:02Z

Author Gaaloul, Khaled. editor. Schmidt, Rainer. editor. (orcid) Nurcan, Selmin. editor. Guerreiro, Sérgio. editor. Ma, Qin. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-19237-6
Format: Electronic Resources
Availability Online Library~1

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I

2025-12-08T18:06:02Z

Author Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-21690-4
Format: Electronic Resources
Availability Online Library~1

Provenance and Annotation of Data and Processes 5th International Provenance and Annotation Workshop, IPAW 2014, Cologne, Germany, June 9-13, 2014. Revised Selected Papers

2025-12-08T18:06:02Z

Author Ludäscher, Bertram. editor. Plale, Beth. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-16462-5
Format: Electronic Resources
Availability Online Library~1

MultiMedia Modeling 21st International Conference, MMM 2015, Sydney, Australia, January 5-7, 2015, Proceedings, Part II

2025-12-08T18:06:02Z

Author He, Xiangjian. editor. Luo, Suhuai. editor. Tao, Dacheng. editor. Xu, Changsheng. editor. Yang, Jie. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-14442-9
Format: Electronic Resources
Availability Online Library~1

Human-Computer Interaction - INTERACT 2015 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part III

2025-12-08T18:06:02Z

Author Abascal, Julio. editor. Barbosa, Simone. editor. Fetter, Mirko. editor. Gross, Tom. editor. Palanque, Philippe. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-22698-9
Format: Electronic Resources
Availability Online Library~1

New Trends in Networking, Computing, E-learning, Systems Sciences, and Engineering

2025-12-08T18:06:02Z

Author Elleithy, Khaled. editor. Sobh, Tarek. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-06764-3
Format: Electronic Resources
Availability Online Library~1

Application of Evolutionary Algorithms for Multi-objective Optimization in VLSI and Embedded Systems

2025-12-08T18:06:02Z

Author Bhuvaneswari, M.C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-81-322-1958-3
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Applied Electromagnetics APPEIC 2014

2025-12-08T18:06:02Z

Author Sulaiman, Hamzah Asyrani. editor. Othman, Mohd Azlishah. editor. Abd. Aziz, Mohamad Zoinol Abidin. editor. Abd Malek, Mohd Fareq. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-17269-9
Format: Electronic Resources
Availability Online Library~1

Applied Computation and Security Systems Volume Two

2025-12-08T18:06:02Z

Author Chaki, Rituparna. editor. Saeed, Khalid. editor. Choudhury, Sankhayan. editor. Chaki, Nabendu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-81-322-1988-0
Format: Electronic Resources
Availability Online Library~1

Modeling and simulation-based systems engineering handbook

2025-12-08T18:06:02Z

Author D'Ambrogio, Andrea, editor. Gianni, Daniele, editor. Tolk, Andreas, editor.
Preferred Shelf Number T57.62 .M588 2015
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Complex System Modelling and Control Through Intelligent Soft Computations

2025-12-08T18:06:02Z

Author Zhu, Quanmin. editor. Azar, Ahmad Taher. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-12883-2
Format: Electronic Resources
Availability Online Library~1

Additive Manufacturing Technologies 3D Printing, Rapid Prototyping, and Direct Digital Manufacturing

2025-12-08T18:06:02Z

Author Gibson, Ian. author. Rosen, David. author. Stucker, Brent. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4939-2113-3
Format: Electronic Resources
Availability Online Library~1

Risk and Cognition

2025-12-08T18:06:02Z

Author Mercantini, Jean-Marc. editor. Faucher, Colette. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-45704-7
Format: Electronic Resources
Availability Online Library~1

GALILEO Positioning Technology

2025-12-08T18:06:02Z

Author Nurmi, Jari. editor. Lohan, Elena Simona. editor. Sand, Stephan. editor. Hurskainen, Heikki. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-94-007-1830-2
Format: Electronic Resources
Availability Online Library~1

ADEX Optimized Adaptive Controllers and Systems From Research to Industrial Practice

2025-12-08T18:06:02Z

Author Martín-Sánchez, Juan M. author. Rodellar, José. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-09794-7
Format: Electronic Resources
Availability Online Library~1

Mobile and Wireless Technology 2015

2025-12-08T18:06:02Z

Author Kim, Kuinam J. editor. Wattanapongsakorn, Naruemon. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-47669-7
Format: Electronic Resources
Availability Online Library~1

Computational Intelligence International Joint Conference, IJCCI 2012 Barcelona, Spain, October 5-7, 2012 Revised Selected Papers

2025-12-08T18:06:02Z

Author Madani, Kurosh. editor. Correia, António Dourado. editor. Rosa, Agostinho. editor. Filipe, Joaquim. editor. (orcid)0000-0002-5961-6606 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11271-8
Format: Electronic Resources
Availability Online Library~1

Computational Advancement in Communication Circuits and Systems Proceedings of ICCACCS 2014

2025-12-08T18:06:02Z

Author Maharatna, Koushik. editor. Dalapati, Goutam Kumar. editor. Banerjee, P K. editor. Mallick, Amiya Kumar. editor. Mukherjee, Moumita. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-81-322-2274-3
Format: Electronic Resources
Availability Online Library~1

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

2025-12-08T18:06:02Z

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

Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings

2025-12-08T18:06:02Z

Author Bartocci, Ezio. editor. Majumdar, Rupak. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-23820-3
Format: Electronic Resources
Availability Online Library~1

Solving Software Challenges for Exascale International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014, Revised Selected Papers

2025-12-08T18:06:02Z

Author Markidis, Stefano. editor. Laure, Erwin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-15976-8
Format: Electronic Resources
Availability Online Library~1

Augmented and Virtual Reality Second International Conference, AVR 2015, Lecce, Italy, August 31 - September 3, 2015, Proceedings

2025-12-08T18:06:02Z

Author De Paolis, Lucio Tommaso. editor. Mongelli, Antonio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-22888-4
Format: Electronic Resources
Availability Online Library~1

End-User Development 5th International Symposium, IS-EUD 2015, Madrid, Spain, May 26-29, 2015. Proceedings

2025-12-08T18:06:02Z

Author Díaz, Paloma. editor. Pipek, Volkmar. editor. Ardito, Carmelo. editor. Jensen, Carlos. editor. Aedo, Ignacio. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-18425-8
Format: Electronic Resources
Availability Online Library~1

Project Management and Engineering Selected Papers from the 17th International AEIPRO Congress held in Logroño, Spain, in 2013

2025-12-08T18:06:02Z

Author Ayuso Muñoz, José Luis. editor. Yagüe Blanco, José Luis. editor. Capuz-Rizo, Salvador F. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-12754-5
Format: Electronic Resources
Availability Online Library~1

Soft Computing in Computer and Information Science

2025-12-08T18:06:02Z

Author Wiliński, Antoni. editor. Fray, Imed El. editor. Pejaś, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-15147-2
Format: Electronic Resources
Availability Online Library~1

Progress in Systems Engineering Proceedings of the Twenty-Third International Conference on Systems Engineering

2025-12-08T18:06:02Z

Author Selvaraj, Henry. editor. Zydek, Dawid. editor. Chmaj, Grzegorz. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08422-0
Format: Electronic Resources
Availability Online Library~1

Proceedings of the International Conference on Transformations in Engineering Education ICTIEE 2014

2025-12-08T18:06:02Z

Author Natarajan, R. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-81-322-1931-6
Format: Electronic Resources
Availability Online Library~1

Recent Advances in Mechanism Design for Robotics Proceedings of the 3rd IFToMM Symposium on Mechanism Design for Robotics

2025-12-08T18:06:02Z

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

Information Systems Design and Intelligent Applications Proceedings of Second International Conference INDIA 2015, Volume 2

2025-12-08T18:06:02Z

Author Mandal, J. K. editor. Satapathy, Suresh Chandra. editor. Kumar Sanyal, Manas. editor. Sarkar, Partha Pratim. editor. Mukhopadhyay, Anirban. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-81-322-2247-7
Format: Electronic Resources
Availability Online Library~1

Software Engineering Research, Management and Applications

2025-12-08T18:06:02Z

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

Innovations and Advances in Computing, Informatics, Systems Sciences, Networking and Engineering

2025-12-08T18:06:02Z

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

The Impact of Pen and Touch Technology on Education

2025-12-08T18:06:02Z

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

Perspectives in Business Informatics Research 14th International Conference, BIR 2015, Tartu, Estonia, August 26-28, 2015, Proceedings

2025-12-08T18:06:02Z

Author Matulevičius, Raimundas. editor. Dumas, Marlon. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-21915-8
Format: Electronic Resources
Availability Online Library~1

Information Systems Engineering in Complex Environments CAiSE Forum 2014, Thessaloniki, Greece, June 16-20, 2014, Selected Extended Papers

2025-12-08T18:06:02Z

Author Nurcan, Selmin. editor. Pimenidis, Elias. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-19270-3
Format: Electronic Resources
Availability Online Library~1

Technological Innovation for Cloud-Based Engineering Systems 6th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2015, Costa de Caparica, Portugal, April 13-15, 2015, Proceedings

2025-12-08T18:06:02Z

Author Camarinha-Matos, Luis M. editor. Baldissera, Thais A. editor. Di Orio, Giovanni. editor. Marques, Francisco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-16766-4
Format: Electronic Resources
Availability Online Library~1

Industrial Engineering, Management Science and Applications 2015

2025-12-08T18:06:02Z

Author Gen, Mitsuo. editor. Kim, Kuinam J. editor. Huang, Xiaoxia. editor. Hiroshi, Yabe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-47200-2
Format: Electronic Resources
Availability Online Library~1

Engineering Psychology and Cognitive Ergonomics 12th International Conference, EPCE 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings

2025-12-08T18:06:02Z

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

Trust, Privacy and Security in Digital Business 12th International Conference, TrustBus 2015, Valencia, Spain, September 1-2, 2015, Proceedings

2025-12-08T18:06:02Z

Author Fischer-Hübner, Simone. editor. Lambrinoudakis, Costas. editor. López, Javier. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-22906-5
Format: Electronic Resources
Availability Online Library~1

Ad-hoc, Mobile, and Wireless Networks 14th International Conference, ADHOC-NOW 2015, Athens, Greece, June 29 -- July 1, 2015, Proceedings

2025-12-08T18:06:02Z

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

Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings

2025-12-08T18:06:02Z

Author Blanchette, Jasmin Christian. editor. Kosmatov, Nikolai. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-21215-9
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part II

2025-12-08T18:06:02Z

Author Rutkowski, Leszek. editor. Korytkowski, Marcin. editor. Scherer, Rafal. editor. Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-19369-4
Format: Electronic Resources
Availability Online Library~1

Lightweight Cryptography for Security and Privacy Third International Workshop, LightSec 2014, Istanbul, Turkey, September 1-2, 2014, Revised Selected Papers

2025-12-08T18:06:02Z

Author Eisenbarth, Thomas. editor. Öztürk, Erdinç. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-16363-5
Format: Electronic Resources
Availability Online Library~1

Advanced Information Systems Engineering Workshops CAiSE 2015 International Workshops, Stockholm, Sweden, June 8-9, 2015, Proceedings

2025-12-08T18:06:02Z

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

Intelligent Software Methodologies, Tools and Techniques 14th International Conference, SoMet 2015, Naples, Italy, September 15-17, 2015. Proceedings

2025-12-08T18:06:02Z

Author Fujita, Hamido. editor. (orcid) Guizzi, Guido. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-22689-7
Format: Electronic Resources
Availability Online Library~1

Applications of Social Media and Social Network Analysis

2025-12-08T18:06:02Z

Author Kazienko, Przemysław. editor. Chawla, Nitesh. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-19003-7
Format: Electronic Resources
Availability Online Library~1

Evaluation of Novel Approaches to Software Engineering 9th International Conference, ENASE 2014, Lisbon, Portugal, April 28-30, 2014. Revised Selected Papers

2025-12-08T18:06:02Z

Author Maciaszek, Leszek A. editor. Filipe, Joaquim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-27218-4
Format: Electronic Resources
Availability Online Library~1

Creativity in Intelligent Technologies and Data Science First Conference, CIT&DS 2015, Volgograd, Russia, September 15-17, 2015. Proceedings

2025-12-08T18:06:02Z

Author Kravets, Alla. editor. Shcherbakov, Maxim. editor. Kultsova, Marina. editor. Shabalina, Olga. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-23766-4
Format: Electronic Resources
Availability Online Library~1

Nature of Computation and Communication International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014, Revised Selected Papers

2025-12-08T18:06:02Z

Author Vinh, Phan Cong. editor. Vassev, Emil. editor. Hinchey, Mike. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-15392-6
Format: Electronic Resources
Availability Online Library~1

Internet of Things. IoT Infrastructures First International Summit, IoT360 2014, Rome, Italy, October 27-28, 2014, Revised Selected Papers, Part II

2025-12-08T18:06:02Z

Author Giaffreda, Raffaele. editor. Cagáňová, Dagmar. editor. Li, Yong. editor. Riggio, Roberto. editor. Voisard, Agnès. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-19743-2
Format: Electronic Resources
Availability Online Library~1

DNA Computing and Molecular Programming 21st International Conference, DNA 21, Boston and Cambridge, MA, USA, August 17-21, 2015. Proceedings

2025-12-08T18:06:02Z

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

Software Engineering for Collective Autonomic Systems The ASCENS Approach

2025-12-08T18:06:02Z

Author Wirsing, Martin. editor. Hölzl, Matthias. editor. Koch, Nora. editor. Mayer, Philip. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-16310-9
Format: Electronic Resources
Availability Online Library~1

Information Security and Cryptology 10th International Conference, Inscrypt 2014, Beijing, China, December 13-15, 2014, Revised Selected Papers

2025-12-08T18:06:02Z

Author Lin, Dongdai. editor. Yung, Moti. editor. Zhou, Jianying. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-16745-9
Format: Electronic Resources
Availability Online Library~1

Human Centered Computing First International Conference, HCC 2014, Phnom Penh, Cambodia, November 27-29, 2014, Revised Selected Papers

2025-12-08T18:06:02Z

Author Zu, Qiaohong. editor. Hu, Bo. editor. Gu, Ning. editor. Seng, Sopheap. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-15554-8
Format: Electronic Resources
Availability Online Library~1

Bioinspired Computation in Artificial Systems International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2015, Elche, Spain, June 1-5, 2015, Proceedings, Part II

2025-12-08T18:06:02Z

Author Ferrández Vicente, José Manuel. editor. Álvarez-Sánchez, José Ramón. editor. de la Paz López, Félix. editor. Toledo-Moreo, Fco. Javier. editor. Adeli, Hojjat. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-18833-1
Format: Electronic Resources
Availability Online Library~1

Software Engineering International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures

2025-12-08T18:06:02Z

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

SOFSEM 2015: Theory and Practice of Computer Science 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015, Proceedings

2025-12-08T18:06:02Z

Author Italiano, Giuseppe. editor. Margaria-Steffen, Tiziana. editor. Pokorný, Jaroslav. editor. Quisquater, Jean-Jacques. editor. Wattenhofer, Roger. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-46078-8
Format: Electronic Resources
Availability Online Library~1

Introduction to software for chemical engineers

2025-12-08T18:06:02Z

Author Martin, Mariano Martin, editor. of compilation.
Preferred Shelf Number TP184 .I595 2015
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Airborne electronic hardware design assurance : a practitioner's guide to RTCA/DO-254

2025-12-08T18:06:02Z

Author Fulton, Randall, author. Vandermolen, Roy, author. RTCA (Firm)
Preferred Shelf Number TL695 .F85 2015
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Handbook of virtual environments : design, implementation, and applications

2025-12-08T18:06:02Z

Author Hale, Kelly S. Stanney, Kay M.
Preferred Shelf Number QA76.9 .C65 H349 2014
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Case studies in intelligent computing : achievements and trends

2025-12-08T18:06:02Z

Author Issac, Biju, editor. of compilation. Israr, Nauman, editor. of compilation.
Preferred Shelf Number TA347 .A78 C37 2015
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Preventing medical device recalls

2025-12-08T18:06:02Z

Author Raheja, Dev, author.
Preferred Shelf Number R859.7 .S43 P74 2015
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Manufacturing and engineering technology

2025-12-08T18:06:02Z

Author Sheng, Ai, editor. Wang, Yizhong, editor. International Conference on Manufacturing and Engineering Technology (2014 : Sanya, China)
Preferred Shelf Number TJ241 .M36 2015
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Project scope management : a practical guide to requirements for engineering, product, construction, IT and enterprise projects

2025-12-08T18:06:02Z

Author Moustafaev, Jamal, 1973, author.
Preferred Shelf Number HD69 .P75 M693 2015
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Economics-driven software architecture

2025-12-08T18:06:02Z

Author Mistrík, Ivan. Bahsoon, Rami Khalil. Kazman, Rick. Zhang, Yuanyuan.
Preferred Shelf Number ONLINE(355749.1)
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780124104648
Format: Electronic Resources
Availability Online Library~1

Relating system quality and software architecture

2025-12-08T18:06:02Z

Author Mistrík, Ivan.
Preferred Shelf Number ONLINE(355620.1)
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780124170094
Format: Electronic Resources
Availability Online Library~1

Quality Assurance in Research and Development

2025-12-08T18:06:02Z

Author Roberts, author.
Preferred Shelf Number T175.5 R634 2014
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

The Cambridge handbook of the learning sciences

2025-12-08T18:06:02Z

Author Sawyer, R. Keith (Robert Keith), editor.
Preferred Shelf Number LB1060 .C35 2014
Electronic Access https://doi.org/10.1017/CBO9781139519526
Format: Electronic Resources
Availability Online Library~1

Foodinformatics Applications of Chemical Information to Food Chemistry

2025-12-08T18:06:02Z

Author Martinez-Mayorga, Karina. editor. Medina-Franco, José Luis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10226-9
Format: Electronic Resources
Availability Online Library~1

Computing handbook : computer science and software engineering

2025-12-08T18:06:02Z

Author Tucker, Allen B., editor. Gonzalez, Teofilo F., editor. Diaz-Herrera, Jorge L., 1950- editor.
Preferred Shelf Number QA76 .C57315 2014
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

The Art of Linux Kernel Design

2025-12-08T18:06:02Z

Author Yang, Lixiang, author. Safari, an O'Reilly Media Company.
Preferred Shelf Number QA76.76 .O63
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781315380704 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Expert bytes : computer expertise in forensic documents : players, needs, resources, and pitfalls

2025-12-08T18:06:02Z

Author Atanasiu, Vlad, author.
Preferred Shelf Number HV8074 .A83 2014
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

An architectural approach to level design

2025-12-08T18:06:02Z

Author Totten, Christopher W., author.
Preferred Shelf Number QA76.76 .C672 T679 2014
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Controls and automation for facilities managers : efficient DDC systems implementation

2025-12-08T18:06:02Z

Author Boed, Viktor, author. Taylor and Francis.
Preferred Shelf Number TH6031
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Information Networking in Asia

2025-12-08T18:06:02Z

Author Higaki, Hiroaki, editor. Shibata, Yoshitaka, editor. Takizawa, Makoto, editor.
Preferred Shelf Number TK5105.5 I546 2014
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Software engineering mathematics

2025-12-08T18:06:02Z

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

Oxford handbook of medical statistics

2025-12-08T18:06:02Z

Author Peacock, Janet (Janet L.) Peacock, Philip J.
Preferred Shelf Number REF WA 39 P356 2013
Format: Books
Availability Health Sciences Library~1

Biopharmaceutics modeling and simulations theory, practice, methods, and applications

2025-12-08T18:06:02Z

Author Sugano, Kiyohiko.
Preferred Shelf Number ONLINE(318982.1)
Electronic Access John Wiley http://dx.doi.org/10.1002/9781118354339 http://lib.myilibrary.com?id=462709 http://rbdigital.oneclickdigital.com OverDrive (PDF) http://www.contentreserve.com/TitleInfo.asp?ID={34CA8DE4-B045-4FBD-9A56-87EE0BA622FE}&Format=50 OverDrive (EPUB) http://www.contentreserve.com/TitleInfo.asp?ID={34CA8DE4-B045-4FBD-9A56-87EE0BA622FE}&Format=410
Format: Electronic Resources
Availability Online Library~1

Official (ISC)2 guide to the CISSP CBK

2025-12-08T18:06:02Z

Author Tipton, Harold F., editor. of compilation. Hernandez, Steven, editor. of compilation.
Preferred Shelf Number QA76.3 .T565 2013
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Advances in usability evaluation

2025-12-08T18:06:02Z

Author Rebelo, Francesco. Soares, Marcelo Marcio.
Preferred Shelf Number TA167 .A375 2013
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

OpenGL insights

2025-12-08T18:06:02Z

Author Cozzi, Patrick. Riccio, Christophe.
Preferred Shelf Number T385 .O625 2013
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Technology computer aided design : simulation for VLSI MOSFET

2025-12-08T18:06:02Z

Author Sarkar, Chandan Kumar, editor of compilation.
Preferred Shelf Number TK7874.75 .T43 2013
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Handbook on mobile and ubiquitous computing : status and perspective

2025-12-08T18:06:02Z

Author Yang, Laurence Tianruo. Syukur, Evi. Loke, Seng.
Preferred Shelf Number QA76.59 .H364 2013
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Piezoelectric materials and devices : applications in engineering and medical sciences

2025-12-08T18:06:02Z

Author Vijaya, M. S., author.
Preferred Shelf Number TK7872 .P54 V55 2013
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Low power emerging wireless technologies

2025-12-08T18:06:02Z

Author Mahmoudi, Reza. Iniewski, Krzysztof, 1960-
Preferred Shelf Number TK5103.2 .L69 2013
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

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

2025-12-08T18:06:02Z

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

Longitudinal data analysis a practical guide for researchers in aging, health, and social sciences

2025-12-08T18:06:02Z

Author Newsom, Jason T. Jones, Richard N. Hofer, Scott M.
Preferred Shelf Number ONLINE
Electronic Access Click here to view
Format: Electronic Resources
Availability Online Library~1

Moving data : the iphone and the future of media

2025-12-08T18:06:02Z

Author Snickars, Pelle, editor. Vonderau, Patrick, editor.
Preferred Shelf Number ONLINE
Electronic Access http://www.jstor.org/stable/10.7312/snic15738
Format: Electronic Resources
Availability Online Library~1

GPU Pro 3 : advanced rendering techniques

2025-12-08T18:06:02Z

Author Engel, Wolfgang F.
Preferred Shelf Number T385 .G6886 2011
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Social media, crisis communication, and emergency management : leveraging Web 2.0 technologies

2025-12-08T18:06:02Z

Author White, Connie M., author.
Preferred Shelf Number HM742 .W45 2012
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Plasma processing of nanomaterials

2025-12-08T18:06:02Z

Author Sankaran, Mohan.
Preferred Shelf Number TA418.9 .N35 P53 2012
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Telecommunication networks

2025-12-08T18:06:02Z

Author Iannone, Eugenio., author.
Preferred Shelf Number TK5105 .I247 2012
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Near field communications handbook

2025-12-08T18:06:02Z

Author Ahson, Syed A. Ilyas, Mohammad, 1953-
Preferred Shelf Number TK5103.2 .N43 2012
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Advances in Cognitive Engineering and Neuroergonomics

2025-12-08T18:06:02Z

Author Stanney, Kay M., editor. Hale, Kelly S., editor. Taylor and Francis.
Preferred Shelf Number QP360.7 A383 2012
Electronic Access Click here to view.
Format: Electronic Resources
Availability Online Library~1

Secure and resilient software : requirements, test cases, and testing methods

2025-12-08T18:06:02Z

Author Merkow, Mark S., author. Raghavan, Lakshmikanth.
Preferred Shelf Number QA76.76 .T48 M47 2012
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Directions in Corpus Linguistics : Proceedings of Nobel Symposium 82 Stockholm, 4-8 August 1991

2025-12-08T18:06:02Z

Author Allén, Sture, contributor. Biber, Douglas, contributor. Chafe, Wallace, contributor. Edwards, Jane A., contributor. Fillmore, Charles J., contributor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1515/9783110867275 https://www.degruyter.com/isbn/9783110867275 Cover https://www.degruyter.com/document/cover/isbn/9783110867275/original
Format: Electronic Resources
Availability Online Library~1

Advances in human factors, ergonomics, and safety in manufacturing and service industries

2025-12-08T18:06:02Z

Author Karwowski, Waldemar, 1953- Salvendy, Gavriel, 1938-
Preferred Shelf Number TA166 .A383 2011
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Handbook of human factors in medical device design

2025-12-08T18:06:02Z

Author Weinger, Matthew Bret. Gardner-Bonneau, Daryle. Wiklund, Michael E. Kelly, Lori M.
Preferred Shelf Number R856 .H38 2011
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Official (ISC)2 guide to the CSSLP

2025-12-08T18:06:02Z

Author Paul, Mano., author.
Preferred Shelf Number QA76.76 .D47 P3775 2011
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Advances in occupational, social, and organizational ergonomics

2025-12-08T18:06:02Z

Author Kantola, Jussi. Vink, P.
Preferred Shelf Number TA166 .A396 2011
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Bayesian adaptive methods for clinical trials

2025-12-08T18:06:02Z

Author Berry, Scott M.
Preferred Shelf Number R853 .C55 B385 2011
Electronic Access Click here to view.
Format: Books
Availability Online Library~1