J.UCS, Volume 9

Volume 9, Number 1, 2003

Volume 9, Number 2, 2003

Special Issue on Tools for System Design and Verification

Volume 9, Number 3, 2003

Special Issue on Compiler Optimization meets Compiler Verification (COCV 2002)

Volume 9, Number 4, 2003

Special Issue on Dynamic Symbolic Languages

Volume 9, Number 5, 2003

Volume 9, Number 6, 2003

Special Issue: I-Know 03 - Hot Spots in Knowledge Management

Volume 9, Number 7, 2003

Special Issue on Professional Knowledge Management - Experiences and Visions

Volume 9, Number 8, 2003

Special Issue: 7th Brasilian Symposium on Programming Languages

Volume 9, Number 9, 2003

Volume 9, Number 10, 2003

Volume 9, Number 11, 2003

Special Issue on Formal Specifications of Computer-Based Systems

Volume 9, Number 12, 2003

Special Issue on Skills Management - Managing Competencies in the Knowledge-based Economy