Social and ethical issues in computer science social: issues about computers in society social, political and legal ethical: making decisions about what is right Social informatics Rob Kling : . . . is the interdisciplinary study of the design, uses and conseque ...
This book, published in 1978 by Harvester Press and Humanities Press, has been out of print for many years, and is now online. This online version was produced from a scanned in copy of the original, digitised by OCR software and made available in September 2001. Since then a number of notes ...
Sedna is an XML database system being developed by theMODIS team at the Institute for System Programming of the Russian Academy of Sciences. About sedna Sedna is a free native XML database designed to be a universal system for a wide range of XML applications such as content managem ...
中国骄傲真正的计算科学大师 信息来源:ACM PRINCETON UNIVERSITY'S ANDREW CHI CHIH YAO WINS THE ASSOCIATION FOR COMPUTING MACHINERY'S 2000 A. M. TURING AWARD New York, Feb. 1, 2001 -- The Association for Computing Machinery today announced the selection of Andrew Chi-Chih ...
Paul Thagard is Professor of Philosophy, with cross appointment to Psychology and Computer Science, and Director of the Cognitive Science Program, at the University of Waterloo. He is a graduate of the Universities of Saskatchewan, Cambridge, Toronto ( Ph. D. in philosophy ) and ...
计算科学是第三种形态的科学 University of Joensuu, Department of Computer Science and Statistics 芬兰约恩苏大学 Course Description This course is not a course in the philosophy of science in general, but in the philosophy of computer science, which is a specific subtopic of the philoso ...
伟大贡献 :For his role in developing Model-Checking into a highly effective verification technology , widely adopted in the hardware and software industries. 具体情况: In 1981, Edmund M. Clarke and E. Allen Emerson, working in the USA, and Joseph Sifakis working independently in France, aut ...
What is FME? Formal Methods Europe (FME) is an organisation with the mission of promoting and supporting the industrial use of formal methods for computer systems development. It is not allied to any single organisation or group of organisations. Its members come from a ...