Limit Search Results
Author
SpringerLink (Online service)
(274)
Halang, Wolfgang A. editor.
(6)
Holleczek, Peter. editor.
(6)
Prasanna, Viktor K. editor.
(6)
Liu, Chunfeng. editor.
(5)
Language
Publication Date
-
2018
(73)
2009
(48)
2005
(30)
2008
(25)
2007
(19)
Subject
Software engineering.
(272)
Computer science.
(238)
Computer Communication Networks.
(73)
Operating systems (Computers).
(53)
Computer software.
(47)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
274 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings
Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings
Author 
Howar, Falk. editor. Barnat, Jiří. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00244-2
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Advanced Computer Architecture 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings
Advanced Computer Architecture 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings
Author 
Li, Chao. editor. Wu, Junjie. editor. (orcid)0000-0001-5951-8988 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-2423-9
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Provable Security 12th International Conference, ProvSec 2018, Jeju, South Korea, October 25-28, 2018, Proceedings
Provable Security 12th International Conference, ProvSec 2018, Jeju, South Korea, October 25-28, 2018, Proceedings
Author 
Baek, Joonsang. editor. Susilo, Willy. editor. Kim, Jongkil. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-01446-9
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II
Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II
Author 
Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-03421-4
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Cloud Computing and Security 4th International Conference, ICCCS 2018, Haikou, China, June 8-10, 2018, Revised Selected Papers, Part V
Cloud Computing and Security 4th International Conference, ICCCS 2018, Haikou, China, June 8-10, 2018, Revised Selected Papers, Part V
Author 
Sun, Xingming. editor. (orcid)0000-0001-7982-726X Pan, Zhaoqing. editor. (orcid)0000-0003-1390-399X Bertino, Elisa. editor. (orcid)0000-0002-4029-7051 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00018-9
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Security, Privacy, and Applied Cryptography Engineering 8th International Conference, SPACE 2018, Kanpur, India, December 15-19, 2018, Proceedings
Security, Privacy, and Applied Cryptography Engineering 8th International Conference, SPACE 2018, Kanpur, India, December 15-19, 2018, Proceedings
Author 
Chattopadhyay, Anupam. editor. (orcid)0000-0002-8818-6983 Rebeiro, Chester. editor. (orcid)0000-0001-8063-0026 Yarom, Yuval. editor. (orcid)0000-0003-0401-4197 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-05072-6
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Large-Scale Scientific Computing 11th International Conference, LSSC 2017, Sozopol, Bulgaria, June 5-9, 2017, Revised Selected Papers
Large-Scale Scientific Computing 11th International Conference, LSSC 2017, Sozopol, Bulgaria, June 5-9, 2017, Revised Selected Papers
Author 
Lirkov, Ivan. editor. Margenov, Svetozar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-73441-5
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Network and System Security 12th International Conference, NSS 2018, Hong Kong, China, August 27-29, 2018, Proceedings
Network and System Security 12th International Conference, NSS 2018, Hong Kong, China, August 27-29, 2018, Proceedings
Author 
Au, Man Ho. editor. (orcid)0000-0003-2068-9530 Yiu, Siu Ming. editor. Li, Jin. editor. Luo, Xiapu. editor. Wang, Cong. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-02744-5
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Computer Information Systems and Industrial Management 17th International Conference, CISIM 2018, Olomouc, Czech Republic, September 27-29, 2018, Proceedings
Computer Information Systems and Industrial Management 17th International Conference, CISIM 2018, Olomouc, Czech Republic, September 27-29, 2018, Proceedings
Author 
Saeed, Khalid. editor. (orcid)0000-0002-7741-7045 Homenda, Władysław. editor. (orcid)0000-0001-7787-4927 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99954-8
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part IV
Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part IV
Author 
Vaidya, Jaideep. editor. Li, Jin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-05063-4
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Machines, Computations, and Universality 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings
Machines, Computations, and Universality 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings
Author 
Durand-Lose, Jérôme. editor. (orcid)0000-0001-6506-074X Verlan, Sergey. editor. (orcid)0000-0001-7800-1618 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92402-1
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXVIII Special Issue on Database- and Expert-Systems Applications
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXVIII Special Issue on Database- and Expert-Systems Applications
Author 
Hameurlain, Abdelkader. editor. Wagner, Roland. editor. Hartmann, Sven. editor. Ma, Hui. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-58384-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action