Result 1 to 15 of 15 total
The impact of information technology on individual and firm marketing performance (English)
Behaviour & IT 26, No. 6, 465-482 (2007).
1
Towards a reduced model for angiogenesis: A hybrid approach (English)
Mathematical and Computer Modelling 41, No. 8-9, 987-996 (2005).
2
The assimilation of computer-aided marketing activities (English)
Information & Management 38, No. 7, 437-447 (2001).
3
Pragmatics and presence. (English)
AI Soc. 10, No. 3-4, 309-314 (1996).
4
Pragmatics and presence. (English)
AI Soc. 10, No. 3-4, 309-314 (1996).
5
Mathematical methods for digital systems development (English)
VDM Europe (2), 406-430 (1991).
6
Expert systems: A futuristic tool facing marketing limitations (English)
ACM SIGBDP Conference on Trends and Directions in Expert Systems, 27-32 (1990).
7
Expert systems and sales strategies (English)
ACM SIGBDP Conference on Trends and Directions in Expert Systems, 52-57 (1990).
8
Computing is a physical science (Abstract) (English)
VDM Europe, 1-1 (1988).
9
Mechanical proofs about computer programs. (English)
Philos. Trans. R. Soc. Lond., A 312, 389-409 (1984).
10
Principles of proving programs correct in gypsy (English)
POPL, 42-52 (1979).
11
A report on the development of gypsy (English)
ACM Annual Conference (1), 116-122 (1978).
12
An interactive program verification system (English)
IEEE Trans. Software Eng. 1, No. 1, 59-67 (1975).
13
Provable programs and processors (English)
AFIPS National Computer Conference, 357-363 (1974).
14
Computer interval arithmetic: Definition and proof of correct implementation. (English)
J. Assoc. Comput. Mach. 17, 603-612 (1970).
15
Result 1 to 15 of 15 total
Start
Contact
Print
General Help
