
Application and Theory of Petri Nets and Concurrency
584,-

Computer Aided Verification
584,-

Rule Technologies. Research, Tools, and Applications
1 124,-

Inductive Logic Programming
584,-

Computational Complexity and Local Algorithms
854,-

Evolutionary Computation in Combinatorial Optimization
584,-

Combinatorial Optimization and Applications
1 214,-

Algorithms and Architectures for Parallel Processing
584,-

Algorithms and Architectures for Parallel Processing
1 214,-

Algorithms and Architectures for Parallel Processing
584,-

Application and Theory of Petri Nets and Concurrency
584,-

Computer Aided Verification
584,-

Rule Technologies. Research, Tools, and Applications
1 124,-

Inductive Logic Programming
584,-

Computational Complexity and Local Algorithms
854,-

Evolutionary Computation in Combinatorial Optimization
584,-

Combinatorial Optimization and Applications
1 214,-

Algorithms and Architectures for Parallel Processing
584,-

Algorithms and Architectures for Parallel Processing
1 214,-

Algorithms and Architectures for Parallel Processing
584,-