
2022, ISBN: 3795437326
[EAN: 9783795437329], Neubuch, [PU: Verlag Schnell & Steiner Gmbh Mai 2022], BILLI THANNER, INSTALLATIONSKUNST, STEPHANSDOM, WIEN, Neuware -Die Himmelsleiter der Wiener Künstlerin Billi T… Mehr…
AbeBooks.de sinnvoll24, neu-ulm, Germany [84865950] [Rating: 5 (von 5)] NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |

2022, ISBN: 9783795437329
Die Himmelsleiter der Wiener Künstlerin Billi Thanner erstrahlt seit Ostern 2021 in und am Wiener Stephansdom. Die außergewöhnliche und vielfältige Rezeption in den Medien und sozialen Ne… Mehr…
Weltbild.de Nr. 141959742. Versandkosten:, 2-5 Werktage, DE. (EUR 0.00) Details... |
2022, ISBN: 9783795437329
"Die Himmelsleiter" von Billi Thanner, Buch, Hardcover, [PU: Schnell & Steiner], Schnell & Steiner, 2022
lehmanns.de Versandkosten:sofort lieferbar. (EUR 0.00) Details... |

2022, ISBN: 9783795437329
[ED: Gebunden], [PU: Schnell & Steiner], DE, [SC: 4.99], Neuware, gewerbliches Angebot, 250x210 mm, 128, [GW: 725g]
booklooker.de |

2022, ISBN: 9783795437329
Schnell & Steiner GmbH, 2022. Hardcover. New. 128 pages. German language. 10.12x8.46x0.59 inches., Schnell & Steiner GmbH, 2022, 6
Biblio.co.uk |


2022, ISBN: 3795437326
[EAN: 9783795437329], Neubuch, [PU: Verlag Schnell & Steiner Gmbh Mai 2022], BILLI THANNER, INSTALLATIONSKUNST, STEPHANSDOM, WIEN, Neuware -Die Himmelsleiter der Wiener Künstlerin Billi T… Mehr…

2022, ISBN: 9783795437329
Die Himmelsleiter der Wiener Künstlerin Billi Thanner erstrahlt seit Ostern 2021 in und am Wiener Stephansdom. Die außergewöhnliche und vielfältige Rezeption in den Medien und sozialen Ne… Mehr…
2022
ISBN: 9783795437329
"Die Himmelsleiter" von Billi Thanner, Buch, Hardcover, [PU: Schnell & Steiner], Schnell & Steiner, 2022

2022, ISBN: 9783795437329
[ED: Gebunden], [PU: Schnell & Steiner], DE, [SC: 4.99], Neuware, gewerbliches Angebot, 250x210 mm, 128, [GW: 725g]
2022, ISBN: 9783795437329
Schnell & Steiner GmbH, 2022. Hardcover. New. 128 pages. German language. 10.12x8.46x0.59 inches., Schnell & Steiner GmbH, 2022, 6
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Zwischen Himmel und Erde
EAN (ISBN-13): 9783795437329
ISBN (ISBN-10): 3795437326
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2021
Herausgeber: Schnell & Steiner
Buch in der Datenbank seit 2022-02-18T09:20:16+01:00 (Berlin)
Detailseite zuletzt geändert am 2023-09-16T09:55:46+02:00 (Berlin)
ISBN/EAN: 9783795437329
ISBN - alternative Schreibweisen:
3-7954-3732-6, 978-3-7954-3732-9
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: joachim lange, faber stefanie, barbara schedl, werz joachim, michael lange, wolfgang paul, barbara beck
Titel des Buches: zwischen himmel und erde, zwischen steiner, und die erde, von himmel und erde
Daten vom Verlag:
Autor/in: Joachim Werz
Titel: Zwischen Himmel und Erde; Werz, Himmelsleiter - Die Himmelsleiter" von Billi Thanner Schnell & Steiner 128 2022-05-10 BB; B304; Hardcover, Softcover / Kunst/Bildende Kunst; Kunst; Entdecken; Künste, Bildende Kunst allgemein; Wien; Stephansdom; Installationskunst; Billi Thanner; Installationskunst; Österreich; Wien 725 ger 25.70 EUR 210 250 DE https://download.schnell-und-steiner.de/ihv/9783795437329_inhaltsverzeichnis.pdf a:3:{s:4:"NAME";s:7:"Product";s:5:"ATTRS";a:1:{s:9:"datestamp";s:8:"20230606";}s:5:"CHILD";a:10:{i:0;a:2:{s:4:"NAME";s:15:"RecordReference";s:5:"CDATA";s:32:"53c78b797bae4d58910d23c56033c365";}i:1;a:2:{s:4:"NAME";s:16:"NotificationType";s:5:"CDATA";s:2:"03";}i:2;a:2:{s:4:"NAME";s:17:"ProductIdentifier";s:5:"CHILD";a:3:{i:0;a:2:{s:4:"NAME";s:13:"ProductIDType";s:5:"CDATA";s:2:"01";}i:1;a:2:{s:4:"NAME";s:10:"IDTypeName";s:5:"CDATA";s:19:"Publishers Order No";}i:2;a:2:{s:4:"NAME";s:7:"IDValue";s:5:"CDATA";s:13:"9783795437329";}}}i:3;a:2:{s:4:"NAME";s:17:"ProductIdentifier";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:13:"ProductIDType";s:5:"CDATA";s:2:"02";}i:1;a:2:{s:4:"NAME";s:7:"IDValue";s:5:"CDATA";s:10:"3795437326";}}}i:4;a:2:{s:4:"NAME";s:17:"ProductIdentifier";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:13:"ProductIDType";s:5:"CDATA";s:2:"03";}i:1;a:2:{s:4:"NAME";s:7:"IDValue";s:5:"CDATA";s:13:"9783795437329";}}}i:5;a:2:{s:4:"NAME";s:17:"ProductIdentifier";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:13:"ProductIDType";s:5:"CDATA";s:2:"15";}i:1;a:2:{s:4:"NAME";s:7:"IDValue";s:5:"CDATA";s:13:"9783795437329";}}}i:6;a:2:{s:4:"NAME";s:17:"DescriptiveDetail";s:5:"CHILD";a:42:{i:0;a:2:{s:4:"NAME";s:18:"ProductComposition";s:5:"CDATA";s:2:"00";}i:1;a:2:{s:4:"NAME";s:11:"ProductForm";s:5:"CDATA";s:2:"BB";}i:2;a:2:{s:4:"NAME";s:17:"ProductFormDetail";s:5:"CDATA";s:4:"B304";}i:3;a:2:{s:4:"NAME";s:18:"ProductFormFeature";s:5:"CHILD";a:3:{i:0;a:2:{s:4:"NAME";s:22:"ProductFormFeatureType";s:5:"CDATA";s:2:"01";}i:1;a:2:{s:4:"NAME";s:23:"ProductFormFeatureValue";s:5:"CDATA";s:3:"BLU";}i:2;a:2:{s:4:"NAME";s:29:"ProductFormFeatureDescription";s:5:"CDATA";s:3:"21%";}}}i:4;a:2:{s:4:"NAME";s:18:"ProductFormFeature";s:5:"CHILD";a:3:{i:0;a:2:{s:4:"NAME";s:22:"ProductFormFeatureType";s:5:"CDATA";s:2:"01";}i:1;a:2:{s:4:"NAME";s:23:"ProductFormFeatureValue";s:5:"CDATA";s:3:"BRN";}i:2;a:2:{s:4:"NAME";s:29:"ProductFormFeatureDescription";s:5:"CDATA";s:3:"35%";}}}i:5;a:2:{s:4:"NAME";s:18:"ProductFormFeature";s:5:"CHILD";a:3:{i:0;a:2:{s:4:"NAME";s:22:"ProductFormFeatureType";s:5:"CDATA";s:2:"01";}i:1;a:2:{s:4:"NAME";s:23:"ProductFormFeatureValue";s:5:"CDATA";s:3:"GRN";}i:2;a:2:{s:4:"NAME";s:29:"ProductFormFeatureDescription";s:5:"CDATA";s:3:"23%";}}}i:6;a:2:{s:4:"NAME";s:18:"ProductFormFeature";s:5:"CHILD";a:3:{i:0;a:2:{s:4:"NAME";s:22:"ProductFormFeatureType";s:5:"CDATA";s:2:"01";}i:1;a:2:{s:4:"NAME";s:23:"ProductFormFeatureValue";s:5:"CDATA";s:3:"ORG";}i:2;a:2:{s:4:"NAME";s:29:"ProductFormFeatureDescription";s:5:"CDATA";s:2:"6%";}}}i:7;a:2:{s:4:"NAME";s:18:"ProductFormFeature";s:5:"CHILD";a:3:{i:0;a:2:{s:4:"NAME";s:22:"ProductFormFeatureType";s:5:"CDATA";s:2:"01";}i:1;a:2:{s:4:"NAME";s:23:"ProductFormFeatureValue";s:5:"CDATA";s:3:"YEL";}i:2;a:2:{s:4:"NAME";s:29:"ProductFormFeatureDescription";s:5:"CDATA";s:2:"9%";}}}i:8;a:2:{s:4:"NAME";s:7:"Measure";s:5:"CHILD";a:3:{i:0;a:2:{s:4:"NAME";s:11:"MeasureType";s:5:"CDATA";s:2:"01";}i:1;a:2:{s:4:"NAME";s:11:"Measurement";s:5:"CDATA";s:2:"25";}i:2;a:2:{s:4:"NAME";s:15:"MeasureUnitCode";s:5:"CDATA";s:2:"cm";}}}i:9;a:2:{s:4:"NAME";s:7:"Measure";s:5:"CHILD";a:3:{i:0;a:2:{s:4:"NAME";s:11:"MeasureType";s:5:"CDATA";s:2:"02";}i:1;a:2:{s:4:"NAME";s:11:"Measurement";s:5:"CDATA";s:2:"21";}i:2;a:2:{s:4:"NAME";s:15:"MeasureUnitCode";s:5:"CDATA";s:2:"cm";}}}i:10;a:2:{s:4:"NAME";s:7:"Measure";s:5:"CHILD";a:3:{i:0;a:2:{s:4:"NAME";s:11:"MeasureType";s:5:"CDATA";s:2:"08";}i:1;a:2:{s:4:"NAME";s:11:"Measurement";s:5:"CDATA";s:3:"725";}i:2;a:2:{s:4:"NAME";s:15:"MeasureUnitCode";s:5:"CDATA";s:2:"gr";}}}i:11;a:2:{s:4:"NAME";s:20:"CountryOfManufacture";s:5:"CDATA";s:2:"DE";}i:12;a:2:{s:4:"NAME";s:21:"ProductClassification";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:25:"ProductClassificationType";s:5:"CDATA";s:2:"04";}i:1;a:2:{s:4:"NAME";s:25:"ProductClassificationCode";s:5:"CDATA";s:8:"49019900";}}}i:13;a:2:{s:4:"NAME";s:11:"TitleDetail";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:9:"TitleType";s:5:"CDATA";s:2:"01";}i:1;a:2:{s:4:"NAME";s:12:"TitleElement";s:5:"CHILD";a:3:{i:0;a:2:{s:4:"NAME";s:17:"TitleElementLevel";s:5:"CDATA";s:2:"01";}i:1;a:2:{s:4:"NAME";s:9:"TitleText";s:5:"CDATA";s:24:"Zwischen Himmel und Erde";}i:2;a:2:{s:4:"NAME";s:8:"Subtitle";s:5:"CDATA";s:37:"Die Himmelsleiter" von Billi Thanner";}}}}}i:14;a:2:{s:4:"NAME";s:11:"TitleDetail";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:9:"TitleType";s:5:"CDATA";s:2:"05";}i:1;a:2:{s:4:"NAME";s:12:"TitleElement";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:17:"TitleElementLevel";s:5:"CDATA";s:2:"01";}i:1;a:2:{s:4:"NAME";s:9:"TitleText";s:5:"CDATA";s:19:"Werz, Himmelsleiter";}}}}}i:15;a:2:{s:4:"NAME";s:11:"Contributor";s:5:"CHILD";a:6:{i:0;a:2:{s:4:"NAME";s:14:"SequenceNumber";s:5:"CDATA";s:1:"1";}i:1;a:2:{s:4:"NAME";s:15:"ContributorRole";s:5:"CDATA";s:3:"B01";}i:2;a:2:{s:4:"NAME";s:10:"PersonName";s:5:"CDATA";s:12:"Joachim Werz";}i:3;a:2:{s:4:"NAME";s:18:"PersonNameInverted";s:5:"CDATA";s:13:"Werz, Joachim";}i:4;a:2:{s:4:"NAME";s:14:"NamesBeforeKey";s:5:"CDATA";s:7:"Joachim";}i:5;a:2:{s:4:"NAME";s:8:"KeyNames";s:5:"CDATA";s:4:"Werz";}}}i:16;a:2:{s:4:"NAME";s:11:"Contributor";s:5:"CHILD";a:6:{i:0;a:2:{s:4:"NAME";s:14:"SequenceNumber";s:5:"CDATA";s:1:"2";}i:1;a:2:{s:4:"NAME";s:15:"ContributorRole";s:5:"CDATA";s:3:"B01";}i:2;a:2:{s:4:"NAME";s:10:"PersonName";s:5:"CDATA";s:10:"Toni Faber";}i:3;a:2:{s:4:"NAME";s:18:"PersonNameInverted";s:5:"CDATA";s:11:"Faber, Toni";}i:4;a:2:{s:4:"NAME";s:14:"NamesBeforeKey";s:5:"CDATA";s:4:"Toni";}i:5;a:2:{s:4:"NAME";s:8:"KeyNames";s:5:"CDATA";s:5:"Faber";}}}i:17;a:2:{s:4:"NAME";s:11:"Contributor";s:5:"CHILD";a:6:{i:0;a:2:{s:4:"NAME";s:14:"SequenceNumber";s:5:"CDATA";s:1:"3";}i:1;a:2:{s:4:"NAME";s:15:"ContributorRole";s:5:"CDATA";s:3:"A14";}i:2;a:2:{s:4:"NAME";s:10:"PersonName";s:5:"CDATA";s:13:"Wolfgang Beck";}i:3;a:2:{s:4:"NAME";s:18:"PersonNameInverted";s:5:"CDATA";s:14:"Beck, Wolfgang";}i:4;a:2:{s:4:"NAME";s:14:"NamesBeforeKey";s:5:"CDATA";s:8:"Wolfgang";}i:5;a:2:{s:4:"NAME";s:8:"KeyNames";s:5:"CDATA";s:4:"Beck";}}}i:18;a:2:{s:4:"NAME";s:11:"Contributor";s:5:"CHILD";a:6:{i:0;a:2:{s:4:"NAME";s:14:"SequenceNumber";s:5:"CDATA";s:1:"4";}i:1;a:2:{s:4:"NAME";s:15:"ContributorRole";s:5:"CDATA";s:3:"A14";}i:2;a:2:{s:4:"NAME";s:10:"PersonName";s:5:"CDATA";s:10:"Ines Lange";}i:3;a:2:{s:4:"NAME";s:18:"PersonNameInverted";s:5:"CDATA";s:11:"Lange, Ines";}i:4;a:2:{s:4:"NAME";s:14:"NamesBeforeKey";s:5:"CDATA";s:4:"Ines";}i:5;a:2:{s:4:"NAME";s:8:"KeyNames";s:5:"CDATA";s:5:"Lange";}}}i:19;a:2:{s:4:"NAME";s:11:"Contributor";s:5:"CHILD";a:6:{i:0;a:2:{s:4:"NAME";s:14:"SequenceNumber";s:5:"CDATA";s:1:"5";}i:1;a:2:{s:4:"NAME";s:15:"ContributorRole";s:5:"CDATA";s:3:"A14";}i:2;a:2:{s:4:"NAME";s:10:"PersonName";s:5:"CDATA";s:13:"Stefanie Lieb";}i:3;a:2:{s:4:"NAME";s:18:"PersonNameInverted";s:5:"CDATA";s:14:"Lieb, Stefanie";}i:4;a:2:{s:4:"NAME";s:14:"NamesBeforeKey";s:5:"CDATA";s:8:"Stefanie";}i:5;a:2:{s:4:"NAME";s:8:"KeyNames";s:5:"CDATA";s:4:"Lieb";}}}i:20;a:2:{s:4:"NAME";s:11:"Contributor";s:5:"CHILD";a:6:{i:0;a:2:{s:4:"NAME";s:14:"SequenceNumber";s:5:"CDATA";s:1:"6";}i:1;a:2:{s:4:"NAME";s:15:"ContributorRole";s:5:"CDATA";s:3:"A14";}i:2;a:2:{s:4:"NAME";s:10:"PersonName";s:5:"CDATA";s:16:"Edith Petschnigg";}i:3;a:2:{s:4:"NAME";s:18:"PersonNameInverted";s:5:"CDATA";s:17:"Petschnigg, Edith";}i:4;a:2:{s:4:"NAME";s:14:"NamesBeforeKey";s:5:"CDATA";s:5:"Edith";}i:5;a:2:{s:4:"NAME";s:8:"KeyNames";s:5:"CDATA";s:10:"Petschnigg";}}}i:21;a:2:{s:4:"NAME";s:11:"Contributor";s:5:"CHILD";a:6:{i:0;a:2:{s:4:"NAME";s:14:"SequenceNumber";s:5:"CDATA";s:1:"7";}i:1;a:2:{s:4:"NAME";s:15:"ContributorRole";s:5:"CDATA";s:3:"A14";}i:2;a:2:{s:4:"NAME";s:10:"PersonName";s:5:"CDATA";s:14:"Barbara Schedl";}i:3;a:2:{s:4:"NAME";s:18:"PersonNameInverted";s:5:"CDATA";s:15:"Schedl, Barbara";}i:4;a:2:{s:4:"NAME";s:14:"NamesBeforeKey";s:5:"CDATA";s:7:"Barbara";}i:5;a:2:{s:4:"NAME";s:8:"KeyNames";s:5:"CDATA";s:6:"Schedl";}}}i:22;a:2:{s:4:"NAME";s:11:"Contributor";s:5:"CHILD";a:6:{i:0;a:2:{s:4:"NAME";s:14:"SequenceNumber";s:5:"CDATA";s:1:"8";}i:1;a:2:{s:4:"NAME";s:15:"ContributorRole";s:5:"CDATA";s:3:"A14";}i:2;a:2:{s:4:"NAME";s:10:"PersonName";s:5:"CDATA";s:23:"Kerstin Schlögl-Flierl";}i:3;a:2:{s:4:"NAME";s:18:"PersonNameInverted";s:5:"CDATA";s:24:"Schlögl-Flierl, Kerstin";}i:4;a:2:{s:4:"NAME";s:14:"NamesBeforeKey";s:5:"CDATA";s:7:"Kerstin";}i:5;a:2:{s:4:"NAME";s:8:"KeyNames";s:5:"CDATA";s:15:"Schlögl-Flierl";}}}i:23;a:2:{s:4:"NAME";s:11:"Contributor";s:5:"CHILD";a:6:{i:0;a:2:{s:4:"NAME";s:14:"SequenceNumber";s:5:"CDATA";s:1:"9";}i:1;a:2:{s:4:"NAME";s:15:"ContributorRole";s:5:"CDATA";s:3:"A14";}i:2;a:2:{s:4:"NAME";s:10:"PersonName";s:5:"CDATA";s:12:"Joachim Werz";}i:3;a:2:{s:4:"NAME";s:18:"PersonNameInverted";s:5:"CDATA";s:13:"Werz, Joachim";}i:4;a:2:{s:4:"NAME";s:14:"NamesBeforeKey";s:5:"CDATA";s:7:"Joachim";}i:5;a:2:{s:4:"NAME";s:8:"KeyNames";s:5:"CDATA";s:4:"Werz";}}}i:24;a:2:{s:4:"NAME";s:11:"Contributor";s:5:"CHILD";a:6:{i:0;a:2:{s:4:"NAME";s:14:"SequenceNumber";s:5:"CDATA";s:2:"10";}i:1;a:2:{s:4:"NAME";s:15:"ContributorRole";s:5:"CDATA";s:3:"A14";}i:2;a:2:{s:4:"NAME";s:10:"PersonName";s:5:"CDATA";s:16:"Paul M. Zulehner";}i:3;a:2:{s:4:"NAME";s:18:"PersonNameInverted";s:5:"CDATA";s:17:"Zulehner, Paul M.";}i:4;a:2:{s:4:"NAME";s:14:"NamesBeforeKey";s:5:"CDATA";s:7:"Paul M.";}i:5;a:2:{s:4:"NAME";s:8:"KeyNames";s:5:"CDATA";s:8:"Zulehner";}}}i:25;a:2:{s:4:"NAME";s:8:"Language";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:12:"LanguageRole";s:5:"CDATA";s:2:"01";}i:1;a:2:{s:4:"NAME";s:12:"LanguageCode";s:5:"CDATA";s:3:"ger";}}}i:26;a:2:{s:4:"NAME";s:6:"Extent";s:5:"CHILD";a:3:{i:0;a:2:{s:4:"NAME";s:10:"ExtentType";s:5:"CDATA";s:2:"00";}i:1;a:2:{s:4:"NAME";s:11:"ExtentValue";s:5:"CDATA";s:3:"128";}i:2;a:2:{s:4:"NAME";s:10:"ExtentUnit";s:5:"CDATA";s:2:"03";}}}i:27;a:2:{s:4:"NAME";s:6:"Extent";s:5:"CHILD";a:3:{i:0;a:2:{s:4:"NAME";s:10:"ExtentType";s:5:"CDATA";s:2:"07";}i:1;a:2:{s:4:"NAME";s:11:"ExtentValue";s:5:"CDATA";s:3:"128";}i:2;a:2:{s:4:"NAME";s:10:"ExtentUnit";s:5:"CDATA";s:2:"03";}}}i:28;a:2:{s:4:"NAME";s:21:"NumberOfIllustrations";s:5:"CDATA";s:2:"52";}i:29;a:2:{s:4:"NAME";s:16:"AncillaryContent";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:20:"AncillaryContentType";s:5:"CDATA";s:2:"01";}i:1;a:2:{s:4:"NAME";s:6:"Number";s:5:"CDATA";s:1:"3";}}}i:30;a:2:{s:4:"NAME";s:16:"AncillaryContent";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:20:"AncillaryContentType";s:5:"CDATA";s:2:"02";}i:1;a:2:{s:4:"NAME";s:6:"Number";s:5:"CDATA";s:2:"49";}}}i:31;a:2:{s:4:"NAME";s:7:"Subject";s:5:"CHILD";a:5:{i:0;a:1:{s:4:"NAME";s:11:"MainSubject";}i:1;a:2:{s:4:"NAME";s:23:"SubjectSchemeIdentifier";s:5:"CDATA";s:2:"26";}i:2;a:2:{s:4:"NAME";s:20:"SubjectSchemeVersion";s:5:"CDATA";s:3:"2.0";}i:3;a:2:{s:4:"NAME";s:11:"SubjectCode";s:5:"CDATA";s:4:"1583";}i:4;a:2:{s:4:"NAME";s:18:"SubjectHeadingText";s:5:"CDATA";s:43:"Hardcover, Softcover / Kunst/Bildende Kunst";}}}i:32;a:3:{s:4:"NAME";s:7:"Subject";s:5:"ATTRS";a:1:{s:10:"sourcename";s:9:"Publisher";}s:5:"CHILD";a:5:{i:0;a:1:{s:4:"NAME";s:11:"MainSubject";}i:1;a:2:{s:4:"NAME";s:23:"SubjectSchemeIdentifier";s:5:"CDATA";s:2:"93";}i:2;a:2:{s:4:"NAME";s:20:"SubjectSchemeVersion";s:5:"CDATA";s:3:"1.5";}i:3;a:2:{s:4:"NAME";s:11:"SubjectCode";s:5:"CDATA";s:1:"A";}i:4;a:2:{s:4:"NAME";s:18:"SubjectHeadingText";s:5:"CDATA";s:5:"Kunst";}}}i:33;a:3:{s:4:"NAME";s:7:"Subject";s:5:"ATTRS";a:1:{s:10:"sourcename";s:3:"MVB";}s:5:"CHILD";a:4:{i:0;a:1:{s:4:"NAME";s:11:"MainSubject";}i:1;a:2:{s:4:"NAME";s:23:"SubjectSchemeIdentifier";s:5:"CDATA";s:2:"B8";}i:2;a:2:{s:4:"NAME";s:11:"SubjectCode";s:5:"CDATA";s:2:"03";}i:3;a:2:{s:4:"NAME";s:18:"SubjectHeadingText";s:5:"CDATA";s:9:"Entdecken";}}}i:34;a:3:{s:4:"NAME";s:7:"Subject";s:5:"ATTRS";a:1:{s:10:"sourcename";s:3:"DNB";}s:5:"CHILD";a:3:{i:0;a:2:{s:4:"NAME";s:23:"SubjectSchemeIdentifier";s:5:"CDATA";s:2:"18";}i:1;a:2:{s:4:"NAME";s:11:"SubjectCode";s:5:"CDATA";s:3:"700";}i:2;a:2:{s:4:"NAME";s:18:"SubjectHeadingText";s:5:"CDATA";s:33:"Künste, Bildende Kunst allgemein";}}}i:35;a:2:{s:4:"NAME";s:7:"Subject";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:23:"SubjectSchemeIdentifier";s:5:"CDATA";s:2:"20";}i:1;a:2:{s:4:"NAME";s:18:"SubjectHeadingText";s:5:"CDATA";s:4:"Wien";}}}i:36;a:2:{s:4:"NAME";s:7:"Subject";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:23:"SubjectSchemeIdentifier";s:5:"CDATA";s:2:"20";}i:1;a:2:{s:4:"NAME";s:18:"SubjectHeadingText";s:5:"CDATA";s:11:"Stephansdom";}}}i:37;a:2:{s:4:"NAME";s:7:"Subject";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:23:"SubjectSchemeIdentifier";s:5:"CDATA";s:2:"20";}i:1;a:2:{s:4:"NAME";s:18:"SubjectHeadingText";s:5:"CDATA";s:18:"Installationskunst";}}}i:38;a:2:{s:4:"NAME";s:7:"Subject";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:23:"SubjectSchemeIdentifier";s:5:"CDATA";s:2:"20";}i:1;a:2:{s:4:"NAME";s:18:"SubjectHeadingText";s:5:"CDATA";s:13:"Billi Thanner";}}}i:39;a:3:{s:4:"NAME";s:7:"Subject";s:5:"ATTRS";a:1:{s:10:"sourcename";s:9:"Publisher";}s:5:"CHILD";a:4:{i:0;a:2:{s:4:"NAME";s:23:"SubjectSchemeIdentifier";s:5:"CDATA";s:2:"93";}i:1;a:2:{s:4:"NAME";s:20:"SubjectSchemeVersion";s:5:"CDATA";s:3:"1.5";}i:2;a:2:{s:4:"NAME";s:11:"SubjectCode";s:5:"CDATA";s:4:"AFKN";}i:3;a:2:{s:4:"NAME";s:18:"SubjectHeadingText";s:5:"CDATA";s:18:"Installationskunst";}}}i:40;a:3:{s:4:"NAME";s:7:"Subject";s:5:"ATTRS";a:1:{s:10:"sourcename";s:9:"Publisher";}s:5:"CHILD";a:4:{i:0;a:2:{s:4:"NAME";s:23:"SubjectSchemeIdentifier";s:5:"CDATA";s:2:"94";}i:1;a:2:{s:4:"NAME";s:20:"SubjectSchemeVersion";s:5:"CDATA";s:3:"1.5";}i:2;a:2:{s:4:"NAME";s:11:"SubjectCode";s:5:"CDATA";s:4:"1DFA";}i:3;a:2:{s:4:"NAME";s:18:"SubjectHeadingText";s:5:"CDATA";s:11:"Österreich";}}}i:41;a:3:{s:4:"NAME";s:7:"Subject";s:5:"ATTRS";a:1:{s:10:"sourcename";s:9:"Publisher";}s:5:"CHILD";a:4:{i:0;a:2:{s:4:"NAME";s:23:"SubjectSchemeIdentifier";s:5:"CDATA";s:2:"94";}i:1;a:2:{s:4:"NAME";s:20:"SubjectSchemeVersion";s:5:"CDATA";s:3:"1.5";}i:2;a:2:{s:4:"NAME";s:11:"SubjectCode";s:5:"CDATA";s:9:"1DFA-AT-W";}i:3;a:2:{s:4:"NAME";s:18:"SubjectHeadingText";s:5:"CDATA";s:4:"Wien";}}}}}i:7;a:2:{s:4:"NAME";s:16:"CollateralDetail";s:5:"CHILD";a:5:{i:0;a:2:{s:4:"NAME";s:11:"TextContent";s:5:"CHILD";a:3:{i:0;a:2:{s:4:"NAME";s:8:"TextType";s:5:"CDATA";s:2:"03";}i:1;a:2:{s:4:"NAME";s:15:"ContentAudience";s:5:"CDATA";s:2:"00";}i:2;a:3:{s:4:"NAME";s:4:"Text";s:5:"ATTRS";a:1:{s:10:"textformat";s:2:"06";}s:5:"CDATA";s:962:"Die Himmelsleiter der Wiener Künstlerin Billi Thanner erstrahlt seit Ostern 2021 im Wiener Stephansdom und über den Dächern der österreichischen Hauptstadt. Die 36 Meter hohe leuchtende Kunstinstallation mit ihren 33 die verschiedenen Tugenden symbolisierenden Sprossen zieht für gut ein Jahr lang die Blicke der Menschen und medialen Öffentlichkeit auf sich. Auch die starke Rezeption in den sozialen Netzwerken verdeutlicht, dass Menschen von der Himmelsleiter in Zeiten der COVID-19-Pandemie berührt werden: Sie wird als ein Hoffnungszeichen zwischen Himmel und Erde wahrgenommen. Zusammen mit Dompfarrer Toni Faber und Förderin Ursula Simacek hat Billi Thanner eine außergewöhnliche und visionäre Kunstinstallation an einem herausragenden historischen Ort realisiert. Kunstwissenschaftliche, historische, theologische und ethische Perspektiven sowie eine umfangreiche Fotoserie erschließen, interpretieren und dokumentieren die Kunstinstallation.";}}}i:1;a:2:{s:4:"NAME";s:11:"TextContent";s:5:"CHILD";a:3:{i:0;a:2:{s:4:"NAME";s:8:"TextType";s:5:"CDATA";s:2:"02";}i:1;a:2:{s:4:"NAME";s:15:"ContentAudience";s:5:"CDATA";s:2:"00";}i:2;a:3:{s:4:"NAME";s:4:"Text";s:5:"ATTRS";a:1:{s:10:"textformat";s:2:"06";}s:5:"CDATA";s:669:"Die Himmelsleiter der Wiener Künstlerin Billi Thanner erstrahlt seit Ostern 2021 in und am Wiener Stephansdom. Die außergewöhnliche und vielfältige Rezeption in den Medien und sozialen Netzwerken zeigt, dass in Zeiten der COVID-19-Pandemie die Kunstinstallation als ein Hoffnungszeichen zwischen Himmel und Erde wahrgenommen wird. Kunstwissenschaftliche, historische, theologische und ethische Perspektiven sowie eine umfangreiche Fotoserie erschließen, interpretieren und dokumentieren die Kunstinstallation. Mit Beiträgen von Wolfgang Beck, Ines Lange, Stefanie Lieb, Edith Petschnigg, Barbara Schedl, Kerstin Schlögl-Flierl, Joachim Werz und Paul M. Zulehner.";}}}i:2;a:2:{s:4:"NAME";s:11:"TextContent";s:5:"CHILD";a:3:{i:0;a:2:{s:4:"NAME";s:8:"TextType";s:5:"CDATA";s:2:"12";}i:1;a:2:{s:4:"NAME";s:15:"ContentAudience";s:5:"CDATA";s:2:"00";}i:2;a:3:{s:4:"NAME";s:4:"Text";s:5:"ATTRS";a:1:{s:10:"textformat";s:2:"06";}s:5:"CDATA";s:149:"Dr. Joachim Werz (*1990) ist Kirchenhistoriker und Schriftleiter von „das münster“, der Zeitschrift für christliche Kunst und Kunstwissenschaft";}}}i:3;a:2:{s:4:"NAME";s:11:"TextContent";s:5:"CHILD";a:3:{i:0;a:2:{s:4:"NAME";s:8:"TextType";s:5:"CDATA";s:2:"04";}i:1;a:2:{s:4:"NAME";s:15:"ContentAudience";s:5:"CDATA";s:2:"00";}i:2;a:3:{s:4:"NAME";s:4:"Text";s:5:"ATTRS";a:1:{s:10:"textformat";s:2:"06";}s:5:"CDATA";s:80:"https://download.schnell-und-steiner.de/ihv/9783795437329_inhaltsverzeichnis.pdf";}}}i:4;a:2:{s:4:"NAME";s:18:"SupportingResource";s:5:"CHILD";a:4:{i:0;a:2:{s:4:"NAME";s:19:"ResourceContentType";s:5:"CDATA";s:2:"01";}i:1;a:2:{s:4:"NAME";s:15:"ContentAudience";s:5:"CDATA";s:2:"00";}i:2;a:2:{s:4:"NAME";s:12:"ResourceMode";s:5:"CDATA";s:2:"03";}i:3;a:2:{s:4:"NAME";s:15:"ResourceVersion";s:5:"CHILD";a:11:{i:0;a:2:{s:4:"NAME";s:12:"ResourceForm";s:5:"CDATA";s:2:"02";}i:1;a:2:{s:4:"NAME";s:22:"ResourceVersionFeature";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:26:"ResourceVersionFeatureType";s:5:"CDATA";s:2:"01";}i:1;a:2:{s:4:"NAME";s:12:"FeatureValue";s:5:"CDATA";s:4:"D502";}}}i:2;a:2:{s:4:"NAME";s:22:"ResourceVersionFeature";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:26:"ResourceVersionFeatureType";s:5:"CDATA";s:2:"02";}i:1;a:2:{s:4:"NAME";s:12:"FeatureValue";s:5:"CDATA";s:4:"2384";}}}i:3;a:2:{s:4:"NAME";s:22:"ResourceVersionFeature";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:26:"ResourceVersionFeatureType";s:5:"CDATA";s:2:"03";}i:1;a:2:{s:4:"NAME";s:12:"FeatureValue";s:5:"CDATA";s:4:"2000";}}}i:4;a:2:{s:4:"NAME";s:22:"ResourceVersionFeature";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:26:"ResourceVersionFeatureType";s:5:"CDATA";s:2:"04";}i:1;a:2:{s:4:"NAME";s:12:"FeatureValue";s:5:"CDATA";s:17:"9783795437329.jpg";}}}i:5;a:2:{s:4:"NAME";s:22:"ResourceVersionFeature";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:26:"ResourceVersionFeatureType";s:5:"CDATA";s:2:"05";}i:1;a:2:{s:4:"NAME";s:12:"FeatureValue";s:5:"CDATA";s:4:"4,84";}}}i:6;a:2:{s:4:"NAME";s:22:"ResourceVersionFeature";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:26:"ResourceVersionFeatureType";s:5:"CDATA";s:2:"06";}i:1;a:2:{s:4:"NAME";s:12:"FeatureValue";s:5:"CDATA";s:32:"6832f013a7006b8c25067ebf7c2a7f7b";}}}i:7;a:2:{s:4:"NAME";s:22:"ResourceVersionFeature";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:26:"ResourceVersionFeatureType";s:5:"CDATA";s:2:"07";}i:1;a:2:{s:4:"NAME";s:12:"FeatureValue";s:5:"CDATA";s:6:"744782";}}}i:8;a:2:{s:4:"NAME";s:22:"ResourceVersionFeature";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:26:"ResourceVersionFeatureType";s:5:"CDATA";s:2:"08";}i:1;a:2:{s:4:"NAME";s:12:"FeatureValue";s:5:"CDATA";s:64:"e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855";}}}i:9;a:2:{s:4:"NAME";s:12:"ResourceLink";s:5:"CDATA";s:47:"https://api.vlb.de/api/v1/cover/9783795437329/m";}i:10;a:2:{s:4:"NAME";s:11:"ContentDate";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:15:"ContentDateRole";s:5:"CDATA";s:2:"17";}i:1;a:3:{s:4:"NAME";s:4:"Date";s:5:"ATTRS";a:1:{s:10:"dateformat";s:2:"00";}s:5:"CDATA";s:8:"20230516";}}}}}}}}}i:8;a:2:{s:4:"NAME";s:16:"PublishingDetail";s:5:"CHILD";a:3:{i:0;a:2:{s:4:"NAME";s:9:"Publisher";s:5:"CHILD";a:4:{i:0;a:2:{s:4:"NAME";s:14:"PublishingRole";s:5:"CDATA";s:2:"01";}i:1;a:2:{s:4:"NAME";s:19:"PublisherIdentifier";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:15:"PublisherIDType";s:5:"CDATA";s:2:"05";}i:1;a:2:{s:4:"NAME";s:7:"IDValue";s:5:"CDATA";s:7:"5108870";}}}i:2;a:2:{s:4:"NAME";s:13:"PublisherName";s:5:"CDATA";s:17:"Schnell & Steiner";}i:3;a:2:{s:4:"NAME";s:7:"Website";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:11:"WebsiteRole";s:5:"CDATA";s:2:"01";}i:1;a:2:{s:4:"NAME";s:11:"WebsiteLink";s:5:"CDATA";s:34:"https://www.schnell-und-steiner.de";}}}}}i:1;a:2:{s:4:"NAME";s:16:"PublishingStatus";s:5:"CDATA";s:2:"04";}i:2;a:2:{s:4:"NAME";s:14:"PublishingDate";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:18:"PublishingDateRole";s:5:"CDATA";s:2:"01";}i:1;a:3:{s:4:"NAME";s:4:"Date";s:5:"ATTRS";a:1:{s:10:"dateformat";s:2:"00";}s:5:"CDATA";s:8:"20220510";}}}}}i:9;a:2:{s:4:"NAME";s:13:"ProductSupply";s:5:"CHILD";a:1:{i:0;a:2:{s:4:"NAME";s:12:"SupplyDetail";s:5:"CHILD";a:6:{i:0;a:2:{s:4:"NAME";s:8:"Supplier";s:5:"CHILD";a:3:{i:0;a:2:{s:4:"NAME";s:12:"SupplierRole";s:5:"CDATA";s:2:"01";}i:1;a:2:{s:4:"NAME";s:18:"SupplierIdentifier";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:14:"SupplierIDType";s:5:"CDATA";s:2:"05";}i:1;a:2:{s:4:"NAME";s:7:"IDValue";s:5:"CDATA";s:7:"5108870";}}}i:2;a:2:{s:4:"NAME";s:12:"SupplierName";s:5:"CDATA";s:17:"Schnell & Steiner";}}}i:1;a:2:{s:4:"NAME";s:19:"ProductAvailability";s:5:"CDATA";s:2:"20";}i:2;a:2:{s:4:"NAME";s:5:"Price";s:5:"CHILD";a:6:{i:0;a:2:{s:4:"NAME";s:9:"PriceType";s:5:"CDATA";s:2:"04";}i:1;a:2:{s:4:"NAME";s:11:"PriceStatus";s:5:"CDATA";s:2:"02";}i:2;a:2:{s:4:"NAME";s:11:"PriceAmount";s:5:"CDATA";s:5:"25.70";}i:3;a:2:{s:4:"NAME";s:3:"Tax";s:5:"CHILD";a:3:{i:0;a:2:{s:4:"NAME";s:7:"TaxType";s:5:"CDATA";s:2:"01";}i:1;a:2:{s:4:"NAME";s:11:"TaxRateCode";s:5:"CDATA";s:1:"R";}i:2;a:2:{s:4:"NAME";s:14:"TaxRatePercent";s:5:"CDATA";s:2:"10";}}}i:4;a:2:{s:4:"NAME";s:12:"CurrencyCode";s:5:"CDATA";s:3:"EUR";}i:5;a:2:{s:4:"NAME";s:9:"Territory";s:5:"CHILD";a:1:{i:0;a:2:{s:4:"NAME";s:17:"CountriesIncluded";s:5:"CDATA";s:2:"AT";}}}}}i:3;a:2:{s:4:"NAME";s:5:"Price";s:5:"CHILD";a:6:{i:0;a:2:{s:4:"NAME";s:9:"PriceType";s:5:"CDATA";s:2:"02";}i:1;a:2:{s:4:"NAME";s:11:"PriceStatus";s:5:"CDATA";s:2:"02";}i:2;a:2:{s:4:"NAME";s:11:"PriceAmount";s:5:"CDATA";s:5:"25.70";}i:3;a:2:{s:4:"NAME";s:3:"Tax";s:5:"CHILD";a:3:{i:0;a:2:{s:4:"NAME";s:7:"TaxType";s:5:"CDATA";s:2:"01";}i:1;a:2:{s:4:"NAME";s:11:"TaxRateCode";s:5:"CDATA";s:1:"R";}i:2;a:2:{s:4:"NAME";s:14:"TaxRatePercent";s:5:"CDATA";s:3:"2.5";}}}i:4;a:2:{s:4:"NAME";s:12:"CurrencyCode";s:5:"CDATA";s:3:"CHF";}i:5;a:2:{s:4:"NAME";s:9:"Territory";s:5:"CHILD";a:1:{i:0;a:2:{s:4:"NAME";s:17:"CountriesIncluded";s:5:"CDATA";s:2:"CH";}}}}}i:4;a:2:{s:4:"NAME";s:5:"Price";s:5:"CHILD";a:6:{i:0;a:2:{s:4:"NAME";s:9:"PriceType";s:5:"CDATA";s:2:"04";}i:1;a:2:{s:4:"NAME";s:11:"PriceStatus";s:5:"CDATA";s:2:"02";}i:2;a:2:{s:4:"NAME";s:11:"PriceAmount";s:5:"CDATA";s:5:"25.00";}i:3;a:2:{s:4:"NAME";s:3:"Tax";s:5:"CHILD";a:3:{i:0;a:2:{s:4:"NAME";s:7:"TaxType";s:5:"CDATA";s:2:"01";}i:1;a:2:{s:4:"NAME";s:11:"TaxRateCode";s:5:"CDATA";s:1:"R";}i:2;a:2:{s:4:"NAME";s:14:"TaxRatePercent";s:5:"CDATA";s:1:"7";}}}i:4;a:2:{s:4:"NAME";s:12:"CurrencyCode";s:5:"CDATA";s:3:"EUR";}i:5;a:2:{s:4:"NAME";s:9:"Territory";s:5:"CHILD";a:1:{i:0;a:2:{s:4:"NAME";s:17:"CountriesIncluded";s:5:"CDATA";s:2:"DE";}}}}}i:5;a:2:{s:4:"NAME";s:5:"Price";s:5:"CHILD";a:5:{i:0;a:2:{s:4:"NAME";s:9:"PriceType";s:5:"CDATA";s:2:"02";}i:1;a:2:{s:4:"NAME";s:11:"PriceStatus";s:5:"CDATA";s:2:"02";}i:2;a:2:{s:4:"NAME";s:11:"PriceAmount";s:5:"CDATA";s:5:"28.10";}i:3;a:2:{s:4:"NAME";s:12:"CurrencyCode";s:5:"CDATA";s:3:"USD";}i:4;a:2:{s:4:"NAME";s:9:"Territory";s:5:"CHILD";a:1:{i:0;a:2:{s:4:"NAME";s:17:"CountriesIncluded";s:5:"CDATA";s:2:"US";}}}}}}}}}}}
9783319498119 Wolfgang Ahrendt Programming and Software Engineering; Lecture Notes in Computer Science; Deductive Software Verification – The KeY Book From Theory to Practice Springer; Springer International Publishing 702 2016-12-21 Cham; CH BC; Software Engineering; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; deductive verification; first-order logic; formal methods; semantic constraints; software development; case studies; compilation; debugging tool; formal software analysis; formal specification; formal verification; integer semantics; partial evaluation; program transformation; programming language; specification language; symbolic execution; test case generation; visualization; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Programming Languages, Compilers, Interpreters; Artificial Intelligence; Software Engineering; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Compilers and Interpreters; Artificial Intelligence; Theoretische Informatik; Compiler und Übersetzer; Künstliche Intelligenz; EA 10934 eng 120.99 EUR 155 235 NL a:3:{s:4:"NAME";s:7:"Product";s:5:"ATTRS";a:1:{s:9:"datestamp";s:8:"20230404";}s:5:"CHILD";a:13:{i:0;a:2:{s:4:"NAME";s:15:"RecordReference";s:5:"CDATA";s:32:"53c790fa53574693bff24917d4dfd382";}i:1;a:2:{s:4:"NAME";s:16:"NotificationType";s:5:"CDATA";s:2:"03";}i:2;a:2:{s:4:"NAME";s:17:"ProductIdentifier";s:5:"CHILD";a:3:{i:0;a:2:{s:4:"NAME";s:13:"ProductIDType";s:5:"CDATA";s:2:"01";}i:1;a:2:{s:4:"NAME";s:10:"IDTypeName";s:5:"CDATA";s:19:"Publishers Order No";}i:2;a:2:{s:4:"NAME";s:7:"IDValue";s:5:"CDATA";s:17:"978-3-319-49811-9";}}}i:3;a:2:{s:4:"NAME";s:17:"ProductIdentifier";s:5:"CHILD";a:3:{i:0;a:2:{s:4:"NAME";s:13:"ProductIDType";s:5:"CDATA";s:2:"01";}i:1;a:2:{s:4:"NAME";s:10:"IDTypeName";s:5:"CDATA";s:19:"Publishers Order No";}i:2;a:2:{s:4:"NAME";s:7:"IDValue";s:5:"CDATA";s:8:"86897022";}}}i:4;a:2:{s:4:"NAME";s:17:"ProductIdentifier";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:13:"ProductIDType";s:5:"CDATA";s:2:"02";}i:1;a:2:{s:4:"NAME";s:7:"IDValue";s:5:"CDATA";s:10:"3319498118";}}}i:5;a:2:{s:4:"NAME";s:17:"ProductIdentifier";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:13:"ProductIDType";s:5:"CDATA";s:2:"03";}i:1;a:2:{s:4:"NAME";s:7:"IDValue";s:5:"CDATA";s:13:"9783319498119";}}}i:6;a:2:{s:4:"NAME";s:17:"ProductIdentifier";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:13:"ProductIDType";s:5:"CDATA";s:2:"06";}i:1;a:2:{s:4:"NAME";s:7:"IDValue";s:5:"CDATA";s:25:"10.1007/978-3-319-49812-6";}}}i:7;a:2:{s:4:"NAME";s:17:"ProductIdentifier";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:13:"ProductIDType";s:5:"CDATA";s:2:"15";}i:1;a:2:{s:4:"NAME";s:7:"IDValue";s:5:"CDATA";s:13:"9783319498119";}}}i:8;a:2:{s:4:"NAME";s:17:"DescriptiveDetail";s:5:"CHILD";a:73:{i:0;a:2:{s:4:"NAME";s:18:"ProductComposition";s:5:"CDATA";s:2:"00";}i:1;a:2:{s:4:"NAME";s:11:"ProductForm";s:5:"CDATA";s:2:"BC";}i:2;a:2:{s:4:"NAME";s:18:"ProductFormFeature";s:5:"CHILD";a:3:{i:0;a:2:{s:4:"NAME";s:22:"ProductFormFeatureType";s:5:"CDATA";s:2:"01";}i:1;a:2:{s:4:"NAME";s:23:"ProductFormFeatureValue";s:5:"CDATA";s:3:"BRN";}i:2;a:2:{s:4:"NAME";s:29:"ProductFormFeatureDescription";s:5:"CDATA";s:3:"32%";}}}i:3;a:2:{s:4:"NAME";s:18:"ProductFormFeature";s:5:"CHILD";a:3:{i:0;a:2:{s:4:"NAME";s:22:"ProductFormFeatureType";s:5:"CDATA";s:2:"01";}i:1;a:2:{s:4:"NAME";s:23:"ProductFormFeatureValue";s:5:"CDATA";s:3:"PNK";}i:2;a:2:{s:4:"NAME";s:29:"ProductFormFeatureDescription";s:5:"CDATA";s:3:"10%";}}}i:4;a:2:{s:4:"NAME";s:18:"ProductFormFeature";s:5:"CHILD";a:3:{i:0;a:2:{s:4:"NAME";s:22:"ProductFormFeatureType";s:5:"CDATA";s:2:"01";}i:1;a:2:{s:4:"NAME";s:23:"ProductFormFeatureValue";s:5:"CDATA";s:3:"SLV";}i:2;a:2:{s:4:"NAME";s:29:"ProductFormFeatureDescription";s:5:"CDATA";s:3:"45%";}}}i:5;a:2:{s:4:"NAME";s:18:"ProductFormFeature";s:5:"CHILD";a:3:{i:0;a:2:{s:4:"NAME";s:22:"ProductFormFeatureType";s:5:"CDATA";s:2:"01";}i:1;a:2:{s:4:"NAME";s:23:"ProductFormFeatureValue";s:5:"CDATA";s:3:"WHI";}i:2;a:2:{s:4:"NAME";s:29:"ProductFormFeatureDescription";s:5:"CDATA";s:3:"12%";}}}i:6;a:2:{s:4:"NAME";s:7:"Measure";s:5:"CHILD";a:3:{i:0;a:2:{s:4:"NAME";s:11:"MeasureType";s:5:"CDATA";s:2:"01";}i:1;a:2:{s:4:"NAME";s:11:"Measurement";s:5:"CDATA";s:4:"23.5";}i:2;a:2:{s:4:"NAME";s:15:"MeasureUnitCode";s:5:"CDATA";s:2:"cm";}}}i:7;a:2:{s:4:"NAME";s:7:"Measure";s:5:"CHILD";a:3:{i:0;a:2:{s:4:"NAME";s:11:"MeasureType";s:5:"CDATA";s:2:"02";}i:1;a:2:{s:4:"NAME";s:11:"Measurement";s:5:"CDATA";s:4:"15.5";}i:2;a:2:{s:4:"NAME";s:15:"MeasureUnitCode";s:5:"CDATA";s:2:"cm";}}}i:8;a:2:{s:4:"NAME";s:7:"Measure";s:5:"CHILD";a:3:{i:0;a:2:{s:4:"NAME";s:11:"MeasureType";s:5:"CDATA";s:2:"08";}i:1;a:2:{s:4:"NAME";s:11:"Measurement";s:5:"CDATA";s:5:"10934";}i:2;a:2:{s:4:"NAME";s:15:"MeasureUnitCode";s:5:"CDATA";s:2:"gr";}}}i:9;a:2:{s:4:"NAME";s:20:"CountryOfManufacture";s:5:"CDATA";s:2:"NL";}i:10;a:2:{s:4:"NAME";s:21:"ProductClassification";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:25:"ProductClassificationType";s:5:"CDATA";s:2:"04";}i:1;a:2:{s:4:"NAME";s:25:"ProductClassificationCode";s:5:"CDATA";s:8:"49019900";}}}i:11;a:2:{s:4:"NAME";s:10:"Collection";s:5:"CHILD";a:3:{i:0;a:2:{s:4:"NAME";s:14:"CollectionType";s:5:"CDATA";s:2:"10";}i:1;a:2:{s:4:"NAME";s:20:"CollectionIdentifier";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:16:"CollectionIDType";s:5:"CDATA";s:2:"04";}i:1;a:2:{s:4:"NAME";s:7:"IDValue";s:5:"CDATA";s:5:"CR918";}}}i:2;a:2:{s:4:"NAME";s:11:"TitleDetail";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:9:"TitleType";s:5:"CDATA";s:2:"01";}i:1;a:2:{s:4:"NAME";s:12:"TitleElement";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:17:"TitleElementLevel";s:5:"CDATA";s:2:"02";}i:1;a:2:{s:4:"NAME";s:9:"TitleText";s:5:"CDATA";s:36:"Programming and Software Engineering";}}}}}}}i:12;a:2:{s:4:"NAME";s:10:"Collection";s:5:"CHILD";a:3:{i:0;a:2:{s:4:"NAME";s:14:"CollectionType";s:5:"CDATA";s:2:"10";}i:1;a:2:{s:4:"NAME";s:20:"CollectionIdentifier";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:16:"CollectionIDType";s:5:"CDATA";s:2:"04";}i:1;a:2:{s:4:"NAME";s:7:"IDValue";s:5:"CDATA";s:5:"WFZ34";}}}i:2;a:2:{s:4:"NAME";s:11:"TitleDetail";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:9:"TitleType";s:5:"CDATA";s:2:"01";}i:1;a:2:{s:4:"NAME";s:12:"TitleElement";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:17:"TitleElementLevel";s:5:"CDATA";s:2:"02";}i:1;a:2:{s:4:"NAME";s:9:"TitleText";s:5:"CDATA";s:33:"Lecture Notes in Computer Science";}}}}}}}i:13;a:2:{s:4:"NAME";s:11:"TitleDetail";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:9:"TitleType";s:5:"CDATA";s:2:"01";}i:1;a:2:{s:4:"NAME";s:12:"TitleElement";s:5:"CHILD";a:3:{i:0;a:2:{s:4:"NAME";s:17:"TitleElementLevel";s:5:"CDATA";s:2:"01";}i:1;a:2:{s:4:"NAME";s:9:"TitleText";s:5:"CDATA";s:48:"Deductive Software Verification – The KeY Book";}i:2;a:2:{s:4:"NAME";s:8:"Subtitle";s:5:"CDATA";s:23:"From Theory to Practice";}}}}}i:14;a:2:{s:4:"NAME";s:11:"Contributor";s:5:"CHILD";a:6:{i:0;a:2:{s:4:"NAME";s:14:"SequenceNumber";s:5:"CDATA";s:1:"1";}i:1;a:2:{s:4:"NAME";s:15:"ContributorRole";s:5:"CDATA";s:3:"B01";}i:2;a:2:{s:4:"NAME";s:10:"PersonName";s:5:"CDATA";s:16:"Wolfgang Ahrendt";}i:3;a:2:{s:4:"NAME";s:18:"PersonNameInverted";s:5:"CDATA";s:17:"Ahrendt, Wolfgang";}i:4;a:2:{s:4:"NAME";s:14:"NamesBeforeKey";s:5:"CDATA";s:8:"Wolfgang";}i:5;a:2:{s:4:"NAME";s:8:"KeyNames";s:5:"CDATA";s:7:"Ahrendt";}}}i:15;a:2:{s:4:"NAME";s:11:"Contributor";s:5:"CHILD";a:6:{i:0;a:2:{s:4:"NAME";s:14:"SequenceNumber";s:5:"CDATA";s:1:"2";}i:1;a:2:{s:4:"NAME";s:15:"ContributorRole";s:5:"CDATA";s:3:"B01";}i:2;a:2:{s:4:"NAME";s:10:"PersonName";s:5:"CDATA";s:16:"Bernhard Beckert";}i:3;a:2:{s:4:"NAME";s:18:"PersonNameInverted";s:5:"CDATA";s:17:"Beckert, Bernhard";}i:4;a:2:{s:4:"NAME";s:14:"NamesBeforeKey";s:5:"CDATA";s:8:"Bernhard";}i:5;a:2:{s:4:"NAME";s:8:"KeyNames";s:5:"CDATA";s:7:"Beckert";}}}i:16;a:2:{s:4:"NAME";s:11:"Contributor";s:5:"CHILD";a:6:{i:0;a:2:{s:4:"NAME";s:14:"SequenceNumber";s:5:"CDATA";s:1:"3";}i:1;a:2:{s:4:"NAME";s:15:"ContributorRole";s:5:"CDATA";s:3:"B01";}i:2;a:2:{s:4:"NAME";s:10:"PersonName";s:5:"CDATA";s:13:"Richard Bubel";}i:3;a:2:{s:4:"NAME";s:18:"PersonNameInverted";s:5:"CDATA";s:14:"Bubel, Richard";}i:4;a:2:{s:4:"NAME";s:14:"NamesBeforeKey";s:5:"CDATA";s:7:"Richard";}i:5;a:2:{s:4:"NAME";s:8:"KeyNames";s:5:"CDATA";s:5:"Bubel";}}}i:17;a:2:{s:4:"NAME";s:11:"Contributor";s:5:"CHILD";a:6:{i:0;a:2:{s:4:"NAME";s:14:"SequenceNumber";s:5:"CDATA";s:1:"4";}i:1;a:2:{s:4:"NAME";s:15:"ContributorRole";s:5:"CDATA";s:3:"B01";}i:2;a:2:{s:4:"NAME";s:10:"PersonName";s:5:"CDATA";s:14:"Reiner Hähnle";}i:3;a:2:{s:4:"NAME";s:18:"PersonNameInverted";s:5:"CDATA";s:15:"Hähnle, Reiner";}i:4;a:2:{s:4:"NAME";s:14:"NamesBeforeKey";s:5:"CDATA";s:6:"Reiner";}i:5;a:2:{s:4:"NAME";s:8:"KeyNames";s:5:"CDATA";s:7:"Hähnle";}}}i:18;a:2:{s:4:"NAME";s:11:"Contributor";s:5:"CHILD";a:6:{i:0;a:2:{s:4:"NAME";s:14:"SequenceNumber";s:5:"CDATA";s:1:"5";}i:1;a:2:{s:4:"NAME";s:15:"ContributorRole";s:5:"CDATA";s:3:"B01";}i:2;a:2:{s:4:"NAME";s:10:"PersonName";s:5:"CDATA";s:16:"Peter H. Schmitt";}i:3;a:2:{s:4:"NAME";s:18:"PersonNameInverted";s:5:"CDATA";s:17:"Schmitt, Peter H.";}i:4;a:2:{s:4:"NAME";s:14:"NamesBeforeKey";s:5:"CDATA";s:8:"Peter H.";}i:5;a:2:{s:4:"NAME";s:8:"KeyNames";s:5:"CDATA";s:7:"Schmitt";}}}i:19;a:2:{s:4:"NAME";s:11:"Contributor";s:5:"CHILD";a:6:{i:0;a:2:{s:4:"NAME";s:14:"SequenceNumber";s:5:"CDATA";s:1:"6";}i:1;a:2:{s:4:"NAME";s:15:"ContributorRole";s:5:"CDATA";s:3:"B01";}i:2;a:2:{s:4:"NAME";s:10:"PersonName";s:5:"CDATA";s:15:"Mattias Ulbrich";}i:3;a:2:{s:4:"NAME";s:18:"PersonNameInverted";s:5:"CDATA";s:16:"Ulbrich, Mattias";}i:4;a:2:{s:4:"NAME";s:14:"NamesBeforeKey";s:5:"CDATA";s:7:"Mattias";}i:5;a:2:{s:4:"NAME";s:8:"KeyNames";s:5:"CDATA";s:7:"Ulbrich";}}}i:20;a:2:{s:4:"NAME";s:13:"EditionNumber";s:5:"CDATA";s:1:"1";}i:21;a:2:{s:4:"NAME";s:16:"EditionStatement";s:5:"CDATA";s:12:"1st ed. 2016";}i:22;a:2:{s:4:"NAME";s:8:"Language";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:12:"LanguageRole";s:5:"CDATA";s:2:"01";}i:1;a:2:{s:4:"NAME";s:12:"LanguageCode";s:5:"CDATA";s:3:"eng";}}}i:23;a:2:{s:4:"NAME";s:6:"Extent";s:5:"CHILD";a:3:{i:0;a:2:{s:4:"NAME";s:10:"ExtentType";s:5:"CDATA";s:2:"00";}i:1;a:2:{s:4:"NAME";s:11:"ExtentValue";s:5:"CDATA";s:3:"702";}i:2;a:2:{s:4:"NAME";s:10:"ExtentUnit";s:5:"CDATA";s:2:"03";}}}i:24;a:2:{s:4:"NAME";s:6:"Extent";s:5:"CHILD";a:4:{i:0;a:2:{s:4:"NAME";s:10:"ExtentType";s:5:"CDATA";s:2:"03";}i:1;a:2:{s:4:"NAME";s:11:"ExtentValue";s:5:"CDATA";s:2:"32";}i:2;a:2:{s:4:"NAME";s:16:"ExtentValueRoman";s:5:"CDATA";s:5:"XXXII";}i:3;a:2:{s:4:"NAME";s:10:"ExtentUnit";s:5:"CDATA";s:2:"03";}}}i:25;a:2:{s:4:"NAME";s:17:"IllustrationsNote";s:5:"CDATA";s:24:"XXXII, 702 p. 110 illus.";}i:26;a:2:{s:4:"NAME";s:16:"AncillaryContent";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:20:"AncillaryContentType";s:5:"CDATA";s:2:"01";}i:1;a:2:{s:4:"NAME";s:6:"Number";s:5:"CDATA";s:3:"110";}}}i:27;a:2:{s:4:"NAME";s:7:"Subject";s:5:"CHILD";a:4:{i:0;a:1:{s:4:"NAME";s:11:"MainSubject";}i:1;a:2:{s:4:"NAME";s:23:"SubjectSchemeIdentifier";s:5:"CDATA";s:2:"10";}i:2;a:2:{s:4:"NAME";s:20:"SubjectSchemeVersion";s:5:"CDATA";s:4:"2009";}i:3;a:2:{s:4:"NAME";s:11:"SubjectCode";s:5:"CDATA";s:9:"COM051230";}}}i:28;a:2:{s:4:"NAME";s:7:"Subject";s:5:"CHILD";a:4:{i:0;a:1:{s:4:"NAME";s:11:"MainSubject";}i:1;a:2:{s:4:"NAME";s:23:"SubjectSchemeIdentifier";s:5:"CDATA";s:2:"12";}i:2;a:2:{s:4:"NAME";s:20:"SubjectSchemeVersion";s:5:"CDATA";s:3:"2.0";}i:3;a:2:{s:4:"NAME";s:11:"SubjectCode";s:5:"CDATA";s:3:"UMZ";}}}i:29;a:2:{s:4:"NAME";s:7:"Subject";s:5:"CHILD";a:5:{i:0;a:1:{s:4:"NAME";s:11:"MainSubject";}i:1;a:2:{s:4:"NAME";s:23:"SubjectSchemeIdentifier";s:5:"CDATA";s:2:"24";}i:2;a:2:{s:4:"NAME";s:17:"SubjectSchemeName";s:5:"CDATA";s:35:"Springer Nature Product Market Code";}i:3;a:2:{s:4:"NAME";s:11:"SubjectCode";s:5:"CDATA";s:8:"SCI14029";}i:4;a:2:{s:4:"NAME";s:18:"SubjectHeadingText";s:5:"CDATA";s:20:"Software Engineering";}}}i:30;a:2:{s:4:"NAME";s:7:"Subject";s:5:"CHILD";a:5:{i:0;a:1:{s:4:"NAME";s:11:"MainSubject";}i:1;a:2:{s:4:"NAME";s:23:"SubjectSchemeIdentifier";s:5:"CDATA";s:2:"26";}i:2;a:2:{s:4:"NAME";s:20:"SubjectSchemeVersion";s:5:"CDATA";s:3:"2.0";}i:3;a:2:{s:4:"NAME";s:11:"SubjectCode";s:5:"CDATA";s:4:"1632";}i:4;a:2:{s:4:"NAME";s:18:"SubjectHeadingText";s:5:"CDATA";s:49:"Hardcover, Softcover / Informatik, EDV/Informatik";}}}i:31;a:3:{s:4:"NAME";s:7:"Subject";s:5:"ATTRS";a:1:{s:10:"sourcename";s:9:"Publisher";}s:5:"CHILD";a:5:{i:0;a:1:{s:4:"NAME";s:11:"MainSubject";}i:1;a:2:{s:4:"NAME";s:23:"SubjectSchemeIdentifier";s:5:"CDATA";s:2:"93";}i:2;a:2:{s:4:"NAME";s:20:"SubjectSchemeVersion";s:5:"CDATA";s:3:"1.5";}i:3;a:2:{s:4:"NAME";s:11:"SubjectCode";s:5:"CDATA";s:3:"UMZ";}i:4;a:2:{s:4:"NAME";s:18:"SubjectHeadingText";s:5:"CDATA";s:20:"Software Engineering";}}}i:32;a:3:{s:4:"NAME";s:7:"Subject";s:5:"ATTRS";a:1:{s:10:"sourcename";s:3:"MVB";}s:5:"CHILD";a:4:{i:0;a:1:{s:4:"NAME";s:11:"MainSubject";}i:1;a:2:{s:4:"NAME";s:23:"SubjectSchemeIdentifier";s:5:"CDATA";s:2:"B8";}i:2;a:2:{s:4:"NAME";s:11:"SubjectCode";s:5:"CDATA";s:2:"10";}i:3;a:2:{s:4:"NAME";s:18:"SubjectHeadingText";s:5:"CDATA";s:9:"Verstehen";}}}i:33;a:2:{s:4:"NAME";s:7:"Subject";s:5:"CHILD";a:3:{i:0;a:2:{s:4:"NAME";s:23:"SubjectSchemeIdentifier";s:5:"CDATA";s:2:"10";}i:1;a:2:{s:4:"NAME";s:20:"SubjectSchemeVersion";s:5:"CDATA";s:4:"2009";}i:2;a:2:{s:4:"NAME";s:11:"SubjectCode";s:5:"CDATA";s:9:"COM051000";}}}i:34;a:2:{s:4:"NAME";s:7:"Subject";s:5:"CHILD";a:3:{i:0;a:2:{s:4:"NAME";s:23:"SubjectSchemeIdentifier";s:5:"CDATA";s:2:"10";}i:1;a:2:{s:4:"NAME";s:20:"SubjectSchemeVersion";s:5:"CDATA";s:4:"2009";}i:2;a:2:{s:4:"NAME";s:11:"SubjectCode";s:5:"CDATA";s:9:"MAT018000";}}}i:35;a:2:{s:4:"NAME";s:7:"Subject";s:5:"CHILD";a:3:{i:0;a:2:{s:4:"NAME";s:23:"SubjectSchemeIdentifier";s:5:"CDATA";s:2:"10";}i:1;a:2:{s:4:"NAME";s:20:"SubjectSchemeVersion";s:5:"CDATA";s:4:"2009";}i:2;a:2:{s:4:"NAME";s:11:"SubjectCode";s:5:"CDATA";s:9:"COM051010";}}}i:36;a:2:{s:4:"NAME";s:7:"Subject";s:5:"CHILD";a:3:{i:0;a:2:{s:4:"NAME";s:23:"SubjectSchemeIdentifier";s:5:"CDATA";s:2:"10";}i:1;a:2:{s:4:"NAME";s:20:"SubjectSchemeVersion";s:5:"CDATA";s:4:"2009";}i:2;a:2:{s:4:"NAME";s:11:"SubjectCode";s:5:"CDATA";s:9:"COM004000";}}}i:37;a:2:{s:4:"NAME";s:7:"Subject";s:5:"CHILD";a:3:{i:0;a:2:{s:4:"NAME";s:23:"SubjectSchemeIdentifier";s:5:"CDATA";s:2:"12";}i:1;a:2:{s:4:"NAME";s:20:"SubjectSchemeVersion";s:5:"CDATA";s:3:"2.0";}i:2;a:2:{s:4:"NAME";s:11:"SubjectCode";s:5:"CDATA";s:2:"UM";}}}i:38;a:2:{s:4:"NAME";s:7:"Subject";s:5:"CHILD";a:3:{i:0;a:2:{s:4:"NAME";s:23:"SubjectSchemeIdentifier";s:5:"CDATA";s:2:"12";}i:1;a:2:{s:4:"NAME";s:20:"SubjectSchemeVersion";s:5:"CDATA";s:3:"2.0";}i:2;a:2:{s:4:"NAME";s:11:"SubjectCode";s:5:"CDATA";s:3:"UYA";}}}i:39;a:2:{s:4:"NAME";s:7:"Subject";s:5:"CHILD";a:3:{i:0;a:2:{s:4:"NAME";s:23:"SubjectSchemeIdentifier";s:5:"CDATA";s:2:"12";}i:1;a:2:{s:4:"NAME";s:20:"SubjectSchemeVersion";s:5:"CDATA";s:3:"2.0";}i:2;a:2:{s:4:"NAME";s:11:"SubjectCode";s:5:"CDATA";s:3:"UMX";}}}i:40;a:2:{s:4:"NAME";s:7:"Subject";s:5:"CHILD";a:3:{i:0;a:2:{s:4:"NAME";s:23:"SubjectSchemeIdentifier";s:5:"CDATA";s:2:"12";}i:1;a:2:{s:4:"NAME";s:20:"SubjectSchemeVersion";s:5:"CDATA";s:3:"2.0";}i:2;a:2:{s:4:"NAME";s:11:"SubjectCode";s:5:"CDATA";s:3:"UYQ";}}}i:41;a:2:{s:4:"NAME";s:7:"Subject";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:23:"SubjectSchemeIdentifier";s:5:"CDATA";s:2:"20";}i:1;a:2:{s:4:"NAME";s:18:"SubjectHeadingText";s:5:"CDATA";s:22:"deductive verification";}}}i:42;a:2:{s:4:"NAME";s:7:"Subject";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:23:"SubjectSchemeIdentifier";s:5:"CDATA";s:2:"20";}i:1;a:2:{s:4:"NAME";s:18:"SubjectHeadingText";s:5:"CDATA";s:17:"first-order logic";}}}i:43;a:2:{s:4:"NAME";s:7:"Subject";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:23:"SubjectSchemeIdentifier";s:5:"CDATA";s:2:"20";}i:1;a:2:{s:4:"NAME";s:18:"SubjectHeadingText";s:5:"CDATA";s:14:"formal methods";}}}i:44;a:2:{s:4:"NAME";s:7:"Subject";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:23:"SubjectSchemeIdentifier";s:5:"CDATA";s:2:"20";}i:1;a:2:{s:4:"NAME";s:18:"SubjectHeadingText";s:5:"CDATA";s:20:"semantic constraints";}}}i:45;a:2:{s:4:"NAME";s:7:"Subject";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:23:"SubjectSchemeIdentifier";s:5:"CDATA";s:2:"20";}i:1;a:2:{s:4:"NAME";s:18:"SubjectHeadingText";s:5:"CDATA";s:20:"software development";}}}i:46;a:2:{s:4:"NAME";s:7:"Subject";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:23:"SubjectSchemeIdentifier";s:5:"CDATA";s:2:"20";}i:1;a:2:{s:4:"NAME";s:18:"SubjectHeadingText";s:5:"CDATA";s:12:"case studies";}}}i:47;a:2:{s:4:"NAME";s:7:"Subject";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:23:"SubjectSchemeIdentifier";s:5:"CDATA";s:2:"20";}i:1;a:2:{s:4:"NAME";s:18:"SubjectHeadingText";s:5:"CDATA";s:11:"compilation";}}}i:48;a:2:{s:4:"NAME";s:7:"Subject";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:23:"SubjectSchemeIdentifier";s:5:"CDATA";s:2:"20";}i:1;a:2:{s:4:"NAME";s:18:"SubjectHeadingText";s:5:"CDATA";s:14:"debugging tool";}}}i:49;a:2:{s:4:"NAME";s:7:"Subject";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:23:"SubjectSchemeIdentifier";s:5:"CDATA";s:2:"20";}i:1;a:2:{s:4:"NAME";s:18:"SubjectHeadingText";s:5:"CDATA";s:24:"formal software analysis";}}}i:50;a:2:{s:4:"NAME";s:7:"Subject";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:23:"SubjectSchemeIdentifier";s:5:"CDATA";s:2:"20";}i:1;a:2:{s:4:"NAME";s:18:"SubjectHeadingText";s:5:"CDATA";s:20:"formal specification";}}}i:51;a:2:{s:4:"NAME";s:7:"Subject";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:23:"SubjectSchemeIdentifier";s:5:"CDATA";s:2:"20";}i:1;a:2:{s:4:"NAME";s:18:"SubjectHeadingText";s:5:"CDATA";s:19:"formal verification";}}}i:52;a:2:{s:4:"NAME";s:7:"Subject";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:23:"SubjectSchemeIdentifier";s:5:"CDATA";s:2:"20";}i:1;a:2:{s:4:"NAME";s:18:"SubjectHeadingText";s:5:"CDATA";s:17:"integer semantics";}}}i:53;a:2:{s:4:"NAME";s:7:"Subject";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:23:"SubjectSchemeIdentifier";s:5:"CDATA";s:2:"20";}i:1;a:2:{s:4:"NAME";s:18:"SubjectHeadingText";s:5:"CDATA";s:18:"partial evaluation";}}}i:54;a:2:{s:4:"NAME";s:7:"Subject";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:23:"SubjectSchemeIdentifier";s:5:"CDATA";s:2:"20";}i:1;a:2:{s:4:"NAME";s:18:"SubjectHeadingText";s:5:"CDATA";s:22:"program transformation";}}}i:55;a:2:{s:4:"NAME";s:7:"Subject";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:23:"SubjectSchemeIdentifier";s:5:"CDATA";s:2:"20";}i:1;a:2:{s:4:"NAME";s:18:"SubjectHeadingText";s:5:"CDATA";s:20:"programming language";}}}i:56;a:2:{s:4:"NAME";s:7:"Subject";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:23:"SubjectSchemeIdentifier";s:5:"CDATA";s:2:"20";}i:1;a:2:{s:4:"NAME";s:18:"SubjectHeadingText";s:5:"CDATA";s:22:"specification language";}}}i:57;a:2:{s:4:"NAME";s:7:"Subject";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:23:"SubjectSchemeIdentifier";s:5:"CDATA";s:2:"20";}i:1;a:2:{s:4:"NAME";s:18:"SubjectHeadingText";s:5:"CDATA";s:18:"symbolic execution";}}}i:58;a:2:{s:4:"NAME";s:7:"Subject";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:23:"SubjectSchemeIdentifier";s:5:"CDATA";s:2:"20";}i:1;a:2:{s:4:"NAME";s:18:"SubjectHeadingText";s:5:"CDATA";s:20:"test case generation";}}}i:59;a:2:{s:4:"NAME";s:7:"Subject";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:23:"SubjectSchemeIdentifier";s:5:"CDATA";s:2:"20";}i:1;a:2:{s:4:"NAME";s:18:"SubjectHeadingText";s:5:"CDATA";s:13:"visualization";}}}i:60;a:2:{s:4:"NAME";s:7:"Subject";s:5:"CHILD";a:4:{i:0;a:2:{s:4:"NAME";s:23:"SubjectSchemeIdentifier";s:5:"CDATA";s:2:"24";}i:1;a:2:{s:4:"NAME";s:17:"SubjectSchemeName";s:5:"CDATA";s:35:"Springer Nature Product Market Code";}i:2;a:2:{s:4:"NAME";s:11:"SubjectCode";s:5:"CDATA";s:8:"SCI1603X";}i:3;a:2:{s:4:"NAME";s:18:"SubjectHeadingText";s:5:"CDATA";s:31:"Logics and Meanings of Programs";}}}i:61;a:2:{s:4:"NAME";s:7:"Subject";s:5:"CHILD";a:4:{i:0;a:2:{s:4:"NAME";s:23:"SubjectSchemeIdentifier";s:5:"CDATA";s:2:"24";}i:1;a:2:{s:4:"NAME";s:17:"SubjectSchemeName";s:5:"CDATA";s:35:"Springer Nature Product Market Code";}i:2;a:2:{s:4:"NAME";s:11:"SubjectCode";s:5:"CDATA";s:8:"SCI16048";}i:3;a:2:{s:4:"NAME";s:18:"SubjectHeadingText";s:5:"CDATA";s:39:"Mathematical Logic and Formal Languages";}}}i:62;a:2:{s:4:"NAME";s:7:"Subject";s:5:"CHILD";a:4:{i:0;a:2:{s:4:"NAME";s:23:"SubjectSchemeIdentifier";s:5:"CDATA";s:2:"24";}i:1;a:2:{s:4:"NAME";s:17:"SubjectSchemeName";s:5:"CDATA";s:35:"Springer Nature Product Market Code";}i:2;a:2:{s:4:"NAME";s:11:"SubjectCode";s:5:"CDATA";s:8:"SCI14037";}i:3;a:2:{s:4:"NAME";s:18:"SubjectHeadingText";s:5:"CDATA";s:46:"Programming Languages, Compilers, Interpreters";}}}i:63;a:2:{s:4:"NAME";s:7:"Subject";s:5:"CHILD";a:4:{i:0;a:2:{s:4:"NAME";s:23:"SubjectSchemeIdentifier";s:5:"CDATA";s:2:"24";}i:1;a:2:{s:4:"NAME";s:17:"SubjectSchemeName";s:5:"CDATA";s:35:"Springer Nature Product Market Code";}i:2;a:2:{s:4:"NAME";s:11:"SubjectCode";s:5:"CDATA";s:8:"SCI21000";}i:3;a:2:{s:4:"NAME";s:18:"SubjectHeadingText";s:5:"CDATA";s:23:"Artificial Intelligence";}}}i:64;a:2:{s:4:"NAME";s:7:"Subject";s:5:"CHILD";a:4:{i:0;a:2:{s:4:"NAME";s:23:"SubjectSchemeIdentifier";s:5:"CDATA";s:2:"24";}i:1;a:2:{s:4:"NAME";s:17:"SubjectSchemeName";s:5:"CDATA";s:24:"Springer Nature Taxonomy";}i:2;a:2:{s:4:"NAME";s:11:"SubjectCode";s:5:"CDATA";s:4:"5482";}i:3;a:2:{s:4:"NAME";s:18:"SubjectHeadingText";s:5:"CDATA";s:20:"Software Engineering";}}}i:65;a:2:{s:4:"NAME";s:7:"Subject";s:5:"CHILD";a:4:{i:0;a:2:{s:4:"NAME";s:23:"SubjectSchemeIdentifier";s:5:"CDATA";s:2:"24";}i:1;a:2:{s:4:"NAME";s:17:"SubjectSchemeName";s:5:"CDATA";s:24:"Springer Nature Taxonomy";}i:2;a:2:{s:4:"NAME";s:11:"SubjectCode";s:5:"CDATA";s:4:"2980";}i:3;a:2:{s:4:"NAME";s:18:"SubjectHeadingText";s:5:"CDATA";s:53:"Computer Science Logic and Foundations of Programming";}}}i:66;a:2:{s:4:"NAME";s:7:"Subject";s:5:"CHILD";a:4:{i:0;a:2:{s:4:"NAME";s:23:"SubjectSchemeIdentifier";s:5:"CDATA";s:2:"24";}i:1;a:2:{s:4:"NAME";s:17:"SubjectSchemeName";s:5:"CDATA";s:24:"Springer Nature Taxonomy";}i:2;a:2:{s:4:"NAME";s:11:"SubjectCode";s:5:"CDATA";s:4:"6053";}i:3;a:2:{s:4:"NAME";s:18:"SubjectHeadingText";s:5:"CDATA";s:36:"Formal Languages and Automata Theory";}}}i:67;a:2:{s:4:"NAME";s:7:"Subject";s:5:"CHILD";a:4:{i:0;a:2:{s:4:"NAME";s:23:"SubjectSchemeIdentifier";s:5:"CDATA";s:2:"24";}i:1;a:2:{s:4:"NAME";s:17:"SubjectSchemeName";s:5:"CDATA";s:24:"Springer Nature Taxonomy";}i:2;a:2:{s:4:"NAME";s:11:"SubjectCode";s:5:"CDATA";s:5:"22727";}i:3;a:2:{s:4:"NAME";s:18:"SubjectHeadingText";s:5:"CDATA";s:26:"Compilers and Interpreters";}}}i:68;a:2:{s:4:"NAME";s:7:"Subject";s:5:"CHILD";a:4:{i:0;a:2:{s:4:"NAME";s:23:"SubjectSchemeIdentifier";s:5:"CDATA";s:2:"24";}i:1;a:2:{s:4:"NAME";s:17:"SubjectSchemeName";s:5:"CDATA";s:24:"Springer Nature Taxonomy";}i:2;a:2:{s:4:"NAME";s:11:"SubjectCode";s:5:"CDATA";s:4:"2970";}i:3;a:2:{s:4:"NAME";s:18:"SubjectHeadingText";s:5:"CDATA";s:23:"Artificial Intelligence";}}}i:69;a:3:{s:4:"NAME";s:7:"Subject";s:5:"ATTRS";a:1:{s:10:"sourcename";s:9:"Publisher";}s:5:"CHILD";a:4:{i:0;a:2:{s:4:"NAME";s:23:"SubjectSchemeIdentifier";s:5:"CDATA";s:2:"93";}i:1;a:2:{s:4:"NAME";s:20:"SubjectSchemeVersion";s:5:"CDATA";s:3:"1.5";}i:2;a:2:{s:4:"NAME";s:11:"SubjectCode";s:5:"CDATA";s:3:"UYA";}i:3;a:2:{s:4:"NAME";s:18:"SubjectHeadingText";s:5:"CDATA";s:23:"Theoretische Informatik";}}}i:70;a:3:{s:4:"NAME";s:7:"Subject";s:5:"ATTRS";a:1:{s:10:"sourcename";s:9:"Publisher";}s:5:"CHILD";a:4:{i:0;a:2:{s:4:"NAME";s:23:"SubjectSchemeIdentifier";s:5:"CDATA";s:2:"93";}i:1;a:2:{s:4:"NAME";s:20:"SubjectSchemeVersion";s:5:"CDATA";s:3:"1.5";}i:2;a:2:{s:4:"NAME";s:11:"SubjectCode";s:5:"CDATA";s:3:"UMC";}i:3;a:2:{s:4:"NAME";s:18:"SubjectHeadingText";s:5:"CDATA";s:24:"Compiler und Übersetzer";}}}i:71;a:3:{s:4:"NAME";s:7:"Subject";s:5:"ATTRS";a:1:{s:10:"sourcename";s:9:"Publisher";}s:5:"CHILD";a:4:{i:0;a:2:{s:4:"NAME";s:23:"SubjectSchemeIdentifier";s:5:"CDATA";s:2:"93";}i:1;a:2:{s:4:"NAME";s:20:"SubjectSchemeVersion";s:5:"CDATA";s:3:"1.5";}i:2;a:2:{s:4:"NAME";s:11:"SubjectCode";s:5:"CDATA";s:3:"UYQ";}i:3;a:2:{s:4:"NAME";s:18:"SubjectHeadingText";s:5:"CDATA";s:23:"Künstliche Intelligenz";}}}i:72;a:2:{s:4:"NAME";s:8:"Audience";s:5:"CHILD";a:3:{i:0;a:2:{s:4:"NAME";s:16:"AudienceCodeType";s:5:"CDATA";s:2:"02";}i:1;a:2:{s:4:"NAME";s:20:"AudienceCodeTypeName";s:5:"CDATA";s:29:"Springer Nature Content Level";}i:2;a:2:{s:4:"NAME";s:17:"AudienceCodeValue";s:5:"CDATA";s:8:"Research";}}}}}i:9;a:2:{s:4:"NAME";s:16:"CollateralDetail";s:5:"CHILD";a:5:{i:0;a:2:{s:4:"NAME";s:11:"TextContent";s:5:"CHILD";a:3:{i:0;a:2:{s:4:"NAME";s:8:"TextType";s:5:"CDATA";s:2:"03";}i:1;a:2:{s:4:"NAME";s:15:"ContentAudience";s:5:"CDATA";s:2:"00";}i:2;a:3:{s:4:"NAME";s:4:"Text";s:5:"ATTRS";a:1:{s:10:"textformat";s:2:"05";}s:5:"CHILD";a:2:{i:0;a:3:{s:4:"NAME";s:1:"p";s:5:"CHILD";a:2:{i:0;a:1:{s:4:"NAME";s:2:"br";}i:1;a:1:{s:4:"NAME";s:2:"br";}}s:5:"CDATA";s:151:"The KeY framework is free and open software, downloadable from the book companion website which contains also all code examples mentioned in this book.";}i:1;a:1:{s:4:"NAME";s:2:"br";}}}}}i:1;a:2:{s:4:"NAME";s:11:"TextContent";s:5:"CHILD";a:3:{i:0;a:2:{s:4:"NAME";s:8:"TextType";s:5:"CDATA";s:2:"04";}i:1;a:2:{s:4:"NAME";s:15:"ContentAudience";s:5:"CDATA";s:2:"03";}i:2;a:3:{s:4:"NAME";s:4:"Text";s:5:"ATTRS";a:1:{s:10:"textformat";s:2:"05";}s:5:"CHILD";a:1:{i:0;a:2:{s:4:"NAME";s:1:"p";s:5:"CDATA";s:118:"Foundations.- Specification and Verification.- From Verification to Analysis.- The KeY System in Action.- Case Studies";}}}}}i:2;a:2:{s:4:"NAME";s:11:"TextContent";s:5:"CHILD";a:3:{i:0;a:2:{s:4:"NAME";s:8:"TextType";s:5:"CDATA";s:2:"11";}i:1;a:2:{s:4:"NAME";s:15:"ContentAudience";s:5:"CDATA";s:2:"03";}i:2;a:3:{s:4:"NAME";s:4:"Text";s:5:"ATTRS";a:1:{s:10:"textformat";s:2:"05";}s:5:"CHILD";a:4:{i:0;a:2:{s:4:"NAME";s:1:"p";s:5:"CDATA";s:17:"Unique visibility";}i:1;a:2:{s:4:"NAME";s:1:"p";s:5:"CDATA";s:44:"Integrates classic material and new concepts";}i:2;a:2:{s:4:"NAME";s:1:"p";s:5:"CDATA";s:18:"Written by experts";}i:3;a:2:{s:4:"NAME";s:1:"p";s:5:"CDATA";s:46:"Includes supplementary material: sn.pub/extras";}}}}}i:3;a:2:{s:4:"NAME";s:18:"SupportingResource";s:5:"CHILD";a:4:{i:0;a:2:{s:4:"NAME";s:19:"ResourceContentType";s:5:"CDATA";s:2:"01";}i:1;a:2:{s:4:"NAME";s:15:"ContentAudience";s:5:"CDATA";s:2:"00";}i:2;a:2:{s:4:"NAME";s:12:"ResourceMode";s:5:"CDATA";s:2:"03";}i:3;a:2:{s:4:"NAME";s:15:"ResourceVersion";s:5:"CHILD";a:10:{i:0;a:2:{s:4:"NAME";s:12:"ResourceForm";s:5:"CDATA";s:2:"02";}i:1;a:2:{s:4:"NAME";s:22:"ResourceVersionFeature";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:26:"ResourceVersionFeatureType";s:5:"CDATA";s:2:"01";}i:1;a:2:{s:4:"NAME";s:12:"FeatureValue";s:5:"CDATA";s:4:"D502";}}}i:2;a:2:{s:4:"NAME";s:22:"ResourceVersionFeature";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:26:"ResourceVersionFeatureType";s:5:"CDATA";s:2:"02";}i:1;a:2:{s:4:"NAME";s:12:"FeatureValue";s:5:"CDATA";s:4:"1254";}}}i:3;a:2:{s:4:"NAME";s:22:"ResourceVersionFeature";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:26:"ResourceVersionFeatureType";s:5:"CDATA";s:2:"03";}i:1;a:2:{s:4:"NAME";s:12:"FeatureValue";s:5:"CDATA";s:3:"827";}}}i:4;a:2:{s:4:"NAME";s:22:"ResourceVersionFeature";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:26:"ResourceVersionFeatureType";s:5:"CDATA";s:2:"04";}i:1;a:2:{s:4:"NAME";s:12:"FeatureValue";s:5:"CDATA";s:17:"9783319498119.jpg";}}}i:5;a:2:{s:4:"NAME";s:22:"ResourceVersionFeature";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:26:"ResourceVersionFeatureType";s:5:"CDATA";s:2:"06";}i:1;a:2:{s:4:"NAME";s:12:"FeatureValue";s:5:"CDATA";s:32:"05979e7a8db796fbdf9b33636df739e3";}}}i:6;a:2:{s:4:"NAME";s:22:"ResourceVersionFeature";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:26:"ResourceVersionFeatureType";s:5:"CDATA";s:2:"07";}i:1;a:2:{s:4:"NAME";s:12:"FeatureValue";s:5:"CDATA";s:6:"498305";}}}i:7;a:2:{s:4:"NAME";s:22:"ResourceVersionFeature";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:26:"ResourceVersionFeatureType";s:5:"CDATA";s:2:"08";}i:1;a:2:{s:4:"NAME";s:12:"FeatureValue";s:5:"CDATA";s:64:"e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855";}}}i:8;a:2:{s:4:"NAME";s:12:"ResourceLink";s:5:"CDATA";s:47:"https://api.vlb.de/api/v1/cover/9783319498119/m";}i:9;a:2:{s:4:"NAME";s:11:"ContentDate";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:15:"ContentDateRole";s:5:"CDATA";s:2:"17";}i:1;a:3:{s:4:"NAME";s:4:"Date";s:5:"ATTRS";a:1:{s:10:"dateformat";s:2:"00";}s:5:"CDATA";s:8:"20230403";}}}}}}}i:4;a:2:{s:4:"NAME";s:18:"SupportingResource";s:5:"CHILD";a:4:{i:0;a:2:{s:4:"NAME";s:19:"ResourceContentType";s:5:"CDATA";s:2:"15";}i:1;a:2:{s:4:"NAME";s:15:"ContentAudience";s:5:"CDATA";s:2:"00";}i:2;a:2:{s:4:"NAME";s:12:"ResourceMode";s:5:"CDATA";s:2:"04";}i:3;a:2:{s:4:"NAME";s:15:"ResourceVersion";s:5:"CHILD";a:3:{i:0;a:2:{s:4:"NAME";s:12:"ResourceForm";s:5:"CDATA";s:2:"01";}i:1;a:2:{s:4:"NAME";s:22:"ResourceVersionFeature";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:26:"ResourceVersionFeatureType";s:5:"CDATA";s:2:"01";}i:1;a:2:{s:4:"NAME";s:12:"FeatureValue";s:5:"CDATA";s:4:"E105";}}}i:2;a:2:{s:4:"NAME";s:12:"ResourceLink";s:5:"CDATA";s:43:"https://link.springer.com/978-3-319-49811-9";}}}}}}}i:10;a:2:{s:4:"NAME";s:16:"PublishingDetail";s:5:"CHILD";a:8:{i:0;a:2:{s:4:"NAME";s:7:"Imprint";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:17:"ImprintIdentifier";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:13:"ImprintIDType";s:5:"CDATA";s:2:"01";}i:1;a:2:{s:4:"NAME";s:7:"IDValue";s:5:"CDATA";s:3:"SPR";}}}i:1;a:2:{s:4:"NAME";s:11:"ImprintName";s:5:"CDATA";s:8:"Springer";}}}i:1;a:2:{s:4:"NAME";s:9:"Publisher";s:5:"CHILD";a:4:{i:0;a:2:{s:4:"NAME";s:14:"PublishingRole";s:5:"CDATA";s:2:"01";}i:1;a:2:{s:4:"NAME";s:19:"PublisherIdentifier";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:15:"PublisherIDType";s:5:"CDATA";s:2:"05";}i:1;a:2:{s:4:"NAME";s:7:"IDValue";s:5:"CDATA";s:7:"5251753";}}}i:2;a:2:{s:4:"NAME";s:13:"PublisherName";s:5:"CDATA";s:33:"Springer International Publishing";}i:3;a:2:{s:4:"NAME";s:7:"Website";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:11:"WebsiteRole";s:5:"CDATA";s:2:"18";}i:1;a:2:{s:4:"NAME";s:11:"WebsiteLink";s:5:"CDATA";s:23:"http://www.Springer.com";}}}}}i:2;a:2:{s:4:"NAME";s:17:"CityOfPublication";s:5:"CDATA";s:4:"Cham";}i:3;a:2:{s:4:"NAME";s:20:"CountryOfPublication";s:5:"CDATA";s:2:"CH";}i:4;a:2:{s:4:"NAME";s:16:"PublishingStatus";s:5:"CDATA";s:2:"04";}i:5;a:2:{s:4:"NAME";s:14:"PublishingDate";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:18:"PublishingDateRole";s:5:"CDATA";s:2:"01";}i:1;a:3:{s:4:"NAME";s:4:"Date";s:5:"ATTRS";a:1:{s:10:"dateformat";s:2:"00";}s:5:"CDATA";s:8:"20161221";}}}i:6;a:2:{s:4:"NAME";s:18:"CopyrightStatement";s:5:"CHILD";a:1:{i:0;a:2:{s:4:"NAME";s:13:"CopyrightYear";s:5:"CDATA";s:4:"2016";}}}i:7;a:2:{s:4:"NAME";s:11:"SalesRights";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:15:"SalesRightsType";s:5:"CDATA";s:2:"01";}i:1;a:2:{s:4:"NAME";s:9:"Territory";s:5:"CHILD";a:1:{i:0;a:2:{s:4:"NAME";s:15:"RegionsIncluded";s:5:"CDATA";s:5:"WORLD";}}}}}}}i:11;a:2:{s:4:"NAME";s:15:"RelatedMaterial";s:5:"CHILD";a:1:{i:0;a:2:{s:4:"NAME";s:14:"RelatedProduct";s:5:"CHILD";a:3:{i:0;a:2:{s:4:"NAME";s:19:"ProductRelationCode";s:5:"CDATA";s:2:"06";}i:1;a:2:{s:4:"NAME";s:17:"ProductIdentifier";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:13:"ProductIDType";s:5:"CDATA";s:2:"15";}i:1;a:2:{s:4:"NAME";s:7:"IDValue";s:5:"CDATA";s:13:"9783319498126";}}}i:2;a:2:{s:4:"NAME";s:11:"ProductForm";s:5:"CDATA";s:2:"EA";}}}}}i:12;a:2:{s:4:"NAME";s:13:"ProductSupply";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:22:"MarketPublishingDetail";s:5:"CHILD";a:1:{i:0;a:2:{s:4:"NAME";s:22:"MarketPublishingStatus";s:5:"CDATA";s:2:"04";}}}i:1;a:2:{s:4:"NAME";s:12:"SupplyDetail";s:5:"CHILD";a:15:{i:0;a:2:{s:4:"NAME";s:8:"Supplier";s:5:"CHILD";a:3:{i:0;a:2:{s:4:"NAME";s:12:"SupplierRole";s:5:"CDATA";s:2:"01";}i:1;a:2:{s:4:"NAME";s:18:"SupplierIdentifier";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:14:"SupplierIDType";s:5:"CDATA";s:2:"05";}i:1;a:2:{s:4:"NAME";s:7:"IDValue";s:5:"CDATA";s:7:"5251753";}}}i:2;a:2:{s:4:"NAME";s:12:"SupplierName";s:5:"CDATA";s:33:"Springer International Publishing";}}}i:1;a:2:{s:4:"NAME";s:19:"ProductAvailability";s:5:"CDATA";s:2:"23";}i:2;a:2:{s:4:"NAME";s:5:"Price";s:5:"CHILD";a:6:{i:0;a:2:{s:4:"NAME";s:9:"PriceType";s:5:"CDATA";s:2:"01";}i:1;a:2:{s:4:"NAME";s:11:"PriceStatus";s:5:"CDATA";s:2:"02";}i:2;a:2:{s:4:"NAME";s:11:"PriceAmount";s:5:"CDATA";s:6:"109.99";}i:3;a:2:{s:4:"NAME";s:12:"CurrencyCode";s:5:"CDATA";s:3:"EUR";}i:4;a:2:{s:4:"NAME";s:9:"Territory";s:5:"CHILD";a:1:{i:0;a:2:{s:4:"NAME";s:15:"RegionsIncluded";s:5:"CDATA";s:3:"ROW";}}}i:5;a:2:{s:4:"NAME";s:9:"PriceDate";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:13:"PriceDateRole";s:5:"CDATA";s:2:"14";}i:1;a:2:{s:4:"NAME";s:4:"Date";s:5:"CDATA";s:8:"20220401";}}}}}i:3;a:2:{s:4:"NAME";s:5:"Price";s:5:"CHILD";a:6:{i:0;a:2:{s:4:"NAME";s:9:"PriceType";s:5:"CDATA";s:2:"02";}i:1;a:2:{s:4:"NAME";s:11:"PriceStatus";s:5:"CDATA";s:2:"02";}i:2;a:2:{s:4:"NAME";s:11:"PriceAmount";s:5:"CDATA";s:6:"120.99";}i:3;a:2:{s:4:"NAME";s:3:"Tax";s:5:"CHILD";a:3:{i:0;a:2:{s:4:"NAME";s:7:"TaxType";s:5:"CDATA";s:2:"01";}i:1;a:2:{s:4:"NAME";s:11:"TaxRateCode";s:5:"CDATA";s:1:"R";}i:2;a:2:{s:4:"NAME";s:14:"TaxRatePercent";s:5:"CDATA";s:2:"10";}}}i:4;a:2:{s:4:"NAME";s:12:"CurrencyCode";s:5:"CDATA";s:3:"EUR";}i:5;a:2:{s:4:"NAME";s:9:"Territory";s:5:"CHILD";a:1:{i:0;a:2:{s:4:"NAME";s:17:"CountriesIncluded";s:5:"CDATA";s:2:"AT";}}}}}i:4;a:2:{s:4:"NAME";s:5:"Price";s:5:"CHILD";a:6:{i:0;a:2:{s:4:"NAME";s:9:"PriceType";s:5:"CDATA";s:2:"01";}i:1;a:2:{s:4:"NAME";s:11:"PriceStatus";s:5:"CDATA";s:2:"02";}i:2;a:2:{s:4:"NAME";s:11:"PriceAmount";s:5:"CDATA";s:6:"162.73";}i:3;a:2:{s:4:"NAME";s:12:"CurrencyCode";s:5:"CDATA";s:3:"AUD";}i:4;a:2:{s:4:"NAME";s:9:"Territory";s:5:"CHILD";a:1:{i:0;a:2:{s:4:"NAME";s:17:"CountriesIncluded";s:5:"CDATA";s:2:"AU";}}}i:5;a:2:{s:4:"NAME";s:9:"PriceDate";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:13:"PriceDateRole";s:5:"CDATA";s:2:"14";}i:1;a:2:{s:4:"NAME";s:4:"Date";s:5:"CDATA";s:8:"20220401";}}}}}i:5;a:2:{s:4:"NAME";s:5:"Price";s:5:"CHILD";a:5:{i:0;a:2:{s:4:"NAME";s:9:"PriceType";s:5:"CDATA";s:2:"02";}i:1;a:2:{s:4:"NAME";s:11:"PriceStatus";s:5:"CDATA";s:2:"02";}i:2;a:2:{s:4:"NAME";s:11:"PriceAmount";s:5:"CDATA";s:6:"179.00";}i:3;a:2:{s:4:"NAME";s:12:"CurrencyCode";s:5:"CDATA";s:3:"AUD";}i:4;a:2:{s:4:"NAME";s:9:"Territory";s:5:"CHILD";a:1:{i:0;a:2:{s:4:"NAME";s:17:"CountriesIncluded";s:5:"CDATA";s:2:"AU";}}}}}i:6;a:2:{s:4:"NAME";s:5:"Price";s:5:"CHILD";a:6:{i:0;a:2:{s:4:"NAME";s:9:"PriceType";s:5:"CDATA";s:2:"02";}i:1;a:2:{s:4:"NAME";s:11:"PriceStatus";s:5:"CDATA";s:2:"02";}i:2;a:2:{s:4:"NAME";s:11:"PriceAmount";s:5:"CDATA";s:6:"130.00";}i:3;a:2:{s:4:"NAME";s:3:"Tax";s:5:"CHILD";a:3:{i:0;a:2:{s:4:"NAME";s:7:"TaxType";s:5:"CDATA";s:2:"01";}i:1;a:2:{s:4:"NAME";s:11:"TaxRateCode";s:5:"CDATA";s:1:"R";}i:2;a:2:{s:4:"NAME";s:14:"TaxRatePercent";s:5:"CDATA";s:3:"2.5";}}}i:4;a:2:{s:4:"NAME";s:12:"CurrencyCode";s:5:"CDATA";s:3:"CHF";}i:5;a:2:{s:4:"NAME";s:9:"Territory";s:5:"CHILD";a:1:{i:0;a:2:{s:4:"NAME";s:17:"CountriesIncluded";s:5:"CDATA";s:2:"CH";}}}}}i:7;a:2:{s:4:"NAME";s:5:"Price";s:5:"CHILD";a:6:{i:0;a:2:{s:4:"NAME";s:9:"PriceType";s:5:"CDATA";s:2:"02";}i:1;a:2:{s:4:"NAME";s:11:"PriceStatus";s:5:"CDATA";s:2:"02";}i:2;a:2:{s:4:"NAME";s:11:"PriceAmount";s:5:"CDATA";s:6:"117.69";}i:3;a:2:{s:4:"NAME";s:3:"Tax";s:5:"CHILD";a:3:{i:0;a:2:{s:4:"NAME";s:7:"TaxType";s:5:"CDATA";s:2:"01";}i:1;a:2:{s:4:"NAME";s:11:"TaxRateCode";s:5:"CDATA";s:1:"R";}i:2;a:2:{s:4:"NAME";s:14:"TaxRatePercent";s:5:"CDATA";s:1:"7";}}}i:4;a:2:{s:4:"NAME";s:12:"CurrencyCode";s:5:"CDATA";s:3:"EUR";}i:5;a:2:{s:4:"NAME";s:9:"Territory";s:5:"CHILD";a:1:{i:0;a:2:{s:4:"NAME";s:17:"CountriesIncluded";s:5:"CDATA";s:2:"DE";}}}}}i:8;a:2:{s:4:"NAME";s:5:"Price";s:5:"CHILD";a:5:{i:0;a:2:{s:4:"NAME";s:9:"PriceType";s:5:"CDATA";s:2:"02";}i:1;a:2:{s:4:"NAME";s:11:"PriceStatus";s:5:"CDATA";s:2:"02";}i:2;a:2:{s:4:"NAME";s:11:"PriceAmount";s:5:"CDATA";s:6:"116.04";}i:3;a:2:{s:4:"NAME";s:12:"CurrencyCode";s:5:"CDATA";s:3:"EUR";}i:4;a:2:{s:4:"NAME";s:9:"Territory";s:5:"CHILD";a:1:{i:0;a:2:{s:4:"NAME";s:17:"CountriesIncluded";s:5:"CDATA";s:2:"FR";}}}}}i:9;a:2:{s:4:"NAME";s:5:"Price";s:5:"CHILD";a:7:{i:0;a:2:{s:4:"NAME";s:9:"PriceType";s:5:"CDATA";s:2:"01";}i:1;a:2:{s:4:"NAME";s:11:"PriceStatus";s:5:"CDATA";s:2:"02";}i:2;a:2:{s:4:"NAME";s:11:"PriceAmount";s:5:"CDATA";s:5:"99.99";}i:3;a:2:{s:4:"NAME";s:3:"Tax";s:5:"CHILD";a:5:{i:0;a:2:{s:4:"NAME";s:7:"TaxType";s:5:"CDATA";s:2:"01";}i:1;a:2:{s:4:"NAME";s:11:"TaxRateCode";s:5:"CDATA";s:1:"Z";}i:2;a:1:{s:4:"NAME";s:14:"TaxRatePercent";}i:3;a:2:{s:4:"NAME";s:13:"TaxableAmount";s:5:"CDATA";s:5:"99.99";}i:4;a:2:{s:4:"NAME";s:9:"TaxAmount";s:5:"CDATA";s:4:"0.00";}}}i:4;a:2:{s:4:"NAME";s:12:"CurrencyCode";s:5:"CDATA";s:3:"GBP";}i:5;a:2:{s:4:"NAME";s:9:"Territory";s:5:"CHILD";a:1:{i:0;a:2:{s:4:"NAME";s:17:"CountriesIncluded";s:5:"CDATA";s:2:"GB";}}}i:6;a:2:{s:4:"NAME";s:9:"PriceDate";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:13:"PriceDateRole";s:5:"CDATA";s:2:"14";}i:1;a:2:{s:4:"NAME";s:4:"Date";s:5:"CDATA";s:8:"20220401";}}}}}i:10;a:2:{s:4:"NAME";s:5:"Price";s:5:"CHILD";a:6:{i:0;a:2:{s:4:"NAME";s:9:"PriceType";s:5:"CDATA";s:2:"01";}i:1;a:2:{s:4:"NAME";s:11:"PriceStatus";s:5:"CDATA";s:2:"02";}i:2;a:2:{s:4:"NAME";s:11:"PriceAmount";s:5:"CDATA";s:7:"7830.00";}i:3;a:2:{s:4:"NAME";s:12:"CurrencyCode";s:5:"CDATA";s:3:"INR";}i:4;a:2:{s:4:"NAME";s:9:"Territory";s:5:"CHILD";a:1:{i:0;a:2:{s:4:"NAME";s:17:"CountriesIncluded";s:5:"CDATA";s:2:"IN";}}}i:5;a:2:{s:4:"NAME";s:9:"PriceDate";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:13:"PriceDateRole";s:5:"CDATA";s:2:"14";}i:1;a:2:{s:4:"NAME";s:4:"Date";s:5:"CDATA";s:8:"20220401";}}}}}i:11;a:2:{s:4:"NAME";s:5:"Price";s:5:"CHILD";a:5:{i:0;a:2:{s:4:"NAME";s:9:"PriceType";s:5:"CDATA";s:2:"02";}i:1;a:2:{s:4:"NAME";s:11:"PriceStatus";s:5:"CDATA";s:2:"02";}i:2;a:2:{s:4:"NAME";s:11:"PriceAmount";s:5:"CDATA";s:6:"114.39";}i:3;a:2:{s:4:"NAME";s:12:"CurrencyCode";s:5:"CDATA";s:3:"EUR";}i:4;a:2:{s:4:"NAME";s:9:"Territory";s:5:"CHILD";a:1:{i:0;a:2:{s:4:"NAME";s:17:"CountriesIncluded";s:5:"CDATA";s:2:"IT";}}}}}i:12;a:2:{s:4:"NAME";s:5:"Price";s:5:"CHILD";a:5:{i:0;a:2:{s:4:"NAME";s:9:"PriceType";s:5:"CDATA";s:2:"02";}i:1;a:2:{s:4:"NAME";s:11:"PriceStatus";s:5:"CDATA";s:2:"02";}i:2;a:2:{s:4:"NAME";s:11:"PriceAmount";s:5:"CDATA";s:8:"15729.00";}i:3;a:2:{s:4:"NAME";s:12:"CurrencyCode";s:5:"CDATA";s:3:"JPY";}i:4;a:2:{s:4:"NAME";s:9:"Territory";s:5:"CHILD";a:1:{i:0;a:2:{s:4:"NAME";s:17:"CountriesIncluded";s:5:"CDATA";s:2:"JP";}}}}}i:13;a:2:{s:4:"NAME";s:5:"Price";s:5:"CHILD";a:5:{i:0;a:2:{s:4:"NAME";s:9:"PriceType";s:5:"CDATA";s:2:"02";}i:1;a:2:{s:4:"NAME";s:11:"PriceStatus";s:5:"CDATA";s:2:"02";}i:2;a:2:{s:4:"NAME";s:11:"PriceAmount";s:5:"CDATA";s:6:"119.89";}i:3;a:2:{s:4:"NAME";s:12:"CurrencyCode";s:5:"CDATA";s:3:"EUR";}i:4;a:2:{s:4:"NAME";s:9:"Territory";s:5:"CHILD";a:1:{i:0;a:2:{s:4:"NAME";s:17:"CountriesIncluded";s:5:"CDATA";s:2:"NL";}}}}}i:14;a:2:{s:4:"NAME";s:5:"Price";s:5:"CHILD";a:5:{i:0;a:2:{s:4:"NAME";s:9:"PriceType";s:5:"CDATA";s:2:"01";}i:1;a:2:{s:4:"NAME";s:11:"PriceStatus";s:5:"CDATA";s:2:"02";}i:2;a:2:{s:4:"NAME";s:11:"PriceAmount";s:5:"CDATA";s:6:"119.99";}i:3;a:2:{s:4:"NAME";s:12:"CurrencyCode";s:5:"CDATA";s:3:"USD";}i:4;a:2:{s:4:"NAME";s:9:"Territory";s:5:"CHILD";a:1:{i:0;a:2:{s:4:"NAME";s:17:"CountriesIncluded";s:5:"CDATA";s:2:"US";}}}}}}}}}}}
9783447114653 Andreas Mahler Wolfenbütteler Abhandlungen zur Renaissanceforschung; Der Essay als "neue" Form Harrassowitz Verlag 224 2020-08-27 Wiesbaden; DE BB; B304; Hardcover, Softcover / Geschichte/Neuzeit bis 1918; Wissenschaftsgeschichte (Sozial- und Geisteswissenschaften); Verstehen; Englische Literatur; Französische Literatur; Essay; Valéry, Paul; Bacon, Francis; Essayistik; Browne, Thomas; Montaigne, Michel de; Europäische Geschichte: Renaissance; Kultur- und Medienwissenschaften 631 ger 53.50 EUR 160 240 DE a:3:{s:4:"NAME";s:7:"Product";s:5:"ATTRS";a:1:{s:9:"datestamp";s:8:"20210318";}s:5:"CHILD";a:9:{i:0;a:2:{s:4:"NAME";s:15:"RecordReference";s:5:"CDATA";s:32:"53c79a61391b4dc88994e70ef363a531";}i:1;a:2:{s:4:"NAME";s:16:"NotificationType";s:5:"CDATA";s:2:"03";}i:2;a:2:{s:4:"NAME";s:17:"ProductIdentifier";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:13:"ProductIDType";s:5:"CDATA";s:2:"02";}i:1;a:2:{s:4:"NAME";s:7:"IDValue";s:5:"CDATA";s:10:"3447114657";}}}i:3;a:2:{s:4:"NAME";s:17:"ProductIdentifier";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:13:"ProductIDType";s:5:"CDATA";s:2:"03";}i:1;a:2:{s:4:"NAME";s:7:"IDValue";s:5:"CDATA";s:13:"9783447114653";}}}i:4;a:2:{s:4:"NAME";s:17:"ProductIdentifier";s:5:"CHILD";a:2:{i:0;a:2:{s:4:"NAME";s:13:"ProductIDType";s:5:"CDATA";s:2:"15";}i:1;a:2:{s:4:"NAME";s:7:"IDValue";s:5:"CDATA";s:13:"9783447114653";}}}i:5;a:2:{s:4:"NAME";s:17:"DescriptiveDetail";s:5:"CHILD";a:34:{i:0;a:2:{s:4:"NAME";s:18:"ProductComposition";s:5:"CDATA";s:2:"00";}i:1;a:2:{s:4:"NAME";s:11:"ProductForm";s:5:"CDATA";s:2:"BB";}i:2;a:2:{s:4:"NAME";s:17:"ProductFormDetail";s:5:"CDATA";s:4:"B304";}i:3;a:2:{s:4:"NAME";s:18:"ProductFormFeature";s:5:"CHILD";a:3:{i:0;a:2:{s:4:"NAME";s:22:"ProductFormFeatureType";s:5:"CDATA";s:2:"01";}i:1;a:2:{s:4:"NAME";s:23:"ProductFormFeatureValue";s:5:"CDATA";s:3:"GRY";}i:2;a:2:{s:4:"NAME";s:29:"ProductFormFeatureDescription";s:5:"CDATA";s:3:"15%";}}}i:4;a:2:{s:4:"NAME";s:18:"ProductFormFeature";s:5:"CHILD";a:3:{i:0;a:2:{s:4:"NAME";s:22:"ProductFormFeatureType";s:5:"CDATA";s:2:"01";}i:1;a:2:{s:4:"NAME";s:23:"ProductFormFeatureValue";s:5:"CDATA";s:3:"SLV";}i:2;a:2:{s:4:"NAME";s:29:"ProductFormFeatureDescription";s:5:"CDATA";s:3:"34%";}}}i:5;a:2:{s:4:"NAME";s:18:"ProductFormFeature";s:5:"CHILD";a:3:{i:0;a:2:{s:4:"NAME";s:22:"ProductFormFeatureType";s:5:"CDATA";s:2:"01";}i:1;a:2:{s:4:"NAME";s:23:"ProductFormFeatureValue";s:5:"CDATA";s:3:"TEA";}i:2;a:2:{s:4:"NAME";s:29:"ProductFormFeatureDescription";s:5:"CDATA";s:3:"50%";}}}i:6;a:2:{s:4:"NAME";s:7:"Measure";s:5:"CHILD";a:3:{i:0;a:2:{s:4:"NAME";s:11:"MeasureType";s:5:"CDATA";s:2:"01";}i:1;a:2:{s:4:"NAME";s:11:"Measurement";s:5:"CDATA";s:2:"24";}i:2;a:2:{s:4:"NAME";s:15:"MeasureUnitCode";s:5:"CDATA";s:2:"cm";}}
Verlag: synergenVerlag Deutscher Bierkultur
212 Seiten
Erscheinungsjahr: 2019-01-19
Dortmund; DE
Gedruckt / Hergestellt in Deutschland.
Gewicht: 0,300 kg
Sprache: Deutsch
30,70 € (DE)
BC; B131; Hardcover, Softcover / Belletristik/Science Fiction; Belletristik und verwandte Gebiete; Eintauchen; Schriftstellerinnen; Science Fiction; Emanzipation
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
0602567142522 Zwischen Himmel Und Erde [Import] (Engelsgleich)
< zum Archiv...