Limit Search Results
Author
SpringerLink (Online service)
(181)
Taylor and Francis.
(8)
Bieder, Corinne. editor.
(3)
Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853
(3)
Adle-Biassette, Homa, editor.
(2)
Language
Subject
Electronic books.
(113)
Computer system performance.
(77)
Software engineering.
(61)
Computer science.
(58)
System safety.
(52)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
493 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Formal System Verification State-of the-Art and Future Trends
Formal System Verification State-of the-Art and Future Trends
Author 
Drechsler, Rolf. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-57685-5
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Modeling and Control of Hybrid Propulsion System for Ground Vehicles
Modeling and Control of Hybrid Propulsion System for Ground Vehicles
Author 
Zou, Yuan. author. Li, Junqiu. author. Hu, Xiaosong. author. Chamaillard, Yann. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-53673-5
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Concurrency Control in Distributed System Using Mutual Exclusion
Concurrency Control in Distributed System Using Mutual Exclusion
Author 
Kanrar, Sukhendu. author. Chaki, Nabendu. author. Chattopadhyay, Samiran. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-5559-1
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for The Milan System for Reporting Salivary Gland Cytopathology
The Milan System for Reporting Salivary Gland Cytopathology
Author 
Faquin, William C. editor. Rossi, Esther Diana. editor. Baloch, Zubair. editor. Barkan, Güliz A. editor. Foschini, Maria P. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-71285-7
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Multisensor Fusion and Integration in the Wake of Big Data, Deep Learning and Cyber Physical System An Edition of the Selected Papers from the 2017 IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems (MFI 2017)
Multisensor Fusion and Integration in the Wake of Big Data, Deep Learning and Cyber Physical System An Edition of the Selected Papers from the 2017 IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems (MFI 2017)
Author 
Lee, Sukhan. editor. Ko, Hanseok. editor. Oh, Songhwai. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-90509-9
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Proceedings of First International Conference on Smart System, Innovations and Computing SSIC 2017, Jaipur, India
Proceedings of First International Conference on Smart System, Innovations and Computing SSIC 2017, Jaipur, India
Author 
Somani, Arun K. editor. Srivastava, Sumit. editor. Mundra, Ankit. editor. Rawat, Sanyog. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-5828-8
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Multi-axis Substructure Testing System for Hybrid Simulation
Multi-axis Substructure Testing System for Hybrid Simulation
Author 
Al-Mahaidi, Riadh. author. Hashemi, M. Javad. author. Kalfat, Robin. author. Burnett, Graeme. author. Wilson, John. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-5867-7
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Green Intelligent Transportation Systems Proceedings of the 7th International Conference on Green Intelligent Transportation System and Safety
Green Intelligent Transportation Systems Proceedings of the 7th International Conference on Green Intelligent Transportation System and Safety
Author 
Wang, Wuhong. editor. Bengler, Klaus. editor. Jiang, Xiaobei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-3551-7
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Mobile Agent-Based Anomaly Detection and Verification System for Smart Home Sensor Networks
Mobile Agent-Based Anomaly Detection and Verification System for Smart Home Sensor Networks
Author 
Usman, Muhammad. author. Muthukkumarasamy, Vallipuram. author. Wu, Xin-Wen. author. Khanum, Surraya. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-7467-7
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Active Fault-Tolerant Control Systems A Behavioral System Theoretic Perspective
Active Fault-Tolerant Control Systems A Behavioral System Theoretic Perspective
Author 
Jain, Tushar. author. Yamé, Joseph J. author. Sauter, Dominique. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68829-9
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering 10th International Conference, SAM 2018, Copenhagen, Denmark, October 15–16, 2018, Proceedings
System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering 10th International Conference, SAM 2018, Copenhagen, Denmark, October 15–16, 2018, Proceedings
Author 
Khendek, Ferhat. editor. Gotzhein, Reinhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-01042-3
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Network and System Security 12th International Conference, NSS 2018, Hong Kong, China, August 27-29, 2018, Proceedings
Network and System Security 12th International Conference, NSS 2018, Hong Kong, China, August 27-29, 2018, Proceedings
Author 
Au, Man Ho. editor. (orcid)0000-0003-2068-9530 Yiu, Siu Ming. editor. Li, Jin. editor. Luo, Xiapu. editor. Wang, Cong. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-02744-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets