Limit Search Results
Author
SpringerLink (Online service)
(18)
Bertino, Elisa. editor. (orcid)0000-0002-4029-7051
(2)
Dillig, Isil. editor.
(2)
Pan, Zhaoqing. editor. (orcid)0000-0003-1390-399X
(2)
Sun, Xingming. editor. (orcid)0000-0003-1390-399X
(2)
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
19 Results Found Subscribe to search results
0000000DEFAULT
Print
13. 
Cover image for Information Security and Privacy 24th Australasian Conference, ACISP 2019, Christchurch, New Zealand, July 3–5, 2019, Proceedings
Information Security and Privacy 24th Australasian Conference, ACISP 2019, Christchurch, New Zealand, July 3–5, 2019, Proceedings
Author 
Jang-Jaccard, Julian. editor. (orcid)0000-0002-1002-057X Guo, Fuchun. editor. (orcid)0000-0001-6939-7710 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-21548-4
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Aligning Business Processes and Information Systems New Approaches to Continuous Quality Engineering
Aligning Business Processes and Information Systems New Approaches to Continuous Quality Engineering
Author 
Heinrich, Robert. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-06518-8
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Simulated Evolution and Learning 10th International Conference, SEAL 2014, Dunedin, New Zealand, December 15-18, Proceedings
Simulated Evolution and Learning 10th International Conference, SEAL 2014, Dunedin, New Zealand, December 15-18, Proceedings
Author 
Dick, Grant. editor. Browne, Will N. editor. Whigham, Peter. editor. Zhang, Mengjie. editor. Bui, Lam Thu. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-13563-2
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Formal Techniques for Safety-Critical Systems Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers
Formal Techniques for Safety-Critical Systems Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers
Author 
Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-05416-2
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Solving the Dynamic Complexity Dilemma Predictive and Prescriptive Business Management: Answering the Need for a New Paradigm
Solving the Dynamic Complexity Dilemma Predictive and Prescriptive Business Management: Answering the Need for a New Paradigm
Author 
Abu el Ata, Nabil. author. Perks, Maurice J. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54310-4
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Computing with New Resources Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday
Computing with New Resources Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday
Author 
Calude, Cristian S. editor. Freivalds, Rūsiņš. editor. Kazuo, Iwama. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-13350-8
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Computer technology and computer programming new research and strategies
Computer technology and computer programming new research and strategies
Author 
Antonakos, James L.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies: