

Advances in Computer Games
584,-

Theory and Applications of Satisfiability Testing - SAT 2018
584,-

Combinatorial Optimization
584,-

Evolutionary Computation in Combinatorial Optimization
584,-

Algorithmic Aspects of Cloud Computing
584,-

Stochastic Model Checking
476,-

Transactions on Petri Nets and Other Models of Concurrency XV
584,-

Application and Theory of Petri Nets and Concurrency
584,-

Implementation and Application of Automata
737,-

Implementation and Application of Automata
791,-

Advances in Computer Games
584,-

Theory and Applications of Satisfiability Testing - SAT 2018
584,-

Combinatorial Optimization
584,-

Evolutionary Computation in Combinatorial Optimization
584,-

Algorithmic Aspects of Cloud Computing
584,-

Stochastic Model Checking
476,-

Transactions on Petri Nets and Other Models of Concurrency XV
584,-

Application and Theory of Petri Nets and Concurrency
584,-

Implementation and Application of Automata
737,-

Implementation and Application of Automata
791,-















