Title: Logic And Language Models For Computer Science (Third Edition), Author: Dana Richards
Title: Real-Time Software Design for Embedded Systems, Author: Hassan Gomaa
Title: Compositional Verification of Concurrent and Real-Time Systems / Edition 1, Author: Eric Y.T. Juan
Title: Qualitative Research in IS: Issues and Trends / Edition 1, Author: Eileen Moore Trauth
Title: Interdisciplinary Computing in Java Programming / Edition 1, Author: Sun-Chong Wang
Title: Technology Commercialization: DEA and Related Analytical Methods for Evaluating the Use and Implementation of Technical Innovation / Edition 1, Author: Sten A. Thore