Abstracts of Invited Talks
Gespeichert in:
| Format: | Buchkapitel |
|---|---|
| Sprache: | eng |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | |
|---|---|
| container_issue | |
| container_start_page | |
| container_title | |
| container_volume | 11652 |
| description | |
| format | Book Chapter |
| fullrecord | <record><control><sourceid>proquest</sourceid><recordid>TN_cdi_proquest_ebookcentralchapters_5917927_4_8</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>EBC5917927_4_8</sourcerecordid><originalsourceid>FETCH-proquest_ebookcentralchapters_5917927_4_83</originalsourceid><addsrcrecordid>eNqdjEsKwjAURZ-IotVuwFE3ILx8NMlQRNF55yFtU9SWpvZF128HugFHl8Ph3AmkRmmBArmWXKgpJD_gOIeEMSYFNxr3C0iJHog4CsOEXMLmUFAcXBkpC3V27d736Kssd21Da5jVriWffncFeD7lx8u2H8Lz5SlaX4TQlL4bD9ry5vroB7I7w5ThykqrxR_JB7U1Oqk</addsrcrecordid><sourcetype>Publisher</sourcetype><iscdi>true</iscdi><recordtype>book_chapter</recordtype><pqid>EBC5917927_4_8</pqid></control><display><type>book_chapter</type><title>Abstracts of Invited Talks</title><source>Springer Books</source><contributor>Zufferey, Damien ; Zamani, Majid</contributor><creatorcontrib>Zufferey, Damien ; Zamani, Majid</creatorcontrib><identifier>ISBN: 3030284220</identifier><identifier>ISBN: 9783030284220</identifier><identifier>EISBN: 9783030284237</identifier><identifier>EISBN: 3030284239</identifier><identifier>OCLC: 1114329806</identifier><identifier>LCCallNum: QA75.5-76.95</identifier><language>eng</language><publisher>Switzerland: Springer International Publishing AG</publisher><ispartof>Numerical Software Verification, 2019, Vol.11652</ispartof><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Uhttps://ebookcentral.proquest.com/covers/5917927-l.jpg</thumbnail><link.rule.ids>779,780,784,793</link.rule.ids></links><search><contributor>Zufferey, Damien</contributor><contributor>Zamani, Majid</contributor><title>Abstracts of Invited Talks</title><title>Numerical Software Verification</title><isbn>3030284220</isbn><isbn>9783030284220</isbn><isbn>9783030284237</isbn><isbn>3030284239</isbn><fulltext>true</fulltext><rsrctype>book_chapter</rsrctype><creationdate>2019</creationdate><recordtype>book_chapter</recordtype><recordid>eNqdjEsKwjAURZ-IotVuwFE3ILx8NMlQRNF55yFtU9SWpvZF128HugFHl8Ph3AmkRmmBArmWXKgpJD_gOIeEMSYFNxr3C0iJHog4CsOEXMLmUFAcXBkpC3V27d736Kssd21Da5jVriWffncFeD7lx8u2H8Lz5SlaX4TQlL4bD9ry5vroB7I7w5ThykqrxR_JB7U1Oqk</recordid><startdate>2019</startdate><enddate>2019</enddate><general>Springer International Publishing AG</general><scope>FFUUA</scope></search><sort><creationdate>2019</creationdate><title>Abstracts of Invited Talks</title></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-proquest_ebookcentralchapters_5917927_4_83</frbrgroupid><rsrctype>book_chapters</rsrctype><prefilter>book_chapters</prefilter><language>eng</language><creationdate>2019</creationdate><toplevel>online_resources</toplevel><collection>ProQuest Ebook Central - Book Chapters - Demo use only</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Zufferey, Damien</au><au>Zamani, Majid</au><format>book</format><genre>bookitem</genre><ristype>CHAP</ristype><atitle>Abstracts of Invited Talks</atitle><btitle>Numerical Software Verification</btitle><date>2019</date><risdate>2019</risdate><volume>11652</volume><isbn>3030284220</isbn><isbn>9783030284220</isbn><eisbn>9783030284237</eisbn><eisbn>3030284239</eisbn><cop>Switzerland</cop><pub>Springer International Publishing AG</pub><oclcid>1114329806</oclcid></addata></record> |
| fulltext | fulltext |
| identifier | ISBN: 3030284220 |
| ispartof | Numerical Software Verification, 2019, Vol.11652 |
| issn | |
| language | eng |
| recordid | cdi_proquest_ebookcentralchapters_5917927_4_8 |
| source | Springer Books |
| title | Abstracts of Invited Talks |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-14T13%3A18%3A09IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=bookitem&rft.atitle=Abstracts%20of%20Invited%20Talks&rft.btitle=Numerical%20Software%20Verification&rft.au=Zufferey,%20Damien&rft.date=2019&rft.volume=11652&rft.isbn=3030284220&rft.isbn_list=9783030284220&rft_id=info:doi/&rft_dat=%3Cproquest%3EEBC5917927_4_8%3C/proquest%3E%3Curl%3E%3C/url%3E&rft.eisbn=9783030284237&rft.eisbn_list=3030284239&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=EBC5917927_4_8&rft_id=info:pmid/&rfr_iscdi=true |