Limit Search Results
Author
SpringerLink (Online service)
(3145)
Kim, Tai-hoon. editor.
(49)
Yung, Moti. editor.
(30)
Yang, Laurence T. editor.
(26)
Apduhan, Bernady O. editor.
(25)
Language
Publication Date
-
2011
(436)
2010
(388)
2012
(374)
2018
(321)
2013
(280)
Subject
Computer science.
(2721)
Software engineering.
(1161)
Information systems.
(1057)
Artificial intelligence.
(922)
Computer software.
(873)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
3149 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures
Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures
Author 
Bernardo, Marco. editor. Cimatti, Alessandro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11757283
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Performance Analysis of Network Architectures
Performance Analysis of Network Architectures
Author 
Tutsch, Dietmar. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-34310-5
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for The Semantic Web: Research and Applications 3rd European Semantic Web Conference, ESWC 2006 Budva, Montenegro, June 11-14, 2006 Proceedings
The Semantic Web: Research and Applications 3rd European Semantic Web Conference, ESWC 2006 Budva, Montenegro, June 11-14, 2006 Proceedings
Author 
Sure, York. editor. Domingue, John. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11762256
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Advances in Cryptology - EUROCRYPT 2006 24th Annual International Conference on the Theory and Applications of Cryptographic Techniques, St. Petersburg, Russia, May 28 - June 1, 2006. Proceedings
Advances in Cryptology - EUROCRYPT 2006 24th Annual International Conference on the Theory and Applications of Cryptographic Techniques, St. Petersburg, Russia, May 28 - June 1, 2006. Proceedings
Author 
Vaudenay, Serge. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11761679
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Natural Language Processing and Information Systems 11th International Conference on Applications of Natural Language to Information Systems, NLDB 2006, Klagenfurt, Austria, May 31 - June 2, 2006. Proceedings
Natural Language Processing and Information Systems 11th International Conference on Applications of Natural Language to Information Systems, NLDB 2006, Klagenfurt, Austria, May 31 - June 2, 2006. Proceedings
Author 
Kop, Christian. editor. Fliedl, Günther. editor. Mayr, Heinrich C. editor. Métais, Elisabeth. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11765448
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Emerging Trends in Information and Communication Security International Conference, ETRICS 2006, Freiburg, Germany, June 6-9, 2006. Proceedings
Emerging Trends in Information and Communication Security International Conference, ETRICS 2006, Freiburg, Germany, June 6-9, 2006. Proceedings
Author 
Müller, Günter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11766155
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Reliable Software Technologies – Ada-Europe 2006 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006. Proceedings
Reliable Software Technologies – Ada-Europe 2006 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006. Proceedings
Author 
Pinho, Luís Miguel. editor. González Harbour, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11767077
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Next Generation Teletraffic and Wired/Wireless Advanced Networking 6th International Conference, NEW2AN 2006, St. Petersburg, Russia, May 29 - June 2, 2006. Proceedings
Next Generation Teletraffic and Wired/Wireless Advanced Networking 6th International Conference, NEW2AN 2006, St. Petersburg, Russia, May 29 - June 2, 2006. Proceedings
Author 
Koucheryavy, Yevgeni. editor. Harju, Jarmo. editor. Iversen, Villy B. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11759355
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Advances in Neural Networks - ISNN 2006 Third International Symposium on Neural Networks, Chengdu, China, May 28 - June 1, 2006, Proceedings, Part II
Advances in Neural Networks - ISNN 2006 Third International Symposium on Neural Networks, Chengdu, China, May 28 - June 1, 2006, Proceedings, Part II
Author 
Wang, Jun. editor. Yi, Zhang. editor. Zurada, Jacek M. editor. Lu, Bao-Liang. editor. Yin, Hujun. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11760023
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Advances in Neural Networks - ISNN 2006 Third International Symposium on Neural Networks, Chengdu, China, May 28 - June 1, 2006, Proceedings, Part I
Advances in Neural Networks - ISNN 2006 Third International Symposium on Neural Networks, Chengdu, China, May 28 - June 1, 2006, Proceedings, Part I
Author 
Wang, Jun. editor. Yi, Zhang. editor. Zurada, Jacek M. editor. Lu, Bao-Liang. editor. Yin, Hujun. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11759966
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Engineering Societies in the Agents World VI 6th International Workshop, ESAW 2005, Kuşadasi, Turkey, October 26-28, 2005, Revised Selected and Invited Papers
Engineering Societies in the Agents World VI 6th International Workshop, ESAW 2005, Kuşadasi, Turkey, October 26-28, 2005, Revised Selected and Invited Papers
Author 
Dikenelli, Oğuz. editor. Gleizes, Marie-Pierre. editor. Ricci, Alessandro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11759683
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Intelligence and Security Informatics IEEE International Conference on Intelligence and Security Informatics, ISI 2006, San Diego, CA, USA, May 23-24, 2006. Proceedings
Intelligence and Security Informatics IEEE International Conference on Intelligence and Security Informatics, ISI 2006, San Diego, CA, USA, May 23-24, 2006. Proceedings
Author 
Mehrotra, Sharad. editor. Zeng, Daniel D. editor. Chen, Hsinchun. editor. Thuraisingham, Bhavani. editor. Wang, Fei-Yue. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11760146
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action