Übersicht			Auf mobile öffnen

Lieferstatus:	Auf Bestellung (Lieferzeit unbekannt)
Veröffentlichung:	August 2009
Genre:	EDV / Informatik
	Algorithm Analysis and Problem Complexity / Algorithmen und Datenstrukturen / Algorithms / Algorithms & data structures / C / Computation by Abstract Devices / Computer architecture & logic design / Computer logic / Computer programming / software engineering / computer science / Computer Science Logic and Foundations of Programming / Computer science—Mathematics / Computers / Formal Languages and Automata Theory / Logics and Meanings of Programs / Mathematical logic / Mathematical Logic and Formal Languages / Mathematical theory of computation / Mathematics of Computing / Mathematik für Informatiker / Maths for computer scientists / Theory of Computation mehr...
ISBN:	9783642038150
EAN-Code:	9783642038150
Verlag:	Springer EN
Einband:	Kartoniert
Sprache:	English
Serie:	#5734 - Lecture Notes in Computer Science Theoretical Computer Science and General Issues
Dimensionen:	H 235 mm / B 155 mm / D
Gewicht:	1175 gr
Seiten:	760
Illustration:	XV, 760 p.
Zus. Info:	EUDR exemption - product or manufacturing materials placed on the market prior to 31.12.2025.
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

Invited Papers.- Four Subareas of the Theory of Constraints, and Their Links.- Synchronization of Regular Automata.- Stochastic Process Creation.- Stochastic Games with Finitary Objectives.- Stochastic Data Streams.- Recent Advances in Population Protocols.- How to Sort a Train.- Contributed Papers.- Arithmetic Circuits, Monomial Algebras and Finite Automata.- An Improved Approximation Bound for Spanning Star Forest and Color Saving.- Energy-Efficient Communication in Multi-interface Wireless Networks.- Private Capacities in Mechanism Design.- Towards a Dichotomy of Finding Possible Winners in Elections Based on Scoring Rules.- Sampling Edge Covers in 3-Regular Graphs.- Balanced Paths in Colored Graphs.- Few Product Gates But Many Zeros.- Branching Programs for Tree Evaluation.- A Dichotomy Theorem for Polynomial Evaluation.- DP-Complete Problems Derived from Extremal NP-Complete Properties.- The Synchronization Problem for Locally Strongly Transitive Automata.- Constructing Brambles.- Self-indexed Text Compression Using Straight-Line Programs.- Security and Tradeoffs of the Akl-Taylor Scheme and Its Variants.- Parameterized Complexity Classes under Logical Reductions.- The Communication Complexity of Non-signaling Distributions.- How to Use Spanning Trees to Navigate in Graphs.- Representing Groups on Graphs.- Admissible Strategies in Infinite Games over Graphs.- A Complexity Dichotomy for Finding Disjoint Solutions of Vertex Deletion Problems.- Future-Looking Logics on Data Words and Trees.- A By-Level Analysis of Multiplicative Exponential Linear Logic.- Hyper-minimisation Made Efficient.- Regular Expressions with Counting: Weak versus Strong Determinism.- Choosability of P 5-Free Graphs.- Time-Bounded Kolmogorov Complexity and Solovay Functions.- The Longest Path Problem Is Polynomial on Interval Graphs.- Synthesis for Structure Rewriting Systems.- On the Hybrid Extension of CTL and CTL?+?.- Bounds on Non-surjective Cellular Automata.- FO Model Checking on Nested Pushdown Trees.- The Prismoid of Resources.- A Dynamic Algorithm for Reachability Games Played on Trees.- An Algebraic Characterization of Semirings for Which the Support of Every Recognizable Series Is Recognizable.- Graph Decomposition for Improving Memoryless Periodic Exploration.- On FO 2 Quantifier Alternation over Words.- On the Recognizability of Self-generating Sets.- The Isomorphism Problem for k-Trees Is Complete for Logspace.- Snake-Deterministic Tiling Systems.- Query Automata for Nested Words.- A General Class of Models of .- The Complexity of Satisfiability for Fragments of Hybrid Logic-Part I.- Colouring Non-sparse Random Intersection Graphs.- On the Structure of Optimal Greedy Computation (for Job Scheduling).- A Probabilistic PTAS for Shortest Common Superstring.- The Cost of Stability in Network Flow Games.- (Un)Decidability of Injectivity and Surjectivity in One-Dimensional Sand Automata.- Quantum Algorithms to Solve the Hidden Shift Problem for Quadratics and for Functions of Large Gowers Norm.- From Parity and Payoff Games to Linear Programming.- Partial Randomness and Dimension of Recursively Enumerable Reals.- Partial Solution and Entropy.- On Pebble Automata for Data Languages with Decidable Emptiness Problem.- Size and Energy of Threshold Circuits Computing Mod Functions.- Points on Computable Curves of Computable Lengths.- The Expressive Power of Binary Submodular Functions.