Mathematical Foundations of Computer Science 2006: 31st International Symposium, MFCS 2006, Starį Lesnį, Slovakia, August 28-September 1, 2006, ... (Lecture Notes in Computer Science, 4162) - Softcover
Synopsis
This book constitutes the refereed proceedings of the 31st International Symposium on Mathematical Foundations of Computer Science, MFCS 2006. The book presents 62 revised full papers together with the full papers or abstracts of 7 invited talks. All current aspects in theoretical computer science and its mathematical foundations are addressed, from algorithms and data structures, to complexity, automata, semantics, logic, formal specifications, models of computation, concurrency theory, computational geometry and more.
"synopsis" may belong to another edition of this title.
Synopsis
This book constitutes the refereed proceedings of the 31st International Symposium on Mathematical Foundations of Computer Science, MFCS 2006, held in Stara Lesna, Slovakia in August/September 2006. The 62 revised full papers presented together with the full papers or abstracts of 7 invited talks were carefully reviewed and selected from 174 submissions. All current aspects in theoretical computer science and its mathematical foundations are addressed, ranging from algorithms and data structures, to complexity, automata, semantics, logic, formal specifications, models of computation, concurrency theory, computational geometry, parallel and distributed computing, networks, bioinformatics, quantum computing, cryptography, knowledge-based systems, and artificial intelligence.
"About this title" may belong to another edition of this title.
Search results for Mathematical Foundations of Computer Science 2006:...
Stock Image
Mathematical Foundations of Computer Science 2006: 31st International Symposium, MFCS 2006, Starį Lesnį, Slovakia, August 28-September 1, 2006, Proceedings (Lecture Notes in Computer Science, 4162)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540377917_new
Buy New
£ 96.15
£ 11.98 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Mathematical Foundations of Computer Science 2006
Published by
Springer Berlin Heidelberg Aug 2006, 2006
ISBN 10: 3540377913
ISBN 13: 9783540377917
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 31st International Symposium on Mathematical Foundations of Computer Science, MFCS 2006. The book presents 62 revised full papers together with the full papers or abstracts of 7 invited talks. All current aspects in theoretical computer science and its mathematical foundations are addressed, from algorithms and data structures, to complexity, automata, semantics, logic, formal specifications, models of computation, concurrency theory, computational geometry and more. 836 pp. Englisch. Seller Inventory # 9783540377917
Seller Image
Mathematical Foundations of Computer Science 2006
Published by
Springer Berlin Heidelberg, 2006
ISBN 10: 3540377913
ISBN 13: 9783540377917
New
Kartoniert / Broschiert
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Kartoniert / Broschiert. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Proceedings of the 31st International Symposium on Mathematical Foundations of Computer Science, MFCS 2006Presents 62 revised full papers together with the full papers or abstracts of 7 invited talksAddresses all current aspects in theoreti. Seller Inventory # 4888496
Buy New
£ 82.40
£ 42.48 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Stock Image
Mathematical Foundations of Computer Science 2006
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 834. Seller Inventory # 26302689
Stock Image
Mathematical Foundations of Computer Science 2006
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Print on Demand pp. 834 Illus. Seller Inventory # 7545278
Buy New
£ 134.91
£ 6.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 4 available
Seller Image
Mathematical Foundations of Computer Science 2006 | 31st International Symposium, MFCS 2006, Starį Lesnį, Slovakia, August 28-September 1, 2006, Proceedings
Seller: preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Mathematical Foundations of Computer Science 2006 | 31st International Symposium, MFCS 2006, Starį Lesnį, Slovakia, August 28-September 1, 2006, Proceedings | Rastislav Krįlovic (u. a.) | Taschenbuch | xvi | Englisch | 2006 | Springer | EAN 9783540377917 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Seller Inventory # 102160110
Seller Image
Mathematical Foundations of Computer Science 2006
Published by
Springer, Springer Aug 2006, 2006
ISBN 10: 3540377913
ISBN 13: 9783540377917
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Invited Talks.- A Core Calculus for Scala Type Checking.- Tree Exploration with an Oracle.- Distributed Data Structures: A Survey on Informative Labeling Schemes.- From Deduction Graphs to Proof Nets: Boxes and Sharing in the Graphical Presentation of Deductions.- The Structure of Tractable Constraint Satisfaction Problems.- On the Representation of Kleene Algebras with Tests.- From Three Ideas in TCS to Three Applications in Bioinformatics.- Contributed Papers.- Decompositions, Partitions, and Coverings with Convex Polygons and Pseudo-triangles.- Approximate Shortest Path Queries on Weighted Polyhedral Surfaces.- A Unified Construction of the Glushkov, Follow, and Antimirov Automata.- Algebraic Characterizations of Unitary Linear Quantum Cellular Automata.- A Polynomial Time Nilpotence Test for Galois Groups and Related Results.- The Multiparty Communication Complexity of Exact-T: Improved Bounds and New Problems.- Crochemore Factorization of Sturmian and Other Infinite Words.- Equations on Partial Words.- Concrete Multiplicative Complexity of Symmetric Functions.- On the Complexity of Limit Sets of Cellular Automata Associated with Probability Measures.- Coloring Random 3-Colorable Graphs with Non-uniform Edge Probabilities.- The Kleene Equality for Graphs.- On the Repetition Threshold for Large Alphabets.- Improved Parameterized Upper Bounds for Vertex Cover.- On Comparing Sums of Square Roots of Small Integers.- A Combinatorial Approach to Collapsing Words.- Optimal Linear Arrangement of Interval Graphs.- The Lempel-Ziv Complexity of Fixed Points of Morphisms.- Partially Commutative Inverse Monoids.- Learning Bayesian Networks Does Not Have to Be NP-Hard.- Lower Bounds for the Transition Complexity of NFAs.- Smart Robot Teams Exploring Sparse Trees.- k-Sets of Convex Inclusion Chains of Planar Point Sets.- Toward the Eigenvalue Power Law.- Multicast Transmissions in Non-cooperative Networks with a Limited Number of Selfish Moves.- Very Sparse Leaf Languages.- On the Correlation Between Parity and Modular Polynomials.- Optimally Fast Data Gathering in Sensor Networks.- Magic Numbers in the State Hierarchy of Finite Automata.- Online Single Machine Batch Scheduling.- Machines that Can Output Empty Words.- Completeness of Global Evaluation Logic.- NOF-Multiparty Information Complexity Bounds for Pointer Jumping.- Dimension Characterizations of Complexity Classes.- Approximation Algorithms and Hardness Results for Labeled Connectivity Problems.- An Expressive Temporal Logic for Real Time.- On Matroid Representability and Minor Problems.- Non-cooperative Tree Creation.- Guarantees for the Success Frequency of an Algorithm for Finding Dodgson-Election Winners.- Reductions for Monotone Boolean Circuits.- Generalised Integer Programming Based on Logically Defined Relations.- Probabilistic Length-Reducing Automata.- Sorting Long Sequences in a Single Hop Radio Network.- Systems of Equations over Finite Semigroups and the #CSP Dichotomy Conjecture.- Valiant's Model: From Exponential Sums to Exponential Products.- A Reachability Algorithm for General Petri Nets Based on Transition Invariants.- Approximability of Bounded Occurrence Max Ones.- Fast Iterative Arrays with Restricted Inter-cell Communication: Constructions and Decidability.- Faster Algorithm for Bisimulation Equivalence of Normed Context-Free Processes.- Quantum Weakly Nondeterministic Communication Complexity.- Minimal Chordal Sense of Direction and Circulant Graphs.- Querying and Embedding Compressed Texts.- Lempel-Ziv Dimension for Lempel-Ziv Compression.- CharacterizingValiant's Algebraic Complexity Classes.- The Price of Defense.- The Data Complexity of MDatalog in Basic Modal Logics.- The Complexity of Counting Functions with Easy Decision Version.- On Non-Interactive Zero-Knowledge Proofs of Knowledge in the Shared Random String Model.- Constrained Minimum Enclosing Circle with Center on a Query Line Segment.- Hierarchical Unambiguity.- An Efficient Algorithm FSpringer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 836 pp. Englisch. Seller Inventory # 9783540377917
Stock Image
Mathematical Foundations of Computer Science 2006: 31st International Symposium, MFCS 2006, Stara Lesna, Slovakia, August 28- September 1, 2006, Proceedings
Published by
Springer-Verlag New York Inc, 2006
ISBN 10: 3540377913
ISBN 13: 9783540377917
New
Paperback
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 1st edition. 811 pages. 9.25x5.75x1.25 inches. In Stock. Seller Inventory # x-3540377913
Buy New
£ 132.76
£ 15 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 2 available
Stock Image
Mathematical Foundations of Computer Science 2006
Print on DemandSeller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. PRINT ON DEMAND pp. 834. Seller Inventory # 18302699
Seller Image
Mathematical Foundations of Computer Science 2006 : 31st International Symposium, MFCS 2006, Starį Lesnį, Slovakia, August 28-September 1, 2006, Proceedings
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 31st International Symposium on Mathematical Foundations of Computer Science, MFCS 2006. The book presents 62 revised full papers together with the full papers or abstracts of 7 invited talks. All current aspects in theoretical computer science and its mathematical foundations are addressed, from algorithms and data structures, to complexity, automata, semantics, logic, formal specifications, models of computation, concurrency theory, computational geometry and more. Seller Inventory # 9783540377917