Limit Search Results
Author
SpringerLink (Online service)
(491)
Gavrilova, Marina L. editor.
(18)
Albada, Geert Dick. editor.
(16)
Gervasi, Osvaldo. editor.
(16)
Sloot, Peter M. A. editor.
(16)
Language
Publication Date
-
Subject
Computer science.
(350)
Software engineering.
(154)
Artificial intelligence.
(126)
Computer software.
(99)
Electronic data processing.
(98)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
518 Results Found Subscribe to search results
000000000000DEFAULT
Print
61. 
Cover image for Progress in Cryptology – LATINCRYPT 2017 5th International Conference on Cryptology and Information Security in Latin America, Havana, Cuba, September 20–22, 2017, Revised Selected Papers
Progress in Cryptology – LATINCRYPT 2017 5th International Conference on Cryptology and Information Security in Latin America, Havana, Cuba, September 20–22, 2017, Revised Selected Papers
Author 
Lange, Tanja. editor. Dunkelman, Orr. editor. (orcid)0000-0001-5799-2635 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-25283-0
Format: 
Availability 
Online Library~1
Available:
Copies:
62. 
Cover image for Progress in Cryptology – INDOCRYPT 2019 20th International Conference on Cryptology in India, Hyderabad, India, December 15–18, 2019, Proceedings
Progress in Cryptology – INDOCRYPT 2019 20th International Conference on Cryptology in India, Hyderabad, India, December 15–18, 2019, Proceedings
Author 
Hao, Feng. editor. Ruj, Sushmita. editor. Sen Gupta, Sourav. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-35423-7
Format: 
Availability 
Online Library~1
Available:
Copies:
63. 
Cover image for Advances in Production Management Systems. Production Management for the Factory of the Future IFIP WG 5.7 International Conference, APMS 2019, Austin, TX, USA, September 1–5, 2019, Proceedings, Part I
Advances in Production Management Systems. Production Management for the Factory of the Future IFIP WG 5.7 International Conference, APMS 2019, Austin, TX, USA, September 1–5, 2019, Proceedings, Part I
Author 
Ameri, Farhad. editor. Stecke, Kathryn E. editor. von Cieminski, Gregor. editor. (orcid)0000-0001-9869-5055 Kiritsis, Dimitris. editor. (orcid)0000-0003-3660-9187 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-30000-5
Format: 
Availability 
Online Library~1
Available:
Copies:
64. 
Cover image for Digital Transformation for a Sustainable Society in the 21st Century 18th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2019, Trondheim, Norway, September 18–20, 2019, Proceedings
Digital Transformation for a Sustainable Society in the 21st Century 18th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2019, Trondheim, Norway, September 18–20, 2019, Proceedings
Author 
Pappas, Ilias O. editor. (orcid)0000-0001-7528-3488 Mikalef, Patrick. editor. (orcid)0000-0002-6788-2277 Dwivedi, Yogesh K. editor. (orcid)0000-0002-5547-9990 Jaccheri, Letizia. editor. (orcid)0000-0002-5547-2270 Krogstie, John. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-29374-1
Format: 
Availability 
Online Library~1
Available:
Copies:
65. 
Cover image for Polar Codes A Non-Trivial Approach to Channel Coding
Polar Codes A Non-Trivial Approach to Channel Coding
Author 
Gazi, Orhan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-0737-9
Format: 
Availability 
Online Library~1
Available:
Copies:
66. 
Cover image for Semantics, Analytics, Visualization 3rd International Workshop, SAVE-SD 2017, Perth, Australia, April 3, 2017, and 4th International Workshop, SAVE-SD 2018, Lyon, France, April 24, 2018, Revised Selected Papers
Semantics, Analytics, Visualization 3rd International Workshop, SAVE-SD 2017, Perth, Australia, April 3, 2017, and 4th International Workshop, SAVE-SD 2018, Lyon, France, April 24, 2018, Revised Selected Papers
Author 
González-Beltrán, Alejandra. editor. (orcid)0000-0003-3499-8262 Osborne, Francesco. editor. (orcid)0000-0001-6557-3131 Peroni, Silvio. editor. (orcid)0000-0003-0530-4305 Vahdati, Sahar. editor. (orcid)0000-0002-7171-169X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-01379-0
Format: 
Availability 
Online Library~1
Available:
Copies:
67. 
Cover image for Software Engineering and Formal Methods 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings
Software Engineering and Formal Methods 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings
Author 
Johnsen, Einar Broch. editor. Schaefer, Ina. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92970-5
Format: 
Availability 
Online Library~1
Available:
Copies:
68. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I
Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I
Author 
Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-03418-4
Format: 
Availability 
Online Library~1
Available:
Copies:
69. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV
Author 
Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-03427-6
Format: 
Availability 
Online Library~1
Available:
Copies:
70. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III
Author 
Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-03424-5
Format: 
Availability 
Online Library~1
Available:
Copies:
71. 
Cover image for Sailing Routes in the World of Computation 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 – August 3, 2018, Proceedings
Sailing Routes in the World of Computation 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 – August 3, 2018, Proceedings
Author 
Manea, Florin. editor. Miller, Russell G. editor. Nowotka, Dirk. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94418-0
Format: 
Availability 
Online Library~1
Available:
Copies:
72. 
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:
Select an Action