Limit Search Results
Author
SpringerLink (Online service)
(29)
Bertino, Elisa. editor. (orcid)0000-0002-4029-7051
(3)
Pan, Zhaoqing. editor. (orcid)0000-0003-1390-399X
(3)
Sun, Xingming. editor. (orcid)0000-0001-7982-726X
(3)
Flusser, Jan. editor.
(2)
Language
Publication Date
-
2018
(29)
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
29 Results Found Subscribe to search results
00000DEFAULT
Print
25. 
Cover image for Transactions on Petri Nets and Other Models of Concurrency XIII
Transactions on Petri Nets and Other Models of Concurrency XIII
Author 
Koutny, Maciej. editor. Kristensen, Lars Michael. editor. Penczek, Wojciech. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-58381-4
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Adventures Between Lower Bounds and Higher Altitudes Essays Dedicated to Juraj Hromkovič on the Occasion of His 60th Birthday
Adventures Between Lower Bounds and Higher Altitudes Essays Dedicated to Juraj Hromkovič on the Occasion of His 60th Birthday
Author 
Böckenhauer, Hans-Joachim. editor. Komm, Dennis. editor. Unger, Walter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-98355-4
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Quality, Reliability, Security and Robustness in Heterogeneous Systems 13th International Conference, QShine 2017, Dalian, China, December 16 -17, 2017, Proceedings
Quality, Reliability, Security and Robustness in Heterogeneous Systems 13th International Conference, QShine 2017, Dalian, China, December 16 -17, 2017, Proceedings
Author 
Wang, Lei. editor. Qiu, Tie. editor. Zhao, Wenbing. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-78078-8
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Data Privacy Games
Data Privacy Games
Author 
Xu, Lei. author. Jiang, Chunxiao. author. Qian, Yi. author. Ren, Yong. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-77965-2
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Theory and Applications of Satisfiability Testing – SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings
Theory and Applications of Satisfiability Testing – SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings
Author 
Beyersdorff, Olaf. editor. Wintersteiger, Christoph M. editor. (orcid)0000-0003-0102-4381 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94144-8
Format: 
Availability 
Online Library~1
Available:
Copies: