1
Verified Software: Theories, Tools, Experiments [E-Book] : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions /
2
Privacy Enhancing Technologies (vol. # 3856) [E-Book] / 5th International Workshop, PET 2005, Cavtat, Croatia, May 30 - June 1, 2005, Revised Selected Papers
3
Topics in Cryptology -- CT-RSA 2006 [E-Book] / The Cryptographers' Track at the RSA Conference 2006, San Jose, CA, USA, February 13-17, 2005, Proceedings
4
Large-Scale Scientific Computing [E-Book] / 5th International Conference, LSSC 2005, Sozopol, Bulgaria, June 6-10, 2005, Revised Papers
5
Computer Supported Cooperative Work in Design II [E-Book] / 9th International Conference, CSCWD 2005, Coventry, UK, May 24-26, 2005, Revised Selected Papers
6
Selected Areas in Cryptography (vol. # 3897) [E-Book] / 12th International Workshop, SAC 2005, Kingston, ON, Canada, August 11-12, 2005, Revised Selected Papers
7
Engineering Self-Organising Systems (vol. # 3910) [E-Book] / Third International Workshop, ESOA 2005, Utrecht, The Netherlands, July 25, 2005, Revised Selected Papers
8
Information Security and Cryptology - ICISC 2005 [E-Book] / 8th International Conference, Seoul, Korea, December 1-2, 2005, Revised Selected Papers
9
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3956) [E-Book] / Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers
10
Formal Methods for Components and Objects (vol. # 4111) [E-Book] / 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures
11
Recent Advances in Intrusion Detection (vol. # 3858) [E-Book] / 8th International Symposium, RAID 2005, Seattle, WA, USA, September 7-9, 2005, Revised Papers
12
Formal Aspects in Security and Trust (vol. # 3866) [E-Book] / Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers
13
Information Security Applications (vol. # 3786) [E-Book] / 6th International Workshop, WISA 2005, Jeju Island, Korea, August 22-24, 2005, Revised Selected Papers
14
Principles of Distributed Systems (vol. # 3974) [E-Book] / 9th International Conference, OPODIS 2005, Pisa, Italy, December 12-14, 2005, Revised Selected Paper
15
Just say no to Microsoft : how to ditch Microsoft and why it's not as hard as you think [E-Book] /
16
Linux made easy : the official guide to Xandros 3 for everyday users [E-Book] /
17
The MAC OS X command line : Unix under the hood [E-Book] /
18
Teach yourself visually Mac OS X Tiger / [E-Book]
19
Beginning Unix / [E-Book]
20
OS X for hackers at heart / [E-Book]