Availability: Tools and Methods of Program Analysis | Technische Universität München

Tools and Methods of Program Analysis: 6th International Conference, TMPA 2021, Tomsk, Russia, November 25–27, 2021, Revised Selected Papers

Saved in:

Bibliographic Details
Other Authors:	Yavorskiy, Rostislav (Editor), Cavalli, Ana Rosa (Editor), Kalenkova, Anna (Editor)
Format:	Electronic eBook
Language:	English
Published:	Cham Springer Nature Switzerland 2024 Cham Springer
Edition:	1st ed. 2024
Series:	Communications in Computer and Information Science 1559
Subjects:	Software Engineering Artificial Intelligence Computer and Information Systems Applications Computer Communication Networks Theory of Computation Programming Language Software engineering Artificial intelligence Application software Computer networks Computer science Programming languages (Electronic computers)
Links:	https://doi.org/10.1007/978-3-031-50423-5 https://doi.org/10.1007/978-3-031-50423-5 https://doi.org/10.1007/978-3-031-50423-5 https://doi.org/10.1007/978-3-031-50423-5 https://doi.org/10.1007/978-3-031-50423-5 https://doi.org/10.1007/978-3-031-50423-5 https://doi.org/10.1007/978-3-031-50423-5 https://doi.org/10.1007/978-3-031-50423-5 https://doi.org/10.1007/978-3-031-50423-5 https://doi.org/10.1007/978-3-031-50423-5 https://doi.org/10.1007/978-3-031-50423-5 https://doi.org/10.1007/978-3-031-50423-5 https://doi.org/10.1007/978-3-031-50423-5 https://doi.org/10.1007/978-3-031-50423-5 https://doi.org/10.1007/978-3-031-50423-5 https://doi.org/10.1007/978-3-031-50423-5 https://doi.org/10.1007/978-3-031-50423-5 https://doi.org/10.1007/978-3-031-50423-5 https://doi.org/10.1007/978-3-031-50423-5 https://doi.org/10.1007/978-3-031-50423-5 https://doi.org/10.1007/978-3-031-50423-5 https://doi.org/10.1007/978-3-031-50423-5 https://doi.org/10.1007/978-3-031-50423-5 https://doi.org/10.1007/978-3-031-50423-5 https://doi.org/10.1007/978-3-031-50423-5 https://doi.org/10.1007/978-3-031-50423-5
Physical Description:	1 Online-Ressource (X, 198 p. 68 illus., 48 illus. in color)
ISBN:	9783031504235
ISSN:	1865-0937
DOI:	10.1007/978-3-031-50423-5

Staff View

MARC


LEADER	00000nam a2200000zcb4500
001	BV049527080
003	DE-604
005	00000000000000.0
007	cr\|uuu---uuuuu
008	240201s2024 xx o\|\|\|\| 00\|\|\| eng d
020			\|a 9783031504235 \|c Online \|9 978-3-031-50423-5
024	7		\|a 10.1007/978-3-031-50423-5 \|2 doi
035			\|a (ZDB-2-SCS)9783031504235
035			\|a (OCoLC)1422441726
035			\|a (DE-599)BVBBV049527080
040			\|a DE-604 \|b ger \|e rda
041	0		\|a eng
049			\|a DE-860 \|a DE-91 \|a DE-19 \|a DE-Aug4 \|a DE-898 \|a DE-861 \|a DE-523 \|a DE-859 \|a DE-473 \|a DE-29 \|a DE-863 \|a DE-1050 \|a DE-20 \|a DE-862 \|a DE-92 \|a DE-355 \|a DE-824 \|a DE-522 \|a DE-384 \|a DE-M347 \|a DE-573 \|a DE-703 \|a DE-706 \|a DE-739 \|a DE-634
082	0		\|a 005.1 \|2 23
084			\|a DAT 000 \|2 stub
245	1	0	\|a Tools and Methods of Program Analysis \|b 6th International Conference, TMPA 2021, Tomsk, Russia, November 25–27, 2021, Revised Selected Papers \|c edited by Rostislav Yavorskiy, Ana Rosa Cavalli, Anna Kalenkova
250			\|a 1st ed. 2024
264		1	\|a Cham \|b Springer Nature Switzerland \|c 2024
264		1	\|a Cham \|b Springer
300			\|a 1 Online-Ressource (X, 198 p. 68 illus., 48 illus. in color)
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	0		\|a Communications in Computer and Information Science \|v 1559 \|x 1865-0937
650		4	\|a Software Engineering
650		4	\|a Artificial Intelligence
650		4	\|a Computer and Information Systems Applications
650		4	\|a Computer Communication Networks
650		4	\|a Theory of Computation
650		4	\|a Programming Language
650		4	\|a Software engineering
650		4	\|a Artificial intelligence
650		4	\|a Application software
650		4	\|a Computer networks
650		4	\|a Computer science
650		4	\|a Programming languages (Electronic computers)
700	1		\|a Yavorskiy, Rostislav \|4 edt
700	1		\|a Cavalli, Ana Rosa \|4 edt
700	1		\|a Kalenkova, Anna \|4 edt
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe \|z 978-3-031-50422-8
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe \|z 978-3-031-50424-2
856	4	0	\|u https://doi.org/10.1007/978-3-031-50423-5 \|x Verlag \|z URL des Erstveröffentlichers \|3 Volltext
912			\|a ZDB-2-SCS
940	1		\|q ZDB-2-SCS_2024
943	1		\|a oai:aleph.bib-bvb.de:BVB01-034872805
966	e		\|u https://doi.org/10.1007/978-3-031-50423-5 \|l DE-522 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-50423-5 \|l DE-634 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-50423-5 \|l DE-Aug4 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-50423-5 \|l DE-1050 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-50423-5 \|l DE-573 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-50423-5 \|l DE-M347 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-50423-5 \|l DE-92 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-50423-5 \|l DE-898 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-50423-5 \|l DE-859 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-50423-5 \|l DE-860 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-50423-5 \|l DE-861 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-50423-5 \|l DE-863 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-50423-5 \|l DE-862 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-50423-5 \|l DE-523 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-50423-5 \|l DE-91 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-50423-5 \|l DE-384 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-50423-5 \|l DE-473 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-50423-5 \|l DE-19 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-50423-5 \|l DE-355 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-50423-5 \|l DE-703 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-50423-5 \|l DE-20 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-50423-5 \|l DE-706 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-50423-5 \|l DE-824 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-50423-5 \|l DE-29 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-50423-5 \|l DE-739 \|p ZDB-2-SCS \|x Verlag \|3 Volltext

Record in the Search Index

DE-BY-TUM_katkey	2780846
_version_	1821936758106882048
any_adam_object
author2	Yavorskiy, Rostislav Cavalli, Ana Rosa Kalenkova, Anna
author2_role	edt edt edt
author2_variant	r y ry a r c ar arc a k ak
author_facet	Yavorskiy, Rostislav Cavalli, Ana Rosa Kalenkova, Anna
building	Verbundindex
bvnumber	BV049527080
classification_tum	DAT 000
collection	ZDB-2-SCS
ctrlnum	(ZDB-2-SCS)9783031504235 (OCoLC)1422441726 (DE-599)BVBBV049527080
dewey-full	005.1
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	005 - Computer programming, programs, data, security
dewey-raw	005.1
dewey-search	005.1
dewey-sort	15.1
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
doi_str_mv	10.1007/978-3-031-50423-5
edition	1st ed. 2024
format	Electronic eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04662nam a2200865zcb4500</leader><controlfield tag="001">BV049527080</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">240201s2024 xx o\|\|\|\| 00\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783031504235</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-031-50423-5</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-031-50423-5</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-SCS)9783031504235</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1422441726</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV049527080</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-860</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-523</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-863</subfield><subfield code="a">DE-1050</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-862</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-522</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Tools and Methods of Program Analysis</subfield><subfield code="b">6th International Conference, TMPA 2021, Tomsk, Russia, November 25–27, 2021, Revised Selected Papers</subfield><subfield code="c">edited by Rostislav Yavorskiy, Ana Rosa Cavalli, Anna Kalenkova</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed. 2024</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer Nature Switzerland</subfield><subfield code="c">2024</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (X, 198 p. 68 illus., 48 illus. in color)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Communications in Computer and Information Science</subfield><subfield code="v">1559</subfield><subfield code="x">1865-0937</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial Intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer and Information Systems Applications</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Communication Networks</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Theory of Computation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming Language</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Application software</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer networks </subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Yavorskiy, Rostislav</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Cavalli, Ana Rosa</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kalenkova, Anna</subfield><subfield code="4">edt</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-3-031-50422-8</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-3-031-50424-2</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-031-50423-5</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2024</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-034872805</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-50423-5</subfield><subfield code="l">DE-522</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-50423-5</subfield><subfield code="l">DE-634</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-50423-5</subfield><subfield code="l">DE-Aug4</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-50423-5</subfield><subfield code="l">DE-1050</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-50423-5</subfield><subfield code="l">DE-573</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-50423-5</subfield><subfield code="l">DE-M347</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-50423-5</subfield><subfield code="l">DE-92</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-50423-5</subfield><subfield code="l">DE-898</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-50423-5</subfield><subfield code="l">DE-859</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-50423-5</subfield><subfield code="l">DE-860</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-50423-5</subfield><subfield code="l">DE-861</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-50423-5</subfield><subfield code="l">DE-863</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-50423-5</subfield><subfield code="l">DE-862</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-50423-5</subfield><subfield code="l">DE-523</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-50423-5</subfield><subfield code="l">DE-91</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-50423-5</subfield><subfield code="l">DE-384</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-50423-5</subfield><subfield code="l">DE-473</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-50423-5</subfield><subfield code="l">DE-19</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-50423-5</subfield><subfield code="l">DE-355</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-50423-5</subfield><subfield code="l">DE-703</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-50423-5</subfield><subfield code="l">DE-20</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-50423-5</subfield><subfield code="l">DE-706</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-50423-5</subfield><subfield code="l">DE-824</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-50423-5</subfield><subfield code="l">DE-29</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-50423-5</subfield><subfield code="l">DE-739</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection>
id	DE-604.BV049527080
illustrated	Not Illustrated
indexdate	2024-12-20T20:14:34Z
institution	BVB
isbn	9783031504235
issn	1865-0937
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-034872805
oclc_num	1422441726
open_access_boolean
owner	DE-860 DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-Aug4 DE-898 DE-BY-UBR DE-861 DE-523 DE-859 DE-473 DE-BY-UBG DE-29 DE-863 DE-BY-FWS DE-1050 DE-20 DE-862 DE-BY-FWS DE-92 DE-355 DE-BY-UBR DE-824 DE-522 DE-384 DE-M347 DE-573 DE-703 DE-706 DE-739 DE-634
owner_facet	DE-860 DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-Aug4 DE-898 DE-BY-UBR DE-861 DE-523 DE-859 DE-473 DE-BY-UBG DE-29 DE-863 DE-BY-FWS DE-1050 DE-20 DE-862 DE-BY-FWS DE-92 DE-355 DE-BY-UBR DE-824 DE-522 DE-384 DE-M347 DE-573 DE-703 DE-706 DE-739 DE-634
physical	1 Online-Ressource (X, 198 p. 68 illus., 48 illus. in color)
psigel	ZDB-2-SCS ZDB-2-SCS_2024
publishDate	2024
publishDateSearch	2024
publishDateSort	2024
publisher	Springer Nature Switzerland Springer
record_format	marc
series2	Communications in Computer and Information Science
spellingShingle	Tools and Methods of Program Analysis 6th International Conference, TMPA 2021, Tomsk, Russia, November 25–27, 2021, Revised Selected Papers Software Engineering Artificial Intelligence Computer and Information Systems Applications Computer Communication Networks Theory of Computation Programming Language Software engineering Artificial intelligence Application software Computer networks Computer science Programming languages (Electronic computers)
title	Tools and Methods of Program Analysis 6th International Conference, TMPA 2021, Tomsk, Russia, November 25–27, 2021, Revised Selected Papers
title_auth	Tools and Methods of Program Analysis 6th International Conference, TMPA 2021, Tomsk, Russia, November 25–27, 2021, Revised Selected Papers
title_exact_search	Tools and Methods of Program Analysis 6th International Conference, TMPA 2021, Tomsk, Russia, November 25–27, 2021, Revised Selected Papers
title_full	Tools and Methods of Program Analysis 6th International Conference, TMPA 2021, Tomsk, Russia, November 25–27, 2021, Revised Selected Papers edited by Rostislav Yavorskiy, Ana Rosa Cavalli, Anna Kalenkova
title_fullStr	Tools and Methods of Program Analysis 6th International Conference, TMPA 2021, Tomsk, Russia, November 25–27, 2021, Revised Selected Papers edited by Rostislav Yavorskiy, Ana Rosa Cavalli, Anna Kalenkova
title_full_unstemmed	Tools and Methods of Program Analysis 6th International Conference, TMPA 2021, Tomsk, Russia, November 25–27, 2021, Revised Selected Papers edited by Rostislav Yavorskiy, Ana Rosa Cavalli, Anna Kalenkova
title_short	Tools and Methods of Program Analysis
title_sort	tools and methods of program analysis 6th international conference tmpa 2021 tomsk russia november 25 27 2021 revised selected papers
title_sub	6th International Conference, TMPA 2021, Tomsk, Russia, November 25–27, 2021, Revised Selected Papers
topic	Software Engineering Artificial Intelligence Computer and Information Systems Applications Computer Communication Networks Theory of Computation Programming Language Software engineering Artificial intelligence Application software Computer networks Computer science Programming languages (Electronic computers)
topic_facet	Software Engineering Artificial Intelligence Computer and Information Systems Applications Computer Communication Networks Theory of Computation Programming Language Software engineering Artificial intelligence Application software Computer networks Computer science Programming languages (Electronic computers)
url	https://doi.org/10.1007/978-3-031-50423-5
work_keys_str_mv	AT yavorskiyrostislav toolsandmethodsofprogramanalysis6thinternationalconferencetmpa2021tomskrussianovember25272021revisedselectedpapers AT cavallianarosa toolsandmethodsofprogramanalysis6thinternationalconferencetmpa2021tomskrussianovember25272021revisedselectedpapers AT kalenkovaanna toolsandmethodsofprogramanalysis6thinternationalconferencetmpa2021tomskrussianovember25272021revisedselectedpapers

Availability

Order (Login required)

Read online