Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II
This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Softw...
Ausführliche Beschreibung
Autor*in: |
Groote, Jan Friso [verfasserIn] Larsen, Kim Guldstrand [herausgeberIn] |
---|
Format: |
E-Book |
---|---|
Sprache: |
Englisch |
Erschienen: |
Erscheinungsort nicht ermittelbar: Springer Nature ; 2021 |
---|
Rechteinformationen: |
Open Access Creative Commons ; https://creativecommons.org/licenses/by/4.0 |
---|
Schlagwörter: |
Computer networking & communications Computer programming / software development |
---|
Umfang: |
1 Online-Ressource (465 p.) |
---|
Reihe: |
Lecture Notes in Computer Science; Theoretical Computer Science and General Issues ; 12652 |
---|
Links: | |
---|---|
ISBN: |
978-3-030-72013-1 |
Katalog-ID: |
1836466625 |
---|
LEADER | 01000cam a22002652 4500 | ||
---|---|---|---|
001 | 1836466625 | ||
003 | DE-627 | ||
005 | 20241008145554.0 | ||
007 | cr uuu---uuuuu | ||
008 | 220426s2021 xx |||||o 00| ||eng c | ||
020 | |a 9783030720131 |9 978-3-030-72013-1 | ||
020 | |z 978 | ||
035 | |a (DE-627)1836466625 | ||
035 | |a (DE-599)KEP077594878 | ||
035 | |a (OCoLC)1286302962 | ||
035 | |a (OAPEN)48219 | ||
035 | |a (EBP)077594878 | ||
040 | |a DE-627 |b eng |c DE-627 |e rda | ||
041 | |a eng | ||
072 | 7 | |a UY |2 bicssc | |
072 | 7 | |a UT |2 bicssc | |
072 | 7 | |a UM |2 bicssc | |
072 | 7 | |a UMZ |2 bicssc | |
100 | 1 | |a Groote, Jan Friso |e verfasserin |4 aut | |
245 | 1 | 0 | |a Tools and Algorithms for the Construction and Analysis of Systems |b 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II |
264 | 1 | |a [Erscheinungsort nicht ermittelbar] |b Springer Nature |c 2021 | |
300 | |a 1 Online-Ressource (465 p.) | ||
336 | |a Text |b txt |2 rdacontent | ||
337 | |a Computermedien |b c |2 rdamedia | ||
338 | |a Online-Ressource |b cr |2 rdacarrier | ||
490 | 0 | |a Lecture Notes in Computer Science; Theoretical Computer Science and General Issues |v 12652 | |
506 | 0 | |a Open Access |f Unrestricted online access |2 star | |
520 | |a This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers. The papers are organized in topical sections as follows: Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks; Analysis of Network Communication. Part II: Verification Techniques (not SMT); Case Studies; Proof Generation/Validation; Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers | ||
540 | |a Creative Commons |f https://creativecommons.org/licenses/by/4.0 |2 cc | ||
546 | |a English | ||
650 | 4 | |a Computer networking & communications | |
650 | 4 | |a Computer programming / software development | |
650 | 4 | |a Computer science | |
650 | 4 | |a Software Engineering | |
650 | 4 | |a Computer programming / software engineering | |
650 | 4 | |a Computer networking and communications | |
700 | 1 | |a Larsen, Kim Guldstrand |e herausgeberin |4 edt | |
856 | 4 | 0 | |u https://library.oapen.org/bitstream/id/a0c05cf4-1de4-4237-9543-824426acd0d2/9783030720131.pdf |m X:OAPEN |x Verlag |z kostenfrei |
856 | 4 | 0 | |u https://library.oapen.org/handle/20.500.12657/48219 |m X:OAPEN |x Verlag |z kostenfrei |
912 | |a ZDB-94-OAL | ||
912 | |a GBV_ILN_22 | ||
912 | |a ISIL_DE-18 | ||
912 | |a SYSFLAG_1 | ||
912 | |a GBV_KXP | ||
912 | |a GBV_ILN_23 | ||
912 | |a ISIL_DE-830 | ||
912 | |a GBV_ILN_30 | ||
912 | |a ISIL_DE-104 | ||
912 | |a GBV_ILN_31 | ||
912 | |a ISIL_DE-27 | ||
912 | |a GBV_ILN_34 | ||
912 | |a ISIL_DE-18-302 | ||
912 | |a GBV_ILN_39 | ||
912 | |a ISIL_DE-547 | ||
912 | |a GBV_ILN_40 | ||
912 | |a ISIL_DE-7 | ||
912 | |a GBV_ILN_63 | ||
912 | |a ISIL_DE-Wim2 | ||
912 | |a GBV_ILN_65 | ||
912 | |a ISIL_DE-3 | ||
912 | |a GBV_ILN_70 | ||
912 | |a ISIL_DE-89 | ||
912 | |a GBV_ILN_72 | ||
912 | |a ISIL_DE-35 | ||
912 | |a GBV_ILN_95 | ||
912 | |a ISIL_DE-542 | ||
912 | |a GBV_ILN_110 | ||
912 | |a ISIL_DE-Luen4 | ||
912 | |a GBV_ILN_136 | ||
912 | |a ISIL_DE-Wis1 | ||
912 | |a GBV_ILN_147 | ||
912 | |a ISIL_DE-Fl3 | ||
912 | |a GBV_ILN_161 | ||
912 | |a ISIL_DE-960 | ||
912 | |a GBV_ILN_187 | ||
912 | |a ISIL_DE-Ki95 | ||
912 | |a GBV_ILN_213 | ||
912 | |a ISIL_DE-551 | ||
912 | |a GBV_ILN_230 | ||
912 | |a ISIL_DE-552 | ||
912 | |a GBV_ILN_283 | ||
912 | |a ISIL_DE-Ha163 | ||
912 | |a GBV_ILN_293 | ||
912 | |a ISIL_DE-960-3 | ||
912 | |a GBV_ILN_370 | ||
912 | |a ISIL_DE-1373 | ||
912 | |a GBV_ILN_603 | ||
912 | |a ISIL_DE-B1556 | ||
912 | |a GBV_ILN_808 | ||
912 | |a GBV_ILN_2403 | ||
912 | |a ISIL_DE-LFER | ||
951 | |a BO | ||
980 | |2 22 |1 01 |x 0018 |b 4280123039 |h OLR-ZDB-94-OAL |k OAPEN Library |y zu |z 01-03-23 | ||
980 | |2 23 |1 01 |x 0830 |b 4280675090 |h OLR-OAPEN |u f |y z |z 01-03-23 | ||
980 | |2 30 |1 01 |x 0104 |b 4281035753 |h GBV-OAPEN |y z |z 01-03-23 | ||
980 | |2 31 |1 01 |x 0027 |b 428031778X |y z |z 01-03-23 | ||
980 | |2 34 |1 01 |x 3551 |b 427887331X |h OLR-OAPEN |y zi002 |z 01-03-23 | ||
980 | |2 39 |1 01 |x 0547 |b 4281226826 |h GBV-OAPEN |y ke |z 01-03-23 | ||
980 | |2 40 |1 01 |x 0007 |b 4279941807 |h OLR-OAPEN |y xsn |z 01-03-23 | ||
980 | |2 63 |1 01 |x 3401 |b 4281608680 |h E-Books LF GBV-OAPEN |y z |z 01-03-23 | ||
980 | |2 65 |1 01 |x 0003 |b 4281858741 |h OLR-OAPEN |y z |z 01-03-23 | ||
980 | |2 70 |1 01 |x 0089 |b 4280496110 |h OLR-OAPEN-OA |k OAPEN Online Library Open Access eBook |y z |z 01-03-23 | ||
980 | |2 72 |1 01 |x 0035 |b 4278695926 |h OLR-OAPEN-OA |k OAPEN Online Library Open Access eBook |y z |z 01-03-23 | ||
980 | |2 95 |1 01 |x 3095 |b 4343222640 |h OLR-OAL |k Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. |y z |z 24-06-23 | ||
980 | |2 110 |1 01 |x 3110 |b 4281411836 |h OLR-GBV-OAPEN |k Open Access |y z |z 01-03-23 | ||
980 | |2 136 |1 01 |x 3526 |b 4279582874 |h OLR-OAPEN |y z |z 01-03-23 | ||
980 | |2 147 |1 01 |x 3528 |b 428205719X |h OLR-OAPEN |k frei verfügbar für Europa-Universität Flensburg, Hochschule Flensburg und Zentrale Hochschulbibliothek |k Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. |y z |z 01-03-23 | ||
980 | |2 161 |1 01 |x 0960 |b 4278129688 |h OLR-OAPEN |k OAPEN Online Library Open Access eBook |y z |z 28-02-23 | ||
980 | |2 187 |1 01 |x 3520 |b 4278514476 |k JSTOR Open Access eBook |y z |z 28-02-23 | ||
980 | |2 213 |1 01 |x 0551 |b 4279228485 |h OLR-OAPEN |k OAPEN Online Library Open Access eBook |y z |z 01-03-23 | ||
980 | |2 230 |1 01 |x 0552 |b 4279405662 |h OLR-OAPEN |k OAPEN Online Library Open Access eBook |y z |z 01-03-23 | ||
980 | |2 283 |1 01 |x 3283 |b 4279764573 |h OLR-OAL |y z |z 01-03-23 | ||
980 | |2 293 |1 01 |x 3293 |b 4278308698 |h OLR-OAPEN |k OAPEN Online Library Open Access eBook |y z |z 28-02-23 | ||
980 | |2 370 |1 01 |x 4370 |b 4279051054 |h OLR-FREE |k Kostenloser Zugriff |y z |z 01-03-23 | ||
980 | |2 603 |1 01 |x 4603 |b 4277951724 |h OLR-OAPEN |k Bitte beachten Sie die Nutzungsbedingungen und Copyright-Bestimmungen des Verlages/Herausgebers. |y z |z 28-02-23 | ||
980 | |2 808 |1 01 |x 4808 |b 4280854033 |h OLR-OAPEN |k OAPEN Library |y zg |z 01-03-23 | ||
980 | |2 2403 |1 01 |x DE-LFER |b 4307804244 |c 00 |f --%%-- |d --%%-- |e n |j --%%-- |y l01 |z 12-04-23 | ||
981 | |2 22 |1 01 |x 0018 |y Volltextzugang |r https://library.oapen.org/handle/20.500.12657/48219 | ||
981 | |2 23 |1 01 |x 0830 |r https://library.oapen.org/handle/20.500.12657/48219 | ||
981 | |2 30 |1 01 |x 0104 |y Open Access |r https://library.oapen.org/handle/20.500.12657/48219 | ||
981 | |2 31 |1 01 |x 0027 |y eBook GBV-OAPEN |r https://library.oapen.org/handle/20.500.12657/48219 | ||
981 | |2 34 |1 01 |x 3551 |y OpenAccess |r https://library.oapen.org/handle/20.500.12657/48219 | ||
981 | |2 40 |1 01 |x 0007 |y Volltext, Open Access |r https://library.oapen.org/handle/20.500.12657/48219 | ||
981 | |2 63 |1 01 |x 3401 |y E-Book |r https://library.oapen.org/handle/20.500.12657/48219 | ||
981 | |2 65 |1 01 |x 0003 |y Open Access |r https://library.oapen.org/handle/20.500.12657/48219 | ||
981 | |2 65 |1 01 |x 0003 |y Dieser Titel ist Teil einer Datenbank |r http://www.bibliothek.uni-regensburg.de/dbinfo/detail.php?titel_id=10728&bib_id=ulb_hal | ||
981 | |2 70 |1 01 |x 0089 |r https://library.oapen.org/handle/20.500.12657/48219 |z LF | ||
981 | |2 72 |1 01 |x 0035 |r https://library.oapen.org/handle/20.500.12657/48219 | ||
981 | |2 95 |1 01 |x 3095 |r https://library.oapen.org/handle/20.500.12657/48219 | ||
981 | |2 110 |1 01 |x 3110 |y Open Access |r https://library.oapen.org/handle/20.500.12657/48219 | ||
981 | |2 136 |1 01 |x 3526 |y Open Access |r https://library.oapen.org/handle/20.500.12657/48219 | ||
981 | |2 147 |1 01 |x 3528 |r https://library.oapen.org/handle/20.500.12657/48219 | ||
981 | |2 161 |1 01 |x 0960 |r https://library.oapen.org/handle/20.500.12657/48219 |z LF | ||
981 | |2 187 |1 01 |x 3520 |r https://library.oapen.org/handle/20.500.12657/48219 | ||
981 | |2 213 |1 01 |x 0551 |r https://library.oapen.org/handle/20.500.12657/48219 | ||
981 | |2 230 |1 01 |x 0552 |r https://library.oapen.org/handle/20.500.12657/48219 | ||
981 | |2 283 |1 01 |x 3283 |r https://library.oapen.org/handle/20.500.12657/48219 | ||
981 | |2 293 |1 01 |x 3293 |r https://library.oapen.org/handle/20.500.12657/48219 |z LF | ||
981 | |2 370 |1 01 |x 4370 |r https://library.oapen.org/handle/20.500.12657/48219 | ||
981 | |2 603 |1 01 |x 4603 |r https://library.oapen.org/handle/20.500.12657/48219 | ||
981 | |2 808 |1 01 |x 4808 |y Volltextzugang |r https://library.oapen.org/handle/20.500.12657/48219 | ||
981 | |2 2403 |1 01 |x DE-LFER |r https://library.oapen.org/bitstream/id/a0c05cf4-1de4-4237-9543-824426acd0d2/9783030720131.pdf | ||
982 | |2 31 |1 01 |x 0027 |8 00 |a eBook GBV-OAPEN | ||
995 | |2 22 |1 01 |x 0018 |a OLR-ZDB-94-OAL | ||
995 | |2 23 |1 01 |x 0830 |a OLR-OAPEN | ||
995 | |2 30 |1 01 |x 0104 |a GBV-OAPEN | ||
995 | |2 34 |1 01 |x 3551 |a OLR-OAPEN | ||
995 | |2 39 |1 01 |x 0547 |a GBV-OAPEN | ||
995 | |2 39 |1 01 |x 0547 |a LF | ||
995 | |2 40 |1 01 |x 0007 |a OLR-OAPEN | ||
995 | |2 63 |1 01 |x 3401 |a E-Books LF GBV-OAPEN | ||
995 | |2 65 |1 01 |x 0003 |a OLR-OAPEN | ||
995 | |2 70 |1 01 |x 0089 |a OLR-OAPEN-OA | ||
995 | |2 72 |1 01 |x 0035 |a OLR-OAPEN-OA | ||
995 | |2 95 |1 01 |x 3095 |a OLR-OAL | ||
995 | |2 110 |1 01 |x 3110 |a OLR-GBV-OAPEN | ||
995 | |2 136 |1 01 |x 3526 |a OLR-OAPEN | ||
995 | |2 147 |1 01 |x 3528 |a OLR-OAPEN | ||
995 | |2 161 |1 01 |x 0960 |a OLR-OAPEN | ||
995 | |2 213 |1 01 |x 0551 |a OLR-OAPEN | ||
995 | |2 230 |1 01 |x 0552 |a OLR-OAPEN | ||
995 | |2 283 |1 01 |x 3283 |a OLR-OAL | ||
995 | |2 293 |1 01 |x 3293 |a OLR-OAPEN | ||
995 | |2 370 |1 01 |x 4370 |a OLR-FREE | ||
995 | |2 370 |1 01 |x 4370 |a olr-ebook GBV-OAPEN | ||
995 | |2 603 |1 01 |x 4603 |a OLR-OAPEN | ||
995 | |2 808 |1 01 |x 4808 |a OLR-OAPEN |
author_variant |
j f g jf jfg |
---|---|
matchkey_str |
book:9783030720131:2021---- |
oclc_num |
1286302962 |
hierarchy_sort_str |
2021 |
publishDate |
2021 |
allfields |
9783030720131 978-3-030-72013-1 978 (DE-627)1836466625 (DE-599)KEP077594878 (OCoLC)1286302962 (OAPEN)48219 (EBP)077594878 DE-627 eng DE-627 rda eng UY bicssc UT bicssc UM bicssc UMZ bicssc Groote, Jan Friso verfasserin aut Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II [Erscheinungsort nicht ermittelbar] Springer Nature 2021 1 Online-Ressource (465 p.) Text txt rdacontent Computermedien c rdamedia Online-Ressource cr rdacarrier Lecture Notes in Computer Science; Theoretical Computer Science and General Issues 12652 Open Access Unrestricted online access star This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers. The papers are organized in topical sections as follows: Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks; Analysis of Network Communication. Part II: Verification Techniques (not SMT); Case Studies; Proof Generation/Validation; Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers Creative Commons https://creativecommons.org/licenses/by/4.0 cc English Computer networking & communications Computer programming / software development Computer science Software Engineering Computer programming / software engineering Computer networking and communications Larsen, Kim Guldstrand herausgeberin edt https://library.oapen.org/bitstream/id/a0c05cf4-1de4-4237-9543-824426acd0d2/9783030720131.pdf X:OAPEN Verlag kostenfrei https://library.oapen.org/handle/20.500.12657/48219 X:OAPEN Verlag kostenfrei ZDB-94-OAL GBV_ILN_22 ISIL_DE-18 SYSFLAG_1 GBV_KXP GBV_ILN_23 ISIL_DE-830 GBV_ILN_30 ISIL_DE-104 GBV_ILN_31 ISIL_DE-27 GBV_ILN_34 ISIL_DE-18-302 GBV_ILN_39 ISIL_DE-547 GBV_ILN_40 ISIL_DE-7 GBV_ILN_63 ISIL_DE-Wim2 GBV_ILN_65 ISIL_DE-3 GBV_ILN_70 ISIL_DE-89 GBV_ILN_72 ISIL_DE-35 GBV_ILN_95 ISIL_DE-542 GBV_ILN_110 ISIL_DE-Luen4 GBV_ILN_136 ISIL_DE-Wis1 GBV_ILN_147 ISIL_DE-Fl3 GBV_ILN_161 ISIL_DE-960 GBV_ILN_187 ISIL_DE-Ki95 GBV_ILN_213 ISIL_DE-551 GBV_ILN_230 ISIL_DE-552 GBV_ILN_283 ISIL_DE-Ha163 GBV_ILN_293 ISIL_DE-960-3 GBV_ILN_370 ISIL_DE-1373 GBV_ILN_603 ISIL_DE-B1556 GBV_ILN_808 GBV_ILN_2403 ISIL_DE-LFER BO 22 01 0018 4280123039 OLR-ZDB-94-OAL OAPEN Library zu 01-03-23 23 01 0830 4280675090 OLR-OAPEN f z 01-03-23 30 01 0104 4281035753 GBV-OAPEN z 01-03-23 31 01 0027 428031778X z 01-03-23 34 01 3551 427887331X OLR-OAPEN zi002 01-03-23 39 01 0547 4281226826 GBV-OAPEN ke 01-03-23 40 01 0007 4279941807 OLR-OAPEN xsn 01-03-23 63 01 3401 4281608680 E-Books LF GBV-OAPEN z 01-03-23 65 01 0003 4281858741 OLR-OAPEN z 01-03-23 70 01 0089 4280496110 OLR-OAPEN-OA OAPEN Online Library Open Access eBook z 01-03-23 72 01 0035 4278695926 OLR-OAPEN-OA OAPEN Online Library Open Access eBook z 01-03-23 95 01 3095 4343222640 OLR-OAL Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. z 24-06-23 110 01 3110 4281411836 OLR-GBV-OAPEN Open Access z 01-03-23 136 01 3526 4279582874 OLR-OAPEN z 01-03-23 147 01 3528 428205719X OLR-OAPEN frei verfügbar für Europa-Universität Flensburg, Hochschule Flensburg und Zentrale Hochschulbibliothek Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. z 01-03-23 161 01 0960 4278129688 OLR-OAPEN OAPEN Online Library Open Access eBook z 28-02-23 187 01 3520 4278514476 JSTOR Open Access eBook z 28-02-23 213 01 0551 4279228485 OLR-OAPEN OAPEN Online Library Open Access eBook z 01-03-23 230 01 0552 4279405662 OLR-OAPEN OAPEN Online Library Open Access eBook z 01-03-23 283 01 3283 4279764573 OLR-OAL z 01-03-23 293 01 3293 4278308698 OLR-OAPEN OAPEN Online Library Open Access eBook z 28-02-23 370 01 4370 4279051054 OLR-FREE Kostenloser Zugriff z 01-03-23 603 01 4603 4277951724 OLR-OAPEN Bitte beachten Sie die Nutzungsbedingungen und Copyright-Bestimmungen des Verlages/Herausgebers. z 28-02-23 808 01 4808 4280854033 OLR-OAPEN OAPEN Library zg 01-03-23 2403 01 DE-LFER 4307804244 00 --%%-- --%%-- n --%%-- l01 12-04-23 22 01 0018 Volltextzugang https://library.oapen.org/handle/20.500.12657/48219 23 01 0830 https://library.oapen.org/handle/20.500.12657/48219 30 01 0104 Open Access https://library.oapen.org/handle/20.500.12657/48219 31 01 0027 eBook GBV-OAPEN https://library.oapen.org/handle/20.500.12657/48219 34 01 3551 OpenAccess https://library.oapen.org/handle/20.500.12657/48219 40 01 0007 Volltext, Open Access https://library.oapen.org/handle/20.500.12657/48219 63 01 3401 E-Book https://library.oapen.org/handle/20.500.12657/48219 65 01 0003 Open Access https://library.oapen.org/handle/20.500.12657/48219 65 01 0003 Dieser Titel ist Teil einer Datenbank http://www.bibliothek.uni-regensburg.de/dbinfo/detail.php?titel_id=10728&bib_id=ulb_hal 70 01 0089 https://library.oapen.org/handle/20.500.12657/48219 LF 72 01 0035 https://library.oapen.org/handle/20.500.12657/48219 95 01 3095 https://library.oapen.org/handle/20.500.12657/48219 110 01 3110 Open Access https://library.oapen.org/handle/20.500.12657/48219 136 01 3526 Open Access https://library.oapen.org/handle/20.500.12657/48219 147 01 3528 https://library.oapen.org/handle/20.500.12657/48219 161 01 0960 https://library.oapen.org/handle/20.500.12657/48219 LF 187 01 3520 https://library.oapen.org/handle/20.500.12657/48219 213 01 0551 https://library.oapen.org/handle/20.500.12657/48219 230 01 0552 https://library.oapen.org/handle/20.500.12657/48219 283 01 3283 https://library.oapen.org/handle/20.500.12657/48219 293 01 3293 https://library.oapen.org/handle/20.500.12657/48219 LF 370 01 4370 https://library.oapen.org/handle/20.500.12657/48219 603 01 4603 https://library.oapen.org/handle/20.500.12657/48219 808 01 4808 Volltextzugang https://library.oapen.org/handle/20.500.12657/48219 2403 01 DE-LFER https://library.oapen.org/bitstream/id/a0c05cf4-1de4-4237-9543-824426acd0d2/9783030720131.pdf 31 01 0027 00 eBook GBV-OAPEN 22 01 0018 OLR-ZDB-94-OAL 23 01 0830 OLR-OAPEN 30 01 0104 GBV-OAPEN 34 01 3551 OLR-OAPEN 39 01 0547 GBV-OAPEN 39 01 0547 LF 40 01 0007 OLR-OAPEN 63 01 3401 E-Books LF GBV-OAPEN 65 01 0003 OLR-OAPEN 70 01 0089 OLR-OAPEN-OA 72 01 0035 OLR-OAPEN-OA 95 01 3095 OLR-OAL 110 01 3110 OLR-GBV-OAPEN 136 01 3526 OLR-OAPEN 147 01 3528 OLR-OAPEN 161 01 0960 OLR-OAPEN 213 01 0551 OLR-OAPEN 230 01 0552 OLR-OAPEN 283 01 3283 OLR-OAL 293 01 3293 OLR-OAPEN 370 01 4370 OLR-FREE 370 01 4370 olr-ebook GBV-OAPEN 603 01 4603 OLR-OAPEN 808 01 4808 OLR-OAPEN |
spelling |
9783030720131 978-3-030-72013-1 978 (DE-627)1836466625 (DE-599)KEP077594878 (OCoLC)1286302962 (OAPEN)48219 (EBP)077594878 DE-627 eng DE-627 rda eng UY bicssc UT bicssc UM bicssc UMZ bicssc Groote, Jan Friso verfasserin aut Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II [Erscheinungsort nicht ermittelbar] Springer Nature 2021 1 Online-Ressource (465 p.) Text txt rdacontent Computermedien c rdamedia Online-Ressource cr rdacarrier Lecture Notes in Computer Science; Theoretical Computer Science and General Issues 12652 Open Access Unrestricted online access star This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers. The papers are organized in topical sections as follows: Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks; Analysis of Network Communication. Part II: Verification Techniques (not SMT); Case Studies; Proof Generation/Validation; Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers Creative Commons https://creativecommons.org/licenses/by/4.0 cc English Computer networking & communications Computer programming / software development Computer science Software Engineering Computer programming / software engineering Computer networking and communications Larsen, Kim Guldstrand herausgeberin edt https://library.oapen.org/bitstream/id/a0c05cf4-1de4-4237-9543-824426acd0d2/9783030720131.pdf X:OAPEN Verlag kostenfrei https://library.oapen.org/handle/20.500.12657/48219 X:OAPEN Verlag kostenfrei ZDB-94-OAL GBV_ILN_22 ISIL_DE-18 SYSFLAG_1 GBV_KXP GBV_ILN_23 ISIL_DE-830 GBV_ILN_30 ISIL_DE-104 GBV_ILN_31 ISIL_DE-27 GBV_ILN_34 ISIL_DE-18-302 GBV_ILN_39 ISIL_DE-547 GBV_ILN_40 ISIL_DE-7 GBV_ILN_63 ISIL_DE-Wim2 GBV_ILN_65 ISIL_DE-3 GBV_ILN_70 ISIL_DE-89 GBV_ILN_72 ISIL_DE-35 GBV_ILN_95 ISIL_DE-542 GBV_ILN_110 ISIL_DE-Luen4 GBV_ILN_136 ISIL_DE-Wis1 GBV_ILN_147 ISIL_DE-Fl3 GBV_ILN_161 ISIL_DE-960 GBV_ILN_187 ISIL_DE-Ki95 GBV_ILN_213 ISIL_DE-551 GBV_ILN_230 ISIL_DE-552 GBV_ILN_283 ISIL_DE-Ha163 GBV_ILN_293 ISIL_DE-960-3 GBV_ILN_370 ISIL_DE-1373 GBV_ILN_603 ISIL_DE-B1556 GBV_ILN_808 GBV_ILN_2403 ISIL_DE-LFER BO 22 01 0018 4280123039 OLR-ZDB-94-OAL OAPEN Library zu 01-03-23 23 01 0830 4280675090 OLR-OAPEN f z 01-03-23 30 01 0104 4281035753 GBV-OAPEN z 01-03-23 31 01 0027 428031778X z 01-03-23 34 01 3551 427887331X OLR-OAPEN zi002 01-03-23 39 01 0547 4281226826 GBV-OAPEN ke 01-03-23 40 01 0007 4279941807 OLR-OAPEN xsn 01-03-23 63 01 3401 4281608680 E-Books LF GBV-OAPEN z 01-03-23 65 01 0003 4281858741 OLR-OAPEN z 01-03-23 70 01 0089 4280496110 OLR-OAPEN-OA OAPEN Online Library Open Access eBook z 01-03-23 72 01 0035 4278695926 OLR-OAPEN-OA OAPEN Online Library Open Access eBook z 01-03-23 95 01 3095 4343222640 OLR-OAL Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. z 24-06-23 110 01 3110 4281411836 OLR-GBV-OAPEN Open Access z 01-03-23 136 01 3526 4279582874 OLR-OAPEN z 01-03-23 147 01 3528 428205719X OLR-OAPEN frei verfügbar für Europa-Universität Flensburg, Hochschule Flensburg und Zentrale Hochschulbibliothek Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. z 01-03-23 161 01 0960 4278129688 OLR-OAPEN OAPEN Online Library Open Access eBook z 28-02-23 187 01 3520 4278514476 JSTOR Open Access eBook z 28-02-23 213 01 0551 4279228485 OLR-OAPEN OAPEN Online Library Open Access eBook z 01-03-23 230 01 0552 4279405662 OLR-OAPEN OAPEN Online Library Open Access eBook z 01-03-23 283 01 3283 4279764573 OLR-OAL z 01-03-23 293 01 3293 4278308698 OLR-OAPEN OAPEN Online Library Open Access eBook z 28-02-23 370 01 4370 4279051054 OLR-FREE Kostenloser Zugriff z 01-03-23 603 01 4603 4277951724 OLR-OAPEN Bitte beachten Sie die Nutzungsbedingungen und Copyright-Bestimmungen des Verlages/Herausgebers. z 28-02-23 808 01 4808 4280854033 OLR-OAPEN OAPEN Library zg 01-03-23 2403 01 DE-LFER 4307804244 00 --%%-- --%%-- n --%%-- l01 12-04-23 22 01 0018 Volltextzugang https://library.oapen.org/handle/20.500.12657/48219 23 01 0830 https://library.oapen.org/handle/20.500.12657/48219 30 01 0104 Open Access https://library.oapen.org/handle/20.500.12657/48219 31 01 0027 eBook GBV-OAPEN https://library.oapen.org/handle/20.500.12657/48219 34 01 3551 OpenAccess https://library.oapen.org/handle/20.500.12657/48219 40 01 0007 Volltext, Open Access https://library.oapen.org/handle/20.500.12657/48219 63 01 3401 E-Book https://library.oapen.org/handle/20.500.12657/48219 65 01 0003 Open Access https://library.oapen.org/handle/20.500.12657/48219 65 01 0003 Dieser Titel ist Teil einer Datenbank http://www.bibliothek.uni-regensburg.de/dbinfo/detail.php?titel_id=10728&bib_id=ulb_hal 70 01 0089 https://library.oapen.org/handle/20.500.12657/48219 LF 72 01 0035 https://library.oapen.org/handle/20.500.12657/48219 95 01 3095 https://library.oapen.org/handle/20.500.12657/48219 110 01 3110 Open Access https://library.oapen.org/handle/20.500.12657/48219 136 01 3526 Open Access https://library.oapen.org/handle/20.500.12657/48219 147 01 3528 https://library.oapen.org/handle/20.500.12657/48219 161 01 0960 https://library.oapen.org/handle/20.500.12657/48219 LF 187 01 3520 https://library.oapen.org/handle/20.500.12657/48219 213 01 0551 https://library.oapen.org/handle/20.500.12657/48219 230 01 0552 https://library.oapen.org/handle/20.500.12657/48219 283 01 3283 https://library.oapen.org/handle/20.500.12657/48219 293 01 3293 https://library.oapen.org/handle/20.500.12657/48219 LF 370 01 4370 https://library.oapen.org/handle/20.500.12657/48219 603 01 4603 https://library.oapen.org/handle/20.500.12657/48219 808 01 4808 Volltextzugang https://library.oapen.org/handle/20.500.12657/48219 2403 01 DE-LFER https://library.oapen.org/bitstream/id/a0c05cf4-1de4-4237-9543-824426acd0d2/9783030720131.pdf 31 01 0027 00 eBook GBV-OAPEN 22 01 0018 OLR-ZDB-94-OAL 23 01 0830 OLR-OAPEN 30 01 0104 GBV-OAPEN 34 01 3551 OLR-OAPEN 39 01 0547 GBV-OAPEN 39 01 0547 LF 40 01 0007 OLR-OAPEN 63 01 3401 E-Books LF GBV-OAPEN 65 01 0003 OLR-OAPEN 70 01 0089 OLR-OAPEN-OA 72 01 0035 OLR-OAPEN-OA 95 01 3095 OLR-OAL 110 01 3110 OLR-GBV-OAPEN 136 01 3526 OLR-OAPEN 147 01 3528 OLR-OAPEN 161 01 0960 OLR-OAPEN 213 01 0551 OLR-OAPEN 230 01 0552 OLR-OAPEN 283 01 3283 OLR-OAL 293 01 3293 OLR-OAPEN 370 01 4370 OLR-FREE 370 01 4370 olr-ebook GBV-OAPEN 603 01 4603 OLR-OAPEN 808 01 4808 OLR-OAPEN |
allfields_unstemmed |
9783030720131 978-3-030-72013-1 978 (DE-627)1836466625 (DE-599)KEP077594878 (OCoLC)1286302962 (OAPEN)48219 (EBP)077594878 DE-627 eng DE-627 rda eng UY bicssc UT bicssc UM bicssc UMZ bicssc Groote, Jan Friso verfasserin aut Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II [Erscheinungsort nicht ermittelbar] Springer Nature 2021 1 Online-Ressource (465 p.) Text txt rdacontent Computermedien c rdamedia Online-Ressource cr rdacarrier Lecture Notes in Computer Science; Theoretical Computer Science and General Issues 12652 Open Access Unrestricted online access star This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers. The papers are organized in topical sections as follows: Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks; Analysis of Network Communication. Part II: Verification Techniques (not SMT); Case Studies; Proof Generation/Validation; Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers Creative Commons https://creativecommons.org/licenses/by/4.0 cc English Computer networking & communications Computer programming / software development Computer science Software Engineering Computer programming / software engineering Computer networking and communications Larsen, Kim Guldstrand herausgeberin edt https://library.oapen.org/bitstream/id/a0c05cf4-1de4-4237-9543-824426acd0d2/9783030720131.pdf X:OAPEN Verlag kostenfrei https://library.oapen.org/handle/20.500.12657/48219 X:OAPEN Verlag kostenfrei ZDB-94-OAL GBV_ILN_22 ISIL_DE-18 SYSFLAG_1 GBV_KXP GBV_ILN_23 ISIL_DE-830 GBV_ILN_30 ISIL_DE-104 GBV_ILN_31 ISIL_DE-27 GBV_ILN_34 ISIL_DE-18-302 GBV_ILN_39 ISIL_DE-547 GBV_ILN_40 ISIL_DE-7 GBV_ILN_63 ISIL_DE-Wim2 GBV_ILN_65 ISIL_DE-3 GBV_ILN_70 ISIL_DE-89 GBV_ILN_72 ISIL_DE-35 GBV_ILN_95 ISIL_DE-542 GBV_ILN_110 ISIL_DE-Luen4 GBV_ILN_136 ISIL_DE-Wis1 GBV_ILN_147 ISIL_DE-Fl3 GBV_ILN_161 ISIL_DE-960 GBV_ILN_187 ISIL_DE-Ki95 GBV_ILN_213 ISIL_DE-551 GBV_ILN_230 ISIL_DE-552 GBV_ILN_283 ISIL_DE-Ha163 GBV_ILN_293 ISIL_DE-960-3 GBV_ILN_370 ISIL_DE-1373 GBV_ILN_603 ISIL_DE-B1556 GBV_ILN_808 GBV_ILN_2403 ISIL_DE-LFER BO 22 01 0018 4280123039 OLR-ZDB-94-OAL OAPEN Library zu 01-03-23 23 01 0830 4280675090 OLR-OAPEN f z 01-03-23 30 01 0104 4281035753 GBV-OAPEN z 01-03-23 31 01 0027 428031778X z 01-03-23 34 01 3551 427887331X OLR-OAPEN zi002 01-03-23 39 01 0547 4281226826 GBV-OAPEN ke 01-03-23 40 01 0007 4279941807 OLR-OAPEN xsn 01-03-23 63 01 3401 4281608680 E-Books LF GBV-OAPEN z 01-03-23 65 01 0003 4281858741 OLR-OAPEN z 01-03-23 70 01 0089 4280496110 OLR-OAPEN-OA OAPEN Online Library Open Access eBook z 01-03-23 72 01 0035 4278695926 OLR-OAPEN-OA OAPEN Online Library Open Access eBook z 01-03-23 95 01 3095 4343222640 OLR-OAL Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. z 24-06-23 110 01 3110 4281411836 OLR-GBV-OAPEN Open Access z 01-03-23 136 01 3526 4279582874 OLR-OAPEN z 01-03-23 147 01 3528 428205719X OLR-OAPEN frei verfügbar für Europa-Universität Flensburg, Hochschule Flensburg und Zentrale Hochschulbibliothek Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. z 01-03-23 161 01 0960 4278129688 OLR-OAPEN OAPEN Online Library Open Access eBook z 28-02-23 187 01 3520 4278514476 JSTOR Open Access eBook z 28-02-23 213 01 0551 4279228485 OLR-OAPEN OAPEN Online Library Open Access eBook z 01-03-23 230 01 0552 4279405662 OLR-OAPEN OAPEN Online Library Open Access eBook z 01-03-23 283 01 3283 4279764573 OLR-OAL z 01-03-23 293 01 3293 4278308698 OLR-OAPEN OAPEN Online Library Open Access eBook z 28-02-23 370 01 4370 4279051054 OLR-FREE Kostenloser Zugriff z 01-03-23 603 01 4603 4277951724 OLR-OAPEN Bitte beachten Sie die Nutzungsbedingungen und Copyright-Bestimmungen des Verlages/Herausgebers. z 28-02-23 808 01 4808 4280854033 OLR-OAPEN OAPEN Library zg 01-03-23 2403 01 DE-LFER 4307804244 00 --%%-- --%%-- n --%%-- l01 12-04-23 22 01 0018 Volltextzugang https://library.oapen.org/handle/20.500.12657/48219 23 01 0830 https://library.oapen.org/handle/20.500.12657/48219 30 01 0104 Open Access https://library.oapen.org/handle/20.500.12657/48219 31 01 0027 eBook GBV-OAPEN https://library.oapen.org/handle/20.500.12657/48219 34 01 3551 OpenAccess https://library.oapen.org/handle/20.500.12657/48219 40 01 0007 Volltext, Open Access https://library.oapen.org/handle/20.500.12657/48219 63 01 3401 E-Book https://library.oapen.org/handle/20.500.12657/48219 65 01 0003 Open Access https://library.oapen.org/handle/20.500.12657/48219 65 01 0003 Dieser Titel ist Teil einer Datenbank http://www.bibliothek.uni-regensburg.de/dbinfo/detail.php?titel_id=10728&bib_id=ulb_hal 70 01 0089 https://library.oapen.org/handle/20.500.12657/48219 LF 72 01 0035 https://library.oapen.org/handle/20.500.12657/48219 95 01 3095 https://library.oapen.org/handle/20.500.12657/48219 110 01 3110 Open Access https://library.oapen.org/handle/20.500.12657/48219 136 01 3526 Open Access https://library.oapen.org/handle/20.500.12657/48219 147 01 3528 https://library.oapen.org/handle/20.500.12657/48219 161 01 0960 https://library.oapen.org/handle/20.500.12657/48219 LF 187 01 3520 https://library.oapen.org/handle/20.500.12657/48219 213 01 0551 https://library.oapen.org/handle/20.500.12657/48219 230 01 0552 https://library.oapen.org/handle/20.500.12657/48219 283 01 3283 https://library.oapen.org/handle/20.500.12657/48219 293 01 3293 https://library.oapen.org/handle/20.500.12657/48219 LF 370 01 4370 https://library.oapen.org/handle/20.500.12657/48219 603 01 4603 https://library.oapen.org/handle/20.500.12657/48219 808 01 4808 Volltextzugang https://library.oapen.org/handle/20.500.12657/48219 2403 01 DE-LFER https://library.oapen.org/bitstream/id/a0c05cf4-1de4-4237-9543-824426acd0d2/9783030720131.pdf 31 01 0027 00 eBook GBV-OAPEN 22 01 0018 OLR-ZDB-94-OAL 23 01 0830 OLR-OAPEN 30 01 0104 GBV-OAPEN 34 01 3551 OLR-OAPEN 39 01 0547 GBV-OAPEN 39 01 0547 LF 40 01 0007 OLR-OAPEN 63 01 3401 E-Books LF GBV-OAPEN 65 01 0003 OLR-OAPEN 70 01 0089 OLR-OAPEN-OA 72 01 0035 OLR-OAPEN-OA 95 01 3095 OLR-OAL 110 01 3110 OLR-GBV-OAPEN 136 01 3526 OLR-OAPEN 147 01 3528 OLR-OAPEN 161 01 0960 OLR-OAPEN 213 01 0551 OLR-OAPEN 230 01 0552 OLR-OAPEN 283 01 3283 OLR-OAL 293 01 3293 OLR-OAPEN 370 01 4370 OLR-FREE 370 01 4370 olr-ebook GBV-OAPEN 603 01 4603 OLR-OAPEN 808 01 4808 OLR-OAPEN |
allfieldsGer |
9783030720131 978-3-030-72013-1 978 (DE-627)1836466625 (DE-599)KEP077594878 (OCoLC)1286302962 (OAPEN)48219 (EBP)077594878 DE-627 eng DE-627 rda eng UY bicssc UT bicssc UM bicssc UMZ bicssc Groote, Jan Friso verfasserin aut Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II [Erscheinungsort nicht ermittelbar] Springer Nature 2021 1 Online-Ressource (465 p.) Text txt rdacontent Computermedien c rdamedia Online-Ressource cr rdacarrier Lecture Notes in Computer Science; Theoretical Computer Science and General Issues 12652 Open Access Unrestricted online access star This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers. The papers are organized in topical sections as follows: Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks; Analysis of Network Communication. Part II: Verification Techniques (not SMT); Case Studies; Proof Generation/Validation; Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers Creative Commons https://creativecommons.org/licenses/by/4.0 cc English Computer networking & communications Computer programming / software development Computer science Software Engineering Computer programming / software engineering Computer networking and communications Larsen, Kim Guldstrand herausgeberin edt https://library.oapen.org/bitstream/id/a0c05cf4-1de4-4237-9543-824426acd0d2/9783030720131.pdf X:OAPEN Verlag kostenfrei https://library.oapen.org/handle/20.500.12657/48219 X:OAPEN Verlag kostenfrei ZDB-94-OAL GBV_ILN_22 ISIL_DE-18 SYSFLAG_1 GBV_KXP GBV_ILN_23 ISIL_DE-830 GBV_ILN_30 ISIL_DE-104 GBV_ILN_31 ISIL_DE-27 GBV_ILN_34 ISIL_DE-18-302 GBV_ILN_39 ISIL_DE-547 GBV_ILN_40 ISIL_DE-7 GBV_ILN_63 ISIL_DE-Wim2 GBV_ILN_65 ISIL_DE-3 GBV_ILN_70 ISIL_DE-89 GBV_ILN_72 ISIL_DE-35 GBV_ILN_95 ISIL_DE-542 GBV_ILN_110 ISIL_DE-Luen4 GBV_ILN_136 ISIL_DE-Wis1 GBV_ILN_147 ISIL_DE-Fl3 GBV_ILN_161 ISIL_DE-960 GBV_ILN_187 ISIL_DE-Ki95 GBV_ILN_213 ISIL_DE-551 GBV_ILN_230 ISIL_DE-552 GBV_ILN_283 ISIL_DE-Ha163 GBV_ILN_293 ISIL_DE-960-3 GBV_ILN_370 ISIL_DE-1373 GBV_ILN_603 ISIL_DE-B1556 GBV_ILN_808 GBV_ILN_2403 ISIL_DE-LFER BO 22 01 0018 4280123039 OLR-ZDB-94-OAL OAPEN Library zu 01-03-23 23 01 0830 4280675090 OLR-OAPEN f z 01-03-23 30 01 0104 4281035753 GBV-OAPEN z 01-03-23 31 01 0027 428031778X z 01-03-23 34 01 3551 427887331X OLR-OAPEN zi002 01-03-23 39 01 0547 4281226826 GBV-OAPEN ke 01-03-23 40 01 0007 4279941807 OLR-OAPEN xsn 01-03-23 63 01 3401 4281608680 E-Books LF GBV-OAPEN z 01-03-23 65 01 0003 4281858741 OLR-OAPEN z 01-03-23 70 01 0089 4280496110 OLR-OAPEN-OA OAPEN Online Library Open Access eBook z 01-03-23 72 01 0035 4278695926 OLR-OAPEN-OA OAPEN Online Library Open Access eBook z 01-03-23 95 01 3095 4343222640 OLR-OAL Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. z 24-06-23 110 01 3110 4281411836 OLR-GBV-OAPEN Open Access z 01-03-23 136 01 3526 4279582874 OLR-OAPEN z 01-03-23 147 01 3528 428205719X OLR-OAPEN frei verfügbar für Europa-Universität Flensburg, Hochschule Flensburg und Zentrale Hochschulbibliothek Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. z 01-03-23 161 01 0960 4278129688 OLR-OAPEN OAPEN Online Library Open Access eBook z 28-02-23 187 01 3520 4278514476 JSTOR Open Access eBook z 28-02-23 213 01 0551 4279228485 OLR-OAPEN OAPEN Online Library Open Access eBook z 01-03-23 230 01 0552 4279405662 OLR-OAPEN OAPEN Online Library Open Access eBook z 01-03-23 283 01 3283 4279764573 OLR-OAL z 01-03-23 293 01 3293 4278308698 OLR-OAPEN OAPEN Online Library Open Access eBook z 28-02-23 370 01 4370 4279051054 OLR-FREE Kostenloser Zugriff z 01-03-23 603 01 4603 4277951724 OLR-OAPEN Bitte beachten Sie die Nutzungsbedingungen und Copyright-Bestimmungen des Verlages/Herausgebers. z 28-02-23 808 01 4808 4280854033 OLR-OAPEN OAPEN Library zg 01-03-23 2403 01 DE-LFER 4307804244 00 --%%-- --%%-- n --%%-- l01 12-04-23 22 01 0018 Volltextzugang https://library.oapen.org/handle/20.500.12657/48219 23 01 0830 https://library.oapen.org/handle/20.500.12657/48219 30 01 0104 Open Access https://library.oapen.org/handle/20.500.12657/48219 31 01 0027 eBook GBV-OAPEN https://library.oapen.org/handle/20.500.12657/48219 34 01 3551 OpenAccess https://library.oapen.org/handle/20.500.12657/48219 40 01 0007 Volltext, Open Access https://library.oapen.org/handle/20.500.12657/48219 63 01 3401 E-Book https://library.oapen.org/handle/20.500.12657/48219 65 01 0003 Open Access https://library.oapen.org/handle/20.500.12657/48219 65 01 0003 Dieser Titel ist Teil einer Datenbank http://www.bibliothek.uni-regensburg.de/dbinfo/detail.php?titel_id=10728&bib_id=ulb_hal 70 01 0089 https://library.oapen.org/handle/20.500.12657/48219 LF 72 01 0035 https://library.oapen.org/handle/20.500.12657/48219 95 01 3095 https://library.oapen.org/handle/20.500.12657/48219 110 01 3110 Open Access https://library.oapen.org/handle/20.500.12657/48219 136 01 3526 Open Access https://library.oapen.org/handle/20.500.12657/48219 147 01 3528 https://library.oapen.org/handle/20.500.12657/48219 161 01 0960 https://library.oapen.org/handle/20.500.12657/48219 LF 187 01 3520 https://library.oapen.org/handle/20.500.12657/48219 213 01 0551 https://library.oapen.org/handle/20.500.12657/48219 230 01 0552 https://library.oapen.org/handle/20.500.12657/48219 283 01 3283 https://library.oapen.org/handle/20.500.12657/48219 293 01 3293 https://library.oapen.org/handle/20.500.12657/48219 LF 370 01 4370 https://library.oapen.org/handle/20.500.12657/48219 603 01 4603 https://library.oapen.org/handle/20.500.12657/48219 808 01 4808 Volltextzugang https://library.oapen.org/handle/20.500.12657/48219 2403 01 DE-LFER https://library.oapen.org/bitstream/id/a0c05cf4-1de4-4237-9543-824426acd0d2/9783030720131.pdf 31 01 0027 00 eBook GBV-OAPEN 22 01 0018 OLR-ZDB-94-OAL 23 01 0830 OLR-OAPEN 30 01 0104 GBV-OAPEN 34 01 3551 OLR-OAPEN 39 01 0547 GBV-OAPEN 39 01 0547 LF 40 01 0007 OLR-OAPEN 63 01 3401 E-Books LF GBV-OAPEN 65 01 0003 OLR-OAPEN 70 01 0089 OLR-OAPEN-OA 72 01 0035 OLR-OAPEN-OA 95 01 3095 OLR-OAL 110 01 3110 OLR-GBV-OAPEN 136 01 3526 OLR-OAPEN 147 01 3528 OLR-OAPEN 161 01 0960 OLR-OAPEN 213 01 0551 OLR-OAPEN 230 01 0552 OLR-OAPEN 283 01 3283 OLR-OAL 293 01 3293 OLR-OAPEN 370 01 4370 OLR-FREE 370 01 4370 olr-ebook GBV-OAPEN 603 01 4603 OLR-OAPEN 808 01 4808 OLR-OAPEN |
allfieldsSound |
9783030720131 978-3-030-72013-1 978 (DE-627)1836466625 (DE-599)KEP077594878 (OCoLC)1286302962 (OAPEN)48219 (EBP)077594878 DE-627 eng DE-627 rda eng UY bicssc UT bicssc UM bicssc UMZ bicssc Groote, Jan Friso verfasserin aut Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II [Erscheinungsort nicht ermittelbar] Springer Nature 2021 1 Online-Ressource (465 p.) Text txt rdacontent Computermedien c rdamedia Online-Ressource cr rdacarrier Lecture Notes in Computer Science; Theoretical Computer Science and General Issues 12652 Open Access Unrestricted online access star This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers. The papers are organized in topical sections as follows: Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks; Analysis of Network Communication. Part II: Verification Techniques (not SMT); Case Studies; Proof Generation/Validation; Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers Creative Commons https://creativecommons.org/licenses/by/4.0 cc English Computer networking & communications Computer programming / software development Computer science Software Engineering Computer programming / software engineering Computer networking and communications Larsen, Kim Guldstrand herausgeberin edt https://library.oapen.org/bitstream/id/a0c05cf4-1de4-4237-9543-824426acd0d2/9783030720131.pdf X:OAPEN Verlag kostenfrei https://library.oapen.org/handle/20.500.12657/48219 X:OAPEN Verlag kostenfrei ZDB-94-OAL GBV_ILN_22 ISIL_DE-18 SYSFLAG_1 GBV_KXP GBV_ILN_23 ISIL_DE-830 GBV_ILN_30 ISIL_DE-104 GBV_ILN_31 ISIL_DE-27 GBV_ILN_34 ISIL_DE-18-302 GBV_ILN_39 ISIL_DE-547 GBV_ILN_40 ISIL_DE-7 GBV_ILN_63 ISIL_DE-Wim2 GBV_ILN_65 ISIL_DE-3 GBV_ILN_70 ISIL_DE-89 GBV_ILN_72 ISIL_DE-35 GBV_ILN_95 ISIL_DE-542 GBV_ILN_110 ISIL_DE-Luen4 GBV_ILN_136 ISIL_DE-Wis1 GBV_ILN_147 ISIL_DE-Fl3 GBV_ILN_161 ISIL_DE-960 GBV_ILN_187 ISIL_DE-Ki95 GBV_ILN_213 ISIL_DE-551 GBV_ILN_230 ISIL_DE-552 GBV_ILN_283 ISIL_DE-Ha163 GBV_ILN_293 ISIL_DE-960-3 GBV_ILN_370 ISIL_DE-1373 GBV_ILN_603 ISIL_DE-B1556 GBV_ILN_808 GBV_ILN_2403 ISIL_DE-LFER BO 22 01 0018 4280123039 OLR-ZDB-94-OAL OAPEN Library zu 01-03-23 23 01 0830 4280675090 OLR-OAPEN f z 01-03-23 30 01 0104 4281035753 GBV-OAPEN z 01-03-23 31 01 0027 428031778X z 01-03-23 34 01 3551 427887331X OLR-OAPEN zi002 01-03-23 39 01 0547 4281226826 GBV-OAPEN ke 01-03-23 40 01 0007 4279941807 OLR-OAPEN xsn 01-03-23 63 01 3401 4281608680 E-Books LF GBV-OAPEN z 01-03-23 65 01 0003 4281858741 OLR-OAPEN z 01-03-23 70 01 0089 4280496110 OLR-OAPEN-OA OAPEN Online Library Open Access eBook z 01-03-23 72 01 0035 4278695926 OLR-OAPEN-OA OAPEN Online Library Open Access eBook z 01-03-23 95 01 3095 4343222640 OLR-OAL Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. z 24-06-23 110 01 3110 4281411836 OLR-GBV-OAPEN Open Access z 01-03-23 136 01 3526 4279582874 OLR-OAPEN z 01-03-23 147 01 3528 428205719X OLR-OAPEN frei verfügbar für Europa-Universität Flensburg, Hochschule Flensburg und Zentrale Hochschulbibliothek Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. z 01-03-23 161 01 0960 4278129688 OLR-OAPEN OAPEN Online Library Open Access eBook z 28-02-23 187 01 3520 4278514476 JSTOR Open Access eBook z 28-02-23 213 01 0551 4279228485 OLR-OAPEN OAPEN Online Library Open Access eBook z 01-03-23 230 01 0552 4279405662 OLR-OAPEN OAPEN Online Library Open Access eBook z 01-03-23 283 01 3283 4279764573 OLR-OAL z 01-03-23 293 01 3293 4278308698 OLR-OAPEN OAPEN Online Library Open Access eBook z 28-02-23 370 01 4370 4279051054 OLR-FREE Kostenloser Zugriff z 01-03-23 603 01 4603 4277951724 OLR-OAPEN Bitte beachten Sie die Nutzungsbedingungen und Copyright-Bestimmungen des Verlages/Herausgebers. z 28-02-23 808 01 4808 4280854033 OLR-OAPEN OAPEN Library zg 01-03-23 2403 01 DE-LFER 4307804244 00 --%%-- --%%-- n --%%-- l01 12-04-23 22 01 0018 Volltextzugang https://library.oapen.org/handle/20.500.12657/48219 23 01 0830 https://library.oapen.org/handle/20.500.12657/48219 30 01 0104 Open Access https://library.oapen.org/handle/20.500.12657/48219 31 01 0027 eBook GBV-OAPEN https://library.oapen.org/handle/20.500.12657/48219 34 01 3551 OpenAccess https://library.oapen.org/handle/20.500.12657/48219 40 01 0007 Volltext, Open Access https://library.oapen.org/handle/20.500.12657/48219 63 01 3401 E-Book https://library.oapen.org/handle/20.500.12657/48219 65 01 0003 Open Access https://library.oapen.org/handle/20.500.12657/48219 65 01 0003 Dieser Titel ist Teil einer Datenbank http://www.bibliothek.uni-regensburg.de/dbinfo/detail.php?titel_id=10728&bib_id=ulb_hal 70 01 0089 https://library.oapen.org/handle/20.500.12657/48219 LF 72 01 0035 https://library.oapen.org/handle/20.500.12657/48219 95 01 3095 https://library.oapen.org/handle/20.500.12657/48219 110 01 3110 Open Access https://library.oapen.org/handle/20.500.12657/48219 136 01 3526 Open Access https://library.oapen.org/handle/20.500.12657/48219 147 01 3528 https://library.oapen.org/handle/20.500.12657/48219 161 01 0960 https://library.oapen.org/handle/20.500.12657/48219 LF 187 01 3520 https://library.oapen.org/handle/20.500.12657/48219 213 01 0551 https://library.oapen.org/handle/20.500.12657/48219 230 01 0552 https://library.oapen.org/handle/20.500.12657/48219 283 01 3283 https://library.oapen.org/handle/20.500.12657/48219 293 01 3293 https://library.oapen.org/handle/20.500.12657/48219 LF 370 01 4370 https://library.oapen.org/handle/20.500.12657/48219 603 01 4603 https://library.oapen.org/handle/20.500.12657/48219 808 01 4808 Volltextzugang https://library.oapen.org/handle/20.500.12657/48219 2403 01 DE-LFER https://library.oapen.org/bitstream/id/a0c05cf4-1de4-4237-9543-824426acd0d2/9783030720131.pdf 31 01 0027 00 eBook GBV-OAPEN 22 01 0018 OLR-ZDB-94-OAL 23 01 0830 OLR-OAPEN 30 01 0104 GBV-OAPEN 34 01 3551 OLR-OAPEN 39 01 0547 GBV-OAPEN 39 01 0547 LF 40 01 0007 OLR-OAPEN 63 01 3401 E-Books LF GBV-OAPEN 65 01 0003 OLR-OAPEN 70 01 0089 OLR-OAPEN-OA 72 01 0035 OLR-OAPEN-OA 95 01 3095 OLR-OAL 110 01 3110 OLR-GBV-OAPEN 136 01 3526 OLR-OAPEN 147 01 3528 OLR-OAPEN 161 01 0960 OLR-OAPEN 213 01 0551 OLR-OAPEN 230 01 0552 OLR-OAPEN 283 01 3283 OLR-OAL 293 01 3293 OLR-OAPEN 370 01 4370 OLR-FREE 370 01 4370 olr-ebook GBV-OAPEN 603 01 4603 OLR-OAPEN 808 01 4808 OLR-OAPEN |
language |
English |
format_phy_str_mv |
Book |
building |
22:u 23 30 31 34:i 39:e 40:s 63 65 70 72 95 110 136 147 161 187 213 230 283 293 370 603 808:g 2403:0 |
institution |
findex.gbv.de |
selectbib_iln_str_mv |
22@u 23@ 30@ 31@ 34@i002 39@e 40@sn 63@ 65@ 70@ 72@ 95@ 110@ 136@ 147@ 161@ 187@ 213@ 230@ 283@ 293@ 370@ 603@ 808@g 2403@01 |
topic_facet |
Computer networking & communications Computer programming / software development Computer science Software Engineering Computer programming / software engineering Computer networking and communications |
sw_local_iln_str_mv |
31:eBook GBV-OAPEN 0027:eBook GBV-OAPEN |
isfreeaccess_bool |
true |
authorswithroles_txt_mv |
Groote, Jan Friso @@aut@@ Larsen, Kim Guldstrand @@edt@@ |
publishDateDaySort_date |
2021-01-01T00:00:00Z |
id |
1836466625 |
language_de |
englisch |
fullrecord |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01000cam a22002652 4500</leader><controlfield tag="001">1836466625</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20241008145554.0</controlfield><controlfield tag="007">cr uuu---uuuuu</controlfield><controlfield tag="008">220426s2021 xx |||||o 00| ||eng c</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783030720131</subfield><subfield code="9">978-3-030-72013-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">978</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)1836466625</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)KEP077594878</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1286302962</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OAPEN)48219</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(EBP)077594878</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-627</subfield><subfield code="b">eng</subfield><subfield code="c">DE-627</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">UY</subfield><subfield code="2">bicssc</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">UT</subfield><subfield code="2">bicssc</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">UM</subfield><subfield code="2">bicssc</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">UMZ</subfield><subfield code="2">bicssc</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Groote, Jan Friso</subfield><subfield code="e">verfasserin</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Tools and Algorithms for the Construction and Analysis of Systems</subfield><subfield code="b">27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">[Erscheinungsort nicht ermittelbar]</subfield><subfield code="b">Springer Nature</subfield><subfield code="c">2021</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (465 p.)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">Text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">Computermedien</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">Online-Ressource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Lecture Notes in Computer Science; Theoretical Computer Science and General Issues</subfield><subfield code="v">12652</subfield></datafield><datafield tag="506" ind1="0" ind2=" "><subfield code="a">Open Access</subfield><subfield code="f">Unrestricted online access</subfield><subfield code="2">star</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers. The papers are organized in topical sections as follows: Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks; Analysis of Network Communication. Part II: Verification Techniques (not SMT); Case Studies; Proof Generation/Validation; Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers</subfield></datafield><datafield tag="540" ind1=" " ind2=" "><subfield code="a">Creative Commons</subfield><subfield code="f">https://creativecommons.org/licenses/by/4.0</subfield><subfield code="2">cc</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">English</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer networking & communications</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programming / software development</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programming / software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer networking and communications</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Larsen, Kim Guldstrand</subfield><subfield code="e">herausgeberin</subfield><subfield code="4">edt</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://library.oapen.org/bitstream/id/a0c05cf4-1de4-4237-9543-824426acd0d2/9783030720131.pdf</subfield><subfield code="m">X:OAPEN</subfield><subfield code="x">Verlag</subfield><subfield code="z">kostenfrei</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://library.oapen.org/handle/20.500.12657/48219</subfield><subfield code="m">X:OAPEN</subfield><subfield code="x">Verlag</subfield><subfield code="z">kostenfrei</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-94-OAL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_22</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-18</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SYSFLAG_1</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_KXP</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_23</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-830</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_30</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-104</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_31</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-27</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_34</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-18-302</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_39</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-547</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_40</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-7</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_63</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-Wim2</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_65</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-3</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_70</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-89</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_72</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-35</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_95</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-542</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_110</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-Luen4</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_136</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-Wis1</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_147</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-Fl3</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_161</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-960</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_187</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-Ki95</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_213</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-551</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_230</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-552</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_283</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-Ha163</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_293</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-960-3</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_370</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-1373</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_603</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-B1556</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_808</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2403</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-LFER</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">BO</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">22</subfield><subfield code="1">01</subfield><subfield code="x">0018</subfield><subfield code="b">4280123039</subfield><subfield code="h">OLR-ZDB-94-OAL</subfield><subfield code="k">OAPEN Library</subfield><subfield code="y">zu</subfield><subfield code="z">01-03-23</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">23</subfield><subfield code="1">01</subfield><subfield code="x">0830</subfield><subfield code="b">4280675090</subfield><subfield code="h">OLR-OAPEN</subfield><subfield code="u">f</subfield><subfield code="y">z</subfield><subfield code="z">01-03-23</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">30</subfield><subfield code="1">01</subfield><subfield code="x">0104</subfield><subfield code="b">4281035753</subfield><subfield code="h">GBV-OAPEN</subfield><subfield code="y">z</subfield><subfield code="z">01-03-23</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">31</subfield><subfield code="1">01</subfield><subfield code="x">0027</subfield><subfield code="b">428031778X</subfield><subfield code="y">z</subfield><subfield code="z">01-03-23</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">34</subfield><subfield code="1">01</subfield><subfield code="x">3551</subfield><subfield code="b">427887331X</subfield><subfield code="h">OLR-OAPEN</subfield><subfield code="y">zi002</subfield><subfield code="z">01-03-23</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">39</subfield><subfield code="1">01</subfield><subfield code="x">0547</subfield><subfield code="b">4281226826</subfield><subfield code="h">GBV-OAPEN</subfield><subfield code="y">ke</subfield><subfield code="z">01-03-23</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">40</subfield><subfield code="1">01</subfield><subfield code="x">0007</subfield><subfield code="b">4279941807</subfield><subfield code="h">OLR-OAPEN</subfield><subfield code="y">xsn</subfield><subfield code="z">01-03-23</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">63</subfield><subfield code="1">01</subfield><subfield code="x">3401</subfield><subfield code="b">4281608680</subfield><subfield code="h">E-Books LF GBV-OAPEN</subfield><subfield code="y">z</subfield><subfield code="z">01-03-23</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">65</subfield><subfield code="1">01</subfield><subfield code="x">0003</subfield><subfield code="b">4281858741</subfield><subfield code="h">OLR-OAPEN</subfield><subfield code="y">z</subfield><subfield code="z">01-03-23</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">70</subfield><subfield code="1">01</subfield><subfield code="x">0089</subfield><subfield code="b">4280496110</subfield><subfield code="h">OLR-OAPEN-OA</subfield><subfield code="k">OAPEN Online Library Open Access eBook</subfield><subfield code="y">z</subfield><subfield code="z">01-03-23</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">72</subfield><subfield code="1">01</subfield><subfield code="x">0035</subfield><subfield code="b">4278695926</subfield><subfield code="h">OLR-OAPEN-OA</subfield><subfield code="k">OAPEN Online Library Open Access eBook</subfield><subfield code="y">z</subfield><subfield code="z">01-03-23</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">95</subfield><subfield code="1">01</subfield><subfield code="x">3095</subfield><subfield code="b">4343222640</subfield><subfield code="h">OLR-OAL</subfield><subfield code="k">Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt.</subfield><subfield code="y">z</subfield><subfield code="z">24-06-23</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">110</subfield><subfield code="1">01</subfield><subfield code="x">3110</subfield><subfield code="b">4281411836</subfield><subfield code="h">OLR-GBV-OAPEN</subfield><subfield code="k">Open Access</subfield><subfield code="y">z</subfield><subfield code="z">01-03-23</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">136</subfield><subfield code="1">01</subfield><subfield code="x">3526</subfield><subfield code="b">4279582874</subfield><subfield code="h">OLR-OAPEN</subfield><subfield code="y">z</subfield><subfield code="z">01-03-23</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">147</subfield><subfield code="1">01</subfield><subfield code="x">3528</subfield><subfield code="b">428205719X</subfield><subfield code="h">OLR-OAPEN</subfield><subfield code="k">frei verfügbar für Europa-Universität Flensburg, Hochschule Flensburg und Zentrale Hochschulbibliothek</subfield><subfield code="k">Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt.</subfield><subfield code="y">z</subfield><subfield code="z">01-03-23</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">161</subfield><subfield code="1">01</subfield><subfield code="x">0960</subfield><subfield code="b">4278129688</subfield><subfield code="h">OLR-OAPEN</subfield><subfield code="k">OAPEN Online Library Open Access eBook</subfield><subfield code="y">z</subfield><subfield code="z">28-02-23</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">187</subfield><subfield code="1">01</subfield><subfield code="x">3520</subfield><subfield code="b">4278514476</subfield><subfield code="k">JSTOR Open Access eBook</subfield><subfield code="y">z</subfield><subfield code="z">28-02-23</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">213</subfield><subfield code="1">01</subfield><subfield code="x">0551</subfield><subfield code="b">4279228485</subfield><subfield code="h">OLR-OAPEN</subfield><subfield code="k">OAPEN Online Library Open Access eBook</subfield><subfield code="y">z</subfield><subfield code="z">01-03-23</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">230</subfield><subfield code="1">01</subfield><subfield code="x">0552</subfield><subfield code="b">4279405662</subfield><subfield code="h">OLR-OAPEN</subfield><subfield code="k">OAPEN Online Library Open Access eBook</subfield><subfield code="y">z</subfield><subfield code="z">01-03-23</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">283</subfield><subfield code="1">01</subfield><subfield code="x">3283</subfield><subfield code="b">4279764573</subfield><subfield code="h">OLR-OAL</subfield><subfield code="y">z</subfield><subfield code="z">01-03-23</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">293</subfield><subfield code="1">01</subfield><subfield code="x">3293</subfield><subfield code="b">4278308698</subfield><subfield code="h">OLR-OAPEN</subfield><subfield code="k">OAPEN Online Library Open Access eBook</subfield><subfield code="y">z</subfield><subfield code="z">28-02-23</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">370</subfield><subfield code="1">01</subfield><subfield code="x">4370</subfield><subfield code="b">4279051054</subfield><subfield code="h">OLR-FREE</subfield><subfield code="k">Kostenloser Zugriff</subfield><subfield code="y">z</subfield><subfield code="z">01-03-23</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">603</subfield><subfield code="1">01</subfield><subfield code="x">4603</subfield><subfield code="b">4277951724</subfield><subfield code="h">OLR-OAPEN</subfield><subfield code="k">Bitte beachten Sie die Nutzungsbedingungen und Copyright-Bestimmungen des Verlages/Herausgebers.</subfield><subfield code="y">z</subfield><subfield code="z">28-02-23</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">808</subfield><subfield code="1">01</subfield><subfield code="x">4808</subfield><subfield code="b">4280854033</subfield><subfield code="h">OLR-OAPEN</subfield><subfield code="k">OAPEN Library</subfield><subfield code="y">zg</subfield><subfield code="z">01-03-23</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">2403</subfield><subfield code="1">01</subfield><subfield code="x">DE-LFER</subfield><subfield code="b">4307804244</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">--%%--</subfield><subfield code="e">n</subfield><subfield code="j">--%%--</subfield><subfield code="y">l01</subfield><subfield code="z">12-04-23</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">22</subfield><subfield code="1">01</subfield><subfield code="x">0018</subfield><subfield code="y">Volltextzugang</subfield><subfield code="r">https://library.oapen.org/handle/20.500.12657/48219</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">23</subfield><subfield code="1">01</subfield><subfield code="x">0830</subfield><subfield code="r">https://library.oapen.org/handle/20.500.12657/48219</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">30</subfield><subfield code="1">01</subfield><subfield code="x">0104</subfield><subfield code="y">Open Access</subfield><subfield code="r">https://library.oapen.org/handle/20.500.12657/48219</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">31</subfield><subfield code="1">01</subfield><subfield code="x">0027</subfield><subfield code="y">eBook GBV-OAPEN</subfield><subfield code="r">https://library.oapen.org/handle/20.500.12657/48219</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">34</subfield><subfield code="1">01</subfield><subfield code="x">3551</subfield><subfield code="y">OpenAccess</subfield><subfield code="r">https://library.oapen.org/handle/20.500.12657/48219</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">40</subfield><subfield code="1">01</subfield><subfield code="x">0007</subfield><subfield code="y">Volltext, Open Access</subfield><subfield code="r">https://library.oapen.org/handle/20.500.12657/48219</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">63</subfield><subfield code="1">01</subfield><subfield code="x">3401</subfield><subfield code="y">E-Book</subfield><subfield code="r">https://library.oapen.org/handle/20.500.12657/48219</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">65</subfield><subfield code="1">01</subfield><subfield code="x">0003</subfield><subfield code="y">Open Access</subfield><subfield code="r">https://library.oapen.org/handle/20.500.12657/48219</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">65</subfield><subfield code="1">01</subfield><subfield code="x">0003</subfield><subfield code="y">Dieser Titel ist Teil einer Datenbank</subfield><subfield code="r">http://www.bibliothek.uni-regensburg.de/dbinfo/detail.php?titel_id=10728&bib_id=ulb_hal</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">70</subfield><subfield code="1">01</subfield><subfield code="x">0089</subfield><subfield code="r">https://library.oapen.org/handle/20.500.12657/48219</subfield><subfield code="z">LF</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">72</subfield><subfield code="1">01</subfield><subfield code="x">0035</subfield><subfield code="r">https://library.oapen.org/handle/20.500.12657/48219</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">95</subfield><subfield code="1">01</subfield><subfield code="x">3095</subfield><subfield code="r">https://library.oapen.org/handle/20.500.12657/48219</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">110</subfield><subfield code="1">01</subfield><subfield code="x">3110</subfield><subfield code="y">Open Access</subfield><subfield code="r">https://library.oapen.org/handle/20.500.12657/48219</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">136</subfield><subfield code="1">01</subfield><subfield code="x">3526</subfield><subfield code="y">Open Access</subfield><subfield code="r">https://library.oapen.org/handle/20.500.12657/48219</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">147</subfield><subfield code="1">01</subfield><subfield code="x">3528</subfield><subfield code="r">https://library.oapen.org/handle/20.500.12657/48219</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">161</subfield><subfield code="1">01</subfield><subfield code="x">0960</subfield><subfield code="r">https://library.oapen.org/handle/20.500.12657/48219</subfield><subfield code="z">LF</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">187</subfield><subfield code="1">01</subfield><subfield code="x">3520</subfield><subfield code="r">https://library.oapen.org/handle/20.500.12657/48219</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">213</subfield><subfield code="1">01</subfield><subfield code="x">0551</subfield><subfield code="r">https://library.oapen.org/handle/20.500.12657/48219</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">230</subfield><subfield code="1">01</subfield><subfield code="x">0552</subfield><subfield code="r">https://library.oapen.org/handle/20.500.12657/48219</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">283</subfield><subfield code="1">01</subfield><subfield code="x">3283</subfield><subfield code="r">https://library.oapen.org/handle/20.500.12657/48219</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">293</subfield><subfield code="1">01</subfield><subfield code="x">3293</subfield><subfield code="r">https://library.oapen.org/handle/20.500.12657/48219</subfield><subfield code="z">LF</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">370</subfield><subfield code="1">01</subfield><subfield code="x">4370</subfield><subfield code="r">https://library.oapen.org/handle/20.500.12657/48219</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">603</subfield><subfield code="1">01</subfield><subfield code="x">4603</subfield><subfield code="r">https://library.oapen.org/handle/20.500.12657/48219</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">808</subfield><subfield code="1">01</subfield><subfield code="x">4808</subfield><subfield code="y">Volltextzugang</subfield><subfield code="r">https://library.oapen.org/handle/20.500.12657/48219</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">2403</subfield><subfield code="1">01</subfield><subfield code="x">DE-LFER</subfield><subfield code="r">https://library.oapen.org/bitstream/id/a0c05cf4-1de4-4237-9543-824426acd0d2/9783030720131.pdf</subfield></datafield><datafield tag="982" ind1=" " ind2=" "><subfield code="2">31</subfield><subfield code="1">01</subfield><subfield code="x">0027</subfield><subfield code="8">00</subfield><subfield code="a">eBook GBV-OAPEN</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">22</subfield><subfield code="1">01</subfield><subfield code="x">0018</subfield><subfield code="a">OLR-ZDB-94-OAL</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">23</subfield><subfield code="1">01</subfield><subfield code="x">0830</subfield><subfield code="a">OLR-OAPEN</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">30</subfield><subfield code="1">01</subfield><subfield code="x">0104</subfield><subfield code="a">GBV-OAPEN</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">34</subfield><subfield code="1">01</subfield><subfield code="x">3551</subfield><subfield code="a">OLR-OAPEN</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">39</subfield><subfield code="1">01</subfield><subfield code="x">0547</subfield><subfield code="a">GBV-OAPEN</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">39</subfield><subfield code="1">01</subfield><subfield code="x">0547</subfield><subfield code="a">LF</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">40</subfield><subfield code="1">01</subfield><subfield code="x">0007</subfield><subfield code="a">OLR-OAPEN</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">63</subfield><subfield code="1">01</subfield><subfield code="x">3401</subfield><subfield code="a">E-Books LF GBV-OAPEN</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">65</subfield><subfield code="1">01</subfield><subfield code="x">0003</subfield><subfield code="a">OLR-OAPEN</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">70</subfield><subfield code="1">01</subfield><subfield code="x">0089</subfield><subfield code="a">OLR-OAPEN-OA</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">72</subfield><subfield code="1">01</subfield><subfield code="x">0035</subfield><subfield code="a">OLR-OAPEN-OA</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">95</subfield><subfield code="1">01</subfield><subfield code="x">3095</subfield><subfield code="a">OLR-OAL</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">110</subfield><subfield code="1">01</subfield><subfield code="x">3110</subfield><subfield code="a">OLR-GBV-OAPEN</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">136</subfield><subfield code="1">01</subfield><subfield code="x">3526</subfield><subfield code="a">OLR-OAPEN</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">147</subfield><subfield code="1">01</subfield><subfield code="x">3528</subfield><subfield code="a">OLR-OAPEN</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">161</subfield><subfield code="1">01</subfield><subfield code="x">0960</subfield><subfield code="a">OLR-OAPEN</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">213</subfield><subfield code="1">01</subfield><subfield code="x">0551</subfield><subfield code="a">OLR-OAPEN</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">230</subfield><subfield code="1">01</subfield><subfield code="x">0552</subfield><subfield code="a">OLR-OAPEN</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">283</subfield><subfield code="1">01</subfield><subfield code="x">3283</subfield><subfield code="a">OLR-OAL</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">293</subfield><subfield code="1">01</subfield><subfield code="x">3293</subfield><subfield code="a">OLR-OAPEN</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">370</subfield><subfield code="1">01</subfield><subfield code="x">4370</subfield><subfield code="a">OLR-FREE</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">370</subfield><subfield code="1">01</subfield><subfield code="x">4370</subfield><subfield code="a">olr-ebook GBV-OAPEN</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">603</subfield><subfield code="1">01</subfield><subfield code="x">4603</subfield><subfield code="a">OLR-OAPEN</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">808</subfield><subfield code="1">01</subfield><subfield code="x">4808</subfield><subfield code="a">OLR-OAPEN</subfield></datafield></record></collection>
|
standort_str_mv |
--%%-- |
series2 |
Lecture Notes in Computer Science; Theoretical Computer Science and General Issues |
standort_iln_str_mv |
2403:--%%-- DE-LFER:--%%-- |
author |
Groote, Jan Friso |
spellingShingle |
Groote, Jan Friso misc Computer networking & communications misc Computer programming / software development misc Computer science misc Software Engineering misc Computer programming / software engineering misc Computer networking and communications 31 eBook GBV-OAPEN Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II |
authorStr |
Groote, Jan Friso |
format |
eBook |
delete_txt_mv |
keep |
author_role |
aut |
collection |
KXP GVK SWB |
publishPlace |
[Erscheinungsort nicht ermittelbar] |
remote_str |
true |
abrufzeichen_iln_str_mv |
22@OLR-ZDB-94-OAL 23@OLR-OAPEN 30@GBV-OAPEN 34@OLR-OAPEN 39@GBV-OAPEN 39@LF 40@OLR-OAPEN 63@E-Books LF GBV-OAPEN 65@OLR-OAPEN 70@OLR-OAPEN-OA 72@OLR-OAPEN-OA 95@OLR-OAL 110@OLR-GBV-OAPEN 136@OLR-OAPEN 147@OLR-OAPEN 161@OLR-OAPEN 213@OLR-OAPEN 230@OLR-OAPEN 283@OLR-OAL 293@OLR-OAPEN 370@OLR-FREE 370@olr-ebook GBV-OAPEN 603@OLR-OAPEN 808@OLR-OAPEN |
abrufzeichen_iln_scis_mv |
22@OLR-ZDB-94-OAL 23@OLR-OAPEN 30@GBV-OAPEN 34@OLR-OAPEN 39@GBV-OAPEN 39@LF 40@OLR-OAPEN 63@E-Books LF GBV-OAPEN 65@OLR-OAPEN 70@OLR-OAPEN-OA 72@OLR-OAPEN-OA 95@OLR-OAL 110@OLR-GBV-OAPEN 136@OLR-OAPEN 147@OLR-OAPEN 161@OLR-OAPEN 213@OLR-OAPEN 230@OLR-OAPEN 283@OLR-OAL 293@OLR-OAPEN 370@OLR-FREE 370@olr-ebook GBV-OAPEN 603@OLR-OAPEN 808@OLR-OAPEN |
last_changed_iln_str_mv |
22@01-03-23 23@01-03-23 30@01-03-23 31@01-03-23 34@01-03-23 39@01-03-23 40@01-03-23 63@01-03-23 65@01-03-23 70@01-03-23 72@01-03-23 95@24-06-23 110@01-03-23 136@01-03-23 147@01-03-23 161@28-02-23 187@28-02-23 213@01-03-23 230@01-03-23 283@01-03-23 293@28-02-23 370@01-03-23 603@28-02-23 808@01-03-23 2403@12-04-23 |
illustrated |
Not Illustrated |
topic_title |
31 01 0027 00 eBook GBV-OAPEN Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II Computer networking & communications Computer programming / software development Computer science Software Engineering Computer programming / software engineering Computer networking and communications |
publisher |
Springer Nature |
publisherStr |
Springer Nature |
topic |
misc Computer networking & communications misc Computer programming / software development misc Computer science misc Software Engineering misc Computer programming / software engineering misc Computer networking and communications 31 eBook GBV-OAPEN |
topic_unstemmed |
misc Computer networking & communications misc Computer programming / software development misc Computer science misc Software Engineering misc Computer programming / software engineering misc Computer networking and communications 31 eBook GBV-OAPEN |
topic_browse |
misc Computer networking & communications misc Computer programming / software development misc Computer science misc Software Engineering misc Computer programming / software engineering misc Computer networking and communications 31 eBook GBV-OAPEN |
format_facet |
Elektronische Bücher Bücher Elektronische Ressource |
standort_txtP_mv |
--%%-- |
format_main_str_mv |
Text Buch |
carriertype_str_mv |
cr |
author2_variant |
k g l kg kgl |
signature |
--%%-- |
signature_str_mv |
--%%-- |
isbn |
9783030720131 3030720136 |
isfreeaccess_txt |
true |
title |
Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II |
ctrlnum |
(DE-627)1836466625 (DE-599)KEP077594878 (OCoLC)1286302962 (OAPEN)48219 (EBP)077594878 |
exemplarkommentar_str_mv |
22@OAPEN Library 70@OAPEN Online Library Open Access eBook 72@OAPEN Online Library Open Access eBook 95@Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. 110@Open Access 147@frei verfügbar für Europa-Universität Flensburg, Hochschule Flensburg und Zentrale Hochschulbibliothek 147@Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. 161@OAPEN Online Library Open Access eBook 187@JSTOR Open Access eBook 213@OAPEN Online Library Open Access eBook 230@OAPEN Online Library Open Access eBook 293@OAPEN Online Library Open Access eBook 370@Kostenloser Zugriff 603@Bitte beachten Sie die Nutzungsbedingungen und Copyright-Bestimmungen des Verlages/Herausgebers. 808@OAPEN Library |
title_full |
Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II |
author_sort |
Groote, Jan Friso |
callnumber-first-code |
- |
lang_code |
eng |
isOA_bool |
true |
recordtype |
marc |
publishDateSort |
2021 |
contenttype_str_mv |
txt |
author_browse |
Groote, Jan Friso |
selectkey |
22:z 23:z 30:z 31:z 34:z 39:k 40:x 63:z 65:z 70:z 72:z 95:z 110:z 136:z 147:z 161:z 187:z 213:z 230:z 283:z 293:z 370:z 603:z 808:z 2403:l |
physical |
1 Online-Ressource (465 p.) |
format_se |
Elektronische Bücher |
author-letter |
Groote, Jan Friso |
title_sub |
27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II |
author2-role |
herausgeberin |
title_sort |
tools and algorithms for the construction and analysis of systems27th international conference, tacas 2021, held as part of the european joint conferences on theory and practice of software, etaps 2021, luxembourg city, luxembourg, march 27 – april 1, 2021, proceedings, part ii |
title_auth |
Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II |
abstract |
This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers. The papers are organized in topical sections as follows: Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks; Analysis of Network Communication. Part II: Verification Techniques (not SMT); Case Studies; Proof Generation/Validation; Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers |
abstractGer |
This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers. The papers are organized in topical sections as follows: Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks; Analysis of Network Communication. Part II: Verification Techniques (not SMT); Case Studies; Proof Generation/Validation; Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers |
abstract_unstemmed |
This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers. The papers are organized in topical sections as follows: Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks; Analysis of Network Communication. Part II: Verification Techniques (not SMT); Case Studies; Proof Generation/Validation; Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers |
collection_details |
ZDB-94-OAL GBV_ILN_22 ISIL_DE-18 SYSFLAG_1 GBV_KXP GBV_ILN_23 ISIL_DE-830 GBV_ILN_30 ISIL_DE-104 GBV_ILN_31 ISIL_DE-27 GBV_ILN_34 ISIL_DE-18-302 GBV_ILN_39 ISIL_DE-547 GBV_ILN_40 ISIL_DE-7 GBV_ILN_63 ISIL_DE-Wim2 GBV_ILN_65 ISIL_DE-3 GBV_ILN_70 ISIL_DE-89 GBV_ILN_72 ISIL_DE-35 GBV_ILN_95 ISIL_DE-542 GBV_ILN_110 ISIL_DE-Luen4 GBV_ILN_136 ISIL_DE-Wis1 GBV_ILN_147 ISIL_DE-Fl3 GBV_ILN_161 ISIL_DE-960 GBV_ILN_187 ISIL_DE-Ki95 GBV_ILN_213 ISIL_DE-551 GBV_ILN_230 ISIL_DE-552 GBV_ILN_283 ISIL_DE-Ha163 GBV_ILN_293 ISIL_DE-960-3 GBV_ILN_370 ISIL_DE-1373 GBV_ILN_603 ISIL_DE-B1556 GBV_ILN_808 GBV_ILN_2403 ISIL_DE-LFER |
title_short |
Tools and Algorithms for the Construction and Analysis of Systems |
url |
https://library.oapen.org/bitstream/id/a0c05cf4-1de4-4237-9543-824426acd0d2/9783030720131.pdf https://library.oapen.org/handle/20.500.12657/48219 |
ausleihindikator_str_mv |
22 23 30 31 34 39 40 63 65 70 72 95 110 136 147 161 187 213 230 283 293 370 603 808 2403:n |
remote_bool |
true |
author2 |
Larsen, Kim Guldstrand |
author2Str |
Larsen, Kim Guldstrand |
mediatype_str_mv |
c |
isOA_txt |
true |
hochschulschrift_bool |
false |
author2_role |
edt |
callnumber-a |
--%%-- |
up_date |
2024-10-09T03:33:34.849Z |
_version_ |
1812405750177202176 |
fullrecord_marcxml |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01000cam a22002652 4500</leader><controlfield tag="001">1836466625</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20241008145554.0</controlfield><controlfield tag="007">cr uuu---uuuuu</controlfield><controlfield tag="008">220426s2021 xx |||||o 00| ||eng c</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783030720131</subfield><subfield code="9">978-3-030-72013-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">978</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)1836466625</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)KEP077594878</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1286302962</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OAPEN)48219</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(EBP)077594878</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-627</subfield><subfield code="b">eng</subfield><subfield code="c">DE-627</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">UY</subfield><subfield code="2">bicssc</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">UT</subfield><subfield code="2">bicssc</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">UM</subfield><subfield code="2">bicssc</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">UMZ</subfield><subfield code="2">bicssc</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Groote, Jan Friso</subfield><subfield code="e">verfasserin</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Tools and Algorithms for the Construction and Analysis of Systems</subfield><subfield code="b">27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">[Erscheinungsort nicht ermittelbar]</subfield><subfield code="b">Springer Nature</subfield><subfield code="c">2021</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (465 p.)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">Text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">Computermedien</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">Online-Ressource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Lecture Notes in Computer Science; Theoretical Computer Science and General Issues</subfield><subfield code="v">12652</subfield></datafield><datafield tag="506" ind1="0" ind2=" "><subfield code="a">Open Access</subfield><subfield code="f">Unrestricted online access</subfield><subfield code="2">star</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers. The papers are organized in topical sections as follows: Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks; Analysis of Network Communication. Part II: Verification Techniques (not SMT); Case Studies; Proof Generation/Validation; Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers</subfield></datafield><datafield tag="540" ind1=" " ind2=" "><subfield code="a">Creative Commons</subfield><subfield code="f">https://creativecommons.org/licenses/by/4.0</subfield><subfield code="2">cc</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">English</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer networking & communications</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programming / software development</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programming / software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer networking and communications</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Larsen, Kim Guldstrand</subfield><subfield code="e">herausgeberin</subfield><subfield code="4">edt</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://library.oapen.org/bitstream/id/a0c05cf4-1de4-4237-9543-824426acd0d2/9783030720131.pdf</subfield><subfield code="m">X:OAPEN</subfield><subfield code="x">Verlag</subfield><subfield code="z">kostenfrei</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://library.oapen.org/handle/20.500.12657/48219</subfield><subfield code="m">X:OAPEN</subfield><subfield code="x">Verlag</subfield><subfield code="z">kostenfrei</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-94-OAL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_22</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-18</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SYSFLAG_1</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_KXP</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_23</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-830</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_30</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-104</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_31</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-27</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_34</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-18-302</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_39</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-547</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_40</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-7</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_63</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-Wim2</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_65</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-3</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_70</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-89</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_72</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-35</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_95</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-542</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_110</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-Luen4</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_136</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-Wis1</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_147</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-Fl3</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_161</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-960</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_187</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-Ki95</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_213</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-551</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_230</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-552</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_283</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-Ha163</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_293</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-960-3</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_370</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-1373</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_603</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-B1556</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_808</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2403</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-LFER</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">BO</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">22</subfield><subfield code="1">01</subfield><subfield code="x">0018</subfield><subfield code="b">4280123039</subfield><subfield code="h">OLR-ZDB-94-OAL</subfield><subfield code="k">OAPEN Library</subfield><subfield code="y">zu</subfield><subfield code="z">01-03-23</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">23</subfield><subfield code="1">01</subfield><subfield code="x">0830</subfield><subfield code="b">4280675090</subfield><subfield code="h">OLR-OAPEN</subfield><subfield code="u">f</subfield><subfield code="y">z</subfield><subfield code="z">01-03-23</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">30</subfield><subfield code="1">01</subfield><subfield code="x">0104</subfield><subfield code="b">4281035753</subfield><subfield code="h">GBV-OAPEN</subfield><subfield code="y">z</subfield><subfield code="z">01-03-23</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">31</subfield><subfield code="1">01</subfield><subfield code="x">0027</subfield><subfield code="b">428031778X</subfield><subfield code="y">z</subfield><subfield code="z">01-03-23</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">34</subfield><subfield code="1">01</subfield><subfield code="x">3551</subfield><subfield code="b">427887331X</subfield><subfield code="h">OLR-OAPEN</subfield><subfield code="y">zi002</subfield><subfield code="z">01-03-23</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">39</subfield><subfield code="1">01</subfield><subfield code="x">0547</subfield><subfield code="b">4281226826</subfield><subfield code="h">GBV-OAPEN</subfield><subfield code="y">ke</subfield><subfield code="z">01-03-23</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">40</subfield><subfield code="1">01</subfield><subfield code="x">0007</subfield><subfield code="b">4279941807</subfield><subfield code="h">OLR-OAPEN</subfield><subfield code="y">xsn</subfield><subfield code="z">01-03-23</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">63</subfield><subfield code="1">01</subfield><subfield code="x">3401</subfield><subfield code="b">4281608680</subfield><subfield code="h">E-Books LF GBV-OAPEN</subfield><subfield code="y">z</subfield><subfield code="z">01-03-23</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">65</subfield><subfield code="1">01</subfield><subfield code="x">0003</subfield><subfield code="b">4281858741</subfield><subfield code="h">OLR-OAPEN</subfield><subfield code="y">z</subfield><subfield code="z">01-03-23</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">70</subfield><subfield code="1">01</subfield><subfield code="x">0089</subfield><subfield code="b">4280496110</subfield><subfield code="h">OLR-OAPEN-OA</subfield><subfield code="k">OAPEN Online Library Open Access eBook</subfield><subfield code="y">z</subfield><subfield code="z">01-03-23</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">72</subfield><subfield code="1">01</subfield><subfield code="x">0035</subfield><subfield code="b">4278695926</subfield><subfield code="h">OLR-OAPEN-OA</subfield><subfield code="k">OAPEN Online Library Open Access eBook</subfield><subfield code="y">z</subfield><subfield code="z">01-03-23</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">95</subfield><subfield code="1">01</subfield><subfield code="x">3095</subfield><subfield code="b">4343222640</subfield><subfield code="h">OLR-OAL</subfield><subfield code="k">Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt.</subfield><subfield code="y">z</subfield><subfield code="z">24-06-23</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">110</subfield><subfield code="1">01</subfield><subfield code="x">3110</subfield><subfield code="b">4281411836</subfield><subfield code="h">OLR-GBV-OAPEN</subfield><subfield code="k">Open Access</subfield><subfield code="y">z</subfield><subfield code="z">01-03-23</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">136</subfield><subfield code="1">01</subfield><subfield code="x">3526</subfield><subfield code="b">4279582874</subfield><subfield code="h">OLR-OAPEN</subfield><subfield code="y">z</subfield><subfield code="z">01-03-23</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">147</subfield><subfield code="1">01</subfield><subfield code="x">3528</subfield><subfield code="b">428205719X</subfield><subfield code="h">OLR-OAPEN</subfield><subfield code="k">frei verfügbar für Europa-Universität Flensburg, Hochschule Flensburg und Zentrale Hochschulbibliothek</subfield><subfield code="k">Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt.</subfield><subfield code="y">z</subfield><subfield code="z">01-03-23</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">161</subfield><subfield code="1">01</subfield><subfield code="x">0960</subfield><subfield code="b">4278129688</subfield><subfield code="h">OLR-OAPEN</subfield><subfield code="k">OAPEN Online Library Open Access eBook</subfield><subfield code="y">z</subfield><subfield code="z">28-02-23</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">187</subfield><subfield code="1">01</subfield><subfield code="x">3520</subfield><subfield code="b">4278514476</subfield><subfield code="k">JSTOR Open Access eBook</subfield><subfield code="y">z</subfield><subfield code="z">28-02-23</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">213</subfield><subfield code="1">01</subfield><subfield code="x">0551</subfield><subfield code="b">4279228485</subfield><subfield code="h">OLR-OAPEN</subfield><subfield code="k">OAPEN Online Library Open Access eBook</subfield><subfield code="y">z</subfield><subfield code="z">01-03-23</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">230</subfield><subfield code="1">01</subfield><subfield code="x">0552</subfield><subfield code="b">4279405662</subfield><subfield code="h">OLR-OAPEN</subfield><subfield code="k">OAPEN Online Library Open Access eBook</subfield><subfield code="y">z</subfield><subfield code="z">01-03-23</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">283</subfield><subfield code="1">01</subfield><subfield code="x">3283</subfield><subfield code="b">4279764573</subfield><subfield code="h">OLR-OAL</subfield><subfield code="y">z</subfield><subfield code="z">01-03-23</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">293</subfield><subfield code="1">01</subfield><subfield code="x">3293</subfield><subfield code="b">4278308698</subfield><subfield code="h">OLR-OAPEN</subfield><subfield code="k">OAPEN Online Library Open Access eBook</subfield><subfield code="y">z</subfield><subfield code="z">28-02-23</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">370</subfield><subfield code="1">01</subfield><subfield code="x">4370</subfield><subfield code="b">4279051054</subfield><subfield code="h">OLR-FREE</subfield><subfield code="k">Kostenloser Zugriff</subfield><subfield code="y">z</subfield><subfield code="z">01-03-23</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">603</subfield><subfield code="1">01</subfield><subfield code="x">4603</subfield><subfield code="b">4277951724</subfield><subfield code="h">OLR-OAPEN</subfield><subfield code="k">Bitte beachten Sie die Nutzungsbedingungen und Copyright-Bestimmungen des Verlages/Herausgebers.</subfield><subfield code="y">z</subfield><subfield code="z">28-02-23</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">808</subfield><subfield code="1">01</subfield><subfield code="x">4808</subfield><subfield code="b">4280854033</subfield><subfield code="h">OLR-OAPEN</subfield><subfield code="k">OAPEN Library</subfield><subfield code="y">zg</subfield><subfield code="z">01-03-23</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">2403</subfield><subfield code="1">01</subfield><subfield code="x">DE-LFER</subfield><subfield code="b">4307804244</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">--%%--</subfield><subfield code="e">n</subfield><subfield code="j">--%%--</subfield><subfield code="y">l01</subfield><subfield code="z">12-04-23</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">22</subfield><subfield code="1">01</subfield><subfield code="x">0018</subfield><subfield code="y">Volltextzugang</subfield><subfield code="r">https://library.oapen.org/handle/20.500.12657/48219</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">23</subfield><subfield code="1">01</subfield><subfield code="x">0830</subfield><subfield code="r">https://library.oapen.org/handle/20.500.12657/48219</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">30</subfield><subfield code="1">01</subfield><subfield code="x">0104</subfield><subfield code="y">Open Access</subfield><subfield code="r">https://library.oapen.org/handle/20.500.12657/48219</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">31</subfield><subfield code="1">01</subfield><subfield code="x">0027</subfield><subfield code="y">eBook GBV-OAPEN</subfield><subfield code="r">https://library.oapen.org/handle/20.500.12657/48219</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">34</subfield><subfield code="1">01</subfield><subfield code="x">3551</subfield><subfield code="y">OpenAccess</subfield><subfield code="r">https://library.oapen.org/handle/20.500.12657/48219</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">40</subfield><subfield code="1">01</subfield><subfield code="x">0007</subfield><subfield code="y">Volltext, Open Access</subfield><subfield code="r">https://library.oapen.org/handle/20.500.12657/48219</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">63</subfield><subfield code="1">01</subfield><subfield code="x">3401</subfield><subfield code="y">E-Book</subfield><subfield code="r">https://library.oapen.org/handle/20.500.12657/48219</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">65</subfield><subfield code="1">01</subfield><subfield code="x">0003</subfield><subfield code="y">Open Access</subfield><subfield code="r">https://library.oapen.org/handle/20.500.12657/48219</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">65</subfield><subfield code="1">01</subfield><subfield code="x">0003</subfield><subfield code="y">Dieser Titel ist Teil einer Datenbank</subfield><subfield code="r">http://www.bibliothek.uni-regensburg.de/dbinfo/detail.php?titel_id=10728&bib_id=ulb_hal</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">70</subfield><subfield code="1">01</subfield><subfield code="x">0089</subfield><subfield code="r">https://library.oapen.org/handle/20.500.12657/48219</subfield><subfield code="z">LF</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">72</subfield><subfield code="1">01</subfield><subfield code="x">0035</subfield><subfield code="r">https://library.oapen.org/handle/20.500.12657/48219</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">95</subfield><subfield code="1">01</subfield><subfield code="x">3095</subfield><subfield code="r">https://library.oapen.org/handle/20.500.12657/48219</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">110</subfield><subfield code="1">01</subfield><subfield code="x">3110</subfield><subfield code="y">Open Access</subfield><subfield code="r">https://library.oapen.org/handle/20.500.12657/48219</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">136</subfield><subfield code="1">01</subfield><subfield code="x">3526</subfield><subfield code="y">Open Access</subfield><subfield code="r">https://library.oapen.org/handle/20.500.12657/48219</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">147</subfield><subfield code="1">01</subfield><subfield code="x">3528</subfield><subfield code="r">https://library.oapen.org/handle/20.500.12657/48219</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">161</subfield><subfield code="1">01</subfield><subfield code="x">0960</subfield><subfield code="r">https://library.oapen.org/handle/20.500.12657/48219</subfield><subfield code="z">LF</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">187</subfield><subfield code="1">01</subfield><subfield code="x">3520</subfield><subfield code="r">https://library.oapen.org/handle/20.500.12657/48219</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">213</subfield><subfield code="1">01</subfield><subfield code="x">0551</subfield><subfield code="r">https://library.oapen.org/handle/20.500.12657/48219</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">230</subfield><subfield code="1">01</subfield><subfield code="x">0552</subfield><subfield code="r">https://library.oapen.org/handle/20.500.12657/48219</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">283</subfield><subfield code="1">01</subfield><subfield code="x">3283</subfield><subfield code="r">https://library.oapen.org/handle/20.500.12657/48219</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">293</subfield><subfield code="1">01</subfield><subfield code="x">3293</subfield><subfield code="r">https://library.oapen.org/handle/20.500.12657/48219</subfield><subfield code="z">LF</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">370</subfield><subfield code="1">01</subfield><subfield code="x">4370</subfield><subfield code="r">https://library.oapen.org/handle/20.500.12657/48219</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">603</subfield><subfield code="1">01</subfield><subfield code="x">4603</subfield><subfield code="r">https://library.oapen.org/handle/20.500.12657/48219</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">808</subfield><subfield code="1">01</subfield><subfield code="x">4808</subfield><subfield code="y">Volltextzugang</subfield><subfield code="r">https://library.oapen.org/handle/20.500.12657/48219</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">2403</subfield><subfield code="1">01</subfield><subfield code="x">DE-LFER</subfield><subfield code="r">https://library.oapen.org/bitstream/id/a0c05cf4-1de4-4237-9543-824426acd0d2/9783030720131.pdf</subfield></datafield><datafield tag="982" ind1=" " ind2=" "><subfield code="2">31</subfield><subfield code="1">01</subfield><subfield code="x">0027</subfield><subfield code="8">00</subfield><subfield code="a">eBook GBV-OAPEN</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">22</subfield><subfield code="1">01</subfield><subfield code="x">0018</subfield><subfield code="a">OLR-ZDB-94-OAL</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">23</subfield><subfield code="1">01</subfield><subfield code="x">0830</subfield><subfield code="a">OLR-OAPEN</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">30</subfield><subfield code="1">01</subfield><subfield code="x">0104</subfield><subfield code="a">GBV-OAPEN</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">34</subfield><subfield code="1">01</subfield><subfield code="x">3551</subfield><subfield code="a">OLR-OAPEN</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">39</subfield><subfield code="1">01</subfield><subfield code="x">0547</subfield><subfield code="a">GBV-OAPEN</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">39</subfield><subfield code="1">01</subfield><subfield code="x">0547</subfield><subfield code="a">LF</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">40</subfield><subfield code="1">01</subfield><subfield code="x">0007</subfield><subfield code="a">OLR-OAPEN</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">63</subfield><subfield code="1">01</subfield><subfield code="x">3401</subfield><subfield code="a">E-Books LF GBV-OAPEN</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">65</subfield><subfield code="1">01</subfield><subfield code="x">0003</subfield><subfield code="a">OLR-OAPEN</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">70</subfield><subfield code="1">01</subfield><subfield code="x">0089</subfield><subfield code="a">OLR-OAPEN-OA</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">72</subfield><subfield code="1">01</subfield><subfield code="x">0035</subfield><subfield code="a">OLR-OAPEN-OA</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">95</subfield><subfield code="1">01</subfield><subfield code="x">3095</subfield><subfield code="a">OLR-OAL</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">110</subfield><subfield code="1">01</subfield><subfield code="x">3110</subfield><subfield code="a">OLR-GBV-OAPEN</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">136</subfield><subfield code="1">01</subfield><subfield code="x">3526</subfield><subfield code="a">OLR-OAPEN</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">147</subfield><subfield code="1">01</subfield><subfield code="x">3528</subfield><subfield code="a">OLR-OAPEN</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">161</subfield><subfield code="1">01</subfield><subfield code="x">0960</subfield><subfield code="a">OLR-OAPEN</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">213</subfield><subfield code="1">01</subfield><subfield code="x">0551</subfield><subfield code="a">OLR-OAPEN</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">230</subfield><subfield code="1">01</subfield><subfield code="x">0552</subfield><subfield code="a">OLR-OAPEN</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">283</subfield><subfield code="1">01</subfield><subfield code="x">3283</subfield><subfield code="a">OLR-OAL</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">293</subfield><subfield code="1">01</subfield><subfield code="x">3293</subfield><subfield code="a">OLR-OAPEN</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">370</subfield><subfield code="1">01</subfield><subfield code="x">4370</subfield><subfield code="a">OLR-FREE</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">370</subfield><subfield code="1">01</subfield><subfield code="x">4370</subfield><subfield code="a">olr-ebook GBV-OAPEN</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">603</subfield><subfield code="1">01</subfield><subfield code="x">4603</subfield><subfield code="a">OLR-OAPEN</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">808</subfield><subfield code="1">01</subfield><subfield code="x">4808</subfield><subfield code="a">OLR-OAPEN</subfield></datafield></record></collection>
|
score |
7.014738 |