Limit Search Results
Author
SpringerLink (Online service)
(18)
Jansen, Nils. editor. (orcid)0000-0003-1318-8973
(3)
Junges, Sebastian. editor. (orcid)0000-0003-0978-8466
(3)
Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324
(3)
Matheja, Christoph. editor. (orcid)0000-0001-9151-0441
(3)
Language
Publication Date
-
Subject
Computer science.
(4)
Theory of Computation.
(4)
Communications Engineering, Networks.
(3)
Computer Science Logic and Foundations of Programming.
(3)
Computer networks .
(3)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
19 Results Found Subscribe to search results
0000000DEFAULT
Print
13. 
Cover image for Challenges of Software Verification
Challenges of Software Verification
Author 
Arceri, Vincenzo. editor. Cortesi, Agostino. editor. Ferrara, Pietro. editor. Olliaro, Martina. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-9601-6
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Cloud Broker and Cloudlet for Workflow Scheduling
Cloud Broker and Cloudlet for Workflow Scheduling
Author 
Youn, Chan-Hyun. author. Chen, Min. author. Dazzi, Patrizio. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-5071-8
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Agile Modeling with UML Code Generation, Testing, Refactoring
Agile Modeling with UML Code Generation, Testing, Refactoring
Author 
Rumpe, Bernhard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-58862-9
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Big Data Technologies and Applications
Big Data Technologies and Applications
Author 
Furht, Borko. author. Villanustre, Flavio. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-44550-2
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Enterprise Interoperability VII Enterprise Interoperability in the Digitized and Networked Factory of the Future
Enterprise Interoperability VII Enterprise Interoperability in the Digitized and Networked Factory of the Future
Author 
Mertins, Kai. editor. Jardim-Gonçalves, Ricardo. editor. Popplewell, Keith. editor. Mendonça, João P. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-30957-6
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Software Engineering Research, Management and Applications
Software Engineering Research, Management and Applications
Author 
Lee, Roger. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-33903-0
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Beginning Python Visualization Crafting Visual Transformation Scripts
Beginning Python Visualization Crafting Visual Transformation Scripts
Author 
Vaingast, Shai. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4842-0052-0
Format: 
Availability 
Online Library~1
Available:
Copies: