2000

Gene M. Amdahl and others (2000) · IBM Journal of Research and Development · IBM

Richard Bornat (2000) · 5th International Conference on Mathematics of Program Construction (MPC) · Springer

Arnaud Dupuy and others (2000) · 19th Digital Avionics Systems Conference · IEEE

Elmar Habermalz (2000) · University of Karlsruhe

Kenneth Hacker and others (2000) · SAGE Publications Ltd

Kenneth L. Hacker and others (2000) · Digital Democracy: Issues of Theory and Practice · SAGE Publications Ltd

Nancy G. Leveson (2000) · SAE World Congress · Society of Automotive Engineers

D. A. B. Miller (2000) · Proceedings of the IEEE · IEEE

Arthur Norberg (2000) · Johns Hopkins University Press

Graham Priest (2000) · The Journal of Symbolic Logic · Cambridge University Press (CUP)

John C. Reynolds (2000) · Millennial Perspectives in Computer Science · Macmillan Education UK

Mario Rodriguez and others (2000) · 19th Digital Avionics Systems Conference · IEEE

Christopher Strachey (2000) · Higher-Order and Symbolic Computation · Springer

Anne Sjerp Troelstra and others (2000) · Cambridge University Press

Gina Vega and others (2000) · Journal of Organizational Change Management · Emerald

Hanno Wupper (2000) · Journal of Integrated Design and Process Science