Mathematical Foundations of Computer Science 2013 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013, Proceedings / edited by Krishnendu Chatterjee, Jirí Sgall.
This book constitutes the thoroughly refereed conference proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS 2013, held in Klosterneuburg, Austria, in August 2013. The 67 revised full papers presented together with six invited talks were carefully se...
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | , |
| Format: | eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2013.
|
| Edition: | 1st ed. 2013. |
| Series: | Theoretical Computer Science and General Issues ;
8087 Springer eBook Collection. |
| Subjects: | |
| Online Access: | Click to view e-book |
| Holy Cross Note: | Loaded electronically. Electronic access restricted to members of the Holy Cross Community. |
| LEADER | 04350nam a22006135i 4500 | ||
|---|---|---|---|
| 001 | b3265208 | ||
| 003 | MWH | ||
| 005 | 20191026003205.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 130816s2013 gw | s |||| 0|eng d | ||
| 020 | |a 9783642403132 | ||
| 024 | 7 | |a 10.1007/978-3-642-40313-2 |2 doi | |
| 035 | |a (DE-He213)978-3-642-40313-2 | ||
| 050 | 4 | |a E-Book | |
| 072 | 7 | |a UMB |2 bicssc | |
| 072 | 7 | |a COM051300 |2 bisacsh | |
| 072 | 7 | |a UMB |2 thema | |
| 245 | 1 | 0 | |a Mathematical Foundations of Computer Science 2013 |h [electronic resource] : |b 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013, Proceedings / |c edited by Krishnendu Chatterjee, Jirí Sgall. |
| 250 | |a 1st ed. 2013. | ||
| 264 | 1 | |a Berlin, Heidelberg : |b Springer Berlin Heidelberg : |b Imprint: Springer, |c 2013. | |
| 300 | |a XVI, 854 p. 92 illus. |b online resource. | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 347 | |a text file |b PDF |2 rda | ||
| 490 | 1 | |a Theoretical Computer Science and General Issues ; |v 8087 | |
| 490 | 1 | |a Springer eBook Collection | |
| 505 | 0 | |a Alternation Trading Proofs and Their Limitations -- Bin Packing Games with Selfish Items -- A Constructive Proof of the Topological Kruskal Theorem -- Prior-Free Auctions of Digital Goods -- Clustering on k-Edge-Colored Graphs -- How to Pack Your Items When You Have to Buy Your Knapsack.-Computing Behavioral Distances, Compositionally -- Rewriting Guarded Negation Queries -- Parity Games and Propositional Proofs -- Bringing Order to Special Cases of Klee’s Measure Problem -- Learning Reductions to Sparse Sets -- Probabilistic Automata with Isolated Cut-Points -- On Stochastic Games with Multiple Objectives -- Paradigms for Parameterized Enumeration -- Noninterference with Local Policies -- Ordering Metro Lines by Block Crossings -- Meta-kernelization with Structural Parameters -- Polynomial Threshold Functions and Boolean Threshold Circuits -- Detecting Regularities on Grammar-Compressed Strings -- An Unusual Temporal Logic. | |
| 520 | |a This book constitutes the thoroughly refereed conference proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS 2013, held in Klosterneuburg, Austria, in August 2013. The 67 revised full papers presented together with six invited talks were carefully selected from 191 submissions. Topics covered include algorithmic game theory, algorithmic learning theory, algorithms and data structures, automata, formal languages, bioinformatics, complexity, computational geometry, computer-assisted reasoning, concurrency theory, databases and knowledge-based systems, foundations of computing, logic in computer science, models of computation, semantics and verification of programs, and theoretical issues in artificial intelligence. | ||
| 590 | |a Loaded electronically. | ||
| 590 | |a Electronic access restricted to members of the Holy Cross Community. | ||
| 650 | 0 | |a Algorithms. | |
| 650 | 0 | |a Computer science—Mathematics. | |
| 650 | 0 | |a Numerical analysis. | |
| 650 | 0 | |a Data structures (Computer science). | |
| 650 | 0 | |a Mathematical logic. | |
| 690 | |a Electronic resources (E-books) | ||
| 700 | 1 | |a Chatterjee, Krishnendu. |e editor. |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 700 | 1 | |a Sgall, Jirí. |e editor. |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 710 | 2 | |a SpringerLink (Online service) | |
| 773 | 0 | |t Springer eBooks | |
| 830 | 0 | |a Theoretical Computer Science and General Issues ; |v 8087 | |
| 830 | 0 | |a Springer eBook Collection. | |
| 856 | 4 | 0 | |u https://holycross.idm.oclc.org/login?auth=cas&url=https://doi.org/10.1007/978-3-642-40313-2 |3 Click to view e-book |
| 907 | |a .b32652082 |b 04-18-22 |c 02-26-20 | ||
| 998 | |a he |b 02-26-20 |c m |d @ |e - |f eng |g gw |h 0 |i 1 | ||
| 912 | |a ZDB-2-SCS | ||
| 912 | |a ZDB-2-LNC | ||
| 950 | |a Computer Science (Springer-11645) | ||
| 902 | |a springer purchased ebooks | ||
| 903 | |a SEB-COLL | ||
| 945 | |f - - |g 1 |h 0 |j - - |k - - |l he |o - |p $0.00 |q - |r - |s b |t 38 |u 0 |v 0 |w 0 |x 0 |y .i21783706 |z 02-26-20 | ||
| 999 | f | f | |i f20a91d2-bf30-5b48-8cae-72683e0b55b5 |s 2d28e524-3bad-548b-90c7-21fa5b5faaa4 |
| 952 | f | f | |p Online |a College of the Holy Cross |b Main Campus |c E-Resources |d E-resources |e E-Book |h Library of Congress classification |i Elec File |n 1 |