This book constitutes the thoroughly refereed and revised proceedings of the 9th International Workshop on Computational Logic for Multi-Agent Systems, CLIMA IX, held in Dresden, Germany, in September 2008 and co-located with the 11th European Conference on Logics in Artificial …
This book constitutes the thoroughly refereed post-workshop proceedings of the 4th Workshop on Theory of Quantum Computation, Communication, and Cryptography, TQC 2009, held in Waterloo, Canada, in May 2009. The 10 revised papers presented were carefully selected during two roun…
This book constitutes the refereed proceedings of the Fourth International Computer Science Symposium in Russia, CSR 2009, held in Novosibirsk, Russia, August 18-23, 2009. The 29 revised papers presented together with 4 invited papers were carefully reviewed and selected from 66…
This book constitutes the refereed proceedings of the 7th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2009, held in Budapest, Hungary, September 2009. The 18 revised full papers presented together with 4 invited talks were carefully reviewe…
This book constitutes the thoroughly refereed post-conference proceedings of the IFIP-TC6 7th Annual International Working Conference on Active Networks, IWAN 2005, held in Sophia Antipolis, France, in November 2005. The 13 revised full papers and 13 revised short papers present…
Annotation
The modern electron microscope, as a result of recent revolutionary developments and many evolutionary ones, now yields a wealth of quantitative knowledge pertaining to structure, dynamics, and function barely matched by any other single scientific instrument. It is also poised …
This book constitutes the thoroughly refereed post-conferenceproceedings of the Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, held in York, UK, in March 2009, in association with ETAPS 2009. The12 revi…
This book constitutes the refereed proceedings of the 11th International Workshop on Computer Algebra in Scientific Computing, CASC 2009, held in Kobe, Japan, in September 2009. The 28 revised full papers presented together with 2 invited lectures were carefully reviewed and sel…
Annotation This book constitutes the refereed proceedings of the twelfth International Conference, on Discovery Science, DS 2009, held in Porto, Portugal, in October 2009. The 35 revised full papers presented were carefully selected from 92 papers. The scope of the conference in…
Annotation This book constitutes the refereed proceedings of the 22nd International Conference on Automated Deduction, CADE-22, held in Montreal, Canada, in August 2009. The 27 revised full papers and 5 system descriptions presented were carefully reviewed and selected from 77 s…
