Limit Search Results
Author
SpringerLink (Online service)
(130)
Jiang, Caigui. editor.
(10)
Lan, Xuguang. editor.
(10)
Mei, Xuesong. editor.
(10)
Tian, Zhiqiang. editor.
(10)
Language
Publication Date
-
Subject
Computer science.
(49)
Computer Communication Networks.
(48)
Computer networks .
(46)
Artificial intelligence.
(43)
Control Structures and Microprogramming.
(40)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
139 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Deadlock Resolution in Automated Manufacturing Systems A Novel Petri Net Approach
Deadlock Resolution in Automated Manufacturing Systems A Novel Petri Net Approach
Author 
Li, ZhiWu. author. Zhou, MengChu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-244-3
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Green IT Engineering: Concepts, Models, Complex Systems Architectures
Green IT Engineering: Concepts, Models, Complex Systems Architectures
Author 
Kharchenko, Vyacheslav. editor. Kondratenko, Yuriy. editor. Kacprzyk, Janusz. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-44162-7
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Design and Use of Serious Games
Design and Use of Serious Games
Author 
Kankaanranta, Marja. editor. Neittaanmäki, Pekka. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-9496-5
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for EMBEDDED SOFTWARE DEVELOPMENT FOR SAFETY-CRITICAL SYSTEMS
EMBEDDED SOFTWARE DEVELOPMENT FOR SAFETY-CRITICAL SYSTEMS
Author 
Hobbs, Chris (Christopher W.)
Preferred Shelf Number 
QA76.76 .D47
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003598145
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Strategic software quality management : how to incorporate sustainable continuous improvement practices
Strategic software quality management : how to incorporate sustainable continuous improvement practices
Author 
Fidanboy, Mahsa, author. Fidanboy, Cemalettin Öcal, author.
Preferred Shelf Number 
QA76.76 .Q35
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003491606
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I
Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I
Author 
Platzer, André. editor. (orcid)0000-0001-7238-5710 Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 Pradella, Matteo. editor. (orcid)0000-0003-3039-1084 Rossi, Matteo. editor. (orcid)0000-0002-9193-9560 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-71162-6
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II
Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II
Author 
Platzer, Andre. editor. (orcid)0000-0001-7238-5710 Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 Pradella, Matteo. editor. (orcid)0000-0003-3039-1084 Rossi, Matteo. editor. (orcid)0000-0002-9193-9560 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-71177-0
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Model Checking Software 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings
Model Checking Software 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings
Author 
Neele, Thomas. editor. (orcid)0000-0001-6117-9129 Wijs, Anton. editor. (orcid)0000-0002-2071-9624 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-66149-5
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-73709-1
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part II
Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part II
Author 
Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-0774-7
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part VIII
Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part VIII
Author 
Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-0783-9
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31-August 2, 2024, Proceedings, Part X
Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31-August 2, 2024, Proceedings, Part X
Author 
Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-0786-0
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action