Verfügbarkeit: Mathematical foundations of computer science 2001

Mathematical foundations of computer science 2001: 26th international symposium, MFCS 2001, Mariánské Lázn e, Czech Republic, August 27 - 31, 2001 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Format:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London Springer 2001
Schriftenreihe:	Lecture notes in computer science 2136
Schlagworte:	Informatik Mathematik Computer science > Mathematics > Congresses Theoretische Informatik Datenverarbeitung Konferenzschrift > 2001 > Marienbad
Online-Zugang:	Inhaltsverzeichnis
Beschreibung:	XII, 716 S.
ISBN:	3540424962

Internformat

MARC


LEADER	00000nam a22000008cb4500
001	BV013865842
003	DE-604
005	20011002
007	t
008	010807s2001 gw \|\|\|\| 10\|\|\| eng d
016	7		\|a 962079359 \|2 DE-101
020			\|a 3540424962 \|9 3-540-42496-2
035			\|a (OCoLC)48721282
035			\|a (DE-599)BVBBV013865842
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
044			\|a gw \|c DE
049			\|a DE-91G \|a DE-384 \|a DE-739 \|a DE-29T \|a DE-824 \|a DE-20 \|a DE-521 \|a DE-83 \|a DE-188 \|a DE-706
050		0	\|a QA76.9.M35S96 2001
082	0		\|a 004/.01/51 21
084			\|a SS 2001 \|0 (DE-625)143438: \|2 rvk
084			\|a SS 4800 \|0 (DE-625)143528: \|2 rvk
084			\|a 28 \|2 sdnb
084			\|a DAT 500f \|2 stub
084			\|a 27 \|2 sdnb
245	1	0	\|a Mathematical foundations of computer science 2001 \|b 26th international symposium, MFCS 2001, Mariánské Lázn e, Czech Republic, August 27 - 31, 2001 ; proceedings \|c Jiří Sgall ... (ed.)
264		1	\|a Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London \|b Springer \|c 2001
300			\|a XII, 716 S.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Lecture notes in computer science \|v 2136
650		4	\|a Informatik
650		4	\|a Mathematik
650		4	\|a Computer science -- Mathematics -- Congresses
650	0	7	\|a Theoretische Informatik \|0 (DE-588)4196735-5 \|2 gnd \|9 rswk-swf
650	0	7	\|a Mathematik \|0 (DE-588)4037944-9 \|2 gnd \|9 rswk-swf
650	0	7	\|a Datenverarbeitung \|0 (DE-588)4011152-0 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2001 \|z Marienbad \|2 gnd-content
689	0	0	\|a Mathematik \|0 (DE-588)4037944-9 \|D s
689	0	1	\|a Datenverarbeitung \|0 (DE-588)4011152-0 \|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 Sgall, Jiří \|d 1965- \|e Sonstige \|0 (DE-588)114162271 \|4 oth
711	2		\|a MFCS \|n 26 \|d 2001 \|c Marienbad \|j Sonstige \|0 (DE-588)10024680-1 \|4 oth
830		0	\|a Lecture notes in computer science \|v 2136 \|w (DE-604)BV000000607 \|9 2136
856	4	2	\|m GBV Datenaustausch \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009484544&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
999			\|a oai:aleph.bib-bvb.de:BVB01-009484544

Datensatz im Suchindex

_version_	1804128701039771648
adam_text	JIRI SGALL ALES PULTR PETR KOLMAN (EDS.) MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2001 26TH INTERNATIONAL SYMPOSIUM, MFCS 2001 MARIAENSKE LAZNE, CZECH REPUBLIC, AUGUST 27-31, 2001 PROCEEDINGS SSAE SPRINGER TABLE OF CONTENTS INVITED TALKS A NEW CATEGORY FOR SEMANTICS 1 DANA S. SCOTT ON IMPLICATIONS BETWEEN P-NP-HYPOTHESES: DECISION VERSUS COMPUTATION IN ALGEBRAIC COMPLEXITY 3 PETER BUERGISSER PLAYING GAMES WITH ALGORITHMS: ALGORITHMIC COMBINATORIAL GAME THEORY 18 ERIK D. DEMAINE SOME RECENT RESULTS ON DATA MINING AND SEARCH 33 ARNOS FIAT HYPERTREE DECOMPOSITIONS: A SURVEY 37 GEORG GOTTLOB, NICOLA LEONE, AND FRANCESCO SCARCELLO THE STRENGTH OF NON-SIZE-INCREASING COMPUTATION (INTRODUCTION AND SUMMARY) 58 MARTIN HOFMANN INTRODUCTION TO RECENT QUANTUM ALGORITHMS 62 PETER H0YER DECOMPOSITION METHODS AND SAMPLING CIRCUITS IN THE CARTESIAN LATTICE * 74 DANA RANDALL NEW ALGORITHMS FOR FC-SAT BASED ON THE LOCAL SEARCH PRINCIPLE 87 UWE SCHOENING LINEAR TEMPORAL LOGIC AND FINITE SEMIGROUPS 96 THOMAS WUEKE CONTRIBUTED TALKS REFINED SEARCH TREE TECHNIQUE FOR DOMINATING SET ON PLANAR GRAPHS ... 111 JOCHEN ALBER, HONGHING FAN, MICHAEL R. FELLOWS, HENNING FERNAU, ROLF NIEDERMEIER, FRAN ROSAMOND, AND ULRIKE STEGE THE COMPUTATIONAL POWER OF A FAMILY OF DECISION FORESTS 123 KAZUYUKI AMANO, TSUKURU HIROSAWA, YUSUKE WATANABE, AND AKIRA MARUOKA EXACT RESULTS FOR ACCEPTING PROBABILITIES OF QUANTUM AUTOMATA 135 ANDRIS AMBAINIS AND ARNOLDS IFIKUSTS X TABLE OF CONTENTS IMPROVED BOUNDS ON THE WEAK PIGEONHOLE PRINCIPLE AND INFINITELY MANY PRIMES FROM WEAKER AXIOMS 148 ALBERT ATSERIAS ANALYSIS PROBLEMS FOR SEQUENTIAL DYNAMICAL SYSTEMS AND COMMUNICATING STATE MACHINES 159 CHRIS BARRETT, HARRY B. HUNT III, MADHAV V. MARATHE, S. S. RAVI, DANIEL J. ROSENKRANTZ, AND RICHARD E. STEARNS THE COMPLEXITY OF TENSOR CIRCUIT EVALUATION (EXTENDED ABSTRACT) 173 MARTIN BEAUDRY AND MARKUS HOLZER COMPUTING RECIPROCALS OF BIVARIATE POWER SERIES 186 MARKUS BLAESER AUTOMATIC VERIFICATION OF RECURSIVE PROCEDURES WITH ONE INTEGER PARAMETER 198 AHMED BOUAJJANI, PETER HABERMEHL, AND RICHARD MAYR GRAPH-DRIVEN FREE PARITY BDDS: ALGORITHMS AND LOWER BOUNDS 212 HENRIK BROSENNE, MATTHIAS HOMEISTER, AND STEPHAN WAACK COMPUTABLE VERSIONS OF BAIRE S CATEGORY THEOREM 224 VASCO BRATTKA AUTOMATA ON LINEAR ORDERINGS 236 VERONIQUE BRUYERE AND OLIVIER CARTON ALGORITHMIC INFORMATION THEORY AND CELLULAR AUTOMATA DYNAMICS 248 JULIEN CERVELLE. BRUNO DURAND, AND ENRICO FORMENTI THE FC-MEDIAN PROBLEM FOR DIRECTED TREES (EXTENDED ABSTRACT) 260 MAREK CHROBAK, LAWRENCE L. LARMORE, AND WOJCIECH RYTTER ON PSEUDORANDOM GENERATORS IN NC 0 272 MARY CRYAN AND PETER BRO MILTERSEN THERE ARE NO SPARSE NP^-HARD SETS 285 FELIPE CUCKER AND DIMA GRIGORIEV SHARING ONE SECRET VS. SHARING MANY SECRETS: TIGHT BOUNDS FOR THE MAX IMPROVEMENT RATIO 292 GIOVANNI DI CRESCENZO (H, C, AE^-COLORING: FAST, EASY, AND HARD CASES 304 JOSEP DIAZ, MARIA SERNA, AND DIMITRIOS M. THUEIKOS RANDOMNESS AND REDUCIBILITY 316 ROD G. DOWNEY, DENIS R. HIRSCHFELDT, AND GEOFF LAFORTE ON THE COMPUTATIONAL COMPLEXITY OF INFINITE WORDS 328 PAVOL DURIS AND JAN MANUCH LOWER BOUNDS FOR ON-LINE SINGLE-MACHINE SCHEDULING 338 LEAH EPSTEIN AND ROB VAN STEE TABTE OF CONTENTS XI APPROXIMATION ALGORITHMS AND COMPLEXITY RESULTS FOR PATH PROBLEMS IN TREES OF RINGS 351 THOMAS ERLEBACH A 3-APPROXIMATION ALGORITHM FOR MOVEMENT MINIMIZATION IN CONVEYOR FLOW SHOP PROCESSING 363 WOLF GANG ESPELAGE AND EGON WANKE QUANTIFIER RANK FOR PARITY OF EMBEDDED FINITE MODELS 375 HERVE FOURNIER SPACE HIERARCHY THEOREM REVISED 387 VILIAM GEFFERT CONVERTING TWO-WAY NONDETERMINISTIC UNARY AUTOMATA INTO SIMPLER AUTOMATA 398 VILIAM GEFFERT, CARLO MEREGHETTI, AND GIOVANNI PIGHIZZINI THE COMPLEXITY OF THE MINIMAL POLYNOMIAL 408 THANH MINH HOANG AND THOMAS THIERAUF NOTE ON MINIMAL FINITE AUTOMATA 421 GALINA JIRDSKOVD SYNCHRONIZING FINITE AUTOMATA ON EULERIAN DIGRAPHS 432 JARKKO KARI A TIME HIERARCHY FOR BOUNDED ONE-WAY CELLULAR AUTOMATA 439 ANDREAS KLEIN AND MARTIN KUTRIB CHECKING AMALGAMABILITY CONDITIONS FOR CASL ARCHITECTURAL SPECIFICATIONS 451 BARTEK KLIN, PIOTR HOFFMAN, ANDRZEJ TARLECKI, LUTZ SCHROEDER, AND TILL MOSSAKOWSKI ON-LINE SCHEDULING WITH TIGHT DEADLINES 464 CHIU- YUEN KOO, TAK- WAH LAM, TSUEN- WAN NGAN, AND KAR-KEUNG TO COMPLEXITY NOTE ON MIXED HYPERGRAPHS 474 DANIEL KRAL , JAN KRATOCHVIL. AND HEINZ-JUERGEN VOSS NEWS FROM THE ONLINE TRAVELING RCPAIRMAN 487 SVEN 0. KRUMKE, WILLEM E, DE PAEVE, DIANA POENSGEN, AND LEEN STOUGIE WORD PROBLEMS FOR 2-HOMOGENEOUS MONOIDS AND SYMMETRIE LOGSPACE 500 MARKUS LOHREY VARIATIONS ON A THEOREM OF FINE & WILF 512 FILIPPO MIGNOSI, JEFFREY SHALLIT, AND MING-WEI WANG UPPER BOUNDS ON THE BISECTION WIDTH OF 3- AND 4-REGULAER GRAPHS 524 BURKHARD MONIEN AND ROBERT PREIS SATISFIABILITY OF SYSTEMS OF EQUATIONS OVER FINITE MONOIDS 537 CRISTOPHER MOORE, PASCAL TESSON, AND DENIS THERIEN XII TABLE OF CONTENTS RATIONAL GRAPHS TRACE CONTEXT-SENSITIVE LANGUAGES 548 CHRISTOPHE MORVAN, AND COLIN STIRLING TOWARDS REGULAER LANGUAGES OVER INFINITE ALPHABETS 560 FRANK NEVEN, THOMAS SCHWENTICK, AND VICTOR VIANU PARTIAL INFORMATION AND SPECIAL CASE ALGORITHMS 573 ARFST NICKELSEN THE COMPLEXITY OF COMPUTING THE NUMBER OF SELF-AVOIDING WALKS IN TWO-DIMENSIONAL GRID GRAPHS AND IN HYPERCUBE GRAPHS 585 MITSUNORI OGIHARA AND SEINOSUKE TODA PROM BIDIRECTIONALITY TO ALTERNATION 5 98 NIR PITERMAN AND MOSHE Y. VARDI SYNTACTIC SEMIRING OF A LANGUAGE (EXTENDED ABSTRACT) 611 LIBOR POIDK ON REDUCIBILITY AND SYMMETRY OF DISJOINT NP-PAIRS 621 PAVEL PUDLAEK HIERARCHY OF MONOTONICALLY COMPUTABLE REAL NUMBERS (EXTENDED ABSTRACT) 633 ROBERT RETTINGER AND XIZHONG ZHENG ON THE EQUATIONAL DEFINITION OF THE LEAST PREFIXED POINT 645 LUIGI SANTOCANALE ON THE PERIODS OF PARTIAL WORDS 6 57 ARSENY M. SHUR AND YULIA V. KONOVALOVA THE SIZE OF POWER AUTOMATA G 66 KLAUS SUTNER ON THE APPROXIMABILITY OF THE STEINER TREE PROBLEM 678 MARTIN THIMM ALIGNMENT BETWEEN TWO RNA STRUCTURES 690 ZHUOZHI WANG AND KAIZHONG ZHANG CHARACTERIZATION OF CONTEXT-FREE LANGUAGES WITH POLYNOMIALLY BOUNDED AMBIGUITY 703 KLAUS WICH AUTHOR INDEX 715
any_adam_object	1
author_GND	(DE-588)114162271
building	Verbundindex
bvnumber	BV013865842
callnumber-first	Q - Science
callnumber-label	QA76
callnumber-raw	QA76.9.M35S96 2001
callnumber-search	QA76.9.M35S96 2001
callnumber-sort	QA 276.9 M35 S96 42001
callnumber-subject	QA - Mathematics
classification_rvk	SS 2001 SS 4800
classification_tum	DAT 500f
ctrlnum	(OCoLC)48721282 (DE-599)BVBBV013865842
dewey-full	004/.01/5121
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	004 - Computer science
dewey-raw	004/.01/51 21
dewey-search	004/.01/51 21
dewey-sort	14 11 251 221
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
format	Conference Proceeding Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02341nam a22005538cb4500</leader><controlfield tag="001">BV013865842</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20011002 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">010807s2001 gw \|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">962079359</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540424962</subfield><subfield code="9">3-540-42496-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)48721282</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV013865842</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">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.M35S96 2001</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004/.01/51 21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 2001</subfield><subfield code="0">(DE-625)143438:</subfield><subfield code="2">rvk</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">28</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 500f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">27</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Mathematical foundations of computer science 2001</subfield><subfield code="b">26th international symposium, MFCS 2001, Mariánské Lázn e, Czech Republic, August 27 - 31, 2001 ; proceedings</subfield><subfield code="c">Jiří Sgall ... (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London</subfield><subfield code="b">Springer</subfield><subfield code="c">2001</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 716 S.</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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</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">2136</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=" " ind2="4"><subfield code="a">Computer science -- Mathematics -- Congresses</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">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Datenverarbeitung</subfield><subfield code="0">(DE-588)4011152-0</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">2001</subfield><subfield code="z">Marienbad</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Datenverarbeitung</subfield><subfield code="0">(DE-588)4011152-0</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">Sgall, Jiří</subfield><subfield code="d">1965-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)114162271</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">MFCS</subfield><subfield code="n">26</subfield><subfield code="d">2001</subfield><subfield code="c">Marienbad</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)10024680-1</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">2136</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">2136</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">GBV 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=009484544&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-009484544</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2001 Marienbad gnd-content
genre_facet	Konferenzschrift 2001 Marienbad
id	DE-604.BV013865842
illustrated	Not Illustrated
indexdate	2024-07-09T18:53:25Z
institution	BVB
institution_GND	(DE-588)10024680-1
isbn	3540424962
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-009484544
oclc_num	48721282
open_access_boolean
owner	DE-91G DE-BY-TUM DE-384 DE-739 DE-29T DE-824 DE-20 DE-521 DE-83 DE-188 DE-706
owner_facet	DE-91G DE-BY-TUM DE-384 DE-739 DE-29T DE-824 DE-20 DE-521 DE-83 DE-188 DE-706
physical	XII, 716 S.
publishDate	2001
publishDateSearch	2001
publishDateSort	2001
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	Mathematical foundations of computer science 2001 26th international symposium, MFCS 2001, Mariánské Lázn e, Czech Republic, August 27 - 31, 2001 ; proceedings Jiří Sgall ... (ed.) Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London Springer 2001 XII, 716 S. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 2136 Informatik Mathematik Computer science -- Mathematics -- Congresses Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Mathematik (DE-588)4037944-9 gnd rswk-swf Datenverarbeitung (DE-588)4011152-0 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2001 Marienbad gnd-content Mathematik (DE-588)4037944-9 s Datenverarbeitung (DE-588)4011152-0 s DE-604 Theoretische Informatik (DE-588)4196735-5 s Sgall, Jiří 1965- Sonstige (DE-588)114162271 oth MFCS 26 2001 Marienbad Sonstige (DE-588)10024680-1 oth Lecture notes in computer science 2136 (DE-604)BV000000607 2136 GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009484544&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Mathematical foundations of computer science 2001 26th international symposium, MFCS 2001, Mariánské Lázn e, Czech Republic, August 27 - 31, 2001 ; proceedings Lecture notes in computer science Informatik Mathematik Computer science -- Mathematics -- Congresses Theoretische Informatik (DE-588)4196735-5 gnd Mathematik (DE-588)4037944-9 gnd Datenverarbeitung (DE-588)4011152-0 gnd
subject_GND	(DE-588)4196735-5 (DE-588)4037944-9 (DE-588)4011152-0 (DE-588)1071861417
title	Mathematical foundations of computer science 2001 26th international symposium, MFCS 2001, Mariánské Lázn e, Czech Republic, August 27 - 31, 2001 ; proceedings
title_auth	Mathematical foundations of computer science 2001 26th international symposium, MFCS 2001, Mariánské Lázn e, Czech Republic, August 27 - 31, 2001 ; proceedings
title_exact_search	Mathematical foundations of computer science 2001 26th international symposium, MFCS 2001, Mariánské Lázn e, Czech Republic, August 27 - 31, 2001 ; proceedings
title_full	Mathematical foundations of computer science 2001 26th international symposium, MFCS 2001, Mariánské Lázn e, Czech Republic, August 27 - 31, 2001 ; proceedings Jiří Sgall ... (ed.)
title_fullStr	Mathematical foundations of computer science 2001 26th international symposium, MFCS 2001, Mariánské Lázn e, Czech Republic, August 27 - 31, 2001 ; proceedings Jiří Sgall ... (ed.)
title_full_unstemmed	Mathematical foundations of computer science 2001 26th international symposium, MFCS 2001, Mariánské Lázn e, Czech Republic, August 27 - 31, 2001 ; proceedings Jiří Sgall ... (ed.)
title_short	Mathematical foundations of computer science 2001
title_sort	mathematical foundations of computer science 2001 26th international symposium mfcs 2001 marianske lazn e czech republic august 27 31 2001 proceedings
title_sub	26th international symposium, MFCS 2001, Mariánské Lázn e, Czech Republic, August 27 - 31, 2001 ; proceedings
topic	Informatik Mathematik Computer science -- Mathematics -- Congresses Theoretische Informatik (DE-588)4196735-5 gnd Mathematik (DE-588)4037944-9 gnd Datenverarbeitung (DE-588)4011152-0 gnd
topic_facet	Informatik Mathematik Computer science -- Mathematics -- Congresses Theoretische Informatik Datenverarbeitung Konferenzschrift 2001 Marienbad
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009484544&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV000000607
work_keys_str_mv	AT sgalljiri mathematicalfoundationsofcomputerscience200126thinternationalsymposiummfcs2001marianskelazneczechrepublicaugust27312001proceedings AT mfcsmarienbad mathematicalfoundationsofcomputerscience200126thinternationalsymposiummfcs2001marianskelazneczechrepublicaugust27312001proceedings

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Inhaltsverzeichnis

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge