141
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 /
142
Information Security and Privacy [E-Book] : 14th Australasian Conference, ACISP 2009 Brisbane, Australia, July 1-3, 2009 Proceedings /
143
Model Checking Software [E-Book] : 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings /
144
Computer Aided Verification [E-Book] : 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings /
145
Model Driven Architecture - Foundations and Applications [E-Book] : 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings /
146
Autonomic and Trusted Computing [E-Book] : 6th International Conference, ATC 2009 Brisbane, Australia, July 7-9, 2009 Proceedings /
147
Symbolic and Quantitative Approaches to Reasoning with Uncertainty [E-Book] : 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings /
148
RoboCup 2008: Robot Soccer World Cup XII [E-Book] /
149
Computer Performance Engineering [E-Book] : 6th European Performance Engineering Workshop, EPEW 2009 London, UK, July 9-10, 2009 Proceedings /
150
Tests and Proofs [E-Book] : Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings /
151
Rough Sets and Knowledge Technology [E-Book] : 4th International Conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009. Proceedings /
152
Domain-Specific Languages [E-Book] : IFIP TC 2 Working Conference, DSL 2009 Oxford, UK, July 15-17, 2009 Proceedings /
153
Coding and Cryptology [E-Book] : Second International Workshop, IWCC 2009, Zhangjiajie, China, June 1-5, 2009. Proceedings /
154
Advanced Information Systems Engineering [E-Book] : 21st International Conference, CAiSE 2009, Amsterdam, The Netherlands, June 8-12, 2009. Proceedings /
155
Pattern Recognition and Image Analysis [E-Book] : 4th Iberian Conference, IbPRIA 2009 Póvoa de Varzim, Portugal, June 10-12, 2009 Proceedings /
156
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes [E-Book] : 18th International Symposium, AAECC-18 2009, Tarragona, Spain, June 8-12, 2009. Proceedings /
157
Typed Lambda Calculi and Applications [E-Book] : 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings /
158
Multiple Classifier Systems [E-Book] : 8th International Workshop, MCS 2009, Reykjavik, Iceland, June 10-12, 2009. Proceedings /
159
Rewriting Techniques and Applications [E-Book] : 20th International Conference, RTA 2009 Brasília, Brazil, June 29 - July 1, 2009 Proceedings /
160
Organized Adaption in Multi-Agent Systems [E-Book] : First International Workshop, OAMAS 2008, Estoril, Portugal, May 13, 2008. Revised and Invited Papers /