Verfügbarkeit: Theoretical computer science

Theoretical computer science: 8th IFIP TC 1/WG 2.2 international conference, TCS 2014, Rome, Italy, September 1-3, 2014 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Weitere Verfasser:	Díaz, Josep 1950- (HerausgeberIn)
Format:	Elektronisch Tagungsbericht E-Book
Sprache:	English
Veröffentlicht:	Heidelberg [u.a.] Springer 2014
Schriftenreihe:	Lecture notes in computer science 8705
Schlagworte:	Theoretische Informatik Konferenzschrift > 2014 > Rom
Online-Zugang:	BTU01 FHM01 FHN01 FKE01 FRO01 TUM01 UBA01 UBG01 UBT01 UBW01 UBY01 UER01 UPA01 Volltext Inhaltsverzeichnis Abstract
Beschreibung:	1 Online-Ressource (XVI, 354 S.) Ill., graph. Darst.
ISBN:	9783662446027
DOI:	10.1007/978-3-662-44602-7

Internformat

MARC


LEADER	00000nmm a2200000 cb4500
001	BV042088564
003	DE-604
005	00000000000000.0
007	cr\|uuu---uuuuu
008	140924s2014 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d
020			\|a 9783662446027 \|c online \|9 978-3-662-44602-7
024	7		\|a 10.1007/978-3-662-44602-7 \|2 doi
035			\|a (OCoLC)890053980
035			\|a (DE-599)BVBBV042088564
040			\|a DE-604 \|b ger
041	0		\|a eng
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 SS 4800 \|0 (DE-625)143528: \|2 rvk
084			\|a DAT 500f \|2 stub
245	1	0	\|a Theoretical computer science \|b 8th IFIP TC 1/WG 2.2 international conference, TCS 2014, Rome, Italy, September 1-3, 2014 ; proceedings \|c Josep Diaz ... (eds.)
264		1	\|a Heidelberg [u.a.] \|b Springer \|c 2014
300			\|a 1 Online-Ressource (XVI, 354 S.) \|b Ill., 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 8705
650	0	7	\|a Theoretische Informatik \|0 (DE-588)4196735-5 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2014 \|z Rom \|2 gnd-content
689	0	0	\|a Theoretische Informatik \|0 (DE-588)4196735-5 \|D s
689	0		\|5 DE-604
700	1		\|a Díaz, Josep \|d 1950- \|0 (DE-588)115511555 \|4 edt
710	2		\|a International Federation for Information Processing \|e Sonstige \|0 (DE-588)1003417-1 \|4 oth
710	2		\|a International Federation for Information Processing \|b Technical Committee Foundations of Computer Science \|e Sonstige \|0 (DE-588)6074353-0 \|4 oth
711	2		\|a TCS \|n 8 \|d 2014 \|c Rom \|j Sonstige \|0 (DE-588)1058505904 \|4 oth
776	0	8	\|i Erscheint auch als \|n Druckausgabe \|z 978-3-662-44601-0
830		0	\|a Lecture notes in computer science \|v 8705 \|w (DE-604)BV014880109 \|9 8705
856	4	0	\|u https://doi.org/10.1007/978-3-662-44602-7 \|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=027529477&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=027529477&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA \|3 Abstract
912			\|a ZDB-2-LNC
999			\|a oai:aleph.bib-bvb.de:BVB01-027529477
966	e		\|u https://doi.org/10.1007/978-3-662-44602-7 \|l BTU01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-44602-7 \|l FHM01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-44602-7 \|l FHN01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-44602-7 \|l FKE01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-44602-7 \|l FRO01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-44602-7 \|l TUM01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-44602-7 \|l UBA01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-44602-7 \|l UBG01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-44602-7 \|l UBT01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-44602-7 \|l UBW01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-44602-7 \|l UBY01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-44602-7 \|l UER01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-44602-7 \|l UPA01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext

Datensatz im Suchindex

_version_	1804152544559104000
adam_text	THEORETICAL COMPUTER SCIENCE / : 2014 TABLE OF CONTENTS / INHALTSVERZEICHNIS ZERO-SUPPRESSED BINARY DECISION DIAGRAMS RESILIENT TO INDEX FAULTS ON PARTIAL VERTEX COVER AND BUDGETED MAXIMUM COVERAGE PROBLEMS IN BIPARTITE GRAPHS PERFECT PIPELINING FOR STREAMING LARGE FILE IN PEER-TO-PEER NETWORKS THE SHORTEST PATH GAME: COMPLEXITY AND ALGORITHMS ONLINE SCHEDULING OF UNIT LENGTH JOBS WITH COMMITMENT AND PENALTIES THE LAZY MATROID PROBLEM TREEWIDTH COMPUTATION AND KERNELIZATION IN THE PARALLEL EXTERNAL MEMORY MODEL CAPTURING BISIMULATION-INVARIANT COMPLEXITY CLASSES WITH HIGHER-ORDER MODAL FIXPOINT LOGIC SENSITIVITY, BLOCK SENSITIVITY, AND CERTIFICATE COMPLEXITY OF UNATE FUNCTIONS AND READ-ONCE FUNCTIONS SUBSHIFTS, MSO LOGIC, AND COLLAPSING HIERARCHIES FAST NONDETERMINISTIC MATRIX MULTIPLICATION VIA DERANDOMIZATION OF FREIVALDS’ ALGORITHM NOT ALL MULTI-VALUED PARTIAL CFL FUNCTIONS ARE REFINED BY SINGLE-VALUED FUNCTIONS CHARACTERIZING POLYNOMIAL AND EXPONENTIAL COMPLEXITY CLASSES IN ELEMENTARY LAMBDA-CALCULUS A HOARE-LIKE CALCULUS USING THE SROIQΣ LOGIC ON TRANSFORMATIONS OF GRAPHS TERMINATION ANALYSIS FOR GRAPH TRANSFORMATION SYSTEMS TROPICAL TWO-WAY AUTOMATA PARAMETRIC LTL ON MARKOV CHAINS SPECIFYING AND VERIFYING PROPERTIES OF SPACE PRIMAL INFON LOGIC WITH CONJUNCTIONS AS SETS FROM DISPLAY CALCULI TO DEEP NESTED SEQUENT CALCULI: FORMALISED FOR FULL INTUITIONISTIC LINEAR LOGIC TOWARDS A COALGEBRAIC CHOMSKY HIERARCHY (EXTENDED ABSTRACT) STRONG COMPLETENESS FOR ITERATION-FREE COALGEBRAIC DYNAMIC LOGICS QUANTITATIVE TYPES FOR THE LINEAR SUBSTITUTION CALCULUS GENERIC PARTITION REFINEMENT ALGORITHMS FOR COALGEBRAS AND AN INSTANTIATION TO WEIGHTED AUTOMATA LOOKING AT SEPARATION ALGEBRAS WITH BOOLEAN BI-EYES THE INHABITATION PROBLEM FOR NON-IDEMPOTENT INTERSECTION TYPES DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT. THEORETICAL COMPUTER SCIENCE / : 2014 ABSTRACT / INHALTSTEXT THIS BOOK CONSTITUTES THE REFEREED PROCEEDINGS OF THE 8TH FIP WG 2.2 INTERNATIONAL CONFERENCE, TCS 2014, HELD IN ROME, ITALY, IN SEPTEMBER 2014. THE 26 REVISED FULL PAPERS PRESENTED, TOGETHER WITH TWO INVITED TALKS, WERE CAREFULLY REVIEWED AND SELECTED FROM 73 SUBMISSIONS. [SUGGESTION PLEASE CHECK AND ADD MORE IF NEEDED] TCS-2014 CONSISTED OF TWO TRACKS, WITH SEPARATE PROGRAM COMMITTEES, WHICH DEALT RESPECTIVELY WITH: - TRACK A: ALGORITHMS, COMPLEXITY AND MODELS OF COMPUTATION, AND - TRACK B: LOGIC, SEMANTICS, SPECIFICATION AND VERIFICATION DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
any_adam_object	1
author2	Díaz, Josep 1950-
author2_role	edt
author2_variant	j d jd
author_GND	(DE-588)115511555
author_facet	Díaz, Josep 1950-
building	Verbundindex
bvnumber	BV042088564
classification_rvk	SS 4800
classification_tum	DAT 500f
collection	ZDB-2-LNC
ctrlnum	(OCoLC)890053980 (DE-599)BVBBV042088564
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-662-44602-7
format	Electronic Conference Proceeding eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03707nmm a2200625 cb4500</leader><controlfield tag="001">BV042088564</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">140924s2014 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783662446027</subfield><subfield code="c">online</subfield><subfield code="9">978-3-662-44602-7</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-662-44602-7</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)890053980</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042088564</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</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">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 500f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Theoretical computer science</subfield><subfield code="b">8th IFIP TC 1/WG 2.2 international conference, TCS 2014, Rome, Italy, September 1-3, 2014 ; proceedings</subfield><subfield code="c">Josep Diaz ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Heidelberg [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 (XVI, 354 S.)</subfield><subfield code="b">Ill., 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">8705</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2014</subfield><subfield code="z">Rom</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="700" ind1="1" ind2=" "><subfield code="a">Díaz, Josep</subfield><subfield code="d">1950-</subfield><subfield code="0">(DE-588)115511555</subfield><subfield code="4">edt</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">International Federation for Information Processing</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1003417-1</subfield><subfield code="4">oth</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">International Federation for Information Processing</subfield><subfield code="b">Technical Committee Foundations of Computer Science</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)6074353-0</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">TCS</subfield><subfield code="n">8</subfield><subfield code="d">2014</subfield><subfield code="c">Rom</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1058505904</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druckausgabe</subfield><subfield code="z">978-3-662-44601-0</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">8705</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">8705</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-662-44602-7</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=027529477&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=027529477&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-LNC</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027529477</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-44602-7</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-662-44602-7</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-662-44602-7</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-662-44602-7</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-662-44602-7</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-662-44602-7</subfield><subfield code="l">TUM01</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-662-44602-7</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-662-44602-7</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-662-44602-7</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-662-44602-7</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-662-44602-7</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-662-44602-7</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-662-44602-7</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 2014 Rom gnd-content
genre_facet	Konferenzschrift 2014 Rom
id	DE-604.BV042088564
illustrated	Illustrated
indexdate	2024-07-10T01:12:24Z
institution	BVB
institution_GND	(DE-588)1003417-1 (DE-588)6074353-0 (DE-588)1058505904
isbn	9783662446027
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-027529477
oclc_num	890053980
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 (XVI, 354 S.) Ill., graph. Darst.
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
spelling	Theoretical computer science 8th IFIP TC 1/WG 2.2 international conference, TCS 2014, Rome, Italy, September 1-3, 2014 ; proceedings Josep Diaz ... (eds.) Heidelberg [u.a.] Springer 2014 1 Online-Ressource (XVI, 354 S.) Ill., graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 8705 Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2014 Rom gnd-content Theoretische Informatik (DE-588)4196735-5 s DE-604 Díaz, Josep 1950- (DE-588)115511555 edt International Federation for Information Processing Sonstige (DE-588)1003417-1 oth International Federation for Information Processing Technical Committee Foundations of Computer Science Sonstige (DE-588)6074353-0 oth TCS 8 2014 Rom Sonstige (DE-588)1058505904 oth Erscheint auch als Druckausgabe 978-3-662-44601-0 Lecture notes in computer science 8705 (DE-604)BV014880109 8705 https://doi.org/10.1007/978-3-662-44602-7 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027529477&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=027529477&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract
spellingShingle	Theoretical computer science 8th IFIP TC 1/WG 2.2 international conference, TCS 2014, Rome, Italy, September 1-3, 2014 ; proceedings Lecture notes in computer science Theoretische Informatik (DE-588)4196735-5 gnd
subject_GND	(DE-588)4196735-5 (DE-588)1071861417
title	Theoretical computer science 8th IFIP TC 1/WG 2.2 international conference, TCS 2014, Rome, Italy, September 1-3, 2014 ; proceedings
title_auth	Theoretical computer science 8th IFIP TC 1/WG 2.2 international conference, TCS 2014, Rome, Italy, September 1-3, 2014 ; proceedings
title_exact_search	Theoretical computer science 8th IFIP TC 1/WG 2.2 international conference, TCS 2014, Rome, Italy, September 1-3, 2014 ; proceedings
title_full	Theoretical computer science 8th IFIP TC 1/WG 2.2 international conference, TCS 2014, Rome, Italy, September 1-3, 2014 ; proceedings Josep Diaz ... (eds.)
title_fullStr	Theoretical computer science 8th IFIP TC 1/WG 2.2 international conference, TCS 2014, Rome, Italy, September 1-3, 2014 ; proceedings Josep Diaz ... (eds.)
title_full_unstemmed	Theoretical computer science 8th IFIP TC 1/WG 2.2 international conference, TCS 2014, Rome, Italy, September 1-3, 2014 ; proceedings Josep Diaz ... (eds.)
title_short	Theoretical computer science
title_sort	theoretical computer science 8th ifip tc 1 wg 2 2 international conference tcs 2014 rome italy september 1 3 2014 proceedings
title_sub	8th IFIP TC 1/WG 2.2 international conference, TCS 2014, Rome, Italy, September 1-3, 2014 ; proceedings
topic	Theoretische Informatik (DE-588)4196735-5 gnd
topic_facet	Theoretische Informatik Konferenzschrift 2014 Rom
url	https://doi.org/10.1007/978-3-662-44602-7 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027529477&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=027529477&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT diazjosep theoreticalcomputerscience8thifiptc1wg22internationalconferencetcs2014romeitalyseptember132014proceedings AT internationalfederationforinformationprocessing theoreticalcomputerscience8thifiptc1wg22internationalconferencetcs2014romeitalyseptember132014proceedings AT internationalfederationforinformationprocessingtechnicalcommitteefoundationsofcomputerscience theoreticalcomputerscience8thifiptc1wg22internationalconferencetcs2014romeitalyseptember132014proceedings AT tcsrom theoreticalcomputerscience8thifiptc1wg22internationalconferencetcs2014romeitalyseptember132014proceedings

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