Holdings: Tools and algorithms for the construction and analysis of systems

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 2

Saved in:

Bibliographic Details
Corporate Author:	TACAS Online (Author)
Other Authors:	Biere, Armin 1967- (Editor)
Format:	Conference Proceeding Book
Language:	English
Published:	Cham Springer Open [2020]
Series:	Lecture notes in computer science 12079 : Advanced research in computing and software science
Subjects:	Computerarchitektur Spezialrechner Software Engineering Mikroprogrammierung Konferenzschrift > 2020 > Online
Physical Description:	xxiii, 425 Seiten Illustrationen, Diagramme
ISBN:	9783030452360

Staff View

MARC


LEADER	00000nam a2200000 cc4500
001	BV046777157
003	DE-604
007	t\|
008	200623s2020 xx a\|\|\| \|\|\|\| 10\|\|\| eng d
020			\|a 9783030452360 \|9 978-3-030-45236-0
035			\|a (OCoLC)1164645635
035			\|a (DE-599)BVBBV046777157
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 2 \|c Armin Biere, David Parker (eds.)
264		1	\|a Cham \|b Springer Open \|c [2020]
300			\|a xxiii, 425 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 12079 \|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 2
776	0	8	\|i Erscheint auch als \|n Online-Ausgabe \|z 978-3-030-45237-7
830		0	\|a Lecture notes in computer science \|v 12079 : Advanced research in computing and software science \|w (DE-604)BV000000607 \|9 12079
943	1		\|a oai:aleph.bib-bvb.de:BVB01-032186438

Record in the Search Index

_version_	1820875766476308480
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	BV046777157
ctrlnum	(OCoLC)1164645635 (DE-599)BVBBV046777157
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">BV046777157</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">9783030452360</subfield><subfield code="9">978-3-030-45236-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1164645635</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV046777157</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 2</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, 425 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">12079</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">2</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-45237-7</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">12079 : Advanced research in computing and software science</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">12079</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-032186438</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2020 Online gnd-content
genre_facet	Konferenzschrift 2020 Online
id	DE-604.BV046777157
illustrated	Illustrated
index_date	2024-07-03T14:48:45Z
indexdate	2025-01-10T15:20:51Z
institution	BVB
institution_GND	(DE-588)1212468643
isbn	9783030452360
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-032186438
oclc_num	1164645635
open_access_boolean
owner	DE-83
owner_facet	DE-83
physical	xxiii, 425 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 2 Armin Biere, David Parker (eds.) Cham Springer Open [2020] xxiii, 425 Seiten Illustrationen, Diagramme txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 12079 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 2 Erscheint auch als Online-Ausgabe 978-3-030-45237-7 Lecture notes in computer science 12079 : Advanced research in computing and software science (DE-604)BV000000607 12079
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 2 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 2 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 2 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 toolsandalgorithmsfortheconstructionandanalysisofsystems26thinternationalconferencetacas2020heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2020dublinirelandapril25302020proceedingspart2 AT bierearmin toolsandalgorithmsfortheconstructionandanalysisofsystems26thinternationalconferencetacas2020heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2020dublinirelandapril25302020proceedingspart2

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection!

MARC

Record in the Search Index

There is no print copy available.

Similar Items