• Produktbild: Formal and Natural Computing
  • Produktbild: Formal and Natural Computing
Band 2300

Formal and Natural Computing Essays Dedicated to Grzegorz Rozenberg

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

06.02.2002

Herausgeber

Wilfried Brauer + weitere

Verlag

Springer Berlin

Seitenzahl

436

Maße (L/B/H)

23,5/15,5/2,5 cm

Gewicht

715 g

Auflage

2002

Sprache

Englisch

ISBN

978-3-540-43190-9

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

06.02.2002

Herausgeber

Verlag

Springer Berlin

Seitenzahl

436

Maße (L/B/H)

23,5/15,5/2,5 cm

Gewicht

715 g

Auflage

2002

Sprache

Englisch

ISBN

978-3-540-43190-9

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Kundinnen und Kunden meinen

0 Bewertungen

Informationen zu Bewertungen

Zur Abgabe einer Bewertung ist eine Anmeldung im Konto notwendig. Die Authentizität der Bewertungen wird von uns nicht überprüft. Wir behalten uns vor, Bewertungstexte, die unseren Richtlinien widersprechen, entsprechend zu kürzen oder zu löschen.

Die Bewertungen sind nach Format, Anzahl Sterne und Datum sortiert.

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kund*innen durch Ihre Meinung

Kundinnen und Kunden meinen

0 Bewertungen filtern

  • Produktbild: Formal and Natural Computing
  • Produktbild: Formal and Natural Computing
  • Words, Languages, Automata.- Balanced Grammars and Their Languages.- Safety and Liveness Properties for Real Traces and a Direct Translation from LTL to Monoids.- The Delta Operation: From Strings to Trees to Strings.- Infinite Solutions of Marked Post Correspondence Problem.- The Branching Point Approach to Conway’s Problem.- A Survey of Some Quantitative Approaches to the Notion of Information.- Nondeterministic Trajectories.- Binary Patterns in Infinite Binary Words.- Graph Transformations.- A Sight-seeing Tour of the Computational Landscape of Graph Transformation.- Local Action Systems and DPO Graph Transformation.- Bisimulation Equivalences for Graph Grammars.- Petri Nets.- High-Level Net Processes.- Petri Net Control for Grammar Systems.- Regular Event Structures and Finite Petri Nets: A Conjecture.- Concurrent Computing.- Towards Team-Automata-Driven Object-Oriented Collaborative Work.- Grammars as Processes.- Temporal Concurrent Constraint Programming: Applications and Behavior.- Molecular Computing.- Rewriting P Systems with Conditional Communication.- An Aqueous Algorithm for Finding the Bijections Contained in a Binary Relation.- Upper Bounds for Restricted Splicing.- Codes, Involutions, and DNA Encodings.- DNA Manipulations in Ciliates.- A Magic Pot : Self-assembly Computation Revisited.