Search Results for applications. - Narrowed by: Computer science.

Engineering Web Applications

2026-05-16T02:27:00Z

Author Casteleyn, Sven. author. Daniel, Florian. author. Dolog, Peter. author. Matera, Maristella. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-92201-8
Format: Electronic Resources
Availability Online Library~1

Securing Biometrics Applications

2026-05-16T02:27:00Z

Author Shoniregun, Charles A. author. Crosier, Stephen. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-69933-2
Format: Electronic Resources
Availability Online Library~1

Sparse Grids and Applications

2026-05-16T02:27:00Z

Author Garcke, Jochen. editor. Griebel, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333475.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-31703-3
Format: Electronic Resources
Availability Online Library~1

Paraconsistency: Logic and Applications

2026-05-16T02:27:00Z

Author Tanaka, Koji. editor. Berto, Francesco. editor. Mares, Edwin. editor. Paoli, Francesco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335759.1)
Electronic Access http://dx.doi.org/10.1007/978-94-007-4438-7
Format: Electronic Resources
Availability Online Library~1

OpenGL Graphics Through Applications

2026-05-16T02:27:00Z

Author Whitrow, Robert. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84800-023-0
Format: Electronic Resources
Availability Online Library~1

Visual Languages and Applications

2026-05-16T02:27:00Z

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

Applications of Membrane Computing

2026-05-16T02:27:00Z

Author Ciobanu, Gabriel. editor. Păun, Gheorghe. editor. Pérez-Jiménez, Mario J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-29937-8
Format: Electronic Resources
Availability Online Library~1

Complex Intelligent Systems and Their Applications

2026-05-16T02:27:00Z

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

Multiscale Optimization Methods and Applications

2026-05-16T02:27:00Z

Author Hager, William W. editor. Huang, Shu-Jen. editor. Pardalos, Panos M. editor. Prokopyev, Oleg A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-29550-X
Format: Electronic Resources
Availability Online Library~1

Turing Computability Theory and Applications

2026-05-16T02:27:00Z

Author Soare, Robert I. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-31933-4
Format: Electronic Resources
Availability Online Library~1

Advances in Sensing with Security Applications

2026-05-16T02:27:00Z

Author Byrnes, Jim. editor. Ostheimer, Gerald. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-4295-7
Format: Electronic Resources
Availability Online Library~1

New Metaheuristic Schemes: Mechanisms and Applications

2026-05-16T02:27:00Z

Author Cuevas, Erik. author. (orcid)0000-0002-0358-6049 Zaldívar, Daniel. author. Pérez-Cisneros, Marco. author. (orcid)0000-0001-6493-0408 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-45561-2
Format: Electronic Resources
Availability Online Library~1

Biomechanical Biofeedback Systems and Applications

2026-05-16T02:27:00Z

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

Gesture Recognition Principles, Techniques and Applications

2026-05-16T02:27:00Z

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

Big Data in Engineering Applications

2026-05-16T02:27:00Z

Author Roy, Sanjiban Sekhar. editor. Samui, Pijush. editor. Deo, Ravinesh. editor. Ntalampiras, Stavros. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-8476-8
Format: Electronic Resources
Availability Online Library~1

3D Biometrics : systems and applications

2026-05-16T02:27:00Z

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

Wireless Network Security Theories and Applications

2026-05-16T02:27:00Z

Author Chen, Lei. author. Ji, Jiahuang. author. Zhang, Zihong. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334222.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36511-9
Format: Electronic Resources
Availability Online Library~1

Mixed Finite Element Methods and Applications

2026-05-16T02:27:00Z

Author Boffi, Daniele. author. Brezzi, Franco. author. Fortin, Michel. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334224.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36519-5
Format: Electronic Resources
Availability Online Library~1

Internetworking Technological Foundations and Applications

2026-05-16T02:27:00Z

Author Meinel, Christoph. author. Sack, Harald. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333971.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35392-5
Format: Electronic Resources
Availability Online Library~1

3D Biometrics Systems and Applications

2026-05-16T02:27:00Z

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

Computer Performance Optimization Systems - Applications - Processes

2026-05-16T02:27:00Z

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

Multibody Dynamics Computational Methods and Applications

2026-05-16T02:27:00Z

Author Samin, Jean-Claude. editor. Fisette, Paul. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335969.1)
Electronic Access http://dx.doi.org/10.1007/978-94-007-5404-1
Format: Electronic Resources
Availability Online Library~1

Deformation Models Tracking, Animation and Applications

2026-05-16T02:27:00Z

Author González Hidalgo, Manuel. editor. Mir Torres, Arnau. editor. Varona Gómez, Javier. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335979.1)
Electronic Access http://dx.doi.org/10.1007/978-94-007-5446-1
Format: Electronic Resources
Availability Online Library~1

Pro Business Applications with Silverlight 5

2026-05-16T02:27:00Z

Author Anderson, Chris. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-3501-9
Format: Electronic Resources
Availability Online Library~1

Ensemble Machine Learning Methods and Applications

2026-05-16T02:27:00Z

Author Zhang, Cha. editor. Ma, Yunqian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-9326-7
Format: Electronic Resources
Availability Online Library~1

3D Imaging, Analysis and Applications

2026-05-16T02:27:00Z

Author Pears, Nick. editor. Liu, Yonghuai. editor. Bunting, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4063-4
Format: Electronic Resources
Availability Online Library~1

3D Video and Its Applications

2026-05-16T02:27:00Z

Author Matsuyama, Takashi. author. Nobuhara, Shohei. author. Takai, Takeshi. author. Tung, Tony. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4120-4
Format: Electronic Resources
Availability Online Library~1

Computational Complexity Theory, Techniques, and Applications

2026-05-16T02:27:00Z

Author Meyers, Robert A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-1800-9
Format: Electronic Resources
Availability Online Library~1

Computer Vision Algorithms and Applications

2026-05-16T02:27:00Z

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

Green IT: Technologies and Applications

2026-05-16T02:27:00Z

Author Kim, Jae H. editor. Lee, Myung J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22179-8
Format: Electronic Resources
Availability Online Library~1

Migratory Interactive Applications for Ubiquitous Environments

2026-05-16T02:27:00Z

Author Paternò, Fabio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-85729-250-6
Format: Electronic Resources
Availability Online Library~1

Multimodal Interactive Pattern Recognition and Applications

2026-05-16T02:27:00Z

Author Toselli, Alejandro Héctor. author. Vidal, Enrique. author. Casacuberta, Francisco. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-85729-479-1
Format: Electronic Resources
Availability Online Library~1

Serious Games and Edutainment Applications

2026-05-16T02:27:00Z

Author Ma, Minhua. editor. Oikonomou, Andreas. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2161-9
Format: Electronic Resources
Availability Online Library~1

Bayesian Theory and Methods with Applications

2026-05-16T02:27:00Z

Author Savchuk, Vladimir. author. Tsokos, Chris P. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.2991/978-94-91216-14-5
Format: Electronic Resources
Availability Online Library~1

Spectral Methods Algorithms, Analysis and Applications

2026-05-16T02:27:00Z

Author Shen, Jie. author. Tang, Tao. author. Wang, Li-Lian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71041-7
Format: Electronic Resources
Availability Online Library~1

Particle-Based Methods Fundamentals and Applications

2026-05-16T02:27:00Z

Author Oñate, Eugenio. editor. Owen, Roger. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-0735-1
Format: Electronic Resources
Availability Online Library~1

Applications of Pulse-Coupled Neural Networks

2026-05-16T02:27:00Z

Author Ma, Yide. author. Zhan, Kun. author. Wang, Zhaobin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13745-7
Format: Electronic Resources
Availability Online Library~1

Microelectronic Systems Circuits, Systems and Applications

2026-05-16T02:27:00Z

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

Process Neural Networks Theory and Applications

2026-05-16T02:27:00Z

Author He, Xingui. author. Xu, Shaohua. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73762-9
Format: Electronic Resources
Availability Online Library~1

The LLL Algorithm Survey and Applications

2026-05-16T02:27:00Z

Author Nguyen, Phong Q. editor. Vallée, Brigitte. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02295-1
Format: Electronic Resources
Availability Online Library~1

Ubiquitous Knowledge Discovery Challenges, Techniques, Applications

2026-05-16T02:27:00Z

Author May, Michael. editor. Saitta, Lorenza. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16392-0
Format: Electronic Resources
Availability Online Library~1

Speech Technology Theory and Applications.

2026-05-16T02:27:00Z

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

Pro Business Applications with Silverlight 4

2026-05-16T02:27:00Z

Author Anderson, Chris. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-7206-9
Format: Electronic Resources
Availability Online Library~1

Canadian Semantic Web Technologies and Applications

2026-05-16T02:27:00Z

Author Du, Weichang. editor. Ensan, Faezeh. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-7335-1
Format: Electronic Resources
Availability Online Library~1

Developing Multi-Database Mining Applications

2026-05-16T02:27:00Z

Author Adhikari, Animesh. author. Ramachandrarao, Pralhad. author. Pedrycz, Witold. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84996-044-1
Format: Electronic Resources
Availability Online Library~1

Cloud Computing Principles, Systems and Applications

2026-05-16T02:27:00Z

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

Triangulations Structures for Algorithms and Applications

2026-05-16T02:27:00Z

Author Loera, Jesús A. author. Rambau, Jörg. author. Santos, Francisco. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12971-1
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence Applications and Innovations III

2026-05-16T02:27:00Z

Author Iliadis. editor. Maglogiann. editor. Tsoumakasis. editor. Vlahavas. editor. Bramer. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-0221-4
Format: Electronic Resources
Availability Online Library~1

Data Mining for Business Applications

2026-05-16T02:27:00Z

Author Cao, Longbing. editor. Yu, Philip S. editor. Zhang, Chengqi. editor. Zhang, Huaifeng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-79420-4
Format: Electronic Resources
Availability Online Library~1

Intelligent Environments Methods, Algorithms and Applications

2026-05-16T02:27:00Z

Author Monekosso, Dorothy. editor. Remagnino, Paolo. editor. Kuno, Yoshinori. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84800-346-0
Format: Electronic Resources
Availability Online Library~1

Parallel Computing Numerics, Applications, and Trends

2026-05-16T02:27:00Z

Author Trobec, Roman. editor. Vajteršic, Marián. editor. Zinterhof, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84882-409-6
Format: Electronic Resources
Availability Online Library~1

Metalearning Applications to Data Mining

2026-05-16T02:27:00Z

Author Brazdil, Pavel. author. Giraud-Carrier, Christophe. author. Soares, Carlos. author. Vilalta, Ricardo. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73263-1
Format: Electronic Resources
Availability Online Library~1

Geometric Algebra with Applications in Engineering

2026-05-16T02:27:00Z

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

Wireless Sensor Networks and Applications

2026-05-16T02:27:00Z

Author Li, Yingshu. editor. Thai, My T. editor. Wu, Weili. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-49592-7
Format: Electronic Resources
Availability Online Library~1

Smart Cards, Tokens, Security and Applications

2026-05-16T02:27:00Z

Author Mayes, Keith E. author. Markantonakis, Konstantinos. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-72198-9
Format: Electronic Resources
Availability Online Library~1

Matrix-Based Multigrid Theory and Applications

2026-05-16T02:27:00Z

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

Basic Probability Theory with Applications

2026-05-16T02:27:00Z

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

Data Mining and Applications in Genomics

2026-05-16T02:27:00Z

Author Ao, Sio-Iong. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-8975-6
Format: Electronic Resources
Availability Online Library~1

Medial Representations Mathematics, Algorithms and Applications

2026-05-16T02:27:00Z

Author Siddiqi, Kaleem. editor. Pizer, Stephen M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-8658-8
Format: Electronic Resources
Availability Online Library~1

Swarm Intelligence Introduction and Applications

2026-05-16T02:27:00Z

Author Blum, Christian. editor. Merkle, Daniel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74089-6
Format: Electronic Resources
Availability Online Library~1

Computational Geometry Algorithms and Applications

2026-05-16T02:27:00Z

Author Berg, Mark. author. Cheong, Otfried. author. Kreveld, Marc. author. Overmars, Mark. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77974-2
Format: Electronic Resources
Availability Online Library~1

Semantic Grid: Model, Methodology, and Applications

2026-05-16T02:27:00Z

Author Wu, Zhao-hui. author. Chen, Hua-jun. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-79454-7
Format: Electronic Resources
Availability Online Library~1

Semantics with Applications: An Appetizer

2026-05-16T02:27:00Z

Author Nielson, Hanne Riis. author. Nielson, Flemming. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-692-6
Format: Electronic Resources
Availability Online Library~1

Semantic Web: Concepts, Technologies and Applications

2026-05-16T02:27:00Z

Author Breitman, Karin Koogan. author. Casanova, Marco Antonio. author. Truszkowski, Walter. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-710-7
Format: Electronic Resources
Availability Online Library~1

Introduction to Cryptography Principles and Applications

2026-05-16T02:27:00Z

Author Delfs, Hans. author. Knebl, Helmut. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-49244-5
Format: Electronic Resources
Availability Online Library~1

Finite Model Theory and Its Applications

2026-05-16T02:27:00Z

Author Grädel, Erich. author. Kolaitis, Phokion G. author. Libkin, Leonid. author. Marx, Maarten. author. Spencer, Joel. author.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-68804-8
Format: Electronic Resources
Availability Online Library~1

Deformable Models Biomedical and Clinical Applications

2026-05-16T02:27:00Z

Author Farag, Aly A. author. Suri, Jasjit S. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-68413-0
Format: Electronic Resources
Availability Online Library~1

Practical Optimization Algorithms and Engineering Applications

2026-05-16T02:27:00Z

Author Antoniou, Andreas. author. Lu, Wu-Sheng. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-71107-2
Format: Electronic Resources
Availability Online Library~1

Foundation Flash Applications for Mobile Devices

2026-05-16T02:27:00Z

Author Leggett, Richard. author. Boer, Weyert de. author. Janousek, Scott. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-0308-7
Format: Electronic Resources
Availability Online Library~1

First Steps: Developing BizTalk Applications

2026-05-16T02:27:00Z

Author Loftin, Robert J. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-0458-9
Format: Electronic Resources
Availability Online Library~1

Building Spring 2 Enterprise Applications

2026-05-16T02:27:00Z

Author Smeets, Bram. editor. Ladd, Seth. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-0500-5
Format: Electronic Resources
Availability Online Library~1

Introduction to Probability with Statistical Applications

2026-05-16T02:27:00Z

Author Schay, Géza. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-8176-4591-5
Format: Electronic Resources
Availability Online Library~1

Embedded Systems – Modeling, Technology, and Applications

2026-05-16T02:27:00Z

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

Markov Chains: Models, Algorithms and Applications

2026-05-16T02:27:00Z

Author Ching, Wai-Ki. author. Ng, Michael K. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-29337-X
Format: Electronic Resources
Availability Online Library~1

Vacation Queueing Models Theory and Applications

2026-05-16T02:27:00Z

Author Tian, Naishuo. author. Zhang, Zhe George. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-33723-4
Format: Electronic Resources
Availability Online Library~1

Modern Formal Methods and Applications

2026-05-16T02:27:00Z

Author Gabbar, Hossam A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-4223-X
Format: Electronic Resources
Availability Online Library~1

R-Trees: Theory and Applications

2026-05-16T02:27:00Z

Author Manolopoulos, Yannis. author. Nanopoulos, Alexandros. author. Papadopoulos, Apostolos N. author. Theodoridis, Yannis. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-293-5
Format: Electronic Resources
Availability Online Library~1

Semantic Web Services, Processes and Applications

2026-05-16T02:27:00Z

Author Cardoso, Jorge. editor. Sheth, Amit P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-34685-4
Format: Electronic Resources
Availability Online Library~1

Automatic Differentiation: Applications, Theory, and Implementations

2026-05-16T02:27:00Z

Author Bücker, Martin. editor. Corliss, George. editor. Naumann, Uwe. editor. Hovland, Paul. editor. Norris, Boyana. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-28438-9
Format: Electronic Resources
Availability Online Library~1

Oracle Applications DBA Field Guide

2026-05-16T02:27:00Z

Author Phelps, Elke. author. Jackson, Paul. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-0148-9
Format: Electronic Resources
Availability Online Library~1

Grey Information Theory and Practical Applications

2026-05-16T02:27:00Z

Author Liu, Sifeng. author. Lin, Yi. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-84628-342-6
Format: Electronic Resources
Availability Online Library~1

Computer viruses: from theory to applications

2026-05-16T02:27:00Z

Author Filiol, Eric. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/2-287-28099-5
Format: Electronic Resources
Availability Online Library~1

Trusted Computing Platforms: Design and Applications

2026-05-16T02:27:00Z

Author Smith, Sean W. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b103637
Format: Electronic Resources
Availability Online Library~1

Formal Concept Analysis Foundations and Applications

2026-05-16T02:27:00Z

Author Ganter, Bernhard. editor. Stumme, Gerd. editor. Wille, Rudolf. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-31881-1
Format: Electronic Resources
Availability Online Library~1

Peer-to-Peer Systems and Applications

2026-05-16T02:27:00Z

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

Fuzzy Probabilities New Approach and Applications

2026-05-16T02:27:00Z

Author Buckley, James J. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-32388-0
Format: Electronic Resources
Availability Online Library~1

Multiobjective Evolutionary Algorithms and Applications

2026-05-16T02:27:00Z

Author Tan, K.C. author. Khor, E.F. author. Lee, T.H. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-84628-132-6
Format: Electronic Resources
Availability Online Library~1

Finite Element Methods and Their Applications

2026-05-16T02:27:00Z

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

Nonlinear Optimization Applications Using the GAMS Technology

2026-05-16T02:27:00Z

Author Andrei, Neculai. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332120.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-6797-7
Format: Electronic Resources
Availability Online Library~1

Handbook of Dynamic Data Driven Applications Systems

2026-05-16T02:27:00Z

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

Computer Science and Engineering—Theory and Applications

2026-05-16T02:27:00Z

Author Sanchez, Mauricio A. editor. Aguilar, Leocundo. editor. Castañón-Puga, Manuel. editor. Rodríguez-Díaz, Antonio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-74060-7
Format: Electronic Resources
Availability Online Library~1

Distributed Hash Table Theory, Platforms and Applications

2026-05-16T02:27:00Z

Author Zhang, Hao. author. Wen, Yonggang. author. Xie, Haiyong. author. Yu, Nenghai. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332462.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-9008-1
Format: Electronic Resources
Availability Online Library~1

Oracle Application Express for Mobile Web Applications

2026-05-16T02:27:00Z

Author Hartman, Roel. author. Rokitta, Christian. author. Peake, David. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330663.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4302-4948-1
Format: Electronic Resources
Availability Online Library~1

An Introduction to Inverse Problems with Applications

2026-05-16T02:27:00Z

Author Moura Neto, Francisco Duarte. author. da Silva Neto, Antônio José. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333595.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-32557-1
Format: Electronic Resources
Availability Online Library~1

Sensor Technologies Healthcare, Wellness, and Environmental Applications

2026-05-16T02:27:00Z

Author McGrath, Michael J. author. Scanaill, Cliodhna Ní. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330740.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4302-6014-1
Format: Electronic Resources
Availability Online Library~1

Data Mining Applications Using Artificial Adaptive Systems

2026-05-16T02:27:00Z

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

Uncertain Fuzzy Preference Relations and Their Applications

2026-05-16T02:27:00Z

Author Gong, Zaiwu. author. Lin, Yi. author. Yao, Tianxiang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333185.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-28448-9
Format: Electronic Resources
Availability Online Library~1

Model Based Parameter Estimation Theory and Applications

2026-05-16T02:27:00Z

Author Bock, Hans Georg. editor. Carraro, Thomas. editor. Jäger, Willi. editor. Körkel, Stefan. editor. Rannacher, Rolf. editor.
Preferred Shelf Number ONLINE(333324.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-30367-8
Format: Electronic Resources
Availability Online Library~1

Advances in Heuristic Signal Processing and Applications

2026-05-16T02:27:00Z

Author Chatterjee, Amitava. editor. Nobahari, Hadi. editor. Siarry, Patrick. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334493.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37880-5
Format: Electronic Resources
Availability Online Library~1

Physically Unclonable Functions Constructions, Properties and Applications

2026-05-16T02:27:00Z

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

Ubiquitous Information Technologies and Applications CUTE 2012

2026-05-16T02:27:00Z

Author Han, Youn-Hee. editor. Park, Doo-Soon. editor. Jia, Weijia. editor. Yeo, Sang-Soo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(336087.1)
Electronic Access http://dx.doi.org/10.1007/978-94-007-5857-5
Format: Electronic Resources
Availability Online Library~1

Fuzzy Semirings with Applications to Automata Theory

2026-05-16T02:27:00Z

Author Ahsan, Javed. author. Mordeson, John N. author. Shabir, Muhammad. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27641-5
Format: Electronic Resources
Availability Online Library~1

High-Performance Scientific Computing Algorithms and Applications

2026-05-16T02:27:00Z

Author Berry, Michael W. editor. Gallivan, Kyle A. editor. Gallopoulos, Efstratios. editor. Grama, Ananth. editor. Philippe, Bernard. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2437-5
Format: Electronic Resources
Availability Online Library~1

Entropy Guided Transformation Learning: Algorithms and Applications

2026-05-16T02:27:00Z

Author Santos, Cícero Nogueira. author. Milidiú, Ruy Luiz. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2978-3
Format: Electronic Resources
Availability Online Library~1

Computational Social Networks Tools, Perspectives and Applications

2026-05-16T02:27:00Z

Author Abraham, Ajith. editor. Hassanien, Aboul-Ella. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4048-1
Format: Electronic Resources
Availability Online Library~1

Computer Science and its Applications CSA 2012

2026-05-16T02:27:00Z

Author Yeo, Sang-Soo. editor. Pan, Yi. editor. Lee, Yang Sun. editor. Chang, Hang Bae. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-5699-1
Format: Electronic Resources
Availability Online Library~1

Optimization Based Data Mining: Theory and Applications

2026-05-16T02:27:00Z

Author Shi, Yong. author. Tian, Yingjie. author. Kou, Gang. author. Peng, Yi. author. Li, Jianping. author.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-85729-504-0
Format: Electronic Resources
Availability Online Library~1

Extremal Combinatorics With Applications in Computer Science

2026-05-16T02:27:00Z

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

Terminological Ontologies Design, Management and Practical Applications

2026-05-16T02:27:00Z

Author Lacasta, Javier. author. Iso, Javier Nogueras. author. Zarazaga Soria, Francisco Javier. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-6981-1
Format: Electronic Resources
Availability Online Library~1

Handbook of Social Network Technologies and Applications

2026-05-16T02:27:00Z

Author Furht, Borko. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-7142-5
Format: Electronic Resources
Availability Online Library~1

Guide to Reliable Internet Services and Applications

2026-05-16T02:27:00Z

Author Kalmanek, Charles R. editor. Misra, Sudip. editor. Yang, Yang (Richard). editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84882-828-5
Format: Electronic Resources
Availability Online Library~1

Large-Scale PDE-Constrained Optimization in Applications

2026-05-16T02:27:00Z

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

Digital Preservation for Heritages Technologies and Applications

2026-05-16T02:27:00Z

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

Mobile Multimedia Processing Fundamentals, Methods, and Applications

2026-05-16T02:27:00Z

Author Jiang, Xiaoyi. editor. Ma, Matthew Y. editor. Chen, Chang Wen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12349-8
Format: Electronic Resources
Availability Online Library~1

Peer-to-Peer Computing Principles and Applications

2026-05-16T02:27:00Z

Author Vu, Quang Hieu. author. Lupu, Mihai. author. Ooi, Beng Chin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03514-2
Format: Electronic Resources
Availability Online Library~1

Moving Objects Management Models, Techniques and Applications

2026-05-16T02:27:00Z

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

Multi-Agent Programming: Languages, Tools and Applications

2026-05-16T02:27:00Z

Author El Fallah Seghrouchni, Amal. editor. Dix, Jürgen. editor. Dastani, Mehdi. editor. Bordini, Rafael H. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-89299-3
Format: Electronic Resources
Availability Online Library~1

Human-Computer Systems Interaction Backgrounds and Applications

2026-05-16T02:27:00Z

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

Practical Liferay Java™-based Portal Applications Development

2026-05-16T02:27:00Z

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

Les virus informatiques: théorie, pratique et applications

2026-05-16T02:27:00Z

Author Filiol, Éric. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-2-287-98240-8
Format: Electronic Resources
Availability Online Library~1

Middleware for Network Eccentric and Mobile Applications

2026-05-16T02:27:00Z

Author Garbinato, Benoît. editor. Miranda, Hugo. editor. Rodrigues, Luís. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-89707-1
Format: Electronic Resources
Availability Online Library~1

Vibro-Impact Dynamics Modeling, Mapping and Applications

2026-05-16T02:27:00Z

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

Handbook of Database Security Applications and Trends

2026-05-16T02:27:00Z

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

Semantic Multimedia and Ontologies Theory and Applications

2026-05-16T02:27:00Z

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

Stochastic Discrete Event Systems Modeling, Evaluation, Applications

2026-05-16T02:27:00Z

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

Secure Transaction Protocol Analysis Models and Applications

2026-05-16T02:27:00Z

Author Chen, Qingfeng. author. Zhang, Chengqi. author. Zhang, Shichao. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-85074-8
Format: Electronic Resources
Availability Online Library~1

Practical Web 2.0 Applications with PHP

2026-05-16T02:27:00Z

Author Zervaas, Quentin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-0475-6
Format: Electronic Resources
Availability Online Library~1

Web Engineering: Modelling and Implementing Web Applications

2026-05-16T02:27:00Z

Author Rossi, Gustavo. editor. Pastor, Oscar. editor. Schwabe, Daniel. editor. Olsina, Luis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-923-1
Format: Electronic Resources
Availability Online Library~1

Passive Eye Monitoring Algorithms, Applications and Experiments

2026-05-16T02:27:00Z

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

Probabilistic Inductive Logic Programming Theory and Applications

2026-05-16T02:27:00Z

Author Raedt, Luc. editor. Frasconi, Paolo. editor. Kersting, Kristian. editor. Muggleton, Stephen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78652-8
Format: Electronic Resources
Availability Online Library~1

Semantic Web Services Concepts, Technologies, and Applications

2026-05-16T02:27:00Z

Author Studer, Rudi. editor. Grimm, Stephan. editor. Abecker, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-70894-4
Format: Electronic Resources
Availability Online Library~1

Deploying .NET Applications Learning MSBuild and ClickOnce

2026-05-16T02:27:00Z

Author Hashimi, Sayed Y. author. Hashimi, Sayed Ibrahim. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-0162-5
Format: Electronic Resources
Availability Online Library~1

Multiagent Engineering Theory and Applications in Enterprises

2026-05-16T02:27:00Z

Author Kirn, Stefan. editor. Herzog, Otthein. editor. Lockemann, Peter. editor. Spaniol, Otto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-32062-8
Format: Electronic Resources
Availability Online Library~1

Data Mining Theory, Methodology, Techniques, and Applications

2026-05-16T02:27:00Z

Author Williams, Graham J. editor. Simoff, Simeon J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11677437
Format: Electronic Resources
Availability Online Library~1

Interfacing with C++ Programming Real-World Applications

2026-05-16T02:27:00Z

Author Katupitiya, Jayantha. author. Bentley, Kim. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-33581-1
Format: Electronic Resources
Availability Online Library~1

Queuing Theory and Telecommunications Networks and Applications

2026-05-16T02:27:00Z

Author Giambene, Giovanni. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b104425
Format: Electronic Resources
Availability Online Library~1

Multi-Agent Programming Languages, Platforms and Applications

2026-05-16T02:27:00Z

Author Bordini, Rafael H. editor. Dastani, Mehdi. editor. Dix, Jürgen. editor. Fallah Seghrouchni, Amal. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137449
Format: Electronic Resources
Availability Online Library~1

Flux-Corrected Transport Principles, Algorithms, and Applications

2026-05-16T02:27:00Z

Author Kuzmin, Dmitri. editor. Löhner, Rainald. editor. Turek, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138754
Format: Electronic Resources
Availability Online Library~1

Engineering Self-Organising Systems Methodologies and Applications

2026-05-16T02:27:00Z

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

Evolutionary Multiobjective Optimization Theoretical Advances and Applications

2026-05-16T02:27:00Z

Author Abraham, Ajith. editor. Jain, Lakhmi. editor. Goldberg, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-84628-137-7
Format: Electronic Resources
Availability Online Library~1

Advanced Spiking Neural P Systems Models and Applications

2026-05-16T02:27:00Z

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

Finite Elements in Fracture Mechanics Theory - Numerics - Applications

2026-05-16T02:27:00Z

Author Kuna, Meinhard. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(336302.1)
Electronic Access http://dx.doi.org/10.1007/978-94-007-6680-8
Format: Electronic Resources
Availability Online Library~1

Deterministic Global Optimization Geometric Branch-and-bound Methods and their Applications

2026-05-16T02:27:00Z

Author Scholz, Daniel. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-1951-8
Format: Electronic Resources
Availability Online Library~1

Applications of Mathematics and Informatics in Military Science

2026-05-16T02:27:00Z

Author Daras, Nicholas J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-4109-0
Format: Electronic Resources
Availability Online Library~1

Data Mining and Knowledge Discovery via Logic-Based Methods Theory, Algorithms, and Applications

2026-05-16T02:27:00Z

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

Foundations of Generic Optimization Volume 2: Applications of Fuzzy Control, Genetic Algorithms and Neural Networks

2026-05-16T02:27:00Z

Author Lowen, Robert. editor. Verschoren, Alain. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-6668-9
Format: Electronic Resources
Availability Online Library~1

Advanced Data Warehouse Design From Conventional to Spatial and Temporal Applications

2026-05-16T02:27:00Z

Author Malinowski, Elzbieta. author. Zimányi, Esteban. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74405-4
Format: Electronic Resources
Availability Online Library~1

Human Aspects of IT for the Aged Population. Applications in Health, Assistance, and Entertainment 4th International Conference, ITAP 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part II

2026-05-16T02:27:00Z

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

Cross-Cultural Design. Applications in Cultural Heritage, Creativity and Social Development 10th International Conference, CCD 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II

2026-05-16T02:27:00Z

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

Data and Applications Security and Privacy XXXII 32nd Annual IFIP WG 11.3 Conference, DBSec 2018, Bergamo, Italy, July 16–18, 2018, Proceedings

2026-05-16T02:27:00Z

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

Human Interface and the Management of Information. Information in Applications and Services 20th International Conference, HIMI 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II

2026-05-16T02:27:00Z

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

Haptics: Science, Technology, and Applications 11th International Conference, EuroHaptics 2018, Pisa, Italy, June 13-16, 2018, Proceedings, Part II

2026-05-16T02:27:00Z

Author Prattichizzo, Domenico. editor. Shinoda, Hiroyuki. editor. Tan, Hong Z. editor. Ruffaldi, Emanuele. editor. Frisoli, Antonio. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-93399-3
Format: Electronic Resources
Availability Online Library~1

Virtual, Augmented and Mixed Reality: Applications in Health, Cultural Heritage, and Industry 10th International Conference, VAMR 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II

2026-05-16T02:27:00Z

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

Digital Human Modeling. Applications in Health, Safety, Ergonomics, and Risk Management 9th International Conference, DHM 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings

2026-05-16T02:27:00Z

Author Duffy, Vincent G. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91397-1
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-05-16T02:27:00Z

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

Haptics: Science, Technology, and Applications 11th International Conference, EuroHaptics 2018, Pisa, Italy, June 13-16, 2018, Proceedings, Part I

2026-05-16T02:27:00Z

Author Prattichizzo, Domenico. editor. Shinoda, Hiroyuki. editor. Tan, Hong Z. editor. Ruffaldi, Emanuele. editor. Frisoli, Antonio. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-93445-7
Format: Electronic Resources
Availability Online Library~1

Web Technologies and Applications APWeb 2016 Workshops, WDMA, GAP, and SDMA, Suzhou, China, September 23-25, 2016, Proceedings

2026-05-16T02:27:00Z

Author Morishima, Atsuyuki. editor. Zhang, Rong. editor. Zhang, Wenjie. editor. Chang, Lijun. editor. Fu, Tom Z. J. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-45835-9
Format: Electronic Resources
Availability Online Library~1

Haptics: Perception, Devices, Control, and Applications 10th International Conference, EuroHaptics 2016, London, UK, July 4-7, 2016, Proceedings, Part II

2026-05-16T02:27:00Z

Author Bello, Fernando. editor. Kajimoto, Hiroyuki. editor. Visell, Yon. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-42324-1
Format: Electronic Resources
Availability Online Library~1

Haptics: Perception, Devices, Control, and Applications 10th International Conference, EuroHaptics 2016, London, UK, July 4-7, 2016, Proceedings, Part I

2026-05-16T02:27:00Z

Author Bello, Fernando. editor. Kajimoto, Hiroyuki. editor. Visell, Yon. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-42321-0
Format: Electronic Resources
Availability Online Library~1

Human-Computer Interaction. Applications and Services 16th International Conference, HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings, Part III

2026-05-16T02:27:00Z

Author Kurosu, Masaaki. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-07227-2
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-05-16T02:27:00Z

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-05-16T02:27:00Z

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

Web Technologies and Applications APWeb 2014 Workshops, SNA, NIS, and IoTS, Changsha, China, September 5, 2014, Proceedings

2026-05-16T02:27:00Z

Author Han, Weihong. editor. Huang, Zi. editor. Hu, Changjun. editor. Zhang, Hongli. editor. Guo, Li. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11119-3
Format: Electronic Resources
Availability Online Library~1

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV

2026-05-16T02:27:00Z

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-75387-9
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-05-16T02:27:00Z

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

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V

2026-05-16T02:27:00Z

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-75390-9
Format: Electronic Resources
Availability Online Library~1

Applications of Evolutionary Computation 28th European Conference, EvoApplications 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings, Part I

2026-05-16T02:27:00Z

Author García-Sánchez, Pablo. editor. (orcid)0000-0003-4644-2894 Hart, Emma. editor. Thomson, Sarah L. editor. (orcid)0000-0001-6971-7817 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-90062-4
Format: Electronic Resources
Availability Online Library~1

Applications of Evolutionary Computation 28th European Conference, EvoApplications 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings, Part II

2026-05-16T02:27:00Z

Author García-Sánchez, Pablo. editor. (orcid)0000-0003-4644-2894 Hart, Emma. editor. Thomson, Sarah L. editor. (orcid)0000-0001-6971-7817 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-90065-5
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence Applications and Innovations 21st IFIP WG 12.5 International Conference, AIAI 2025, Limassol, Cyprus, June 26-29, 2025, Proceedings, Part I

2026-05-16T02:27:00Z

Author Maglogiannis, Ilias. editor. (orcid)0000-0003-2860-399X Iliadis, Lazaros. editor. (orcid)0000-0002-6404-1528 Andreou, Andreas. editor. (orcid)0000-0001-7104-2097 Papaleonidas, Antonios. editor. (orcid)0000-0002-0545-7638 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-96239-4
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence Applications and Innovations 21st IFIP WG 12.5 International Conference, AIAI 2025, Limassol, Cyprus, June 26-29, 2025, Proceedings, Part IV

2026-05-16T02:27:00Z

Author Maglogiannis, Ilias. editor. (orcid)0000-0003-2860-399X Iliadis, Lazaros. editor. (orcid)0000-0002-6404-1528 Andreou, Andreas. editor. (orcid)0000-0001-7104-2097 Papaleonidas, Antonios. editor. (orcid)0000-0002-0545-7638 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-96235-6
Format: Electronic Resources
Availability Online Library~1

Dependable Software Engineering. Theories, Tools, and Applications 10th International Symposium, SETTA 2024, Hong Kong, China, November 26-28, 2024, Proceedings

2026-05-16T02:27:00Z

Author Bourke, Timothy. editor. (orcid)0000-0003-0601-4182 Chen, Liqian. editor. (orcid)0000-0001-8084-8009 Goharshady, Amir. editor. (orcid)0000-0003-1702-6584 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-0602-3
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence and Applications 26th International Conference, ICAI 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-05-16T02:27:00Z

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 Shenavarmasouleh, Farzan. editor. (orcid)0000-0001-5485-232X Ghareh Mohammadi, Farid. editor. (orcid)0000-0002-8759-693X
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-86623-4
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence Applications and Innovations 21st IFIP WG 12.5 International Conference, AIAI 2025, Limassol, Cyprus, June 26-29, 2025, Proceedings, Part II

2026-05-16T02:27:00Z

Author Maglogiannis, Ilias. editor. (orcid)0000-0003-2860-399X Iliadis, Lazaros. editor. (orcid)0000-0002-6404-1528 Andreou, Andreas. editor. (orcid)0000-0001-7104-2097 Papaleonidas, Antonios. editor. (orcid)0000-0002-0545-7638 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-96228-8
Format: Electronic Resources
Availability Online Library~1

Applied Antifragility in Natural Systems From Principles to Applications

2026-05-16T02:27:00Z

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

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I

2026-05-16T02:27:00Z

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-73709-1
Format: Electronic Resources
Availability Online Library~1

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III

2026-05-16T02:27:00Z

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-75380-0
Format: Electronic Resources
Availability Online Library~1

Formal Methods: Foundations and Applications 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, Proceedings

2026-05-16T02:27:00Z

Author C. Nogueira, Sidney. editor. (orcid)0000-0002-8817-5029 Teodorov, Ciprian. editor. (orcid)0000-0002-0722-5857 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-78116-2
Format: Electronic Resources
Availability Online Library~1

Combinatorial Optimization and Applications 17th International Conference, COCOA 2024, Beijing, China, December 6-8, 2024, Proceedings, Part I

2026-05-16T02:27:00Z

Author Du, Donglei. editor. Han, Lu. editor. Xu, Dachuan. editor. (orcid)0000-0002-7846-0969 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-4445-2
Format: Electronic Resources
Availability Online Library~1

Parallel and Distributed Computing, Applications and Technologies 25th International Conference, PDCAT 2024, Hong Kong, China, December 13-15, 2024, Proceedings

2026-05-16T02:27:00Z

Author Li, Yupeng. editor. Zhang, Yong. editor. (orcid)0000-0002-8730-3711 Xu, Jianliang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-4207-6
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-05-16T02:27:00Z

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

Proceedings of 23rd International Conference on Informatics in Economy (IE 2024) Recent Results in Education, Research, and Applications

2026-05-16T02:27:00Z

Author Ciurea, Cristian. editor. (orcid)0000-0002-7327-0007 Pocatilu, Paul. editor. Filip, Florin Gheorghe. editor. (orcid)0000-0001-8395-7040 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-0161-5
Format: Electronic Resources
Availability Online Library~1

Combinatorial Optimization and Applications 17th International Conference, COCOA 2024, Beijing, China, December 6-8, 2024, Proceedings, Part II

2026-05-16T02:27:00Z

Author Du, Donglei. editor. Han, Lu. editor. Xu, Dachuan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-4448-3
Format: Electronic Resources
Availability Online Library~1

Advances in Optimization and Applications 14th International Conference, OPTIMA 2023, Petrovac, Montenegro, September 18-22, 2023, Revised Selected Papers

2026-05-16T02:27:00Z

Author Olenev, Nicholas. editor. (orcid)0000-0002-1032-2455 Evtushenko, Yuri. editor. (orcid)0000-0002-6094-7808 Jaćimović, Milojica. editor. (orcid)0000-0002-7068-8563 Khachay, Michael. editor. (orcid)0000-0003-3555-0080 Malkova, Vlasta. editor. (orcid)0000-0002-7928-512X
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-48751-4
Format: Electronic Resources
Availability Online Library~1

Dependable Software Engineering. Theories, Tools, and Applications 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings

2026-05-16T02:27:00Z

Author Hermanns, Holger. editor. (orcid)0000-0002-2766-9615 Sun, Jun. editor. Bu, Lei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-8664-4
Format: Electronic Resources
Availability Online Library~1

Dynamic Logic. New Trends and Applications 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers

2026-05-16T02:27:00Z

Author Gierasimczuk, Nina. editor. Velázquez-Quesada, Fernando R. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-51777-8
Format: Electronic Resources
Availability Online Library~1

Computability and Complexity Foundations and Tools for Pursuing Scientific Applications

2026-05-16T02:27:00Z

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

Artificial Intelligence Applications and Innovations 20th IFIP WG 12.5 International Conference, AIAI 2024, Corfu, Greece, June 27-30, 2024, Proceedings, Part I

2026-05-16T02:27:00Z

Author Maglogiannis, Ilias. editor. (orcid)0000-0003-2860-399X Iliadis, Lazaros. editor. (orcid)0000-0002-6404-1528 Macintyre, John. editor. (orcid)0000-0001-8514-9127 Avlonitis, Markos. editor. (orcid)0000-0002-8575-0358 Papaleonidas, Antonios. editor. (orcid)0000-0002-0545-7638
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-63211-2
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence Applications and Innovations 20th IFIP WG 12.5 International Conference, AIAI 2024, Corfu, Greece, June 27-30, 2024, Proceedings, Part IV

2026-05-16T02:27:00Z

Author Maglogiannis, Ilias. editor. (orcid)0000-0003-2860-399X Iliadis, Lazaros. editor. (orcid)0000-0002-6404-1528 Macintyre, John. editor. (orcid)0000-0001-8514-9127 Avlonitis, Markos. editor. (orcid)0000-0002-8575-0358 Papaleonidas, Antonios. editor. (orcid)0000-0002-0545-7638
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-63223-5
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part III

2026-05-16T02:27:00Z

Author Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-65238-7
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part V

2026-05-16T02:27:00Z

Author Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-65282-0
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part VIII

2026-05-16T02:27:00Z

Author Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-65318-6
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part X

2026-05-16T02:27:00Z

Author Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-65332-2
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part I

2026-05-16T02:27:00Z

Author Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-65154-0
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part II

2026-05-16T02:27:00Z

Author Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-65223-3
Format: Electronic Resources
Availability Online Library~1

Spiking Neural P Systems Theory, Applications and Implementations

2026-05-16T02:27:00Z

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

Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part VI

2026-05-16T02:27:00Z

Author Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-65285-1
Format: Electronic Resources
Availability Online Library~1

Formal Methods: Foundations and Applications 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings

2026-05-16T02:27:00Z

Author Barbosa, Haniel. editor. Zohar, Yoni. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-49342-3
Format: Electronic Resources
Availability Online Library~1

Parallel and Distributed Computing, Applications and Technologies Proceedings of PDCAT 2023

2026-05-16T02:27:00Z

Author Park, Ji Su. editor. (orcid)0000-0001-9003-1131 Takizawa, Hiroyuki. editor. (orcid)0000-0003-2858-3140 Shen, Hong. editor. Park, James J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-8211-0
Format: Electronic Resources
Availability Online Library~1

Combinatorial Optimization and Applications 16th International Conference, COCOA 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings, Part I

2026-05-16T02:27:00Z

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

Advanced Computational Applications of Geometric Algebra First International Conference, ICACGA 2022, Denver, CO, USA, October 2-5, 2022, Proceedings

2026-05-16T02:27:00Z

Author Silva, David W. editor. (orcid)0000-0003-4498-0525 Hitzer, Eckhard. editor. Hildenbrand, Dietmar. editor. (orcid)0000-0002-6384-4345 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-34031-4
Format: Electronic Resources
Availability Online Library~1

Explainable Artificial Intelligence and Process Mining Applications for Healthcare Third International Workshop, XAI-Healthcare 2023, and First International Workshop, PM4H 2023, Portoroz, Slovenia, June 15, 2023, Proceedings

2026-05-16T02:27:00Z

Author Juarez, Jose M. editor. (orcid)0000-0003-1776-1992 Fernandez-Llatas, Carlos. editor. (orcid)0000-0002-2819-5597 Bielza, Concha. editor. (orcid)0000-0001-7109-2668 Johnson, Owen. editor. (orcid)0000-0003-3998-541X Kocbek, Primoz. editor. (orcid)0000-0002-9064-5085
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-54303-6
Format: Electronic Resources
Availability Online Library~1

Applications of Evolutionary Computation 27th European Conference, EvoApplications 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings, Part II

2026-05-16T02:27:00Z

Author Smith, Stephen. editor. Correia, João. editor. Cintrano, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-56855-8
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-05-16T02:27:00Z

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

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

2026-05-16T02:27:00Z

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

Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part IX

2026-05-16T02:27:00Z

Author Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-65329-2
Format: Electronic Resources
Availability Online Library~1

Combinatorial Optimization and Applications 16th International Conference, COCOA 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings, Part II

2026-05-16T02:27:00Z

Author Wu, Weili. editor. (orcid)0000-0001-8747-6340 Guo, Jianxiong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-49614-1
Format: Electronic Resources
Availability Online Library~1

Structural Decision Diagrams in Digital Test Theory and Applications

2026-05-16T02:27:00Z

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

Applications of Evolutionary Computation 27th European Conference, EvoApplications 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings, Part I

2026-05-16T02:27:00Z

Author Smith, Stephen. editor. Correia, João. editor. Cintrano, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-56852-7
Format: Electronic Resources
Availability Online Library~1

Bio-Inspired Computing: Theories and Applications 18th International Conference, BIC-TA 2023, Changsha, China, December 15-17, 2023, Revised Selected Papers, Part I

2026-05-16T02:27:00Z

Author Pan, Linqiang. editor. (orcid)0000-0002-4554-455X Wang, Yong. editor. (orcid)0000-0001-7670-3958 Lin, Jianqing. editor. (orcid)0000-0002-9332-4746 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-2272-3
Format: Electronic Resources
Availability Online Library~1

Bio-Inspired Computing: Theories and Applications 18th International Conference, BIC-TA 2023, Changsha, China, December 15-17, 2023, Revised Selected Papers, Part II

2026-05-16T02:27:00Z

Author Pan, Linqiang. editor. (orcid)0000-0002-4554-455X Wang, Yong. editor. (orcid)0000-0001-7670-3958 Lin, Jianqing. editor. (orcid)0000-0002-9332-4746 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-2275-4
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Models of Computation 18th Annual Conference, TAMC 2024, Hong Kong, China, May 13-15, 2024, Proceedings

2026-05-16T02:27:00Z

Author Chen, Xujin. editor. (orcid)0000-0001-7844-5411 Li, Bo. editor. (orcid)0000-0001-7500-8355 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-2340-9
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence Applications and Innovations 20th IFIP WG 12.5 International Conference, AIAI 2024, Corfu, Greece, June 27-30, 2024, Proceedings, Part II

2026-05-16T02:27:00Z

Author Maglogiannis, Ilias. editor. (orcid)0000-0003-2860-399X Iliadis, Lazaros. editor. (orcid)0000-0002-6404-1528 Macintyre, John. editor. (orcid)0000-0001-8514-9127 Avlonitis, Markos. editor. (orcid)0000-0002-8575-0358 Papaleonidas, Antonios. editor. (orcid)0000-0002-0545-7638
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-63215-0
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence Applications and Innovations 20th IFIP WG 12.5 International Conference, AIAI 2024, Corfu, Greece, June 27-30, 2024, Proceedings, Part III

2026-05-16T02:27:00Z

Author Maglogiannis, Ilias. editor. (orcid)0000-0003-2860-399X Iliadis, Lazaros. editor. (orcid)0000-0002-6404-1528 Macintyre, John. editor. (orcid)0000-0001-8514-9127 Avlonitis, Markos. editor. (orcid)0000-0002-8575-0358 Papaleonidas, Antonios. editor. (orcid)0000-0002-0545-7638
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-63219-8
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part XI

2026-05-16T02:27:00Z

Author Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-65343-8
Format: Electronic Resources
Availability Online Library~1

Rewriting Logic and Its Applications 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers

2026-05-16T02:27:00Z

Author Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259 Martí-Oliet, Narciso. editor. (orcid)0000-0002-6576-762X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-65941-6
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part IV

2026-05-16T02:27:00Z

Author Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-65273-8
Format: Electronic Resources
Availability Online Library~1

Hypothesis Generation and Interpretation Design Principles and Patterns for Big Data Applications

2026-05-16T02:27:00Z

Author Ishikawa, Hiroshi. author. (orcid)0000-0003-3639-442X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-43540-9
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part VII

2026-05-16T02:27:00Z

Author Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-65308-7
Format: Electronic Resources
Availability Online Library~1

Advances in Reliability and Maintainability Methods and Engineering Applications Essays in Honor of Professor Hong-Zhong Huang on his 60th Birthday

2026-05-16T02:27:00Z

Author Liu, Yu. editor. Wang, Dong. editor. Mi, Jinhua. editor. Li, He. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-28859-3
Format: Electronic Resources
Availability Online Library~1

Electromagnetism for signal processing, spectroscopy and contemporary computing : fundamentals and applications

2026-05-16T02:27:00Z

Author Shah, Khurshed Ahmad. Kumbhani, Brijesh. Garcia-Sanchez, Raul F. Misra, Prabhakar, 1955-
Preferred Shelf Number QC760
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003213468 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

New Trends in Computer Technologies and Applications 23rd International Computer Symposium, ICS 2018, Yunlin, Taiwan, December 20–22, 2018, Revised Selected Papers

2026-05-16T02:27:00Z

Author Chang, Chuan-Yu. editor. Lin, Chien-Chou. editor. Lin, Horng-Horng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-9190-3
Format: Electronic Resources
Availability Online Library~1

Context-Aware Communication and Computing: Applications for Smart Environment

2026-05-16T02:27:00Z

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

Information Security Applications 18th International Conference, WISA 2017, Jeju Island, Korea, August 24-26, 2017, Revised Selected Papers

2026-05-16T02:27:00Z

Author Kang, Brent ByungHoon. editor. (orcid)0000-0001-8984-1006 Kim, Taesoo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-93563-8
Format: Electronic Resources
Availability Online Library~1

Fundamentals of Probability and Stochastic Processes with Applications to Communications

2026-05-16T02:27:00Z

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

Bioinformatics Research and Applications 14th International Symposium, ISBRA 2018, Beijing, China, June 8-11, 2018, Proceedings

2026-05-16T02:27:00Z

Author Zhang, Fa. editor. Cai, Zhipeng. editor. Skums, Pavel. editor. Zhang, Shihua. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94968-0
Format: Electronic Resources
Availability Online Library~1

Queueing Theory and Network Applications 13th International Conference, QTNA 2018, Tsukuba, Japan, July 25-27, 2018, Proceedings

2026-05-16T02:27:00Z

Author Takahashi, Yutaka. editor. Phung-Duc, Tuan. editor. (orcid)0000-0002-5002-4946 Wittevrongel, Sabine. editor. (orcid)0000-0001-6985-8361 Yue, Wuyi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-93736-6
Format: Electronic Resources
Availability Online Library~1

Intelligent Robotics and Applications 11th International Conference, ICIRA 2018, Newcastle, NSW, Australia, August 9–11, 2018, Proceedings, Part I

2026-05-16T02:27:00Z

Author Chen, Zhiyong. editor. (orcid)0000-0002-2033-4249 Mendes, Alexandre. editor. (orcid)0000-0003-1759-3765 Yan, Yamin. editor. (orcid)0000-0001-5838-2652 Chen, Shifeng. editor. (orcid)0000-0003-0677-7358 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-97586-3
Format: Electronic Resources
Availability Online Library~1

Image and Graphics Technologies and Applications 13th Conference on Image and Graphics Technologies and Applications, IGTA 2018, Beijing, China, April 8–10, 2018, Revised Selected Papers

2026-05-16T02:27:00Z

Author Wang, Yongtian. editor. Jiang, Zhiguo. editor. Peng, Yuxin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-1702-6
Format: Electronic Resources
Availability Online Library~1

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III

2026-05-16T02:27:00Z

Author Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-03424-5
Format: Electronic Resources
Availability Online Library~1

Formal Methods: Foundations and Applications 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings

2026-05-16T02:27:00Z

Author Massoni, Tiago. editor. (orcid)0000-0002-9423-7556 Mousavi, Mohammad Reza. editor. (orcid)0000-0002-4869-6794 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-03044-5
Format: Electronic Resources
Availability Online Library~1

Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II

2026-05-16T02:27:00Z

Author Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-03421-4
Format: Electronic Resources
Availability Online Library~1

Data Science and Predictive Analytics Biomedical and Health Applications using R

2026-05-16T02:27:00Z

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

Recent Trends in Computer Applications Best Studies from the 2017 International Conference on Computer and Applications, Dubai, UAE

2026-05-16T02:27:00Z

Author Alja’am, Jihad Mohamad. editor. El Saddik, Abdulmotaleb. editor. Sadka, Abdul Hamid. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-89914-5
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-05-16T02:27:00Z

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

Intelligent Robotics and Applications 11th International Conference, ICIRA 2018, Newcastle, NSW, Australia, August 9–11, 2018, Proceedings, Part II

2026-05-16T02:27:00Z

Author Chen, Zhiyong. editor. (orcid)0000-0002-2033-4249 Mendes, Alexandre. editor. (orcid)0000-0003-1759-3765 Yan, Yamin. editor. (orcid)0000-0001-5838-2652 Chen, Shifeng. editor. (orcid)0000-0003-0677-7358 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-97589-4
Format: Electronic Resources
Availability Online Library~1

Information Technologies and Mathematical Modelling. Queueing Theory and Applications 17th International Conference, ITMM 2018, Named After A.F. Terpugov, and 12th Workshop on Retrial Queues and Related Topics, WRQ 2018, Tomsk, Russia, September 10-15, 2018, Selected Papers

2026-05-16T02:27:00Z

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

Bioinspired Optimization Methods and Their Applications 8th International Conference, BIOMA 2018, Paris, France, May 16-18, 2018, Proceedings

2026-05-16T02:27:00Z

Author Korošec, Peter. editor. Melab, Nouredine. editor. Talbi, El-Ghazali. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91641-5
Format: Electronic Resources
Availability Online Library~1

Modelling Foundations and Applications 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings

2026-05-16T02:27:00Z

Author Pierantonio, Alfonso. editor. (orcid)0000-0002-5231-3952 Trujillo, Salvador. editor. (orcid)0000-0002-3147-4618 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-92997-2
Format: Electronic Resources
Availability Online Library~1

Emerging Research in Computing, Information, Communication and Applications ERCICA 2016

2026-05-16T02:27:00Z

Author Shetty, N. R. editor. Patnaik, L. M. editor. Prasad, N. H. editor. Nalini, N. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-4741-1
Format: Electronic Resources
Availability Online Library~1

Dynamic Logic. New Trends and Applications First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings

2026-05-16T02:27:00Z

Author Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017 Benevides, Mário. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-73579-5
Format: Electronic Resources
Availability Online Library~1

Track-Before-Detect Using Expectation Maximisation The Histogram Probabilistic Multi-hypothesis Tracker: Theory and Applications

2026-05-16T02:27:00Z

Author Davey, Samuel J. author. Gaetjens, Han X. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-7593-3
Format: Electronic Resources
Availability Online Library~1

Innovation and Interdisciplinary Solutions for Underserved Areas First International Conference, InterSol 2017 and Sixth Collogue National sur la Recherche en Informatique et ses Applications, CNRIA 2017, Dakar, Senegal, April 11–12, 2017, Proceedings

2026-05-16T02:27:00Z

Author M. F. Kebe, Cheikh. editor. Gueye, Assane. editor. Ndiaye, Ababacar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-72965-7
Format: Electronic Resources
Availability Online Library~1

Probabilistic Cellular Automata Theory, Applications and Future Perspectives

2026-05-16T02:27:00Z

Author Louis, Pierre-Yves. editor. Nardi, Francesca R. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-65558-1
Format: Electronic Resources
Availability Online Library~1

Concept Invention Foundations, Implementation, Social Aspects and Applications

2026-05-16T02:27:00Z

Author Confalonieri, Roberto. editor. Pease, Alison. editor. Schorlemmer, Marco. editor. Besold, Tarek R. editor. Kutz, Oliver. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-65602-1
Format: Electronic Resources
Availability Online Library~1

Innovations in Wave Processes Modelling and Decision Making Grid-Characteristic Method and Applications

2026-05-16T02:27:00Z

Author Favorskaya, Alena V. editor. Petrov, Igor B. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-76201-2
Format: Electronic Resources
Availability Online Library~1

Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I

2026-05-16T02:27:00Z

Author Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-03418-4
Format: Electronic Resources
Availability Online Library~1

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV

2026-05-16T02:27:00Z

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

Mobile Computing, Applications, and Services 9th International Conference, MobiCASE 2018, Osaka, Japan, February 28 – March 2, 2018, Proceedings

2026-05-16T02:27:00Z

Author Murao, Kazuya. editor. Ohmura, Ren. editor. Inoue, Sozo. editor. Gotoh, Yusuke. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-90740-6
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Formal Argumentation 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised Selected Papers

2026-05-16T02:27:00Z

Author Black, Elizabeth. editor. (orcid)0000-0002-4295-449X Modgil, Sanjay. editor. Oren, Nir. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-75553-3
Format: Electronic Resources
Availability Online Library~1

Language and Automata Theory and Applications 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings

2026-05-16T02:27:00Z

Author Klein, Shmuel Tomi. editor. (orcid)0000-0002-9478-3303 Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Shapira, Dana. editor. (orcid)0000-0002-2320-9064 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-77313-1
Format: Electronic Resources
Availability Online Library~1

Computational Intelligence and Its Applications 6th IFIP TC 5 International Conference, CIIA 2018, Oran, Algeria, May 8-10, 2018, Proceedings

2026-05-16T02:27:00Z

Author Amine, Abdelmalek. editor. Mouhoub, Malek. editor. (orcid)0000-0001-7381-1064 Ait Mohamed, Otmane. editor. Djebbar, Bachir. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-89743-1
Format: Electronic Resources
Availability Online Library~1

Fundamentals and Applications of Hardcopy Communication Conveying Side Information by Printed Media

2026-05-16T02:27:00Z

Author Mayer, Joceli. author. Borges, Paulo V.K. author. J. Simske, Steven. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-74083-6
Format: Electronic Resources
Availability Online Library~1

Data Management Technologies and Applications 6th International Conference, DATA 2017, Madrid, Spain, July 24–26, 2017, Revised Selected Papers

2026-05-16T02:27:00Z

Author Filipe, Joaquim. editor. Bernardino, Jorge. editor. Quix, Christoph. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94809-6
Format: Electronic Resources
Availability Online Library~1

Human-Computer Systems Interaction Backgrounds and Applications 4

2026-05-16T02:27:00Z

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

Geospatial Infrastructure, Applications and Technologies: India Case Studies

2026-05-16T02:27:00Z

Author Sarda, N.L. editor. Acharya, P.S. editor. Sen, S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-2330-0
Format: Electronic Resources
Availability Online Library~1

Honeypot Frameworks and Their Applications: A New Framework

2026-05-16T02:27:00Z

Author NG, Chee Keong. author. Pan, Lei. author. Xiang, Yang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-7739-5
Format: Electronic Resources
Availability Online Library~1

Dependable Software Engineering. Theories, Tools, and Applications 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings

2026-05-16T02:27:00Z

Author Feng, Xinyu. editor. Müller-Olm, Markus. editor. Yang, Zijiang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99933-3
Format: Electronic Resources
Availability Online Library~1

Rewriting Logic and Its Applications 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings

2026-05-16T02:27:00Z

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

Combinatorial Optimization and Applications 12th International Conference, COCOA 2018, Atlanta, GA, USA, December 15-17, 2018, Proceedings

2026-05-16T02:27:00Z

Author Kim, Donghyun. editor. Uma, R. N. editor. Zelikovsky, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-04651-4
Format: Electronic Resources
Availability Online Library~1

Software Technologies: Applications and Foundations STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers

2026-05-16T02:27:00Z

Author Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948 Ober, Iulian. editor. Salaün, Gwen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-04771-9
Format: Electronic Resources
Availability Online Library~1

Understanding and Interpreting Machine Learning in Medical Image Computing Applications First International Workshops, MLCN 2018, DLF 2018, and iMIMIC 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16-20, 2018, Proceedings

2026-05-16T02:27:00Z

Author Stoyanov, Danail. editor. Taylor, Zeike. editor. Kia, Seyed Mostafa. editor. (orcid)0000-0002-7128-814X Oguz, Ipek. editor. (orcid)0000-0002-1403-2420 Reyes, Mauricio. editor. (orcid)0000-0002-2434-9990
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-02628-8
Format: Electronic Resources
Availability Online Library~1

Recent Advances in Applications of Computational and Fuzzy Mathematics

2026-05-16T02:27:00Z

Author Chakraverty, Snehashish. editor. Perera, Sanjeewa. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-1153-6
Format: Electronic Resources
Availability Online Library~1

Highlights of Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection International Workshops of PAAMS 2018, Toledo, Spain, June 20–22, 2018, Proceedings

2026-05-16T02:27:00Z

Author Bajo, Javier. editor. Corchado, Juan M. editor. Navarro Martínez, Elena María. editor. Osaba Icedo, Eneko. editor. Mathieu, Philippe. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94779-2
Format: Electronic Resources
Availability Online Library~1

Information Processing and Management of Uncertainty in Knowledge-Based Systems. Applications 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part III

2026-05-16T02:27:00Z

Author Medina, Jesús. editor. Ojeda-Aciego, Manuel. editor. Verdegay, José Luis. editor. Perfilieva, Irina. editor. Bouchon-Meunier, Bernadette. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91479-4
Format: Electronic Resources
Availability Online Library~1

Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 22nd Iberoamerican Congress, CIARP 2017, Valparaíso, Chile, November 7–10, 2017, Proceedings

2026-05-16T02:27:00Z

Author Mendoza, Marcelo. editor. (orcid)0000-0002-7969-6041 Velastín, Sergio. editor. (orcid)0000-0001-6775-7137 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-75193-1
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology – EUROCRYPT 2018 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel Aviv, Israel, April 29 - May 3, 2018 Proceedings, Part III

2026-05-16T02:27:00Z

Author Nielsen, Jesper Buus. editor. Rijmen, Vincent. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-78372-7
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology – EUROCRYPT 2018 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel Aviv, Israel, April 29 - May 3, 2018 Proceedings, Part II

2026-05-16T02:27:00Z

Author Nielsen, Jesper Buus. editor. Rijmen, Vincent. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-78375-8
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology – EUROCRYPT 2018 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel Aviv, Israel, April 29 - May 3, 2018 Proceedings, Part I

2026-05-16T02:27:00Z

Author Nielsen, Jesper Buus. editor. Rijmen, Vincent. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-78381-9
Format: Electronic Resources
Availability Online Library~1

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

2026-05-16T02:27:00Z

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

Physically Unclonable Functions From Basic Design Principles to Advanced Hardware Security Applications

2026-05-16T02:27:00Z

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

Applications and Usability of Interactive Television 6th Iberoamerican Conference, jAUTI 2017, Aveiro, Portugal, October 12-13, 2017, Revised Selected Papers

2026-05-16T02:27:00Z

Author Abásolo, María José. editor. (orcid)0000-0003-4441-3264 Abreu, Jorge. editor. Almeida, Pedro. editor. Silva, Telmo. editor. (orcid)0000-0001-9383-7659 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-90170-1
Format: Electronic Resources
Availability Online Library~1

Optimization Problems and Their Applications 7th International Conference, OPTA 2018, Omsk, Russia, July 8-14, 2018, Revised Selected Papers

2026-05-16T02:27:00Z

Author Eremeev, Anton. editor. (orcid)0000-0001-5289-7874 Khachay, Michael. editor. (orcid)0000-0003-3555-0080 Kochetov, Yury. editor. (orcid)0000-0001-7123-8647 Pardalos, Panos. editor. (orcid)0000-0001-9623-8053 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-93800-4
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Satisfiability Testing – SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings

2026-05-16T02:27:00Z

Author Beyersdorff, Olaf. editor. Wintersteiger, Christoph M. editor. (orcid)0000-0003-0102-4381 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94144-8
Format: Electronic Resources
Availability Online Library~1

Software Technologies: Applications and Foundations STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers

2026-05-16T02:27:00Z

Author Seidl, Martina. editor. Zschaler, Steffen. editor. (orcid)0000-0001-9062-6637 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-74730-9
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology - ASIACRYPT 2017 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part III

2026-05-16T02:27:00Z

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

Fuzzy Logic and Soft Computing Applications 11th International Workshop, WILF 2016, Naples, Italy, December 19-21, 2016, Revised Selected Papers

2026-05-16T02:27:00Z

Author Petrosino, Alfredo. editor. Loia, Vincenzo. editor. Pedrycz, Witold. editor. (orcid)0000-0002-9335-9930 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-52962-2
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology - ASIACRYPT 2017 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part I

2026-05-16T02:27:00Z

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

Trends and Applications in Knowledge Discovery and Data Mining PAKDD 2017 Workshops, MLSDA, BDM, DM-BPM Jeju, South Korea, May 23, 2017, Revised Selected Papers

2026-05-16T02:27:00Z

Author Kang, U. editor. Lim, Ee-Peng. editor. Yu, Jeffrey Xu. editor. Moon, Yang-Sae. editor. (orcid)0000-0002-2396-0405 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67274-8
Format: Electronic Resources
Availability Online Library~1

Sentiment Analysis in the Bio-Medical Domain Techniques, Tools, and Applications

2026-05-16T02:27:00Z

Author Satapathy, Ranjan. author. Cambria, Erik. author. Hussain, Amir. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-68468-0
Format: Electronic Resources
Availability Online Library~1

Dependable Software Engineering. Theories, Tools, and Applications Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings

2026-05-16T02:27:00Z

Author Larsen, Kim Guldstrand. editor. Sokolsky, Oleg. editor. Wang, Ji. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-69483-2
Format: Electronic Resources
Availability Online Library~1

Human Mental Workload: Models and Applications First International Symposium, H-WORKLOAD 2017, Dublin, Ireland, June 28-30, 2017, Revised Selected Papers

2026-05-16T02:27:00Z

Author Longo, Luca. editor. Leva, M. Chiara. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61061-0
Format: Electronic Resources
Availability Online Library~1

Biomedical Applications Based on Natural and Artificial Computing International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2017, Corunna, Spain, June 19-23, 2017, Proceedings, Part II

2026-05-16T02:27:00Z

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

Advances in Cryptology - ASIACRYPT 2017 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part II

2026-05-16T02:27:00Z

Author Takagi, Tsuyoshi. editor. Peyrin, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-70697-9
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Satisfiability Testing - SAT 2017 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings

2026-05-16T02:27:00Z

Author Gaspers, Serge. editor. Walsh, Toby. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66263-3
Format: Electronic Resources
Availability Online Library~1

Formal Methods: Foundations and Applications 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings

2026-05-16T02:27:00Z

Author Cavalheiro, Simone. editor. Fiadeiro, José. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-70848-5
Format: Electronic Resources
Availability Online Library~1

Modern Language Models and Computation Theory with Applications

2026-05-16T02:27:00Z

Author Meduna, Alexander. author. Soukup, Ondřej. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-63100-4
Format: Electronic Resources
Availability Online Library~1

Computer Science - Theory and Applications 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings

2026-05-16T02:27:00Z

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

Theory and Applications of Models of Computation 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings

2026-05-16T02:27:00Z

Author Gopal, T.V. editor. Jäger, Gerhard. editor. Steila, Silvia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-55911-7
Format: Electronic Resources
Availability Online Library~1

Rendezvous in Distributed Systems Theory, Algorithms and Applications

2026-05-16T02:27:00Z

Author Gu, Zhaoquan. author. Wang, Yuexuan. author. Hua, Qiang-Sheng. author. Lau, Francis C.M. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-3680-4
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-05-16T02:27:00Z

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

Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings

2026-05-16T02:27:00Z

Author Ghosh, Sujata. editor. Prasad, Sanjiva. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-54069-5
Format: Electronic Resources
Availability Online Library~1

Language and Automata Theory and Applications 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings

2026-05-16T02:27:00Z

Author Drewes, Frank. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-53733-7
Format: Electronic Resources
Availability Online Library~1

Emerging trends in applications and infrastructures for computational biology, bioinformatics, and systems biology : systems and applications

2026-05-16T02:27:00Z

Author Tran, Quoc-Nam, editor. Arabnia, Hamid, editor.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780128042038
Format: Electronic Resources
Availability Online Library~1

Software Technologies: Applications and Foundations STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers

2026-05-16T02:27:00Z

Author Milazzo, Paolo. editor. (orcid)0000-0002-7309-6424 Varró, Dániel. editor. Wimmer, Manuel. editor. (orcid)0000-0002-1124-7098 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-50230-4
Format: Electronic Resources
Availability Online Library~1

Information Technologies and Mathematical Modelling: Queueing Theory and Applications 15th International Scientific Conference, ITMM 2016, named after A.F. Terpugov, Katun, Russia, September 12-16, 2016. Proceedings

2026-05-16T02:27:00Z

Author Dudin, Alexander. editor. (orcid)0000-0003-2881-0227 Gortsev, Alexander. editor. Nazarov, Anatoly. editor. (orcid)0000-0002-5097-5629 Yakupov, Rafael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-44615-8
Format: Electronic Resources
Availability Online Library~1

Formal Methods: Foundations and Applications 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings

2026-05-16T02:27:00Z

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

Language and Automata Theory and Applications 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings

2026-05-16T02:27:00Z

Author Dediu, Adrian-Horia. editor. Janoušek, Jan. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-30000-9
Format: Electronic Resources
Availability Online Library~1

Computer Science - Theory and Applications 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings

2026-05-16T02:27:00Z

Author Kulikov, Alexander S. editor. Woeginger, Gerhard J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-34171-2
Format: Electronic Resources
Availability Online Library~1

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I

2026-05-16T02:27:00Z

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-319-47166-2
Format: Electronic Resources
Availability Online Library~1

Modelling Foundations and Applications 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings

2026-05-16T02:27:00Z

Author Wąsowski, Andrzej. editor. Lönn, Henrik. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-42061-5
Format: Electronic Resources
Availability Online Library~1