Limit Search Results
Author
SpringerLink (Online service)
(28)
Kroening, Daniel. editor.
(2)
Păsăreanu, Corina S. editor.
(2)
Al-Essa, Reem K. author.
(1)
Al-Rubaie, Mohammed. author.
(1)
Language
Subject
Artificial intelligence.
(4)
Computational intelligence.
(4)
Automation.
(3)
Control engineering.
(3)
Control, Robotics, Automation.
(3)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
30 Results Found Subscribe to search results
000000000000000000000000000000DEFAULT
Print
1. 
Cover image for System safety engineering and risk assessment : a practical approach
System safety engineering and risk assessment : a practical approach
Author 
Bahr, Nicholas J., author.
Preferred Shelf Number 
ONLINE(356680.1)
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
Author 
Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-21668-3
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Musculoskeletal Health in Pregnancy and Postpartum An Evidence-Based Guide for Clinicians
Musculoskeletal Health in Pregnancy and Postpartum An Evidence-Based Guide for Clinicians
Author 
Fitzgerald, Colleen M. editor. Segal, Neil A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-14319-4
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Author 
Vitek, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-46669-8
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Safety and reliability : methodology and applications : proceedings of the European Safety and Reliability Conference, Esrel 2014, Wroc¿̐ưaw, Poland, 14-18 September 2014
Safety and reliability : methodology and applications : proceedings of the European Safety and Reliability Conference, Esrel 2014, Wroc¿̐ưaw, Poland, 14-18 September 2014
Author 
European Safety and Reliability Conference (2014 : Wroc¿̐ưaw, Poland) Nowakowski, Tomasz, editor.
Preferred Shelf Number 
ONLINE(356984.1)
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
Author 
Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-21690-4
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Ad-hoc, Mobile, and Wireless Networks 14th International Conference, ADHOC-NOW 2015, Athens, Greece, June 29 -- July 1, 2015, Proceedings
Ad-hoc, Mobile, and Wireless Networks 14th International Conference, ADHOC-NOW 2015, Athens, Greece, June 29 -- July 1, 2015, Proceedings
Author 
Papavassiliou, Symeon. editor. Ruehrup, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-19662-6
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Persuasive Technology 10th International Conference, PERSUASIVE 2015, Chicago, IL, USA, June 3-5, 2015, Proceedings
Persuasive Technology 10th International Conference, PERSUASIVE 2015, Chicago, IL, USA, June 3-5, 2015, Proceedings
Author 
MacTavish, Thomas. editor. Basapur, Santosh. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-20306-5
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Software Engineering for Resilient Systems 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings
Software Engineering for Resilient Systems 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings
Author 
Fantechi, Alessandro. editor. Pelliccione, Patrizio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-23129-7
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Dependability in Medicine and Neurology Using Engineering and Management Principles for Better Patient Care
Dependability in Medicine and Neurology Using Engineering and Management Principles for Better Patient Care
Author 
Balakrishnan, Nikhil. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-14968-4
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Pharmaceutical Regulatory Environment Challenges and Opportunities in the Gulf Region
Pharmaceutical Regulatory Environment Challenges and Opportunities in the Gulf Region
Author 
Al-Essa, Reem K. author. Al-Rubaie, Mohammed. author. Walker, Stuart. author. Salek, Sam. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-17590-4
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Spinal Osteotomy
Spinal Osteotomy
Author 
Wang, Yan. editor. Boachie-Adjei, Oheneba. editor. Lenke, Lawrence. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-94-017-8038-4
Format: 
Availability 
Online Library~1
Available:
Copies:
13. 
Cover image for Progress in Automation, Robotics and Measuring Techniques Volume 2 Robotics
Progress in Automation, Robotics and Measuring Techniques Volume 2 Robotics
Author 
Szewczyk, Roman. editor. Zieliński, Cezary. editor. Kaliczyńska, Małgorzata. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-15847-1
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Risk and Cognition
Risk and Cognition
Author 
Mercantini, Jean-Marc. editor. Faucher, Colette. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-45704-7
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Proceedings of the 4th International Conference on Computer Engineering and Networks CENet2014
Proceedings of the 4th International Conference on Computer Engineering and Networks CENet2014
Author 
Wong, W. Eric. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11104-9
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Regulatory Foundations for the Food Protection Professional
Regulatory Foundations for the Food Protection Professional
Author 
Bradsher, Julia. editor. Wojtala, Gerald. editor. Kaml, Craig. editor. Weiss, Christopher. editor. Read, David. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4939-0650-5
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Internet of Things. IoT Infrastructures First International Summit, IoT360 2014, Rome, Italy, October 27-28, 2014, Revised Selected Papers, Part II
Internet of Things. IoT Infrastructures First International Summit, IoT360 2014, Rome, Italy, October 27-28, 2014, Revised Selected Papers, Part II
Author 
Giaffreda, Raffaele. editor. Cagáňová, Dagmar. editor. Li, Yong. editor. Riggio, Roberto. editor. Voisard, Agnès. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-19743-2
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Engineering Psychology and Cognitive Ergonomics 12th International Conference, EPCE 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings
Engineering Psychology and Cognitive Ergonomics 12th International Conference, EPCE 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings
Author 
Harris, Don. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-20373-7
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Author 
Baier, Christel. editor. Tinelli, Cesare. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-46681-0
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Reliable Software Technologies - Ada-Europe 2015 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings
Reliable Software Technologies - Ada-Europe 2015 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings
Author 
de la Puente, Juan Antonio. editor. Vardanega, Tullio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-19584-1
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Pharmacological Basis of Acute Care
Pharmacological Basis of Acute Care
Author 
Chan, Yoo Kuen. editor. Ng, Kwee Peng. editor. Sim, Debra Si Mui. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10386-0
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Endodontic Irrigation Chemical disinfection of the root canal system
Endodontic Irrigation Chemical disinfection of the root canal system
Author 
Basrani, Bettina. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-16456-4
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Proceedings of Fourth International Conference on Soft Computing for Problem Solving SocProS 2014, Volume 2
Proceedings of Fourth International Conference on Soft Computing for Problem Solving SocProS 2014, Volume 2
Author 
Das, Kedar Nath. editor. Deep, Kusum. editor. Pant, Millie. editor. Bansal, Jagdish Chand. editor. Nagar, Atulya. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-81-322-2220-0
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Theory and Engineering of Complex Systems and Dependability Proceedings of the Tenth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, June 29 - July 3 2015, Brunów, Poland
Theory and Engineering of Complex Systems and Dependability Proceedings of the Tenth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, June 29 - July 3 2015, Brunów, Poland
Author 
Zamojski, Wojciech. editor. Mazurkiewicz, Jacek. editor. Sugier, Jarosław. editor. Walkowiak, Tomasz. editor. Kacprzyk, Janusz. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-19216-1
Format: 
Availability 
Online Library~1
Available:
Copies:
25. 
Cover image for Handbook of Unmanned Aerial Vehicles
Handbook of Unmanned Aerial Vehicles
Author 
Valavanis, Kimon P. editor. Vachtsevanos, George J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-90-481-9707-1
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Taurine 9
Taurine 9
Author 
Marcinkiewicz, Janusz. editor. Schaffer, Stephen W. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-15126-7
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for The Fukushima Daiichi Nuclear Accident Final Report of the AESJ Investigation Committee.
The Fukushima Daiichi Nuclear Accident Final Report of the AESJ Investigation Committee.
Author 
SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-4-431-55160-7
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Numerical Methods for Reliability and Safety Assessment Multiscale and Multiphysics Systems
Numerical Methods for Reliability and Safety Assessment Multiscale and Multiphysics Systems
Author 
Kadry, Seifedine. editor. El Hami, Abdelkhalak. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07167-1
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Progress in Systems Engineering Proceedings of the Twenty-Third International Conference on Systems Engineering
Progress in Systems Engineering Proceedings of the Twenty-Third International Conference on Systems Engineering
Author 
Selvaraj, Henry. editor. Zydek, Dawid. editor. Chmaj, Grzegorz. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08422-0
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Ventilatory Disorders
Ventilatory Disorders
Author 
Pokorski, Mieczyslaw. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-20194-8
Format: 
Availability 
Online Library~1
Available:
Copies: