141
Information Security and Privacy [E-Book] : 14th Australasian Conference, ACISP 2009 Brisbane, Australia, July 1-3, 2009 Proceedings /
142
Model Checking Software [E-Book] : 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings /
143
Software Composition [E-Book] : 8th International Conference, SC 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings /
144
Autonomic and Trusted Computing [E-Book] : 6th International Conference, ATC 2009 Brisbane, Australia, July 7-9, 2009 Proceedings /
145
Developments in Language Theory [E-Book] : 13th International Conference, DLT 2009, Stuttgart, Germany, June 30-July 3, 2009. Proceedings /
146
Web Engineering [E-Book] : 9th International Conference, ICWE 2009 San Sebastián, Spain, June 24-26, 2009 Proceedings /
147
Computer Performance Engineering [E-Book] : 6th European Performance Engineering Workshop, EPEW 2009 London, UK, July 9-10, 2009 Proceedings /
148
Tests and Proofs [E-Book] : Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings /
149
Rough Sets and Knowledge Technology [E-Book] : 4th International Conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009. Proceedings /
150
Distributed Computing and Networking [E-Book] : 10th International Conference, ICDCN 2009, Hyderabad, India, January 3-6, 2009. Proceedings /
151
Model Checking and Artificial Intelligence [E-Book] : 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers /
152
Logic-Based Program Synthesis and Transformation [E-Book] : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers /
153
Advances in Web Mining and Web Usage Analysis [E-Book] : 9th International Workshop on Knowledge Discovery on the Web, WebKDD 2007, and 1st International Workshop on Social Networks Analysis, SNA-KDD 2007, San Jose, CA, USA, August 12-15, 2007. Revised Papers /
154
Attention in Cognitive Systems [E-Book] : 5th International Workshop on Attention in Cognitive Systems, WAPCV 2008 Fira, Santorini, Greece, May 12, 2008 Revised Selected Papers /
155
Trusted Computing [E-Book] : Second International Conference, Trust 2009, Oxford, UK, April 6-8, 2009, Proceedings. /
156
Programming Languages and Systems [E-Book] : 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings /
157
Fundamental Approaches to Software Engineering [E-Book] : 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings /
158
Foundations of Software Science and Computational Structures [E-Book] : 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings /
159
Tools and Algorithms for the Construction and Analysis of Systems [E-Book] : 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings /
160
Computer Processing of Oriental Languages. Language Technology for the Knowledge-based Economy [E-Book] : 22nd International Conference, ICCPOL 2009, Hong Kong, March 26-27, 2009. Proceedings /