

Unconventional Computation and Natural Computation
611,-

Advances in Computational Intelligence
584,-

Intelligent Computing Theories and Application
1 124,-

Intelligent Computing Theories and Application
1 124,-

Advanced Intelligent Computing in Bioinformatics
791,-

Advanced Intelligent Computing in Bioinformatics
791,-

Advances in Computational Intelligence
1 124,-

Evolutionary Computation in Combinatorial Optimization
674,-

Verification, Model Checking, and Abstract Interpretation
971,-

Formal Methods - The Next 30 Years
584,-

Unconventional Computation and Natural Computation
611,-

Advances in Computational Intelligence
584,-

Intelligent Computing Theories and Application
1 124,-

Intelligent Computing Theories and Application
1 124,-

Advanced Intelligent Computing in Bioinformatics
791,-

Advanced Intelligent Computing in Bioinformatics
791,-

Advances in Computational Intelligence
1 124,-

Evolutionary Computation in Combinatorial Optimization
674,-

Verification, Model Checking, and Abstract Interpretation
971,-

Formal Methods - The Next 30 Years
584,-















