
Application and Theory of Petri Nets and Concurrency
1 340,-

Application and Theory of Petri Nets and Concurrency
949,-

Application and Theory of Petri Nets and Concurrency
854,-

Algorithms and Architectures for Parallel Processing
584,-

Computer Aided Verification
1 124,-

DNA Computing and Molecular Programming
611,-

Formal Methods and Software Engineering
584,-

Algorithmic Aspects of Cloud Computing
611,-

Models, Languages, and Tools for Concurrent and Distributed Programming
584,-

Software Engineering and Formal Methods
584,-

Application and Theory of Petri Nets and Concurrency
1 340,-

Application and Theory of Petri Nets and Concurrency
949,-

Application and Theory of Petri Nets and Concurrency
854,-

Algorithms and Architectures for Parallel Processing
584,-

Computer Aided Verification
1 124,-

DNA Computing and Molecular Programming
611,-

Formal Methods and Software Engineering
584,-

Algorithmic Aspects of Cloud Computing
611,-

Models, Languages, and Tools for Concurrent and Distributed Programming
584,-

Software Engineering and Formal Methods
584,-