Search Results for Systems Analysis. - Narrowed by: 2016

Theoretical analysis of information systems

2026-06-16T12:46:32Z

Author Langefors, Börje, 1915-
Preferred Shelf Number T 58.6 L35 1966
Format: Books
Availability Beytepe Library~2

Business systems analysis and design

2026-06-16T12:46:32Z

Author Shelly, Gary B. Cashman, Thomas J., ort. yaz.
Preferred Shelf Number HF 5548.2 S442 1975
Format: Books
Availability Beytepe Library~1

Vascular plant families and genera : A listing of the genera of vascular plants of the world according to their families, as recognised in the Kew Herbarium, with an analysis of relationships of the flowering plant families according to eight systems of classification

2026-06-16T12:46:32Z

Author Brummitt, R. K. Royal Botanic Gardens, Kew. Herbarium.
Preferred Shelf Number QK 96 B69 1992
Format: Books
Availability Beytepe Library~1

Systems Analysis and Synthesis : Bridging Computer Science and Information Technology

2026-06-16T12:46:32Z

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

Analysis and Design of Markov Jump Systems with Complex Transition Probabilities

2026-06-16T12:46:32Z

Author Zhang, Lixian. author. Yang, Ting. author. Shi, Peng. author. (orcid)0000-0001-8218-586X Zhu, Yanzheng. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-28847-5
Format: Electronic Resources
Availability Online Library~1

Recent Results on Time-Delay Systems Analysis and Control

2026-06-16T12:46:32Z

Author Witrant, Emmanuel. editor. Fridman, Emilia. editor. Sename, Olivier. editor. Dugard, Luc. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-26369-4
Format: Electronic Resources
Availability Online Library~1

Polynomial Fuzzy Model-Based Control Systems Stability Analysis and Control Synthesis Using Membership Function Dependent Techniques

2026-06-16T12:46:32Z

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

Analysis and Synthesis for Interval Type-2 Fuzzy-Model-Based Systems

2026-06-16T12:46:32Z

Author Li, Hongyi. author. Wu, Ligang. author. Lam, Hak-Keung. author. Gao, Yabin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-0593-0
Format: Electronic Resources
Availability Online Library~1

Modeling and Analysis of Linear Hyperbolic Systems of Balance Laws

2026-06-16T12:46:32Z

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

Analysis and Identification of Time-Invariant Systems, Time-Varying Systems, and Multi-Delay Systems using Orthogonal Hybrid Functions Theory and Algorithms with MATLAB®

2026-06-16T12:46:32Z

Author Deb, Anish. author. Roychoudhury, Srimanti. author. Sarkar, Gautam. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-26684-8
Format: Electronic Resources
Availability Online Library~1

New Frontiers in Information and Production Systems Modelling and Analysis Incentive Mechanisms, Competence Management, Knowledge-based Production

2026-06-16T12:46:32Z

Author Różewski, Przemysław. editor. Novikov, Dmitry. editor. Bakhtadze, Natalia. editor. Zaikin, Oleg. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-23338-3
Format: Electronic Resources
Availability Online Library~1

Measurement and Analysis in Transforming Healthcare Delivery Volume 1: Quantitative Approaches in Health Systems Engineering

2026-06-16T12:46:32Z

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

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings

2026-06-16T12:46:32Z

Author Lecomte, Thierry. editor. Pinger, Ralf. editor. Romanovsky, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-33951-1
Format: Electronic Resources
Availability Online Library~1

Formal Modeling and Analysis of Timed Systems 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings

2026-06-16T12:46:32Z

Author Fränzle, Martin. editor. Markey, Nicolas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-44878-7
Format: Electronic Resources
Availability Online Library~1

Reliability and Life-Cycle Analysis of Deteriorating Systems

2026-06-16T12:46:32Z

Author Sánchez-Silva, Mauricio. author. (orcid)0000-0002-3626-6690 Klutke, Georgia-Ann. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-20946-3
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

2026-06-16T12:46:32Z

Author Chechik, Marsha. editor. (orcid)0000-0002-6301-3517 Raskin, Jean-François. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-49674-9
Format: Electronic Resources
Availability Online Library~1

Service Network Design of Bike Sharing Systems Analysis and Optimization

2026-06-16T12:46:32Z

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

Behaviour of Steel Structures in Seismic Areas : STESSA 2012

2026-06-16T12:46:32Z

Author Mazzolani, Federico, editor. Herrera, Ricardo, editor. Taylor and Francis.
Preferred Shelf Number TA684
Electronic Access Click here to view.
Format: Electronic Resources
Availability Online Library~1

Data science and complex networks : real cases studies with Python

2026-06-16T12:46:32Z

Author Caldarelli, Guido, author. Chessa, Alessandro, author.
Preferred Shelf Number TK5105.5
Electronic Access Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780199639601.001.0001
Format: Electronic Resources
Availability Online Library~1

Human Factors Methods and Accident Analysis : Practical Guidance and Case Study Applications

2026-06-16T12:46:32Z

Author Salmon, Paul M., author. Jenkins, Daniel P. LennA©, Michael Rafferty, Laura Stanton, Neville A.
Preferred Shelf Number HV675 .S256 2016
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Neuronal Network Dynamics in 2D and 3D in vitro Neuroengineered Systems

2026-06-16T12:46:32Z

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

Mathematical Modeling and Optimization of Complex Structures

2026-06-16T12:46:32Z

Author Neittaanmäki, Pekka. editor. Repin, Sergey. editor. Tuovinen, Tero. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-23564-6
Format: Electronic Resources
Availability Online Library~1

Intelligent Interactive Multimedia Systems and Services 2016

2026-06-16T12:46:32Z

Author Pietro, Giuseppe De. editor. Gallo, Luigi. editor. Howlett, Robert J. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-39345-2
Format: Electronic Resources
Availability Online Library~1

Challenging Problems and Solutions in Intelligent Systems

2026-06-16T12:46:32Z

Author Trė, Guy de. editor. Grzegorzewski, Przemysław. editor. (orcid)0000-0002-5191-4123 Kacprzyk, Janusz. editor. Owsiński, Jan W. editor. Penczek, Wojciech. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-30165-5
Format: Electronic Resources
Availability Online Library~1

Recent Developments in Intelligent Information and Database Systems

2026-06-16T12:46:32Z

Author Król, Dariusz. editor. Madeyski, Lech. editor. Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-31277-4
Format: Electronic Resources
Availability Online Library~1

Research and Development in Intelligent Systems XXXIII Incorporating Applications and Innovations in Intelligent Systems XXIV

2026-06-16T12:46:32Z

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

Reliability and Safety Engineering

2026-06-16T12:46:32Z

Author Verma, Ajit Kumar. author. Ajit, Srividya. author. Karanki, Durga Rao. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4471-6269-8
Format: Electronic Resources
Availability Online Library~1

Resource Management for Big Data Platforms Algorithms, Modelling, and High-Performance Computing Techniques

2026-06-16T12:46:32Z

Author Pop, Florin. editor. Kołodziej, Joanna. editor. Di Martino, Beniamino. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-44881-7
Format: Electronic Resources
Availability Online Library~1

Future Data and Security Engineering Third International Conference, FDSE 2016, Can Tho City, Vietnam, November 23-25, 2016, Proceedings

2026-06-16T12:46:32Z

Author Dang, Tran Khanh. editor. (orcid)0000-0002-7282-3589 Wagner, Roland. editor. Küng, Josef. editor. Thoai, Nam. editor. Takizawa, Makoto. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-48057-2
Format: Electronic Resources
Availability Online Library~1

Advances in Digital Forensics XII 12th IFIP WG 11.9 International Conference, New Delhi, January 4-6, 2016, Revised Selected Papers

2026-06-16T12:46:32Z

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

Dynamics of Civil Structures, Volume 2 Proceedings of the 34th IMAC, A Conference and Exposition on Structural Dynamics 2016

2026-06-16T12:46:32Z

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

System Modeling and Optimization 27th IFIP TC 7 Conference, CSMO 2015, Sophia Antipolis, France, June 29 - July 3, 2015, Revised Selected Papers

2026-06-16T12:46:32Z

Author Bociu, Lorena. editor. Désidéri, Jean-Antoine. editor. Habbal, Abderrahmane. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-55795-3
Format: Electronic Resources
Availability Online Library~1

On-Chip Power Delivery and Management

2026-06-16T12:46:32Z

Author Vaisband, Inna P. author. Jakushokas, Renatas. author. Popovich, Mikhail. author. Mezhiba, Andrey V. author. Köse, Selçuk. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-29395-0
Format: Electronic Resources
Availability Online Library~1

Proceedings of the Second International Afro-European Conference for Industrial Advancement AECIA 2015

2026-06-16T12:46:32Z

Author Abraham, Ajith. editor. (orcid)0000-0002-0169-6738 Wegrzyn-Wolska, Katarzyna. editor. Hassanien, Aboul Ella. editor. Snasel, Vaclav. editor. Alimi, Adel M. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-29504-6
Format: Electronic Resources
Availability Online Library~1

TP-Model Transformation-Based-Control Design Frameworks

2026-06-16T12:46:32Z

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

Programming Languages and Systems 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

2026-06-16T12:46:32Z

Author Thiemann, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-49498-1
Format: Electronic Resources
Availability Online Library~1

OSS Reliability Measurement and Assessment

2026-06-16T12:46:32Z

Author Yamada, Shigeru. author. Tamura, Yoshinobu. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-31818-9
Format: Electronic Resources
Availability Online Library~1

Advanced Model-Based Engineering of Embedded Systems Extensions of the SPES 2020 Methodology

2026-06-16T12:46:32Z

Author Pohl, Klaus. editor. Broy, Manfred. editor. Daembkes, Heinrich. editor. Hönninger, Harald. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-48003-9
Format: Electronic Resources
Availability Online Library~1

Sentiment Analysis and Ontology Engineering An Environment of Computational Intelligence

2026-06-16T12:46:32Z

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

Multicomponent and Multiscale Systems Theory, Methods, and Applications in Engineering

2026-06-16T12:46:32Z

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

Knowledge Science, Engineering and Management 9th International Conference, KSEM 2016, Passau, Germany, October 5-7, 2016, Proceedings

2026-06-16T12:46:32Z

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

Designing Networks for Innovation and Improvisation Proceedings of the 6th International COINs Conference

2026-06-16T12:46:32Z

Author Zylka, Matthäus P. editor. Fuehres, Hauke. editor. Fronzetti Colladon, Andrea. editor. Gloor, Peter A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-42697-6
Format: Electronic Resources
Availability Online Library~1

Knowledge and Systems Sciences 17th International Symposium, KSS 2016, Kobe, Japan, November 4-6, 2016, Proceedings

2026-06-16T12:46:32Z

Author Chen, Jian. editor. Nakamori, Yoshiteru. editor. Yue, Wuyi. editor. Tang, Xijin. editor. (orcid)0000-0002-2315-1755 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-2857-1
Format: Electronic Resources
Availability Online Library~1

Model Design and Simulation Analysis 15th International Conference, AsiaSim 2015, Jeju, Korea, November 4-7, 2015, Revised Selected Papers

2026-06-16T12:46:32Z

Author Ohn, Syng Yup. editor. Chi, Sung Do. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-2158-9
Format: Electronic Resources
Availability Online Library~1

Behavioural Models From Modelling Finite Automata to Analysing Business Processes

2026-06-16T12:46:32Z

Author Kunze, Matthias. author. Weske, Mathias. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-44960-9
Format: Electronic Resources
Availability Online Library~1

Product Lifecycle Management (Volume 2) The Devil is in the Details

2026-06-16T12:46:32Z

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

System Dynamics Modeling with R

2026-06-16T12:46:32Z

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

Counteracting Urban Heat Island Effects in a Global Climate Change Scenario

2026-06-16T12:46:32Z

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

Prediction Methods for Blood Glucose Concentration Design, Use and Evaluation

2026-06-16T12:46:32Z

Author Kirchsteiger, Harald. editor. Jørgensen, John Bagterp. editor. Renard, Eric. editor. del Re, Luigi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-25913-0
Format: Electronic Resources
Availability Online Library~1

Internetware A New Software Paradigm for Internet Computing

2026-06-16T12:46:32Z

Author Mei, Hong. author. Lü, Jian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-2546-4
Format: Electronic Resources
Availability Online Library~1

Fault Detection and Fault-Tolerant Control for Nonlinear Systems

2026-06-16T12:46:32Z

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

Analytical Ultracentrifugation Instrumentation, Software, and Applications

2026-06-16T12:46:32Z

Author Uchiyama, Susumu. editor. Arisaka, Fumio. editor. Stafford, Walter F. editor. Laue, Tom. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-4-431-55985-6
Format: Electronic Resources
Availability Online Library~1

Toward 5G Software Defined Radio Receiver Front-Ends

2026-06-16T12:46:32Z

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

Applications of Evolutionary Computation 19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings, Part II

2026-06-16T12:46:32Z

Author Squillero, Giovanni. editor. Burelli, Paolo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-31153-1
Format: Electronic Resources
Availability Online Library~1

Automotive NVH Technology

2026-06-16T12:46:32Z

Author Fuchs, Anton. editor. Nijman, Eugenius. editor. Priebsch, Hans-Herwig. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-24055-8
Format: Electronic Resources
Availability Online Library~1

Internet Science Third International Conference, INSCI 2016, Florence, Italy, September 12-14, 2016, Proceedings

2026-06-16T12:46:32Z

Author Bagnoli, Franco. editor. (orcid)0000-0002-9812-8840 Satsiou, Anna. editor. Stavrakakis, Ioannis. editor. Nesi, Paolo. editor. Pacini, Giovanna. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-45982-0
Format: Electronic Resources
Availability Online Library~1

Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II

2026-06-16T12:46:32Z

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

Distributed Computing 30th International Symposium, DISC 2016, Paris, France, September 27-29, 2016. Proceedings

2026-06-16T12:46:32Z

Author Gavoille, Cyril. editor. Ilcinkas, David. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-53426-7
Format: Electronic Resources
Availability Online Library~1

Database and Expert Systems Applications 27th International Conference, DEXA 2016, Porto, Portugal, September 5-8, 2016, Proceedings, Part I

2026-06-16T12:46:32Z

Author Hartmann, Sven. editor. Ma, Hui. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-44403-1
Format: Electronic Resources
Availability Online Library~1

Quantitative Evaluation of Systems 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings

2026-06-16T12:46:32Z

Author Agha, Gul. editor. Van Houdt, Benny. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-43425-4
Format: Electronic Resources
Availability Online Library~1

Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I

2026-06-16T12:46:32Z

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

Intelligent Information and Database Systems 8th Asian Conference, ACIIDS 2016, Da Nang, Vietnam, March 14-16, 2016, Proceedings, Part II

2026-06-16T12:46:32Z

Author Nguyen, Ngoc-Thanh. editor. Trawiński, Bogdan. editor. Fujita, Hamido. editor. (orcid)0000-0001-5256-210X Hong, Tzung-Pei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-49390-8
Format: Electronic Resources
Availability Online Library~1

Cryptographic Hardware and Embedded Systems - CHES 2016 18th International Conference, Santa Barbara, CA, USA, August 17-19, 2016, Proceedings

2026-06-16T12:46:32Z

Author Gierlichs, Benedikt. editor. Poschmann, Axel Y. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-53140-2
Format: Electronic Resources
Availability Online Library~1

Context-Enhanced Information Fusion Boosting Real-World Performance with Domain Knowledge

2026-06-16T12:46:32Z

Author Snidaro, Lauro. editor. García, Jesús. editor. (orcid)0000-0003-1768-2688 Llinas, James. editor. Blasch, Erik. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-28971-7
Format: Electronic Resources
Availability Online Library~1

New Approaches in Intelligent Control Techniques, Methodologies and Applications

2026-06-16T12:46:32Z

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

The US National Climate Assessment Innovations in Science and Engagement

2026-06-16T12:46:32Z

Author Jacobs, Katharine. editor. Moser, Susanne. editor. Buizer, James. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-41802-5
Format: Electronic Resources
Availability Online Library~1

Computational Intelligence and Intelligent Systems 7th International Symposium, ISICA 2015, Guangzhou, China, November 21-22, 2015, Revised Selected Papers

2026-06-16T12:46:32Z

Author Li, Kangshun. editor. Li, Jin. editor. Liu, Yong. editor. (orcid)0000-0002-4663-6739 Castiglione, Aniello. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-0356-1
Format: Electronic Resources
Availability Online Library~1

Space Architecture Education for Engineers and Architects Designing and Planning Beyond Earth

2026-06-16T12:46:32Z

Author Häuplik-Meusburger, Sandra. author. (orcid)0000-0002-2044-6443 Bannova, Olga. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-19279-6
Format: Electronic Resources
Availability Online Library~1

Information Systems Architecture and Technology: Proceedings of 36th International Conference on Information Systems Architecture and Technology - ISAT 2015 - Part I

2026-06-16T12:46:32Z

Author Borzemski, Leszek. editor. Grzech, Adam. editor. Swiątek, Paweł. editor. Wilimowska, Zofia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-28555-9
Format: Electronic Resources
Availability Online Library~1

Advances in Water Resources Management

2026-06-16T12:46:32Z

Author Wang, Lawrence K. editor. Yang, Chih Ted. editor. Wang, Mu-Hao S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-22924-9
Format: Electronic Resources
Availability Online Library~1

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIII Selected Papers from FDSE 2014

2026-06-16T12:46:32Z

Author Hameurlain, Abdelkader. editor. Küng, Josef. editor. Wagner, Roland. editor. Dang, Tran Khanh. editor. (orcid)0000-0002-7282-3589 Thoai, Nam. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-49175-1
Format: Electronic Resources
Availability Online Library~1

Risk Management in Medicine

2026-06-16T12:46:32Z

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

Spatio-Temporal Data Streams

2026-06-16T12:46:32Z

Author Galić, Zdravko. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4939-6575-5
Format: Electronic Resources
Availability Online Library~1

Model-Based Systems Engineering with OPM and SysML

2026-06-16T12:46:32Z

Author Dori, Dov. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4939-3295-5
Format: Electronic Resources
Availability Online Library~1

Advances in Knowledge Discovery and Data Mining 20th Pacific-Asia Conference, PAKDD 2016, Auckland, New Zealand, April 19-22, 2016, Proceedings, Part I

2026-06-16T12:46:32Z

Author Bailey, James. editor. Khan, Latifur. editor. Washio, Takashi. editor. Dobbie, Gill. editor. (orcid)0000-0001-7245-0367 Huang, Joshua Zhexue. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-31753-3
Format: Electronic Resources
Availability Online Library~1

Robotics and Mechatronics Proceedings of the 4th IFToMM International Symposium on Robotics and Mechatronics

2026-06-16T12:46:32Z

Author Zeghloul, Saïd. editor. Laribi, Med Amine. editor. Gazeau, Jean-Pierre. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-22368-1
Format: Electronic Resources
Availability Online Library~1

Theoretical Developments and Applications of Non-Integer Order Systems 7th Conference on Non-Integer Order Calculus and Its Applications, Szczecin, Poland

2026-06-16T12:46:32Z

Author Domek, Stefan. editor. Dworak, Paweł. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-23039-9
Format: Electronic Resources
Availability Online Library~1

Modular Load Flow for Restructured Power Systems

2026-06-16T12:46:32Z

Author Hariharan, M.V. author. Varwandkar, S.D. author. Gupta, Pragati P. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-0497-1
Format: Electronic Resources
Availability Online Library~1

Transactions on Modularity and Composition I

2026-06-16T12:46:32Z

Author Chiba, Shigeru. editor. Südholt, Mario. editor. Eugster, Patrick. editor. Ziarek, Lukasz. editor. Leavens, Gary T. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-46969-0
Format: Electronic Resources
Availability Online Library~1

Foundations of Security Analysis and Design VIII FOSAD 2014/2015/2016 Tutorial Lectures

2026-06-16T12:46:32Z

Author Aldini, Alessandro. editor. (orcid)0000-0002-7250-5011 Lopez, Javier. editor. Martinelli, Fabio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-43005-8
Format: Electronic Resources
Availability Online Library~1

Complex Systems and Networks Dynamics, Controls and Applications

2026-06-16T12:46:32Z

Author Lü, Jinhu. editor. Yu, Xinghuo. editor. Chen, Guanrong. editor. (orcid)0000-0003-1381-7418 Yu, Wenwu. editor. (orcid)0000-0003-3755-179X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-47824-0
Format: Electronic Resources
Availability Online Library~1

Water Politics and Political Culture Turkey's compatibility with the European Union

2026-06-16T12:46:32Z

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

Process-Aware Systems Second International Workshop, PAS 2015, Hangzhou, China, October 30, 2015. Revised Selected Papers

2026-06-16T12:46:32Z

Author Cao, Jian. editor. Liu, Xiao. editor. (orcid)0000-0001-8400-5754 Ren, Kaijun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-1019-4
Format: Electronic Resources
Availability Online Library~1

Beyond Databases, Architectures and Structures. Advanced Technologies for Data Mining and Knowledge Discovery 12th International Conference, BDAS 2016, Ustroń, Poland, May 31 - June 3, 2016, Proceedings

2026-06-16T12:46:32Z

Author Kozielski, Stanisław. editor. Mrozek, Dariusz. editor. Kasprowski, Paweł. editor. Małysiak-Mrozek, Bożena. editor. Kostrzewa, Daniel. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-34099-9
Format: Electronic Resources
Availability Online Library~1

Engineering Secure Software and Systems 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings

2026-06-16T12:46:32Z

Author Caballero, Juan. editor. Bodden, Eric. editor. Athanasopoulos, Elias. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-30806-7
Format: Electronic Resources
Availability Online Library~1

Situated Dialog in Speech-Based Human-Computer Interaction

2026-06-16T12:46:32Z

Author Rudnicky, Alexander. editor. Raux, Antoine. editor. Lane, Ian. editor. Misu, Teruhisa. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-21834-2
Format: Electronic Resources
Availability Online Library~1

Mobile Networks for Biometric Data Analysis

2026-06-16T12:46:32Z

Author Conti, Massimo. editor. (orcid)0000-0002-7622-0857 Martínez Madrid, Natividad. editor. Seepold, Ralf. editor. (orcid)0000-0002-5192-2537 Orcioni, Simone. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-39700-9
Format: Electronic Resources
Availability Online Library~1

Analysis and Damping Control of Power System Low-frequency Oscillations

2026-06-16T12:46:32Z

Author Wang, Haifeng. author. Du, Wenjuan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4899-7696-3
Format: Electronic Resources
Availability Online Library~1

Analytics for Smart Energy Management Tools and Applications for Sustainable Manufacturing

2026-06-16T12:46:32Z

Author Oh, Seog-Chan. author. Hildreth, Alfred J. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-32729-7
Format: Electronic Resources
Availability Online Library~1

Robust Multimodal Cognitive Load Measurement

2026-06-16T12:46:32Z

Author Chen, Fang. author. Zhou, Jianlong. author. Wang, Yang. author. Yu, Kun. author. Arshad, Syed Z. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-31700-7
Format: Electronic Resources
Availability Online Library~1

Automated Technology for Verification and Analysis 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

2026-06-16T12:46:32Z

Author Artho, Cyrille. editor. Legay, Axel. editor. Peled, Doron. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-46520-3
Format: Electronic Resources
Availability Online Library~1

Advances in Databases and Information Systems 20th East European Conference, ADBIS 2016, Prague, Czech Republic, August 28-31, 2016, Proceedings

2026-06-16T12:46:32Z

Author Pokorný, Jaroslav. editor. Ivanović, Mirjana. editor. (orcid)0000-0003-1946-0384 Thalheim, Bernhard. editor. Šaloun, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-44039-2
Format: Electronic Resources
Availability Online Library~1

Big Data Analysis: New Algorithms for a New Society

2026-06-16T12:46:32Z

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

Risks and Security of Internet and Systems 10th International Conference, CRiSIS 2015, Mytilene, Lesbos Island, Greece, July 20-22, 2015, Revised Selected Papers

2026-06-16T12:46:32Z

Author Lambrinoudakis, Costas. editor. (orcid)0000-0003-3101-5347 Gabillon, Alban. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-31811-0
Format: Electronic Resources
Availability Online Library~1

Internet of Things Technologies for HealthCare Third International Conference, HealthyIoT 2016, Västerås, Sweden, October 18-19, 2016, Revised Selected Papers

2026-06-16T12:46:32Z

Author Ahmed, Mobyen Uddin. editor. Begum, Shahina. editor. Raad, Wasim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-51234-1
Format: Electronic Resources
Availability Online Library~1

Bubble Systems

2026-06-16T12:46:32Z

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

Power System Dynamics and Control

2026-06-16T12:46:32Z

Author Kwatny, Harry G. author. Miu-Miller, Karen. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-0-8176-4674-5
Format: Electronic Resources
Availability Online Library~1

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

2026-06-16T12:46:32Z

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

Risk assessment : a practical guide to assessing operational risks

2026-06-16T12:46:32Z

Author Popov, Georgi (Engineer), author. Lyon, Bruce K. Hollcroft, Bruce.
Preferred Shelf Number T10.68
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119798323
Format: Electronic Resources
Availability Online Library~1

Design and Implementation of Large-Range Compliant Micropositioning Systems

2026-06-16T12:46:32Z

Author Xu, Qingsong.
Preferred Shelf Number TJ223 .P67 X825 2016 EB
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119131441
Format: Electronic Resources
Availability Online Library~1

Foodborne pathogens and antibiotic resistance

2026-06-16T12:46:32Z

Author Singh, Om V., editor.
Preferred Shelf Number QR201 .F62
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119139188
Format: Electronic Resources
Availability Online Library~1

Delays and Networked Control Systems

2026-06-16T12:46:32Z

Author Seuret, Alexandre. editor. Hetel, Laurentiu. editor. Daafouz, Jamal. editor. Johansson, Karl H. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-32372-5
Format: Electronic Resources
Availability Online Library~1

Formation and Containment Control for High-order Linear Swarm Systems

2026-06-16T12:46:32Z

Author Dong, Xiwang. author. (orcid)0000-0002-4778-248X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-47836-3
Format: Electronic Resources
Availability Online Library~1

Haptic Devices for Studies on Human Grasp and Rehabilitation

2026-06-16T12:46:32Z

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

Advances in Social Computing and Digital Education 7th International Workshop on Collaborative Agents Research and Development, CARE 2016, Singapore, May 9, 2016 and Second International Workshop on Social Computing in Digital Education, SocialEdu 2016, Zagreb, Croatia, June 6, 2016, Revised Selected Papers

2026-06-16T12:46:32Z

Author Koch, Fernando. editor. Koster, Andrew. editor. Primo, Tiago. editor. Guttmann, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-52039-1
Format: Electronic Resources
Availability Online Library~1

Fuzzy Technology Present Applications and Future Challenges

2026-06-16T12:46:32Z

Author Collan, Mikael. editor. (orcid)0000-0003-2976-2829 Fedrizzi, Mario. editor. Kacprzyk, Janusz. editor. (orcid)0000-0003-4187-5877 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-26986-3
Format: Electronic Resources
Availability Online Library~1

New Approaches in Intelligent Image Analysis Techniques, Methodologies and Applications

2026-06-16T12:46:32Z

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

DNA Computing and Molecular Programming 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016. Proceedings

2026-06-16T12:46:32Z

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

Techniques for Building Timing-Predictable Embedded Systems

2026-06-16T12:46:32Z

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

Reachability Problems 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings

2026-06-16T12:46:32Z

Author Larsen, Kim Guldstrand. editor. Potapov, Igor. editor. Srba, Jiří. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-45994-3
Format: Electronic Resources
Availability Online Library~1

Agricultural Proteomics Volume 1 Crops, Horticulture, Farm Animals, Food, Insect and Microorganisms

2026-06-16T12:46:32Z

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

Information Processing and Management of Uncertainty in Knowledge-Based Systems 16th International Conference, IPMU 2016, Eindhoven, The Netherlands, June 20-24, 2016, Proceedings, Part I

2026-06-16T12:46:32Z

Author Carvalho, Joao Paulo. editor. (orcid)0000-0003-0005-8299 Lesot, Marie-Jeanne. editor. Kaymak, Uzay. editor. Vieira, Susana. editor. Bouchon-Meunier, Bernadette. editor. (orcid)0000-0002-7937-7796
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-40596-4
Format: Electronic Resources
Availability Online Library~1

Diagnosis and Fault-Tolerant Control

2026-06-16T12:46:32Z

Author Blanke, Mogens. author. Kinnaert, Michel. author. Lunze, Jan. author. Staroswiecki, Marcel. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-47943-8
Format: Electronic Resources
Availability Online Library~1

Advances in Condition Monitoring of Machinery in Non-Stationary Operations Proceedings of the Fourth International Conference on Condition Monitoring of Machinery in Non-Stationary Operations, CMMNO'2014, Lyon, France December 15-17

2026-06-16T12:46:32Z

Author Chaari, Fakher. editor. Zimroz, Radoslaw. editor. Bartelmus, Walter. editor. Haddar, Mohamed. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-20463-5
Format: Electronic Resources
Availability Online Library~1

Applications of Evolutionary Computation 19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings, Part I

2026-06-16T12:46:32Z

Author Squillero, Giovanni. editor. Burelli, Paolo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-31204-0
Format: Electronic Resources
Availability Online Library~1

Internet of Things (IoT) in 5G Mobile Technologies

2026-06-16T12:46:32Z

Author Mavromoustakis, Constandinos X. editor. Mastorakis, George. editor. Batalla, Jordi Mongay. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-30913-2
Format: Electronic Resources
Availability Online Library~1

Web Information Systems Engineering - WISE 2016 17th International Conference, Shanghai, China, November 8-10, 2016, Proceedings, Part I

2026-06-16T12:46:32Z

Author Cellary, Wojciech. editor. Mokbel, Mohamed F. editor. Wang, Jianmin. editor. Wang, Hua. editor. Zhou, Rui. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-48740-3
Format: Electronic Resources
Availability Online Library~1

Intelligent Decision Technologies 2016 Proceedings of the 8th KES International Conference on Intelligent Decision Technologies (KES-IDT 2016) - Part I

2026-06-16T12:46:32Z

Author Czarnowski, Ireneusz. editor. (orcid)0000-0003-0867-3114 Caballero, Alfonso Mateos. editor. Howlett, Robert J. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-39630-9
Format: Electronic Resources
Availability Online Library~1

Phononic Crystals Fundamentals and Applications

2026-06-16T12:46:32Z

Author Khelif, Abdelkrim. editor. Adibi, Ali. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4614-9393-8
Format: Electronic Resources
Availability Online Library~1

Advances in Knowledge Discovery and Data Mining 20th Pacific-Asia Conference, PAKDD 2016, Auckland, New Zealand, April 19-22, 2016, Proceedings, Part II

2026-06-16T12:46:32Z

Author Bailey, James. editor. Khan, Latifur. editor. Washio, Takashi. editor. Dobbie, Gill. editor. (orcid)0000-0001-7245-0367 Huang, Joshua Zhexue. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-31750-2
Format: Electronic Resources
Availability Online Library~1

Efflux-Mediated Antimicrobial Resistance in Bacteria Mechanisms, Regulation and Clinical Implications

2026-06-16T12:46:32Z

Author Li, Xian-Zhi. editor. Elkins, Christopher A. editor. Zgurskaya, Helen I. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-39658-3
Format: Electronic Resources
Availability Online Library~1

Coriolis Vibratory Gyroscopes Theory and Design

2026-06-16T12:46:32Z

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

EEG Signal Analysis and Classification Techniques and Applications

2026-06-16T12:46:32Z

Author Siuly, Siuly. author. (orcid)0000-0003-2491-0546 Li, Yan. author. Zhang, Yanchun. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-47653-7
Format: Electronic Resources
Availability Online Library~1

Integrated Water Resource Management An Interdisciplinary Approach

2026-06-16T12:46:32Z

Author Grigg, Neil S. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1057/978-1-137-57615-6
Format: Electronic Resources
Availability Online Library~1

Academic Global Surgery

2026-06-16T12:46:32Z

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

Agent and Multi-Agent Systems: Technology and Applications 10th KES International Conference, KES-AMSTA 2016 Puerto de la Cruz, Tenerife, Spain, June 2016 Proceedings

2026-06-16T12:46:32Z

Author Jezic, Gordan. editor. Chen-Burger, Yun-Heh Jessica. editor. Howlett, Robert J. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-39883-9
Format: Electronic Resources
Availability Online Library~1

Real Time Control Engineering Systems And Automation

2026-06-16T12:46:32Z

Author Ng, Tian Seng. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-1509-0
Format: Electronic Resources
Availability Online Library~1

Radionuclide and Metal Sorption on Cement and Concrete

2026-06-16T12:46:32Z

Author Ochs, Michael. author. Mallants, Dirk. author. Wang, Lian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-23651-3
Format: Electronic Resources
Availability Online Library~1

Design and Control of Swarm Dynamics

2026-06-16T12:46:32Z

Author Bouffanais, Roland. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-287-751-2
Format: Electronic Resources
Availability Online Library~1

Multimedia Content Analysis

2026-06-16T12:46:32Z

Author Ohm, Jens-Rainer. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-52828-0
Format: Electronic Resources
Availability Online Library~1

Event-Based State Estimation A Stochastic Perspective

2026-06-16T12:46:32Z

Author Shi, Dawei. author. Shi, Ling. author. Chen, Tongwen. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-26606-0
Format: Electronic Resources
Availability Online Library~1

Intelligent Visual Surveillance 4th Chinese Conference, IVS 2016, Beijing, China, October 19, 2016, Proceedings

2026-06-16T12:46:32Z

Author Zhang, Zhang. editor. Huang, Kaiqi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-3476-3
Format: Electronic Resources
Availability Online Library~1

Advances in Chaos Theory and Intelligent Control

2026-06-16T12:46:32Z

Author Azar, Ahmad Taher. editor. (orcid)0000-0002-7869-6373 Vaidyanathan, Sundarapandian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-30340-6
Format: Electronic Resources
Availability Online Library~1

Multimedia Signals and Systems Basic and Advanced Algorithms for Signal Processing

2026-06-16T12:46:32Z

Author Stanković, Srdjan. author. Orović, Irena. author. Sejdić, Ervin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-23950-7
Format: Electronic Resources
Availability Online Library~1

Geostatistical and Geospatial Approaches for the Characterization of Natural Resources in the Environment Challenges, Processes and Strategies

2026-06-16T12:46:32Z

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

Proceedings of the Second International Conference on Computer and Communication Technologies IC3T 2015, Volume 3

2026-06-16T12:46:32Z

Author Satapathy, Suresh Chandra. editor. Raju, K. Srujan. editor. (orcid)0000-0001-5058-4313 Mandal, Jyotsna Kumar. editor. Bhateja, Vikrant. editor. (orcid)0000-0002-3259-8874 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-81-322-2526-3
Format: Electronic Resources
Availability Online Library~1

A Comparative Political Ecology of Exurbia Planning, Environmental Management, and Landscape Change

2026-06-16T12:46:32Z

Author Taylor, Laura E. editor. Hurley, Patrick T. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-29462-9
Format: Electronic Resources
Availability Online Library~1

Real-World Decision Support Systems Case Studies

2026-06-16T12:46:32Z

Author Papathanasiou, Jason. editor. Ploskas, Nikolaos. editor. Linden, Isabelle. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-43916-7
Format: Electronic Resources
Availability Online Library~1

Data and Information Quality Dimensions, Principles and Techniques

2026-06-16T12:46:32Z

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

Smart Collaborative Identifier Network A Promising Design for Future Internet

2026-06-16T12:46:32Z

Author Zhang, Hongke. author. Su, Wei. author. Quan, Wei. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-49143-0
Format: Electronic Resources
Availability Online Library~1

Fire Hazard Assessment of Lithium Ion Battery Energy Storage Systems

2026-06-16T12:46:32Z

Author Blum, Andrew F. author. Long Jr., R. Thomas. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4939-6556-4
Format: Electronic Resources
Availability Online Library~1

Advances in Dynamical Systems and Control

2026-06-16T12:46:32Z

Author Sadovnichiy, Victor A. editor. Zgurovsky, Mikhail Z. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-40673-2
Format: Electronic Resources
Availability Online Library~1

Intelligent Computing Methodologies 12th International Conference, ICIC 2016, Lanzhou, China, August 2-5, 2016, Proceedings, Part III

2026-06-16T12:46:32Z

Author Huang, De-Shuang. editor. Han, Kyungsook. editor. Hussain, Abir. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-42297-8
Format: Electronic Resources
Availability Online Library~1

Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures

2026-06-16T12:46:32Z

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

Bioinformatics and Biomedical Engineering 4th International Conference, IWBBIO 2016, Granada, Spain, April 20-22, 2016, Proceedings

2026-06-16T12:46:32Z

Author Ortuño, Francisco. editor. (orcid)0000-0001-7424-1753 Rojas, Ignacio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-31744-1
Format: Electronic Resources
Availability Online Library~1

Intelligent Information and Database Systems 8th Asian Conference, ACIIDS 2016, Da Nang, Vietnam, March 14-16, 2016, Proceedings, Part I

2026-06-16T12:46:32Z

Author Nguyen, Ngoc-Thanh. editor. Trawiński, Bogdan. editor. Fujita, Hamido. editor. (orcid)0000-0001-5256-210X Hong, Tzung-Pei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-49381-6
Format: Electronic Resources
Availability Online Library~1

Multi-disciplinary Trends in Artificial Intelligence 10th International Workshop, MIWAI 2016, Chiang Mai, Thailand, December 7-9, 2016, Proceedings

2026-06-16T12:46:32Z

Author Sombattheera, Chattrakul. editor. Stolzenburg, Frieder. editor. Lin, Fangzhen. editor. Nayak, Abhaya. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-49397-8
Format: Electronic Resources
Availability Online Library~1

Parallel Problem Solving from Nature - PPSN XIV 14th International Conference, Edinburgh, UK, September 17-21, 2016, Proceedings

2026-06-16T12:46:32Z

Author Handl, Julia. editor. Hart, Emma. editor. Lewis, Peter R. editor. López-Ibáñez, Manuel. editor. Ochoa, Gabriela. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-45823-6
Format: Electronic Resources
Availability Online Library~1

Statistical Language and Speech Processing 4th International Conference, SLSP 2016, Pilsen, Czech Republic, October 11-12, 2016, Proceedings

2026-06-16T12:46:32Z

Author Král, Pavel. editor. Martín-Vide, Carlos. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-45925-7
Format: Electronic Resources
Availability Online Library~1

Real Time Modeling, Simulation and Control of Dynamical Systems

2026-06-16T12:46:32Z

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

Proceedings of the Second International Conference on Computer and Communication Technologies IC3T 2015, Volume 1

2026-06-16T12:46:32Z

Author Satapathy, Suresh Chandra. editor. Raju, K. Srujan. editor. (orcid)0000-0001-5058-4313 Mandal, Jyotsna Kumar. editor. Bhateja, Vikrant. editor. (orcid)0000-0002-3259-8874 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-81-322-2517-1
Format: Electronic Resources
Availability Online Library~1

Intelligent Decision Technologies 2016 Proceedings of the 8th KES International Conference on Intelligent Decision Technologies (KES-IDT 2016) - Part II

2026-06-16T12:46:32Z

Author Czarnowski, Ireneusz. editor. (orcid)0000-0003-0867-3114 Caballero, Alfonso Mateos. editor. Howlett, Robert J. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-39627-9
Format: Electronic Resources
Availability Online Library~1

Fundamental Approaches to Software Engineering 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

2026-06-16T12:46:32Z

Author Stevens, Perdita. editor. Wąsowski, Andrzej. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-49665-7
Format: Electronic Resources
Availability Online Library~1

Operation and Maintenance of Thermal Power Stations Best Practices and Health Monitoring

2026-06-16T12:46:32Z

Author Chanda, Pradip. author. Mukhopaddhyay, Suparna. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-81-322-2722-9
Format: Electronic Resources
Availability Online Library~1

Proceedings of First International Conference on Information and Communication Technology for Intelligent Systems: Volume 2

2026-06-16T12:46:32Z

Author Satapathy, Suresh Chandra. editor. Das, Swagatam. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-30927-9
Format: Electronic Resources
Availability Online Library~1

Soft Computing Applications Proceedings of the 6th International Workshop Soft Computing Applications (SOFA 2014), Volume 1

2026-06-16T12:46:32Z

Author Balas, Valentina Emilia. editor. C. Jain, Lakhmi. editor. Kovačević, Branko. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-18296-4
Format: Electronic Resources
Availability Online Library~1

Database and Expert Systems Applications 27th International Conference, DEXA 2016, Porto, Portugal, September 5-8, 2016, Proceedings, Part II

2026-06-16T12:46:32Z

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

Scalable Uncertainty Management 10th International Conference, SUM 2016, Nice, France, September 21-23, 2016, Proceedings

2026-06-16T12:46:32Z

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

Pursuit of the Universal 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings

2026-06-16T12:46:32Z

Author Beckmann, Arnold. editor. Bienvenu, Laurent. editor. Jonoska, Nataša. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-40189-8
Format: Electronic Resources
Availability Online Library~1

Nonsmooth Mechanics Models, Dynamics and Control

2026-06-16T12:46:32Z

Author Brogliato, Bernard. author. (orcid)0000-0002-6193-9404 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-28664-8
Format: Electronic Resources
Availability Online Library~1

Wireless Algorithms, Systems, and Applications 11th International Conference, WASA 2016, Bozeman, MT, USA, August 8-10, 2016. Proceedings

2026-06-16T12:46:32Z

Author Yang, Qing. editor. Yu, Wei. editor. Challal, Yacine. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-42836-9
Format: Electronic Resources
Availability Online Library~1

Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

2026-06-16T12:46:32Z

Author Jacobs, Bart. editor. Löding, Christof. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-49630-5
Format: Electronic Resources
Availability Online Library~1

FPGAs for Software Programmers

2026-06-16T12:46:32Z

Author Koch, Dirk. editor. Hannig, Frank. editor. (orcid)0000-0003-3663-6484 Ziener, Daniel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-26408-0
Format: Electronic Resources
Availability Online Library~1

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXVI Special Issue on Data Warehousing and Knowledge Discovery

2026-06-16T12:46:32Z

Author Hameurlain, Abdelkader. editor. Küng, Josef. editor. Wagner, Roland. editor. Bellatreche, Ladjel. editor. Mohania, Mukesh. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-49784-5
Format: Electronic Resources
Availability Online Library~1

Topics in Modal Analysis & Testing, Volume 10 Proceedings of the 34th IMAC, A Conference and Exposition on Structural Dynamics 2016

2026-06-16T12:46:32Z

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

Dynamics of Coupled Structures, Volume 4 Proceedings of the 34th IMAC, A Conference and Exposition on Structural Dynamics 2016

2026-06-16T12:46:32Z

Author Allen, Matt. editor. Mayes, Randall L. editor. Rixen, Daniel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-29763-7
Format: Electronic Resources
Availability Online Library~1

Nonlinear Dynamics, Volume 1 Proceedings of the 34th IMAC, A Conference and Exposition on Structural Dynamics 2016

2026-06-16T12:46:32Z

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

Simulation of the Noise Transmission through Automotive Door Seals

2026-06-16T12:46:32Z

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

Current Trends in Reliability, Availability, Maintainability and Safety An Industry Perspective

2026-06-16T12:46:32Z

Author Kumar, Uday. editor. Ahmadi, Alireza. editor. Verma, Ajit Kumar. editor. Varde, Prabhakar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-23597-4
Format: Electronic Resources
Availability Online Library~1

Computational Intelligence A Methodological Introduction

2026-06-16T12:46:32Z

Author Kruse, Rudolf. author. Borgelt, Christian. author. Braune, Christian. author. Mostaghim, Sanaz. author. Steinbrecher, Matthias. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4471-7296-3
Format: Electronic Resources
Availability Online Library~1

Nonlinear Dynamics, Volume 1 Proceedings of the 33rd IMAC, A Conference and Exposition on Structural Dynamics, 2015

2026-06-16T12:46:32Z

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

Unsupervised Learning Algorithms

2026-06-16T12:46:32Z

Author Celebi, M. Emre. editor. (orcid)0000-0002-2721-6317 Aydin, Kemal. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-24211-8
Format: Electronic Resources
Availability Online Library~1

Nanjing: Historical Landscape and Its Planning from Geographical Perspective

2026-06-16T12:46:32Z

Author Yao, Yifeng. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-1637-0
Format: Electronic Resources
Availability Online Library~1

Intelligent Robotics and Applications 9th International Conference, ICIRA 2016, Tokyo, Japan, August 22-24, 2016, Proceedings, Part I

2026-06-16T12:46:32Z

Author Kubota, Naoyuki. editor. Kiguchi, Kazuo. editor. Liu, Honghai. editor. (orcid)0000-0002-2880-4698 Obo, Takenori. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-43506-0
Format: Electronic Resources
Availability Online Library~1

Intelligent Robotics and Applications 9th International Conference, ICIRA 2016, Tokyo, Japan, August 22-24, 2016, Proceedings, Part II

2026-06-16T12:46:32Z

Author Kubota, Naoyuki. editor. Kiguchi, Kazuo. editor. Liu, Honghai. editor. (orcid)0000-0002-2880-4698 Obo, Takenori. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-43518-3
Format: Electronic Resources
Availability Online Library~1

The Impact of Mining on the Landscape A Study of the Upper Silesian Coal Basin in Poland

2026-06-16T12:46:32Z

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

Land Use Competition Ecological, Economic and Social Perspectives

2026-06-16T12:46:32Z

Author Niewöhner, Jörg. editor. Bruns, Antje. editor. Hostert, Patrick. editor. Krueger, Tobias. editor. Nielsen, Jonas Ø. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-33628-2
Format: Electronic Resources
Availability Online Library~1

Analytical Techniques in the Pharmaceutical Sciences

2026-06-16T12:46:32Z

Author Müllertz, Anette. editor. Perrie, Yvonne. editor. Rades, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4939-4029-5
Format: Electronic Resources
Availability Online Library~1

Man-Machine Interactions 4 4th International Conference on Man-Machine Interactions, ICMMI 2015 Kocierz Pass, Poland, October 6-9, 2015

2026-06-16T12:46:32Z

Author Gruca, Aleksandra. editor. Brachman, Agnieszka. editor. Kozielski, Stanisław. editor. Czachórski, Tadeusz. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-23437-3
Format: Electronic Resources
Availability Online Library~1

Macroscopic and Large Scale Phenomena: Coarse Graining, Mean Field Limits and Ergodicity

2026-06-16T12:46:32Z

Author Muntean, Adrian. editor. Rademacher, Jens D. M. editor. Zagaris, Antonios. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-26883-5
Format: Electronic Resources
Availability Online Library~1

Graphical Models for Security Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Papers

2026-06-16T12:46:32Z

Author Mauw, Sjouke. editor. Kordy, Barbara. editor. Jajodia, Sushil. editor. (orcid)0000-0003-3210-558X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-29968-6
Format: Electronic Resources
Availability Online Library~1

Interactive Modeling and Simulation in Business System Design

2026-06-16T12:46:32Z

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

Soft Computing Applications Proceedings of the 6th International Workshop Soft Computing Applications (SOFA 2014), Volume 2

2026-06-16T12:46:32Z

Author Balas, Valentina Emilia. editor. Jain, Lakhmi C. editor. Kovačević, Branko. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-18416-6
Format: Electronic Resources
Availability Online Library~1

Security and Resiliency Analytics for Smart Grids Static and Dynamic Approaches

2026-06-16T12:46:32Z

Author Al-Shaer, Ehab. author. Rahman, Mohammad Ashiqur. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-32871-3
Format: Electronic Resources
Availability Online Library~1

Development of an Environmental and Economic Assessment Tool (Enveco Tool) for Fire Events

2026-06-16T12:46:32Z

Author Amon, Francine. author. Gehandler, Jonatan. author. Stahl, Selim. author. Tomida, Mai. author. Meacham, Brian. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4939-6559-5
Format: Electronic Resources
Availability Online Library~1

Numerical Approximation of the Magnetoquasistatic Model with Uncertainties Applications in Magnet Design

2026-06-16T12:46:32Z

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

Intelligent Computing Theories and Application 12th International Conference, ICIC 2016, Lanzhou, China, August 2-5, 2016, Proceedings, Part I

2026-06-16T12:46:32Z

Author Huang, De-Shuang. editor. Bevilacqua, Vitoantonio. editor. Premaratne, Prashan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-42291-6
Format: Electronic Resources
Availability Online Library~1

Web Information Systems Engineering - WISE 2016 17th International Conference, Shanghai, China, November 8-10, 2016, Proceedings, Part II

2026-06-16T12:46:32Z

Author Cellary, Wojciech. editor. Mokbel, Mohamed F. editor. Wang, Jianmin. editor. Wang, Hua. editor. Zhou, Rui. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-48743-4
Format: Electronic Resources
Availability Online Library~1

Mathematical Software - ICMS 2016 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings

2026-06-16T12:46:32Z

Author Greuel, Gert-Martin. editor. Koch, Thorsten. editor. Paule, Peter. editor. Sommese, Andrew. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-42432-3
Format: Electronic Resources
Availability Online Library~1

Proceedings of the 10th International Symposium on Computer Science in Sports (ISCSS)

2026-06-16T12:46:32Z

Author Chung, Paul. editor. Soltoggio, Andrea. editor. Dawson, Christian W. editor. Meng, Qinggang. editor. Pain, Matthew. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-24560-7
Format: Electronic Resources
Availability Online Library~1

Proceedings of 4th International Conference in Software Engineering for Defence Applications SEDA 2015

2026-06-16T12:46:32Z

Author Ciancarini, Paolo. editor. (orcid)0000-0002-7958-9924 Sillitti, Alberto. editor. Succi, Giancarlo. editor. Messina, Angelo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-27896-4
Format: Electronic Resources
Availability Online Library~1

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

2026-06-16T12:46:32Z

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

Hybrid Artificial Intelligent Systems 11th International Conference, HAIS 2016, Seville, Spain, April 18-20, 2016, Proceedings

2026-06-16T12:46:32Z

Author Martínez-Álvarez, Francisco. editor. (orcid)0000-0002-6309-1785 Troncoso, Alicia. editor. Quintián, Héctor. editor. Corchado, Emilio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-32034-2
Format: Electronic Resources
Availability Online Library~1

Research in Attacks, Intrusions, and Defenses 19th International Symposium, RAID 2016, Paris, France, September 19-21, 2016, Proceedings

2026-06-16T12:46:32Z

Author Monrose, Fabian. editor. Dacier, Marc. editor. Blanc, Gregory. editor. (orcid)0000-0001-8150-6617 Garcia-Alfaro, Joaquin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-45719-2
Format: Electronic Resources
Availability Online Library~1

Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2014

2026-06-16T12:46:32Z

Author Oppenheimer, Frank. editor. Medina Pasaje, Julio Luis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-24457-0
Format: Electronic Resources
Availability Online Library~1

Information Systems Architecture and Technology: Proceedings of 36th International Conference on Information Systems Architecture and Technology - ISAT 2015 - Part IV

2026-06-16T12:46:32Z

Author Wilimowska, Zofia. editor. Borzemski, Leszek. editor. Grzech, Adam. editor. Świątek, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-28567-2
Format: Electronic Resources
Availability Online Library~1

Dependability Engineering and Complex Systems Proceedings of the Eleventh International Conference on Dependability and Complex Systems DepCoS-RELCOMEX. June 27-July 1, 2016, Brunów, Poland

2026-06-16T12:46:32Z

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

Urban Hydrology, Watershed Management and Socio-Economic Aspects

2026-06-16T12:46:32Z

Author Sarma, Arup K. editor. Singh, Vijay P. editor. (orcid)0000-0003-1299-1457 Kartha, Suresh A. editor. Bhattacharjya, Rajib K. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-40195-9
Format: Electronic Resources
Availability Online Library~1

Computer Games Fourth Workshop on Computer Games, CGW 2015, and the Fourth Workshop on General Intelligence in Game-Playing Agents, GIGA 2015, Held in Conjunction with the 24th International Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 26-27, 2015, Revised Selected Papers

2026-06-16T12:46:32Z

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

Phenotypes and Genotypes The Search for Influential Genes

2026-06-16T12:46:32Z

Author Frommlet, Florian. author. Bogdan, Małgorzata. author. Ramsey, David. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4471-5310-8
Format: Electronic Resources
Availability Online Library~1

Digital Libraries on the Move 11th Italian Research Conference on Digital Libraries, IRCDL 2015, Bolzano, Italy, January 29-30, 2015, Revised Selected Papers

2026-06-16T12:46:32Z

Author Calvanese, Diego. editor. De Nart, Dario. editor. Tasso, Carlo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-41938-1
Format: Electronic Resources
Availability Online Library~1

COOP 2016: Proceedings of the 12th International Conference on the Design of Cooperative Systems, 23-27 May 2016, Trento, Italy

2026-06-16T12:46:32Z

Author De Angeli, Antonella. editor. Bannon, Liam. editor. Marti, Patrizia. editor. Bordin, Silvia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-33464-6
Format: Electronic Resources
Availability Online Library~1

Nonlinear Approaches in Engineering Applications Advanced Analysis of Vehicle Related Technologies

2026-06-16T12:46:32Z

Author Jazar, Reza N. editor. (orcid)0000-0003-2534-980X Dai, Liming. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-27055-5
Format: Electronic Resources
Availability Online Library~1

Intelligent Computing Theories and Application 12th International Conference, ICIC 2016, Lanzhou, China, August 2-5, 2016, Proceedings, Part II

2026-06-16T12:46:32Z

Author Huang, De-Shuang. editor. Jo, Kang-Hyun. editor. (orcid)0000-0001-8317-6092 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-42294-7
Format: Electronic Resources
Availability Online Library~1

Natural Resources and Control Processes

2026-06-16T12:46:32Z

Author Wang, Lawrence K. editor. Wang, Mu-Hao Sung. editor. Hung, Yung-Tse. editor. Shammas, Nazih K. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-26800-2
Format: Electronic Resources
Availability Online Library~1

Trends in Applied Knowledge-Based Systems and Data Science 29th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2016, Morioka, Japan, August 2-4, 2016, Proceedings

2026-06-16T12:46:32Z

Author Fujita, Hamido. editor. (orcid)0000-0001-5256-210X Ali, Moonis. editor. Selamat, Ali. editor. Sasaki, Jun. editor. Kurematsu, Masaki. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-42007-3
Format: Electronic Resources
Availability Online Library~1

Proceedings of the Second International Conference on Computer and Communication Technologies IC3T 2015, Volume 2

2026-06-16T12:46:32Z

Author Satapathy, Suresh Chandra. editor. Raju, K. Srujan. editor. (orcid)0000-0001-5058-4313 Mandal, Jyotsna Kumar. editor. Bhateja, Vikrant. editor. (orcid)0000-0002-3259-8874 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-81-322-2523-2
Format: Electronic Resources
Availability Online Library~1

Analytical Heat and Fluid Flow in Microchannels and Microsystems

2026-06-16T12:46:32Z

Author Cotta, Renato M. author. Knupp, Diego C. author. Naveira-Cotta, Carolina P. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-23312-3
Format: Electronic Resources
Availability Online Library~1

Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings

2026-06-16T12:46:32Z

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

Isochronous Wireless Network for Real-time Communication in Industrial Automation

2026-06-16T12:46:32Z

Author Trsek, Henning. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-49158-4
Format: Electronic Resources
Availability Online Library~1

Big Data Concepts, Theories, and Applications

2026-06-16T12:46:32Z

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

Filtering and Control of Stochastic Jump Hybrid Systems

2026-06-16T12:46:32Z

Author Yao, Xiuming. author. Wu, Ligang. author. Zheng, Wei Xing. author. (orcid)0000-0002-0572-5938 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-31915-5
Format: Electronic Resources
Availability Online Library~1

Statistical Analysis of Noise in MRI Modeling, Filtering and Estimation

2026-06-16T12:46:32Z

Author Aja-Fernández, Santiago. author. Vegas-Sánchez-Ferrero, Gonzalo. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-39934-8
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings

2026-06-16T12:46:32Z

Author Igarashi, Atsushi. editor. (orcid)0000-0002-5143-9764 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-47958-3
Format: Electronic Resources
Availability Online Library~1

Network Analysis Literacy A Practical Approach to the Analysis of Networks

2026-06-16T12:46:32Z

Author Zweig, Katharina A. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-7091-0741-6
Format: Electronic Resources
Availability Online Library~1

Computational Methods in Systems Biology 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings

2026-06-16T12:46:32Z

Author Bartocci, Ezio. editor. Lio, Pietro. editor. (orcid)0000-0002-0540-5053 Paoletti, Nicola. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-45177-0
Format: Electronic Resources
Availability Online Library~1

Robust Motion Control of Oscillatory-Base Manipulators H∞-Control and Sliding-Mode-Control-Based Approaches

2026-06-16T12:46:32Z

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

Social Computing in Digital Education First International Workshop, SOCIALEDU 2015, Stanford, CA, USA, August 19, 2015, Revised Selected Papers

2026-06-16T12:46:32Z

Author Koch, Fernando. editor. Koster, Andrew. editor. Primo, Tiago. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-39672-9
Format: Electronic Resources
Availability Online Library~1

Foundations for a Social Workflow Platform

2026-06-16T12:46:32Z

Author Görg, M. Sebastian E. K. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-658-13533-1
Format: Electronic Resources
Availability Online Library~1

Smart Electromechanical Systems

2026-06-16T12:46:32Z

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

Essentials of Single-Cell Analysis Concepts, Applications and Future Prospects

2026-06-16T12:46:32Z

Author Tseng, Fan-Gang. editor. Santra, Tuhin Subhra. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-49118-8
Format: Electronic Resources
Availability Online Library~1

Multibody Dynamics Computational Methods and Applications

2026-06-16T12:46:32Z

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

Cybernetics From Past to Future

2026-06-16T12:46:32Z

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

Advances in Robot Design and Intelligent Control Proceedings of the 24th International Conference on Robotics in Alpe-Adria-Danube Region (RAAD)

2026-06-16T12:46:32Z

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

Spatial Diversity and Dynamics in Resources and Urban Development Volume II: Urban Development

2026-06-16T12:46:32Z

Author Dutt, Ashok K. editor. Noble, Allen G. editor. Costa, Frank J. editor. Thakur, Rajiv R. editor. Thakur, Sudhir K. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-94-017-9786-3
Format: Electronic Resources
Availability Online Library~1

Innovative Web Applications for Analyzing Traffic Operations

2026-06-16T12:46:32Z

Author Petrovska, Natasha. author. Stevanovic, Aleksandar. author. Furht, Borko. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-33319-9
Format: Electronic Resources
Availability Online Library~1

Matrix and Tensor Factorization Techniques for Recommender Systems

2026-06-16T12:46:32Z

Author Symeonidis, Panagiotis. author. Zioupos, Andreas. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-41357-0
Format: Electronic Resources
Availability Online Library~1

8th RILEM International Symposium on Testing and Characterization of Sustainable and Innovative Bituminous Materials

2026-06-16T12:46:32Z

Author Canestrari, Francesco. editor. Partl, Manfred N. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-94-017-7342-3
Format: Electronic Resources
Availability Online Library~1

Functional Safety for Road Vehicles New Challenges and Solutions for E-mobility and Automated Driving

2026-06-16T12:46:32Z

Author Ross, Hans-Leo. author. (orcid)0009-0009-0125-8824 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-33361-8
Format: Electronic Resources
Availability Online Library~1

Recent Advances in Systems Safety and Security

2026-06-16T12:46:32Z

Author Pricop, Emil. editor. (orcid)0000-0002-4021-6549 Stamatescu, Grigore. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-32525-5
Format: Electronic Resources
Availability Online Library~1

Map Framework A Formal Model of Maps as a Fundamental Data Type in Information Systems

2026-06-16T12:46:32Z

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

Computer Performance Engineering 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings

2026-06-16T12:46:32Z

Author Fiems, Dieter. editor. Paolieri, Marco. editor. Platis, Agapios N. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-46433-6
Format: Electronic Resources
Availability Online Library~1

Hybrid Systems Biology 5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, Proceedings

2026-06-16T12:46:32Z

Author Cinquemani, Eugenio. editor. Donzé, Alexandre. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-47151-8
Format: Electronic Resources
Availability Online Library~1

Critical Systems: Formal Methods and Automated Verification Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings

2026-06-16T12:46:32Z

Author ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421 Knapp, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-45943-1
Format: Electronic Resources
Availability Online Library~1

Building Resilience of Human-Natural Systems of Pastoralism in the Developing World Interdisciplinary Perspectives

2026-06-16T12:46:32Z

Author Dong, Shikui. editor. Kassam, Karim-Aly S. editor. Tourrand, Jean François. editor. Boone, Randall B. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-30732-9
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-06-16T12:46:32Z

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

ICT Systems Security and Privacy Protection 31st IFIP TC 11 International Conference, SEC 2016, Ghent, Belgium, May 30 - June 1, 2016, Proceedings

2026-06-16T12:46:32Z

Author Hoepman, Jaap-Henk. editor. Katzenbeisser, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-33630-5
Format: Electronic Resources
Availability Online Library~1

Cloud-Resolving Modeling of Convective Processes

2026-06-16T12:46:32Z

Author Li, Xiaofan. author. Gao, Shouting. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-26360-1
Format: Electronic Resources
Availability Online Library~1

Formal Techniques for Safety-Critical Systems 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers

2026-06-16T12:46:32Z

Author Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-29510-7
Format: Electronic Resources
Availability Online Library~1

Towards a Theoretical Framework for Analyzing Complex Linguistic Networks

2026-06-16T12:46:32Z

Author Mehler, Alexander. editor. Lücking, Andy. editor. Banisch, Sven. editor. Blanchard, Philippe. editor. Job, Barbara. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-47238-5
Format: Electronic Resources
Availability Online Library~1

Smart Health International Conference, ICSH 2015, Phoenix, AZ, USA, November 17-18, 2015. Revised Selected Papers

2026-06-16T12:46:32Z

Author Zheng, Xiaolong. editor. Zeng, Daniel Dajun. editor. Chen, Hsinchun. editor. Leischow, Scott J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-29175-8
Format: Electronic Resources
Availability Online Library~1

Mathematical Modeling and Applications in Nonlinear Dynamics

2026-06-16T12:46:32Z

Author Luo, Albert C.J. editor. Merdan, Hüseyin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-26630-5
Format: Electronic Resources
Availability Online Library~1

Verification, Model Checking, and Abstract Interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings

2026-06-16T12:46:32Z

Author Jobstmann, Barbara. editor. Leino, K. Rustan M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-49122-5
Format: Electronic Resources
Availability Online Library~1

Information Systems Architecture and Technology: Proceedings of 36th International Conference on Information Systems Architecture and Technology - ISAT 2015 - Part III

2026-06-16T12:46:32Z

Author Świątek, Jerzy. editor. Borzemski, Leszek. editor. Grzech, Adam. editor. Wilimowska, Zofia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-28564-1
Format: Electronic Resources
Availability Online Library~1

Information Systems Architecture and Technology: Proceedings of 36th International Conference on Information Systems Architecture and Technology - ISAT 2015 - Part II

2026-06-16T12:46:32Z

Author Grzech, Adam. editor. Borzemski, Leszek. editor. Świątek, Jerzy. editor. Wilimowska, Zofia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-28561-0
Format: Electronic Resources
Availability Online Library~1

Information Processing and Management of Uncertainty in Knowledge-Based Systems 16th International Conference, IPMU 2016, Eindhoven, The Netherlands, June 20 - 24, 2016, Proceedings, Part II

2026-06-16T12:46:32Z

Author Carvalho, Joao Paulo. editor. (orcid)0000-0003-0005-8299 Lesot, Marie-Jeanne. editor. Kaymak, Uzay. editor. Vieira, Susana. editor. Bouchon-Meunier, Bernadette. editor. (orcid)0000-0002-7937-7796
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-40581-0
Format: Electronic Resources
Availability Online Library~1

Guide to Computing Fundamentals in Cyber-Physical Systems Concepts, Design Methods, and Applications

2026-06-16T12:46:32Z

Author Möller, Dietmar P.F. author. (orcid)0009-0002-6897-7662 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-25178-3
Format: Electronic Resources
Availability Online Library~1