Vor Ort
Merkzettel Warenkorb
  • Produktbild: Formal and Natural Computing
  • Produktbild: Formal and Natural Computing
Band 2300

Formal and Natural Computing Essays Dedicated to Grzegorz Rozenberg

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

06.02.2002

Abbildungen

XXXVI, 436 p.

Herausgeber

Wilfried Brauer + weitere

Verlag

Springer Berlin

Seitenzahl

436

Maße (L/B/H)

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

Gewicht

715 g

Auflage

2002

Sprache

Englisch

ISBN

978-3-540-43190-9

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

06.02.2002

Abbildungen

XXXVI, 436 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

436

Maße (L/B/H)

23,5/15,5/2,6 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: 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: 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.