Author: Ciel Michèle Carter
Publisher: New York : Macmillan Information
ISBN:
Category : Computers
Languages : en
Pages : 264
Book Description
Critical, evaluative reviews of computer science reference sources. Good starting point for learning the computer reference literature or to find a source of needed information. Published 1974.
Guide to Reference Sources in the Computer Sciences
Author: Ciel Michèle Carter
Publisher: New York : Macmillan Information
ISBN:
Category : Computers
Languages : en
Pages : 264
Book Description
Critical, evaluative reviews of computer science reference sources. Good starting point for learning the computer reference literature or to find a source of needed information. Published 1974.
Publisher: New York : Macmillan Information
ISBN:
Category : Computers
Languages : en
Pages : 264
Book Description
Critical, evaluative reviews of computer science reference sources. Good starting point for learning the computer reference literature or to find a source of needed information. Published 1974.
Serials Catalog: Titles A-Z
Author: Iowa State University. Library
Publisher:
ISBN:
Category : Periodicals
Languages : en
Pages : 954
Book Description
Publisher:
ISBN:
Category : Periodicals
Languages : en
Pages : 954
Book Description
Irregular Serials & Annuals
Serials Catalog: Titles, O-Z; and Corporate body index
Author: Iowa State University. Library
Publisher:
ISBN:
Category : Periodicals
Languages : en
Pages : 878
Book Description
Publisher:
ISBN:
Category : Periodicals
Languages : en
Pages : 878
Book Description
Ulrich's Periodicals Directory
Serials Catalog: Titles, A-N
Author: Iowa State University. Library
Publisher:
ISBN:
Category : Periodicals
Languages : en
Pages : 888
Book Description
Publisher:
ISBN:
Category : Periodicals
Languages : en
Pages : 888
Book Description
Irregular Serials and Annuals
Author: R. R. Bowker LLC
Publisher: R. R. Bowker
ISBN: 9780835212410
Category : Reference
Languages : en
Pages : 1488
Book Description
Publisher: R. R. Bowker
ISBN: 9780835212410
Category : Reference
Languages : en
Pages : 1488
Book Description
Machine Medical Ethics
Author: Simon Peter van Rysewyk
Publisher: Springer
ISBN: 331908108X
Category : Technology & Engineering
Languages : en
Pages : 371
Book Description
The essays in this book, written by researchers from both humanities and science, describe various theoretical and experimental approaches to adding medical ethics to a machine, what design features are necessary in order to achieve this, philosophical and practical questions concerning justice, rights, decision-making and responsibility in medical contexts, and accurately modeling essential physician-machine-patient relationships. In medical settings, machines are in close proximity with human beings: with patients who are in vulnerable states of health, who have disabilities of various kinds, with the very young or very old and with medical professionals. Machines in these contexts are undertaking important medical tasks that require emotional sensitivity, knowledge of medical codes, human dignity and privacy. As machine technology advances, ethical concerns become more urgent: should medical machines be programmed to follow a code of medical ethics? What theory or theories should constrain medical machine conduct? What design features are required? Should machines share responsibility with humans for the ethical consequences of medical actions? How ought clinical relationships involving machines to be modeled? Is a capacity for empathy and emotion detection necessary? What about consciousness? This collection is the first book that addresses these 21st-century concerns.
Publisher: Springer
ISBN: 331908108X
Category : Technology & Engineering
Languages : en
Pages : 371
Book Description
The essays in this book, written by researchers from both humanities and science, describe various theoretical and experimental approaches to adding medical ethics to a machine, what design features are necessary in order to achieve this, philosophical and practical questions concerning justice, rights, decision-making and responsibility in medical contexts, and accurately modeling essential physician-machine-patient relationships. In medical settings, machines are in close proximity with human beings: with patients who are in vulnerable states of health, who have disabilities of various kinds, with the very young or very old and with medical professionals. Machines in these contexts are undertaking important medical tasks that require emotional sensitivity, knowledge of medical codes, human dignity and privacy. As machine technology advances, ethical concerns become more urgent: should medical machines be programmed to follow a code of medical ethics? What theory or theories should constrain medical machine conduct? What design features are required? Should machines share responsibility with humans for the ethical consequences of medical actions? How ought clinical relationships involving machines to be modeled? Is a capacity for empathy and emotion detection necessary? What about consciousness? This collection is the first book that addresses these 21st-century concerns.
Computer Literature Bibliography
Author: United States. National Bureau of Standards
Publisher:
ISBN:
Category : Computers
Languages : en
Pages : 468
Book Description
Publisher:
ISBN:
Category : Computers
Languages : en
Pages : 468
Book Description
FME 2003: Formal Methods
Author: Keijiro Araki
Publisher: Springer Science & Business Media
ISBN: 3540408282
Category : Business & Economics
Languages : en
Pages : 955
Book Description
This book constitutes the refereed proceedings of the International Symposium of Formal Methods Europe, FME 2003, held in Pisa, Italy in September 2003. The 44 revised full papers presented together with 5 invited papers were carefully reviewed and selected from 144 submissions. The papers are organized in topical sections on industrial issues, control systems and applications, communication system verfication, co-specification and compilers, composition, Java, object-orientation and modularity, model checking, parallel processes, program checking and testing, B method, and security.
Publisher: Springer Science & Business Media
ISBN: 3540408282
Category : Business & Economics
Languages : en
Pages : 955
Book Description
This book constitutes the refereed proceedings of the International Symposium of Formal Methods Europe, FME 2003, held in Pisa, Italy in September 2003. The 44 revised full papers presented together with 5 invited papers were carefully reviewed and selected from 144 submissions. The papers are organized in topical sections on industrial issues, control systems and applications, communication system verfication, co-specification and compilers, composition, Java, object-orientation and modularity, model checking, parallel processes, program checking and testing, B method, and security.