Limit Search Results
Author
SpringerLink (Online service)
(143)
Apduhan, Bernady O. editor.
(5)
Carlini, Maurizio. editor.
(5)
Gervasi, Osvaldo. editor.
(5)
Misra, Sanjay. editor.
(5)
Language
English
(143)
Publication Date
-
Subject
Computer science.
(131)
Computer software.
(87)
Algorithm Analysis and Problem Complexity.
(74)
Software engineering.
(56)
Information Systems Applications (incl. Internet).
(35)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
143 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings
Author 
Ramakrishnan, C. R. editor. Rehof, Jakob. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78800-3
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings
Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings
Author 
Cha, Sungdeok (Steve). editor. Choi, Jin-Young. editor. Kim, Moonzoo. editor. Lee, Insup. editor. Viswanathan, Mahesh. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-88387-6
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings
Author 
Grumberg, Orna. editor. Huth, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71209-1
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Statistical Network Analysis: Models, Issues, and New Directions ICML 2006 Workshop on Statistical Network Analysis, Pittsburgh, PA, USA, June 29, 2006, Revised Selected Papers
Statistical Network Analysis: Models, Issues, and New Directions ICML 2006 Workshop on Statistical Network Analysis, Pittsburgh, PA, USA, June 29, 2006, Revised Selected Papers
Author 
Airoldi, Edoardo. editor. Blei, David M. editor. Fienberg, Stephen E. editor. Goldenberg, Anna. editor. Xing, Eric P. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73133-7
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Power Analysis Attacks Revealing the Secrets of Smart Cards
Power Analysis Attacks Revealing the Secrets of Smart Cards
Author 
Mangard, Stefan. author. Oswald, Elisabeth. author. Popp, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-38162-6
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Multimedia Content Analysis and Mining International Workshop, MCAM 2007, Weihai, China, June 30-July 1, 2007. Proceedings
Multimedia Content Analysis and Mining International Workshop, MCAM 2007, Weihai, China, June 30-July 1, 2007. Proceedings
Author 
Sebe, Nicu. editor. Liu, Yuncai. editor. Zhuang, Yueting. editor. Huang, Thomas S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73417-8
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Modelling and Analysis of Hybrid Supervisory Systems A Petri Net Approach
Modelling and Analysis of Hybrid Supervisory Systems A Petri Net Approach
Author 
Villani, Emilia. author. Miyagi, Paulo E. author. Valette, Robert. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84628-651-3
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for EC2ND 2006 Proceedings of the Second European Conference on Computer Network Defence, in conjunction with the First Workshop on Digital Forensics and Incident Analysis Faculty of Advanced Technology, University of Glamorgan, Wales, UK
EC2ND 2006 Proceedings of the Second European Conference on Computer Network Defence, in conjunction with the First Workshop on Digital Forensics and Incident Analysis Faculty of Advanced Technology, University of Glamorgan, Wales, UK
Author 
Blyth, Andrew. author. Sutherland, Iain. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84628-750-3
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Automated Technology for Verification and Analysis 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings
Automated Technology for Verification and Analysis 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings
Author 
Namjoshi, Kedar S. editor. Yoneda, Tomohiro. editor. Higashino, Teruo. editor. Okamura, Yoshio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-75596-8
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Advances in Web Mining and Web Usage Analysis 8th International Workshop on Knowledge Discovery on the Web, WebKDD 2006 Philadelphia, USA, August 20, 2006 Revised Papers
Advances in Web Mining and Web Usage Analysis 8th International Workshop on Knowledge Discovery on the Web, WebKDD 2006 Philadelphia, USA, August 20, 2006 Revised Papers
Author 
Nasraoui, Olfa. editor. Spiliopoulou, Myra. editor. Srivastava, Jaideep. editor. Mobasher, Bamshad. editor. Masand, Brij. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77485-3
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Foundations of Security Analysis and Design IV FOSAD 2006/2007 Tutorial Lectures
Foundations of Security Analysis and Design IV FOSAD 2006/2007 Tutorial Lectures
Author 
Aldini, Alessandro. editor. Gorrieri, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74810-6
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Advances in Web Mining and Web Usage Analysis 7th International Workshop on Knowledge Discovery on the Web, WebKDD 2005, Chicago, IL, USA, August 21, 2005. Revised Papers
Advances in Web Mining and Web Usage Analysis 7th International Workshop on Knowledge Discovery on the Web, WebKDD 2005, Chicago, IL, USA, August 21, 2005. Revised Papers
Author 
Nasraoui, Olfa. editor. Zaïane, Osmar. editor. Spiliopoulou, Myra. editor. Mobasher, Bamshad. editor. Masand, Brij. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11891321
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action