Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I

This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and...
Ausführliche Beschreibung

Gespeichert in:

Autor*in:	Biere, Armin [herausgeberIn] Parker, David [herausgeberIn]

Format:	E-Book
Sprache:	Englisch

Erschienen:	Cham: Springer Nature ; 2020

Rechteinformationen:	Open Access Creative Commons ; by/4.0

Schlagwörter:	Computer science Expert systems / knowledge-based systems Systems analysis & design Algorithms & data structures Mathematical theory of computation

Umfang:	1 Online-Ressource (501 p.)

Reihe:	Lecture Notes in Computer Science; Theoretical Computer Science and General Issues

Links:	Link aufrufen Link aufrufen Zugehörige Videos
ISBN:	978-3-030-45190-5

Katalog-ID:	177847537X

Internformat


LEADER	01000cam a22002652 4500
001	177847537X
003	DE-627
005	20230630221239.0
007	cr uuu---uuuuu
008	211123s2020 xx \|\|\|\|\|o 00\| \|\|eng c
020			\|a 9783030451905 \|9 978-3-030-45190-5
024	7		\|a 20.500.12854/31311 \|2 hdl
035			\|a (DE-627)177847537X
035			\|a (DE-599)KEP069365326
035			\|a (OCoLC)1153987496
035			\|a (DOAB)31311
035			\|a (EBP)069365326
040			\|a DE-627 \|b ger \|c DE-627 \|e rakwb
041			\|a eng
072		7	\|a UY \|2 bicssc
072		7	\|a UYQE \|2 bicssc
072		7	\|a UYD \|2 bicssc
072		7	\|a UMB \|2 bicssc
072		7	\|a UYA \|2 bicssc
100	1		\|a Biere, Armin \|e herausgeberin \|4 edt
245	1	0	\|a Tools and Algorithms for the Construction and Analysis of Systems \|b 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I
264		1	\|a Cham \|b Springer Nature \|c 2020
300			\|a 1 Online-Ressource (501 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
506	0		\|a Open Access \|f Unrestricted online access \|2 star
520			\|a This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows: Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems. Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata; and SV-COMP 2020
540			\|a Creative Commons \|f by/4.0 \|2 cc
546			\|a English
650		4	\|a Computer science
650		4	\|a Expert systems / knowledge-based systems
650		4	\|a Systems analysis & design
650		4	\|a Algorithms & data structures
650		4	\|a Mathematical theory of computation
700	1		\|a Parker, David \|e herausgeberin \|4 edt
856	4	0	\|u https://directory.doabooks.org/handle/20.500.12854/31311 \|m X:DOAB \|x Verlag \|z kostenfrei
856	4	2	\|u https://av.tib.eu/series/1139/26th+international+conference+on+tools+and+algorithms+for+the+construction+and+analysis+of+systems+tacas+2020 \|x Agentur \|y Zugehörige Videos
912			\|a ZDB-94-OAB
912			\|a GBV_ILN_11
912			\|a ISIL_DE-1a
912			\|a SYSFLAG_1
912			\|a GBV_KXP
912			\|a GBV_ILN_20
912			\|a ISIL_DE-84
912			\|a GBV_ILN_22
912			\|a ISIL_DE-18
912			\|a GBV_ILN_23
912			\|a ISIL_DE-830
912			\|a GBV_ILN_24
912			\|a ISIL_DE-8
912			\|a GBV_ILN_30
912			\|a ISIL_DE-104
912			\|a GBV_ILN_31
912			\|a ISIL_DE-27
912			\|a GBV_ILN_39
912			\|a ISIL_DE-547
912			\|a GBV_ILN_40
912			\|a ISIL_DE-7
912			\|a GBV_ILN_60
912			\|a ISIL_DE-705
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_90
912			\|a ISIL_DE-Hil2
912			\|a GBV_ILN_91
912			\|a ISIL_DE-HIL3
912			\|a GBV_ILN_92
912			\|a ISIL_DE-33
912			\|a GBV_ILN_95
912			\|a ISIL_DE-542
912			\|a GBV_ILN_105
912			\|a ISIL_DE-841
912			\|a GBV_ILN_110
912			\|a ISIL_DE-Luen4
912			\|a GBV_ILN_120
912			\|a ISIL_DE-715
912			\|a GBV_ILN_130
912			\|a ISIL_DE-700
912			\|a GBV_ILN_131
912			\|a ISIL_DE-Va1
912			\|a GBV_ILN_132
912			\|a ISIL_DE-959
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_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_285
912			\|a ISIL_DE-517
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_635
912			\|a ISIL_DE-B2138
912			\|a GBV_ILN_808
912			\|a GBV_ILN_2011
912			\|a ISIL_DE-16
912			\|a GBV_ILN_2014
912			\|a ISIL_DE-90
912			\|a GBV_ILN_2018
912			\|a ISIL_DE-31
912			\|a GBV_ILN_2034
912			\|a ISIL_DE-Rt2
912			\|a GBV_ILN_2037
912			\|a ISIL_DE-747
912			\|a GBV_ILN_2050
912			\|a ISIL_DE-Zi4
912			\|a GBV_ILN_2108
912			\|a ISIL_DE-991
912			\|a GBV_ILN_2403
912			\|a ISIL_DE-LFER
951			\|a BO
980			\|2 11 \|1 01 \|x 0001 \|b 4023068136 \|c 00 \|f 5:LIZFREI \|d --%%-- \|e --%%-- \|j --%%-- \|y k \|z 20-12-21
980			\|2 20 \|1 01 \|x 0084 \|b 4012001264 \|h OLR-DOAB \|y z \|z 01-12-21
980			\|2 22 \|1 01 \|x 0018 \|b 4006092067 \|h OLR-ZDB-94-OAB \|k DOAB Directory of Open Access Books \|y zu \|z 25-11-21
980			\|2 23 \|1 01 \|x 0830 \|b 4006610149 \|h olr-doab \|u f \|y z \|z 25-11-21
980			\|2 24 \|1 01 \|x 0008 \|b 4060093084 \|h OLR-doab \|y z \|z 15-02-22
980			\|2 30 \|1 01 \|x 0104 \|b 4102091017 \|h OLR-OAB \|k Open Access, Directory of Open Access Books (DOAB) \|y z \|z 26-03-22
980			\|2 31 \|1 01 \|x 0027 \|b 405241490X \|h OLR-DOAB \|y z \|z 07-02-22
980			\|2 39 \|1 01 \|x 0547 \|b 410591166X \|h OLR-ZDB-94-OAB \|y ke \|z 29-03-22
980			\|2 40 \|1 01 \|x 0007 \|b 4011564982 \|h OLR-DOAB \|y xsn \|z 01-12-21
980			\|2 60 \|1 01 \|x 0705 \|b 4275919629 \|h OPENAccess \|k Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. \|k Nur für Angehörige der HSU: Volltextzugang von außerhalb des Campus mit Anmeldung über Shibboleth mit Ihrer Bibliothekskennung \|y z \|z 24-02-23
980			\|2 63 \|1 01 \|x 3401 \|b 4106546132 \|h E-Books LF GBV-DOAB \|y z \|z 29-03-22
980			\|2 65 \|1 01 \|x 0003 \|b 4109242886 \|h OLR-DOAB \|k Nach dem deutschen Urheberrecht darf das Werk bzw. der Inhalt zum eigenen Gebrauch kostenfrei heruntergeladen, konsumiert, gespeichert oder ausgedruckt, nicht jedoch im Internet bereitgestellt oder an Außenstehende weitergegeben werden! \|y z \|z 01-04-22
980			\|2 70 \|1 01 \|x 0089 \|b 4006346220 \|h OLR-DOAB-OA \|k DOAB Directory of Open Access Books \|y z \|z 25-11-21
980			\|2 72 \|1 01 \|x 0035 \|b 4104508284 \|h OLR-ZDB-94-OAB \|k DOAB Directory of Open Access Books \|y z \|z 28-03-22
980			\|2 90 \|1 01 \|x 3090 \|b 4106335379 \|h OLR-HILoapen \|y z \|z 29-03-22
980			\|2 91 \|1 01 \|x 3091 \|b 4011317756 \|h OLR-DOAB \|k DOAB Directory of Open Access Books \|y z \|z 01-12-21
980			\|2 92 \|1 01 \|x 0033 \|b 4110694361 \|h OLR-Open Access DOAB \|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. Das Ebook ist frei zugänglich. \|y z \|z 02-04-22
980			\|2 95 \|1 01 \|x 3095 \|b 4342190664 \|h OLR-OAB \|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 23-06-23
980			\|2 105 \|1 01 \|x 0841 \|b 4007070830 \|h OLR-OAB \|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 25-11-21
980			\|2 110 \|1 01 \|x 3110 \|b 4019771391 \|h OLR-DOAB \|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. \|k Open Access \|y z \|z 14-12-21
980			\|2 120 \|1 01 \|x 0715 \|b 4016808057 \|c 00 \|f --%%-- \|d --%%-- \|e g \|j --%%-- \|h alma \|y z \|z 08-12-21
980			\|2 130 \|1 01 \|x 0700 \|b 4145708776 \|h OLR-DOAB \|y z \|z 08-06-22
980			\|2 131 \|1 01 \|x 3131 \|b 4465720254 \|h OLR-OA-DOAB \|k Bitte beachten Sie die Nutzungsbedingungen und Copyright-Bestimmungen des Verlages/Herausgebers. \|y z \|z 23-01-24
980			\|2 132 \|1 01 \|x 0959 \|b 4149704465 \|h OLR-OAB \|u Open Access \|y x \|z 14-06-22
980			\|2 136 \|1 01 \|x 3526 \|b 4005634893 \|h OLR-DOAB \|y z \|z 24-11-21
980			\|2 147 \|1 01 \|x 3528 \|b 4123954340 \|h OLR-DOAB \|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 27-04-22
980			\|2 161 \|1 01 \|x 0960 \|b 4150876339 \|h OLR-DOAB \|k DOAB Directory of Open Access Books \|y z \|z 16-06-22
980			\|2 213 \|1 01 \|x 0551 \|b 4108482034 \|h OLR-DOAB \|k DOAB Directory of Open Access Books \|y z \|z 31-03-22
980			\|2 230 \|1 01 \|x 0552 \|b 4123453627 \|h OLR-DOAB \|k DOAB Directory of Open Access Books \|y z \|z 27-04-22
980			\|2 283 \|1 01 \|x 3283 \|b 4157017854 \|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 28-06-22
980			\|2 285 \|1 01 \|x 0517 \|b 4050260085 \|h OLR-DOAB \|y z \|z 02-02-22
980			\|2 293 \|1 01 \|x 3293 \|b 4153673137 \|h OLR-DOAB \|k DOAB Directory of Open Access Books \|y z \|z 21-06-22
980			\|2 370 \|1 01 \|x 4370 \|b 4125527229 \|h OLR-FREE \|k Kostenloser Zugriff \|y z \|z 28-04-22
980			\|2 635 \|1 01 \|x 3635 \|b 4509832265 \|h OLR-DOAB \|k Open Access. 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 10-04-24
980			\|2 808 \|1 01 \|x 4808 \|b 4158068436 \|h OLR-DOAB \|k DOAB Directory of Open Access Books \|y zg \|z 29-06-22
980			\|2 2011 \|1 01 \|x DE-16 \|b 402647156X \|c 00 \|f --%%-- \|d --%%-- \|e --%%-- \|j --%%-- \|y l01 \|z 23-12-21
980			\|2 2014 \|1 01 \|x DE-90 \|b 4011062820 \|c 00 \|f --%%-- \|d --%%-- \|e --%%-- \|j --%%-- \|y l01 \|z 01-12-21
980			\|2 2018 \|1 01 \|x DE-31 \|b 4033423753 \|c 00 \|f --%%-- \|d --%%-- \|e --%%-- \|j n \|k Der Zugriff ist kostenfrei möglich. \|y l01 \|z 11-01-22
980			\|2 2034 \|1 01 \|x DE-Rt2 \|b 4014428265 \|c 00 \|f --%%-- \|d eBook \|e n \|j n \|k frei zugänglich \|y l01 \|z 05-12-21
980			\|2 2037 \|1 01 \|x DE-747 \|b 4345573661 \|c 00 \|f --%%-- \|d eBook OAPEN Foundation OpenAccess \|e --%%-- \|j n \|k Im Internet frei verfügbar \|y l01 \|z 30-06-23
980			\|2 2050 \|1 01 \|x DE-Zi4 \|b 4091599419 \|c 00 \|f --%%-- \|d --%%-- \|e --%%-- \|j n \|k Elektronischer Volltext - Open Access \|y l01 \|z 16-03-22
980			\|2 2108 \|1 01 \|x DE-991 \|b 4096828963 \|c 00 \|f --%%-- \|d eBook DOAB \|e --%%-- \|j n \|k Elektronischer Volltext - Campuslizenz \|y l01 \|z 20-03-22
980			\|2 2403 \|1 01 \|x DE-LFER \|b 4017855725 \|c 00 \|f --%%-- \|d --%%-- \|e n \|j --%%-- \|y l01 \|z 09-12-21
981			\|2 20 \|1 01 \|x 0084 \|r https://directory.doabooks.org/handle/20.500.12854/31311
981			\|2 22 \|1 01 \|x 0018 \|y Volltextzugang \|r https://directory.doabooks.org/handle/20.500.12854/31311
981			\|2 23 \|1 01 \|x 0830 \|r https://directory.doabooks.org/handle/20.500.12854/31311
981			\|2 24 \|1 01 \|x 0008 \|r https://directory.doabooks.org/handle/20.500.12854/31311
981			\|2 30 \|1 01 \|x 0104 \|r https://directory.doabooks.org/handle/20.500.12854/31311
981			\|2 31 \|1 01 \|x 0027 \|r https://directory.doabooks.org/handle/20.500.12854/31311
981			\|2 40 \|1 01 \|x 0007 \|y Volltext, Open Access \|r https://directory.doabooks.org/handle/20.500.12854/31311
981			\|2 60 \|1 01 \|x 0705 \|r https://directory.doabooks.org/handle/20.500.12854/31311
981			\|2 63 \|1 01 \|x 3401 \|y E-Book \|r https://directory.doabooks.org/handle/20.500.12854/31311
981			\|2 65 \|1 01 \|x 0003 \|y Open Access \|r https://directory.doabooks.org/handle/20.500.12854/31311
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=11367&bib_id=ulb_hal
981			\|2 70 \|1 01 \|x 0089 \|r https://directory.doabooks.org/handle/20.500.12854/31311
981			\|2 72 \|1 01 \|x 0035 \|r https://directory.doabooks.org/handle/20.500.12854/31311
981			\|2 90 \|1 01 \|x 3090 \|r https://directory.doabooks.org/handle/20.500.12854/31311
981			\|2 91 \|1 01 \|x 3091 \|r https://directory.doabooks.org/handle/20.500.12854/31311
981			\|2 92 \|1 01 \|x 0033 \|r https://directory.doabooks.org/handle/20.500.12854/31311
981			\|2 95 \|1 01 \|x 3095 \|r https://directory.doabooks.org/handle/20.500.12854/31311
981			\|2 105 \|1 01 \|x 0841 \|r https://directory.doabooks.org/handle/20.500.12854/31311
981			\|2 110 \|1 01 \|x 3110 \|y Open Access \|r https://directory.doabooks.org/handle/20.500.12854/31311
981			\|2 120 \|1 01 \|x 0715 \|r http://49gbv-uob-primo.hosted.exlibrisgroup.com/openurl/49GBV_UOB/UOB_services_page?u.ignore_date_coverage=true&rft.mms_id=991015562457203501
981			\|2 130 \|1 01 \|x 0700 \|y Open Access \|r https://directory.doabooks.org/handle/20.500.12854/31311
981			\|2 131 \|1 01 \|x 3131 \|r https://directory.doabooks.org/handle/20.500.12854/31311
981			\|2 132 \|1 01 \|x 0959 \|r https://directory.doabooks.org/handle/20.500.12854/31311
981			\|2 136 \|1 01 \|x 3526 \|y Open Access \|r https://directory.doabooks.org/handle/20.500.12854/31311
981			\|2 147 \|1 01 \|x 3528 \|r https://directory.doabooks.org/handle/20.500.12854/31311
981			\|2 161 \|1 01 \|x 0960 \|r https://directory.doabooks.org/handle/20.500.12854/31311 \|z LF
981			\|2 213 \|1 01 \|x 0551 \|r https://directory.doabooks.org/handle/20.500.12854/31311
981			\|2 230 \|1 01 \|x 0552 \|r https://directory.doabooks.org/handle/20.500.12854/31311
981			\|2 283 \|1 01 \|x 3283 \|r https://directory.doabooks.org/handle/20.500.12854/31311
981			\|2 285 \|1 01 \|x 0517 \|y Open Access \|r https://directory.doabooks.org/handle/20.500.12854/31311
981			\|2 293 \|1 01 \|x 3293 \|r https://directory.doabooks.org/handle/20.500.12854/31311 \|z LF
981			\|2 370 \|1 01 \|x 4370 \|r https://directory.doabooks.org/handle/20.500.12854/31311
981			\|2 635 \|1 01 \|x 3635 \|r https://directory.doabooks.org/handle/20.500.12854/31311
981			\|2 808 \|1 01 \|x 4808 \|y Volltextzugang \|r https://directory.doabooks.org/handle/20.500.12854/31311
981			\|2 2011 \|1 01 \|x DE-16 \|r https://directory.doabooks.org/handle/20.500.12854/31311
981			\|2 2014 \|1 01 \|x DE-90 \|y Volltext frei verfügbar \|r https://directory.doabooks.org/handle/20.500.12854/31311
981			\|2 2034 \|1 01 \|x DE-Rt2 \|r https://directory.doabooks.org/handle/20.500.12854/31311
981			\|2 2037 \|1 01 \|x DE-747 \|r https://directory.doabooks.org/handle/20.500.12854/31311
981			\|2 2050 \|1 01 \|x DE-Zi4 \|r https://directory.doabooks.org/handle/20.500.12854/31311
981			\|2 2108 \|1 01 \|x DE-991 \|r https://directory.doabooks.org/handle/20.500.12854/31311
981			\|2 2403 \|1 01 \|x DE-LFER \|r https://directory.doabooks.org/handle/20.500.12854/31311
982			\|2 31 \|1 01 \|x 0027 \|8 00 \|a E-Book Open Access
982			\|2 132 \|1 01 \|x 0959 \|8 00 \|a EBooks DOAB Open Access
995			\|2 20 \|1 01 \|x 0084 \|a OLR-DOAB
995			\|2 22 \|1 01 \|x 0018 \|a OLR-ZDB-94-OAB
995			\|2 23 \|1 01 \|x 0830 \|a olr-doab
995			\|2 24 \|1 01 \|x 0008 \|a OLR-doab
995			\|2 24 \|1 01 \|x 0008 \|a olr-frei
995			\|2 30 \|1 01 \|x 0104 \|a OLR-OAB
995			\|2 31 \|1 01 \|x 0027 \|a OLR-DOAB
995			\|2 39 \|1 01 \|x 0547 \|a OLR-ZDB-94-OAB
995			\|2 39 \|1 01 \|x 0547 \|a LF
995			\|2 40 \|1 01 \|x 0007 \|a OLR-DOAB
995			\|2 60 \|1 01 \|x 0705 \|a OPENAccess
995			\|2 63 \|1 01 \|x 3401 \|a E-Books LF GBV-DOAB
995			\|2 65 \|1 01 \|x 0003 \|a OLR-DOAB
995			\|2 70 \|1 01 \|x 0089 \|a OLR-DOAB-OA
995			\|2 72 \|1 01 \|x 0035 \|a OLR-ZDB-94-OAB
995			\|2 90 \|1 01 \|x 3090 \|a OLR-HILoapen
995			\|2 91 \|1 01 \|x 3091 \|a OLR-DOAB
995			\|2 92 \|1 01 \|x 0033 \|a OLR-Open Access DOAB
995			\|2 95 \|1 01 \|x 3095 \|a OLR-OAB
995			\|2 105 \|1 01 \|x 0841 \|a OLR-OAB
995			\|2 110 \|1 01 \|x 3110 \|a OLR-DOAB
995			\|2 120 \|1 01 \|x 0715 \|a alma
995			\|2 130 \|1 01 \|x 0700 \|a OLR-DOAB
995			\|2 131 \|1 01 \|x 3131 \|a OLR-OA-DOAB
995			\|2 132 \|1 01 \|x 0959 \|a OLR-OAB
995			\|2 136 \|1 01 \|x 3526 \|a OLR-DOAB
995			\|2 147 \|1 01 \|x 3528 \|a OLR-DOAB
995			\|2 161 \|1 01 \|x 0960 \|a OLR-DOAB
995			\|2 213 \|1 01 \|x 0551 \|a OLR-DOAB
995			\|2 230 \|1 01 \|x 0552 \|a OLR-DOAB
995			\|2 285 \|1 01 \|x 0517 \|a OLR-DOAB
995			\|2 293 \|1 01 \|x 3293 \|a OLR-DOAB
995			\|2 370 \|1 01 \|x 4370 \|a OLR-FREE
995			\|2 370 \|1 01 \|x 4370 \|a olr-ebook ZDB-94-OAB
995			\|2 635 \|1 01 \|x 3635 \|a OLR-DOAB
995			\|2 808 \|1 01 \|x 4808 \|a OLR-DOAB

Indexfelder

matchkey_str	book:9783030451905:2020----
oclc_num	1153987496
hierarchy_sort_str	2020
publishDate	2020
allfields	9783030451905 978-3-030-45190-5 20.500.12854/31311 hdl (DE-627)177847537X (DE-599)KEP069365326 (OCoLC)1153987496 (DOAB)31311 (EBP)069365326 DE-627 ger DE-627 rakwb eng UY bicssc UYQE bicssc UYD bicssc UMB bicssc UYA bicssc Biere, Armin herausgeberin edt Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I Cham Springer Nature 2020 1 Online-Ressource (501 p.) Text txt rdacontent Computermedien c rdamedia Online-Ressource cr rdacarrier Lecture Notes in Computer Science; Theoretical Computer Science and General Issues Open Access Unrestricted online access star This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows: Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems. Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata; and SV-COMP 2020 Creative Commons by/4.0 cc English Computer science Expert systems / knowledge-based systems Systems analysis & design Algorithms & data structures Mathematical theory of computation Parker, David herausgeberin edt https://directory.doabooks.org/handle/20.500.12854/31311 X:DOAB Verlag kostenfrei https://av.tib.eu/series/1139/26th+international+conference+on+tools+and+algorithms+for+the+construction+and+analysis+of+systems+tacas+2020 Agentur Zugehörige Videos ZDB-94-OAB GBV_ILN_11 ISIL_DE-1a SYSFLAG_1 GBV_KXP GBV_ILN_20 ISIL_DE-84 GBV_ILN_22 ISIL_DE-18 GBV_ILN_23 ISIL_DE-830 GBV_ILN_24 ISIL_DE-8 GBV_ILN_30 ISIL_DE-104 GBV_ILN_31 ISIL_DE-27 GBV_ILN_39 ISIL_DE-547 GBV_ILN_40 ISIL_DE-7 GBV_ILN_60 ISIL_DE-705 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_90 ISIL_DE-Hil2 GBV_ILN_91 ISIL_DE-HIL3 GBV_ILN_92 ISIL_DE-33 GBV_ILN_95 ISIL_DE-542 GBV_ILN_105 ISIL_DE-841 GBV_ILN_110 ISIL_DE-Luen4 GBV_ILN_120 ISIL_DE-715 GBV_ILN_130 ISIL_DE-700 GBV_ILN_131 ISIL_DE-Va1 GBV_ILN_132 ISIL_DE-959 GBV_ILN_136 ISIL_DE-Wis1 GBV_ILN_147 ISIL_DE-Fl3 GBV_ILN_161 ISIL_DE-960 GBV_ILN_213 ISIL_DE-551 GBV_ILN_230 ISIL_DE-552 GBV_ILN_283 ISIL_DE-Ha163 GBV_ILN_285 ISIL_DE-517 GBV_ILN_293 ISIL_DE-960-3 GBV_ILN_370 ISIL_DE-1373 GBV_ILN_635 ISIL_DE-B2138 GBV_ILN_808 GBV_ILN_2011 ISIL_DE-16 GBV_ILN_2014 ISIL_DE-90 GBV_ILN_2018 ISIL_DE-31 GBV_ILN_2034 ISIL_DE-Rt2 GBV_ILN_2037 ISIL_DE-747 GBV_ILN_2050 ISIL_DE-Zi4 GBV_ILN_2108 ISIL_DE-991 GBV_ILN_2403 ISIL_DE-LFER BO 11 01 0001 4023068136 00 5:LIZFREI --%%-- --%%-- --%%-- k 20-12-21 20 01 0084 4012001264 OLR-DOAB z 01-12-21 22 01 0018 4006092067 OLR-ZDB-94-OAB DOAB Directory of Open Access Books zu 25-11-21 23 01 0830 4006610149 olr-doab f z 25-11-21 24 01 0008 4060093084 OLR-doab z 15-02-22 30 01 0104 4102091017 OLR-OAB Open Access, Directory of Open Access Books (DOAB) z 26-03-22 31 01 0027 405241490X OLR-DOAB z 07-02-22 39 01 0547 410591166X OLR-ZDB-94-OAB ke 29-03-22 40 01 0007 4011564982 OLR-DOAB xsn 01-12-21 60 01 0705 4275919629 OPENAccess Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. Nur für Angehörige der HSU: Volltextzugang von außerhalb des Campus mit Anmeldung über Shibboleth mit Ihrer Bibliothekskennung z 24-02-23 63 01 3401 4106546132 E-Books LF GBV-DOAB z 29-03-22 65 01 0003 4109242886 OLR-DOAB Nach dem deutschen Urheberrecht darf das Werk bzw. der Inhalt zum eigenen Gebrauch kostenfrei heruntergeladen, konsumiert, gespeichert oder ausgedruckt, nicht jedoch im Internet bereitgestellt oder an Außenstehende weitergegeben werden! z 01-04-22 70 01 0089 4006346220 OLR-DOAB-OA DOAB Directory of Open Access Books z 25-11-21 72 01 0035 4104508284 OLR-ZDB-94-OAB DOAB Directory of Open Access Books z 28-03-22 90 01 3090 4106335379 OLR-HILoapen z 29-03-22 91 01 3091 4011317756 OLR-DOAB DOAB Directory of Open Access Books z 01-12-21 92 01 0033 4110694361 OLR-Open Access DOAB 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. Das Ebook ist frei zugänglich. z 02-04-22 95 01 3095 4342190664 OLR-OAB 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 23-06-23 105 01 0841 4007070830 OLR-OAB 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 25-11-21 110 01 3110 4019771391 OLR-DOAB 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. Open Access z 14-12-21 120 01 0715 4016808057 00 --%%-- --%%-- g --%%-- alma z 08-12-21 130 01 0700 4145708776 OLR-DOAB z 08-06-22 131 01 3131 4465720254 OLR-OA-DOAB Bitte beachten Sie die Nutzungsbedingungen und Copyright-Bestimmungen des Verlages/Herausgebers. z 23-01-24 132 01 0959 4149704465 OLR-OAB Open Access x 14-06-22 136 01 3526 4005634893 OLR-DOAB z 24-11-21 147 01 3528 4123954340 OLR-DOAB 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 27-04-22 161 01 0960 4150876339 OLR-DOAB DOAB Directory of Open Access Books z 16-06-22 213 01 0551 4108482034 OLR-DOAB DOAB Directory of Open Access Books z 31-03-22 230 01 0552 4123453627 OLR-DOAB DOAB Directory of Open Access Books z 27-04-22 283 01 3283 4157017854 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 28-06-22 285 01 0517 4050260085 OLR-DOAB z 02-02-22 293 01 3293 4153673137 OLR-DOAB DOAB Directory of Open Access Books z 21-06-22 370 01 4370 4125527229 OLR-FREE Kostenloser Zugriff z 28-04-22 635 01 3635 4509832265 OLR-DOAB Open Access. 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 10-04-24 808 01 4808 4158068436 OLR-DOAB DOAB Directory of Open Access Books zg 29-06-22 2011 01 DE-16 402647156X 00 --%%-- --%%-- --%%-- --%%-- l01 23-12-21 2014 01 DE-90 4011062820 00 --%%-- --%%-- --%%-- --%%-- l01 01-12-21 2018 01 DE-31 4033423753 00 --%%-- --%%-- --%%-- n Der Zugriff ist kostenfrei möglich. l01 11-01-22 2034 01 DE-Rt2 4014428265 00 --%%-- eBook n n frei zugänglich l01 05-12-21 2037 01 DE-747 4345573661 00 --%%-- eBook OAPEN Foundation OpenAccess --%%-- n Im Internet frei verfügbar l01 30-06-23 2050 01 DE-Zi4 4091599419 00 --%%-- --%%-- --%%-- n Elektronischer Volltext - Open Access l01 16-03-22 2108 01 DE-991 4096828963 00 --%%-- eBook DOAB --%%-- n Elektronischer Volltext - Campuslizenz l01 20-03-22 2403 01 DE-LFER 4017855725 00 --%%-- --%%-- n --%%-- l01 09-12-21 20 01 0084 https://directory.doabooks.org/handle/20.500.12854/31311 22 01 0018 Volltextzugang https://directory.doabooks.org/handle/20.500.12854/31311 23 01 0830 https://directory.doabooks.org/handle/20.500.12854/31311 24 01 0008 https://directory.doabooks.org/handle/20.500.12854/31311 30 01 0104 https://directory.doabooks.org/handle/20.500.12854/31311 31 01 0027 https://directory.doabooks.org/handle/20.500.12854/31311 40 01 0007 Volltext, Open Access https://directory.doabooks.org/handle/20.500.12854/31311 60 01 0705 https://directory.doabooks.org/handle/20.500.12854/31311 63 01 3401 E-Book https://directory.doabooks.org/handle/20.500.12854/31311 65 01 0003 Open Access https://directory.doabooks.org/handle/20.500.12854/31311 65 01 0003 Dieser Titel ist Teil einer Datenbank http://www.bibliothek.uni-regensburg.de/dbinfo/detail.php?titel_id=11367&bib_id=ulb_hal 70 01 0089 https://directory.doabooks.org/handle/20.500.12854/31311 72 01 0035 https://directory.doabooks.org/handle/20.500.12854/31311 90 01 3090 https://directory.doabooks.org/handle/20.500.12854/31311 91 01 3091 https://directory.doabooks.org/handle/20.500.12854/31311 92 01 0033 https://directory.doabooks.org/handle/20.500.12854/31311 95 01 3095 https://directory.doabooks.org/handle/20.500.12854/31311 105 01 0841 https://directory.doabooks.org/handle/20.500.12854/31311 110 01 3110 Open Access https://directory.doabooks.org/handle/20.500.12854/31311 120 01 0715 http://49gbv-uob-primo.hosted.exlibrisgroup.com/openurl/49GBV_UOB/UOB_services_page?u.ignore_date_coverage=true&rft.mms_id=991015562457203501 130 01 0700 Open Access https://directory.doabooks.org/handle/20.500.12854/31311 131 01 3131 https://directory.doabooks.org/handle/20.500.12854/31311 132 01 0959 https://directory.doabooks.org/handle/20.500.12854/31311 136 01 3526 Open Access https://directory.doabooks.org/handle/20.500.12854/31311 147 01 3528 https://directory.doabooks.org/handle/20.500.12854/31311 161 01 0960 https://directory.doabooks.org/handle/20.500.12854/31311 LF 213 01 0551 https://directory.doabooks.org/handle/20.500.12854/31311 230 01 0552 https://directory.doabooks.org/handle/20.500.12854/31311 283 01 3283 https://directory.doabooks.org/handle/20.500.12854/31311 285 01 0517 Open Access https://directory.doabooks.org/handle/20.500.12854/31311 293 01 3293 https://directory.doabooks.org/handle/20.500.12854/31311 LF 370 01 4370 https://directory.doabooks.org/handle/20.500.12854/31311 635 01 3635 https://directory.doabooks.org/handle/20.500.12854/31311 808 01 4808 Volltextzugang https://directory.doabooks.org/handle/20.500.12854/31311 2011 01 DE-16 https://directory.doabooks.org/handle/20.500.12854/31311 2014 01 DE-90 Volltext frei verfügbar https://directory.doabooks.org/handle/20.500.12854/31311 2034 01 DE-Rt2 https://directory.doabooks.org/handle/20.500.12854/31311 2037 01 DE-747 https://directory.doabooks.org/handle/20.500.12854/31311 2050 01 DE-Zi4 https://directory.doabooks.org/handle/20.500.12854/31311 2108 01 DE-991 https://directory.doabooks.org/handle/20.500.12854/31311 2403 01 DE-LFER https://directory.doabooks.org/handle/20.500.12854/31311 31 01 0027 00 E-Book Open Access 132 01 0959 00 EBooks DOAB Open Access 20 01 0084 OLR-DOAB 22 01 0018 OLR-ZDB-94-OAB 23 01 0830 olr-doab 24 01 0008 OLR-doab 24 01 0008 olr-frei 30 01 0104 OLR-OAB 31 01 0027 OLR-DOAB 39 01 0547 OLR-ZDB-94-OAB 39 01 0547 LF 40 01 0007 OLR-DOAB 60 01 0705 OPENAccess 63 01 3401 E-Books LF GBV-DOAB 65 01 0003 OLR-DOAB 70 01 0089 OLR-DOAB-OA 72 01 0035 OLR-ZDB-94-OAB 90 01 3090 OLR-HILoapen 91 01 3091 OLR-DOAB 92 01 0033 OLR-Open Access DOAB 95 01 3095 OLR-OAB 105 01 0841 OLR-OAB 110 01 3110 OLR-DOAB 120 01 0715 alma 130 01 0700 OLR-DOAB 131 01 3131 OLR-OA-DOAB 132 01 0959 OLR-OAB 136 01 3526 OLR-DOAB 147 01 3528 OLR-DOAB 161 01 0960 OLR-DOAB 213 01 0551 OLR-DOAB 230 01 0552 OLR-DOAB 285 01 0517 OLR-DOAB 293 01 3293 OLR-DOAB 370 01 4370 OLR-FREE 370 01 4370 olr-ebook ZDB-94-OAB 635 01 3635 OLR-DOAB 808 01 4808 OLR-DOAB
spelling	9783030451905 978-3-030-45190-5 20.500.12854/31311 hdl (DE-627)177847537X (DE-599)KEP069365326 (OCoLC)1153987496 (DOAB)31311 (EBP)069365326 DE-627 ger DE-627 rakwb eng UY bicssc UYQE bicssc UYD bicssc UMB bicssc UYA bicssc Biere, Armin herausgeberin edt Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I Cham Springer Nature 2020 1 Online-Ressource (501 p.) Text txt rdacontent Computermedien c rdamedia Online-Ressource cr rdacarrier Lecture Notes in Computer Science; Theoretical Computer Science and General Issues Open Access Unrestricted online access star This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows: Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems. Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata; and SV-COMP 2020 Creative Commons by/4.0 cc English Computer science Expert systems / knowledge-based systems Systems analysis & design Algorithms & data structures Mathematical theory of computation Parker, David herausgeberin edt https://directory.doabooks.org/handle/20.500.12854/31311 X:DOAB Verlag kostenfrei https://av.tib.eu/series/1139/26th+international+conference+on+tools+and+algorithms+for+the+construction+and+analysis+of+systems+tacas+2020 Agentur Zugehörige Videos ZDB-94-OAB GBV_ILN_11 ISIL_DE-1a SYSFLAG_1 GBV_KXP GBV_ILN_20 ISIL_DE-84 GBV_ILN_22 ISIL_DE-18 GBV_ILN_23 ISIL_DE-830 GBV_ILN_24 ISIL_DE-8 GBV_ILN_30 ISIL_DE-104 GBV_ILN_31 ISIL_DE-27 GBV_ILN_39 ISIL_DE-547 GBV_ILN_40 ISIL_DE-7 GBV_ILN_60 ISIL_DE-705 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_90 ISIL_DE-Hil2 GBV_ILN_91 ISIL_DE-HIL3 GBV_ILN_92 ISIL_DE-33 GBV_ILN_95 ISIL_DE-542 GBV_ILN_105 ISIL_DE-841 GBV_ILN_110 ISIL_DE-Luen4 GBV_ILN_120 ISIL_DE-715 GBV_ILN_130 ISIL_DE-700 GBV_ILN_131 ISIL_DE-Va1 GBV_ILN_132 ISIL_DE-959 GBV_ILN_136 ISIL_DE-Wis1 GBV_ILN_147 ISIL_DE-Fl3 GBV_ILN_161 ISIL_DE-960 GBV_ILN_213 ISIL_DE-551 GBV_ILN_230 ISIL_DE-552 GBV_ILN_283 ISIL_DE-Ha163 GBV_ILN_285 ISIL_DE-517 GBV_ILN_293 ISIL_DE-960-3 GBV_ILN_370 ISIL_DE-1373 GBV_ILN_635 ISIL_DE-B2138 GBV_ILN_808 GBV_ILN_2011 ISIL_DE-16 GBV_ILN_2014 ISIL_DE-90 GBV_ILN_2018 ISIL_DE-31 GBV_ILN_2034 ISIL_DE-Rt2 GBV_ILN_2037 ISIL_DE-747 GBV_ILN_2050 ISIL_DE-Zi4 GBV_ILN_2108 ISIL_DE-991 GBV_ILN_2403 ISIL_DE-LFER BO 11 01 0001 4023068136 00 5:LIZFREI --%%-- --%%-- --%%-- k 20-12-21 20 01 0084 4012001264 OLR-DOAB z 01-12-21 22 01 0018 4006092067 OLR-ZDB-94-OAB DOAB Directory of Open Access Books zu 25-11-21 23 01 0830 4006610149 olr-doab f z 25-11-21 24 01 0008 4060093084 OLR-doab z 15-02-22 30 01 0104 4102091017 OLR-OAB Open Access, Directory of Open Access Books (DOAB) z 26-03-22 31 01 0027 405241490X OLR-DOAB z 07-02-22 39 01 0547 410591166X OLR-ZDB-94-OAB ke 29-03-22 40 01 0007 4011564982 OLR-DOAB xsn 01-12-21 60 01 0705 4275919629 OPENAccess Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. Nur für Angehörige der HSU: Volltextzugang von außerhalb des Campus mit Anmeldung über Shibboleth mit Ihrer Bibliothekskennung z 24-02-23 63 01 3401 4106546132 E-Books LF GBV-DOAB z 29-03-22 65 01 0003 4109242886 OLR-DOAB Nach dem deutschen Urheberrecht darf das Werk bzw. der Inhalt zum eigenen Gebrauch kostenfrei heruntergeladen, konsumiert, gespeichert oder ausgedruckt, nicht jedoch im Internet bereitgestellt oder an Außenstehende weitergegeben werden! z 01-04-22 70 01 0089 4006346220 OLR-DOAB-OA DOAB Directory of Open Access Books z 25-11-21 72 01 0035 4104508284 OLR-ZDB-94-OAB DOAB Directory of Open Access Books z 28-03-22 90 01 3090 4106335379 OLR-HILoapen z 29-03-22 91 01 3091 4011317756 OLR-DOAB DOAB Directory of Open Access Books z 01-12-21 92 01 0033 4110694361 OLR-Open Access DOAB 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. Das Ebook ist frei zugänglich. z 02-04-22 95 01 3095 4342190664 OLR-OAB 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 23-06-23 105 01 0841 4007070830 OLR-OAB 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 25-11-21 110 01 3110 4019771391 OLR-DOAB 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. Open Access z 14-12-21 120 01 0715 4016808057 00 --%%-- --%%-- g --%%-- alma z 08-12-21 130 01 0700 4145708776 OLR-DOAB z 08-06-22 131 01 3131 4465720254 OLR-OA-DOAB Bitte beachten Sie die Nutzungsbedingungen und Copyright-Bestimmungen des Verlages/Herausgebers. z 23-01-24 132 01 0959 4149704465 OLR-OAB Open Access x 14-06-22 136 01 3526 4005634893 OLR-DOAB z 24-11-21 147 01 3528 4123954340 OLR-DOAB 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 27-04-22 161 01 0960 4150876339 OLR-DOAB DOAB Directory of Open Access Books z 16-06-22 213 01 0551 4108482034 OLR-DOAB DOAB Directory of Open Access Books z 31-03-22 230 01 0552 4123453627 OLR-DOAB DOAB Directory of Open Access Books z 27-04-22 283 01 3283 4157017854 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 28-06-22 285 01 0517 4050260085 OLR-DOAB z 02-02-22 293 01 3293 4153673137 OLR-DOAB DOAB Directory of Open Access Books z 21-06-22 370 01 4370 4125527229 OLR-FREE Kostenloser Zugriff z 28-04-22 635 01 3635 4509832265 OLR-DOAB Open Access. 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 10-04-24 808 01 4808 4158068436 OLR-DOAB DOAB Directory of Open Access Books zg 29-06-22 2011 01 DE-16 402647156X 00 --%%-- --%%-- --%%-- --%%-- l01 23-12-21 2014 01 DE-90 4011062820 00 --%%-- --%%-- --%%-- --%%-- l01 01-12-21 2018 01 DE-31 4033423753 00 --%%-- --%%-- --%%-- n Der Zugriff ist kostenfrei möglich. l01 11-01-22 2034 01 DE-Rt2 4014428265 00 --%%-- eBook n n frei zugänglich l01 05-12-21 2037 01 DE-747 4345573661 00 --%%-- eBook OAPEN Foundation OpenAccess --%%-- n Im Internet frei verfügbar l01 30-06-23 2050 01 DE-Zi4 4091599419 00 --%%-- --%%-- --%%-- n Elektronischer Volltext - Open Access l01 16-03-22 2108 01 DE-991 4096828963 00 --%%-- eBook DOAB --%%-- n Elektronischer Volltext - Campuslizenz l01 20-03-22 2403 01 DE-LFER 4017855725 00 --%%-- --%%-- n --%%-- l01 09-12-21 20 01 0084 https://directory.doabooks.org/handle/20.500.12854/31311 22 01 0018 Volltextzugang https://directory.doabooks.org/handle/20.500.12854/31311 23 01 0830 https://directory.doabooks.org/handle/20.500.12854/31311 24 01 0008 https://directory.doabooks.org/handle/20.500.12854/31311 30 01 0104 https://directory.doabooks.org/handle/20.500.12854/31311 31 01 0027 https://directory.doabooks.org/handle/20.500.12854/31311 40 01 0007 Volltext, Open Access https://directory.doabooks.org/handle/20.500.12854/31311 60 01 0705 https://directory.doabooks.org/handle/20.500.12854/31311 63 01 3401 E-Book https://directory.doabooks.org/handle/20.500.12854/31311 65 01 0003 Open Access https://directory.doabooks.org/handle/20.500.12854/31311 65 01 0003 Dieser Titel ist Teil einer Datenbank http://www.bibliothek.uni-regensburg.de/dbinfo/detail.php?titel_id=11367&bib_id=ulb_hal 70 01 0089 https://directory.doabooks.org/handle/20.500.12854/31311 72 01 0035 https://directory.doabooks.org/handle/20.500.12854/31311 90 01 3090 https://directory.doabooks.org/handle/20.500.12854/31311 91 01 3091 https://directory.doabooks.org/handle/20.500.12854/31311 92 01 0033 https://directory.doabooks.org/handle/20.500.12854/31311 95 01 3095 https://directory.doabooks.org/handle/20.500.12854/31311 105 01 0841 https://directory.doabooks.org/handle/20.500.12854/31311 110 01 3110 Open Access https://directory.doabooks.org/handle/20.500.12854/31311 120 01 0715 http://49gbv-uob-primo.hosted.exlibrisgroup.com/openurl/49GBV_UOB/UOB_services_page?u.ignore_date_coverage=true&rft.mms_id=991015562457203501 130 01 0700 Open Access https://directory.doabooks.org/handle/20.500.12854/31311 131 01 3131 https://directory.doabooks.org/handle/20.500.12854/31311 132 01 0959 https://directory.doabooks.org/handle/20.500.12854/31311 136 01 3526 Open Access https://directory.doabooks.org/handle/20.500.12854/31311 147 01 3528 https://directory.doabooks.org/handle/20.500.12854/31311 161 01 0960 https://directory.doabooks.org/handle/20.500.12854/31311 LF 213 01 0551 https://directory.doabooks.org/handle/20.500.12854/31311 230 01 0552 https://directory.doabooks.org/handle/20.500.12854/31311 283 01 3283 https://directory.doabooks.org/handle/20.500.12854/31311 285 01 0517 Open Access https://directory.doabooks.org/handle/20.500.12854/31311 293 01 3293 https://directory.doabooks.org/handle/20.500.12854/31311 LF 370 01 4370 https://directory.doabooks.org/handle/20.500.12854/31311 635 01 3635 https://directory.doabooks.org/handle/20.500.12854/31311 808 01 4808 Volltextzugang https://directory.doabooks.org/handle/20.500.12854/31311 2011 01 DE-16 https://directory.doabooks.org/handle/20.500.12854/31311 2014 01 DE-90 Volltext frei verfügbar https://directory.doabooks.org/handle/20.500.12854/31311 2034 01 DE-Rt2 https://directory.doabooks.org/handle/20.500.12854/31311 2037 01 DE-747 https://directory.doabooks.org/handle/20.500.12854/31311 2050 01 DE-Zi4 https://directory.doabooks.org/handle/20.500.12854/31311 2108 01 DE-991 https://directory.doabooks.org/handle/20.500.12854/31311 2403 01 DE-LFER https://directory.doabooks.org/handle/20.500.12854/31311 31 01 0027 00 E-Book Open Access 132 01 0959 00 EBooks DOAB Open Access 20 01 0084 OLR-DOAB 22 01 0018 OLR-ZDB-94-OAB 23 01 0830 olr-doab 24 01 0008 OLR-doab 24 01 0008 olr-frei 30 01 0104 OLR-OAB 31 01 0027 OLR-DOAB 39 01 0547 OLR-ZDB-94-OAB 39 01 0547 LF 40 01 0007 OLR-DOAB 60 01 0705 OPENAccess 63 01 3401 E-Books LF GBV-DOAB 65 01 0003 OLR-DOAB 70 01 0089 OLR-DOAB-OA 72 01 0035 OLR-ZDB-94-OAB 90 01 3090 OLR-HILoapen 91 01 3091 OLR-DOAB 92 01 0033 OLR-Open Access DOAB 95 01 3095 OLR-OAB 105 01 0841 OLR-OAB 110 01 3110 OLR-DOAB 120 01 0715 alma 130 01 0700 OLR-DOAB 131 01 3131 OLR-OA-DOAB 132 01 0959 OLR-OAB 136 01 3526 OLR-DOAB 147 01 3528 OLR-DOAB 161 01 0960 OLR-DOAB 213 01 0551 OLR-DOAB 230 01 0552 OLR-DOAB 285 01 0517 OLR-DOAB 293 01 3293 OLR-DOAB 370 01 4370 OLR-FREE 370 01 4370 olr-ebook ZDB-94-OAB 635 01 3635 OLR-DOAB 808 01 4808 OLR-DOAB
allfields_unstemmed	9783030451905 978-3-030-45190-5 20.500.12854/31311 hdl (DE-627)177847537X (DE-599)KEP069365326 (OCoLC)1153987496 (DOAB)31311 (EBP)069365326 DE-627 ger DE-627 rakwb eng UY bicssc UYQE bicssc UYD bicssc UMB bicssc UYA bicssc Biere, Armin herausgeberin edt Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I Cham Springer Nature 2020 1 Online-Ressource (501 p.) Text txt rdacontent Computermedien c rdamedia Online-Ressource cr rdacarrier Lecture Notes in Computer Science; Theoretical Computer Science and General Issues Open Access Unrestricted online access star This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows: Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems. Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata; and SV-COMP 2020 Creative Commons by/4.0 cc English Computer science Expert systems / knowledge-based systems Systems analysis & design Algorithms & data structures Mathematical theory of computation Parker, David herausgeberin edt https://directory.doabooks.org/handle/20.500.12854/31311 X:DOAB Verlag kostenfrei https://av.tib.eu/series/1139/26th+international+conference+on+tools+and+algorithms+for+the+construction+and+analysis+of+systems+tacas+2020 Agentur Zugehörige Videos ZDB-94-OAB GBV_ILN_11 ISIL_DE-1a SYSFLAG_1 GBV_KXP GBV_ILN_20 ISIL_DE-84 GBV_ILN_22 ISIL_DE-18 GBV_ILN_23 ISIL_DE-830 GBV_ILN_24 ISIL_DE-8 GBV_ILN_30 ISIL_DE-104 GBV_ILN_31 ISIL_DE-27 GBV_ILN_39 ISIL_DE-547 GBV_ILN_40 ISIL_DE-7 GBV_ILN_60 ISIL_DE-705 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_90 ISIL_DE-Hil2 GBV_ILN_91 ISIL_DE-HIL3 GBV_ILN_92 ISIL_DE-33 GBV_ILN_95 ISIL_DE-542 GBV_ILN_105 ISIL_DE-841 GBV_ILN_110 ISIL_DE-Luen4 GBV_ILN_120 ISIL_DE-715 GBV_ILN_130 ISIL_DE-700 GBV_ILN_131 ISIL_DE-Va1 GBV_ILN_132 ISIL_DE-959 GBV_ILN_136 ISIL_DE-Wis1 GBV_ILN_147 ISIL_DE-Fl3 GBV_ILN_161 ISIL_DE-960 GBV_ILN_213 ISIL_DE-551 GBV_ILN_230 ISIL_DE-552 GBV_ILN_283 ISIL_DE-Ha163 GBV_ILN_285 ISIL_DE-517 GBV_ILN_293 ISIL_DE-960-3 GBV_ILN_370 ISIL_DE-1373 GBV_ILN_635 ISIL_DE-B2138 GBV_ILN_808 GBV_ILN_2011 ISIL_DE-16 GBV_ILN_2014 ISIL_DE-90 GBV_ILN_2018 ISIL_DE-31 GBV_ILN_2034 ISIL_DE-Rt2 GBV_ILN_2037 ISIL_DE-747 GBV_ILN_2050 ISIL_DE-Zi4 GBV_ILN_2108 ISIL_DE-991 GBV_ILN_2403 ISIL_DE-LFER BO 11 01 0001 4023068136 00 5:LIZFREI --%%-- --%%-- --%%-- k 20-12-21 20 01 0084 4012001264 OLR-DOAB z 01-12-21 22 01 0018 4006092067 OLR-ZDB-94-OAB DOAB Directory of Open Access Books zu 25-11-21 23 01 0830 4006610149 olr-doab f z 25-11-21 24 01 0008 4060093084 OLR-doab z 15-02-22 30 01 0104 4102091017 OLR-OAB Open Access, Directory of Open Access Books (DOAB) z 26-03-22 31 01 0027 405241490X OLR-DOAB z 07-02-22 39 01 0547 410591166X OLR-ZDB-94-OAB ke 29-03-22 40 01 0007 4011564982 OLR-DOAB xsn 01-12-21 60 01 0705 4275919629 OPENAccess Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. Nur für Angehörige der HSU: Volltextzugang von außerhalb des Campus mit Anmeldung über Shibboleth mit Ihrer Bibliothekskennung z 24-02-23 63 01 3401 4106546132 E-Books LF GBV-DOAB z 29-03-22 65 01 0003 4109242886 OLR-DOAB Nach dem deutschen Urheberrecht darf das Werk bzw. der Inhalt zum eigenen Gebrauch kostenfrei heruntergeladen, konsumiert, gespeichert oder ausgedruckt, nicht jedoch im Internet bereitgestellt oder an Außenstehende weitergegeben werden! z 01-04-22 70 01 0089 4006346220 OLR-DOAB-OA DOAB Directory of Open Access Books z 25-11-21 72 01 0035 4104508284 OLR-ZDB-94-OAB DOAB Directory of Open Access Books z 28-03-22 90 01 3090 4106335379 OLR-HILoapen z 29-03-22 91 01 3091 4011317756 OLR-DOAB DOAB Directory of Open Access Books z 01-12-21 92 01 0033 4110694361 OLR-Open Access DOAB 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. Das Ebook ist frei zugänglich. z 02-04-22 95 01 3095 4342190664 OLR-OAB 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 23-06-23 105 01 0841 4007070830 OLR-OAB 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 25-11-21 110 01 3110 4019771391 OLR-DOAB 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. Open Access z 14-12-21 120 01 0715 4016808057 00 --%%-- --%%-- g --%%-- alma z 08-12-21 130 01 0700 4145708776 OLR-DOAB z 08-06-22 131 01 3131 4465720254 OLR-OA-DOAB Bitte beachten Sie die Nutzungsbedingungen und Copyright-Bestimmungen des Verlages/Herausgebers. z 23-01-24 132 01 0959 4149704465 OLR-OAB Open Access x 14-06-22 136 01 3526 4005634893 OLR-DOAB z 24-11-21 147 01 3528 4123954340 OLR-DOAB 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 27-04-22 161 01 0960 4150876339 OLR-DOAB DOAB Directory of Open Access Books z 16-06-22 213 01 0551 4108482034 OLR-DOAB DOAB Directory of Open Access Books z 31-03-22 230 01 0552 4123453627 OLR-DOAB DOAB Directory of Open Access Books z 27-04-22 283 01 3283 4157017854 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 28-06-22 285 01 0517 4050260085 OLR-DOAB z 02-02-22 293 01 3293 4153673137 OLR-DOAB DOAB Directory of Open Access Books z 21-06-22 370 01 4370 4125527229 OLR-FREE Kostenloser Zugriff z 28-04-22 635 01 3635 4509832265 OLR-DOAB Open Access. 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 10-04-24 808 01 4808 4158068436 OLR-DOAB DOAB Directory of Open Access Books zg 29-06-22 2011 01 DE-16 402647156X 00 --%%-- --%%-- --%%-- --%%-- l01 23-12-21 2014 01 DE-90 4011062820 00 --%%-- --%%-- --%%-- --%%-- l01 01-12-21 2018 01 DE-31 4033423753 00 --%%-- --%%-- --%%-- n Der Zugriff ist kostenfrei möglich. l01 11-01-22 2034 01 DE-Rt2 4014428265 00 --%%-- eBook n n frei zugänglich l01 05-12-21 2037 01 DE-747 4345573661 00 --%%-- eBook OAPEN Foundation OpenAccess --%%-- n Im Internet frei verfügbar l01 30-06-23 2050 01 DE-Zi4 4091599419 00 --%%-- --%%-- --%%-- n Elektronischer Volltext - Open Access l01 16-03-22 2108 01 DE-991 4096828963 00 --%%-- eBook DOAB --%%-- n Elektronischer Volltext - Campuslizenz l01 20-03-22 2403 01 DE-LFER 4017855725 00 --%%-- --%%-- n --%%-- l01 09-12-21 20 01 0084 https://directory.doabooks.org/handle/20.500.12854/31311 22 01 0018 Volltextzugang https://directory.doabooks.org/handle/20.500.12854/31311 23 01 0830 https://directory.doabooks.org/handle/20.500.12854/31311 24 01 0008 https://directory.doabooks.org/handle/20.500.12854/31311 30 01 0104 https://directory.doabooks.org/handle/20.500.12854/31311 31 01 0027 https://directory.doabooks.org/handle/20.500.12854/31311 40 01 0007 Volltext, Open Access https://directory.doabooks.org/handle/20.500.12854/31311 60 01 0705 https://directory.doabooks.org/handle/20.500.12854/31311 63 01 3401 E-Book https://directory.doabooks.org/handle/20.500.12854/31311 65 01 0003 Open Access https://directory.doabooks.org/handle/20.500.12854/31311 65 01 0003 Dieser Titel ist Teil einer Datenbank http://www.bibliothek.uni-regensburg.de/dbinfo/detail.php?titel_id=11367&bib_id=ulb_hal 70 01 0089 https://directory.doabooks.org/handle/20.500.12854/31311 72 01 0035 https://directory.doabooks.org/handle/20.500.12854/31311 90 01 3090 https://directory.doabooks.org/handle/20.500.12854/31311 91 01 3091 https://directory.doabooks.org/handle/20.500.12854/31311 92 01 0033 https://directory.doabooks.org/handle/20.500.12854/31311 95 01 3095 https://directory.doabooks.org/handle/20.500.12854/31311 105 01 0841 https://directory.doabooks.org/handle/20.500.12854/31311 110 01 3110 Open Access https://directory.doabooks.org/handle/20.500.12854/31311 120 01 0715 http://49gbv-uob-primo.hosted.exlibrisgroup.com/openurl/49GBV_UOB/UOB_services_page?u.ignore_date_coverage=true&rft.mms_id=991015562457203501 130 01 0700 Open Access https://directory.doabooks.org/handle/20.500.12854/31311 131 01 3131 https://directory.doabooks.org/handle/20.500.12854/31311 132 01 0959 https://directory.doabooks.org/handle/20.500.12854/31311 136 01 3526 Open Access https://directory.doabooks.org/handle/20.500.12854/31311 147 01 3528 https://directory.doabooks.org/handle/20.500.12854/31311 161 01 0960 https://directory.doabooks.org/handle/20.500.12854/31311 LF 213 01 0551 https://directory.doabooks.org/handle/20.500.12854/31311 230 01 0552 https://directory.doabooks.org/handle/20.500.12854/31311 283 01 3283 https://directory.doabooks.org/handle/20.500.12854/31311 285 01 0517 Open Access https://directory.doabooks.org/handle/20.500.12854/31311 293 01 3293 https://directory.doabooks.org/handle/20.500.12854/31311 LF 370 01 4370 https://directory.doabooks.org/handle/20.500.12854/31311 635 01 3635 https://directory.doabooks.org/handle/20.500.12854/31311 808 01 4808 Volltextzugang https://directory.doabooks.org/handle/20.500.12854/31311 2011 01 DE-16 https://directory.doabooks.org/handle/20.500.12854/31311 2014 01 DE-90 Volltext frei verfügbar https://directory.doabooks.org/handle/20.500.12854/31311 2034 01 DE-Rt2 https://directory.doabooks.org/handle/20.500.12854/31311 2037 01 DE-747 https://directory.doabooks.org/handle/20.500.12854/31311 2050 01 DE-Zi4 https://directory.doabooks.org/handle/20.500.12854/31311 2108 01 DE-991 https://directory.doabooks.org/handle/20.500.12854/31311 2403 01 DE-LFER https://directory.doabooks.org/handle/20.500.12854/31311 31 01 0027 00 E-Book Open Access 132 01 0959 00 EBooks DOAB Open Access 20 01 0084 OLR-DOAB 22 01 0018 OLR-ZDB-94-OAB 23 01 0830 olr-doab 24 01 0008 OLR-doab 24 01 0008 olr-frei 30 01 0104 OLR-OAB 31 01 0027 OLR-DOAB 39 01 0547 OLR-ZDB-94-OAB 39 01 0547 LF 40 01 0007 OLR-DOAB 60 01 0705 OPENAccess 63 01 3401 E-Books LF GBV-DOAB 65 01 0003 OLR-DOAB 70 01 0089 OLR-DOAB-OA 72 01 0035 OLR-ZDB-94-OAB 90 01 3090 OLR-HILoapen 91 01 3091 OLR-DOAB 92 01 0033 OLR-Open Access DOAB 95 01 3095 OLR-OAB 105 01 0841 OLR-OAB 110 01 3110 OLR-DOAB 120 01 0715 alma 130 01 0700 OLR-DOAB 131 01 3131 OLR-OA-DOAB 132 01 0959 OLR-OAB 136 01 3526 OLR-DOAB 147 01 3528 OLR-DOAB 161 01 0960 OLR-DOAB 213 01 0551 OLR-DOAB 230 01 0552 OLR-DOAB 285 01 0517 OLR-DOAB 293 01 3293 OLR-DOAB 370 01 4370 OLR-FREE 370 01 4370 olr-ebook ZDB-94-OAB 635 01 3635 OLR-DOAB 808 01 4808 OLR-DOAB
allfieldsGer	9783030451905 978-3-030-45190-5 20.500.12854/31311 hdl (DE-627)177847537X (DE-599)KEP069365326 (OCoLC)1153987496 (DOAB)31311 (EBP)069365326 DE-627 ger DE-627 rakwb eng UY bicssc UYQE bicssc UYD bicssc UMB bicssc UYA bicssc Biere, Armin herausgeberin edt Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I Cham Springer Nature 2020 1 Online-Ressource (501 p.) Text txt rdacontent Computermedien c rdamedia Online-Ressource cr rdacarrier Lecture Notes in Computer Science; Theoretical Computer Science and General Issues Open Access Unrestricted online access star This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows: Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems. Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata; and SV-COMP 2020 Creative Commons by/4.0 cc English Computer science Expert systems / knowledge-based systems Systems analysis & design Algorithms & data structures Mathematical theory of computation Parker, David herausgeberin edt https://directory.doabooks.org/handle/20.500.12854/31311 X:DOAB Verlag kostenfrei https://av.tib.eu/series/1139/26th+international+conference+on+tools+and+algorithms+for+the+construction+and+analysis+of+systems+tacas+2020 Agentur Zugehörige Videos ZDB-94-OAB GBV_ILN_11 ISIL_DE-1a SYSFLAG_1 GBV_KXP GBV_ILN_20 ISIL_DE-84 GBV_ILN_22 ISIL_DE-18 GBV_ILN_23 ISIL_DE-830 GBV_ILN_24 ISIL_DE-8 GBV_ILN_30 ISIL_DE-104 GBV_ILN_31 ISIL_DE-27 GBV_ILN_39 ISIL_DE-547 GBV_ILN_40 ISIL_DE-7 GBV_ILN_60 ISIL_DE-705 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_90 ISIL_DE-Hil2 GBV_ILN_91 ISIL_DE-HIL3 GBV_ILN_92 ISIL_DE-33 GBV_ILN_95 ISIL_DE-542 GBV_ILN_105 ISIL_DE-841 GBV_ILN_110 ISIL_DE-Luen4 GBV_ILN_120 ISIL_DE-715 GBV_ILN_130 ISIL_DE-700 GBV_ILN_131 ISIL_DE-Va1 GBV_ILN_132 ISIL_DE-959 GBV_ILN_136 ISIL_DE-Wis1 GBV_ILN_147 ISIL_DE-Fl3 GBV_ILN_161 ISIL_DE-960 GBV_ILN_213 ISIL_DE-551 GBV_ILN_230 ISIL_DE-552 GBV_ILN_283 ISIL_DE-Ha163 GBV_ILN_285 ISIL_DE-517 GBV_ILN_293 ISIL_DE-960-3 GBV_ILN_370 ISIL_DE-1373 GBV_ILN_635 ISIL_DE-B2138 GBV_ILN_808 GBV_ILN_2011 ISIL_DE-16 GBV_ILN_2014 ISIL_DE-90 GBV_ILN_2018 ISIL_DE-31 GBV_ILN_2034 ISIL_DE-Rt2 GBV_ILN_2037 ISIL_DE-747 GBV_ILN_2050 ISIL_DE-Zi4 GBV_ILN_2108 ISIL_DE-991 GBV_ILN_2403 ISIL_DE-LFER BO 11 01 0001 4023068136 00 5:LIZFREI --%%-- --%%-- --%%-- k 20-12-21 20 01 0084 4012001264 OLR-DOAB z 01-12-21 22 01 0018 4006092067 OLR-ZDB-94-OAB DOAB Directory of Open Access Books zu 25-11-21 23 01 0830 4006610149 olr-doab f z 25-11-21 24 01 0008 4060093084 OLR-doab z 15-02-22 30 01 0104 4102091017 OLR-OAB Open Access, Directory of Open Access Books (DOAB) z 26-03-22 31 01 0027 405241490X OLR-DOAB z 07-02-22 39 01 0547 410591166X OLR-ZDB-94-OAB ke 29-03-22 40 01 0007 4011564982 OLR-DOAB xsn 01-12-21 60 01 0705 4275919629 OPENAccess Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. Nur für Angehörige der HSU: Volltextzugang von außerhalb des Campus mit Anmeldung über Shibboleth mit Ihrer Bibliothekskennung z 24-02-23 63 01 3401 4106546132 E-Books LF GBV-DOAB z 29-03-22 65 01 0003 4109242886 OLR-DOAB Nach dem deutschen Urheberrecht darf das Werk bzw. der Inhalt zum eigenen Gebrauch kostenfrei heruntergeladen, konsumiert, gespeichert oder ausgedruckt, nicht jedoch im Internet bereitgestellt oder an Außenstehende weitergegeben werden! z 01-04-22 70 01 0089 4006346220 OLR-DOAB-OA DOAB Directory of Open Access Books z 25-11-21 72 01 0035 4104508284 OLR-ZDB-94-OAB DOAB Directory of Open Access Books z 28-03-22 90 01 3090 4106335379 OLR-HILoapen z 29-03-22 91 01 3091 4011317756 OLR-DOAB DOAB Directory of Open Access Books z 01-12-21 92 01 0033 4110694361 OLR-Open Access DOAB 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. Das Ebook ist frei zugänglich. z 02-04-22 95 01 3095 4342190664 OLR-OAB 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 23-06-23 105 01 0841 4007070830 OLR-OAB 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 25-11-21 110 01 3110 4019771391 OLR-DOAB 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. Open Access z 14-12-21 120 01 0715 4016808057 00 --%%-- --%%-- g --%%-- alma z 08-12-21 130 01 0700 4145708776 OLR-DOAB z 08-06-22 131 01 3131 4465720254 OLR-OA-DOAB Bitte beachten Sie die Nutzungsbedingungen und Copyright-Bestimmungen des Verlages/Herausgebers. z 23-01-24 132 01 0959 4149704465 OLR-OAB Open Access x 14-06-22 136 01 3526 4005634893 OLR-DOAB z 24-11-21 147 01 3528 4123954340 OLR-DOAB 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 27-04-22 161 01 0960 4150876339 OLR-DOAB DOAB Directory of Open Access Books z 16-06-22 213 01 0551 4108482034 OLR-DOAB DOAB Directory of Open Access Books z 31-03-22 230 01 0552 4123453627 OLR-DOAB DOAB Directory of Open Access Books z 27-04-22 283 01 3283 4157017854 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 28-06-22 285 01 0517 4050260085 OLR-DOAB z 02-02-22 293 01 3293 4153673137 OLR-DOAB DOAB Directory of Open Access Books z 21-06-22 370 01 4370 4125527229 OLR-FREE Kostenloser Zugriff z 28-04-22 635 01 3635 4509832265 OLR-DOAB Open Access. 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 10-04-24 808 01 4808 4158068436 OLR-DOAB DOAB Directory of Open Access Books zg 29-06-22 2011 01 DE-16 402647156X 00 --%%-- --%%-- --%%-- --%%-- l01 23-12-21 2014 01 DE-90 4011062820 00 --%%-- --%%-- --%%-- --%%-- l01 01-12-21 2018 01 DE-31 4033423753 00 --%%-- --%%-- --%%-- n Der Zugriff ist kostenfrei möglich. l01 11-01-22 2034 01 DE-Rt2 4014428265 00 --%%-- eBook n n frei zugänglich l01 05-12-21 2037 01 DE-747 4345573661 00 --%%-- eBook OAPEN Foundation OpenAccess --%%-- n Im Internet frei verfügbar l01 30-06-23 2050 01 DE-Zi4 4091599419 00 --%%-- --%%-- --%%-- n Elektronischer Volltext - Open Access l01 16-03-22 2108 01 DE-991 4096828963 00 --%%-- eBook DOAB --%%-- n Elektronischer Volltext - Campuslizenz l01 20-03-22 2403 01 DE-LFER 4017855725 00 --%%-- --%%-- n --%%-- l01 09-12-21 20 01 0084 https://directory.doabooks.org/handle/20.500.12854/31311 22 01 0018 Volltextzugang https://directory.doabooks.org/handle/20.500.12854/31311 23 01 0830 https://directory.doabooks.org/handle/20.500.12854/31311 24 01 0008 https://directory.doabooks.org/handle/20.500.12854/31311 30 01 0104 https://directory.doabooks.org/handle/20.500.12854/31311 31 01 0027 https://directory.doabooks.org/handle/20.500.12854/31311 40 01 0007 Volltext, Open Access https://directory.doabooks.org/handle/20.500.12854/31311 60 01 0705 https://directory.doabooks.org/handle/20.500.12854/31311 63 01 3401 E-Book https://directory.doabooks.org/handle/20.500.12854/31311 65 01 0003 Open Access https://directory.doabooks.org/handle/20.500.12854/31311 65 01 0003 Dieser Titel ist Teil einer Datenbank http://www.bibliothek.uni-regensburg.de/dbinfo/detail.php?titel_id=11367&bib_id=ulb_hal 70 01 0089 https://directory.doabooks.org/handle/20.500.12854/31311 72 01 0035 https://directory.doabooks.org/handle/20.500.12854/31311 90 01 3090 https://directory.doabooks.org/handle/20.500.12854/31311 91 01 3091 https://directory.doabooks.org/handle/20.500.12854/31311 92 01 0033 https://directory.doabooks.org/handle/20.500.12854/31311 95 01 3095 https://directory.doabooks.org/handle/20.500.12854/31311 105 01 0841 https://directory.doabooks.org/handle/20.500.12854/31311 110 01 3110 Open Access https://directory.doabooks.org/handle/20.500.12854/31311 120 01 0715 http://49gbv-uob-primo.hosted.exlibrisgroup.com/openurl/49GBV_UOB/UOB_services_page?u.ignore_date_coverage=true&rft.mms_id=991015562457203501 130 01 0700 Open Access https://directory.doabooks.org/handle/20.500.12854/31311 131 01 3131 https://directory.doabooks.org/handle/20.500.12854/31311 132 01 0959 https://directory.doabooks.org/handle/20.500.12854/31311 136 01 3526 Open Access https://directory.doabooks.org/handle/20.500.12854/31311 147 01 3528 https://directory.doabooks.org/handle/20.500.12854/31311 161 01 0960 https://directory.doabooks.org/handle/20.500.12854/31311 LF 213 01 0551 https://directory.doabooks.org/handle/20.500.12854/31311 230 01 0552 https://directory.doabooks.org/handle/20.500.12854/31311 283 01 3283 https://directory.doabooks.org/handle/20.500.12854/31311 285 01 0517 Open Access https://directory.doabooks.org/handle/20.500.12854/31311 293 01 3293 https://directory.doabooks.org/handle/20.500.12854/31311 LF 370 01 4370 https://directory.doabooks.org/handle/20.500.12854/31311 635 01 3635 https://directory.doabooks.org/handle/20.500.12854/31311 808 01 4808 Volltextzugang https://directory.doabooks.org/handle/20.500.12854/31311 2011 01 DE-16 https://directory.doabooks.org/handle/20.500.12854/31311 2014 01 DE-90 Volltext frei verfügbar https://directory.doabooks.org/handle/20.500.12854/31311 2034 01 DE-Rt2 https://directory.doabooks.org/handle/20.500.12854/31311 2037 01 DE-747 https://directory.doabooks.org/handle/20.500.12854/31311 2050 01 DE-Zi4 https://directory.doabooks.org/handle/20.500.12854/31311 2108 01 DE-991 https://directory.doabooks.org/handle/20.500.12854/31311 2403 01 DE-LFER https://directory.doabooks.org/handle/20.500.12854/31311 31 01 0027 00 E-Book Open Access 132 01 0959 00 EBooks DOAB Open Access 20 01 0084 OLR-DOAB 22 01 0018 OLR-ZDB-94-OAB 23 01 0830 olr-doab 24 01 0008 OLR-doab 24 01 0008 olr-frei 30 01 0104 OLR-OAB 31 01 0027 OLR-DOAB 39 01 0547 OLR-ZDB-94-OAB 39 01 0547 LF 40 01 0007 OLR-DOAB 60 01 0705 OPENAccess 63 01 3401 E-Books LF GBV-DOAB 65 01 0003 OLR-DOAB 70 01 0089 OLR-DOAB-OA 72 01 0035 OLR-ZDB-94-OAB 90 01 3090 OLR-HILoapen 91 01 3091 OLR-DOAB 92 01 0033 OLR-Open Access DOAB 95 01 3095 OLR-OAB 105 01 0841 OLR-OAB 110 01 3110 OLR-DOAB 120 01 0715 alma 130 01 0700 OLR-DOAB 131 01 3131 OLR-OA-DOAB 132 01 0959 OLR-OAB 136 01 3526 OLR-DOAB 147 01 3528 OLR-DOAB 161 01 0960 OLR-DOAB 213 01 0551 OLR-DOAB 230 01 0552 OLR-DOAB 285 01 0517 OLR-DOAB 293 01 3293 OLR-DOAB 370 01 4370 OLR-FREE 370 01 4370 olr-ebook ZDB-94-OAB 635 01 3635 OLR-DOAB 808 01 4808 OLR-DOAB
allfieldsSound	9783030451905 978-3-030-45190-5 20.500.12854/31311 hdl (DE-627)177847537X (DE-599)KEP069365326 (OCoLC)1153987496 (DOAB)31311 (EBP)069365326 DE-627 ger DE-627 rakwb eng UY bicssc UYQE bicssc UYD bicssc UMB bicssc UYA bicssc Biere, Armin herausgeberin edt Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I Cham Springer Nature 2020 1 Online-Ressource (501 p.) Text txt rdacontent Computermedien c rdamedia Online-Ressource cr rdacarrier Lecture Notes in Computer Science; Theoretical Computer Science and General Issues Open Access Unrestricted online access star This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows: Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems. Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata; and SV-COMP 2020 Creative Commons by/4.0 cc English Computer science Expert systems / knowledge-based systems Systems analysis & design Algorithms & data structures Mathematical theory of computation Parker, David herausgeberin edt https://directory.doabooks.org/handle/20.500.12854/31311 X:DOAB Verlag kostenfrei https://av.tib.eu/series/1139/26th+international+conference+on+tools+and+algorithms+for+the+construction+and+analysis+of+systems+tacas+2020 Agentur Zugehörige Videos ZDB-94-OAB GBV_ILN_11 ISIL_DE-1a SYSFLAG_1 GBV_KXP GBV_ILN_20 ISIL_DE-84 GBV_ILN_22 ISIL_DE-18 GBV_ILN_23 ISIL_DE-830 GBV_ILN_24 ISIL_DE-8 GBV_ILN_30 ISIL_DE-104 GBV_ILN_31 ISIL_DE-27 GBV_ILN_39 ISIL_DE-547 GBV_ILN_40 ISIL_DE-7 GBV_ILN_60 ISIL_DE-705 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_90 ISIL_DE-Hil2 GBV_ILN_91 ISIL_DE-HIL3 GBV_ILN_92 ISIL_DE-33 GBV_ILN_95 ISIL_DE-542 GBV_ILN_105 ISIL_DE-841 GBV_ILN_110 ISIL_DE-Luen4 GBV_ILN_120 ISIL_DE-715 GBV_ILN_130 ISIL_DE-700 GBV_ILN_131 ISIL_DE-Va1 GBV_ILN_132 ISIL_DE-959 GBV_ILN_136 ISIL_DE-Wis1 GBV_ILN_147 ISIL_DE-Fl3 GBV_ILN_161 ISIL_DE-960 GBV_ILN_213 ISIL_DE-551 GBV_ILN_230 ISIL_DE-552 GBV_ILN_283 ISIL_DE-Ha163 GBV_ILN_285 ISIL_DE-517 GBV_ILN_293 ISIL_DE-960-3 GBV_ILN_370 ISIL_DE-1373 GBV_ILN_635 ISIL_DE-B2138 GBV_ILN_808 GBV_ILN_2011 ISIL_DE-16 GBV_ILN_2014 ISIL_DE-90 GBV_ILN_2018 ISIL_DE-31 GBV_ILN_2034 ISIL_DE-Rt2 GBV_ILN_2037 ISIL_DE-747 GBV_ILN_2050 ISIL_DE-Zi4 GBV_ILN_2108 ISIL_DE-991 GBV_ILN_2403 ISIL_DE-LFER BO 11 01 0001 4023068136 00 5:LIZFREI --%%-- --%%-- --%%-- k 20-12-21 20 01 0084 4012001264 OLR-DOAB z 01-12-21 22 01 0018 4006092067 OLR-ZDB-94-OAB DOAB Directory of Open Access Books zu 25-11-21 23 01 0830 4006610149 olr-doab f z 25-11-21 24 01 0008 4060093084 OLR-doab z 15-02-22 30 01 0104 4102091017 OLR-OAB Open Access, Directory of Open Access Books (DOAB) z 26-03-22 31 01 0027 405241490X OLR-DOAB z 07-02-22 39 01 0547 410591166X OLR-ZDB-94-OAB ke 29-03-22 40 01 0007 4011564982 OLR-DOAB xsn 01-12-21 60 01 0705 4275919629 OPENAccess Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. Nur für Angehörige der HSU: Volltextzugang von außerhalb des Campus mit Anmeldung über Shibboleth mit Ihrer Bibliothekskennung z 24-02-23 63 01 3401 4106546132 E-Books LF GBV-DOAB z 29-03-22 65 01 0003 4109242886 OLR-DOAB Nach dem deutschen Urheberrecht darf das Werk bzw. der Inhalt zum eigenen Gebrauch kostenfrei heruntergeladen, konsumiert, gespeichert oder ausgedruckt, nicht jedoch im Internet bereitgestellt oder an Außenstehende weitergegeben werden! z 01-04-22 70 01 0089 4006346220 OLR-DOAB-OA DOAB Directory of Open Access Books z 25-11-21 72 01 0035 4104508284 OLR-ZDB-94-OAB DOAB Directory of Open Access Books z 28-03-22 90 01 3090 4106335379 OLR-HILoapen z 29-03-22 91 01 3091 4011317756 OLR-DOAB DOAB Directory of Open Access Books z 01-12-21 92 01 0033 4110694361 OLR-Open Access DOAB 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. Das Ebook ist frei zugänglich. z 02-04-22 95 01 3095 4342190664 OLR-OAB 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 23-06-23 105 01 0841 4007070830 OLR-OAB 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 25-11-21 110 01 3110 4019771391 OLR-DOAB 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. Open Access z 14-12-21 120 01 0715 4016808057 00 --%%-- --%%-- g --%%-- alma z 08-12-21 130 01 0700 4145708776 OLR-DOAB z 08-06-22 131 01 3131 4465720254 OLR-OA-DOAB Bitte beachten Sie die Nutzungsbedingungen und Copyright-Bestimmungen des Verlages/Herausgebers. z 23-01-24 132 01 0959 4149704465 OLR-OAB Open Access x 14-06-22 136 01 3526 4005634893 OLR-DOAB z 24-11-21 147 01 3528 4123954340 OLR-DOAB 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 27-04-22 161 01 0960 4150876339 OLR-DOAB DOAB Directory of Open Access Books z 16-06-22 213 01 0551 4108482034 OLR-DOAB DOAB Directory of Open Access Books z 31-03-22 230 01 0552 4123453627 OLR-DOAB DOAB Directory of Open Access Books z 27-04-22 283 01 3283 4157017854 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 28-06-22 285 01 0517 4050260085 OLR-DOAB z 02-02-22 293 01 3293 4153673137 OLR-DOAB DOAB Directory of Open Access Books z 21-06-22 370 01 4370 4125527229 OLR-FREE Kostenloser Zugriff z 28-04-22 635 01 3635 4509832265 OLR-DOAB Open Access. 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 10-04-24 808 01 4808 4158068436 OLR-DOAB DOAB Directory of Open Access Books zg 29-06-22 2011 01 DE-16 402647156X 00 --%%-- --%%-- --%%-- --%%-- l01 23-12-21 2014 01 DE-90 4011062820 00 --%%-- --%%-- --%%-- --%%-- l01 01-12-21 2018 01 DE-31 4033423753 00 --%%-- --%%-- --%%-- n Der Zugriff ist kostenfrei möglich. l01 11-01-22 2034 01 DE-Rt2 4014428265 00 --%%-- eBook n n frei zugänglich l01 05-12-21 2037 01 DE-747 4345573661 00 --%%-- eBook OAPEN Foundation OpenAccess --%%-- n Im Internet frei verfügbar l01 30-06-23 2050 01 DE-Zi4 4091599419 00 --%%-- --%%-- --%%-- n Elektronischer Volltext - Open Access l01 16-03-22 2108 01 DE-991 4096828963 00 --%%-- eBook DOAB --%%-- n Elektronischer Volltext - Campuslizenz l01 20-03-22 2403 01 DE-LFER 4017855725 00 --%%-- --%%-- n --%%-- l01 09-12-21 20 01 0084 https://directory.doabooks.org/handle/20.500.12854/31311 22 01 0018 Volltextzugang https://directory.doabooks.org/handle/20.500.12854/31311 23 01 0830 https://directory.doabooks.org/handle/20.500.12854/31311 24 01 0008 https://directory.doabooks.org/handle/20.500.12854/31311 30 01 0104 https://directory.doabooks.org/handle/20.500.12854/31311 31 01 0027 https://directory.doabooks.org/handle/20.500.12854/31311 40 01 0007 Volltext, Open Access https://directory.doabooks.org/handle/20.500.12854/31311 60 01 0705 https://directory.doabooks.org/handle/20.500.12854/31311 63 01 3401 E-Book https://directory.doabooks.org/handle/20.500.12854/31311 65 01 0003 Open Access https://directory.doabooks.org/handle/20.500.12854/31311 65 01 0003 Dieser Titel ist Teil einer Datenbank http://www.bibliothek.uni-regensburg.de/dbinfo/detail.php?titel_id=11367&bib_id=ulb_hal 70 01 0089 https://directory.doabooks.org/handle/20.500.12854/31311 72 01 0035 https://directory.doabooks.org/handle/20.500.12854/31311 90 01 3090 https://directory.doabooks.org/handle/20.500.12854/31311 91 01 3091 https://directory.doabooks.org/handle/20.500.12854/31311 92 01 0033 https://directory.doabooks.org/handle/20.500.12854/31311 95 01 3095 https://directory.doabooks.org/handle/20.500.12854/31311 105 01 0841 https://directory.doabooks.org/handle/20.500.12854/31311 110 01 3110 Open Access https://directory.doabooks.org/handle/20.500.12854/31311 120 01 0715 http://49gbv-uob-primo.hosted.exlibrisgroup.com/openurl/49GBV_UOB/UOB_services_page?u.ignore_date_coverage=true&rft.mms_id=991015562457203501 130 01 0700 Open Access https://directory.doabooks.org/handle/20.500.12854/31311 131 01 3131 https://directory.doabooks.org/handle/20.500.12854/31311 132 01 0959 https://directory.doabooks.org/handle/20.500.12854/31311 136 01 3526 Open Access https://directory.doabooks.org/handle/20.500.12854/31311 147 01 3528 https://directory.doabooks.org/handle/20.500.12854/31311 161 01 0960 https://directory.doabooks.org/handle/20.500.12854/31311 LF 213 01 0551 https://directory.doabooks.org/handle/20.500.12854/31311 230 01 0552 https://directory.doabooks.org/handle/20.500.12854/31311 283 01 3283 https://directory.doabooks.org/handle/20.500.12854/31311 285 01 0517 Open Access https://directory.doabooks.org/handle/20.500.12854/31311 293 01 3293 https://directory.doabooks.org/handle/20.500.12854/31311 LF 370 01 4370 https://directory.doabooks.org/handle/20.500.12854/31311 635 01 3635 https://directory.doabooks.org/handle/20.500.12854/31311 808 01 4808 Volltextzugang https://directory.doabooks.org/handle/20.500.12854/31311 2011 01 DE-16 https://directory.doabooks.org/handle/20.500.12854/31311 2014 01 DE-90 Volltext frei verfügbar https://directory.doabooks.org/handle/20.500.12854/31311 2034 01 DE-Rt2 https://directory.doabooks.org/handle/20.500.12854/31311 2037 01 DE-747 https://directory.doabooks.org/handle/20.500.12854/31311 2050 01 DE-Zi4 https://directory.doabooks.org/handle/20.500.12854/31311 2108 01 DE-991 https://directory.doabooks.org/handle/20.500.12854/31311 2403 01 DE-LFER https://directory.doabooks.org/handle/20.500.12854/31311 31 01 0027 00 E-Book Open Access 132 01 0959 00 EBooks DOAB Open Access 20 01 0084 OLR-DOAB 22 01 0018 OLR-ZDB-94-OAB 23 01 0830 olr-doab 24 01 0008 OLR-doab 24 01 0008 olr-frei 30 01 0104 OLR-OAB 31 01 0027 OLR-DOAB 39 01 0547 OLR-ZDB-94-OAB 39 01 0547 LF 40 01 0007 OLR-DOAB 60 01 0705 OPENAccess 63 01 3401 E-Books LF GBV-DOAB 65 01 0003 OLR-DOAB 70 01 0089 OLR-DOAB-OA 72 01 0035 OLR-ZDB-94-OAB 90 01 3090 OLR-HILoapen 91 01 3091 OLR-DOAB 92 01 0033 OLR-Open Access DOAB 95 01 3095 OLR-OAB 105 01 0841 OLR-OAB 110 01 3110 OLR-DOAB 120 01 0715 alma 130 01 0700 OLR-DOAB 131 01 3131 OLR-OA-DOAB 132 01 0959 OLR-OAB 136 01 3526 OLR-DOAB 147 01 3528 OLR-DOAB 161 01 0960 OLR-DOAB 213 01 0551 OLR-DOAB 230 01 0552 OLR-DOAB 285 01 0517 OLR-DOAB 293 01 3293 OLR-DOAB 370 01 4370 OLR-FREE 370 01 4370 olr-ebook ZDB-94-OAB 635 01 3635 OLR-DOAB 808 01 4808 OLR-DOAB
language	English
format_phy_str_mv	Book
building	11 20 22:u 23 24 30 31 39:e 40:s 60 63 65 70 72 90 91 92 95 105 110 120 130 131 132 136 147 161 213 230 283 285 293 370 635 808:g 2011:0 2014:0 2018:0 2034:0 2037:0 2050:0 2108:0 2403:0
institution	findex.gbv.de
selectbib_iln_str_mv	11@ 20@ 22@u 23@ 24@ 30@ 31@ 39@e 40@sn 60@ 63@ 65@ 70@ 72@ 90@ 91@ 92@ 95@ 105@ 110@ 120@ 130@ 131@ 132@ 136@ 147@ 161@ 213@ 230@ 283@ 285@ 293@ 370@ 635@ 808@g 2011@01 2014@01 2018@01 2034@01 2037@01 2050@01 2108@01 2403@01
topic_facet	Computer science Expert systems / knowledge-based systems Systems analysis & design Algorithms & data structures Mathematical theory of computation
sw_local_iln_str_mv	31:E-Book Open Access 0027:E-Book Open Access 132:EBooks DOAB Open Access 0959:EBooks DOAB Open Access
isfreeaccess_bool	true
authorswithroles_txt_mv	Biere, Armin @@edt@@ Parker, David @@edt@@
publishDateDaySort_date	2020-01-01T00:00:00Z
id	177847537X
signature_iln	2034:eBook DE-Rt2:eBook 2037:eBook OAPEN Foundation OpenAccess DE-747:eBook OAPEN Foundation OpenAccess 2108:eBook DOAB DE-991:eBook DOAB
signature_iln_str_mv	2034:eBook DE-Rt2:eBook 2037:eBook OAPEN Foundation OpenAccess DE-747:eBook OAPEN Foundation OpenAccess 2108:eBook DOAB DE-991:eBook DOAB
signature_iln_scis_mv	2034:eBook DE-Rt2:eBook 2037:eBook OAPEN Foundation OpenAccess DE-747:eBook OAPEN Foundation OpenAccess 2108:eBook DOAB DE-991:eBook DOAB
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">177847537X</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20230630221239.0</controlfield><controlfield tag="007">cr uuu---uuuuu</controlfield><controlfield tag="008">211123s2020 xx \|\|\|\|\|o 00\| \|\|eng c</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783030451905</subfield><subfield code="9">978-3-030-45190-5</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">20.500.12854/31311</subfield><subfield code="2">hdl</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)177847537X</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)KEP069365326</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1153987496</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DOAB)31311</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(EBP)069365326</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-627</subfield><subfield code="b">ger</subfield><subfield code="c">DE-627</subfield><subfield code="e">rakwb</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">UYQE</subfield><subfield code="2">bicssc</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">UYD</subfield><subfield code="2">bicssc</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">UMB</subfield><subfield code="2">bicssc</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">UYA</subfield><subfield code="2">bicssc</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Biere, Armin</subfield><subfield code="e">herausgeberin</subfield><subfield code="4">edt</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">26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer Nature</subfield><subfield code="c">2020</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (501 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></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 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows: Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems. Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata; and SV-COMP 2020</subfield></datafield><datafield tag="540" ind1=" " ind2=" "><subfield code="a">Creative Commons</subfield><subfield code="f">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 science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Expert systems / knowledge-based systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Systems analysis & design</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algorithms & data structures</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical theory of computation</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Parker, David</subfield><subfield code="e">herausgeberin</subfield><subfield code="4">edt</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://directory.doabooks.org/handle/20.500.12854/31311</subfield><subfield code="m">X:DOAB</subfield><subfield code="x">Verlag</subfield><subfield code="z">kostenfrei</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="u">https://av.tib.eu/series/1139/26th+international+conference+on+tools+and+algorithms+for+the+construction+and+analysis+of+systems+tacas+2020</subfield><subfield code="x">Agentur</subfield><subfield code="y">Zugehörige Videos</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-94-OAB</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_11</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-1a</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_20</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-84</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">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_24</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-8</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_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_60</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-705</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_90</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-Hil2</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_91</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-HIL3</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_92</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-33</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_105</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-841</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_120</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-715</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_130</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-700</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_131</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-Va1</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_132</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-959</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_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_285</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-517</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_635</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-B2138</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_2011</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-16</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2014</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-90</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2018</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-31</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2034</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-Rt2</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2037</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-747</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2050</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-Zi4</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2108</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-991</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">11</subfield><subfield code="1">01</subfield><subfield code="x">0001</subfield><subfield code="b">4023068136</subfield><subfield code="c">00</subfield><subfield code="f">5:LIZFREI</subfield><subfield code="d">--%%--</subfield><subfield code="e">--%%--</subfield><subfield code="j">--%%--</subfield><subfield code="y">k</subfield><subfield code="z">20-12-21</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">20</subfield><subfield code="1">01</subfield><subfield code="x">0084</subfield><subfield code="b">4012001264</subfield><subfield code="h">OLR-DOAB</subfield><subfield code="y">z</subfield><subfield code="z">01-12-21</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">4006092067</subfield><subfield code="h">OLR-ZDB-94-OAB</subfield><subfield code="k">DOAB Directory of Open Access Books</subfield><subfield code="y">zu</subfield><subfield code="z">25-11-21</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">4006610149</subfield><subfield code="h">olr-doab</subfield><subfield code="u">f</subfield><subfield code="y">z</subfield><subfield code="z">25-11-21</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">24</subfield><subfield code="1">01</subfield><subfield code="x">0008</subfield><subfield code="b">4060093084</subfield><subfield code="h">OLR-doab</subfield><subfield code="y">z</subfield><subfield code="z">15-02-22</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">4102091017</subfield><subfield code="h">OLR-OAB</subfield><subfield code="k">Open Access, Directory of Open Access Books (DOAB)</subfield><subfield code="y">z</subfield><subfield code="z">26-03-22</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">405241490X</subfield><subfield code="h">OLR-DOAB</subfield><subfield code="y">z</subfield><subfield code="z">07-02-22</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">410591166X</subfield><subfield code="h">OLR-ZDB-94-OAB</subfield><subfield code="y">ke</subfield><subfield code="z">29-03-22</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">4011564982</subfield><subfield code="h">OLR-DOAB</subfield><subfield code="y">xsn</subfield><subfield code="z">01-12-21</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">60</subfield><subfield code="1">01</subfield><subfield code="x">0705</subfield><subfield code="b">4275919629</subfield><subfield code="h">OPENAccess</subfield><subfield code="k">Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots.</subfield><subfield code="k">Nur für Angehörige der HSU: Volltextzugang von außerhalb des Campus mit Anmeldung über Shibboleth mit Ihrer Bibliothekskennung</subfield><subfield code="y">z</subfield><subfield code="z">24-02-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">4106546132</subfield><subfield code="h">E-Books LF GBV-DOAB</subfield><subfield code="y">z</subfield><subfield code="z">29-03-22</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">4109242886</subfield><subfield code="h">OLR-DOAB</subfield><subfield code="k">Nach dem deutschen Urheberrecht darf das Werk bzw. der Inhalt zum eigenen Gebrauch kostenfrei heruntergeladen, konsumiert, gespeichert oder ausgedruckt, nicht jedoch im Internet bereitgestellt oder an Außenstehende weitergegeben werden!</subfield><subfield code="y">z</subfield><subfield code="z">01-04-22</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">4006346220</subfield><subfield code="h">OLR-DOAB-OA</subfield><subfield code="k">DOAB Directory of Open Access Books</subfield><subfield code="y">z</subfield><subfield code="z">25-11-21</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">4104508284</subfield><subfield code="h">OLR-ZDB-94-OAB</subfield><subfield code="k">DOAB Directory of Open Access Books</subfield><subfield code="y">z</subfield><subfield code="z">28-03-22</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">90</subfield><subfield code="1">01</subfield><subfield code="x">3090</subfield><subfield code="b">4106335379</subfield><subfield code="h">OLR-HILoapen</subfield><subfield code="y">z</subfield><subfield code="z">29-03-22</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">91</subfield><subfield code="1">01</subfield><subfield code="x">3091</subfield><subfield code="b">4011317756</subfield><subfield code="h">OLR-DOAB</subfield><subfield code="k">DOAB Directory of Open Access Books</subfield><subfield code="y">z</subfield><subfield code="z">01-12-21</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">92</subfield><subfield code="1">01</subfield><subfield code="x">0033</subfield><subfield code="b">4110694361</subfield><subfield code="h">OLR-Open Access DOAB</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. Das Ebook ist frei zugänglich.</subfield><subfield code="y">z</subfield><subfield code="z">02-04-22</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">4342190664</subfield><subfield code="h">OLR-OAB</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">23-06-23</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">105</subfield><subfield code="1">01</subfield><subfield code="x">0841</subfield><subfield code="b">4007070830</subfield><subfield code="h">OLR-OAB</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">25-11-21</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">4019771391</subfield><subfield code="h">OLR-DOAB</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="k">Open Access</subfield><subfield code="y">z</subfield><subfield code="z">14-12-21</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">120</subfield><subfield code="1">01</subfield><subfield code="x">0715</subfield><subfield code="b">4016808057</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">--%%--</subfield><subfield code="e">g</subfield><subfield code="j">--%%--</subfield><subfield code="h">alma</subfield><subfield code="y">z</subfield><subfield code="z">08-12-21</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">130</subfield><subfield code="1">01</subfield><subfield code="x">0700</subfield><subfield code="b">4145708776</subfield><subfield code="h">OLR-DOAB</subfield><subfield code="y">z</subfield><subfield code="z">08-06-22</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">131</subfield><subfield code="1">01</subfield><subfield code="x">3131</subfield><subfield code="b">4465720254</subfield><subfield code="h">OLR-OA-DOAB</subfield><subfield code="k">Bitte beachten Sie die Nutzungsbedingungen und Copyright-Bestimmungen des Verlages/Herausgebers.</subfield><subfield code="y">z</subfield><subfield code="z">23-01-24</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">132</subfield><subfield code="1">01</subfield><subfield code="x">0959</subfield><subfield code="b">4149704465</subfield><subfield code="h">OLR-OAB</subfield><subfield code="u">Open Access</subfield><subfield code="y">x</subfield><subfield code="z">14-06-22</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">4005634893</subfield><subfield code="h">OLR-DOAB</subfield><subfield code="y">z</subfield><subfield code="z">24-11-21</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">4123954340</subfield><subfield code="h">OLR-DOAB</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">27-04-22</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">4150876339</subfield><subfield code="h">OLR-DOAB</subfield><subfield code="k">DOAB Directory of Open Access Books</subfield><subfield code="y">z</subfield><subfield code="z">16-06-22</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">4108482034</subfield><subfield code="h">OLR-DOAB</subfield><subfield code="k">DOAB Directory of Open Access Books</subfield><subfield code="y">z</subfield><subfield code="z">31-03-22</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">4123453627</subfield><subfield code="h">OLR-DOAB</subfield><subfield code="k">DOAB Directory of Open Access Books</subfield><subfield code="y">z</subfield><subfield code="z">27-04-22</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">4157017854</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">28-06-22</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">285</subfield><subfield code="1">01</subfield><subfield code="x">0517</subfield><subfield code="b">4050260085</subfield><subfield code="h">OLR-DOAB</subfield><subfield code="y">z</subfield><subfield code="z">02-02-22</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">4153673137</subfield><subfield code="h">OLR-DOAB</subfield><subfield code="k">DOAB Directory of Open Access Books</subfield><subfield code="y">z</subfield><subfield code="z">21-06-22</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">4125527229</subfield><subfield code="h">OLR-FREE</subfield><subfield code="k">Kostenloser Zugriff</subfield><subfield code="y">z</subfield><subfield code="z">28-04-22</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">635</subfield><subfield code="1">01</subfield><subfield code="x">3635</subfield><subfield code="b">4509832265</subfield><subfield code="h">OLR-DOAB</subfield><subfield code="k">Open Access. 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">10-04-24</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">4158068436</subfield><subfield code="h">OLR-DOAB</subfield><subfield code="k">DOAB Directory of Open Access Books</subfield><subfield code="y">zg</subfield><subfield code="z">29-06-22</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">2011</subfield><subfield code="1">01</subfield><subfield code="x">DE-16</subfield><subfield code="b">402647156X</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">--%%--</subfield><subfield code="e">--%%--</subfield><subfield code="j">--%%--</subfield><subfield code="y">l01</subfield><subfield code="z">23-12-21</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">2014</subfield><subfield code="1">01</subfield><subfield code="x">DE-90</subfield><subfield code="b">4011062820</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">--%%--</subfield><subfield code="e">--%%--</subfield><subfield code="j">--%%--</subfield><subfield code="y">l01</subfield><subfield code="z">01-12-21</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">2018</subfield><subfield code="1">01</subfield><subfield code="x">DE-31</subfield><subfield code="b">4033423753</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">--%%--</subfield><subfield code="e">--%%--</subfield><subfield code="j">n</subfield><subfield code="k">Der Zugriff ist kostenfrei möglich.</subfield><subfield code="y">l01</subfield><subfield code="z">11-01-22</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">2034</subfield><subfield code="1">01</subfield><subfield code="x">DE-Rt2</subfield><subfield code="b">4014428265</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">eBook</subfield><subfield code="e">n</subfield><subfield code="j">n</subfield><subfield code="k">frei zugänglich</subfield><subfield code="y">l01</subfield><subfield code="z">05-12-21</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">2037</subfield><subfield code="1">01</subfield><subfield code="x">DE-747</subfield><subfield code="b">4345573661</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">eBook OAPEN Foundation OpenAccess</subfield><subfield code="e">--%%--</subfield><subfield code="j">n</subfield><subfield code="k">Im Internet frei verfügbar</subfield><subfield code="y">l01</subfield><subfield code="z">30-06-23</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">2050</subfield><subfield code="1">01</subfield><subfield code="x">DE-Zi4</subfield><subfield code="b">4091599419</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">--%%--</subfield><subfield code="e">--%%--</subfield><subfield code="j">n</subfield><subfield code="k">Elektronischer Volltext - Open Access</subfield><subfield code="y">l01</subfield><subfield code="z">16-03-22</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">2108</subfield><subfield code="1">01</subfield><subfield code="x">DE-991</subfield><subfield code="b">4096828963</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">eBook DOAB</subfield><subfield code="e">--%%--</subfield><subfield code="j">n</subfield><subfield code="k">Elektronischer Volltext - Campuslizenz</subfield><subfield code="y">l01</subfield><subfield code="z">20-03-22</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">4017855725</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">09-12-21</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">20</subfield><subfield code="1">01</subfield><subfield code="x">0084</subfield><subfield code="r">https://directory.doabooks.org/handle/20.500.12854/31311</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://directory.doabooks.org/handle/20.500.12854/31311</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://directory.doabooks.org/handle/20.500.12854/31311</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">24</subfield><subfield code="1">01</subfield><subfield code="x">0008</subfield><subfield code="r">https://directory.doabooks.org/handle/20.500.12854/31311</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">30</subfield><subfield code="1">01</subfield><subfield code="x">0104</subfield><subfield code="r">https://directory.doabooks.org/handle/20.500.12854/31311</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">31</subfield><subfield code="1">01</subfield><subfield code="x">0027</subfield><subfield code="r">https://directory.doabooks.org/handle/20.500.12854/31311</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://directory.doabooks.org/handle/20.500.12854/31311</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">60</subfield><subfield code="1">01</subfield><subfield code="x">0705</subfield><subfield code="r">https://directory.doabooks.org/handle/20.500.12854/31311</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://directory.doabooks.org/handle/20.500.12854/31311</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://directory.doabooks.org/handle/20.500.12854/31311</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=11367&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://directory.doabooks.org/handle/20.500.12854/31311</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://directory.doabooks.org/handle/20.500.12854/31311</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">90</subfield><subfield code="1">01</subfield><subfield code="x">3090</subfield><subfield code="r">https://directory.doabooks.org/handle/20.500.12854/31311</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">91</subfield><subfield code="1">01</subfield><subfield code="x">3091</subfield><subfield code="r">https://directory.doabooks.org/handle/20.500.12854/31311</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">92</subfield><subfield code="1">01</subfield><subfield code="x">0033</subfield><subfield code="r">https://directory.doabooks.org/handle/20.500.12854/31311</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://directory.doabooks.org/handle/20.500.12854/31311</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">105</subfield><subfield code="1">01</subfield><subfield code="x">0841</subfield><subfield code="r">https://directory.doabooks.org/handle/20.500.12854/31311</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://directory.doabooks.org/handle/20.500.12854/31311</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">120</subfield><subfield code="1">01</subfield><subfield code="x">0715</subfield><subfield code="r">http://49gbv-uob-primo.hosted.exlibrisgroup.com/openurl/49GBV_UOB/UOB_services_page?u.ignore_date_coverage=true&rft.mms_id=991015562457203501</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">130</subfield><subfield code="1">01</subfield><subfield code="x">0700</subfield><subfield code="y">Open Access</subfield><subfield code="r">https://directory.doabooks.org/handle/20.500.12854/31311</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">131</subfield><subfield code="1">01</subfield><subfield code="x">3131</subfield><subfield code="r">https://directory.doabooks.org/handle/20.500.12854/31311</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">132</subfield><subfield code="1">01</subfield><subfield code="x">0959</subfield><subfield code="r">https://directory.doabooks.org/handle/20.500.12854/31311</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://directory.doabooks.org/handle/20.500.12854/31311</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://directory.doabooks.org/handle/20.500.12854/31311</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://directory.doabooks.org/handle/20.500.12854/31311</subfield><subfield code="z">LF</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://directory.doabooks.org/handle/20.500.12854/31311</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://directory.doabooks.org/handle/20.500.12854/31311</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://directory.doabooks.org/handle/20.500.12854/31311</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">285</subfield><subfield code="1">01</subfield><subfield code="x">0517</subfield><subfield code="y">Open Access</subfield><subfield code="r">https://directory.doabooks.org/handle/20.500.12854/31311</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://directory.doabooks.org/handle/20.500.12854/31311</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://directory.doabooks.org/handle/20.500.12854/31311</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">635</subfield><subfield code="1">01</subfield><subfield code="x">3635</subfield><subfield code="r">https://directory.doabooks.org/handle/20.500.12854/31311</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://directory.doabooks.org/handle/20.500.12854/31311</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">2011</subfield><subfield code="1">01</subfield><subfield code="x">DE-16</subfield><subfield code="r">https://directory.doabooks.org/handle/20.500.12854/31311</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">2014</subfield><subfield code="1">01</subfield><subfield code="x">DE-90</subfield><subfield code="y">Volltext frei verfügbar</subfield><subfield code="r">https://directory.doabooks.org/handle/20.500.12854/31311</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">2034</subfield><subfield code="1">01</subfield><subfield code="x">DE-Rt2</subfield><subfield code="r">https://directory.doabooks.org/handle/20.500.12854/31311</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">2037</subfield><subfield code="1">01</subfield><subfield code="x">DE-747</subfield><subfield code="r">https://directory.doabooks.org/handle/20.500.12854/31311</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">2050</subfield><subfield code="1">01</subfield><subfield code="x">DE-Zi4</subfield><subfield code="r">https://directory.doabooks.org/handle/20.500.12854/31311</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">2108</subfield><subfield code="1">01</subfield><subfield code="x">DE-991</subfield><subfield code="r">https://directory.doabooks.org/handle/20.500.12854/31311</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://directory.doabooks.org/handle/20.500.12854/31311</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">E-Book Open Access</subfield></datafield><datafield tag="982" ind1=" " ind2=" "><subfield code="2">132</subfield><subfield code="1">01</subfield><subfield code="x">0959</subfield><subfield code="8">00</subfield><subfield code="a">EBooks DOAB Open Access</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">20</subfield><subfield code="1">01</subfield><subfield code="x">0084</subfield><subfield code="a">OLR-DOAB</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-OAB</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-doab</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">24</subfield><subfield code="1">01</subfield><subfield code="x">0008</subfield><subfield code="a">OLR-doab</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">24</subfield><subfield code="1">01</subfield><subfield code="x">0008</subfield><subfield code="a">olr-frei</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">OLR-OAB</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">31</subfield><subfield code="1">01</subfield><subfield code="x">0027</subfield><subfield code="a">OLR-DOAB</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">OLR-ZDB-94-OAB</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-DOAB</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">60</subfield><subfield code="1">01</subfield><subfield code="x">0705</subfield><subfield code="a">OPENAccess</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-DOAB</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-DOAB</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-DOAB-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-ZDB-94-OAB</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">90</subfield><subfield code="1">01</subfield><subfield code="x">3090</subfield><subfield code="a">OLR-HILoapen</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">91</subfield><subfield code="1">01</subfield><subfield code="x">3091</subfield><subfield code="a">OLR-DOAB</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">92</subfield><subfield code="1">01</subfield><subfield code="x">0033</subfield><subfield code="a">OLR-Open Access DOAB</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-OAB</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">105</subfield><subfield code="1">01</subfield><subfield code="x">0841</subfield><subfield code="a">OLR-OAB</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-DOAB</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">120</subfield><subfield code="1">01</subfield><subfield code="x">0715</subfield><subfield code="a">alma</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">130</subfield><subfield code="1">01</subfield><subfield code="x">0700</subfield><subfield code="a">OLR-DOAB</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">131</subfield><subfield code="1">01</subfield><subfield code="x">3131</subfield><subfield code="a">OLR-OA-DOAB</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">132</subfield><subfield code="1">01</subfield><subfield code="x">0959</subfield><subfield code="a">OLR-OAB</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-DOAB</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-DOAB</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-DOAB</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-DOAB</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-DOAB</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">285</subfield><subfield code="1">01</subfield><subfield code="x">0517</subfield><subfield code="a">OLR-DOAB</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-DOAB</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 ZDB-94-OAB</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">635</subfield><subfield code="1">01</subfield><subfield code="x">3635</subfield><subfield code="a">OLR-DOAB</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-DOAB</subfield></datafield></record></collection>
standort_str_mv	5:LIZFREI --%%--
series2	Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
standort_iln_str_mv	11:5:LIZFREI 0001:5:LIZFREI 120:--%%-- 0715:--%%-- 2011:--%%-- DE-16:--%%-- 2014:--%%-- DE-90:--%%-- 2018:--%%-- DE-31:--%%-- 2034:--%%-- DE-Rt2:--%%-- 2037:--%%-- DE-747:--%%-- 2050:--%%-- DE-Zi4:--%%-- 2108:--%%-- DE-991:--%%-- 2403:--%%-- DE-LFER:--%%--
author	Biere, Armin
spellingShingle	Biere, Armin misc Computer science misc Expert systems / knowledge-based systems misc Systems analysis & design misc Algorithms & data structures misc Mathematical theory of computation 31 E-Book Open Access 132 EBooks DOAB Open Access Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I
authorStr	Biere, Armin
format	eBook
delete_txt_mv	keep
collection	KXP GVK SWB
publishPlace	Cham
remote_str	true
abrufzeichen_iln_str_mv	20@OLR-DOAB 22@OLR-ZDB-94-OAB 23@olr-doab 24@OLR-doab 24@olr-frei 30@OLR-OAB 31@OLR-DOAB 39@OLR-ZDB-94-OAB 39@LF 40@OLR-DOAB 60@OPENAccess 63@E-Books LF GBV-DOAB 65@OLR-DOAB 70@OLR-DOAB-OA 72@OLR-ZDB-94-OAB 90@OLR-HILoapen 91@OLR-DOAB 92@OLR-Open Access DOAB 95@OLR-OAB 105@OLR-OAB 110@OLR-DOAB 120@alma 130@OLR-DOAB 131@OLR-OA-DOAB 132@OLR-OAB 136@OLR-DOAB 147@OLR-DOAB 161@OLR-DOAB 213@OLR-DOAB 230@OLR-DOAB 285@OLR-DOAB 293@OLR-DOAB 370@OLR-FREE 370@olr-ebook ZDB-94-OAB 635@OLR-DOAB 808@OLR-DOAB
abrufzeichen_iln_scis_mv	20@OLR-DOAB 22@OLR-ZDB-94-OAB 23@olr-doab 24@OLR-doab 24@olr-frei 30@OLR-OAB 31@OLR-DOAB 39@OLR-ZDB-94-OAB 39@LF 40@OLR-DOAB 60@OPENAccess 63@E-Books LF GBV-DOAB 65@OLR-DOAB 70@OLR-DOAB-OA 72@OLR-ZDB-94-OAB 90@OLR-HILoapen 91@OLR-DOAB 92@OLR-Open Access DOAB 95@OLR-OAB 105@OLR-OAB 110@OLR-DOAB 120@alma 130@OLR-DOAB 131@OLR-OA-DOAB 132@OLR-OAB 136@OLR-DOAB 147@OLR-DOAB 161@OLR-DOAB 213@OLR-DOAB 230@OLR-DOAB 285@OLR-DOAB 293@OLR-DOAB 370@OLR-FREE 370@olr-ebook ZDB-94-OAB 635@OLR-DOAB 808@OLR-DOAB
last_changed_iln_str_mv	11@20-12-21 20@01-12-21 22@25-11-21 23@25-11-21 24@15-02-22 30@26-03-22 31@07-02-22 39@29-03-22 40@01-12-21 60@24-02-23 63@29-03-22 65@01-04-22 70@25-11-21 72@28-03-22 90@29-03-22 91@01-12-21 92@02-04-22 95@23-06-23 105@25-11-21 110@14-12-21 120@08-12-21 130@08-06-22 131@23-01-24 132@14-06-22 136@24-11-21 147@27-04-22 161@16-06-22 213@31-03-22 230@27-04-22 283@28-06-22 285@02-02-22 293@21-06-22 370@28-04-22 635@10-04-24 808@29-06-22 2011@23-12-21 2014@01-12-21 2018@11-01-22 2034@05-12-21 2037@30-06-23 2050@16-03-22 2108@20-03-22 2403@09-12-21
illustrated	Not Illustrated
topic_title	31 01 0027 00 E-Book Open Access 132 01 0959 00 EBooks DOAB Open Access Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I Computer science Expert systems / knowledge-based systems Systems analysis & design Algorithms & data structures Mathematical theory of computation
publisher	Springer Nature
publisherStr	Springer Nature
topic	misc Computer science misc Expert systems / knowledge-based systems misc Systems analysis & design misc Algorithms & data structures misc Mathematical theory of computation 31 E-Book Open Access 132 EBooks DOAB Open Access
topic_unstemmed	misc Computer science misc Expert systems / knowledge-based systems misc Systems analysis & design misc Algorithms & data structures misc Mathematical theory of computation 31 E-Book Open Access 132 EBooks DOAB Open Access
topic_browse	misc Computer science misc Expert systems / knowledge-based systems misc Systems analysis & design misc Algorithms & data structures misc Mathematical theory of computation 31 E-Book Open Access 132 EBooks DOAB Open Access
format_facet	Elektronische Bücher Bücher Elektronische Ressource
standort_txtP_mv	5:LIZFREI --%%--
format_main_str_mv	Text Buch
carriertype_str_mv	cr
author2_variant	d p dp
signature	--%%-- eBook eBook OAPEN Foundation OpenAccess eBook DOAB
signature_str_mv	--%%-- eBook eBook OAPEN Foundation OpenAccess eBook DOAB
isbn	9783030451905 3030451909
isfreeaccess_txt	true
title	Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I
ctrlnum	(DE-627)177847537X (DE-599)KEP069365326 (OCoLC)1153987496 (DOAB)31311 (EBP)069365326
exemplarkommentar_str_mv	22@DOAB Directory of Open Access Books 30@Open Access, Directory of Open Access Books (DOAB) 60@Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. 60@Nur für Angehörige der HSU: Volltextzugang von außerhalb des Campus mit Anmeldung über Shibboleth mit Ihrer Bibliothekskennung 65@Nach dem deutschen Urheberrecht darf das Werk bzw. der Inhalt zum eigenen Gebrauch kostenfrei heruntergeladen, konsumiert, gespeichert oder ausgedruckt, nicht jedoch im Internet bereitgestellt oder an Außenstehende weitergegeben werden! 70@DOAB Directory of Open Access Books 72@DOAB Directory of Open Access Books 91@DOAB Directory of Open Access Books 92@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. Das Ebook ist frei zugänglich. 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. 105@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@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 131@Bitte beachten Sie die Nutzungsbedingungen und Copyright-Bestimmungen des Verlages/Herausgebers. 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@DOAB Directory of Open Access Books 213@DOAB Directory of Open Access Books 230@DOAB Directory of Open Access Books 283@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. 293@DOAB Directory of Open Access Books 370@Kostenloser Zugriff 635@Open Access. 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. 808@DOAB Directory of Open Access Books 2018@Der Zugriff ist kostenfrei möglich. 2034@frei zugänglich 2037@Im Internet frei verfügbar 2050@Elektronischer Volltext - Open Access 2108@Elektronischer Volltext - Campuslizenz
title_full	Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I
callnumber-first-code	-
lang_code	eng
isOA_bool	true
recordtype	marc
publishDateSort	2020
contenttype_str_mv	txt
selectkey	11:k 20:z 22:z 23:z 24:z 30:z 31:z 39:k 40:x 60:z 63:z 65:z 70:z 72:z 90:z 91:z 92:z 95:z 105:z 110:z 120:z 130:z 131:z 132:x 136:z 147:z 161:z 213:z 230:z 283:z 285:z 293:z 370:z 635:z 808:z 2011:l 2014:l 2018:l 2034:l 2037:l 2050:l 2108:l 2403:l
physical	1 Online-Ressource (501 p.)
format_se	Elektronische Bücher
author-letter	Biere, Armin
title_sub	26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I
author2-role	herausgeberin
title_sort	tools and algorithms for the construction and analysis of systems26th international conference, tacas 2020, held as part of the european joint conferences on theory and practice of software, etaps 2020, dublin, ireland, april 25–30, 2020, proceedings, part i
title_auth	Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I
abstract	This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows: Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems. Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata; and SV-COMP 2020
abstractGer	This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows: Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems. Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata; and SV-COMP 2020
abstract_unstemmed	This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows: Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems. Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata; and SV-COMP 2020
collection_details	ZDB-94-OAB GBV_ILN_11 ISIL_DE-1a SYSFLAG_1 GBV_KXP GBV_ILN_20 ISIL_DE-84 GBV_ILN_22 ISIL_DE-18 GBV_ILN_23 ISIL_DE-830 GBV_ILN_24 ISIL_DE-8 GBV_ILN_30 ISIL_DE-104 GBV_ILN_31 ISIL_DE-27 GBV_ILN_39 ISIL_DE-547 GBV_ILN_40 ISIL_DE-7 GBV_ILN_60 ISIL_DE-705 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_90 ISIL_DE-Hil2 GBV_ILN_91 ISIL_DE-HIL3 GBV_ILN_92 ISIL_DE-33 GBV_ILN_95 ISIL_DE-542 GBV_ILN_105 ISIL_DE-841 GBV_ILN_110 ISIL_DE-Luen4 GBV_ILN_120 ISIL_DE-715 GBV_ILN_130 ISIL_DE-700 GBV_ILN_131 ISIL_DE-Va1 GBV_ILN_132 ISIL_DE-959 GBV_ILN_136 ISIL_DE-Wis1 GBV_ILN_147 ISIL_DE-Fl3 GBV_ILN_161 ISIL_DE-960 GBV_ILN_213 ISIL_DE-551 GBV_ILN_230 ISIL_DE-552 GBV_ILN_283 ISIL_DE-Ha163 GBV_ILN_285 ISIL_DE-517 GBV_ILN_293 ISIL_DE-960-3 GBV_ILN_370 ISIL_DE-1373 GBV_ILN_635 ISIL_DE-B2138 GBV_ILN_808 GBV_ILN_2011 ISIL_DE-16 GBV_ILN_2014 ISIL_DE-90 GBV_ILN_2018 ISIL_DE-31 GBV_ILN_2034 ISIL_DE-Rt2 GBV_ILN_2037 ISIL_DE-747 GBV_ILN_2050 ISIL_DE-Zi4 GBV_ILN_2108 ISIL_DE-991 GBV_ILN_2403 ISIL_DE-LFER
title_short	Tools and Algorithms for the Construction and Analysis of Systems
url	https://directory.doabooks.org/handle/20.500.12854/31311 https://av.tib.eu/series/1139/26th+international+conference+on+tools+and+algorithms+for+the+construction+and+analysis+of+systems+tacas+2020
ausleihindikator_str_mv	11:- 20 22 23 24 30 31 39 40 60 63 65 70 72 90 91 92 95 105 110 120:g 130 131 132 136 147 161 213 230 283 285 293 370 635 808 2011:- 2014:- 2018:- 2034:n 2037:- 2050:- 2108:- 2403:n
remote_bool	true
author2	Parker, David
author2Str	Parker, David
mediatype_str_mv	c
isOA_txt	true
hochschulschrift_bool	false
author2_role	edt
callnumber-a	--%%--
up_date	2024-09-25T07:14:11.053Z
_version_	1811151271816593408
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">177847537X</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20230630221239.0</controlfield><controlfield tag="007">cr uuu---uuuuu</controlfield><controlfield tag="008">211123s2020 xx \|\|\|\|\|o 00\| \|\|eng c</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783030451905</subfield><subfield code="9">978-3-030-45190-5</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">20.500.12854/31311</subfield><subfield code="2">hdl</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)177847537X</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)KEP069365326</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1153987496</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DOAB)31311</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(EBP)069365326</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-627</subfield><subfield code="b">ger</subfield><subfield code="c">DE-627</subfield><subfield code="e">rakwb</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">UYQE</subfield><subfield code="2">bicssc</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">UYD</subfield><subfield code="2">bicssc</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">UMB</subfield><subfield code="2">bicssc</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">UYA</subfield><subfield code="2">bicssc</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Biere, Armin</subfield><subfield code="e">herausgeberin</subfield><subfield code="4">edt</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">26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer Nature</subfield><subfield code="c">2020</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (501 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></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 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows: Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems. Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata; and SV-COMP 2020</subfield></datafield><datafield tag="540" ind1=" " ind2=" "><subfield code="a">Creative Commons</subfield><subfield code="f">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 science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Expert systems / knowledge-based systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Systems analysis & design</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algorithms & data structures</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical theory of computation</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Parker, David</subfield><subfield code="e">herausgeberin</subfield><subfield code="4">edt</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://directory.doabooks.org/handle/20.500.12854/31311</subfield><subfield code="m">X:DOAB</subfield><subfield code="x">Verlag</subfield><subfield code="z">kostenfrei</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="u">https://av.tib.eu/series/1139/26th+international+conference+on+tools+and+algorithms+for+the+construction+and+analysis+of+systems+tacas+2020</subfield><subfield code="x">Agentur</subfield><subfield code="y">Zugehörige Videos</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-94-OAB</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_11</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-1a</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_20</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-84</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">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_24</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-8</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_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_60</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-705</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_90</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-Hil2</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_91</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-HIL3</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_92</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-33</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_105</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-841</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_120</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-715</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_130</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-700</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_131</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-Va1</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_132</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-959</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_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_285</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-517</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_635</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-B2138</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_2011</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-16</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2014</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-90</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2018</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-31</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2034</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-Rt2</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2037</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-747</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2050</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-Zi4</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2108</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-991</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">11</subfield><subfield code="1">01</subfield><subfield code="x">0001</subfield><subfield code="b">4023068136</subfield><subfield code="c">00</subfield><subfield code="f">5:LIZFREI</subfield><subfield code="d">--%%--</subfield><subfield code="e">--%%--</subfield><subfield code="j">--%%--</subfield><subfield code="y">k</subfield><subfield code="z">20-12-21</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">20</subfield><subfield code="1">01</subfield><subfield code="x">0084</subfield><subfield code="b">4012001264</subfield><subfield code="h">OLR-DOAB</subfield><subfield code="y">z</subfield><subfield code="z">01-12-21</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">4006092067</subfield><subfield code="h">OLR-ZDB-94-OAB</subfield><subfield code="k">DOAB Directory of Open Access Books</subfield><subfield code="y">zu</subfield><subfield code="z">25-11-21</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">4006610149</subfield><subfield code="h">olr-doab</subfield><subfield code="u">f</subfield><subfield code="y">z</subfield><subfield code="z">25-11-21</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">24</subfield><subfield code="1">01</subfield><subfield code="x">0008</subfield><subfield code="b">4060093084</subfield><subfield code="h">OLR-doab</subfield><subfield code="y">z</subfield><subfield code="z">15-02-22</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">4102091017</subfield><subfield code="h">OLR-OAB</subfield><subfield code="k">Open Access, Directory of Open Access Books (DOAB)</subfield><subfield code="y">z</subfield><subfield code="z">26-03-22</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">405241490X</subfield><subfield code="h">OLR-DOAB</subfield><subfield code="y">z</subfield><subfield code="z">07-02-22</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">410591166X</subfield><subfield code="h">OLR-ZDB-94-OAB</subfield><subfield code="y">ke</subfield><subfield code="z">29-03-22</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">4011564982</subfield><subfield code="h">OLR-DOAB</subfield><subfield code="y">xsn</subfield><subfield code="z">01-12-21</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">60</subfield><subfield code="1">01</subfield><subfield code="x">0705</subfield><subfield code="b">4275919629</subfield><subfield code="h">OPENAccess</subfield><subfield code="k">Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots.</subfield><subfield code="k">Nur für Angehörige der HSU: Volltextzugang von außerhalb des Campus mit Anmeldung über Shibboleth mit Ihrer Bibliothekskennung</subfield><subfield code="y">z</subfield><subfield code="z">24-02-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">4106546132</subfield><subfield code="h">E-Books LF GBV-DOAB</subfield><subfield code="y">z</subfield><subfield code="z">29-03-22</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">4109242886</subfield><subfield code="h">OLR-DOAB</subfield><subfield code="k">Nach dem deutschen Urheberrecht darf das Werk bzw. der Inhalt zum eigenen Gebrauch kostenfrei heruntergeladen, konsumiert, gespeichert oder ausgedruckt, nicht jedoch im Internet bereitgestellt oder an Außenstehende weitergegeben werden!</subfield><subfield code="y">z</subfield><subfield code="z">01-04-22</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">4006346220</subfield><subfield code="h">OLR-DOAB-OA</subfield><subfield code="k">DOAB Directory of Open Access Books</subfield><subfield code="y">z</subfield><subfield code="z">25-11-21</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">4104508284</subfield><subfield code="h">OLR-ZDB-94-OAB</subfield><subfield code="k">DOAB Directory of Open Access Books</subfield><subfield code="y">z</subfield><subfield code="z">28-03-22</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">90</subfield><subfield code="1">01</subfield><subfield code="x">3090</subfield><subfield code="b">4106335379</subfield><subfield code="h">OLR-HILoapen</subfield><subfield code="y">z</subfield><subfield code="z">29-03-22</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">91</subfield><subfield code="1">01</subfield><subfield code="x">3091</subfield><subfield code="b">4011317756</subfield><subfield code="h">OLR-DOAB</subfield><subfield code="k">DOAB Directory of Open Access Books</subfield><subfield code="y">z</subfield><subfield code="z">01-12-21</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">92</subfield><subfield code="1">01</subfield><subfield code="x">0033</subfield><subfield code="b">4110694361</subfield><subfield code="h">OLR-Open Access DOAB</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. Das Ebook ist frei zugänglich.</subfield><subfield code="y">z</subfield><subfield code="z">02-04-22</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">4342190664</subfield><subfield code="h">OLR-OAB</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">23-06-23</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">105</subfield><subfield code="1">01</subfield><subfield code="x">0841</subfield><subfield code="b">4007070830</subfield><subfield code="h">OLR-OAB</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">25-11-21</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">4019771391</subfield><subfield code="h">OLR-DOAB</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="k">Open Access</subfield><subfield code="y">z</subfield><subfield code="z">14-12-21</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">120</subfield><subfield code="1">01</subfield><subfield code="x">0715</subfield><subfield code="b">4016808057</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">--%%--</subfield><subfield code="e">g</subfield><subfield code="j">--%%--</subfield><subfield code="h">alma</subfield><subfield code="y">z</subfield><subfield code="z">08-12-21</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">130</subfield><subfield code="1">01</subfield><subfield code="x">0700</subfield><subfield code="b">4145708776</subfield><subfield code="h">OLR-DOAB</subfield><subfield code="y">z</subfield><subfield code="z">08-06-22</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">131</subfield><subfield code="1">01</subfield><subfield code="x">3131</subfield><subfield code="b">4465720254</subfield><subfield code="h">OLR-OA-DOAB</subfield><subfield code="k">Bitte beachten Sie die Nutzungsbedingungen und Copyright-Bestimmungen des Verlages/Herausgebers.</subfield><subfield code="y">z</subfield><subfield code="z">23-01-24</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">132</subfield><subfield code="1">01</subfield><subfield code="x">0959</subfield><subfield code="b">4149704465</subfield><subfield code="h">OLR-OAB</subfield><subfield code="u">Open Access</subfield><subfield code="y">x</subfield><subfield code="z">14-06-22</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">4005634893</subfield><subfield code="h">OLR-DOAB</subfield><subfield code="y">z</subfield><subfield code="z">24-11-21</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">4123954340</subfield><subfield code="h">OLR-DOAB</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">27-04-22</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">4150876339</subfield><subfield code="h">OLR-DOAB</subfield><subfield code="k">DOAB Directory of Open Access Books</subfield><subfield code="y">z</subfield><subfield code="z">16-06-22</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">4108482034</subfield><subfield code="h">OLR-DOAB</subfield><subfield code="k">DOAB Directory of Open Access Books</subfield><subfield code="y">z</subfield><subfield code="z">31-03-22</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">4123453627</subfield><subfield code="h">OLR-DOAB</subfield><subfield code="k">DOAB Directory of Open Access Books</subfield><subfield code="y">z</subfield><subfield code="z">27-04-22</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">4157017854</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">28-06-22</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">285</subfield><subfield code="1">01</subfield><subfield code="x">0517</subfield><subfield code="b">4050260085</subfield><subfield code="h">OLR-DOAB</subfield><subfield code="y">z</subfield><subfield code="z">02-02-22</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">4153673137</subfield><subfield code="h">OLR-DOAB</subfield><subfield code="k">DOAB Directory of Open Access Books</subfield><subfield code="y">z</subfield><subfield code="z">21-06-22</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">4125527229</subfield><subfield code="h">OLR-FREE</subfield><subfield code="k">Kostenloser Zugriff</subfield><subfield code="y">z</subfield><subfield code="z">28-04-22</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">635</subfield><subfield code="1">01</subfield><subfield code="x">3635</subfield><subfield code="b">4509832265</subfield><subfield code="h">OLR-DOAB</subfield><subfield code="k">Open Access. 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">10-04-24</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">4158068436</subfield><subfield code="h">OLR-DOAB</subfield><subfield code="k">DOAB Directory of Open Access Books</subfield><subfield code="y">zg</subfield><subfield code="z">29-06-22</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">2011</subfield><subfield code="1">01</subfield><subfield code="x">DE-16</subfield><subfield code="b">402647156X</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">--%%--</subfield><subfield code="e">--%%--</subfield><subfield code="j">--%%--</subfield><subfield code="y">l01</subfield><subfield code="z">23-12-21</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">2014</subfield><subfield code="1">01</subfield><subfield code="x">DE-90</subfield><subfield code="b">4011062820</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">--%%--</subfield><subfield code="e">--%%--</subfield><subfield code="j">--%%--</subfield><subfield code="y">l01</subfield><subfield code="z">01-12-21</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">2018</subfield><subfield code="1">01</subfield><subfield code="x">DE-31</subfield><subfield code="b">4033423753</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">--%%--</subfield><subfield code="e">--%%--</subfield><subfield code="j">n</subfield><subfield code="k">Der Zugriff ist kostenfrei möglich.</subfield><subfield code="y">l01</subfield><subfield code="z">11-01-22</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">2034</subfield><subfield code="1">01</subfield><subfield code="x">DE-Rt2</subfield><subfield code="b">4014428265</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">eBook</subfield><subfield code="e">n</subfield><subfield code="j">n</subfield><subfield code="k">frei zugänglich</subfield><subfield code="y">l01</subfield><subfield code="z">05-12-21</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">2037</subfield><subfield code="1">01</subfield><subfield code="x">DE-747</subfield><subfield code="b">4345573661</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">eBook OAPEN Foundation OpenAccess</subfield><subfield code="e">--%%--</subfield><subfield code="j">n</subfield><subfield code="k">Im Internet frei verfügbar</subfield><subfield code="y">l01</subfield><subfield code="z">30-06-23</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">2050</subfield><subfield code="1">01</subfield><subfield code="x">DE-Zi4</subfield><subfield code="b">4091599419</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">--%%--</subfield><subfield code="e">--%%--</subfield><subfield code="j">n</subfield><subfield code="k">Elektronischer Volltext - Open Access</subfield><subfield code="y">l01</subfield><subfield code="z">16-03-22</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">2108</subfield><subfield code="1">01</subfield><subfield code="x">DE-991</subfield><subfield code="b">4096828963</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">eBook DOAB</subfield><subfield code="e">--%%--</subfield><subfield code="j">n</subfield><subfield code="k">Elektronischer Volltext - Campuslizenz</subfield><subfield code="y">l01</subfield><subfield code="z">20-03-22</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">4017855725</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">09-12-21</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">20</subfield><subfield code="1">01</subfield><subfield code="x">0084</subfield><subfield code="r">https://directory.doabooks.org/handle/20.500.12854/31311</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://directory.doabooks.org/handle/20.500.12854/31311</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://directory.doabooks.org/handle/20.500.12854/31311</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">24</subfield><subfield code="1">01</subfield><subfield code="x">0008</subfield><subfield code="r">https://directory.doabooks.org/handle/20.500.12854/31311</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">30</subfield><subfield code="1">01</subfield><subfield code="x">0104</subfield><subfield code="r">https://directory.doabooks.org/handle/20.500.12854/31311</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">31</subfield><subfield code="1">01</subfield><subfield code="x">0027</subfield><subfield code="r">https://directory.doabooks.org/handle/20.500.12854/31311</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://directory.doabooks.org/handle/20.500.12854/31311</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">60</subfield><subfield code="1">01</subfield><subfield code="x">0705</subfield><subfield code="r">https://directory.doabooks.org/handle/20.500.12854/31311</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://directory.doabooks.org/handle/20.500.12854/31311</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://directory.doabooks.org/handle/20.500.12854/31311</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=11367&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://directory.doabooks.org/handle/20.500.12854/31311</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://directory.doabooks.org/handle/20.500.12854/31311</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">90</subfield><subfield code="1">01</subfield><subfield code="x">3090</subfield><subfield code="r">https://directory.doabooks.org/handle/20.500.12854/31311</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">91</subfield><subfield code="1">01</subfield><subfield code="x">3091</subfield><subfield code="r">https://directory.doabooks.org/handle/20.500.12854/31311</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">92</subfield><subfield code="1">01</subfield><subfield code="x">0033</subfield><subfield code="r">https://directory.doabooks.org/handle/20.500.12854/31311</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://directory.doabooks.org/handle/20.500.12854/31311</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">105</subfield><subfield code="1">01</subfield><subfield code="x">0841</subfield><subfield code="r">https://directory.doabooks.org/handle/20.500.12854/31311</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://directory.doabooks.org/handle/20.500.12854/31311</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">120</subfield><subfield code="1">01</subfield><subfield code="x">0715</subfield><subfield code="r">http://49gbv-uob-primo.hosted.exlibrisgroup.com/openurl/49GBV_UOB/UOB_services_page?u.ignore_date_coverage=true&rft.mms_id=991015562457203501</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">130</subfield><subfield code="1">01</subfield><subfield code="x">0700</subfield><subfield code="y">Open Access</subfield><subfield code="r">https://directory.doabooks.org/handle/20.500.12854/31311</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">131</subfield><subfield code="1">01</subfield><subfield code="x">3131</subfield><subfield code="r">https://directory.doabooks.org/handle/20.500.12854/31311</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">132</subfield><subfield code="1">01</subfield><subfield code="x">0959</subfield><subfield code="r">https://directory.doabooks.org/handle/20.500.12854/31311</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://directory.doabooks.org/handle/20.500.12854/31311</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://directory.doabooks.org/handle/20.500.12854/31311</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://directory.doabooks.org/handle/20.500.12854/31311</subfield><subfield code="z">LF</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://directory.doabooks.org/handle/20.500.12854/31311</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://directory.doabooks.org/handle/20.500.12854/31311</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://directory.doabooks.org/handle/20.500.12854/31311</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">285</subfield><subfield code="1">01</subfield><subfield code="x">0517</subfield><subfield code="y">Open Access</subfield><subfield code="r">https://directory.doabooks.org/handle/20.500.12854/31311</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://directory.doabooks.org/handle/20.500.12854/31311</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://directory.doabooks.org/handle/20.500.12854/31311</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">635</subfield><subfield code="1">01</subfield><subfield code="x">3635</subfield><subfield code="r">https://directory.doabooks.org/handle/20.500.12854/31311</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://directory.doabooks.org/handle/20.500.12854/31311</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">2011</subfield><subfield code="1">01</subfield><subfield code="x">DE-16</subfield><subfield code="r">https://directory.doabooks.org/handle/20.500.12854/31311</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">2014</subfield><subfield code="1">01</subfield><subfield code="x">DE-90</subfield><subfield code="y">Volltext frei verfügbar</subfield><subfield code="r">https://directory.doabooks.org/handle/20.500.12854/31311</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">2034</subfield><subfield code="1">01</subfield><subfield code="x">DE-Rt2</subfield><subfield code="r">https://directory.doabooks.org/handle/20.500.12854/31311</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">2037</subfield><subfield code="1">01</subfield><subfield code="x">DE-747</subfield><subfield code="r">https://directory.doabooks.org/handle/20.500.12854/31311</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">2050</subfield><subfield code="1">01</subfield><subfield code="x">DE-Zi4</subfield><subfield code="r">https://directory.doabooks.org/handle/20.500.12854/31311</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">2108</subfield><subfield code="1">01</subfield><subfield code="x">DE-991</subfield><subfield code="r">https://directory.doabooks.org/handle/20.500.12854/31311</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://directory.doabooks.org/handle/20.500.12854/31311</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">E-Book Open Access</subfield></datafield><datafield tag="982" ind1=" " ind2=" "><subfield code="2">132</subfield><subfield code="1">01</subfield><subfield code="x">0959</subfield><subfield code="8">00</subfield><subfield code="a">EBooks DOAB Open Access</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">20</subfield><subfield code="1">01</subfield><subfield code="x">0084</subfield><subfield code="a">OLR-DOAB</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-OAB</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-doab</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">24</subfield><subfield code="1">01</subfield><subfield code="x">0008</subfield><subfield code="a">OLR-doab</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">24</subfield><subfield code="1">01</subfield><subfield code="x">0008</subfield><subfield code="a">olr-frei</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">OLR-OAB</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">31</subfield><subfield code="1">01</subfield><subfield code="x">0027</subfield><subfield code="a">OLR-DOAB</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">OLR-ZDB-94-OAB</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-DOAB</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">60</subfield><subfield code="1">01</subfield><subfield code="x">0705</subfield><subfield code="a">OPENAccess</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-DOAB</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-DOAB</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-DOAB-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-ZDB-94-OAB</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">90</subfield><subfield code="1">01</subfield><subfield code="x">3090</subfield><subfield code="a">OLR-HILoapen</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">91</subfield><subfield code="1">01</subfield><subfield code="x">3091</subfield><subfield code="a">OLR-DOAB</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">92</subfield><subfield code="1">01</subfield><subfield code="x">0033</subfield><subfield code="a">OLR-Open Access DOAB</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-OAB</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">105</subfield><subfield code="1">01</subfield><subfield code="x">0841</subfield><subfield code="a">OLR-OAB</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-DOAB</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">120</subfield><subfield code="1">01</subfield><subfield code="x">0715</subfield><subfield code="a">alma</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">130</subfield><subfield code="1">01</subfield><subfield code="x">0700</subfield><subfield code="a">OLR-DOAB</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">131</subfield><subfield code="1">01</subfield><subfield code="x">3131</subfield><subfield code="a">OLR-OA-DOAB</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">132</subfield><subfield code="1">01</subfield><subfield code="x">0959</subfield><subfield code="a">OLR-OAB</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-DOAB</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-DOAB</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-DOAB</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-DOAB</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-DOAB</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">285</subfield><subfield code="1">01</subfield><subfield code="x">0517</subfield><subfield code="a">OLR-DOAB</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-DOAB</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 ZDB-94-OAB</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">635</subfield><subfield code="1">01</subfield><subfield code="x">3635</subfield><subfield code="a">OLR-DOAB</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-DOAB</subfield></datafield></record></collection>
score	7.1668005

Nicht das Richtige dabei?

Schreiben Sie uns!

Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I

Nicht das Richtige dabei?

Zugang & Verfügbarkeit

Vorhandene Bände

Nicht das Richtige dabei?