Verfügbarkeit: Tools and algorithms for the construction and analysis of systems

Tools and algorithms for the construction and analysis of systems: 24th international conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings Part 2

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	TACAS Thessaloniki (VerfasserIn)
Weitere Verfasser:	Beyer, Dirk (HerausgeberIn)
Format:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	Berlin Springer [2018]
Schriftenreihe:	Lecture notes in computer science 10806 : Advanced research in computing and software science
Schlagworte:	Datensicherung Datenschutz Informatik Software Chiffrierung Konferenzschrift
Beschreibung:	XX, 346 Seiten Diagramme
ISBN:	9783319897219

Internformat

MARC


LEADER	00000nam a2200000 cc4500
001	BV044922751
003	DE-604
005	20180427
007	t\|
008	180426s2018 xx \|\|\|\| \|\|\|\| 10\|\|\| eng d
020			\|a 9783319897219 \|9 978-3-319-89721-9
035			\|a (OCoLC)1033668330
035			\|a (DE-599)BVBBV044922751
040			\|a DE-604 \|b ger \|e rda
041	0		\|a eng
049			\|a DE-83
111	2		\|a TACAS \|n 24. \|d 2018 \|c Thessaloniki \|j Verfasser \|0 (DE-588)1156789095 \|4 aut
245	1	0	\|a Tools and algorithms for the construction and analysis of systems \|b 24th international conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings \|n Part 2 \|c Dirk Beyer, Marieke Huisman (eds.)
264		1	\|a Berlin \|b Springer \|c [2018]
300			\|a XX, 346 Seiten \|b 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 10806 \|a Advanced research in computing and software science
490	0		\|a Lecture notes in computer science \|v ...
650	0	7	\|a Datensicherung \|0 (DE-588)4011144-1 \|2 gnd \|9 rswk-swf
650	0	7	\|a Datenschutz \|0 (DE-588)4011134-9 \|2 gnd \|9 rswk-swf
650	0	7	\|a Informatik \|0 (DE-588)4026894-9 \|2 gnd \|9 rswk-swf
650	0	7	\|a Software \|0 (DE-588)4055382-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Chiffrierung \|0 (DE-588)4352893-4 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|2 gnd-content
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|2 gnd-content
689	0	0	\|a Informatik \|0 (DE-588)4026894-9 \|D s
689	0	1	\|a Datenschutz \|0 (DE-588)4011134-9 \|D s
689	0	2	\|a Chiffrierung \|0 (DE-588)4352893-4 \|D s
689	0	3	\|a Software \|0 (DE-588)4055382-6 \|D s
689	0	4	\|a Datensicherung \|0 (DE-588)4011144-1 \|D s
689	0		\|5 DE-604
700	1		\|a Beyer, Dirk \|4 edt
700	1		\|a Huismann, Marieke \|e Sonstige \|4 oth
773	0	8	\|w (DE-604)BV044922540 \|g 2
776	0	8	\|i Erscheint auch als \|n Online-Ausgabe \|z 978-3-319-809722-6
830		0	\|a Lecture notes in computer science \|v 10806 : Advanced research in computing and software science \|w (DE-604)BV000000607 \|9 10806
943	1		\|a oai:aleph.bib-bvb.de:BVB01-030315999

Datensatz im Suchindex

_version_	1820875715327819776
adam_text
any_adam_object
author2	Beyer, Dirk
author2_role	edt
author2_variant	d b db
author_corporate	TACAS Thessaloniki
author_corporate_role	aut
author_facet	Beyer, Dirk TACAS Thessaloniki
author_sort	TACAS Thessaloniki
building	Verbundindex
bvnumber	BV044922751
ctrlnum	(OCoLC)1033668330 (DE-599)BVBBV044922751
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">BV044922751</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20180427</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">180426s2018 xx \|\|\|\| \|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319897219</subfield><subfield code="9">978-3-319-89721-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1033668330</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044922751</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">24.</subfield><subfield code="d">2018</subfield><subfield code="c">Thessaloniki</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1156789095</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">24th international conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings</subfield><subfield code="n">Part 2</subfield><subfield code="c">Dirk Beyer, Marieke Huisman (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="b">Springer</subfield><subfield code="c">[2018]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XX, 346 Seiten</subfield><subfield code="b">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">10806</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></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Datensicherung</subfield><subfield code="0">(DE-588)4011144-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Datenschutz</subfield><subfield code="0">(DE-588)4011134-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-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</subfield><subfield code="0">(DE-588)4055382-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Chiffrierung</subfield><subfield code="0">(DE-588)4352893-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="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="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Datenschutz</subfield><subfield code="0">(DE-588)4011134-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Chiffrierung</subfield><subfield code="0">(DE-588)4352893-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Software</subfield><subfield code="0">(DE-588)4055382-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Datensicherung</subfield><subfield code="0">(DE-588)4011144-1</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">Beyer, Dirk</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Huismann, Marieke</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="w">(DE-604)BV044922540</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-319-809722-6</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">10806 : Advanced research in computing and software science</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">10806</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-030315999</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift gnd-content
genre_facet	Konferenzschrift
id	DE-604.BV044922751
illustrated	Not Illustrated
indexdate	2025-01-10T15:20:03Z
institution	BVB
institution_GND	(DE-588)1156789095
isbn	9783319897219
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-030315999
oclc_num	1033668330
open_access_boolean
owner	DE-83
owner_facet	DE-83
physical	XX, 346 Seiten Diagramme
publishDate	2018
publishDateSearch	2018
publishDateSort	2018
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science Advanced research in computing and software science
spelling	TACAS 24. 2018 Thessaloniki Verfasser (DE-588)1156789095 aut Tools and algorithms for the construction and analysis of systems 24th international conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings Part 2 Dirk Beyer, Marieke Huisman (eds.) Berlin Springer [2018] XX, 346 Seiten Diagramme txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 10806 Advanced research in computing and software science Lecture notes in computer science ... Datensicherung (DE-588)4011144-1 gnd rswk-swf Datenschutz (DE-588)4011134-9 gnd rswk-swf Informatik (DE-588)4026894-9 gnd rswk-swf Software (DE-588)4055382-6 gnd rswk-swf Chiffrierung (DE-588)4352893-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Informatik (DE-588)4026894-9 s Datenschutz (DE-588)4011134-9 s Chiffrierung (DE-588)4352893-4 s Software (DE-588)4055382-6 s Datensicherung (DE-588)4011144-1 s DE-604 Beyer, Dirk edt Huismann, Marieke Sonstige oth (DE-604)BV044922540 2 Erscheint auch als Online-Ausgabe 978-3-319-809722-6 Lecture notes in computer science 10806 : Advanced research in computing and software science (DE-604)BV000000607 10806
spellingShingle	Tools and algorithms for the construction and analysis of systems 24th international conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings Lecture notes in computer science Datensicherung (DE-588)4011144-1 gnd Datenschutz (DE-588)4011134-9 gnd Informatik (DE-588)4026894-9 gnd Software (DE-588)4055382-6 gnd Chiffrierung (DE-588)4352893-4 gnd
subject_GND	(DE-588)4011144-1 (DE-588)4011134-9 (DE-588)4026894-9 (DE-588)4055382-6 (DE-588)4352893-4 (DE-588)1071861417
title	Tools and algorithms for the construction and analysis of systems 24th international conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings
title_auth	Tools and algorithms for the construction and analysis of systems 24th international conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings
title_exact_search	Tools and algorithms for the construction and analysis of systems 24th international conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings
title_full	Tools and algorithms for the construction and analysis of systems 24th international conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings Part 2 Dirk Beyer, Marieke Huisman (eds.)
title_fullStr	Tools and algorithms for the construction and analysis of systems 24th international conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings Part 2 Dirk Beyer, Marieke Huisman (eds.)
title_full_unstemmed	Tools and algorithms for the construction and analysis of systems 24th international conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings Part 2 Dirk Beyer, Marieke Huisman (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 24th international conference tacas 2018 held as part of the european joint conferences on theory and practice of software etaps 2018 thessaloniki greece april 14 20 2018 proceedings
title_sub	24th international conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings
topic	Datensicherung (DE-588)4011144-1 gnd Datenschutz (DE-588)4011134-9 gnd Informatik (DE-588)4026894-9 gnd Software (DE-588)4055382-6 gnd Chiffrierung (DE-588)4352893-4 gnd
topic_facet	Datensicherung Datenschutz Informatik Software Chiffrierung Konferenzschrift
volume_link	(DE-604)BV044922540 (DE-604)BV000000607
work_keys_str_mv	AT tacasthessaloniki toolsandalgorithmsfortheconstructionandanalysisofsystems24thinternationalconferencetacas2018heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2018thessalonikigreeceapril14202018proceedingspart2 AT beyerdirk toolsandalgorithmsfortheconstructionandanalysisofsystems24thinternationalconferencetacas2018heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2018thessalonikigreeceapril14202018proceedingspart2 AT huismannmarieke toolsandalgorithmsfortheconstructionandanalysisofsystems24thinternationalconferencetacas2018heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2018thessalonikigreeceapril14202018proceedingspart2

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge