Sequence Comparison Theory and Methods /

Algorithmic Adventures From Knowledge to Magic /

Principles of Programming Languages

Advances in Computational Algorithms and Data Analysis

Quantum Circuit Simulation

Algorithmic Randomness and Complexity

Mathematica in Action Problem Solving Through Visualization and Computation /

Runtime Verification 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers /

Automated Technology for Verification and Analysis 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings /

Visual Mathematics and Cyberlearning

Cellular Automata and Discrete Complex Systems 19th International Workshop, AUTOMATA 2013, Gie<U+00df>en, Germany, September 17-19, 2013. Proceedings /

Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings /

Discovery Science 16th International Conference, DS 2013, Singapore, October 6-9, 2013. Proceedings /

Computer Information Systems and Industrial Management 12th IFIP TC8 International Conference, CISIM 2013, Krakow, Poland, September 25-27, 2013. Proceedings /

Algorithmic Learning Theory 24th International Conference, ALT 2013, Singapore, October 6-9, 2013. Proceedings /

Algorithms and Complexity 8th International Conference, CIAC 2013, Barcelona, Spain, May 22-24, 2013. Proceedings /

Theory and Applications of Models of Computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings /

Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings /

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings /

Wireless Sensor Networks for Developing Countries First International Conference, WSN4DC, Jamshoro, Pakistan, April 24-26, 2013, Revised Selected Papers /