This book constitutes the refereed proceedings of the Second International Conference on Mathematics and Computation in Music, MCM 2009, held in New Haven, CT, USA, in June 2009.
ICALP 2009, the 36th edition of the International Colloquium on Automata, Languages and Programming, was held on the island of Rhodes, July 6-10, 2009.
This book constitutes the refereed proceedings of the Third International Conference on Combinatorial Optimization and Applications, COCOA 2009, held in Huangshan, China, in June 2009.
This book constitutes the refereed proceedings of the 6th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2009, held in Pittsburgh, PA, USA, in May 2009.
This book constitutes the refereed proceedings of the 5th International Conference on Evolutionary Multi-Criterion Optimization, EMO 2009, held in Nantes, France in April 2009.
Parallel and distributed processing, although within the focus of computer science research for a long time, is gaining more and more importance in a wide spectrum of applications.
This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Symposium on Trustworthy Global Computing, TGC 2008 held in Barcelona, Spain, in November 2008.
Software architectures that contain many dynamically interacting components, each with its own thread of control, engaging in complex coordination protocols, are difficult to correctly and efficiently engineer.
This book constitutes the refereed proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering, FASE 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software.
This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Conference on Numerical Analysis and Its Applications, NAA 2008, held in Lozenetz, Bulgaria in June 2008.
This volume collects the accepted papers presented at the Learning and Intelligent OptimizatioN conference (LION 2007 II) held December 8-12, 2007, in Trento, Italy.
The 34th International Workshop on Graph-Theoretic Concepts in Computer Science (WG 2008) took place in Van Mildert College at Durham University, UK, 30 June - 2 July 2008.
This volume contains the proceedings of the 19th International Symposium on Algorithmsand Computation (ISAAC 2008),held on the Gold Coast, Australia, December 15-17, 2008.
This book constitutes the thoroughly refereed and extended post-workshop proceedings of the 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007, held in Rocquencourt, France, in June 2007.
This book constitutes thoroughly refereed post-conference proceedings of the 8th Asian Symposium on Computer Mathematics, ASCM 2007, held in Singapore in December 2007.
This book constitutes the refereed proceedings of the 16th Annual European Symposium on Algorithms, ESA 2008, held in Karlsruhe, Germany, in September 2008 in the context of the combined conference ALGO 2008.
This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ABZ 2008, held in London, UK, in September 2008.
This two volume set LNCS 5163 and LNCS 5164 constitutes the refereed proceedings of the 18th International Conference on Artificial Neural Networks, ICANN 2008, held in Prague Czech Republic, in September 2008.
This two volume set LNCS 5163 and LNCS 5164 constitutes the refereed proceedings of the 18th International Conference on Artificial Neural Networks, ICANN 2008, held in Prague Czech Republic, in September 2008.
The series of biannual international conferences "e;ANTS - International C- ference on Ant Colony Optimization and Swarm Intelligence"e;, now in its sixth edition, was started ten years ago, with the organization of ANTS'98.
The International Conference on Intelligent Computing (ICIC) was formed to p- vide an annual forum dedicated to the emerging and challenging topics in artificial intelligence, machine learning, bioinformatics, and computational biology, etc.
This book constitutes the refereed proceedings of the Third Annual International Conference on Wireless Algorithms, Systems, and Applications, WASA 2008, held in Dallas, TX, USA, in October 2008.
OCS, the International Workshop on Optical SuperComputing, is a new annual forum for research presentations on all facets of optical computing for solving hard computation tasks.
This book constitutes the refereed proceedings of the 5th International Conference on Sequences and Their Applications, SETA 2008, held in Lexington, KY, USA in September 2008.
The International Conference on Intelligent Computing (ICIC) was formed to p- vide an annual forum dedicated to the emerging and challenging topics in artificial intelligence, machine learning, bioinformatics, and computational biology, etc.
This book constitutes the refereed proceedings of the 5th International Conference on Modeling Decisions for Artificial Intelligence, MDAI 2008, held in Sabadell, Spain, in October 2008.
These proceedings contain the papers selected for presentation at the 13th European Symposium on Research in Computer Security--ESORICS 2008--held October 6-8, 2008 in Torremolinos (Malaga), Spain, and hosted by the University of Malaga, C- puter Science Department.
This volume contains the papers presented at the 11th International Wo- shop on Approximation Algorithms for Combinatorial Optimization Problems (APPROX 2008) and the 12th International Workshop on Randomization and Computation (RANDOM 2008), which took place concurrently at the MIT (M- sachusetts Institute of Technology) in Boston, USA, during August 25-27, 2008.
This volume contains the proceedings of the 19th International Conference on Concurrency Theory (CONCUR 2008) which took place at the University of TorontoinToronto,Canada,August19-22,2008.
This book constitutes the refereed proceedings of the 33rd International Symposium on Mathematical Foundations of Computer Science, MFCS 2008, held in Torun, Poland, in August 2008.
This book constitutes the refereed proceedings of the Second International Conference on Combinatorial Optimization and Applications, COCOA 2008, held in St.
This volume contains the papers presented at WS-FM 2007, the 4th International Workshop on Web Services and Formal Methods, held on September 28 and 29, 2007 in Brisbane, Australia.
This volume contains the papers selected for presentation at the Third Inter- tional Conference on Rough Sets and Knowledge Technology (RSKT 2008) held in Chengdu, P.
This book constitutes the thoroughly refereed post-workshop proceedings of the First International Workshop on Languages, Methodologies and Development Tools for Multi-Agent Systems, LADS 2007, held in Durham, UK, in September 2007.
These are the proceedings of the Workshop on Sequences, Subsequences, and Consequences that was held at the University of Southern California (USC), May 31 - June 2, 2007.