did-you-know? rent-now

Amazon no longer offers textbook rentals. We do!

did-you-know? rent-now

Amazon no longer offers textbook rentals. We do!

We're the #1 textbook rental company. Let us show you why.

9783540431909

Formal and Natural Computing : Essays Dedicated to Grzegorz Rozenberg

by ; ; ;
  • ISBN13:

    9783540431909

  • ISBN10:

    354043190X

  • Format: Paperback
  • Copyright: 2002-04-01
  • Publisher: Springer Verlag
  • Purchase Benefits
  • Free Shipping Icon Free Shipping On Orders Over $35!
    Your order must be $35 or more to qualify for free economy shipping. Bulk sales, PO's, Marketplace items, eBooks and apparel do not qualify for this offer.
  • eCampus.com Logo Get Rewarded for Ordering Your Textbooks! Enroll Now
List Price: $129.00 Save up to $110.44
  • Digital
    $40.22
    Add to Cart

    DURATION
    PRICE

Supplemental Materials

What is included with this book?

Summary

Many objects are beautiful; and many creations are functional. But only few achieve enduring status. The 'Design Classics"" series presents such select products that have set standards in form, function and brand communication. Each monograph is a richly illustrated essay and product portrait, from conception to production, from prototype to collectors' item.

Table of Contents

Bibliography of Grzegorz Rozenbergp. xiii
Words, Languages, Automata
Balanced Grammars and Their Languagesp. 3
Safety and Liveness Properties for Real Traces and a Direct Translation from LTL to Monoidsp. 26
The Delta Operation: From Strings to Trees to Stringsp. 39
Infinite Solutions of Marked Post Correspondence Problemp. 57
The Branching Point Approach to ConwayÆs Problemp. 69
A Survey of Some Quantitative Approaches to the Notion of Informationp. 77
Nondeterministic Trajectoriesp. 96
Binary Patterns in Infinite Binary Wordsp. 107
Graph Transformations
A Sight-seeing Tour of the Computational Landscape of Graph Transformationp. 119
Local Action Systems and DPO Graph Transformationp. 138
Bisimulation Equivalences for Graph Grammarsp. 158
Petri Nets
High-Level Net Processesp. 191
Petri Net Control for Grammar Systemsp. 220
Regular Event Structures and Finite Petri Nets: A Conjecturep. 244
Concurrent Computing
Towards Team-Automata-Driven Object-Oriented Collaborative Workp. 257
Grammars as Processesp. 277
Temporal Concurrent Constraint Programming: Applications and Behaviorp. 298
Molecular Computing
Rewriting P Systems with Conditional Communicationp. 325
An Aqueous Algorithm for Finding the Bijections Contained in a Binary Relationp. 354
Upper Bounds for Restricted Splicingp. 361
Codes, Involutions, and DNA Encodingsp. 376
DNA Manipulations in Ciliatesp. 394
A Magic Pot Self-assembly Computation Revisitedp. 418
Author Indexp. 431
Table of Contents provided by Publisher. All Rights Reserved.

Supplemental Materials

What is included with this book?

The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.

The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.

Rewards Program