Switch to list view
Switch to thumbnail view
Select an Action
3 Results Found Subscribe to search results
000DEFAULT
Print
1. 
Cover image for Independent Component Analysis and Blind Signal Separation 6th International Conference, ICA 2006, Charleston, SC, USA, March 5-8, 2006. Proceedings
Independent Component Analysis and Blind Signal Separation 6th International Conference, ICA 2006, Charleston, SC, USA, March 5-8, 2006. Proceedings
Author 
Rosca, Justinian. editor. Erdogmus, Deniz. editor. Príncipe, José C. editor. Haykin, Simon. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11679363
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for TOOLympics Challenge 2023 Updates, Results, Successes of the Formal-Methods Competitions
TOOLympics Challenge 2023 Updates, Results, Successes of the Formal-Methods Competitions
Author 
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Hartmanns, Arnd. editor. (orcid)0000-0003-3268-8674 Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-67695-6
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Financial Cryptography and Data Security 21st International Conference, FC 2017, Sliema, Malta, April 3-7, 2017, Revised Selected Papers
Financial Cryptography and Data Security 21st International Conference, FC 2017, Sliema, Malta, April 3-7, 2017, Revised Selected Papers
Author 
Kiayias, Aggelos. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-70972-7
Format: 
Availability 
Online Library~1
Available:
Copies: