

Applied Reconfigurable Computing. Architectures, Tools, and Applications
584,-

Dependable Software Engineering. Theories, Tools, and Applications
791,-

Automated Technology for Verification and Analysis
854,-

Automated Technology for Verification and Analysis
1 340,-

Automated Technology for Verification and Analysis
1 592,-

Automated Technology for Verification and Analysis
791,-

Embedded Computer Systems
674,-

Embedded Computer Systems
1 340,-

Embedded Computer Systems
584,-

Formal Techniques for Distributed Objects, Components, and Systems
674,-

Applied Reconfigurable Computing. Architectures, Tools, and Applications
584,-

Dependable Software Engineering. Theories, Tools, and Applications
791,-

Automated Technology for Verification and Analysis
854,-

Automated Technology for Verification and Analysis
1 340,-

Automated Technology for Verification and Analysis
1 592,-

Automated Technology for Verification and Analysis
791,-

Embedded Computer Systems
674,-

Embedded Computer Systems
1 340,-

Embedded Computer Systems
584,-

Formal Techniques for Distributed Objects, Components, and Systems
674,-













