Advances in Computers
, Volume 43
Volume 43, 1996
David Binkley
,
Keith Brian Gallagher
: Program Slicing. 1-50
BibTeX
Renate Motschnig-Pitrik
,
Roland Mittermeir
: Language Features for the Interconnection of Software Components. 51-139
BibTeX
Joanne M. Atlee
,
Marsha Chechik
,
John D. Gannon
: Using Model Checking to Analyze Requirements and Designs. 141-178
BibTeX
Erik Brynjolfsson
,
Shinkyu Yang
: Information Technology and Productivity: A Review of the Literature. 179-214
BibTeX
William I. Gasarch
: The Complexity of Problems. 215-241
BibTeX
Fred W. DePiero
,
Mohan M. Trivedi
: 3-D Computer Vision Using Structured Light: Design, Calibration, and Implementation Issues. 243-278
BibTeX
Copyright ©
Sat May 16 23:49:11 2009 by
Michael Ley
(
ley@uni-trier.de
)