Mathematical Foundations of Computer Science 2003

Sprache: Englisch

Verlag: Springer, Springer Aug 2003, 2003

3540406719 / 9783540406716

Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschlandbuchversandmimpf2000

Verkäufer/-in mit 5 Sternen

AbeBooks-Verkäufer/-in seit 23. Januar 2017

Artikel dieses Verkäufers ansehen
Softcover

Zustand: Neu

EUR 106,99

EUR 60,00 Versand 
Versand von Deutschland nach USA

Anzahl: 1 verfügbar

In den Warenkorb
Kostenlose Rückgaben innerhalb von 30 Tagen

Artikelbeschreibung vom Verkäufer

This item is printed on demand - Print on Demand Titel. Neuware -Invited Talks.- Distributed Quantum Computing.- Selfish Routing in Non-cooperative Networks: A Survey.- Process Algebraic Frameworks for the Specification and Analysis of Cryptographic Protocols.- Semantic and Syntactic Approaches to Simulation Relations.- On the Computational Complexity of Conservative Computing.- Constructing Infinite Graphs with a Decidable MSO-Theory.- Towards a Theory of Randomized Search Heuristics.- Contributed Papers.- Adversarial Models for Priority-Based Networks.- On Optimal Merging Networks.- Problems which Cannot Be Reduced to Any Proper Subproblems.- ACID-Unification Is NEXPTIME-Decidable.- Completeness in Differential Approximation Classes.- On the Length of the Minimum Solution of Word Equations in One Variable.- Smoothed Analysis of Three Combinatorial Problems.- Inferring Strings from Graphs and Arrays.- Faster Algorithms for k-Medians in Trees.- Periodicity and Transitivity for Cellular Automata in Besicovitch Topologies.- Starting with Nondeterminism: The Systematic Derivation of Linear-Time Graph Layout Algorithms.- Error-Bounded Probabilistic Computations between MA and AM.- A Faster FPT Algorithm for Finding Spanning Trees with Many Leaves.- Symbolic Analysis of Crypto-Protocols Based on Modular Exponentiation.- Denotational Testing Semantics in Coinductive Form.- Lower Bounds for General Graph-Driven Read-Once Parity Branching Programs.- The Minimal Graph Model of Lambda Calculus.- Unambiguous Automata on Bi-infinite Words.- Relating Hierarchy of Temporal Properties to Model Checking.- Arithmetic Constant-Depth Circuit Complexity Classes.- Inverse NP Problems.- A Linear-Time Algorithm for 7-Coloring 1-Planar Graphs.- Generalized Satisfiability with Limited Occurrences per Variable: A Study through Delta-Matroid Parity.-Randomized Algorithms for Determining the Majority on Graphs.- Using Transitive-Closure Logic for Deciding Linear Properties of Monoids.- Linear-Time Computation of Local Periods.- Two Dimensional Packing: The Power of Rotation.- Approximation Schemes for the Min-Max Starting Time Problem.- Quantum Testers for Hidden Group Properties.- Local LTL with Past Constants Is Expressively Complete for Mazurkiewicz Traces.- LTL with Past and Two-Way Very-Weak Alternating Automata.- Match-Bounded String Rewriting Systems.- Probabilistic and Nondeterministic Unary Automata.- On Matroid Properties Definable in the MSO Logic.- Characterizations of Catalytic Membrane Computing Systems.- Augmenting Local Edge-Connectivity between Vertices and Vertex Subsets in Undirected Graphs.- Scheduling and Traffic Allocation for Tasks with Bounded Splittability.- Computing Average Value in Ad Hoc Networks.- A Polynomial-Time Algorithm for Deciding True Concurrency Equivalences of Basic Parallel Processes.- Solving the Sabotage Game Is PSPACE-Hard.- The Approximate Well-Founded Semantics for Logic Programs with Uncertainty.- Which Is the Worst-Case Nash Equilibrium .- A Unique Decomposition Theorem for Ordered Monoids with Applications in Process Theory.- Generic Algorithms for the Generation of Combinatorial Objects.- On the Complexity of Some Problems in Interval Arithmetic.- An Abduction-Based Method for Index Relaxation in Taxonomy-Based Sources.- On Selection Functions that Do Not Preserve Normality.- On Converting CNF to DNF.- A Basis of Tiling Motifs for Generating Repeated Patterns and Its Complexity for Higher Quorum.- On the Complexity of Some Equivalence Problems for Propositional Calculi.- Quantified Mu-Calculus for Control Synthesis.- On Probabilistic Quantified SatisfiabilityGames.- A Completeness Property of Wilke's Tree Algebras.- Symbolic Topological Sorting with OBDDs.- Ershov's Hierarchy of Real Numbers.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 712 pp. Englisch.

Bestandsnummer des Verkäufers 9783540406716

Titel
Mathematical Foundations of Computer Science 2003
Autor
Branislav Rovan
Verlag
Springer, Springer Aug 2003
Veröffentlichungsjahr
2003
Zustand
Neu
Einband
Taschenbuch
Sprache
Englisch
ISBN-10
3540406719
ISBN-13
9783540406716
Artikelgewicht
1.060 Gramm
Abmessungen
235x155x38 mm

buchversandmimpf2000

Emtmannsberg, BAYE, Deutschland

Verkäufer/-in mit 5 Sternen

AbeBooks-Verkäufer/-in seit 23. Januar 2017

Versandkosten von Deutschland nach USA

Artikel60 bis 60 Werktage60 bis 60 Werktage
Erster ArtikelEUR 60,00EUR 75,00
Die Versandzeiten werden von den Verkäuferinnen und Verkäufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, können Verzögerungen unterliegen. Eventuell anfallende Abgaben oder Gebühren sind von der Käuferin bzw. dem Käufer zu tragen. Die Verkäuferin bzw. der Verkäufer kann Sie bezüglich zusätzlicher Versandkosten kontaktieren, um einen möglichen Anstieg der Versandkosten für Ihre Artikel auszugleichen.

Zahlungsarten

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • PayPal
  • Vorauskasse

Shop-Beschreibung

Impressum Thorsten Retsch Buchversand Mimpf2000 Oberölschnitz 16 95517 Emtmannsberg Deutschland Telefon: 09209-2023188 Email: mimpf2000@online.de USt-ID-Nr.: DE 235096871 Wir führen gebrauchte Bücher aus allen Sparten der Literatur

Spezialisierung

Modernes Antiquariat - Bücher von 1960 bis heute

Unternehmensdaten der Verkäuferin bzw. des Verkäufers

buchversandmimpf2000

Deutschland