121
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 /
122
New Frontiers in Applied Data Mining [E-Book] : PAKDD 2008 International Workshops, Osaka, Japan, May 20-23, 2008. Revised Selected Papers /
123
End-User Development [E-Book] : 2nd International Symposium, IS-EUD 2009, Siegen, Germany, March 2-4, 2009. Proceedings /
124
Model Checking and Artificial Intelligence [E-Book] : 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers /
125
Software Language Engineering [E-Book] : First International Conference, SLE 2008, Toulouse, France, September 29-30, 2008. Revised Selected Papers /
126
Human Machine Interaction [E-Book] : Research Results of the MMI Program /
127
Coordination, Organizations, Institutions and Norms in Agent Systems IV [E-Book] : COIN 2008 International Workshops, COIN@AAMAS 2008, Estoril, Portugal, May 12, 2008. COIN@AAAI 2008, Chicago, USA, July 14, 2008. Revised Selected Papers /
128
Architecture of Computing Systems – ARCS 2009 [E-Book] : 22nd International Conference, Delft, The Netherlands, March 10-13, 2009. Proceedings /
129
Theory of Cryptography [E-Book] : 6th Theory of Cryptography Conference, TCC 2009, San Francisco, CA, USA, March 15-17, 2009. Proceedings /
130
Public Key Cryptography – PKC 2009 [E-Book] : 12th International Conference on Practice and Theory in Public Key Cryptography, Irvine, CA, USA, March 18-20, 2009. Proceedings /
131
Logic-Based Program Synthesis and Transformation [E-Book] : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers /
132
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 /
133
Hybrid Systems: Computation and Control [E-Book] : 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings /
134
Computational Intelligence Methods for Bioinformatics and Biostatistics [E-Book] : 5th International Meeting, CIBB 2008 Vietri sul Mare, Italy, October 3-4, 2008 Revised Selected Papers /
135
Computer Music Modeling and Retrieval. Genesis of Meaning in Sound and Music [E-Book] : 5th International Symposium, CMMR 2008 Copenhagen, Denmark, May 19-23, 2008 Revised Papers /
136
Information Security and Privacy [E-Book] : 14th Australasian Conference, ACISP 2009 Brisbane, Australia, July 1-3, 2009 Proceedings /
137
Model Checking Software [E-Book] : 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings /
138
Computer Aided Verification [E-Book] : 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings /
139
Model Driven Architecture - Foundations and Applications [E-Book] : 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings /
140
Autonomic and Trusted Computing [E-Book] : 6th International Conference, ATC 2009 Brisbane, Australia, July 7-9, 2009 Proceedings /