Availability: Implementation and application of automata

Implementation and application of automata: 19th international conference, CIAA 2014, Giessen, Germany, July 30 - August 2, 2014 ; proceedings

Saved in:

Bibliographic Details
Other Authors:	Holzer, Markus (Editor)
Format:	Electronic Conference Proceedings eBook
Language:	English
Published:	Cham [u.a.] Springer 2014
Series:	Lecture notes in computer science 8587
Subjects:	Theoretische Informatik Automat > Automatentheorie Konferenzschrift > 2014 > Gießen
Links:	https://doi.org/10.1007/978-3-319-08846-4 https://doi.org/10.1007/978-3-319-08846-4 https://doi.org/10.1007/978-3-319-08846-4 https://doi.org/10.1007/978-3-319-08846-4 https://doi.org/10.1007/978-3-319-08846-4 https://doi.org/10.1007/978-3-319-08846-4 https://doi.org/10.1007/978-3-319-08846-4 https://doi.org/10.1007/978-3-319-08846-4 https://doi.org/10.1007/978-3-319-08846-4 https://doi.org/10.1007/978-3-319-08846-4 https://doi.org/10.1007/978-3-319-08846-4 https://doi.org/10.1007/978-3-319-08846-4 https://doi.org/10.1007/978-3-319-08846-4 https://doi.org/10.1007/978-3-319-08846-4 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027545773&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
Physical Description:	1 Online-Ressource (X, 345 S.) 235 mm x 155 mm
ISBN:	3319088459 9783319088464
DOI:	10.1007/978-3-319-08846-4

Staff View

MARC


LEADER	00000nam a2200000 cb4500
001	BV042105236
003	DE-604
007	cr\|uuu---uuuuu
008	141007s2014 sz o\|\|\|\| 10\|\|\| eng d
020			\|a 3319088459 \|9 3-319-08845-9
020			\|a 9783319088464 \|9 978-3-319-08846-4
024	7		\|a 10.1007/978-3-319-08846-4 \|2 doi
024	3		\|a 9783319088457
028	5	2	\|a Best.-Nr.: 86374683
035			\|a (OCoLC)885793109
035			\|a (DE-599)BVBBV042105236
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
044			\|a sz \|c XA-CH
049			\|a DE-473 \|a DE-20 \|a DE-91 \|a DE-706 \|a DE-739 \|a DE-384 \|a DE-M347 \|a DE-703 \|a DE-29 \|a DE-92 \|a DE-859 \|a DE-861 \|a DE-634
082	0		\|a 004
084			\|a 004 \|2 sdnb
084			\|a DAT 550f \|2 stub
084			\|a DAT 500f \|2 stub
245	1	0	\|a Implementation and application of automata \|b 19th international conference, CIAA 2014, Giessen, Germany, July 30 - August 2, 2014 ; proceedings \|c Markus Holzer ... (eds.)
264		1	\|a Cham [u.a.] \|b Springer \|c 2014
300			\|a 1 Online-Ressource (X, 345 S.) \|c 235 mm x 155 mm
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	1		\|a Lecture notes in computer science \|v 8587
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 2014 \|z Gießen \|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 Holzer, Markus \|0 (DE-588)134200810 \|4 edt
711	2		\|a CIAA \|n 19 \|d 2014 \|c Gießen \|j Sonstige \|0 (DE-588)1058558218 \|4 oth
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe, Paperback \|z 978-3-319-08845-7
830		0	\|a Lecture notes in computer science \|v 8587 \|w (DE-604)BV014880109 \|9 8587
856	4	0	\|u https://doi.org/10.1007/978-3-319-08846-4 \|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=027545773&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Abstract
912			\|a ZDB-2-LNC
943	1		\|a oai:aleph.bib-bvb.de:BVB01-027545773
966	e		\|u https://doi.org/10.1007/978-3-319-08846-4 \|l DE-634 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-08846-4 \|l DE-M347 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-08846-4 \|l DE-92 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-08846-4 \|l DE-859 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-08846-4 \|l DE-861 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-08846-4 \|l DE-91 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-08846-4 \|l DE-384 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-08846-4 \|l DE-473 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-08846-4 \|l DE-703 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-08846-4 \|l DE-20 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-08846-4 \|l DE-706 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-08846-4 \|l DE-29 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-08846-4 \|l DE-739 \|p ZDB-2-LNC \|x Verlag \|3 Volltext

Record in the Search Index

DE-BY-TUM_katkey	2028410
_version_	1821935264542490624
adam_text	IMPLEMENTATION AND APPLICATION OF AUTOMATA / : 2014 ABSTRACT / INHALTSTEXT THIS BOOK CONSTITUTES THE REFEREED PROCEEDINGS OF THE 19TH INTERNATIONAL CONFERENCE ON IMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2014, HELD IN GIESSEN, GERMANY, IN JULY/AUGUST 2014. THE 21 REVISED FULL PAPERS PRESENTED TOGETHER WITH 4 INVITED PAPERS WERE CAREFULLY SELECTED FROM 36 SUBMISSIONS. THE PAPERS COVER ALL ASPECTS OF IMPLEMENTATION, APPLICATION, AND THEORY OF AUTOMATA AND RELATED STRUCTURES SUCH AS ALGORITHMS ON AUTOMATA, AUTOMATA AND LOGIC, BIOINFORMATICS, COMPLEXITY OF AUTOMATA OPERATIONS, COMPILERS, COMPUTER-AIDED VERIFICATION, CONCURRENCY, DATA STRUCTURE DESIGN FOR AUTOMATA, DATA AND IMAGE COMPRESSION, DESIGN AND ARCHITECTURE OF AUTOMATA SOFTWARE, DIGITAL LIBRARIES, DNA/MOLECULAR/MEMBRANE COMPUTING, DOCUMENT ENGINEERING, EDITORS, ENVIRONMENTS, EXPERIMENTAL STUDIES AND PRACTICAL EXPERIENCE, IMPLEMENTATION OF VERIFICATION METHODS AND MODEL CHECKING, INDUSTRIAL APPLICATIONS, NATURAL LANGUAGE AND SPEECH PROCESSING, NETWORKING, NEW ALGORITHMS FOR MANIPULATING AUTOMATA, OBJECT-ORIENTED MODELING, PATTERN-MATCHING, PUSHDOWN AUTOMATA AND CONTEXT-FREE GRAMMARS, QUANTUM COMPUTING, STRUCTURED AND SEMI-STRUCTURED DOCUMENTS, SYMBOLIC MANIPULATION ENVIRONMENTS FOR AUTOMATA, TRANSDUCERS AND MULTI-TAPE AUTOMATA, TECHNIQUES FOR GRAPHICAL DISPLAY OF AUTOMATA, VLSI, VIRUSES AND RELATED PHENOMENA, AND WORLD-WIDE WEB DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
any_adam_object	1
author2	Holzer, Markus
author2_role	edt
author2_variant	m h mh
author_GND	(DE-588)134200810
author_facet	Holzer, Markus
building	Verbundindex
bvnumber	BV042105236
classification_rvk	SS 4800
classification_tum	DAT 550f DAT 500f
collection	ZDB-2-LNC
ctrlnum	(OCoLC)885793109 (DE-599)BVBBV042105236
dewey-full	004
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	004 - Computer science
dewey-raw	004
dewey-search	004
dewey-sort	14
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
doi_str_mv	10.1007/978-3-319-08846-4
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">BV042105236</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">141007s2014 sz o\|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3319088459</subfield><subfield code="9">3-319-08845-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319088464</subfield><subfield code="9">978-3-319-08846-4</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-08846-4</subfield><subfield code="2">doi</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783319088457</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 86374683</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)885793109</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042105236</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">sz</subfield><subfield code="c">XA-CH</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</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 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">19th international conference, CIAA 2014, Giessen, Germany, July 30 - August 2, 2014 ; proceedings</subfield><subfield code="c">Markus Holzer ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2014</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (X, 345 S.)</subfield><subfield code="c">235 mm x 155 mm</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">8587</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">2014</subfield><subfield code="z">Gießen</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">Holzer, Markus</subfield><subfield code="0">(DE-588)134200810</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">CIAA</subfield><subfield code="n">19</subfield><subfield code="d">2014</subfield><subfield code="c">Gießen</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1058558218</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-319-08845-7</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">8587</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">8587</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-08846-4</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=027545773&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</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-027545773</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-08846-4</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-319-08846-4</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-319-08846-4</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-319-08846-4</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-319-08846-4</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-319-08846-4</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-319-08846-4</subfield><subfield code="l">DE-384</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-08846-4</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-319-08846-4</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-319-08846-4</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-319-08846-4</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-319-08846-4</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-319-08846-4</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 2014 Gießen gnd-content
genre_facet	Konferenzschrift 2014 Gießen
id	DE-604.BV042105236
illustrated	Not Illustrated
indexdate	2025-01-11T19:07:20Z
institution	BVB
institution_GND	(DE-588)1058558218
isbn	3319088459 9783319088464
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-027545773
oclc_num	885793109
open_access_boolean
owner	DE-473 DE-BY-UBG DE-20 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-M347 DE-703 DE-29 DE-92 DE-859 DE-861 DE-634
owner_facet	DE-473 DE-BY-UBG DE-20 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-M347 DE-703 DE-29 DE-92 DE-859 DE-861 DE-634
physical	1 Online-Ressource (X, 345 S.) 235 mm x 155 mm
psigel	ZDB-2-LNC
publishDate	2014
publishDateSearch	2014
publishDateSort	2014
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spellingShingle	Implementation and application of automata 19th international conference, CIAA 2014, Giessen, Germany, July 30 - August 2, 2014 ; 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 19th international conference, CIAA 2014, Giessen, Germany, July 30 - August 2, 2014 ; proceedings
title_auth	Implementation and application of automata 19th international conference, CIAA 2014, Giessen, Germany, July 30 - August 2, 2014 ; proceedings
title_exact_search	Implementation and application of automata 19th international conference, CIAA 2014, Giessen, Germany, July 30 - August 2, 2014 ; proceedings
title_full	Implementation and application of automata 19th international conference, CIAA 2014, Giessen, Germany, July 30 - August 2, 2014 ; proceedings Markus Holzer ... (eds.)
title_fullStr	Implementation and application of automata 19th international conference, CIAA 2014, Giessen, Germany, July 30 - August 2, 2014 ; proceedings Markus Holzer ... (eds.)
title_full_unstemmed	Implementation and application of automata 19th international conference, CIAA 2014, Giessen, Germany, July 30 - August 2, 2014 ; proceedings Markus Holzer ... (eds.)
title_short	Implementation and application of automata
title_sort	implementation and application of automata 19th international conference ciaa 2014 giessen germany july 30 august 2 2014 proceedings
title_sub	19th international conference, CIAA 2014, Giessen, Germany, July 30 - August 2, 2014 ; proceedings
topic	Theoretische Informatik (DE-588)4196735-5 gnd Automat Automatentheorie (DE-588)4831958-2 gnd
topic_facet	Theoretische Informatik Automat Automatentheorie Konferenzschrift 2014 Gießen
url	https://doi.org/10.1007/978-3-319-08846-4 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027545773&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT holzermarkus implementationandapplicationofautomata19thinternationalconferenceciaa2014giessengermanyjuly30august22014proceedings AT ciaagießen implementationandapplicationofautomata19thinternationalconferenceciaa2014giessengermanyjuly30august22014proceedings

Availability

Order (Login required)

Read online