Now showing items 1-10 of 13
A hierarchical completeness proof for propositional temporal logic
(Springer Verlag, 2004-02-24)
Legacy assembler reengineering and migration.
Pigs from sausages? Reengineering from assembler to C via fermaT transformations
Density based problem space search for the capacitated clustering p-median problem
(Springer Verlag, 2004-10-01)
A hierarchical completeness proof for propositional Interval Temporal Logic with finite time
(Springer Verlag, 2004-05-01)
Ethical challenges to citizens of 'The automatic age': Norbert Wiener on the information society
(Troubador Publishing, 2004-01-01)
Computer aided fuzzy medical diagnosis
Multiple quadrature using highly oscillatory methods
Responsibility for information assurance and privacy: a problem of individual ethics?
(IGI Global, 2004-07-01)