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 1
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | |
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Cham
Springer Open
[2020]
|
| Schriftenreihe: | Lecture notes in computer science
12078 : Advanced research in computing and software science |
| Schlagworte: | |
| Beschreibung: | xxiii, 501 Seiten Illustrationen, Diagramme |
| ISBN: | 9783030451899 |
Internformat
MARC
| LEADER | 00000nam a2200000 cc4500 | ||
|---|---|---|---|
| 001 | BV046777130 | ||
| 003 | DE-604 | ||
| 007 | t| | ||
| 008 | 200623s2020 xx a||| |||| 10||| eng d | ||
| 020 | |a 9783030451899 |9 978-3-030-45189-9 | ||
| 035 | |a (OCoLC)1164644691 | ||
| 035 | |a (DE-599)BVBBV046777130 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 | ||
| 111 | 2 | |a TACAS |n 26. |d 2020 |c Online |j Verfasser |0 (DE-588)1212468643 |4 aut | |
| 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 |n Part 1 |c Armin Biere, David Parker (eds.) |
| 264 | 1 | |a Cham |b Springer Open |c [2020] | |
| 300 | |a xxiii, 501 Seiten |b Illustrationen, Diagramme | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 12078 |a Advanced research in computing and software science | |
| 490 | 0 | |a Lecture notes in computer science |v ... |a Advanced research in computing and software science | |
| 650 | 0 | 7 | |a Computerarchitektur |0 (DE-588)4048717-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Spezialrechner |0 (DE-588)4284705-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Software Engineering |0 (DE-588)4116521-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mikroprogrammierung |0 (DE-588)4039231-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2020 |z Online |2 gnd-content | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2020 |z Online |2 gnd-content | |
| 689 | 0 | 0 | |a Software Engineering |0 (DE-588)4116521-4 |D s |
| 689 | 0 | 1 | |a Mikroprogrammierung |0 (DE-588)4039231-4 |D s |
| 689 | 0 | 2 | |a Spezialrechner |0 (DE-588)4284705-9 |D s |
| 689 | 0 | 3 | |a Computerarchitektur |0 (DE-588)4048717-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Biere, Armin |d 1967- |0 (DE-588)115751823 |4 edt | |
| 773 | 0 | 8 | |w (DE-604)BV046777103 |g 1 |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-030-45190-5 |
| 830 | 0 | |a Lecture notes in computer science |v 12078 : Advanced research in computing and software science |w (DE-604)BV000000607 |9 12078 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-032186411 | |
Datensatz im Suchindex
| _version_ | 1820875766475259904 |
|---|---|
| adam_text | |
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author2 | Biere, Armin 1967- |
| author2_role | edt |
| author2_variant | a b ab |
| author_GND | (DE-588)115751823 |
| author_corporate | TACAS Online |
| author_corporate_role | aut |
| author_facet | Biere, Armin 1967- TACAS Online |
| author_sort | TACAS Online |
| building | Verbundindex |
| bvnumber | BV046777130 |
| ctrlnum | (OCoLC)1164644691 (DE-599)BVBBV046777130 |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cc4500</leader><controlfield tag="001">BV046777130</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">200623s2020 xx a||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783030451899</subfield><subfield code="9">978-3-030-45189-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1164644691</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV046777130</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-83</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">TACAS</subfield><subfield code="n">26.</subfield><subfield code="d">2020</subfield><subfield code="c">Online</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1212468643</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Tools and algorithms for the construction and analysis of systems</subfield><subfield code="b">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</subfield><subfield code="n">Part 1</subfield><subfield code="c">Armin Biere, David Parker (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer Open</subfield><subfield code="c">[2020]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xxiii, 501 Seiten</subfield><subfield code="b">Illustrationen, Diagramme</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">12078</subfield><subfield code="a">Advanced research in computing and software science</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">...</subfield><subfield code="a">Advanced research in computing and software science</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Computerarchitektur</subfield><subfield code="0">(DE-588)4048717-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Spezialrechner</subfield><subfield code="0">(DE-588)4284705-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mikroprogrammierung</subfield><subfield code="0">(DE-588)4039231-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2020</subfield><subfield code="z">Online</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2020</subfield><subfield code="z">Online</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Mikroprogrammierung</subfield><subfield code="0">(DE-588)4039231-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Spezialrechner</subfield><subfield code="0">(DE-588)4284705-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Computerarchitektur</subfield><subfield code="0">(DE-588)4048717-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Biere, Armin</subfield><subfield code="d">1967-</subfield><subfield code="0">(DE-588)115751823</subfield><subfield code="4">edt</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="w">(DE-604)BV046777103</subfield><subfield code="g">1</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-3-030-45190-5</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">12078 : Advanced research in computing and software science</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">12078</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-032186411</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2020 Online gnd-content |
| genre_facet | Konferenzschrift 2020 Online |
| id | DE-604.BV046777130 |
| illustrated | Illustrated |
| index_date | 2024-07-03T14:48:44Z |
| indexdate | 2025-01-10T15:20:51Z |
| institution | BVB |
| institution_GND | (DE-588)1212468643 |
| isbn | 9783030451899 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-032186411 |
| oclc_num | 1164644691 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | xxiii, 501 Seiten Illustrationen, Diagramme |
| publishDate | 2020 |
| publishDateSearch | 2020 |
| publishDateSort | 2020 |
| publisher | Springer Open |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science Advanced research in computing and software science |
| spelling | TACAS 26. 2020 Online Verfasser (DE-588)1212468643 aut 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 1 Armin Biere, David Parker (eds.) Cham Springer Open [2020] xxiii, 501 Seiten Illustrationen, Diagramme txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 12078 Advanced research in computing and software science Lecture notes in computer science ... Advanced research in computing and software science Computerarchitektur (DE-588)4048717-9 gnd rswk-swf Spezialrechner (DE-588)4284705-9 gnd rswk-swf Software Engineering (DE-588)4116521-4 gnd rswk-swf Mikroprogrammierung (DE-588)4039231-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2020 Online gnd-content Software Engineering (DE-588)4116521-4 s Mikroprogrammierung (DE-588)4039231-4 s Spezialrechner (DE-588)4284705-9 s Computerarchitektur (DE-588)4048717-9 s DE-604 Biere, Armin 1967- (DE-588)115751823 edt (DE-604)BV046777103 1 Erscheint auch als Online-Ausgabe 978-3-030-45190-5 Lecture notes in computer science 12078 : Advanced research in computing and software science (DE-604)BV000000607 12078 |
| spellingShingle | 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 Lecture notes in computer science Computerarchitektur (DE-588)4048717-9 gnd Spezialrechner (DE-588)4284705-9 gnd Software Engineering (DE-588)4116521-4 gnd Mikroprogrammierung (DE-588)4039231-4 gnd |
| subject_GND | (DE-588)4048717-9 (DE-588)4284705-9 (DE-588)4116521-4 (DE-588)4039231-4 (DE-588)1071861417 |
| 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 |
| 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 |
| title_exact_search | 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 |
| title_exact_search_txtP | 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 |
| 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 1 Armin Biere, David Parker (eds.) |
| title_fullStr | 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 1 Armin Biere, David Parker (eds.) |
| title_full_unstemmed | 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 1 Armin Biere, David Parker (eds.) |
| title_short | Tools and algorithms for the construction and analysis of systems |
| title_sort | 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 |
| 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 |
| topic | Computerarchitektur (DE-588)4048717-9 gnd Spezialrechner (DE-588)4284705-9 gnd Software Engineering (DE-588)4116521-4 gnd Mikroprogrammierung (DE-588)4039231-4 gnd |
| topic_facet | Computerarchitektur Spezialrechner Software Engineering Mikroprogrammierung Konferenzschrift 2020 Online |
| volume_link | (DE-604)BV046777103 (DE-604)BV000000607 |
| work_keys_str_mv | AT tacasonline toolsandalgorithmsfortheconstructionandanalysisofsystems26thinternationalconferencetacas2020heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2020dublinirelandapril25302020proceedingspart1 AT bierearmin toolsandalgorithmsfortheconstructionandanalysisofsystems26thinternationalconferencetacas2020heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2020dublinirelandapril25302020proceedingspart1 |