262. Ethics, computing, and medicine :

پدیدآورنده :

کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)

موضوع : Medicine-- Data processing-- Moral and ethical aspects.,Analytical, Diagnostic and Therapeutic Techniques and Equipment.,Anthropology, Education, Sociology and Social Phenomena.,Behavior and Behavior Mechanisms.,Behavior.,Bioethics.,Clinical Medicine.,Communication.,Communications Media.,Computer Communication Networks.,Computer Systems.,Computers.,Computing Methodologies.,Confidentiality.,Data Collection.,Databases as Topic.,Databases, Factual.,Decision Making.,Delivery of Health Care.,Diagnosis.,Disciplines and Occupations.,Economics.,Education.,Educational Measurement.,Epidemiologic Measurements.,Epidemiologic Methods.,Ethics.,Evidence-Based Medicine.,Evidence-Based Practice.,Forensic Psychiatry.,Group Processes.,Health Care Economics and Organizations.,Health Care Evaluation Mechanisms.,Health Care Quality, Access, and Evaluation.,Health Care Rationing.,Health Occupations.,Health Planning.,Health Services Accessibility.,Health Services Administration.,Health Services.,Human Rights.,Humanities.,Informatics.,Information Dissemination.,Information Science.,Information Services.,Information Storage and Retrieval.,Information Systems.,Informed Consent.,Insurance, Health.,Interpersonal Relations.,Investigative Techniques.,Jurisprudence.,Managed Care Programs.,Mathematical Concepts.,Medical Futility.,Medical Informatics.,Medical Records.,Medicine.,Mental Processes.,Morals.,Patient Care Management.,Patient Care.,Patient Rights.,Phenomena and Processes.,Philosophy.,Physician-Patient Relations.,Probability.,Professional Autonomy.,Professional Competence.,Professional Practice.,Professional Role.,Professional-Patient Relations.,Prognosis.,Psychiatry.,Psychology, Social.,Public Health.,Quality of Health Care.,Records.,Reference Standards.,Resource Allocation.,Risk Assessment.,Risk Management.,Risk.,Role.,Social Control, Formal.,Social Responsibility.,Social Sciences.,Social Values.,Sociology.,Statistics as Topic.,Telecommunications.,Telemedicine.,Therapeutics.,Thinking.,Uncertainty.,Weights and Measures.,Withholding Treatment.,MEDICAL-- Ethics.,Medicine-- Data processing-- Moral and ethical aspects.

رده :
R858
.
E84
1998eb

271. Formal methods for industrial critical systems :

پدیدآورنده :

کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)

موضوع : Computer programs-- Reliability, Congresses.,Computer programs-- Verification, Congresses.,Computer software-- Reliability, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer Systems Organization and Communication Networks.,Programming Languages, Compilers, Interpreters.,Simulation and Modeling.,Software Engineering.,The Computing Profession.,Theory of Computation.,3D graphics & modelling.,Computer networking & communications.,Computer programs-- Reliability.,Computer programs-- Verification.,Computer science.,Computer software-- Reliability.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- Computer Simulation.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.

رده :
QA76
.
9
.
F67
I58
2018eb