Verfügbarkeit: Verification and evaluation of computer and communication systems

Verification and evaluation of computer and communication systems: 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017 : proceedings

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	VECoS Montréal (VerfasserIn)
Weitere Verfasser:	Barkaoui, Kamel (HerausgeberIn), Boucheneb, Hanifa (HerausgeberIn), Mili, Ali (HerausgeberIn), Tahar, Sofiène 1966- (HerausgeberIn)
Format:	Elektronisch Tagungsbericht E-Book
Sprache:	English
Veröffentlicht:	[Cham] Springer [2017]
Schriftenreihe:	Lecture Notes in Computer Science 10466
Schlagworte:	Computer science Computer programming Software engineering Programming languages (Electronic computers) Operating systems (Computers) Algorithms Artificial intelligence Computer Science Algorithm Analysis and Problem Complexity Software Engineering Operating Systems Programming Languages, Compilers, Interpreters Programming Techniques Artificial Intelligence (incl. Robotics) Informatik Künstliche Intelligenz Konferenzschrift > 2017 > Montréal
Online-Zugang:	BTU01 FHA01 FHI01 FHM01 FHN01 FHR01 FKE01 FLA01 FRO01 FWS01 FWS02 HTW01 TUM01 UBA01 UBG01 UBM01 UBR01 UBT01 UBW01 UBY01 UER01 UPA01 Volltext Inhaltsverzeichnis
Beschreibung:	1 Online-Ressource (XVI, 204 Seiten) Illustrationen, Diagramme
ISBN:	9783319661766
ISSN:	0302-9743
DOI:	10.1007/978-3-319-66176-6

Internformat

MARC


LEADER	00000nmm a2200000zcb4500
001	BV044474240
003	DE-604
005	20211215
006	a \|\|\|\| 10\|\|\|
007	cr\|uuu---uuuuu
008	170905s2017 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d
020			\|a 9783319661766 \|c Online \|9 978-3-319-66176-6
024	7		\|a 10.1007/978-3-319-66176-6 \|2 doi
035			\|a (ZDB-2-SCS)9783319661766
035			\|a (ZDB-2-LNC)9783319661766
035			\|a (OCoLC)1004323840
035			\|a (DE-599)BVBBV044474240
040			\|a DE-604 \|b ger \|e rda
041	0		\|a eng
049			\|a DE-860 \|a DE-91 \|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 \|a DE-384 \|a DE-355 \|a DE-188 \|a DE-19
082	0		\|a 005.1 \|2 23
084			\|a SS 4800 \|0 (DE-625)143528: \|2 rvk
084			\|a DAT 000 \|2 stub
111	2		\|a VECoS \|n 11. \|d 2017 \|c Montréal \|j Verfasser \|0 (DE-588)1139136739 \|4 aut
245	1	0	\|a Verification and evaluation of computer and communication systems \|b 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017 : proceedings \|c Kamel Barkaoui, Hanifa Boucheneb, Ali Mili, Sofiène Tahar (Eds.)
264		1	\|a [Cham] \|b Springer \|c [2017]
300			\|a 1 Online-Ressource (XVI, 204 Seiten) \|b Illustrationen, Diagramme
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	1		\|a Lecture Notes in Computer Science \|v 10466 \|x 0302-9743
650		4	\|a Computer science
650		4	\|a Computer programming
650		4	\|a Software engineering
650		4	\|a Programming languages (Electronic computers)
650		4	\|a Operating systems (Computers)
650		4	\|a Algorithms
650		4	\|a Artificial intelligence
650		4	\|a Computer Science
650		4	\|a Algorithm Analysis and Problem Complexity
650		4	\|a Software Engineering
650		4	\|a Operating Systems
650		4	\|a Programming Languages, Compilers, Interpreters
650		4	\|a Programming Techniques
650		4	\|a Artificial Intelligence (incl. Robotics)
650		4	\|a Informatik
650		4	\|a Künstliche Intelligenz
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2017 \|z Montréal \|2 gnd-content
700	1		\|a Barkaoui, Kamel \|4 edt
700	1		\|a Boucheneb, Hanifa \|4 edt
700	1		\|a Mili, Ali \|4 edt
700	1		\|a Tahar, Sofiène \|d 1966- \|0 (DE-588)172860997 \|4 edt
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe \|z 978-3-319-66175-9
830		0	\|a Lecture Notes in Computer Science \|v 10466 \|w (DE-604)BV014880109 \|9 10466
856	4	0	\|u https://doi.org/10.1007/978-3-319-66176-6 \|x Verlag \|z URL des Erstveröffentlichers \|3 Volltext
856	4	2	\|m DNB Datenaustausch \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=029874571&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
912			\|a ZDB-2-SCS \|a ZDB-2-LNC
940	1		\|q ZDB-2-SCS_2017
940	1		\|q ZDB-2-LNC_2017
999			\|a oai:aleph.bib-bvb.de:BVB01-029874571
966	e		\|u https://doi.org/10.1007/978-3-319-66176-6 \|l BTU01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-66176-6 \|l FHA01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-66176-6 \|l FHI01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-66176-6 \|l FHM01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-66176-6 \|l FHN01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-66176-6 \|l FHR01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-66176-6 \|l FKE01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-66176-6 \|l FLA01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-66176-6 \|l FRO01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-66176-6 \|l FWS01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-66176-6 \|l FWS02 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-66176-6 \|l HTW01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-66176-6 \|l TUM01 \|p ZDB-2-LNC \|q ZDB-2-LNC_2017 \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-66176-6 \|l UBA01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-66176-6 \|l UBG01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-66176-6 \|l UBM01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-66176-6 \|l UBR01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-66176-6 \|l UBT01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-66176-6 \|l UBW01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-66176-6 \|l UBY01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-66176-6 \|l UER01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-66176-6 \|l UPA01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext

Datensatz im Suchindex

DE-BY-FWS_katkey	656074
_version_	1806181876732264448
adam_text	CONTENTS INTRODUCTION XI CHAPTER I DECONSTRUCTING LIFE I CHAPTER Z PLAYING GAMES WITH DEATH 9 CHAPTER 3 THE HOLLOW CROWN 23 CHAPTER 4 THE CHALLENGING VOID 33 CHAPTER 5 WAITING FOR GOD 43 CHAPTER6 STATIC CHAOS 61 CHAPTER 7 KNOTS 75 CHAPTER 8 CAN THESE DRYBONES LIVE? 91 BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1004323840 DIGITALISIERT DURCH CHAPTER 9 FRANKENSTEIN IO I CHAPTER 10 WHIRLWINDS IN CHAPTER II A VERY HUMAN CHAOS 119 BIBLIOGRAPHY 12.7 INDEX !33
any_adam_object	1
author2	Barkaoui, Kamel Boucheneb, Hanifa Mili, Ali Tahar, Sofiène 1966-
author2_role	edt edt edt edt
author2_variant	k b kb h b hb a m am s t st
author_GND	(DE-588)172860997
author_corporate	VECoS Montréal
author_corporate_role	aut
author_facet	Barkaoui, Kamel Boucheneb, Hanifa Mili, Ali Tahar, Sofiène 1966- VECoS Montréal
author_sort	VECoS Montréal
building	Verbundindex
bvnumber	BV044474240
classification_rvk	SS 4800
classification_tum	DAT 000
collection	ZDB-2-SCS ZDB-2-LNC
ctrlnum	(ZDB-2-SCS)9783319661766 (ZDB-2-LNC)9783319661766 (OCoLC)1004323840 (DE-599)BVBBV044474240
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-319-66176-6
format	Electronic Conference Proceeding eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>05091nmm a2200949zcb4500</leader><controlfield tag="001">BV044474240</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20211215 </controlfield><controlfield tag="006">a \|\|\|\| 10\|\|\| </controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">170905s2017 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319661766</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-66176-6</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-66176-6</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-SCS)9783319661766</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-LNC)9783319661766</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1004323840</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044474240</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-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><subfield code="a">DE-384</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-19</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">SS 4800</subfield><subfield code="0">(DE-625)143528:</subfield><subfield code="2">rvk</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">VECoS</subfield><subfield code="n">11.</subfield><subfield code="d">2017</subfield><subfield code="c">Montréal</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1139136739</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Verification and evaluation of computer and communication systems</subfield><subfield code="b">11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017 : proceedings</subfield><subfield code="c">Kamel Barkaoui, Hanifa Boucheneb, Ali Mili, Sofiène Tahar (Eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">[Cham]</subfield><subfield code="b">Springer</subfield><subfield code="c">[2017]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XVI, 204 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">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">10466</subfield><subfield code="x">0302-9743</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Operating systems (Computers)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algorithms</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 Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algorithm Analysis and Problem Complexity</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Operating Systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming Languages, Compilers, Interpreters</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming Techniques</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial Intelligence (incl. Robotics)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Künstliche Intelligenz</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2017</subfield><subfield code="z">Montréal</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Barkaoui, Kamel</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Boucheneb, Hanifa</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Mili, Ali</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Tahar, Sofiène</subfield><subfield code="d">1966-</subfield><subfield code="0">(DE-588)172860997</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-319-66175-9</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">10466</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">10466</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-66176-6</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=029874571&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2017</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-LNC_2017</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029874571</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-66176-6</subfield><subfield code="l">BTU01</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-319-66176-6</subfield><subfield code="l">FHA01</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-319-66176-6</subfield><subfield code="l">FHI01</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-319-66176-6</subfield><subfield code="l">FHM01</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-319-66176-6</subfield><subfield code="l">FHN01</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-319-66176-6</subfield><subfield code="l">FHR01</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-319-66176-6</subfield><subfield code="l">FKE01</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-319-66176-6</subfield><subfield code="l">FLA01</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-319-66176-6</subfield><subfield code="l">FRO01</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-319-66176-6</subfield><subfield code="l">FWS01</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-319-66176-6</subfield><subfield code="l">FWS02</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-319-66176-6</subfield><subfield code="l">HTW01</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-319-66176-6</subfield><subfield code="l">TUM01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="q">ZDB-2-LNC_2017</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-319-66176-6</subfield><subfield code="l">UBA01</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-319-66176-6</subfield><subfield code="l">UBG01</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-319-66176-6</subfield><subfield code="l">UBM01</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-319-66176-6</subfield><subfield code="l">UBR01</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-319-66176-6</subfield><subfield code="l">UBT01</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-319-66176-6</subfield><subfield code="l">UBW01</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-319-66176-6</subfield><subfield code="l">UBY01</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-319-66176-6</subfield><subfield code="l">UER01</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-319-66176-6</subfield><subfield code="l">UPA01</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 2017 Montréal gnd-content
genre_facet	Konferenzschrift 2017 Montréal
id	DE-604.BV044474240
illustrated	Not Illustrated
indexdate	2024-08-01T12:47:46Z
institution	BVB
institution_GND	(DE-588)1139136739
isbn	9783319661766
issn	0302-9743
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-029874571
oclc_num	1004323840
open_access_boolean
owner	DE-860 DE-91 DE-BY-TUM 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 DE-384 DE-355 DE-BY-UBR DE-188 DE-19 DE-BY-UBM
owner_facet	DE-860 DE-91 DE-BY-TUM 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 DE-384 DE-355 DE-BY-UBR DE-188 DE-19 DE-BY-UBM
physical	1 Online-Ressource (XVI, 204 Seiten) Illustrationen, Diagramme
psigel	ZDB-2-SCS ZDB-2-LNC ZDB-2-SCS_2017 ZDB-2-LNC_2017 ZDB-2-LNC ZDB-2-LNC_2017
publishDate	2017
publishDateSearch	2017
publishDateSort	2017
publisher	Springer
record_format	marc
series	Lecture Notes in Computer Science
series2	Lecture Notes in Computer Science
spellingShingle	Verification and evaluation of computer and communication systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017 : proceedings Lecture Notes in Computer Science Computer science Computer programming Software engineering Programming languages (Electronic computers) Operating systems (Computers) Algorithms Artificial intelligence Computer Science Algorithm Analysis and Problem Complexity Software Engineering Operating Systems Programming Languages, Compilers, Interpreters Programming Techniques Artificial Intelligence (incl. Robotics) Informatik Künstliche Intelligenz
subject_GND	(DE-588)1071861417
title	Verification and evaluation of computer and communication systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017 : proceedings
title_auth	Verification and evaluation of computer and communication systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017 : proceedings
title_exact_search	Verification and evaluation of computer and communication systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017 : proceedings
title_full	Verification and evaluation of computer and communication systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017 : proceedings Kamel Barkaoui, Hanifa Boucheneb, Ali Mili, Sofiène Tahar (Eds.)
title_fullStr	Verification and evaluation of computer and communication systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017 : proceedings Kamel Barkaoui, Hanifa Boucheneb, Ali Mili, Sofiène Tahar (Eds.)
title_full_unstemmed	Verification and evaluation of computer and communication systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017 : proceedings Kamel Barkaoui, Hanifa Boucheneb, Ali Mili, Sofiène Tahar (Eds.)
title_short	Verification and evaluation of computer and communication systems
title_sort	verification and evaluation of computer and communication systems 11th international conference vecos 2017 montreal qc canada august 24 25 2017 proceedings
title_sub	11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017 : proceedings
topic	Computer science Computer programming Software engineering Programming languages (Electronic computers) Operating systems (Computers) Algorithms Artificial intelligence Computer Science Algorithm Analysis and Problem Complexity Software Engineering Operating Systems Programming Languages, Compilers, Interpreters Programming Techniques Artificial Intelligence (incl. Robotics) Informatik Künstliche Intelligenz
topic_facet	Computer science Computer programming Software engineering Programming languages (Electronic computers) Operating systems (Computers) Algorithms Artificial intelligence Computer Science Algorithm Analysis and Problem Complexity Software Engineering Operating Systems Programming Languages, Compilers, Interpreters Programming Techniques Artificial Intelligence (incl. Robotics) Informatik Künstliche Intelligenz Konferenzschrift 2017 Montréal
url	https://doi.org/10.1007/978-3-319-66176-6 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=029874571&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT vecosmontreal verificationandevaluationofcomputerandcommunicationsystems11thinternationalconferencevecos2017montrealqccanadaaugust24252017proceedings AT barkaouikamel verificationandevaluationofcomputerandcommunicationsystems11thinternationalconferencevecos2017montrealqccanadaaugust24252017proceedings AT bouchenebhanifa verificationandevaluationofcomputerandcommunicationsystems11thinternationalconferencevecos2017montrealqccanadaaugust24252017proceedings AT miliali verificationandevaluationofcomputerandcommunicationsystems11thinternationalconferencevecos2017montrealqccanadaaugust24252017proceedings AT taharsofiene verificationandevaluationofcomputerandcommunicationsystems11thinternationalconferencevecos2017montrealqccanadaaugust24252017proceedings

Verfügbarkeit

Volltext öffnen

MARC

Datensatz im Suchindex

Ähnliche Einträge