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
OCR AS and A Level Computer Science (Paperback)
PG Online Limited
Our Price : £32.30
more details
BTEC First in I&CT Revision Workbook (Paperback)
By:
Pearson Education Limited
Our Price : £5.54
more details
Quantum Computation and Quantum Information (Hardback)
Cambridge University Press
Our Price : £53.99
more details
Algorithms to Live By (Paperback)
HarperCollins Publishers
Our Price : £8.02
more details
AQA AS and A Level Computer Science (Paperback)
PG Online Limited
Our Price : £32.30
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
 






Early Learning
Little Worried Caterpillar (PB) Little Green knows she''s about to make a big change - transformingfrom a caterpillar into a beautiful butterfly. Everyone is VERYexcited! But Little Green is VERY worried. What if being a butterflyisn''t as brilliant as everyone says?Join Little Green as she finds her own path ... with just a littlehelp from her friends.
add to basket

Early Learning
add to basket

Picture Book
All the Things We Carry PB What can you carry?A pebble? A teddy? A bright red balloon? A painting you''ve made?A hope or a dream?This gorgeous, reassuring picture book celebrates all the preciousthings we can carry, from toys and treasures to love and hope. With comforting rhymes and fabulous illustrations, this is a warmhug of a picture book.
add to basket