Verfügbarkeit: Implementation and application of automata

Implementation and application of automata: 18th international conference, CIAA 2013, Halifax, NS, Canada, July 16 - 19, 2013 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Format:	Elektronisch Tagungsbericht E-Book
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 2013
Schriftenreihe:	Lecture notes in computer science 7982
Schlagworte:	Theoretische Informatik Automat > Automatentheorie Konferenzschrift > 2013 > Halifax Nova Scotia
Online-Zugang:	Volltext Inhaltsverzeichnis Abstract
Beschreibung:	1 Online-Ressource (XIII, 358 S.) graph. Darst.
ISBN:	3642392733 9783642392740
DOI:	10.1007/978-3-642-39274-0

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV041417649
003	DE-604
005	20140307
007	cr\|uuu---uuuuu
008	131115s2013 gw o\|\|\|\| 10\|\|\| eng d
020			\|a 3642392733 \|9 3-642-39273-3
020			\|a 9783642392740 \|9 978-3-642-39274-0
024	7		\|a 10.1007/978-3-642-39274-0 \|2 doi
024	3		\|a 9783642392733
028	5	2	\|a Best.-Nr.: 86290345
035			\|a (OCoLC)858013938
035			\|a (DE-599)BVBBV041417649
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
044			\|a gw \|c XA-DE-BE
049			\|a DE-473 \|a DE-M347 \|a DE-20 \|a DE-703 \|a DE-Aug4 \|a DE-92 \|a DE-29 \|a DE-859 \|a DE-739 \|a DE-91 \|a DE-706 \|a DE-384 \|a DE-634 \|a DE-355
082	0		\|a 004.0151
084			\|a 004 \|2 sdnb
084			\|a DAT 550f \|2 stub
084			\|a DAT 000 \|2 stub
084			\|a DAT 500f \|2 stub
245	1	0	\|a Implementation and application of automata \|b 18th international conference, CIAA 2013, Halifax, NS, Canada, July 16 - 19, 2013 ; proceedings \|c Stavros Konstantinidis (ed.)
264		1	\|a Berlin [u.a.] \|b Springer \|c 2013
300			\|a 1 Online-Ressource (XIII, 358 S.) \|c graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	1		\|a Lecture notes in computer science \|v 7982
650	0	7	\|a Theoretische Informatik \|0 (DE-588)4196735-5 \|2 gnd \|9 rswk-swf
650	0	7	\|a Automat \|g Automatentheorie \|0 (DE-588)4831958-2 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2013 \|z Halifax Nova Scotia \|2 gnd-content
689	0	0	\|a Automat \|g Automatentheorie \|0 (DE-588)4831958-2 \|D s
689	0		\|5 DE-604
689	1	0	\|a Theoretische Informatik \|0 (DE-588)4196735-5 \|D s
689	1		\|5 DE-604
700	1		\|a Konstantinidis, Stavros \|e Sonstige \|0 (DE-588)103874797X \|4 oth
711	2		\|a CIAA \|n 18 \|d 2013 \|c Halifax, Nova Scotia \|j Sonstige \|0 (DE-588)1038747503 \|4 oth
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe, Paperback \|z 978-3-642-39273-3
830		0	\|a Lecture notes in computer science \|v 7982 \|w (DE-604)BV014880109 \|9 7982
856	4	0	\|u https://doi.org/10.1007/978-3-642-39274-0 \|x Verlag \|3 Volltext
856	4	2	\|m Springer Fremddatenuebernahme \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026864798&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
856	4	2	\|m Springer Fremddatenuebernahme \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026864798&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA \|3 Abstract
912			\|a ZDB-2-SCS
912			\|a ZDB-2-LNC
943	1		\|a oai:aleph.bib-bvb.de:BVB01-026864798

Datensatz im Suchindex

_version_	1820875524604428288
adam_text	IMPLEMENTATION AND APPLICATION OF AUTOMATA / : 2013 TABLE OF CONTENTS / INHALTSVERZEICHNIS COMPLEXITY OF AUTOMATA COMPRESSED AUTOMATA COUNTER AUTOMATA DICTIONARY MATCHING EDIT DISTANCE HOMING SEQUENCES IMPLEMENTATION MINIMIZATION OF AUTOMATA MODEL CHECKING PARSING OF REGULAR EXPRESSIONS PARTIAL WORD AUTOMATA PICTURE LANGUAGES PUSHDOWN AUTOMATA QUEUE AUTOMATA REACHABILITY ANALYSIS FOR SOFTWARE VERIFICATION RESTARTING AUTOMATA TRANSDUCERS TREE AUTOMATA WEIGHTED AUTOMATA XML STREAMS DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT. IMPLEMENTATION AND APPLICATION OF AUTOMATA / : 2013 ABSTRACT / INHALTSTEXT THIS BOOK CONSTITUTES THE THOROUGHLY REFEREED PAPERS OF THE 18TH INTERNATIONAL CONFERENCE ON IMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2013, HELD IN HALIFAX, NS, CANADA, IN JULY 2013. THE 25 REVISED FULL PAPERS PRESENTED TOGETHER WITH 3 INVITED PAPERS AND 7 SHORT PAPERS WERE CAREFULLY SELECTED FROM 43 SUBMISSIONS. THE PAPERS COVER VARIOUS TOPICS SUCH AS COMPLEXITY OF AUTOMATA; COMPRESSED AUTOMATA; COUNTER AUTOMATA; DICTIONARY MATCHING; EDIT DISTANCE; HOMING SEQUENCES; IMPLEMENTATION; MINIMIZATION OF AUTOMATA; MODEL CHECKING; PARSING OF REGULAR EXPRESSIONS; PARTIAL WORD AUTOMATA; PICTURE LANGUAGES; PUSHDOWN AUTOMATA; QUEUE AUTOMATA; REACHABILITY ANALYSIS FOR SOFTWARE VERIFICATION; RESTARTING AUTOMATA; TRANSDUCERS; TREE AUTOMATA; WEIGHTED AUTOMATA; XML STREAMS DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
any_adam_object	1
author_GND	(DE-588)103874797X
building	Verbundindex
bvnumber	BV041417649
classification_rvk	SS 4800
classification_tum	DAT 550f DAT 000 DAT 500f
collection	ZDB-2-SCS ZDB-2-LNC
ctrlnum	(OCoLC)858013938 (DE-599)BVBBV041417649
dewey-full	004.0151
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	004 - Computer science
dewey-raw	004.0151
dewey-search	004.0151
dewey-sort	14.0151
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
doi_str_mv	10.1007/978-3-642-39274-0
format	Electronic Conference Proceeding eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV041417649</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140307</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">131115s2013 gw o\|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642392733</subfield><subfield code="9">3-642-39273-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642392740</subfield><subfield code="9">978-3-642-39274-0</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-39274-0</subfield><subfield code="2">doi</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642392733</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 86290345</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)858013938</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV041417649</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.0151</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 550f</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="084" ind1=" " ind2=" "><subfield code="a">DAT 500f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Implementation and application of automata</subfield><subfield code="b">18th international conference, CIAA 2013, Halifax, NS, Canada, July 16 - 19, 2013 ; proceedings</subfield><subfield code="c">Stavros Konstantinidis (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XIII, 358 S.)</subfield><subfield code="c">graph. Darst.</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">7982</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">Automat</subfield><subfield code="g">Automatentheorie</subfield><subfield code="0">(DE-588)4831958-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2013</subfield><subfield code="z">Halifax Nova Scotia</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Automat</subfield><subfield code="g">Automatentheorie</subfield><subfield code="0">(DE-588)4831958-2</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">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</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">Konstantinidis, Stavros</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)103874797X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">CIAA</subfield><subfield code="n">18</subfield><subfield code="d">2013</subfield><subfield code="c">Halifax, Nova Scotia</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1038747503</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe, Paperback</subfield><subfield code="z">978-3-642-39273-3</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">7982</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">7982</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-39274-0</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=026864798&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=026864798&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</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="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-026864798</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2013 Halifax Nova Scotia gnd-content
genre_facet	Konferenzschrift 2013 Halifax Nova Scotia
id	DE-604.BV041417649
illustrated	Not Illustrated
indexdate	2025-01-10T15:17:00Z
institution	BVB
institution_GND	(DE-588)1038747503
isbn	3642392733 9783642392740
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-026864798
oclc_num	858013938
open_access_boolean
owner	DE-473 DE-BY-UBG DE-M347 DE-20 DE-703 DE-Aug4 DE-92 DE-29 DE-859 DE-739 DE-91 DE-BY-TUM DE-706 DE-384 DE-634 DE-355 DE-BY-UBR
owner_facet	DE-473 DE-BY-UBG DE-M347 DE-20 DE-703 DE-Aug4 DE-92 DE-29 DE-859 DE-739 DE-91 DE-BY-TUM DE-706 DE-384 DE-634 DE-355 DE-BY-UBR
physical	1 Online-Ressource (XIII, 358 S.) graph. Darst.
psigel	ZDB-2-SCS ZDB-2-LNC
publishDate	2013
publishDateSearch	2013
publishDateSort	2013
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	Implementation and application of automata 18th international conference, CIAA 2013, Halifax, NS, Canada, July 16 - 19, 2013 ; proceedings Stavros Konstantinidis (ed.) Berlin [u.a.] Springer 2013 1 Online-Ressource (XIII, 358 S.) graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 7982 Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Automat Automatentheorie (DE-588)4831958-2 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2013 Halifax Nova Scotia gnd-content Automat Automatentheorie (DE-588)4831958-2 s DE-604 Theoretische Informatik (DE-588)4196735-5 s Konstantinidis, Stavros Sonstige (DE-588)103874797X oth CIAA 18 2013 Halifax, Nova Scotia Sonstige (DE-588)1038747503 oth Erscheint auch als Druck-Ausgabe, Paperback 978-3-642-39273-3 Lecture notes in computer science 7982 (DE-604)BV014880109 7982 https://doi.org/10.1007/978-3-642-39274-0 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026864798&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026864798&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract
spellingShingle	Implementation and application of automata 18th international conference, CIAA 2013, Halifax, NS, Canada, July 16 - 19, 2013 ; proceedings Lecture notes in computer science Theoretische Informatik (DE-588)4196735-5 gnd Automat Automatentheorie (DE-588)4831958-2 gnd
subject_GND	(DE-588)4196735-5 (DE-588)4831958-2 (DE-588)1071861417
title	Implementation and application of automata 18th international conference, CIAA 2013, Halifax, NS, Canada, July 16 - 19, 2013 ; proceedings
title_auth	Implementation and application of automata 18th international conference, CIAA 2013, Halifax, NS, Canada, July 16 - 19, 2013 ; proceedings
title_exact_search	Implementation and application of automata 18th international conference, CIAA 2013, Halifax, NS, Canada, July 16 - 19, 2013 ; proceedings
title_full	Implementation and application of automata 18th international conference, CIAA 2013, Halifax, NS, Canada, July 16 - 19, 2013 ; proceedings Stavros Konstantinidis (ed.)
title_fullStr	Implementation and application of automata 18th international conference, CIAA 2013, Halifax, NS, Canada, July 16 - 19, 2013 ; proceedings Stavros Konstantinidis (ed.)
title_full_unstemmed	Implementation and application of automata 18th international conference, CIAA 2013, Halifax, NS, Canada, July 16 - 19, 2013 ; proceedings Stavros Konstantinidis (ed.)
title_short	Implementation and application of automata
title_sort	implementation and application of automata 18th international conference ciaa 2013 halifax ns canada july 16 19 2013 proceedings
title_sub	18th international conference, CIAA 2013, Halifax, NS, Canada, July 16 - 19, 2013 ; proceedings
topic	Theoretische Informatik (DE-588)4196735-5 gnd Automat Automatentheorie (DE-588)4831958-2 gnd
topic_facet	Theoretische Informatik Automat Automatentheorie Konferenzschrift 2013 Halifax Nova Scotia
url	https://doi.org/10.1007/978-3-642-39274-0 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026864798&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026864798&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT konstantinidisstavros implementationandapplicationofautomata18thinternationalconferenceciaa2013halifaxnscanadajuly16192013proceedings AT ciaahalifaxnovascotia implementationandapplicationofautomata18thinternationalconferenceciaa2013halifaxnscanadajuly16192013proceedings

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Volltext öffnen

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge