Verfügbarkeit: Verifiable autonomous systems | Technische Universität München

Gespeichert in:

Bibliographische Detailangaben
Beteiligte Personen:	Dennis, Louise A. (VerfasserIn), Fisher, Michael 1962- (VerfasserIn)
Format:	Elektronisch E-Book
Sprache:	Englisch
Veröffentlicht:	Cambridge, United Kingdom Cambridge University Press 2023
Links:	https://doi.org/10.1017/9781108755023 https://doi.org/10.1017/9781108755023 https://doi.org/10.1017/9781108755023 https://doi.org/10.1017/9781108755023 https://doi.org/10.1017/9781108755023 https://doi.org/10.1017/9781108755023 https://doi.org/10.1017/9781108755023 https://doi.org/10.1017/9781108755023 https://doi.org/10.1017/9781108755023
Umfang:	1 Online-Ressource (xi, 378 Seiten) Illustrationen, Diagramme
ISBN:	9781108755023
DOI:	10.1017/9781108755023

Internformat

MARC


LEADER	00000nam a2200000 c 4500
001	BV048996877
003	DE-604
005	20250630
007	cr\|uuu---uuuuu
008	230613s2023 xx a\|\|\| o\|\|\|\| 00\|\|\| eng d
020			\|a 9781108755023 \|9 978-1-108-75502-3
024	7		\|a 10.1017/9781108755023 \|2 doi
035			\|a (ZDB-20-CBO)CR9781108755023
035			\|a (OCoLC)1385288619
035			\|a (DE-599)BVBBV048996877
040			\|a DE-604 \|b ger \|e rda
041	0		\|a eng
049			\|a DE-824 \|a DE-91 \|a DE-863 \|a DE-862 \|a DE-12 \|a DE-92 \|a DE-634 \|a DE-473
084			\|a ST 257 \|0 (DE-625)143630: \|2 rvk
100	1		\|a Dennis, Louise A. \|e Verfasser \|4 aut
245	1	0	\|a Verifiable autonomous systems \|b using rational agents to provide assurance about decisions made by machines \|c Louise A. Dennis, Michael Fisher
264		1	\|a Cambridge, United Kingdom \|b Cambridge University Press \|c 2023
300			\|a 1 Online-Ressource (xi, 378 Seiten) \|b Illustrationen, Diagramme
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
700	1		\|a Fisher, Michael \|d 1962- \|e Verfasser \|0 (DE-588)13223565X \|4 aut
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe, Hardcover \|z 978-1-108-48499-2
856	4	0	\|u https://doi.org/10.1017/9781108755023 \|x Verlag \|z URL des Erstveröffentlichers \|3 Volltext
912			\|a ZDB-20-CCSC
912			\|a ZDB-20-CBO
943	1		\|a oai:aleph.bib-bvb.de:BVB01-034260109
966	e		\|u https://doi.org/10.1017/9781108755023 \|l DE-12 \|p ZDB-20-CBO \|q BSB_PDA_CBO \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1017/9781108755023 \|l DE-634 \|p ZDB-20-CBO \|q BTU_PDA_CBO \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1017/9781108755023 \|l DE-92 \|p ZDB-20-CBO \|q FHN_PDA_CBO_Kauf \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1017/9781108755023 \|l DE-863 \|p ZDB-20-CBO \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1017/9781108755023 \|l DE-862 \|p ZDB-20-CBO \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1017/9781108755023 \|l DE-91 \|p ZDB-20-CCSC \|q TUM_Paketkauf_2023 \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1017/9781108755023 \|l DE-473 \|p ZDB-20-CBO \|q UBG_PDA_CBO \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1017/9781108755023 \|l DE-824 \|p ZDB-20-CCSC \|q ZDB-20-CCSC23 \|x Verlag \|3 Volltext

Datensatz im Suchindex

DE-BY-TUM_katkey	2748629
_version_	1836355274209755136
adam_text
any_adam_object
author	Dennis, Louise A. Fisher, Michael 1962-
author_GND	(DE-588)13223565X
author_facet	Dennis, Louise A. Fisher, Michael 1962-
author_role	aut aut
author_sort	Dennis, Louise A.
author_variant	l a d la lad m f mf
building	Verbundindex
bvnumber	BV048996877
classification_rvk	ST 257
collection	ZDB-20-CCSC ZDB-20-CBO
ctrlnum	(ZDB-20-CBO)CR9781108755023 (OCoLC)1385288619 (DE-599)BVBBV048996877
discipline	Informatik
doi_str_mv	10.1017/9781108755023
format	Electronic eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV048996877</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20250630</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">230613s2023 xx a\|\|\| o\|\|\|\| 00\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781108755023</subfield><subfield code="9">978-1-108-75502-3</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1017/9781108755023</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-20-CBO)CR9781108755023</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1385288619</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV048996877</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-824</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-863</subfield><subfield code="a">DE-862</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-473</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 257</subfield><subfield code="0">(DE-625)143630:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Dennis, Louise A.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Verifiable autonomous systems</subfield><subfield code="b">using rational agents to provide assurance about decisions made by machines</subfield><subfield code="c">Louise A. Dennis, Michael Fisher</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, United Kingdom</subfield><subfield code="b">Cambridge University Press</subfield><subfield code="c">2023</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xi, 378 Seiten)</subfield><subfield code="b">Illustrationen, Diagramme</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Fisher, Michael</subfield><subfield code="d">1962-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)13223565X</subfield><subfield code="4">aut</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe, Hardcover</subfield><subfield code="z">978-1-108-48499-2</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1017/9781108755023</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-20-CCSC</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-20-CBO</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-034260109</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/9781108755023</subfield><subfield code="l">DE-12</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">BSB_PDA_CBO</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/9781108755023</subfield><subfield code="l">DE-634</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">BTU_PDA_CBO</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/9781108755023</subfield><subfield code="l">DE-92</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">FHN_PDA_CBO_Kauf</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/9781108755023</subfield><subfield code="l">DE-863</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/9781108755023</subfield><subfield code="l">DE-862</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/9781108755023</subfield><subfield code="l">DE-91</subfield><subfield code="p">ZDB-20-CCSC</subfield><subfield code="q">TUM_Paketkauf_2023</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/9781108755023</subfield><subfield code="l">DE-473</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">UBG_PDA_CBO</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/9781108755023</subfield><subfield code="l">DE-824</subfield><subfield code="p">ZDB-20-CCSC</subfield><subfield code="q">ZDB-20-CCSC23</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection>
id	DE-604.BV048996877
illustrated	Illustrated
indexdate	2025-06-30T12:01:00Z
institution	BVB
isbn	9781108755023
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-034260109
oclc_num	1385288619
open_access_boolean
owner	DE-824 DE-91 DE-BY-TUM DE-863 DE-BY-FWS DE-862 DE-BY-FWS DE-12 DE-92 DE-634 DE-473 DE-BY-UBG
owner_facet	DE-824 DE-91 DE-BY-TUM DE-863 DE-BY-FWS DE-862 DE-BY-FWS DE-12 DE-92 DE-634 DE-473 DE-BY-UBG
physical	1 Online-Ressource (xi, 378 Seiten) Illustrationen, Diagramme
psigel	ZDB-20-CCSC ZDB-20-CBO ZDB-20-CBO BSB_PDA_CBO ZDB-20-CBO BTU_PDA_CBO ZDB-20-CBO FHN_PDA_CBO_Kauf ZDB-20-CCSC TUM_Paketkauf_2023 ZDB-20-CBO UBG_PDA_CBO ZDB-20-CCSC ZDB-20-CCSC23
publishDate	2023
publishDateSearch	2023
publishDateSort	2023
publisher	Cambridge University Press
record_format	marc
spelling	Dennis, Louise A. Verfasser aut Verifiable autonomous systems using rational agents to provide assurance about decisions made by machines Louise A. Dennis, Michael Fisher Cambridge, United Kingdom Cambridge University Press 2023 1 Online-Ressource (xi, 378 Seiten) Illustrationen, Diagramme txt rdacontent c rdamedia cr rdacarrier Fisher, Michael 1962- Verfasser (DE-588)13223565X aut Erscheint auch als Druck-Ausgabe, Hardcover 978-1-108-48499-2 https://doi.org/10.1017/9781108755023 Verlag URL des Erstveröffentlichers Volltext
spellingShingle	Dennis, Louise A. Fisher, Michael 1962- Verifiable autonomous systems using rational agents to provide assurance about decisions made by machines
title	Verifiable autonomous systems using rational agents to provide assurance about decisions made by machines
title_auth	Verifiable autonomous systems using rational agents to provide assurance about decisions made by machines
title_exact_search	Verifiable autonomous systems using rational agents to provide assurance about decisions made by machines
title_full	Verifiable autonomous systems using rational agents to provide assurance about decisions made by machines Louise A. Dennis, Michael Fisher
title_fullStr	Verifiable autonomous systems using rational agents to provide assurance about decisions made by machines Louise A. Dennis, Michael Fisher
title_full_unstemmed	Verifiable autonomous systems using rational agents to provide assurance about decisions made by machines Louise A. Dennis, Michael Fisher
title_short	Verifiable autonomous systems
title_sort	verifiable autonomous systems using rational agents to provide assurance about decisions made by machines
title_sub	using rational agents to provide assurance about decisions made by machines
url	https://doi.org/10.1017/9781108755023
work_keys_str_mv	AT dennislouisea verifiableautonomoussystemsusingrationalagentstoprovideassuranceaboutdecisionsmadebymachines AT fishermichael verifiableautonomoussystemsusingrationalagentstoprovideassuranceaboutdecisionsmadebymachines

Verfügbarkeit

Bestellen (Login erforderlich)

Online lesen