Limit Search Results
Author
SpringerLink (Online service)
(47)
Ali, Moonis. editor.
(12)
Benítez, José Manuel. editor.
(3)
Fyfe, Colin. editor.
(3)
García-Pedrajas, Nicolás. editor.
(3)
Language
Publication Date
-
Subject
Industrial engineering.
(24)
Artificial intelligence.
(19)
Software engineering.
(14)
Information systems.
(13)
Engineering.
(9)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
47 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Handbook of Model-Based Systems Engineering
Handbook of Model-Based Systems Engineering
Author 
Madni, Azad M. editor. Augustine, Norman. editor. Sievers, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-93582-5
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Advances in Reliability and Maintainability Methods and Engineering Applications Essays in Honor of Professor Hong-Zhong Huang on his 60th Birthday
Advances in Reliability and Maintainability Methods and Engineering Applications Essays in Honor of Professor Hong-Zhong Huang on his 60th Birthday
Author 
Liu, Yu. editor. Wang, Dong. editor. Mi, Jinhua. editor. Li, He. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-28859-3
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Advances in Affective and Pleasurable Design Proceedings of the AHFE 2017 International Conference on Affective and Pleasurable Design, July 17–21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA
Advances in Affective and Pleasurable Design Proceedings of the AHFE 2017 International Conference on Affective and Pleasurable Design, July 17–21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA
Author 
Chung, WonJoon. editor. Shin, Cliff Sungsoo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-60495-4
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures
Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures
Author 
Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 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-56841-6
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Decision Procedures An Algorithmic Point of View
Decision Procedures An Algorithmic Point of View
Author 
Kroening, Daniel. author. Strichman, Ofer. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-50497-0
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings
Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for SemProM Foundations of Semantic Product Memories for the Internet of Things
SemProM Foundations of Semantic Product Memories for the Internet of Things
Author 
Wahlster, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334416.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37377-0
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Concept Generation for Design Creativity A Systematized Theory and Methodology
Concept Generation for Design Creativity A Systematized Theory and Methodology
Author 
Taura, Toshiharu. author. Nagai, Yukari. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330902.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4081-8
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Simulation diskreter Prozesse Methoden und Anwendungen
Simulation diskreter Prozesse Methoden und Anwendungen
Author 
Hedtstück, Ulrich. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(337144.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34871-6
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Integrierte Industrielle Sach- und Dienstleistungen Vermarktung, Entwicklung und Erbringung hybrider Leistungsbündel
Integrierte Industrielle Sach- und Dienstleistungen Vermarktung, Entwicklung und Erbringung hybrider Leistungsbündel
Author 
Meier, Horst. editor. Uhlmann, Eckart. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25269-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action