Gutscheinbedingungen

**Gültig bis 14.09.2026 auf Spielzeug, Schreibwaren, Filme, Geschenke & Trends, Musik, tolino eReader & Zubehör, Hörbücher, nicht preisgebundene Bücher und Kalender in der Thalia App. Einzelne Artikel können ausgeschlossen sein. Aufgrund der Buchpreisbindung sind deutschsprachige Bücher und eBooks ausgenommen. Zusätzlich ausgenommen sind Abos & Flatrates, Games, Geschenkkarten/-boxen, Shelfies, Software, Zeitschriften sowie einzelne Artikel von tonies®. Pro Einkauf einmal einlösbar. Nur gültig mit im Onlineshop hinterlegter Bonuscard. 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.

  • Produktbild: Theoretical Aspects of Computing – ICTAC 2018
  • Produktbild: Theoretical Aspects of Computing – ICTAC 2018
Band 11187

Theoretical Aspects of Computing – ICTAC 2018 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings

79,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

15.10.2018

Abbildungen

XVII, 533 p. 84 illus.

Herausgeber

Bernd Fischer + weitere

Verlag

Springer

Seitenzahl

533

Maße (L/B/H)

23,5/15,5/3 cm

Gewicht

826 g

Auflage

1st ed. 2018

Sprache

Englisch

ISBN

978-3-030-02507-6

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

15.10.2018

Abbildungen

XVII, 533 p. 84 illus.

Herausgeber

Verlag

Springer

Seitenzahl

533

Maße (L/B/H)

23,5/15,5/3 cm

Gewicht

826 g

Auflage

1st ed. 2018

Sprache

Englisch

ISBN

978-3-030-02507-6

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

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 Aspects of Computing – ICTAC 2018
  • Produktbild: Theoretical Aspects of Computing – ICTAC 2018

  • Formal Verification of a Geometry Algorithm: A Quest for Abstract Views and Symmetry in Coq Proofs.- LTL Semantic Tableaux and Alternating Omega-automata via Linear Factors.- Proof Nets and the Linear Substitution Calculus.- Modular Design of Domain-Specific Languages Using Splittings of Catamorphisms.- An Automata-Based View on Configurability and Uncertainty.- Formalising Boost POSIX Regular Expression Matching.- Monoidal Multiplexing.- Input/Output Stochastic Automata with Urgency: Conuence and Weak Determinism.- Layer by Layer: Combining Monads.- Layer Systems for Confluence – Formalized.- A Metalanguage for Guarded Iteration.- Generating Armstrong ABoxes for ALC TBoxes.- Spatio-Temporal Domains: An Overview.- Checking Modal Contracts for Virtually Timed Ambients.- Abstraction of Bit-Vector Operations for BDD-Based SMT Solvers.- Weak Bisimulation Metrics in Models with Nondeterminism and Continuous State Spaces.- Symbolic Computation via Program Transformation.- Double Applicative Functors.- Checking Sequence Generation for Symbolic Input/Output FSMs by Constraint Solving.- Explicit Auditing.- Complexity and Expressivity of Branching- and Alternating-Time Temporal Logics with Finitely Many Variables.- Complexity Results on Register Context-Free Grammars and Register Tree Automata.- Information Flow Certificates.- The Smallest FSSP Partial Solutions for One-Dimensional Ring Cellular Automata: Symmetric and Asymmetric Synchronizers.- Convex Language Semantics for Nondeterministic Probabilistic Automata.- Fast Computations on Ordered Nominal Sets.- Non-preemptive Semantics for Data-Race-Free Programs.