Gutscheinbedingungen

**Gültig bis 22.07.2026 ab einem Mindestbestellwert von 40€ auf Spielzeug, Schreibwaren, Filme, Geschenke & Trends, Musik, tolino eReader & Zubehör, Hörbücher und Hörbuch-Downloads (außer Abo), nicht preisgebundene Bücher und Kalender online auf thalia.at und in der Thalia App. Einzelne Artikel können ausgeschlossen sein. Aufgrund der Buchpreisbindung sind deutschsprachige Bücher und eBooks ausgenommen. Zusätzlich ausgenommen sind preisgebundene Artikel, Abos & Flatrates, eBooks, Games, Geschenkkarten/-boxen, Shelfies, Software, Zeitschriften sowie einzelne Artikel von tonies®. Pro Einkauf einmal einlösbar. Click & Collect nur bei Onlinevorabzahlung möglich. Keine Barauszahlung. Nicht kombinierbar mit anderen Aktionen und Gutscheinen. Gutschein wird auf max. 500€ Bestellwert angerechnet. Nicht gültig für Versandkosten und Services. Preisgebundene Artikel sind vom Mindestbestellwert ausgeschlossen.

Produktbild: Exploring New Frontiers of Theoretical Informatics
Band 155 - 12%

Exploring New Frontiers of Theoretical Informatics IFIP 18th World Computer Congress TC1 3rd International Conference on Theoretical Computer Science (TCS2004) 22–27 August 2004 Toulouse, France

12% sparen

144,99 € UVP 164,95 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

14.12.2011

Herausgeber

Jean-Jacques Lévy + weitere

Verlag

Springer Us

Seitenzahl

676

Maße (L/B/H)

23,5/15,5/3,8 cm

Gewicht

1036 g

Auflage

Softcover reprint of the original 1st ed. 2004

Sprache

Englisch

ISBN

978-1-4419-5486-2

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

14.12.2011

Herausgeber

Verlag

Springer Us

Seitenzahl

676

Maße (L/B/H)

23,5/15,5/3,8 cm

Gewicht

1036 g

Auflage

Softcover reprint of the original 1st ed. 2004

Sprache

Englisch

ISBN

978-1-4419-5486-2

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

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: Exploring New Frontiers of Theoretical Informatics
  • Invited talks.- The tPI (tRNA Pairing Index) a Mathematical Measure of Repetition in a (Biological) Sequence.- Stability of Approximation in Discrete Optimization.- Towards a Broader Theory of Mobile Processes.- A Decidable Analysis of Security Protocols.- Track (1) on Algorithms, Complexity, and Models of Computation.- Looking Inside A?s and B?s.- Remove key Escrow from the Identity-Based Encryption System.- A Randomised Algorithm for Checking The Normality of Cryptographic Boolean Functions.- Reversible Circuit Realizations of Boolean Functions.- Resource Bounded Immunity and Simplicity.- Degree Bounds on Polynomials and Relativization Theory.- The Firing Squad Synchronization Problem with Many Generals for One-Dimensional CA.- A Matrix Q-Analogue of the Parikh Map.- The Inherent Queuing Delay of Parallel Packet Switches.- Efficient Protocols for Computing the Optimal Swap Edges of a Shortest Path Tree.- Truthful Mechanisms for Generalized Utilitarian Problems.- The Driving Philosophers.- Engineering an External Memory Minimum Spanning Tree Algorithm.- Scheduling With Release Times and Deadlines on A Minimum Number of Machines.- Approximation Algorithms for Mixed Fractional Packing and Covering Problems.- On Weighted Rectangle Packing with Large Resources.- An O(n log2 n) Algorithm for a Sink Location Problem in Dynamic Tree Networks.- Efficient Algorithms for Handling Molecular Weighted Sequences.- Imperfectness of Data for STS-Based Physical Mapping.- Solving Packing Problem with Weaker Block Solvers.- Adaptive Sorting with AVL Trees.- Precise Analysis of ?-calculus in Cubic Time.- Track (2) on Logic, Semantics, Specification, and Verification.- Prototyping Proof Carrying Code.- Contract Oriented Development of Component Software.- New Insights on Architectural Connectors.- On Complexity of Model-Checking for the TQL Logic.- A Generic Framework for Checking Semantic Equivalences Between Pushdown Automata and Finite-State Automata.- Tailoring Recursion to Characterize Non-Deterministic Complexity Classes Over Arbitrary Structures.- A Calculus with Lazy Module Operators.- Dynamic Typing with Dependent Types.- Subtyping-Inheritance Conflicts: The Mobile Mixin Case.- Asymptotic Behaviors of Type-2 Algorithms and Induced Baire Topologies.- Effective Chemistry for Synchrony and Asynchrony.- Controller Synthesis for Probabilistic Systems (Extended Abstract).- Highly Undecidable Questions for Process Algebras.- New-HOPLA a higher-order process language with name generation.- Behavioural Equivalences for Dynamic Web Data.- Behavioural Theory for Mobile Ambients.- Nested Commits For Mobile Calculi: Extending Join.- Dynamic and Local Typing for Mobile Ambients.- Polya:True Type Polymorphism for Mobile Ambients.- Recovering Resources in the ?-Calculus (DRAFT).- Ensuring Termination by Typability.- The Simply-Typed Pure Pattern Type System Ensures Strong Normalization.- Termination in Modal Kleene Algebra.- Regular Tree Language Recognition with Static Information.