pickabook books with huge discounts for everyone
pickabook books with huge discounts for everyone
Visit our new collection website www.collectionsforschool.co.uk
     
Email: Subscribe to news & offers:
Need assistance? Log In/Register


Item Details
Title: BOOK OF TRACES, THE
By: Volker Diekert (Editor), Grzegorz Rozenberg (Editor)
Format: Hardback

List price: £180.00
Our price: £162.00
Discount:
10% off
You save: £18.00
ISBN 10: 9810220588
ISBN 13: 9789810220587
Availability: Usually dispatched within 1-3 weeks.
 Delivery rates
Stock: Currently 0 available
Publisher: WORLD SCIENTIFIC PUBLISHING CO PTE LTD
Pub. date: 1 March, 1995
Pages: 568
Description: This text covers important research lines of the theory of traces. Each chapter of the book is devoted to one research line and can be read independently, hence it is suitable for advanced courses and seminars on formal language theory and the theory of concurrent systems.
Synopsis: The theory of traces employs techniques and tackles problems from quite diverse areas which include formal language theory, combinatorics, graph theory, algebra, logic, and the theory of concurrent systems. In all these areas the theory of traces has led to interesting problems and significant results. It has made an especially big impact in formal language theory and the theory of concurrent systems. In both these disciplines it is a well-recognized and dynamic research area. Within formal language theory it yields the theory of partially commutative monoids, and provides an important connection between languages and graphs. Within the theory of concurrent systems it provides an important formal framework for the analysis and synthesis of concurrent systems.This monograph covers all important research lines of the theory of traces; each chapter is devoted to one research line and is written by leading experts. The book is organized in such a way that each chapter can be read independently - and hence it is very suitable for advanced courses or seminars on formal language theory, the theory of concurrent systems, the theory of semigroups, and combinatorics. An extensive bibliography is included. At present, there is no other book of this type on trace theory.
Publication: Singapore
Imprint: World Scientific Publishing Co Pte Ltd
Returns: Returnable
Some other items by this author:
A DECADE OF CONCURRENCY: REFLECTIONS AND PERSPECTIVES (PB)
ADVANCES IN PETRI NETS (PB)
ADVANCES IN PETRI NETS (PB)
ADVANCES IN PETRI NETS (PB)
ADVANCES IN PETRI NETS (PB)
ADVANCES IN PETRI NETS (PB)
ADVANCES IN PETRI NETS 1986 (PB)
ADVANCES IN PETRI NETS 1988 (PB)
ADVANCES IN PETRI NETS 1990 (PB)
ALGORITHMIC AND GEOMETRIC TOPICS AROUND FREE GROUPS AND AUTOMORPHISMS (PB)
APPLICATION OF PETRI NETS TO COMMUNICATION NETWORKS (PB)
ASPECTS OF MOLECULAR COMPUTING (PB)
CARL ADAM PETRI: IDEAS, PERSONALITY, IMPACT (HB)
COMBINATORICS ON TRACES (PB)
COMPUTER SCIENCE - THEORY AND APPLICATIONS (PB)
CONCURRENCY AND HARDWARE DESIGN (PB)
CONCURRENCY AND NETS (PB)
CONCURRENT OBJECT-ORIENTED PROGRAMMING AND PETRI NETS (PB)
CORNERSTONES UNDECIDABILTY (PB)
CURRENT TRENDS IN CONCURRENCY (PB)
CURRENT TRENDS IN THEORETICAL COMPUTER SCIENCE - ENTERING THE 21ST CENTURY (HB)
CURRENT TRENDS IN THEORETICAL COMPUTER SCIENCE: ESSAYS AND TUTORIALS (HB)
CURRENT TRENDS IN THEORETICAL COMPUTER SCIENCE: THE CHALLENGE OF THE NEW CENTURY (IN 2 VOLUMES) (HB)
CURRENT TRENDS IN THEORETICAL COMPUTER SCIENCE: THE CHALLENGE OF THE NEW CENTURY - VOLUME 2: FORMAL MODELS AND SEMANTICS (HB)
DEVELOPMENTS IN LANGUAGE THEORY (HB)
DEVELOPMENTS IN LANGUAGE THEORY (PB)
DEVELOPMENTS IN LANGUAGE THEORY (PB)
DEVELOPMENTS IN LANGUAGE THEORY II, AT THE CROSSROADS OF MATHEMATICS, COMPUTER SCIENCE AND BIOLOGY (HB)
DEVELOPMENTS IN LANGUAGE THEORY: FOUNDATIONS, APPLICATIONS, AND PERSPECTIVES - PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE (HB)
DISCRETE ALGEBRAIC METHODS
DISCRETE ALGEBRAIC METHODS
DISCRETE ALGEBRAIC METHODS (PB)
DISKRETE ALGEBRAISCHE METHODEN
DNA COMPUTING (HB)
DNA COMPUTING (PB)
DNA COMPUTING (PB)
ELEMENTE DER DISKRETEN MATHEMATIK
FOUNDATIONS OF OBJECT-ORIENTED LANGUAGES (PB)
GRAPH GRAMMARS AND THEIR APPLICATION TO COMPUTER SCIENCE (PB)
GRAPH TRANSFORMATIONS (PB)
GRAPH TRANSFORMATIONS (PB)
GRAPH-GRAMMARS AND THEIR APPLICATION TO COMPUTER SCIENCE (PB)
GRAPH-GRAMMARS AND THEIR APPLICATION TO COMPUTER SCIENCE AND BIOLOGY (PB)
HANDBOOK OF FORMAL LANGUAGES (HB)
HANDBOOK OF FORMAL LANGUAGES (HB)
HANDBOOK OF FORMAL LANGUAGES (HB)
HANDBOOK OF FORMAL LANGUAGES (HB)
HANDBOOK OF FORMAL LANGUAGES (PB)
HANDBOOK OF FORMAL LANGUAGES (PB)
HANDBOOK OF FORMAL LANGUAGES (PB)
HANDBOOK OF GRAPH GRAMMARS AND COMPUTING BY GRAPH TRANSFORMATION, VOL 1: FOUNDATIONS (HB)
HANDBOOK OF GRAPH GRAMMARS AND COMPUTING BY GRAPH TRANSFORMATIONS, VOL 2: APPLICATIONS, LANGUAGES AND TOOLS (HB)
HANDBOOK OF GRAPH GRAMMARS AND COMPUTING BY GRAPH TRANSFORMATIONS, VOL 3: CONCURRENCY, PARALLELISM, AND DISTRIBUTION (HB)
HANDBOOK OF NATURAL COMPUTING
HANDBOOK OF NATURAL COMPUTING
HANDBOOK OF NATURAL COMPUTING (HB)
HIGH-LEVEL PETRI NETS (PB)
INFORMATIK ALS DIALOG ZWISCHEN THEORIE UND ANWENDUNG (PB)
LECTURES ON EMBEDDED SYSTEMS (PB)
LECTURES ON PETRI NETS I: BASIC MODELS (PB)
LECTURES ON PETRI NETS II: APPLICATIONS (PB)
LINDENMAYER SYSTEMS (HB)
LINDENMAYER SYSTEMS (PB)
LINEAR TIME, BRANCHING TIME AND PARTIAL ORDER IN LOGICS AND MODELS FOR CONCURRENCY (PB)
MEMBRANE COMPUTING (PB)
MEMBRANE COMPUTING (PB)
MEMBRANE COMPUTING (PB)
MEMBRANE COMPUTING (PB)
MEMBRANE COMPUTING (PB)
MEMBRANE COMPUTING (PB)
MEMBRANE COMPUTING (PB)
MEMBRANE COMPUTING (PB)
MODELLING IN MOLECULAR BIOLOGY (HB)
MODELLING IN MOLECULAR BIOLOGY (PB)
MULTISET PROCESSING (PB)
NANOTECHNOLOGY (HB)
NANOTECHNOLOGY (PB)
PETRI NET TECHNOLOGY FOR COMMUNICATION-BASED SYSTEMS (PB)
PETRI NETS (PB)
RAINBOW OF COMPUTER SCIENCE (PB)
RESULTS AND TRENDS IN THEORETICAL COMPUTER SCIENCE (PB)
SEMANTICS, FOUNDATIONS AND APPLICATIONS (PB)
STACS 2004 (PB)
STACS 2005 (PB)
STEPWISE REFINEMENT OF DISTRIBUTED SYSTEMS (PB)
STRUCTURES IN LOGIC AND COMPUTER SCIENCE (PB)
THE MATHEMATICAL THEORY OF L SYSTEMS
THE OXFORD HANDBOOK OF MEMBRANE COMPUTING (HB)
THEORY OF 2-STRUCTURES, THE: A FRAMEWORK FOR DECOMPOSITION AND TRANSFORMATION OF GRAPHS (HB)

TOP SELLERS IN THIS CATEGORY
Algorithms to Live By (Paperback)
HarperCollins Publishers
Our Price : £8.02
more details
OCR AS and A Level Computer Science (Paperback)
PG Online Limited
Our Price : £32.30
more details
Spark: The Definitive Guide (Paperback)
O'Reilly Media, Inc, USA
Our Price : £40.87
more details
Revise BTEC National Computing Revision Guide (Mixed media product)
By:
Pearson Education Limited
Our Price : £20.34
more details
Practical Vim (Paperback)
The Pragmatic Programmers
Our Price : £20.69
more details
BROWSE FOR BOOKS IN RELATED CATEGORIES
 COMPUTING AND INFORMATION TECHNOLOGY
 general theory of computing


Information provided by www.pickabook.co.uk
SHOPPING BASKET
  
Your basket is empty
  Total Items: 0
 

NEW
World’s Worst Superheroes GET READY FOR SOME SUPERSIZED FUN!
add to basket





New
No Cheese, Please! A fun picture book for children with food allergies - full of friendship and super-cute characters!Little Mo the mouse is having a birthday party.
add to basket

New
My Brother Is a Superhero Luke is massively annoyed about this, but when Zack is kidnapped by his arch-nemesis, Luke and his friends have only five days to find him and save the world...
add to basket


Picture Book
Animal Actions: Snap Like a Crab
By:
The first title in a new preschool series from Guilherme Karsten.
add to basket