Verfügbarkeit: Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving:

Gespeichert in:

Bibliographische Detailangaben
Beteiligte Personen:	Ahmed, Asad (VerfasserIn), Hasan, Osman (VerfasserIn), Awwad, Falah (VerfasserIn), Bastaki, Nabil (VerfasserIn)
Format:	Elektronisch E-Book
Sprache:	Englisch
Veröffentlicht:	Cham Springer International Publishing 2022 Cham Springer
Ausgabe:	1st ed. 2022
Schriftenreihe:	SpringerBriefs in Applied Sciences and Technology
Schlagwörter:	Energy Grids and Networks Power Electronics Cyber-Physical Systems Natural Resource and Energy Economics Electric power distribution Power electronics Cooperating objects (Computer systems) Power resources
Links:	https://doi.org/10.1007/978-3-030-78409-6 https://doi.org/10.1007/978-3-030-78409-6 https://doi.org/10.1007/978-3-030-78409-6 https://doi.org/10.1007/978-3-030-78409-6 https://doi.org/10.1007/978-3-030-78409-6 https://doi.org/10.1007/978-3-030-78409-6 https://doi.org/10.1007/978-3-030-78409-6 https://doi.org/10.1007/978-3-030-78409-6 https://doi.org/10.1007/978-3-030-78409-6 https://doi.org/10.1007/978-3-030-78409-6 https://doi.org/10.1007/978-3-030-78409-6 https://doi.org/10.1007/978-3-030-78409-6 https://doi.org/10.1007/978-3-030-78409-6 https://doi.org/10.1007/978-3-030-78409-6 https://doi.org/10.1007/978-3-030-78409-6 https://doi.org/10.1007/978-3-030-78409-6 https://doi.org/10.1007/978-3-030-78409-6 https://doi.org/10.1007/978-3-030-78409-6
Umfang:	1 Online-Ressource (XI, 79 p. 18 illus., 7 illus. in color)
ISBN:	9783030784096
ISSN:	2191-5318
DOI:	10.1007/978-3-030-78409-6

Internformat

MARC


LEADER	00000nam a2200000zc 4500
001	BV047832488
003	DE-604
005	20220531
007	cr\|uuu---uuuuu
008	220211s2022 xx o\|\|\|\| 00\|\|\| eng d
020			\|a 9783030784096 \|c Online \|9 978-3-030-78409-6
024	7		\|a 10.1007/978-3-030-78409-6 \|2 doi
035			\|a (ZDB-2-ENE)9783030784096
035			\|a (OCoLC)1298740988
035			\|a (DE-599)BVBBV047832488
040			\|a DE-604 \|b ger \|e rda
041	0		\|a eng
049			\|a DE-1028 \|a DE-1046 \|a DE-1043 \|a DE-Aug4 \|a DE-898 \|a DE-861 \|a DE-523 \|a DE-859 \|a DE-863 \|a DE-1050 \|a DE-862 \|a DE-92 \|a DE-573 \|a DE-M347 \|a DE-703 \|a DE-706 \|a DE-634
082	0		\|a 321.319 \|2 23
100	1		\|a Ahmed, Asad \|e Verfasser \|4 aut
245	1	0	\|a Formal Analysis of Future Energy Systems Using Interactive Theorem Proving \|c by Asad Ahmed, Osman Hasan, Falah Awwad, Nabil Bastaki
250			\|a 1st ed. 2022
264		1	\|a Cham \|b Springer International Publishing \|c 2022
264		1	\|a Cham \|b Springer
300			\|a 1 Online-Ressource (XI, 79 p. 18 illus., 7 illus. in color)
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	0		\|a SpringerBriefs in Applied Sciences and Technology \|x 2191-5318
650		4	\|a Energy Grids and Networks
650		4	\|a Power Electronics
650		4	\|a Cyber-Physical Systems
650		4	\|a Natural Resource and Energy Economics
650		4	\|a Electric power distribution
650		4	\|a Power electronics
650		4	\|a Cooperating objects (Computer systems)
650		4	\|a Power resources
700	1		\|a Hasan, Osman \|4 aut
700	1		\|a Awwad, Falah \|4 aut
700	1		\|a Bastaki, Nabil \|4 aut
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe \|z 978-3-030-78408-9
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe \|z 978-3-030-78410-2
856	4	0	\|u https://doi.org/10.1007/978-3-030-78409-6 \|x Verlag \|z URL des Erstveröffentlichers \|3 Volltext
912			\|a ZDB-2-ENE
940	1		\|q ZDB-2-ENE_2022
943	1		\|a oai:aleph.bib-bvb.de:BVB01-033215722
966	e		\|u https://doi.org/10.1007/978-3-030-78409-6 \|l DE-634 \|p ZDB-2-ENE \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-78409-6 \|l DE-1043 \|p ZDB-2-ENE \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-78409-6 \|l DE-1046 \|p ZDB-2-ENE \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-78409-6 \|l DE-1028 \|p ZDB-2-ENE \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-78409-6 \|l DE-Aug4 \|p ZDB-2-ENE \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-78409-6 \|l DE-1050 \|p ZDB-2-ENE \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-78409-6 \|l DE-573 \|p ZDB-2-ENE \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-78409-6 \|l DE-M347 \|p ZDB-2-ENE \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-78409-6 \|l DE-92 \|p ZDB-2-ENE \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-78409-6 \|l DE-898 \|p ZDB-2-ENE \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-78409-6 \|l DE-859 \|p ZDB-2-ENE \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-78409-6 \|l DE-861 \|p ZDB-2-ENE \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-78409-6 \|l DE-863 \|p ZDB-2-ENE \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-78409-6 \|l DE-862 \|p ZDB-2-ENE \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-78409-6 \|l DE-523 \|p ZDB-2-ENE \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-78409-6 \|l DE-703 \|p ZDB-2-ENE \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-78409-6 \|l DE-706 \|p ZDB-2-ENE \|x Verlag \|3 Volltext

Datensatz im Suchindex

_version_	1818988883516325888
any_adam_object
author	Ahmed, Asad Hasan, Osman Awwad, Falah Bastaki, Nabil
author_facet	Ahmed, Asad Hasan, Osman Awwad, Falah Bastaki, Nabil
author_role	aut aut aut aut
author_sort	Ahmed, Asad
author_variant	a a aa o h oh f a fa n b nb
building	Verbundindex
bvnumber	BV047832488
collection	ZDB-2-ENE
ctrlnum	(ZDB-2-ENE)9783030784096 (OCoLC)1298740988 (DE-599)BVBBV047832488
dewey-full	321.319
dewey-hundreds	300 - Social sciences
dewey-ones	321 - Systems of governments and states
dewey-raw	321.319
dewey-search	321.319
dewey-sort	3321.319
dewey-tens	320 - Political science (Politics and government)
discipline	Politologie
doi_str_mv	10.1007/978-3-030-78409-6
edition	1st ed. 2022
format	Electronic eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03603nam a2200721zc 4500</leader><controlfield tag="001">BV047832488</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20220531 </controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">220211s2022 xx o\|\|\|\| 00\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783030784096</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-030-78409-6</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-030-78409-6</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-ENE)9783030784096</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1298740988</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV047832488</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-1028</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-1043</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-523</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-863</subfield><subfield code="a">DE-1050</subfield><subfield code="a">DE-862</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">321.319</subfield><subfield code="2">23</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Ahmed, Asad</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal Analysis of Future Energy Systems Using Interactive Theorem Proving</subfield><subfield code="c">by Asad Ahmed, Osman Hasan, Falah Awwad, Nabil Bastaki</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed. 2022</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer International Publishing</subfield><subfield code="c">2022</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XI, 79 p. 18 illus., 7 illus. in color)</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="490" ind1="0" ind2=" "><subfield code="a">SpringerBriefs in Applied Sciences and Technology</subfield><subfield code="x">2191-5318</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Energy Grids and Networks</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Power Electronics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Cyber-Physical Systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Natural Resource and Energy Economics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electric power distribution</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Power electronics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Cooperating objects (Computer systems)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Power resources</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Hasan, Osman</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Awwad, Falah</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Bastaki, Nabil</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</subfield><subfield code="z">978-3-030-78408-9</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-3-030-78410-2</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-030-78409-6</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-2-ENE</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-ENE_2022</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-033215722</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-78409-6</subfield><subfield code="l">DE-634</subfield><subfield code="p">ZDB-2-ENE</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.1007/978-3-030-78409-6</subfield><subfield code="l">DE-1043</subfield><subfield code="p">ZDB-2-ENE</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.1007/978-3-030-78409-6</subfield><subfield code="l">DE-1046</subfield><subfield code="p">ZDB-2-ENE</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.1007/978-3-030-78409-6</subfield><subfield code="l">DE-1028</subfield><subfield code="p">ZDB-2-ENE</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.1007/978-3-030-78409-6</subfield><subfield code="l">DE-Aug4</subfield><subfield code="p">ZDB-2-ENE</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.1007/978-3-030-78409-6</subfield><subfield code="l">DE-1050</subfield><subfield code="p">ZDB-2-ENE</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.1007/978-3-030-78409-6</subfield><subfield code="l">DE-573</subfield><subfield code="p">ZDB-2-ENE</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.1007/978-3-030-78409-6</subfield><subfield code="l">DE-M347</subfield><subfield code="p">ZDB-2-ENE</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.1007/978-3-030-78409-6</subfield><subfield code="l">DE-92</subfield><subfield code="p">ZDB-2-ENE</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.1007/978-3-030-78409-6</subfield><subfield code="l">DE-898</subfield><subfield code="p">ZDB-2-ENE</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.1007/978-3-030-78409-6</subfield><subfield code="l">DE-859</subfield><subfield code="p">ZDB-2-ENE</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.1007/978-3-030-78409-6</subfield><subfield code="l">DE-861</subfield><subfield code="p">ZDB-2-ENE</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.1007/978-3-030-78409-6</subfield><subfield code="l">DE-863</subfield><subfield code="p">ZDB-2-ENE</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.1007/978-3-030-78409-6</subfield><subfield code="l">DE-862</subfield><subfield code="p">ZDB-2-ENE</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.1007/978-3-030-78409-6</subfield><subfield code="l">DE-523</subfield><subfield code="p">ZDB-2-ENE</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.1007/978-3-030-78409-6</subfield><subfield code="l">DE-703</subfield><subfield code="p">ZDB-2-ENE</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.1007/978-3-030-78409-6</subfield><subfield code="l">DE-706</subfield><subfield code="p">ZDB-2-ENE</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection>
id	DE-604.BV047832488
illustrated	Not Illustrated
indexdate	2024-12-20T19:29:39Z
institution	BVB
isbn	9783030784096
issn	2191-5318
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-033215722
oclc_num	1298740988
open_access_boolean
owner	DE-1028 DE-1046 DE-1043 DE-Aug4 DE-898 DE-BY-UBR DE-861 DE-523 DE-859 DE-863 DE-BY-FWS DE-1050 DE-862 DE-BY-FWS DE-92 DE-573 DE-M347 DE-703 DE-706 DE-634
owner_facet	DE-1028 DE-1046 DE-1043 DE-Aug4 DE-898 DE-BY-UBR DE-861 DE-523 DE-859 DE-863 DE-BY-FWS DE-1050 DE-862 DE-BY-FWS DE-92 DE-573 DE-M347 DE-703 DE-706 DE-634
physical	1 Online-Ressource (XI, 79 p. 18 illus., 7 illus. in color)
psigel	ZDB-2-ENE ZDB-2-ENE_2022
publishDate	2022
publishDateSearch	2022
publishDateSort	2022
publisher	Springer International Publishing Springer
record_format	marc
series2	SpringerBriefs in Applied Sciences and Technology
spelling	Ahmed, Asad Verfasser aut Formal Analysis of Future Energy Systems Using Interactive Theorem Proving by Asad Ahmed, Osman Hasan, Falah Awwad, Nabil Bastaki 1st ed. 2022 Cham Springer International Publishing 2022 Cham Springer 1 Online-Ressource (XI, 79 p. 18 illus., 7 illus. in color) txt rdacontent c rdamedia cr rdacarrier SpringerBriefs in Applied Sciences and Technology 2191-5318 Energy Grids and Networks Power Electronics Cyber-Physical Systems Natural Resource and Energy Economics Electric power distribution Power electronics Cooperating objects (Computer systems) Power resources Hasan, Osman aut Awwad, Falah aut Bastaki, Nabil aut Erscheint auch als Druck-Ausgabe 978-3-030-78408-9 Erscheint auch als Druck-Ausgabe 978-3-030-78410-2 https://doi.org/10.1007/978-3-030-78409-6 Verlag URL des Erstveröffentlichers Volltext
spellingShingle	Ahmed, Asad Hasan, Osman Awwad, Falah Bastaki, Nabil Formal Analysis of Future Energy Systems Using Interactive Theorem Proving Energy Grids and Networks Power Electronics Cyber-Physical Systems Natural Resource and Energy Economics Electric power distribution Power electronics Cooperating objects (Computer systems) Power resources
title	Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
title_auth	Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
title_exact_search	Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
title_full	Formal Analysis of Future Energy Systems Using Interactive Theorem Proving by Asad Ahmed, Osman Hasan, Falah Awwad, Nabil Bastaki
title_fullStr	Formal Analysis of Future Energy Systems Using Interactive Theorem Proving by Asad Ahmed, Osman Hasan, Falah Awwad, Nabil Bastaki
title_full_unstemmed	Formal Analysis of Future Energy Systems Using Interactive Theorem Proving by Asad Ahmed, Osman Hasan, Falah Awwad, Nabil Bastaki
title_short	Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
title_sort	formal analysis of future energy systems using interactive theorem proving
topic	Energy Grids and Networks Power Electronics Cyber-Physical Systems Natural Resource and Energy Economics Electric power distribution Power electronics Cooperating objects (Computer systems) Power resources
topic_facet	Energy Grids and Networks Power Electronics Cyber-Physical Systems Natural Resource and Energy Economics Electric power distribution Power electronics Cooperating objects (Computer systems) Power resources
url	https://doi.org/10.1007/978-3-030-78409-6
work_keys_str_mv	AT ahmedasad formalanalysisoffutureenergysystemsusinginteractivetheoremproving AT hasanosman formalanalysisoffutureenergysystemsusinginteractivetheoremproving AT awwadfalah formalanalysisoffutureenergysystemsusinginteractivetheoremproving AT bastakinabil formalanalysisoffutureenergysystemsusinginteractivetheoremproving

Verfügbarkeit

‌

Online lesen