Verfügbarkeit: Algorithms - ESA 2015 | Technische Universität München

Algorithms - ESA 2015: 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings

Gespeichert in:

Bibliographische Detailangaben
Weitere beteiligte Personen:	Bansal, Nikhil (HerausgeberIn)
Format:	Elektronisch Tagungsbericht E-Book
Sprache:	Englisch
Veröffentlicht:	Berlin ; Heidelberg Springer [2015]
Ausgabe:	1st ed.
Schriftenreihe:	Lecture Notes in Computer Science 9294
Schlagwörter:	Computer science Software engineering Programming languages (Electronic computers) Computer logic Mathematical logic Computer science / Mathematics Computer Science Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Discrete Mathematics in Computer Science Software Engineering Mathematical Logic and Formal Languages Informatik Mathematik Algorithmus Konferenzschrift Konferenzschrift > 14.09.2015-16.09.2015 > Patras
Links:	https://doi.org/10.1007/978-3-662-48350-3 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632615&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
Umfang:	XXIII, 1053 Seiten Illustrationen
ISBN:	9783662483503 9783662483497
ISSN:	0302-9743
DOI:	10.1007/978-3-662-48350-3

Internformat

MARC


LEADER	00000nam a2200000zcb4500
001	BV043209454
003	DE-604
005	20170420
007	cr\|uuu---uuuuu
008	151215s2015 xx a\|\|\| o\|\|\|\| 10\|\|\| eng d
020			\|a 9783662483503 \|c Online \|9 978-3-662-48350-3
020			\|a 9783662483497 \|c Print \|9 978-3-662-48349-7
024	7		\|a 10.1007/978-3-662-48350-3 \|2 doi
035			\|a (OCoLC)923642768
035			\|a (DE-599)BVBBV043209454
040			\|a DE-604 \|b ger \|e rda
041	0		\|a eng
049			\|a DE-91 \|a DE-19 \|a DE-384 \|a DE-Aug4 \|a DE-M347 \|a DE-573 \|a DE-859 \|a DE-703 \|a DE-473 \|a DE-29 \|a DE-706 \|a DE-20 \|a DE-739 \|a DE-92 \|a DE-634 \|a DE-860 \|a DE-861 \|a DE-355
082	0		\|a 005.1015113 \|2 23
084			\|a DAT 530f \|2 stub
084			\|a DAT 000 \|2 stub
245	1	0	\|a Algorithms - ESA 2015 \|b 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings \|c edited by Nikhil Bansal, Irene Finocchi
250			\|a 1st ed.
264		1	\|a Berlin ; Heidelberg \|b Springer \|c [2015]
264		4	\|c © 2015
300			\|a XXIII, 1053 Seiten \|b Illustrationen
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	1		\|a Lecture Notes in Computer Science \|v 9294 \|x 0302-9743
650		4	\|a Computer science
650		4	\|a Software engineering
650		4	\|a Programming languages (Electronic computers)
650		4	\|a Computer logic
650		4	\|a Mathematical logic
650		4	\|a Computer science / Mathematics
650		4	\|a Computer Science
650		4	\|a Logics and Meanings of Programs
650		4	\|a Programming Languages, Compilers, Interpreters
650		4	\|a Discrete Mathematics in Computer Science
650		4	\|a Software Engineering
650		4	\|a Mathematical Logic and Formal Languages
650		4	\|a Informatik
650		4	\|a Mathematik
650	0	7	\|a Algorithmus \|0 (DE-588)4001183-5 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|2 gnd-content
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 14.09.2015-16.09.2015 \|z Patras \|2 gnd-content
689	0	0	\|a Algorithmus \|0 (DE-588)4001183-5 \|D s
689	0		\|5 DE-604
700	1		\|a Bansal, Nikhil \|0 (DE-588)1077022794 \|4 edt
711	2		\|a ESA \|n 23. \|d 2015 \|c Patras \|j Sonstige \|0 (DE-588)1077022409 \|4 oth
830		0	\|a Lecture Notes in Computer Science \|v 9294 \|w (DE-604)BV014880109 \|9 9294
856	4	0	\|u https://doi.org/10.1007/978-3-662-48350-3 \|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=028632615&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Abstract
912			\|a ZDB-2-SCS
912			\|a ZDB-2-LNC
940	1		\|q ZDB-2-SCS_2015
940	1		\|q ZDB-2-LNC_2015
943	1		\|a oai:aleph.bib-bvb.de:BVB01-028632615

Datensatz im Suchindex

DE-BY-TUM_katkey	2159945
_version_	1821932394681204736
adam_text	ALGORITHMS - ESA 2015 / : 2015 ABSTRACT / INHALTSTEXT THIS BOOK CONSTITUTES THE REFEREED PROCEEDINGS OF THE 12TH INTERNATIONAL COLLOQUIUM ON THEORETICAL ASPECTS OF COMPUTING, ICTAC 2015, HELD IN CALI, COLOMBIA, IN OCTOBER 2015.THE 25 REVISED FULL PAPERS PRESENTED TOGETHER WITH 7 INVITED TALKS, 3 TOOL PAPERS, AND 2 SHORT PAPERS WERE CAREFULLY REVIEWED AND SELECTED FROM 93 SUBMISSIONS. THE PAPERS COVER VARIOUS TOPICS SUCH AS ALGEBRA AND CATEGORY THEORY; AUTOMATA AND FORMAL LANGUAGES; CONCURRENCY; CONSTRAINTS, LOGIC AND SEMANTIC; SOFTWARE ARCHITECTURE AND COMPONENT-BASED DESIGN; AND VERIFICATION DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
any_adam_object	1
author2	Bansal, Nikhil
author2_role	edt
author2_variant	n b nb
author_GND	(DE-588)1077022794
author_facet	Bansal, Nikhil
building	Verbundindex
bvnumber	BV043209454
classification_tum	DAT 530f DAT 000
collection	ZDB-2-SCS ZDB-2-LNC
ctrlnum	(OCoLC)923642768 (DE-599)BVBBV043209454
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-662-48350-3
edition	1st ed.
format	Electronic Conference Proceeding eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02779nam a2200673zcb4500</leader><controlfield tag="001">BV043209454</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20170420 </controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">151215s2015 xx a\|\|\| o\|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783662483503</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-662-48350-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783662483497</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-662-48349-7</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-662-48350-3</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)923642768</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043209454</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-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-355</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 530f</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="245" ind1="1" ind2="0"><subfield code="a">Algorithms - ESA 2015</subfield><subfield code="b">23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings</subfield><subfield code="c">edited by Nikhil Bansal, Irene Finocchi</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ; Heidelberg</subfield><subfield code="b">Springer</subfield><subfield code="c">[2015]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XXIII, 1053 Seiten</subfield><subfield code="b">Illustrationen</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">9294</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">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">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">Computer science / Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</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">Programming Languages, Compilers, Interpreters</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Discrete Mathematics in Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering</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">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Algorithmus</subfield><subfield code="0">(DE-588)4001183-5</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">14.09.2015-16.09.2015</subfield><subfield code="z">Patras</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Algorithmus</subfield><subfield code="0">(DE-588)4001183-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Bansal, Nikhil</subfield><subfield code="0">(DE-588)1077022794</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ESA</subfield><subfield code="n">23.</subfield><subfield code="d">2015</subfield><subfield code="c">Patras</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1077022409</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">9294</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">9294</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-662-48350-3</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=028632615&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-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_2015</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-LNC_2015</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028632615</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift gnd-content (DE-588)1071861417 Konferenzschrift 14.09.2015-16.09.2015 Patras gnd-content
genre_facet	Konferenzschrift Konferenzschrift 14.09.2015-16.09.2015 Patras
id	DE-604.BV043209454
illustrated	Illustrated
indexdate	2024-12-20T17:31:12Z
institution	BVB
institution_GND	(DE-588)1077022409
isbn	9783662483503 9783662483497
issn	0302-9743
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-028632615
oclc_num	923642768
open_access_boolean
owner	DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-706 DE-20 DE-739 DE-92 DE-634 DE-860 DE-861 DE-355 DE-BY-UBR
owner_facet	DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-706 DE-20 DE-739 DE-92 DE-634 DE-860 DE-861 DE-355 DE-BY-UBR
physical	XXIII, 1053 Seiten Illustrationen
psigel	ZDB-2-SCS ZDB-2-LNC ZDB-2-SCS_2015 ZDB-2-LNC_2015
publishDate	2015
publishDateSearch	2015
publishDateSort	2015
publisher	Springer
record_format	marc
series	Lecture Notes in Computer Science
series2	Lecture Notes in Computer Science
spellingShingle	Algorithms - ESA 2015 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings Lecture Notes in Computer Science Computer science Software engineering Programming languages (Electronic computers) Computer logic Mathematical logic Computer science / Mathematics Computer Science Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Discrete Mathematics in Computer Science Software Engineering Mathematical Logic and Formal Languages Informatik Mathematik Algorithmus (DE-588)4001183-5 gnd
subject_GND	(DE-588)4001183-5 (DE-588)1071861417
title	Algorithms - ESA 2015 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings
title_auth	Algorithms - ESA 2015 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings
title_exact_search	Algorithms - ESA 2015 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings
title_full	Algorithms - ESA 2015 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings edited by Nikhil Bansal, Irene Finocchi
title_fullStr	Algorithms - ESA 2015 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings edited by Nikhil Bansal, Irene Finocchi
title_full_unstemmed	Algorithms - ESA 2015 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings edited by Nikhil Bansal, Irene Finocchi
title_short	Algorithms - ESA 2015
title_sort	algorithms esa 2015 23rd annual european symposium patras greece september 14 16 2015 proceedings
title_sub	23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings
topic	Computer science Software engineering Programming languages (Electronic computers) Computer logic Mathematical logic Computer science / Mathematics Computer Science Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Discrete Mathematics in Computer Science Software Engineering Mathematical Logic and Formal Languages Informatik Mathematik Algorithmus (DE-588)4001183-5 gnd
topic_facet	Computer science Software engineering Programming languages (Electronic computers) Computer logic Mathematical logic Computer science / Mathematics Computer Science Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Discrete Mathematics in Computer Science Software Engineering Mathematical Logic and Formal Languages Informatik Mathematik Algorithmus Konferenzschrift Konferenzschrift 14.09.2015-16.09.2015 Patras
url	https://doi.org/10.1007/978-3-662-48350-3 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632615&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT bansalnikhil algorithmsesa201523rdannualeuropeansymposiumpatrasgreeceseptember14162015proceedings AT esapatras algorithmsesa201523rdannualeuropeansymposiumpatrasgreeceseptember14162015proceedings

Verfügbarkeit

Bestellen (Login erforderlich)

Online lesen