Vor Ort
Merkzettel Warenkorb
  • Produktbild: Theoretical Computer Science
  • Produktbild: Theoretical Computer Science
Band 323

Theoretical Computer Science 6th IFIP WG 2.2 International Conference, TCS 2010, Held as a Part of WCC 2010, Brisbane, Australia, September 20-23, 2010, Proceedings

Aus der Reihe IFIP Advances in Information and Communication Technology

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

23.08.2010

Abbildungen

XII, 388 p.

Herausgeber

Christian S. Calude + weitere

Verlag

Springer Berlin

Seitenzahl

388

Maße (L/B/H)

24,1/16/2,5 cm

Gewicht

764 g

Auflage

2010

Sprache

Englisch

ISBN

978-3-642-15239-9

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

23.08.2010

Abbildungen

XII, 388 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

388

Maße (L/B/H)

24,1/16/2,5 cm

Gewicht

764 g

Auflage

2010

Sprache

Englisch

ISBN

978-3-642-15239-9

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben und erhalten dafür eine Thalia Geschenkkarte.

Jetzt verkaufen
Jetzt verkaufen

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Theoretical Computer Science
  • Produktbild: Theoretical Computer Science
  • Convexity, Duality and Effects.- A Calculus for Power-Aware Multicast Communications in Ad Hoc Networks.- The Coarsest Precongruences Respecting Safety and Liveness Properties.- Entropy and Attack Models in Information Flow.- Safe Equivalences for Security Properties.- On Probabilistic Alternating Simulations.- Probabilistic Mobility Models for Mobile and Wireless Networks.- On Packing Splittable Items with Cardinality Constraints.- Deterministic Computations in Time-Varying Graphs: Broadcasting under Unstructured Mobility.- Slicing Behavior Tree Models for Verification.- Optimization of the Anisotropic Gaussian Kernel for Text Segmentation and Parameter Extraction.- Online Dictionary Matching for Streams of XML Documents.- The Duality of Computation under Focus.- Polarized Resolution Modulo.- A Logic on Subobjects and Recognizability.- Terminating Tableaux for with Number Restrictions on Transitive Roles.- Proof System for Applied Pi Calculus.- Concurrent Pattern Calculus.- Initial Segment Complexities of Randomness Notions.- Topologies Refining the Cantor Topology on X ? .- On Symbolic Representations of Maximum Matchings and (Un)directed Graphs.- Traceable Sets.- Approximating the Non-contiguous Multiple Organization Packing Problem.- Improving the Competitive Ratios of the Seat Reservation Problem.- A Semiring-Based Trace Semantics for Processes with Applications to Information Leakage Analysis.- A Game-Theoretic Approach to Routing under Adversarial Conditions.- An Operational Model for Multiprocessors with Caches.