Switch to list view
Switch to thumbnail view
4 Results Found Subscribe to search results
0000DEFAULT
Print
1. 
Cover image for Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude
Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude
Author 
Ölveczky, Peter Csaba. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4471-6687-0
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Self-Aware Computing Systems
Self-Aware Computing Systems
Author 
Kounev, Samuel. editor. Kephart, Jeffrey O. editor. Milenkoski, Aleksandar. editor. Zhu, Xiaoyun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-47474-8
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for 5G Heterogeneous Networks Self-organizing and Optimization
5G Heterogeneous Networks Self-organizing and Optimization
Author 
Rong, Bo. author. Qiu, Xuesong. author. Kadoch, Michel. author. Sun, Songlin. author. Li, Wenjing. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-39372-8
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Guide to Computing Fundamentals in Cyber-Physical Systems Concepts, Design Methods, and Applications
Guide to Computing Fundamentals in Cyber-Physical Systems Concepts, Design Methods, and Applications
Author 
Möller, Dietmar P.F. author. (orcid)0009-0002-6897-7662 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-25178-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets