Availability: Theoretical aspects of computing – ICTAC 2019

Saved in:

Bibliographic Details
Corporate Author:	ICTAC Hammamet (Author)
Other Authors:	Hierons, Robert M. (Editor), Mosbah, Mohamed (Editor)
Format:	Electronic Conference Proceedings eBook
Language:	English
Published:	Cham, Switzerland Springer [2019]
Series:	Lecture notes in computer sciences 11884
Subjects:	Logics and Meanings of Programs Mathematical Logic and Formal Languages Image Processing and Computer Vision Machine Learning Robotics Computer logic Mathematical logic Optical data processing Machine learning Formale Methode Softwareentwicklung Theoretische Informatik Softwaretest Programmverifikation Konferenzschrift
Links:	https://doi.org/10.1007/978-3-030-32505-3 https://doi.org/10.1007/978-3-030-32505-3 https://doi.org/10.1007/978-3-030-32505-3 https://doi.org/10.1007/978-3-030-32505-3 https://doi.org/10.1007/978-3-030-32505-3 https://doi.org/10.1007/978-3-030-32505-3 https://doi.org/10.1007/978-3-030-32505-3 https://doi.org/10.1007/978-3-030-32505-3 https://doi.org/10.1007/978-3-030-32505-3 https://doi.org/10.1007/978-3-030-32505-3 https://doi.org/10.1007/978-3-030-32505-3 https://doi.org/10.1007/978-3-030-32505-3 https://doi.org/10.1007/978-3-030-32505-3 https://doi.org/10.1007/978-3-030-32505-3 https://doi.org/10.1007/978-3-030-32505-3 https://doi.org/10.1007/978-3-030-32505-3 https://doi.org/10.1007/978-3-030-32505-3 https://doi.org/10.1007/978-3-030-32505-3 https://doi.org/10.1007/978-3-030-32505-3 https://doi.org/10.1007/978-3-030-32505-3 https://doi.org/10.1007/978-3-030-32505-3 https://doi.org/10.1007/978-3-030-32505-3
Physical Description:	1 Online-Ressource (xi, 411 Seiten) 1919 Illustrationen, 379 in Farbe
ISBN:	9783030325053
DOI:	10.1007/978-3-030-32505-3

Staff View

MARC


LEADER	00000nam a2200000zcb4500
001	BV046229882
003	DE-604
005	20220302
007	cr\|uuu---uuuuu
008	191105s2019 xx a\|\|\| o\|\|\|\| 10\|\|\| eng d
020			\|a 9783030325053 \|c Online \|9 978-3-030-32505-3
024	7		\|a 10.1007/978-3-030-32505-3 \|2 doi
035			\|a (ZDB-2-SCS)9783030325053
035			\|a (ZDB-2-LNC)9783030325053
035			\|a (OCoLC)1126558140
035			\|a (DE-599)BVBBV046229882
040			\|a DE-604 \|b ger \|e rda
041	0		\|a eng
049			\|a DE-355 \|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-20 \|a DE-862 \|a DE-92 \|a DE-573 \|a DE-M347 \|a DE-703 \|a DE-706 \|a DE-739 \|a DE-634
082	0		\|a 005.1015113 \|2 23
084			\|a DAT 500 \|2 stub
084			\|a DAT 000 \|2 stub
111	2		\|a ICTAC \|n 16. \|d 2019 \|c Hammamet \|j Verfasser \|0 (DE-588)1200643488 \|4 aut
245	1	0	\|a Theoretical aspects of computing – ICTAC 2019 \|b 16th international colloquium, Hammamet, Tunisia, October 31 – November 4, 2019, proceedings \|c Robert Mark Hierons, Mohamed Mosbah (eds.)
264		1	\|a Cham, Switzerland \|b Springer \|c [2019]
300			\|a 1 Online-Ressource (xi, 411 Seiten) \|b 1919 Illustrationen, 379 in Farbe
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	1		\|a Lecture notes in computer science \|v 11884 \|a Theoretical computer science and general issues
650		4	\|a Logics and Meanings of Programs
650		4	\|a Mathematical Logic and Formal Languages
650		4	\|a Image Processing and Computer Vision
650		4	\|a Machine Learning
650		4	\|a Robotics
650		4	\|a Computer logic
650		4	\|a Mathematical logic
650		4	\|a Optical data processing
650		4	\|a Machine learning
650		4	\|a Robotics
650	0	7	\|a Formale Methode \|0 (DE-588)4333722-3 \|2 gnd \|9 rswk-swf
650	0	7	\|a Softwareentwicklung \|0 (DE-588)4116522-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Theoretische Informatik \|0 (DE-588)4196735-5 \|2 gnd \|9 rswk-swf
650	0	7	\|a Softwaretest \|0 (DE-588)4132652-0 \|2 gnd \|9 rswk-swf
650	0	7	\|a Programmverifikation \|0 (DE-588)4135576-3 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|2 gnd-content
689	0	0	\|a Theoretische Informatik \|0 (DE-588)4196735-5 \|D s
689	0		\|5 DE-604
689	1	0	\|a Softwareentwicklung \|0 (DE-588)4116522-6 \|D s
689	1	1	\|a Programmverifikation \|0 (DE-588)4135576-3 \|D s
689	1	2	\|a Softwaretest \|0 (DE-588)4132652-0 \|D s
689	1	3	\|a Formale Methode \|0 (DE-588)4333722-3 \|D s
689	1		\|5 DE-604
700	1		\|a Hierons, Robert M. \|0 (DE-588)17401256X \|4 edt
700	1		\|a Mosbah, Mohamed \|4 edt
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe \|z 978-3-030-32504-6
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe \|z 978-3-030-32506-0
830		0	\|a Lecture notes in computer sciences \|v 11884 \|w (DE-604)BV014880109 \|9 11884
856	4	0	\|u https://doi.org/10.1007/978-3-030-32505-3 \|x Verlag \|z URL des Erstveröffentlichers \|3 Volltext
912			\|a ZDB-2-SCS
912			\|a ZDB-2-LNC
940	1		\|q ZDB-2-SCS_2019
940	1		\|q ZDB-2-LNC_2019
943	1		\|a oai:aleph.bib-bvb.de:BVB01-031608391
966	e		\|u https://doi.org/10.1007/978-3-030-32505-3 \|l DE-634 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-32505-3 \|l DE-Aug4 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-32505-3 \|l DE-573 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-32505-3 \|l DE-M347 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-32505-3 \|l DE-92 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-32505-3 \|l DE-898 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-32505-3 \|l DE-859 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-32505-3 \|l DE-860 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-32505-3 \|l DE-861 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-32505-3 \|l DE-863 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-32505-3 \|l DE-862 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-32505-3 \|l DE-523 \|p ZDB-2-LNC \|q ZDB-2-LNC_2019 \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-32505-3 \|l DE-91 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-32505-3 \|l DE-473 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-32505-3 \|l DE-19 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-32505-3 \|l DE-355 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-32505-3 \|l DE-703 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-32505-3 \|l DE-20 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-32505-3 \|l DE-706 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-32505-3 \|l DE-29 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-32505-3 \|l DE-739 \|p ZDB-2-LNC \|x Verlag \|3 Volltext

Record in the Search Index

DE-BY-OTHR_katkey	6185327
DE-BY-TUM_katkey	2438878
DE-BY-UBR_katkey	6185327
_version_	1835095664600547328
adam_text
any_adam_object
author2	Hierons, Robert M. Mosbah, Mohamed
author2_role	edt edt
author2_variant	r m h rm rmh m m mm
author_GND	(DE-588)17401256X
author_corporate	ICTAC Hammamet
author_corporate_role	aut
author_facet	Hierons, Robert M. Mosbah, Mohamed ICTAC Hammamet
author_sort	ICTAC Hammamet
building	Verbundindex
bvnumber	BV046229882
classification_rvk	SS 4800
classification_tum	DAT 500 DAT 000
collection	ZDB-2-SCS ZDB-2-LNC
ctrlnum	(ZDB-2-SCS)9783030325053 (ZDB-2-LNC)9783030325053 (OCoLC)1126558140 (DE-599)BVBBV046229882
dewey-full	005.1015113
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	005 - Computer programming, programs, data, security
dewey-raw	005.1015113
dewey-search	005.1015113
dewey-sort	15.1015113
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
doi_str_mv	10.1007/978-3-030-32505-3
format	Electronic Conference Proceeding eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000zcb4500</leader><controlfield tag="001">BV046229882</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20220302</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">191105s2019 xx a\|\|\| o\|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783030325053</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-030-32505-3</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-030-32505-3</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-SCS)9783030325053</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-LNC)9783030325053</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1126558140</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV046229882</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-355</subfield><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-20</subfield><subfield code="a">DE-862</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-M347</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.1015113</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 500</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">ICTAC</subfield><subfield code="n">16.</subfield><subfield code="d">2019</subfield><subfield code="c">Hammamet</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1200643488</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Theoretical aspects of computing – ICTAC 2019</subfield><subfield code="b">16th international colloquium, Hammamet, Tunisia, October 31 – November 4, 2019, proceedings</subfield><subfield code="c">Robert Mark Hierons, Mohamed Mosbah (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham, Switzerland</subfield><subfield code="b">Springer</subfield><subfield code="c">[2019]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xi, 411 Seiten)</subfield><subfield code="b">1919 Illustrationen, 379 in Farbe</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="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">11884</subfield><subfield code="a">Theoretical computer science and general issues</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logics and Meanings of Programs</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Formal Languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Image Processing and Computer Vision</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Machine Learning</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Robotics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Optical data processing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Machine learning</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Robotics</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwaretest</subfield><subfield code="0">(DE-588)4132652-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</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="689" ind1="0" ind2="0"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Softwaretest</subfield><subfield code="0">(DE-588)4132652-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="3"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Hierons, Robert M.</subfield><subfield code="0">(DE-588)17401256X</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Mosbah, Mohamed</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-030-32504-6</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-030-32506-0</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer sciences</subfield><subfield code="v">11884</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">11884</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-030-32505-3</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="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2019</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-LNC_2019</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-031608391</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-32505-3</subfield><subfield code="l">DE-634</subfield><subfield code="p">ZDB-2-LNC</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-030-32505-3</subfield><subfield code="l">DE-Aug4</subfield><subfield code="p">ZDB-2-LNC</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-030-32505-3</subfield><subfield code="l">DE-573</subfield><subfield code="p">ZDB-2-LNC</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-030-32505-3</subfield><subfield code="l">DE-M347</subfield><subfield code="p">ZDB-2-LNC</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-030-32505-3</subfield><subfield code="l">DE-92</subfield><subfield code="p">ZDB-2-LNC</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-030-32505-3</subfield><subfield code="l">DE-898</subfield><subfield code="p">ZDB-2-LNC</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-030-32505-3</subfield><subfield code="l">DE-859</subfield><subfield code="p">ZDB-2-LNC</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-030-32505-3</subfield><subfield code="l">DE-860</subfield><subfield code="p">ZDB-2-LNC</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-030-32505-3</subfield><subfield code="l">DE-861</subfield><subfield code="p">ZDB-2-LNC</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-030-32505-3</subfield><subfield code="l">DE-863</subfield><subfield code="p">ZDB-2-LNC</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-030-32505-3</subfield><subfield code="l">DE-862</subfield><subfield code="p">ZDB-2-LNC</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-030-32505-3</subfield><subfield code="l">DE-523</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="q">ZDB-2-LNC_2019</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-030-32505-3</subfield><subfield code="l">DE-91</subfield><subfield code="p">ZDB-2-LNC</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-030-32505-3</subfield><subfield code="l">DE-473</subfield><subfield code="p">ZDB-2-LNC</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-030-32505-3</subfield><subfield code="l">DE-19</subfield><subfield code="p">ZDB-2-LNC</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-030-32505-3</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-030-32505-3</subfield><subfield code="l">DE-703</subfield><subfield code="p">ZDB-2-LNC</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-030-32505-3</subfield><subfield code="l">DE-20</subfield><subfield code="p">ZDB-2-LNC</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-030-32505-3</subfield><subfield code="l">DE-706</subfield><subfield code="p">ZDB-2-LNC</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-030-32505-3</subfield><subfield code="l">DE-29</subfield><subfield code="p">ZDB-2-LNC</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-030-32505-3</subfield><subfield code="l">DE-739</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift gnd-content
genre_facet	Konferenzschrift
id	DE-604.BV046229882
illustrated	Illustrated
indexdate	2025-01-11T19:09:06Z
institution	BVB
institution_GND	(DE-588)1200643488
isbn	9783030325053
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-031608391
oclc_num	1126558140
open_access_boolean
owner	DE-355 DE-BY-UBR 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-20 DE-862 DE-BY-FWS DE-92 DE-573 DE-M347 DE-703 DE-706 DE-739 DE-634
owner_facet	DE-355 DE-BY-UBR 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-20 DE-862 DE-BY-FWS DE-92 DE-573 DE-M347 DE-703 DE-706 DE-739 DE-634
physical	1 Online-Ressource (xi, 411 Seiten) 1919 Illustrationen, 379 in Farbe
psigel	ZDB-2-SCS ZDB-2-LNC ZDB-2-SCS_2019 ZDB-2-LNC_2019 ZDB-2-LNC ZDB-2-LNC_2019
publishDate	2019
publishDateSearch	2019
publishDateSort	2019
publisher	Springer
record_format	marc
series	Lecture notes in computer sciences
series2	Lecture notes in computer science Theoretical computer science and general issues
spellingShingle	Theoretical aspects of computing – ICTAC 2019 16th international colloquium, Hammamet, Tunisia, October 31 – November 4, 2019, proceedings Lecture notes in computer sciences Logics and Meanings of Programs Mathematical Logic and Formal Languages Image Processing and Computer Vision Machine Learning Robotics Computer logic Mathematical logic Optical data processing Machine learning Formale Methode (DE-588)4333722-3 gnd Softwareentwicklung (DE-588)4116522-6 gnd Theoretische Informatik (DE-588)4196735-5 gnd Softwaretest (DE-588)4132652-0 gnd Programmverifikation (DE-588)4135576-3 gnd
subject_GND	(DE-588)4333722-3 (DE-588)4116522-6 (DE-588)4196735-5 (DE-588)4132652-0 (DE-588)4135576-3 (DE-588)1071861417
title	Theoretical aspects of computing – ICTAC 2019 16th international colloquium, Hammamet, Tunisia, October 31 – November 4, 2019, proceedings
title_auth	Theoretical aspects of computing – ICTAC 2019 16th international colloquium, Hammamet, Tunisia, October 31 – November 4, 2019, proceedings
title_exact_search	Theoretical aspects of computing – ICTAC 2019 16th international colloquium, Hammamet, Tunisia, October 31 – November 4, 2019, proceedings
title_full	Theoretical aspects of computing – ICTAC 2019 16th international colloquium, Hammamet, Tunisia, October 31 – November 4, 2019, proceedings Robert Mark Hierons, Mohamed Mosbah (eds.)
title_fullStr	Theoretical aspects of computing – ICTAC 2019 16th international colloquium, Hammamet, Tunisia, October 31 – November 4, 2019, proceedings Robert Mark Hierons, Mohamed Mosbah (eds.)
title_full_unstemmed	Theoretical aspects of computing – ICTAC 2019 16th international colloquium, Hammamet, Tunisia, October 31 – November 4, 2019, proceedings Robert Mark Hierons, Mohamed Mosbah (eds.)
title_short	Theoretical aspects of computing – ICTAC 2019
title_sort	theoretical aspects of computing ictac 2019 16th international colloquium hammamet tunisia october 31 november 4 2019 proceedings
title_sub	16th international colloquium, Hammamet, Tunisia, October 31 – November 4, 2019, proceedings
topic	Logics and Meanings of Programs Mathematical Logic and Formal Languages Image Processing and Computer Vision Machine Learning Robotics Computer logic Mathematical logic Optical data processing Machine learning Formale Methode (DE-588)4333722-3 gnd Softwareentwicklung (DE-588)4116522-6 gnd Theoretische Informatik (DE-588)4196735-5 gnd Softwaretest (DE-588)4132652-0 gnd Programmverifikation (DE-588)4135576-3 gnd
topic_facet	Logics and Meanings of Programs Mathematical Logic and Formal Languages Image Processing and Computer Vision Machine Learning Robotics Computer logic Mathematical logic Optical data processing Machine learning Formale Methode Softwareentwicklung Theoretische Informatik Softwaretest Programmverifikation Konferenzschrift
url	https://doi.org/10.1007/978-3-030-32505-3
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT ictachammamet theoreticalaspectsofcomputingictac201916thinternationalcolloquiumhammamettunisiaoctober31november42019proceedings AT hieronsrobertm theoreticalaspectsofcomputingictac201916thinternationalcolloquiumhammamettunisiaoctober31november42019proceedings AT mosbahmohamed theoreticalaspectsofcomputingictac201916thinternationalcolloquiumhammamettunisiaoctober31november42019proceedings

Availability

Order (Login required)

Read online