Switch to list view
Switch to thumbnail view
Select an Action
5 Results Found Subscribe to search results
00000DEFAULT
Print
1. 
Cover image for Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings
Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings
Author 
Bartocci, Ezio. editor. Majumdar, Rupak. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519135.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-23820-3
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Author 
Baier, Christel. editor. Tinelli, Cesare. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519090.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-46681-0
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Modelling Foundations and Applications 11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L`Aquila, Italy, July 20-24, 2015. Proceedings
Modelling Foundations and Applications 11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L`Aquila, Italy, July 20-24, 2015. Proceedings
Author 
Taentzer, Gabriele. editor. Bordeleau, Francis. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519091.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21151-0
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Constructive Side-Channel Analysis and Secure Design 6th International Workshop, COSADE 2015, Berlin, Germany, April 13-14, 2015. Revised Selected Papers
Constructive Side-Channel Analysis and Secure Design 6th International Workshop, COSADE 2015, Berlin, Germany, April 13-14, 2015. Revised Selected Papers
Author 
Mangard, Stefan. editor. Poschmann, Axel Y. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518905.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21476-4
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Computational Advancement in Communication Circuits and Systems Proceedings of ICCACCS 2014
Computational Advancement in Communication Circuits and Systems Proceedings of ICCACCS 2014
Author 
Maharatna, Koushik. editor. Dalapati, Goutam Kumar. editor. Banerjee, P K. editor. Mallick, Amiya Kumar. editor. Mukherjee, Moumita. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-81-322-2274-3
Format: 
Availability 
Online Library~1
Available:
Copies: