Limit Search Results
Author
SpringerLink (Online service)
(15)
Abe, Jair M. editor.
(1)
Aldini, Alessandro. editor. (orcid)0000-0002-7250-5011
(1)
Andreev, Sergey. editor.
(1)
Axenie, Cristian. author. (orcid)0000-0001-6184-0546
(1)
Language
Publication Date
-
Subject
Computer and Information Systems Applications.
(15)
Computer Communication Networks.
(6)
Computer networks .
(6)
Software engineering.
(6)
Algorithms.
(4)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
15 Results Found Subscribe to search results
000DEFAULT
Print
13. 
Cover image for Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures
Author 
Bernardo, Marco. editor. De Nicola, Rocco. editor. Hillston, Jane. editor. (orcid)0000-0003-4914-9255 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-34096-8
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Foundations of Security Analysis and Design VIII FOSAD 2014/2015/2016 Tutorial Lectures
Foundations of Security Analysis and Design VIII FOSAD 2014/2015/2016 Tutorial Lectures
Author 
Aldini, Alessandro. editor. (orcid)0000-0002-7250-5011 Lopez, Javier. editor. Martinelli, Fabio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-43005-8
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Context-Enhanced Information Fusion Boosting Real-World Performance with Domain Knowledge
Context-Enhanced Information Fusion Boosting Real-World Performance with Domain Knowledge
Author 
Snidaro, Lauro. editor. García, Jesús. editor. (orcid)0000-0003-1768-2688 Llinas, James. editor. Blasch, Erik. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-28971-7
Format: 
Availability 
Online Library~1
Available:
Copies: