Search Results for Systems - Narrowed by: Computer science.

Linear Systems

2026-04-26T14:36:10Z

Author Antsaklis, Panos J. author. Michel, Anthony N. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-8176-4435-0
Format: Electronic Resources
Availability Online Library~1

Provably Correct Systems

2026-04-26T14:36:10Z

Author Hinchey, Mike. editor. Bowen, Jonathan P. editor. Olderog, Ernst-Rüdiger. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-48628-4
Format: Electronic Resources
Availability Online Library~1

Evolving Software Systems

2026-04-26T14:36:10Z

Author Mens, Tom. editor. Serebrenik, Alexander. editor. Cleve, Anthony. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-45398-4
Format: Electronic Resources
Availability Online Library~1

Recommender Systems Handbook

2026-04-26T14:36:10Z

Author Ricci, Francesco. editor. Rokach, Lior. editor. Shapira, Bracha. editor. Kantor, Paul B. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-85820-3
Format: Electronic Resources
Availability Online Library~1

Service Systems Implementation

2026-04-26T14:36:10Z

Author Demirkan, Haluk. editor. Spohrer, James C. editor. Krishna, Vikas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-7904-9
Format: Electronic Resources
Availability Online Library~1

Networked Control Systems

2026-04-26T14:36:10Z

Author Bemporad, Alberto. editor. Heemels, Maurice. editor. Johansson, Mikael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-85729-033-5
Format: Electronic Resources
Availability Online Library~1

Modeling Complex Systems

2026-04-26T14:36:10Z

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

Automotive Systems Engineering

2026-04-26T14:36:10Z

Author Maurer, Markus. editor. Winner, Hermann. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334208.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36455-6
Format: Electronic Resources
Availability Online Library~1

Understanding Concurrent Systems

2026-04-26T14:36:10Z

Author Roscoe, A.W. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84882-258-0
Format: Electronic Resources
Availability Online Library~1

Intrusion Detection Systems

2026-04-26T14:36:10Z

Author Mancini, Luigi V. editor. Pietro, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-77265-3
Format: Electronic Resources
Availability Online Library~1

Robust Intelligent Systems

2026-04-26T14:36:10Z

Author Schuster, Alfons. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84800-261-6
Format: Electronic Resources
Availability Online Library~1

Modelling Distributed Systems

2026-04-26T14:36:10Z

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

Modeling Dynamic Economic Systems

2026-04-26T14:36:10Z

Author Ruth, Matthias. author. Hannon, Bruce. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-2209-9
Format: Electronic Resources
Availability Online Library~1

Multicore Processors and Systems

2026-04-26T14:36:10Z

Author Keckler, Stephen W. editor. Olukotun, Kunle. editor. Hofstee, H. Peter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-0263-4
Format: Electronic Resources
Availability Online Library~1

Encyclopedia of Database Systems

2026-04-26T14:36:10Z

Author Liu, Ling. editor. Özsu, M. Tamer. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4614-8265-9
Format: Electronic Resources
Availability Online Library~1

Automotive Systems Engineering II

2026-04-26T14:36:10Z

Author Winner, Hermann. editor. Prokop, Günther. editor. Maurer, Markus. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61607-0
Format: Electronic Resources
Availability Online Library~1

Self-Aware Computing Systems

2026-04-26T14:36:10Z

Author Kounev, Samuel. editor. Kephart, Jeffrey O. editor. Milenkoski, Aleksandar. editor. Zhu, Xiaoyun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-47474-8
Format: Electronic Resources
Availability Online Library~1

Recommender Systems for Learning

2026-04-26T14:36:10Z

Author Manouselis, Nikos. author. Drachsler, Hendrik. author. Verbert, Katrien. author. Duval, Erik. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331484.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-4361-2
Format: Electronic Resources
Availability Online Library~1

Multimedia Signals and Systems

2026-04-26T14:36:10Z

Author Stanković, Srdjan. author. Orović, Irena. author. Sejdić, Ervin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-4208-0
Format: Electronic Resources
Availability Online Library~1

Haptic Systems Architecture Modeling

2026-04-26T14:36:10Z

Author Weber, Anton. author. Dustdar, Schahram. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-7091-0755-3
Format: Electronic Resources
Availability Online Library~1

Solutions on Embedded Systems

2026-04-26T14:36:10Z

Author Conti, Massimo. editor. Orcioni, Simone. editor. Martínez Madrid, Natividad. editor. Seepold, Ralf E.D. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-0638-5
Format: Electronic Resources
Availability Online Library~1

Adaptive Multimodal Interactive Systems

2026-04-26T14:36:10Z

Author Bezold, Matthias. author. Minker, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-9710-4
Format: Electronic Resources
Availability Online Library~1

Traffic-Sign Recognition Systems

2026-04-26T14:36:10Z

Author Escalera, Sergio. author. Baró, Xavier. author. Pujol, Oriol. author. Vitrià, Jordi. author. Radeva, Petia. author.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2245-6
Format: Electronic Resources
Availability Online Library~1

Architecting Dependable Systems VII

2026-04-26T14:36:10Z

Author Casimiro, Antonio. editor. Lemos, Rogério. editor. Gacek, Cristina. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17245-8
Format: Electronic Resources
Availability Online Library~1

Pro Linux Embedded Systems

2026-04-26T14:36:10Z

Author Sally, Gene. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-7226-7
Format: Electronic Resources
Availability Online Library~1

Web-based Support Systems

2026-04-26T14:36:10Z

Author Yao, JingTao. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84882-628-1
Format: Electronic Resources
Availability Online Library~1

Architecting Dependable Systems VI

2026-04-26T14:36:10Z

Author Lemos, Rogério. editor. Fabre, Jean-Charles. editor. Gacek, Cristina. editor. Gadducci, Fabio. editor. Beek, Maurice. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-10248-6
Format: Electronic Resources
Availability Online Library~1

Encyclopedia of Database Systems

2026-04-26T14:36:10Z

Author LIU, LING. editor. ÖZSU, M. TAMER. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-39940-9
Format: Electronic Resources
Availability Online Library~1

Architecting Dependable Systems V

2026-04-26T14:36:10Z

Author Lemos, Rogério. editor. Giandomenico, Felicita. editor. Gacek, Cristina. editor. Muccini, Henry. editor. Vieira, Marlon. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-85571-2
Format: Electronic Resources
Availability Online Library~1

Architecting Dependable Systems IV

2026-04-26T14:36:10Z

Author Lemos, Rogério. editor. Gacek, Cristina. editor. Romanovsky, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74035-3
Format: Electronic Resources
Availability Online Library~1

Manufacturing Execution Systems — MES

2026-04-26T14:36:10Z

Author Kletti, Jürgen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-49744-8
Format: Electronic Resources
Availability Online Library~1

Responsibility and Dependable Systems

2026-04-26T14:36:10Z

Author Dewsbury, Guy. editor. Dobson, John. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-626-1
Format: Electronic Resources
Availability Online Library~1

Enterprise Information Systems VI

2026-04-26T14:36:10Z

Author Seruca, Isabel. editor. Cordeiro, José. editor. Hammoudi, Slimane. editor. Filipe, Joaquim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-3675-2
Format: Electronic Resources
Availability Online Library~1

Complex Systems in Biomedicine

2026-04-26T14:36:10Z

Author Quarteroni, Alfio. editor. Formaggia, Luca. editor. Veneziani, Alessandro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/88-470-0396-2
Format: Electronic Resources
Availability Online Library~1

Distributed Event-Based Systems

2026-04-26T14:36:10Z

Author Mühl, Gero. author. Fiege, Ludger. author. Pietzuch, Peter. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-32653-7
Format: Electronic Resources
Availability Online Library~1

Enterprise Information Systems V

2026-04-26T14:36:10Z

Author Camp, Olivier. editor. Filipe, Joaquim B. L. editor. Hammoudi, Slimane. editor. Piattini, Mario. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-2673-0
Format: Electronic Resources
Availability Online Library~1

Architecting Dependable Systems III

2026-04-26T14:36:10Z

Author Lemos, Rogério. editor. Gacek, Cristina. editor. Romanovsky, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11556169
Format: Electronic Resources
Availability Online Library~1

Evolution of Semantic Systems

2026-04-26T14:36:10Z

Author Küppers, Bernd-Olaf. editor. Hahn, Udo. editor. Artmann, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333917.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-34997-3
Format: Electronic Resources
Availability Online Library~1

Software and Systems Traceability

2026-04-26T14:36:10Z

Author Cleland-Huang, Jane. editor. Gotel, Orlena. editor. Zisman, Andrea. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2239-5
Format: Electronic Resources
Availability Online Library~1

Dynamical Systems and Methods

2026-04-26T14:36:10Z

Author Luo, Albert C.J. editor. Machado, José António Tenreiro. editor. Baleanu, Dumitru. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-0454-5
Format: Electronic Resources
Availability Online Library~1

Specification of Software Systems

2026-04-26T14:36:10Z

Author Alagar, V.S. author. Periyasamy, K. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-85729-277-3
Format: Electronic Resources
Availability Online Library~1

Online Business Security Systems

2026-04-26T14:36:10Z

Author Williams, Godfried B. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-68850-3
Format: Electronic Resources
Availability Online Library~1

Enterprise Information Systems VII

2026-04-26T14:36:10Z

Author Chen, Chin-Sheng. editor. Filipe, Joaquim. editor. Seruca, Isabel. editor. Cordeiro, José. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-5347-4
Format: Electronic Resources
Availability Online Library~1

Simulating Complex Systems by Cellular Automata

2026-04-26T14:36:10Z

Author Kroc, Jiri. editor. Sloot, Peter M.A. editor. Hoekstra, Alfons G. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12203-3
Format: Electronic Resources
Availability Online Library~1

Secure Integrated Circuits and Systems

2026-04-26T14:36:10Z

Author Verbauwhede, Ingrid M.R. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-71829-3
Format: Electronic Resources
Availability Online Library~1

Trust Networks for Recommender Systems

2026-04-26T14:36:10Z

Author Victor, Patricia. author. Cornelis, Chris. author. de Cock, Martine. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.2991/978-94-91216-08-4
Format: Electronic Resources
Availability Online Library~1

Computational Intelligence in Complex Decision Systems

2026-04-26T14:36:10Z

Author Ruan, Da. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.2991/978-94-91216-29-9
Format: Electronic Resources
Availability Online Library~1

Social Information Access Systems and Technologies

2026-04-26T14:36:10Z

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

Introduction to Learning Classifier Systems

2026-04-26T14:36:10Z

Author Urbanowicz, Ryan J. author. Browne, Will N. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-55007-6
Format: Electronic Resources
Availability Online Library~1

From Specification to Embedded Systems Application

2026-04-26T14:36:10Z

Author Rettberg, Achim. editor. Zanella, Mauro C. editor. Rammig, Franz J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11523277
Format: Electronic Resources
Availability Online Library~1

Reliable and Energy Efficient Streaming Multiprocessor Systems

2026-04-26T14:36:10Z

Author Das, Anup Kumar. author. Kumar, Akash. author. Veeravalli, Bharadwaj. author. Catthoor, Francky. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-69374-3
Format: Electronic Resources
Availability Online Library~1

Model-Based Design of Adaptive Embedded Systems

2026-04-26T14:36:10Z

Author Basten, Twan. editor. Hamberg, Roelof. editor. Reckers, Frans. editor. Verriet, Jacques. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331594.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-4821-1
Format: Electronic Resources
Availability Online Library~1

Economic Models and Algorithms for Distributed Systems

2026-04-26T14:36:10Z

Author Neumann, Dirk. editor. Baker, Mark. editor. Altmann, Jörn. editor. Rana, Omer. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-7643-8899-7
Format: Electronic Resources
Availability Online Library~1

Multimedia Multiprocessor Systems Analysis, Design and Management

2026-04-26T14:36:10Z

Author Kumar, Akash. author. Corporaal, Henk. author. Mesman, Bart. author. Ha, Yajun. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-0083-3
Format: Electronic Resources
Availability Online Library~1

Intelligent systems of computing and informatics

2026-04-26T14:36:10Z

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

Handbook of Model-Based Systems Engineering

2026-04-26T14:36:10Z

Author Madni, Azad M. editor. Augustine, Norman. editor. Sievers, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-93582-5
Format: Electronic Resources
Availability Online Library~1

Systems Programming in Unix/Linux

2026-04-26T14:36:10Z

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

Biomechanical Biofeedback Systems and Applications

2026-04-26T14:36:10Z

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

Logical Foundations of Cyber-Physical Systems

2026-04-26T14:36:10Z

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

Interrupt Handling Schemes in Operating Systems

2026-04-26T14:36:10Z

Author Mejia-Alvarez, Pedro. author. Leyva-del-Foyo, Luis Eduardo. author. Diaz-Ramirez, Arnaldo. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94493-7
Format: Electronic Resources
Availability Online Library~1

Space in Weak Propositional Proof Systems

2026-04-26T14:36:10Z

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

Pervasive Computing Engineering Smart Systems

2026-04-26T14:36:10Z

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

Service Systems Concepts, Modeling, and Programming

2026-04-26T14:36:10Z

Author Cardoso, Jorge. author. Lopes, Ricardo. author. Poels, Geert. author. (orcid)0000-0001-9247-6150 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10813-1
Format: Electronic Resources
Availability Online Library~1

Recommendation Systems in Software Engineering

2026-04-26T14:36:10Z

Author Robillard, Martin P. editor. Maalej, Walid. editor. Walker, Robert J. editor. Zimmermann, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-45135-5
Format: Electronic Resources
Availability Online Library~1

Advances in Applied Self-Organizing Systems

2026-04-26T14:36:10Z

Author Prokopenko, Mikhail. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331148.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5113-5
Format: Electronic Resources
Availability Online Library~1

Towards Adaptive Spoken Dialog Systems

2026-04-26T14:36:10Z

Author Schmitt, Alexander. author. Minker, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331545.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-4593-7
Format: Electronic Resources
Availability Online Library~1

3D Biometrics : systems and applications

2026-04-26T14:36:10Z

Author Zhang, David. author. Lu, Guangming. author.
Preferred Shelf Number QH323.5 Z43 2013
Format: Books
Availability Beytepe Library~1

Combinatorial Search: From Algorithms to Systems

2026-04-26T14:36:10Z

Author Hamadi, Youssef. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335109.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41482-4
Format: Electronic Resources
Availability Online Library~1

3D Biometrics Systems and Applications

2026-04-26T14:36:10Z

Author Zhang, David. author. Lu, Guangming. author.
Preferred Shelf Number XX(373823.2)
Electronic Access http://link.springer.com/book/10.1007%2F978-1-4614-7400-5
Format: Books
Availability Online Library~1

Semantic Models for Adaptive Interactive Systems

2026-04-26T14:36:10Z

Author Hussein, Tim. editor. Paulheim, Heiko. editor. Lukosch, Stephan. editor. Ziegler, Jürgen. editor. Calvary, Gaëlle. editor.
Preferred Shelf Number ONLINE(331188.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5301-6
Format: Electronic Resources
Availability Online Library~1

Embedded Systems Design with FPGAs

2026-04-26T14:36:10Z

Author Athanas, Peter. editor. Pnevmatikatos, Dionisios. editor. Sklavos, Nicolas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331266.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-1362-2
Format: Electronic Resources
Availability Online Library~1

Handbook of Signal Processing Systems

2026-04-26T14:36:10Z

Author Bhattacharyya, Shuvra S. editor. Deprettere, Ed F. editor. Leupers, Rainer. editor. Takala, Jarmo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332139.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-6859-2
Format: Electronic Resources
Availability Online Library~1

Computer Performance Optimization Systems - Applications - Processes

2026-04-26T14:36:10Z

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

Distributed Algorithms for Message-Passing Systems

2026-04-26T14:36:10Z

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

Agent-Based Modelling of Socio-Technical Systems

2026-04-26T14:36:10Z

Author Dam, Koen H. editor. Nikolic, Igor. editor. Lukszo, Zofia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335852.1)
Electronic Access http://dx.doi.org/10.1007/978-94-007-4933-7
Format: Electronic Resources
Availability Online Library~1

agendaCPS Integrierte Forschungsagenda Cyber-Physical Systems

2026-04-26T14:36:10Z

Author Geisberger, Eva. editor. Broy, Manfred. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29099-2
Format: Electronic Resources
Availability Online Library~1

Design Technology for Heterogeneous Embedded Systems

2026-04-26T14:36:10Z

Author Nicolescu, Gabriela. editor. O'Connor, Ian. editor. Piguet, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-1125-9
Format: Electronic Resources
Availability Online Library~1

Stochastic Reachability Analysis of Hybrid Systems

2026-04-26T14:36:10Z

Author Bujorianu, Luminita Manuela. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2795-6
Format: Electronic Resources
Availability Online Library~1

Utility Maximization in Nonconvex Wireless Systems

2026-04-26T14:36:10Z

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

Recommender Systems for Social Tagging Systems

2026-04-26T14:36:10Z

Author Balby Marinho, Leandro. author. Hotho, Andreas. author. Jäschke, Robert. author. Nanopoulos, Alexandros. author. Rendle, Steffen. author.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-1894-8
Format: Electronic Resources
Availability Online Library~1

The Design of Cloud Workflow Systems

2026-04-26T14:36:10Z

Author Liu, Xiao. author. Yuan, Dong. author. Zhang, Gaofeng. author. Li, Wenhao. author. Cao, Dahai. author.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-1933-4
Format: Electronic Resources
Availability Online Library~1

Microelectronic Systems Circuits, Systems and Applications

2026-04-26T14:36:10Z

Author Heuberger, Albert. editor. Elst, Günter. editor. Hanke, Randolf. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23071-4
Format: Electronic Resources
Availability Online Library~1

Emotion-Oriented Systems The Humaine Handbook

2026-04-26T14:36:10Z

Author Cowie, Roddy. editor. Pelachaud, Catherine. editor. Petta, Paolo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15184-2
Format: Electronic Resources
Availability Online Library~1

Dependability of Networked Computer-based Systems

2026-04-26T14:36:10Z

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

Reframing Humans in Information Systems Development

2026-04-26T14:36:10Z

Author Isomäki, Hannakaisa. editor. Pekkola, Samuli. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84996-347-3
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Systems Biology XIII

2026-04-26T14:36:10Z

Author Priami, Corrado. editor. Back, Ralph-Johan. editor. Petre, Ion. editor. Vink, Erik. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19748-2
Format: Electronic Resources
Availability Online Library~1

Information Systems Development Asian Experiences

2026-04-26T14:36:10Z

Author Song, William Wei. editor. Xu, Shenghua. editor. Wan, Changxuan. editor. Zhong, Yuansheng. editor. Wojtkowski, Wita. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-7355-9
Format: Electronic Resources
Availability Online Library~1

Spoken Dialogue Systems Technology and Design

2026-04-26T14:36:10Z

Author Minker, Wolfgang. editor. Lee, Gary Geunbae. editor. Nakamura, Satoshi. editor. Mariani, Joseph. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-7934-6
Format: Electronic Resources
Availability Online Library~1

The Science of Service Systems

2026-04-26T14:36:10Z

Author Demirkan, Haluk. editor. Spohrer, James C. editor. Krishna, Vikas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-8270-4
Format: Electronic Resources
Availability Online Library~1

Brain Inspired Cognitive Systems 2008

2026-04-26T14:36:10Z

Author Hussain, Amir. editor. Aleksander, Igor. editor. Smith, Leslie S. editor. Barros, Allan Kardec. editor. Chrisley, Ron. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-79100-5
Format: Electronic Resources
Availability Online Library~1

Intentional Perspectives on Information Systems Engineering

2026-04-26T14:36:10Z

Author Nurcan, Selmin. editor. Salinesi, Camille. editor. Souveyet, Carine. editor. Ralyté, Jolita. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12544-7
Format: Electronic Resources
Availability Online Library~1

Handbook of Signal Processing Systems

2026-04-26T14:36:10Z

Author Bhattacharyya, Shuvra S. editor. Deprettere, Ed F. editor. Leupers, Rainer. editor. Takala, Jarmo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-6345-1
Format: Electronic Resources
Availability Online Library~1

Temporal Information Systems in Medicine

2026-04-26T14:36:10Z

Author Combi, Carlo. author. Keravnou-Papailiou, Elpida. author. Shahar, Yuval. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-6543-1
Format: Electronic Resources
Availability Online Library~1

The Engineering of Mixed Reality Systems

2026-04-26T14:36:10Z

Author Dubois, Emmanuel. editor. Gray, Philip. editor. Nigay, Laurence. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84882-733-2
Format: Electronic Resources
Availability Online Library~1

Complex Intelligent Systems and Their Applications

2026-04-26T14:36:10Z

Author Xhafa, Fatos. editor. Barolli, Leonard. editor. Papajorgji, Petraq J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-1636-5
Format: Electronic Resources
Availability Online Library~1

Frontiers in Computational and Systems Biology

2026-04-26T14:36:10Z

Author Feng, Jianfeng. editor. Fu, Wenjiang. editor. Sun, Fengzhu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84996-196-7
Format: Electronic Resources
Availability Online Library~1

Cloud Computing Principles, Systems and Applications

2026-04-26T14:36:10Z

Author Antonopoulos, Nick. editor. Gillam, Lee. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84996-241-4
Format: Electronic Resources
Availability Online Library~1

Open Source Systems Security Certification

2026-04-26T14:36:10Z

Author Damiani, Ernesto. author. Ardagna, Claudio Agostino. author. El Ioini, Nabil. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-77324-7
Format: Electronic Resources
Availability Online Library~1

Intelligent Engineering Systems and Computational Cybernetics

2026-04-26T14:36:10Z

Author Machado, J. A. Tenreiro. editor. Pátkai, Béla. editor. Rudas, Imre J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-8678-6
Format: Electronic Resources
Availability Online Library~1

Software Engineering for Self-Adaptive Systems

2026-04-26T14:36:10Z

Author Cheng, Betty H. C. editor. Lemos, Rogério. editor. Giese, Holger. editor. Inverardi, Paola. editor. Magee, Jeff. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02161-9
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Systems Biology XI

2026-04-26T14:36:10Z

Author Priami, Corrado. editor. Back, Ralph-Johan. editor. Petre, Ion. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04186-0
Format: Electronic Resources
Availability Online Library~1

Advances in Modeling Agricultural Systems

2026-04-26T14:36:10Z

Author Pardalos, Panos M. editor. Papajorgji, Petraq J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-75181-8
Format: Electronic Resources
Availability Online Library~1

Distributed Intelligent Systems A Coordination Perspective

2026-04-26T14:36:10Z

Author Bedrouni, Abdellah. author. Mittu, Ranjeev. author. Boukhtouta, A. author. Berger, Jean. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-77702-3
Format: Electronic Resources
Availability Online Library~1

Signals and Systems with MATLAB

2026-04-26T14:36:10Z

Author Yang, Won Young. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-92954-3
Format: Electronic Resources
Availability Online Library~1

Spatial Awareness of Autonomous Embedded Systems

2026-04-26T14:36:10Z

Author Holzmann, Clemens. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-8348-9569-1
Format: Electronic Resources
Availability Online Library~1

Advanced Agent-Based Environmental Management Systems

2026-04-26T14:36:10Z

Author Cortés, Ulises. editor. Poch, Manel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-7643-8900-0
Format: Electronic Resources
Availability Online Library~1

Human Factors and Voice Interactive Systems

2026-04-26T14:36:10Z

Author Gardner-Bonneau, Daryle. author. Blanchard, Harry E. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-68439-0
Format: Electronic Resources
Availability Online Library~1

Lean Business Systems and Beyond

2026-04-26T14:36:10Z

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

Transactions on Computational Systems Biology X

2026-04-26T14:36:10Z

Author Priami, Corrado. editor. Dressler, Falko. editor. Akan, Ozgur B. editor. Ngom, Alioune. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-92273-5
Format: Electronic Resources
Availability Online Library~1

Temporal Logic and State Systems

2026-04-26T14:36:10Z

Author Kröger, Fred. author. Merz, Stephan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68635-4
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Systems Biology IX

2026-04-26T14:36:10Z

Author Priami, Corrado. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-88765-2
Format: Electronic Resources
Availability Online Library~1

Advances in Applied Self-organizing Systems

2026-04-26T14:36:10Z

Author Prokopenko, Mikhail. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-982-8
Format: Electronic Resources
Availability Online Library~1

Networked RFID Systems, Software and Services

2026-04-26T14:36:10Z

Author Roussos, George. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84800-153-4
Format: Electronic Resources
Availability Online Library~1

Conceptual Modelling in Information Systems Engineering

2026-04-26T14:36:10Z

Author Krogstie, John. editor. Opdahl, Andreas Lothe. editor. Brinkkemper, Sjaak. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72677-7
Format: Electronic Resources
Availability Online Library~1

Technologies for Business Information Systems

2026-04-26T14:36:10Z

Author Abramowicz, Witold. editor. Mayr, Heinrich C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-5634-6
Format: Electronic Resources
Availability Online Library~1

Conceptual Modeling of Information Systems

2026-04-26T14:36:10Z

Author Olivé, Antoni. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-39390-0
Format: Electronic Resources
Availability Online Library~1

Electronic Postage Systems Technology, Security, Economics

2026-04-26T14:36:10Z

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

Transactions on Computational Systems Biology VIII

2026-04-26T14:36:10Z

Author Priami, Corrado. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-76639-1
Format: Electronic Resources
Availability Online Library~1

Evaluation of Text and Speech Systems

2026-04-26T14:36:10Z

Author Dybkjær, Laila. Hemsen, Holmer. Minker, Wolfgang. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-5817-2
Format: Electronic Resources
Availability Online Library~1

Secure Data Management in Decentralized Systems

2026-04-26T14:36:10Z

Author Yu, Ting. editor. Jajodia, Sushil. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-27696-0
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Systems Biology IV

2026-04-26T14:36:10Z

Author Priami, Corrado. editor. Cardelli, Luca. editor. Emmott, Stephen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11732488
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Systems Biology VII

2026-04-26T14:36:10Z

Author Priami, Corrado. editor. Ingólfsdóttir, Anna. editor. Mishra, Bud. editor. Riis Nielson, Hanne. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11905455
Format: Electronic Resources
Availability Online Library~1

M-Health Emerging Mobile Health Systems

2026-04-26T14:36:10Z

Author Istepanian, Robert S. H. editor. Laxminarayan, Swamy. editor. Pattichis, Constantinos S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137697
Format: Electronic Resources
Availability Online Library~1

Coordination of Large-Scale Multiagent Systems

2026-04-26T14:36:10Z

Author Scerri, Paul. editor. Vincent, Régis. editor. Mailler, Roger. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-27972-5
Format: Electronic Resources
Availability Online Library~1

Embedded Systems – Modeling, Technology, and Applications

2026-04-26T14:36:10Z

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

Transactions on Computational Systems Biology V

2026-04-26T14:36:10Z

Author Priami, Corrado. editor. Hu, Xiaohua. editor. Pan, Yi. editor. Lin, Tsau Young. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11790105
Format: Electronic Resources
Availability Online Library~1

SmartKom: Foundations of Multimodal Dialogue Systems

2026-04-26T14:36:10Z

Author Wahlster, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-36678-4
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Systems Biology VI

2026-04-26T14:36:10Z

Author Priami, Corrado. editor. Plotkin, Gordon. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11880646
Format: Electronic Resources
Availability Online Library~1

Information Systems Reengineering and Integration

2026-04-26T14:36:10Z

Author Fong, Joseph F. P. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-619-3
Format: Electronic Resources
Availability Online Library~1

Advances in Natural Multimodal Dialogue Systems

2026-04-26T14:36:10Z

Author Kuppevelt, Jan C. J. Dybkjær, Laila. Bernsen, Niels Ole. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-3933-6
Format: Electronic Resources
Availability Online Library~1

Virtual Organizations Systems and Practices

2026-04-26T14:36:10Z

Author Camarinha-Matos, Luis M. editor. Afsarmanesh, Hamideh. editor. Ollus, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b102339
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Systems Biology III

2026-04-26T14:36:10Z

Author Priami, Corrado. editor. Merelli, Emanuela. editor. Gonzalez, Pablo. editor. Omicini, Andrea. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11599128
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Systems Biology II

2026-04-26T14:36:10Z

Author Priami, Corrado. editor. Zelikovsky, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11567752
Format: Electronic Resources
Availability Online Library~1

Information Processing and Security Systems

2026-04-26T14:36:10Z

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

Secure Systems Development with UML

2026-04-26T14:36:10Z

Author Jürjens, Jan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137706
Format: Electronic Resources
Availability Online Library~1

Dynamical Systems Examples of Complex Behaviour

2026-04-26T14:36:10Z

Author Jost, Jürgen. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-28889-9
Format: Electronic Resources
Availability Online Library~1

Socionics Scalability of Complex Social Systems

2026-04-26T14:36:10Z

Author Fischer, Klaus. editor. Florian, Michael. editor. Malsch, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11594116
Format: Electronic Resources
Availability Online Library~1

Peer-to-Peer Systems and Applications

2026-04-26T14:36:10Z

Author Steinmetz, Ralf. editor. Wehrle, Klaus. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11530657
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Systems Biology I

2026-04-26T14:36:10Z

Author Priami, Corrado. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b107357
Format: Electronic Resources
Availability Online Library~1

Evolutionary Synthesis of Pattern Recognition Systems

2026-04-26T14:36:10Z

Author Bhanu, Bir. author. Lin, Yingqiang. author. Krawiec, Krzysztof. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b105515
Format: Electronic Resources
Availability Online Library~1

Design of Embedded Control Systems

2026-04-26T14:36:10Z

Author Adamski, Marian Andrzej. author. Karatkevich, Andrei. author. Wegrzyn, Marek. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-28327-7
Format: Electronic Resources
Availability Online Library~1

Validated Designs for Object-oriented Systems

2026-04-26T14:36:10Z

Author Fitzgerald, John. author. Larsen, Peter Gorm. author. Mukherjee, Paul. author. Plat, Nico. author. Verhoef, Marcel. author.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138800
Format: Electronic Resources
Availability Online Library~1

General systems theory mathematical foundations

2026-04-26T14:36:10Z

Author Mesarović, Mihajlo D. Takahara, Yasuhiko, 1935-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780124915404
Format: Electronic Resources
Availability Online Library~1

Advances in Information Systems Development Designing Digitalization

2026-04-26T14:36:10Z

Author Andersson, Bo. editor. Johansson, Björn. editor. Barry, Chris. editor. (orcid)0000-0002-3664-8429 Lang, Michael. editor. (orcid)0000-0001-7961-2285 Linger, Henry. editor. (orcid)0000-0002-0400-1786
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-22993-1
Format: Electronic Resources
Availability Online Library~1

An Operator Perspective on Signals and Systems

2026-04-26T14:36:10Z

Author Frazho, Arthur E. author. Bhosri, Wisuwat. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-0346-0292-1
Format: Electronic Resources
Availability Online Library~1

Embedded System Design Embedded Systems Foundations of Cyber-Physical Systems, and the Internet of Things

2026-04-26T14:36:10Z

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

Embedded Systems for Smart Appliances and Energy Management

2026-04-26T14:36:10Z

Author Grimm, Christoph. editor. Neumann, Peter. editor. Mahlknecht, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330846.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4419-8795-2
Format: Electronic Resources
Availability Online Library~1

Dynamic Reconfiguration in Real-Time Systems Energy, Performance, and Thermal Perspectives

2026-04-26T14:36:10Z

Author Wang, Weixun. author. Mishra, Prabhat. author. Ranka, Sanjay. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331237.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-0278-7
Format: Electronic Resources
Availability Online Library~1

Modern Optimization Techniques with Applications in Electric Power Systems

2026-04-26T14:36:10Z

Author Soliman, Soliman Abdel-Hady. author. Mantawy, Abdel-Aal Hassan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-1752-1
Format: Electronic Resources
Availability Online Library~1

Organic Computing — A Paradigm Shift for Complex Systems

2026-04-26T14:36:10Z

Author Müller-Schloer, Christian. editor. Schmeck, Hartmut. editor. Ungerer, Theo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-0348-0130-0
Format: Electronic Resources
Availability Online Library~1

Worst-Case Execution Time Aware Compilation Techniques for Real-Time Systems

2026-04-26T14:36:10Z

Author Lokuciejewski, Paul. author. Marwedel, Peter. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-90-481-9929-7
Format: Electronic Resources
Availability Online Library~1

Run-time Models for Self-managing Systems and Applications

2026-04-26T14:36:10Z

Author Ardagna, Danilo. editor. Zhang, Li. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-0346-0433-8
Format: Electronic Resources
Availability Online Library~1

Handbook of Dynamic Data Driven Applications Systems

2026-04-26T14:36:10Z

Author Blasch, Erik. editor. Ravela, Sai. editor. Aved, Alex. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-95504-9
Format: Electronic Resources
Availability Online Library~1

Embedded Flash Memory for Embedded Systems: Technology, Design for Sub-systems, and Innovations

2026-04-26T14:36:10Z

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

Self-aware Computing Systems An Engineering Approach

2026-04-26T14:36:10Z

Author Lewis, Peter R. editor. Platzner, Marco. editor. Rinner, Bernhard. editor. Tørresen, Jim. editor. Yao, Xin. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-39675-0
Format: Electronic Resources
Availability Online Library~1

Embedded Multimedia Security Systems Algorithms and Architectures

2026-04-26T14:36:10Z

Author Pande, Amit. author. Zambreno, Joseph. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330984.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4459-5
Format: Electronic Resources
Availability Online Library~1

Persuasive Recommender Systems Conceptual Background and Implications

2026-04-26T14:36:10Z

Author Yoo, Kyung-Hyan. author. Gretzel, Ulrike. author. Zanker, Markus. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331567.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-4702-3
Format: Electronic Resources
Availability Online Library~1

Introducing Spoken Dialogue Systems into Intelligent Environments

2026-04-26T14:36:10Z

Author Heinroth, Tobias. author. Minker, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331758.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-5383-3
Format: Electronic Resources
Availability Online Library~1

Model-based Health Monitoring of Hybrid Systems

2026-04-26T14:36:10Z

Author Wang, Danwei. author. Yu, Ming. author. Low, Chang Boon. author. Arogeti, Shai. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332270.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-7369-5
Format: Electronic Resources
Availability Online Library~1

Modelling Computing Systems Mathematics for Computer Science

2026-04-26T14:36:10Z

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

Model-Driven Dependability Assessment of Software Systems

2026-04-26T14:36:10Z

Author Bernardi, Simona. author. Merseguer, José. author. Petriu, Dorina Corina. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334812.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39512-3
Format: Electronic Resources
Availability Online Library~1

Enterprise Systems Integration A Process-Oriented Approach

2026-04-26T14:36:10Z

Author Ferreira, Diogo R. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335006.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40796-3
Format: Electronic Resources
Availability Online Library~1

Self-Organization in Embedded Real-Time Systems

2026-04-26T14:36:10Z

Author Higuera-Toledano, M. Teresa. editor. Brinkschulte, Uwe. editor. Rettberg, Achim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331293.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-1969-3
Format: Electronic Resources
Availability Online Library~1

Data Mining Applications Using Artificial Adaptive Systems

2026-04-26T14:36:10Z

Author Tastle, William J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331453.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-4223-3
Format: Electronic Resources
Availability Online Library~1

Abstraction in Artificial Intelligence and Complex Systems

2026-04-26T14:36:10Z

Author Saitta, Lorenza. author. Zucker, Jean-Daniel. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332194.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-7052-6
Format: Electronic Resources
Availability Online Library~1

Parallel Programming for Multicore and Cluster Systems

2026-04-26T14:36:10Z

Author Rauber, Thomas. author. Rünger, Gudula. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334484.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37801-0
Format: Electronic Resources
Availability Online Library~1

Agent-Based Approaches in Economic and Social Complex Systems VII Post-Proceedings of The AESCS International Workshop 2012

2026-04-26T14:36:10Z

Author Murata, Tadahiko. editor. Terano, Takao. editor. Takahashi, Shingo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335409.1)
Electronic Access http://dx.doi.org/10.1007/978-4-431-54279-7
Format: Electronic Resources
Availability Online Library~1

Resilience Assessment and Evaluation of Computing Systems

2026-04-26T14:36:10Z

Author Wolter, Katinka. editor. Avritzer, Alberto. editor. Vieira, Marco. editor. van Moorsel, Aad. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29032-9
Format: Electronic Resources
Availability Online Library~1

Quantifying Quality Aspects of Multimodal Interactive Systems

2026-04-26T14:36:10Z

Author Kühnel, Christine. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29602-4
Format: Electronic Resources
Availability Online Library~1

High Performance Computing on Vector Systems 2011

2026-04-26T14:36:10Z

Author Resch, Michael. editor. Wang, Xin. editor. Bez, Wolfgang. editor. Focht, Erich. editor. Kobayashi, Hiroaki. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22244-3
Format: Electronic Resources
Availability Online Library~1

Computational Intelligence Systems in Industrial Engineering With Recent Theory and Applications

2026-04-26T14:36:10Z

Author Kahraman, Cengiz. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.2991/978-94-91216-77-0
Format: Electronic Resources
Availability Online Library~1

Domain-Level Reasoning for Spoken Dialogue Systems

2026-04-26T14:36:10Z

Author Bühler, Dirk. author. Minker, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-9728-9
Format: Electronic Resources
Availability Online Library~1

Next Generation Intelligent Environments Ambient Adaptive Systems

2026-04-26T14:36:10Z

Author Minker, Wolfgang. editor. Heinroth, Tobias. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-1299-1
Format: Electronic Resources
Availability Online Library~1

Multiprocessor Systems on Chip Design Space Exploration

2026-04-26T14:36:10Z

Author Kempf, Torsten. author. Ascheid, Gerd. author. Leupers, Rainer. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-8153-0
Format: Electronic Resources
Availability Online Library~1

Real-Time Systems Design Principles for Distributed Embedded Applications

2026-04-26T14:36:10Z

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

Principles of Distributed Database Systems, Third Edition

2026-04-26T14:36:10Z

Author Özsu, M. Tamer. author. Valduriez, Patrick. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-8834-8
Format: Electronic Resources
Availability Online Library~1

Hard Real-Time Computing Systems Predictable Scheduling Algorithms and Applications

2026-04-26T14:36:10Z

Author Buttazzo, Giorgio C. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-0676-1
Format: Electronic Resources
Availability Online Library~1

Designing a New Class of Distributed Systems

2026-04-26T14:36:10Z

Author Mikkilineni, Rao. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-1924-2
Format: Electronic Resources
Availability Online Library~1

Architecture-Based Design of Multi-Agent Systems

2026-04-26T14:36:10Z

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

Parallel Programming For Multicore and Cluster Systems

2026-04-26T14:36:10Z

Author Rauber, Thomas. author. Rünger, Gudula. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04818-0
Format: Electronic Resources
Availability Online Library~1

Natural Deduction, Hybrid Systems and Modal Logics

2026-04-26T14:36:10Z

Author Indrzejczak, Andrzej. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-90-481-8785-0
Format: Electronic Resources
Availability Online Library~1

Web-Based Information Technologies and Distributed Systems

2026-04-26T14:36:10Z

Author Gabillon, Alban. author. Sheng, Quan Z. author. Mansoor, Wathiq. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.2991/978-94-91216-32-9
Format: Electronic Resources
Availability Online Library~1

Specification and Verification of Multi-agent Systems

2026-04-26T14:36:10Z

Author Dastani, Mehdi. editor. Hindriks, Koen V. editor. Meyer, John-Jules Charles. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-6984-2
Format: Electronic Resources
Availability Online Library~1

High Performance Computing on Vector Systems 2009

2026-04-26T14:36:10Z

Author Resch, Michael. editor. Roller, Sabine. editor. Benkert, Katharina. editor. Galle, Martin. editor. Bez, Wolfgang. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03913-3
Format: Electronic Resources
Availability Online Library~1

High Performance Computing on Vector Systems 2010

2026-04-26T14:36:10Z

Author Resch, Michael. editor. Benkert, Katharina. editor. Wang, Xin. editor. Galle, Martin. editor. Bez, Wolfgang. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11851-7
Format: Electronic Resources
Availability Online Library~1

Social Learning Systems and Communities of Practice

2026-04-26T14:36:10Z

Author Blackmore, Chris. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84996-133-2
Format: Electronic Resources
Availability Online Library~1

Thriving Systems Theory and Metaphor-Driven Modeling

2026-04-26T14:36:10Z

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

Human-Computer Systems Interaction Backgrounds and Applications

2026-04-26T14:36:10Z

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

High Performance Computing on Vector Systems 2008

2026-04-26T14:36:10Z

Author Resch, Michael. editor. Roller, Sabine. editor. Benkert, Katharina. editor. Galle, Martin. editor. Bez, Wolfgang. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-85869-0
Format: Electronic Resources
Availability Online Library~1

Empfehlungssysteme Recommender Systems — Grundlagen, Konzepte und Lösungen

2026-04-26T14:36:10Z

Author Klahold, André. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-8348-9558-5
Format: Electronic Resources
Availability Online Library~1

Performance Evaluation and Benchmarking of Intelligent Systems

2026-04-26T14:36:10Z

Author Madhavan, Raj. editor. Tunstel, Edward. editor. Messina, Elena. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-0492-8
Format: Electronic Resources
Availability Online Library~1

Stochastic Discrete Event Systems Modeling, Evaluation, Applications

2026-04-26T14:36:10Z

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

High Performance Computing on Vector Systems 2007

2026-04-26T14:36:10Z

Author Resch, Michael. editor. Roller, Sabine. editor. Lammers, Peter. editor. Furui, Toshiyuki. editor. Galle, Martin. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74384-2
Format: Electronic Resources
Availability Online Library~1

Distributed Embedded Systems: Design, Middleware and Resources

2026-04-26T14:36:10Z

Author Kleinjohann, Bernd. editor. Wolf, Wayne. editor. Kleinjohann, Lisa. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-09661-2
Format: Electronic Resources
Availability Online Library~1

Advances in Biometrics Sensors, Algorithms and Systems

2026-04-26T14:36:10Z

Author Ratha, Nalini K. editor. Govindaraju, Venu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-921-7
Format: Electronic Resources
Availability Online Library~1

Evolving Connectionist Systems The Knowledge Engineering Approach

2026-04-26T14:36:10Z

Author Kasabov, Nikola. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-347-5
Format: Electronic Resources
Availability Online Library~1

Distributed Multimedia Retrieval Strategies for Large Scale Networked Systems

2026-04-26T14:36:10Z

Author Veeravalli, Bharadwaj. author. Barlas, Gerassimos. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-29675-3
Format: Electronic Resources
Availability Online Library~1

Field-Based Coordination for Pervasive Multiagent Systems

2026-04-26T14:36:10Z

Author Mamei, Marco. author. Zambonelli, Franco. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-27969-5
Format: Electronic Resources
Availability Online Library~1

Rigorous Development of Complex Fault-Tolerant Systems

2026-04-26T14:36:10Z

Author Butler, Michael. editor. Jones, Cliff B. editor. Romanovsky, Alexander. editor. Troubitsyna, Elena. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11916246
Format: Electronic Resources
Availability Online Library~1

DSP for In-Vehicle and Mobile Systems

2026-04-26T14:36:10Z

Author Abut, Hüseyin. editor. Hansen, John H.L. editor. Takeda, Kazuya. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b100283
Format: Electronic Resources
Availability Online Library~1

Quality of Telephone-Based Spoken Dialogue Systems

2026-04-26T14:36:10Z

Author Möller, Sebastian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b100796
Format: Electronic Resources
Availability Online Library~1

Engineering Self-Organising Systems Methodologies and Applications

2026-04-26T14:36:10Z

Author Brueckner, Sven A. editor. Marzo Serugendo, Giovanna. editor. Karageorgos, Anthony. editor. Nagpal, Radhika. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136984
Format: Electronic Resources
Availability Online Library~1

Soft Real-Time Systems Predictability vs. Efficiency

2026-04-26T14:36:10Z

Author Buttazzo, Giorgio. author. Lipari, Giuseppe. author. Abeni, Luca. author. Caccamo, Marco. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-28147-9
Format: Electronic Resources
Availability Online Library~1

Distributed Network Systems From Concepts to Implementations

2026-04-26T14:36:10Z

Author Jia, Weijia. author. Zhou, Wanlei. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b102545
Format: Electronic Resources
Availability Online Library~1

Biometric Systems Technology, Design and Performance Evaluation

2026-04-26T14:36:10Z

Author Wayman, James. editor. Jain, Anil. editor. Maltoni, Davide. editor. Maio, Dario. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138151
Format: Electronic Resources
Availability Online Library~1

Designing Virtual Reality Systems The Structured Approach

2026-04-26T14:36:10Z

Author Kim, Gerard Jounghyun. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-230-0
Format: Electronic Resources
Availability Online Library~1

Implementing Distributed Systems with Java and CORBA

2026-04-26T14:36:10Z

Author Aleksy, Markus. author. Korthaus, Axel. author. Schader, Martin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-28047-2
Format: Electronic Resources
Availability Online Library~1

Agent-Based Simulation: From Modeling Methodologies to Real-World Applications Post-Proceedings of the Third International Workshop on Agent-Based Approaches in Economic and Social Complex Systems 2004

2026-04-26T14:36:10Z

Author Terano, Takao. editor. Kita, Hajime. editor. Kaneda, Toshiyuki. editor. Arai, Kiyoshi. editor. Deguchi, Hiroshi. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138317
Format: Electronic Resources
Availability Online Library~1

Abstraction, Refinement and Proof for Probabilistic Systems

2026-04-26T14:36:10Z

Author McIver, Annabelle. author. Morgan, Carroll. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138392
Format: Electronic Resources
Availability Online Library~1

Advances in Human Factors, Software, and Systems Engineering Proceedings of the AHFE 2017 International Conference on Human Factors, Software, and Systems Engineering, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA

2026-04-26T14:36:10Z

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

Human-Computer Systems Interaction Backgrounds and Applications 4

2026-04-26T14:36:10Z

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

Advances in Human Factors and Systems Interaction Proceedings of the AHFE 2017 International Conference on Human Factors and Systems Interaction, July 17−21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA

2026-04-26T14:36:10Z

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

Advances in Human Factors in Robots and Unmanned Systems Proceedings of the AHFE 2017 International Conference on Human Factors in Robots and Unmanned Systems, July 17−21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA

2026-04-26T14:36:10Z

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

International Proceedings on Advances in Soft Computing, Intelligent Systems and Applications ASISA 2016

2026-04-26T14:36:10Z

Author Reddy, M. Sreenivasa. editor. Viswanath, K. editor. K.M., Shiva Prasad. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-5272-9
Format: Electronic Resources
Availability Online Library~1

Intelligent Human Systems Integration Proceedings of the 1st International Conference on Intelligent Human Systems Integration (IHSI 2018): Integrating People and Intelligent Systems, January 7-9, 2018, Dubai, United Arab Emirates

2026-04-26T14:36:10Z

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

Design Research in Information Systems Theory and Practice

2026-04-26T14:36:10Z

Author Hevner, Alan. author. Chatterjee, Samir. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-5653-8
Format: Electronic Resources
Availability Online Library~1

Uniform Output Regulation of Nonlinear Systems A Convergent Dynamics Approach

2026-04-26T14:36:10Z

Author Pavlov, Alexey. author. Wouw, Nathan. author. Nijmeijer, Henk. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-8176-4465-2
Format: Electronic Resources
Availability Online Library~1

Innovation and Future of Enterprise Information Systems ERP Future 2012 Conference, Salzburg, Austria, November 2012, Revised Papers

2026-04-26T14:36:10Z

Author Piazolo, Felix. editor. Felderer, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334344.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37021-2
Format: Electronic Resources
Availability Online Library~1

Haptic Interaction with Deformable Objects Modelling VR Systems for Textiles

2026-04-26T14:36:10Z

Author Böttcher, Guido. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-85729-935-2
Format: Electronic Resources
Availability Online Library~1

Periodic Review Inventory Systems Performance Analysis and Optimization of Inventory Systems within Supply Chains

2026-04-26T14:36:10Z

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

Invariants of Behavior Constancy and Variability in Neural Systems

2026-04-26T14:36:10Z

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

Agent-Based Approaches in Economic and Social Complex Systems IV Post-Proceedings of The AESCS International Workshop 2005

2026-04-26T14:36:10Z

Author Terano, Takao. editor. Kita, Hajime. editor. Deguchi, Hiroshi. editor. Kijima, Kyoichi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-4-431-71307-4
Format: Electronic Resources
Availability Online Library~1

Terminological Dictionary of Automatic Control, Systems and Robotics

2026-04-26T14:36:10Z

Author Karba, Rihard. author. Kocijan, Juš. author. Bajd, Tadej. author. Žagar Karer, Mojca. author. Karer, Gorazd. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-35755-8
Format: Electronic Resources
Availability Online Library~1

Advanced Information Systems Engineering 30th International Conference, CAiSE 2018, Tallinn, Estonia, June 11-15, 2018, Proceedings

2026-04-26T14:36:10Z

Author Krogstie, John. editor. Reijers, Hajo A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91563-0
Format: Electronic Resources
Availability Online Library~1

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIX Special Issue on Database- and Expert-Systems Applications

2026-04-26T14:36:10Z

Author Hameurlain, Abdelkader. editor. Wagner, Roland. editor. Benslimane, Djamal. editor. (orcid)0000-0001-5700-8060 Damiani, Ernesto. editor. (orcid)0000-0002-9557-6496 Grosky, William I. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-58415-6
Format: Electronic Resources
Availability Online Library~1

Internet and Distributed Computing Systems 10th International Conference, IDCS 2017, Mana Island, Fiji, December 11-13, 2017, Proceedings

2026-04-26T14:36:10Z

Author Fortino, Giancarlo. editor. Ali, A.B.M. Shawkat. editor. Pathan, Mukaddim. editor. Guerrieri, Antonio. editor. Di Fatta, Giuseppe. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-97795-9
Format: Electronic Resources
Availability Online Library~1

Web Information Systems Engineering – WISE 2018 19th International Conference, Dubai, United Arab Emirates, November 12-15, 2018, Proceedings, Part II

2026-04-26T14:36:10Z

Author Hacid, Hakim. editor. (orcid)0000-0003-2265-9343 Cellary, Wojciech. editor. (orcid)0000-0001-8578-4307 Wang, Hua. editor. (orcid)0000-0002-8465-0996 Paik, Hye-Young. editor. (orcid)0000-0003-4425-7388 Zhou, Rui. editor. (orcid)0000-0001-6807-4362
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-02925-8
Format: Electronic Resources
Availability Online Library~1

Foundations of Information and Knowledge Systems 10th International Symposium, FoIKS 2018, Budapest, Hungary, May 14–18, 2018, Proceedings

2026-04-26T14:36:10Z

Author Ferrarotti, Flavio. editor. (orcid)0000-0003-2278-8233 Woltran, Stefan. editor. (orcid)0000-0003-1594-8972 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-90050-6
Format: Electronic Resources
Availability Online Library~1

Web and Wireless Geographical Information Systems 16th International Symposium, W2GIS 2018, A Coruña, Spain, May 21–22, 2018, Proceedings

2026-04-26T14:36:10Z

Author R. Luaces, Miguel. editor. Karimipour, Farid. editor. (orcid)0000-0001-6746-4174 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-90053-7
Format: Electronic Resources
Availability Online Library~1

Electronic Government and the Information Systems Perspective 7th International Conference, EGOVIS 2018, Regensburg, Germany, September 3–5, 2018, Proceedings

2026-04-26T14:36:10Z

Author Kő, Andrea. editor. (orcid)0000-0003-0023-1143 Francesconi, Enrico. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-98349-3
Format: Electronic Resources
Availability Online Library~1

On the Move to Meaningful Internet Systems. OTM 2017 Workshops Confederated International Workshops, EI2N, FBM, ICSP, Meta4eS, OTMA 2017 and ODBASE Posters 2017, Rhodes, Greece, October 23–28, 2017, Revised Selected Papers

2026-04-26T14:36:10Z

Author Debruyne, Christophe. editor. Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 Weichhart, Georg. editor. Bollen, Peter. editor. Ciuciu, Ioana. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-73805-5
Format: Electronic Resources
Availability Online Library~1

Risks and Security of Internet and Systems 12th International Conference, CRiSIS 2017, Dinard, France, September 19-21, 2017, Revised Selected Papers

2026-04-26T14:36:10Z

Author Cuppens, Nora. editor. Cuppens, Frédéric. editor. Lanet, Jean-Louis. editor. (orcid)0000-0002-4751-3941 Legay, Axel. editor. Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-76687-4
Format: Electronic Resources
Availability Online Library~1

Modelling and Simulation for Autonomous Systems 4th International Conference, MESAS 2017, Rome, Italy, October 24-26, 2017, Revised Selected Papers

2026-04-26T14:36:10Z

Author Mazal, Jan. editor. (orcid)0000-0001-5741-558X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-76072-8
Format: Electronic Resources
Availability Online Library~1

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

2026-04-26T14:36:10Z

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

Mobile Web and Intelligent Information Systems 15th International Conference, MobiWIS 2018, Barcelona, Spain, August 6-8, 2018, Proceedings

2026-04-26T14:36:10Z

Author Younas, Muhammad. editor. Awan, Irfan. editor. Ghinea, George. editor. Catalan Cid, Marisa. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-97163-6
Format: Electronic Resources
Availability Online Library~1

Database and Expert Systems Applications 29th International Conference, DEXA 2018, Regensburg, Germany, September 3–6, 2018, Proceedings, Part II

2026-04-26T14:36:10Z

Author Hartmann, Sven. editor. Ma, Hui. editor. Hameurlain, Abdelkader. editor. Pernul, Günther. editor. Wagner, Roland R. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-98812-2
Format: Electronic Resources
Availability Online Library~1

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV Special Issue on Consistency and Inconsistency in Data-Centric Applications

2026-04-26T14:36:10Z

Author Hameurlain, Abdelkader. editor. Küng, Josef. editor. Wagner, Roland. editor. Decker, Hendrik. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-55947-5
Format: Electronic Resources
Availability Online Library~1

Risks and Security of Internet and Systems 11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papers

2026-04-26T14:36:10Z

Author Cuppens, Frédéric. editor. Cuppens, Nora. editor. Lanet, Jean-Louis. editor. Legay, Axel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-54876-0
Format: Electronic Resources
Availability Online Library~1

Cyber Physical Systems. Design, Modeling, and Evaluation 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers

2026-04-26T14:36:10Z

Author Berger, Christian. editor. Mousavi, Mohammad Reza. editor. Wisniewski, Rafael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-51738-4
Format: Electronic Resources
Availability Online Library~1

Modelling and Simulation for Autonomous Systems Third International Workshop, MESAS 2016, Rome, Italy, June 15-16, 2016, Revised Selected Papers

2026-04-26T14:36:10Z

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

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIV Special Issue on Database- and Expert-Systems Applications

2026-04-26T14:36:10Z

Author Hameurlain, Abdelkader. editor. Küng, Josef. editor. Wagner, Roland. editor. Decker, Hendrik. editor. Lhotska, Lenka. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-49214-7
Format: Electronic Resources
Availability Online Library~1

Web Reasoning and Rule Systems 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016, Proceedings

2026-04-26T14:36:10Z

Author Ortiz, Magdalena. editor. Schlobach, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-45276-0
Format: Electronic Resources
Availability Online Library~1

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXVII Special Issue on Big Data for Complex Urban Systems

2026-04-26T14:36:10Z

Author Hameurlain, Abdelkader. editor. Küng, Josef. editor. Wagner, Roland. editor. Anjomshoaa, Amin. editor. Hung, Patrick C. K. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-53416-8
Format: Electronic Resources
Availability Online Library~1

Database Systems for Advanced Applications 19th International Conference, DASFAA 2014, Bali, Indonesia, April 21-24, 2014. Proceedings, Part II

2026-04-26T14:36:10Z

Author Bhowmick, Sourav S. editor. Dyreson, Curtis. editor. Jensen, Christian S. editor. Lee, Mong Li. editor. Muliantara, Agus. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-05813-9
Format: Electronic Resources
Availability Online Library~1

Database Systems for Advanced Applications 19th International Conference, DASFAA 2014, Bali, Indonesia, April 21-24, 2014. Proceedings, Part I

2026-04-26T14:36:10Z

Author Bhowmick, Sourav S. editor. Dyreson, Curtis. editor. Jensen, Christian S. editor. Lee, Mong Li. editor. Muliantara, Agus. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-05810-8
Format: Electronic Resources
Availability Online Library~1

Automatic Calibration and Reconstruction for Active Vision Systems

2026-04-26T14:36:10Z

Author Zhang, Beiwei. author. Li, Y. F. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-2654-3
Format: Electronic Resources
Availability Online Library~1

Materials Issues for Generation IV Systems Status, Open Questions and Challenges

2026-04-26T14:36:10Z

Author Ghetta, Véronique. editor. Gorse, Dominique. editor. Mazière, Dominique. editor. Pontikis, Vassilis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-8422-5
Format: Electronic Resources
Availability Online Library~1

Max-Plus Linear Stochastic Systems and Perturbation Analysis

2026-04-26T14:36:10Z

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

Knowledge and Skill Chains in Engineering and Manufacturing Information Infrastructure in the Era of Global Communications Proceedings of the IFIP TC5/WG5.3, WG5.7, WG5.12 Fifth International Working Conference of Information Infrastructure Systems for Manufacturing 2002 (DIIDM2002), November 18–20, 2002 in Osaka, Japan

2026-04-26T14:36:10Z

Author Arai, Eiji. editor. Kimura, Fumihiko. editor. Goossenaerts, Jan. editor. Shirase, Keiichi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b102979
Format: Electronic Resources
Availability Online Library~1

Autonomy Oriented Computing From Problem Solving to Complex Systems Modeling

2026-04-26T14:36:10Z

Author Liu, Jiming. author. Jin, Xiaolong. author. Tsui, Kwok Ching. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b101185
Format: Electronic Resources
Availability Online Library~1

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II

2026-04-26T14:36:10Z

Author Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-75107-3
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings

2026-04-26T14:36:10Z

Author Kiselyov, Oleg. editor. (orcid)0000-0002-2570-2186 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-8943-6
Format: Electronic Resources
Availability Online Library~1

Testing Software and Systems 36th IFIP WG 6.1 International Conference, ICTSS 2024, London, UK, October 30 - November 1, 2024, Proceedings

2026-04-26T14:36:10Z

Author Menéndez, Héctor D. editor. (orcid)0000-0002-6314-3725 Bello-Orgaz, Gema. editor. (orcid)0000-0003-2826-3286 Barnard, Pepita. editor. (orcid)0000-0003-4518-1207 Bautista, John Robert. editor. (orcid)0000-0002-4892-9543 Farahi, Arya. editor. (orcid)0000-0003-0777-4618
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-80889-0
Format: Electronic Resources
Availability Online Library~1

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

2026-04-26T14:36:10Z

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

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

2026-04-26T14:36:10Z

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

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I

2026-04-26T14:36:10Z

Author Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-90643-5
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part III

2026-04-26T14:36:10Z

Author Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-90660-2
Format: Electronic Resources
Availability Online Library~1

Formal Techniques for Distributed Objects, Components, and Systems 45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proceedings

2026-04-26T14:36:10Z

Author Ferreira, Carla. editor. (orcid)0000-0003-3680-7634 Mezzina, Claudio Antares. editor. (orcid)0000-0003-1556-2623 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-95497-9
Format: Electronic Resources
Availability Online Library~1

PRIMA 2024: Principles and Practice of Multi-Agent Systems 25th International Conference, Kyoto, Japan, November 18-24, 2024, Proceedings

2026-04-26T14:36:10Z

Author Arisaka, Ryuta. editor. (orcid)0000-0003-3203-1517 Sanchez-Anguix, Victor. editor. (orcid)0000-0003-4851-0037 Stein, Sebastian. editor. (orcid)0000-0003-2858-8857 Aydoğan, Reyhan. editor. (orcid)0000-0002-5260-9999 van der Torre, Leon. editor. (orcid)0000-0003-4330-3717
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-77367-9
Format: Electronic Resources
Availability Online Library~1

Advances in Brain Inspired Cognitive Systems 14th International Conference, BICS 2024, Hefei, China, December 6-8, 2024, Proceedings, Part I

2026-04-26T14:36:10Z

Author Hussain, Amir. editor. Jiang, Bo. editor. Ren, Jinchang. editor. Mahmud, Mufti. editor. Yang, Erfu. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-2882-7
Format: Electronic Resources
Availability Online Library~1

Advances in Brain Inspired Cognitive Systems 14th International Conference, BICS 2024, Hefei, China, December 6-8, 2024, Proceedings, Part II

2026-04-26T14:36:10Z

Author Hussain, Amir. editor. Jiang, Bo. editor. Ren, Jinchang. editor. Mahmud, Mufti. editor. Yang, Erfu. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-2885-8
Format: Electronic Resources
Availability Online Library~1

Advanced Information Systems Engineering 37th International Conference, CAiSE 2025, Vienna, Austria, June 16-20, 2025, Proceedings, Part I

2026-04-26T14:36:10Z

Author Krogstie, John. editor. (orcid)0000-0003-4830-1876 Rinderle-Ma, Stefanie. editor. (orcid)0000-0001-5656-6108 Kappel, Gertri. editor. (orcid)0000-0002-4758-9436 Proper, Henderik A. editor. (orcid)0000-0002-7318-2496 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-94569-4
Format: Electronic Resources
Availability Online Library~1

Advanced Information Systems Engineering 37th International Conference, CAiSE 2025, Vienna, Austria, June 16-20, 2025, Proceedings, Part II

2026-04-26T14:36:10Z

Author Krogstie, John. editor. (orcid)0000-0003-4830-1876 Rinderle-Ma, Stefanie. editor. (orcid)0000-0001-5656-6108 Kappel, Gerti. editor. (orcid)0000-0002-4758-9436 Proper, Henderik A. editor. (orcid)0000-0002-7318-2496 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-94571-7
Format: Electronic Resources
Availability Online Library~1

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

2026-04-26T14:36:10Z

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

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II

2026-04-26T14:36:10Z

Author Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-90653-4
Format: Electronic Resources
Availability Online Library~1

Descriptional Complexity of Formal Systems 26th IFIP WG 1.02 International Conference, DCFS 2025, Loughborough, UK, July 22-24, 2025, Proceedings

2026-04-26T14:36:10Z

Author Malcher, Andreas. editor. (orcid)0000-0002-9589-5833 Prigioniero, Luca. editor. (orcid)0000-0001-7163-4965 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-97100-6
Format: Electronic Resources
Availability Online Library~1

Applied Antifragility in Natural Systems From Principles to Applications

2026-04-26T14:36:10Z

Author Axenie, Cristian. author. (orcid)0000-0001-6184-0546 Bauer, Roman. author. (orcid)0000-0002-7268-9359 López Corona, Oliver. author. West, Jeffrey. author. (orcid)0000-0001-9579-4664 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-90391-5
Format: Electronic Resources
Availability Online Library~1

Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XVII International Workshop, COINE 2024, Auckland, New Zealand, May 7, 2024, Revised Selected Papers

2026-04-26T14:36:10Z

Author Cranefield, Stephen. editor. (orcid)0000-0001-5638-1648 Nardin, Luis Gustavo. editor. (orcid)0000-0002-4506-2745 Lloyd, Nathan. editor. (orcid)0000-0002-7127-2500 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-82039-7
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I

2026-04-26T14:36:10Z

Author Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-57246-3
Format: Electronic Resources
Availability Online Library~1

Advances in Brain Inspired Cognitive Systems 13th International Conference, BICS 2023, Kuala Lumpur, Malaysia, August 5-6, 2023, Proceedings

2026-04-26T14:36:10Z

Author Ren, Jinchang. editor. Hussain, Amir. editor. (orcid)0000-0002-8080-082X Liao, Iman Yi. editor. Chen, Rongjun. editor. Huang, Kaizhu. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-1417-9
Format: Electronic Resources
Availability Online Library~1

Cellular Automata and Discrete Complex Systems 30th IFIP WG 1.5 International Workshop, AUTOMATA 2024, Durham, UK, July 22-24, 2024, Proceedings

2026-04-26T14:36:10Z

Author Gadouleau, Maximilien. editor. (orcid)0000-0003-4701-738X Castillo-Ramirez, Alonso. editor. (orcid)0000-0002-2020-8699 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-65887-7
Format: Electronic Resources
Availability Online Library~1

Intelligent Information and Database Systems 16th Asian Conference, ACIIDS 2024, Ras Al Khaimah, UAE, April 15-18, 2024, Proceedings, Part II

2026-04-26T14:36:10Z

Author Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948 Chbeir, Richard. editor. (orcid)0000-0003-4112-1426 Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329 Fujita, Hamido. editor. (orcid)0000-0001-5256-210X Hong, Tzung-Pei. editor. (orcid)0000-0001-7305-6492
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-4985-0
Format: Electronic Resources
Availability Online Library~1

Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings

2026-04-26T14:36:10Z

Author Hillston, Jane. editor. (orcid)0000-0003-4914-9255 Soudjani, Sadegh. editor. Waga, Masaki. editor. (orcid)0000-0001-9360-7490 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-68416-6
Format: Electronic Resources
Availability Online Library~1

Explainable and Transparent AI and Multi-Agent Systems 6th International Workshop, EXTRAAMAS 2024, Auckland, New Zealand, May 6-10, 2024, Revised Selected Papers

2026-04-26T14:36:10Z

Author Calvaresi, Davide. editor. (orcid)0000-0001-9816-7439 Najjar, Amro. editor. (orcid)0000-0001-7784-6176 Omicini, Andrea. editor. (orcid)0000-0002-6655-3869 Aydogan, Reyhan. editor. (orcid)0000-0002-5260-9999 Carli, Rachele. editor. (orcid)0000-0002-8689-285X
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-70074-3
Format: Electronic Resources
Availability Online Library~1

Deep Learning in Smart eHealth Systems Evaluation Leveraging for Parkinson's Disease

2026-04-26T14:36:10Z

Author Channa, Asma. author. Popescu, Nirvana. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-45003-7
Format: Electronic Resources
Availability Online Library~1

Logics and Type Systems in Theory and Practice Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday

2026-04-26T14:36:10Z

Author Capretta, Venanzio. editor. (orcid)0000-0003-1220-7706 Krebbers, Robbert. editor. Wiedijk, Freek. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-61716-4
Format: Electronic Resources
Availability Online Library~1

Intelligent Information and Database Systems 16th Asian Conference, ACIIDS 2024, Ras Al Khaimah, UAE, April 15-18, 2024, Proceedings, Part I

2026-04-26T14:36:10Z

Author Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948 Chbeir, Richard. editor. (orcid)0000-0003-4112-1426 Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329 Fujita, Hamido. editor. (orcid)0000-0001-5256-210X Hong, Tzung-Pei. editor. (orcid)0000-0001-7305-6492
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-4982-9
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Industrial Critical Systems 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings

2026-04-26T14:36:10Z

Author Haxthausen, Anne E. editor. (orcid)0000-0001-7349-8872 Serwe, Wendelin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-68150-9
Format: Electronic Resources
Availability Online Library~1

Advanced Spiking Neural P Systems Models and Applications

2026-04-26T14:36:10Z

Author Peng, Hong. author. (orcid)0000-0002-4736-0164 Wang, Jun. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-5280-5
Format: Electronic Resources
Availability Online Library~1

Engineering Multi-Agent Systems 12th International Workshop, EMAS 2024, Auckland, New Zealand, May 6-7, 2024, Revised Selected Papers

2026-04-26T14:36:10Z

Author Briola, Daniela. editor. (orcid)0000-0003-1994-8929 Cardoso, Rafael C. editor. (orcid)0000-0001-6666-6954 Logan, Brian. editor. (orcid)0000-0003-0648-7107 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-71152-7
Format: Electronic Resources
Availability Online Library~1

Spiking Neural P Systems Theory, Applications and Implementations

2026-04-26T14:36:10Z

Author Zhang, Gexiang. author. (orcid)0000-0001-8034-0977 Verlan, Sergey. author. (orcid)0000-0001-7800-1618 Wu, Tingfang. author. (orcid)0000-0001-8137-2436 Cabarle, Francis George C. author. Xue, Jie. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-9282-5
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II

2026-04-26T14:36:10Z

Author Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-57249-4
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III

2026-04-26T14:36:10Z

Author Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-57256-2
Format: Electronic Resources
Availability Online Library~1

Bioinspired Systems for Translational Applications: From Robotics to Social Engineering 10th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2024, Olhâo, Portugal, June 4-7, 2024, Proceedings, Part II

2026-04-26T14:36:10Z

Author Ferrández Vicente, José Manuel. editor. Val Calvo, Mikel. editor. Adeli, Hojjat. editor. (orcid)0000-0001-5718-1453 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-61137-7
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence for Neuroscience and Emotional Systems 10th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2024, Olhâo, Portugal, June 4-7, 2024, Proceedings, Part I

2026-04-26T14:36:10Z

Author Ferrández Vicente, José Manuel. editor. Val Calvo, Mikel. editor. Adeli, Hojjat. editor. (orcid)0000-0001-5718-1453 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-61140-7
Format: Electronic Resources
Availability Online Library~1

Asynchronous Many-Task Systems and Applications Second International Workshop, WAMTA 2024, Knoxville, TN, USA, February 14-16, 2024, Proceedings

2026-04-26T14:36:10Z

Author Diehl, Patrick. editor. (orcid)0000-0003-3922-8419 Schuchart, Joseph. editor. Valero-Lara, Pedro. editor. Bosilca, George. editor. (orcid)0000-0003-2411-8495 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-61763-8
Format: Electronic Resources
Availability Online Library~1

Advanced Information Systems Engineering 36th International Conference, CAiSE 2024, Limassol, Cyprus, June 3-7, 2024, Proceedings

2026-04-26T14:36:10Z

Author Guizzardi, Giancarlo. editor. (orcid)0000-0002-3452-553X Santoro, Flavia. editor. (orcid)0000-0003-3421-1984 Mouratidis, Haralambos. editor. (orcid)0000-0002-2599-0712 Soffer, Pnina. editor. (orcid)0000-0003-4659-883X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-61057-8
Format: Electronic Resources
Availability Online Library~1

Formal Techniques for Distributed Objects, Components, and Systems 44th IFIP WG 6.1 International Conference, FORTE 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings

2026-04-26T14:36:10Z

Author Castiglioni, Valentina. editor. (orcid)0000-0002-8112-6523 Francalanza, Adrian. editor. (orcid)0000-0003-3829-7391 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-62645-6
Format: Electronic Resources
Availability Online Library~1

Admissible Consensus and Consensualization for Singular Multi-agent Systems

2026-04-26T14:36:10Z

Author Xi, Jianxiang. author. Wang, Le. author. Yang, Xiaogang. author. Gao, Jiuan. author. Lu, Ruitao. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-6990-4
Format: Electronic Resources
Availability Online Library~1

Open Source Systems 15th IFIP WG 2.13 International Conference, OSS 2019, Montreal, QC, Canada, May 26–27, 2019, Proceedings

2026-04-26T14:36:10Z

Author Bordeleau, Francis. editor. Sillitti, Alberto. editor. Meirelles, Paulo. editor. (orcid)0000-0002-8923-2814 Lenarduzzi, Valentina. editor. (orcid)0000-0003-0511-5133 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-20883-7
Format: Electronic Resources
Availability Online Library~1

Big Scientific Data Benchmarks, Architecture, and Systems First Workshop, SDBA 2018, Beijing, China, June 12, 2018, Revised Selected Papers

2026-04-26T14:36:10Z

Author Ren, Rui. editor. Zheng, Chen. editor. Zhan, Jianfeng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-5910-1
Format: Electronic Resources
Availability Online Library~1

Systems, Software and Services Process Improvement 26th European Conference, EuroSPI 2019, Edinburgh, UK, September 18–20, 2019, Proceedings

2026-04-26T14:36:10Z

Author Walker, Alastair. editor. O'Connor, Rory V. editor. Messnarz, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-28005-5
Format: Electronic Resources
Availability Online Library~1

Fuzzy Control, Estimation and Diagnosis Single and Interconnected Systems

2026-04-26T14:36:10Z

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

Future Network Systems and Security 4th International Conference, FNSS 2018, Paris, France, July 9–11, 2018, Proceedings

2026-04-26T14:36:10Z

Author Doss, Robin. editor. (orcid)0000-0001-6143-6850 Piramuthu, Selwyn. editor. Zhou, Wei. editor. (orcid)0000-0002-9965-9870 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94421-0
Format: Electronic Resources
Availability Online Library~1

Operations Research and Enterprise Systems 6th International Conference, ICORES 2017, Porto, Portugal, February 23–25, 2017, Revised Selected Papers

2026-04-26T14:36:10Z

Author Parlier, Greg H. editor. Liberatore, Federico. editor. Demange, Marc. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94767-9
Format: Electronic Resources
Availability Online Library~1

Energy Efficient Embedded Video Processing Systems A Hardware-Software Collaborative Approach

2026-04-26T14:36:10Z

Author Khan, Muhammad Usman Karim. author. Shafique, Muhammad. author. Henkel, Jörg. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61455-7
Format: Electronic Resources
Availability Online Library~1

Computational Methods in Systems Biology 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings

2026-04-26T14:36:10Z

Author Češka, Milan. editor. (orcid)0000-0002-0300-9727 Šafránek, David. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99429-1
Format: Electronic Resources
Availability Online Library~1

The Web Was Done by Amateurs A Reflection on One of the Largest Collective Systems Ever Engineered

2026-04-26T14:36:10Z

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

Testing Software and Systems 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings

2026-04-26T14:36:10Z

Author Medina-Bulo, Inmaculada. editor. Merayo, Mercedes G. editor. Hierons, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99927-2
Format: Electronic Resources
Availability Online Library~1

Secure IT Systems 23rd Nordic Conference, NordSec 2018, Oslo, Norway, November 28-30, 2018, Proceedings

2026-04-26T14:36:10Z

Author Gruschka, Nils. editor. (orcid)0000-0001-7360-8314 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-03638-6
Format: Electronic Resources
Availability Online Library~1