IEICE Transactions, Volume 93-D

Volume 93-D, Number 1, January 2010

Special Section on Test, Diagnosis and Verification of SOCs Regular Section

Volume 93-D, Number 2, February 2010

Special Section on Foundations of Computer Science Regular Section

Volume 93-D, Number 3, March 2010

Special Section on Trust, Security and Privacy for Pervasive Applications Regular Section

Volume 93-D, Number 4, April 2010

Special Section on Knowledge-Based Software Engineering Regular Section

Volume 93-D, Number 5, May 2010

Special Section on Formal Approach Special Section on Information and Communication System Security Regular Section