Limit Search Results
Author
SpringerLink (Online service)
(28)
Chao, Han-Chieh. editor.
(4)
Sun, Xingming. editor.
(4)
Askoxylakis, Ioannis. editor.
(2)
Bertino, Elisa. editor.
(2)
Language
Publication Date
-
Subject
Application software.
(19)
Computer and Information Systems Applications.
(18)
Computer Communication Networks.
(16)
Computer networks .
(16)
Electronic data processing -- Management.
(11)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
30 Results Found Subscribe to search results
000000DEFAULT
Print
25. 
Cover image for Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
Author 
Ábrahám, Erika. editor. Bonsangue, Marcello. editor. (orcid)0000-0003-3746-3618 Johnsen, Einar Broch. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-30734-3
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Intelligent Information and Database Systems 8th Asian Conference, ACIIDS 2016, Da Nang, Vietnam, March 14-16, 2016, Proceedings, Part II
Intelligent Information and Database Systems 8th Asian Conference, ACIIDS 2016, Da Nang, Vietnam, March 14-16, 2016, Proceedings, Part II
Author 
Nguyen, Ngoc-Thanh. editor. Trawiński, Bogdan. editor. Fujita, Hamido. editor. (orcid)0000-0001-5256-210X Hong, Tzung-Pei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-49390-8
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Mathematical and Engineering Methods in Computer Science 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papers
Mathematical and Engineering Methods in Computer Science 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papers
Author 
Kofroň, Jan. editor. Vojnar, Tomáš. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-29817-7
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Internet and Distributed Computing Systems 9th International Conference, IDCS 2016, Wuhan, China, September 28-30, 2016, Proceedings
Internet and Distributed Computing Systems 9th International Conference, IDCS 2016, Wuhan, China, September 28-30, 2016, Proceedings
Author 
Li, Wenfeng. editor. Ali, Shawkat. editor. Lodewijks, Gabriel. editor. Fortino, Giancarlo. editor. Di Fatta, Giuseppe. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-45940-0
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Intelligent Information and Database Systems 8th Asian Conference, ACIIDS 2016, Da Nang, Vietnam, March 14-16, 2016, Proceedings, Part I
Intelligent Information and Database Systems 8th Asian Conference, ACIIDS 2016, Da Nang, Vietnam, March 14-16, 2016, Proceedings, Part I
Author 
Nguyen, Ngoc-Thanh. editor. Trawiński, Bogdan. editor. Fujita, Hamido. editor. (orcid)0000-0001-5256-210X Hong, Tzung-Pei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-49381-6
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Euro-Par 2016: Parallel Processing 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings
Euro-Par 2016: Parallel Processing 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings
Author 
Dutot, Pierre-François. editor. Trystram, Denis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-43659-3
Format: 
Availability 
Online Library~1
Available:
Copies: