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: CURRENT TRENDS IN THEORETICAL COMPUTER SCIENCE: THE CHALLENGE OF THE NEW CENTURY - VOLUME 2: FORMAL MODELS AND SEMANTICS
By: Gheorghe Paun (Editor), Grzegorz Rozenberg (Editor), Arto Salomaa (Editor)
Format: Hardback

List price: £102.00


We currently do not stock this item, please contact the publisher directly for further information.

ISBN 10: 9812389652
ISBN 13: 9789812389657
Publisher: WORLD SCIENTIFIC PUBLISHING CO PTE LTD
Pub. date: 20 April, 2004
Synopsis: This book is based on columns and tutorials published in the Bulletin of the European Association for Theoretical Computer Science (EATCS) during the period 2000-2003. It presents many of the most active current research lines in theoretical computer science. The material appears in two volumes, "Algorithms and Complexity" and "Formal Models and Semantics", reflecting the traditional division of the field.The list of contributors includes many of the well-known researchers in theoretical computer science. Most of the articles are reader-friendly and do not presuppose much knowledge of the area in question. Therefore, the book constitutes very suitable supplementary reading material for various courses and seminars in computer science.
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)
ADVANCING SOCIAL WORK PRACTICE IN THE HEALTH CARE FIELD
ADVANCING SOCIAL WORK PRACTICE IN THE HEALTH CARE FIELD
ADVANCING SOCIAL WORK PRACTICE IN THE HEALTH CARE FIELD
ADVANCING SOCIAL WORK PRACTICE IN THE HEALTH CARE FIELD (HB)
ADVANCING SOCIAL WORK PRACTICE IN THE HEALTH CARE FIELD (PB)
APPLICATION OF PETRI NETS TO COMMUNICATION NETWORKS (PB)
APPLICATIONS OF MEMBRANE COMPUTING (HB)
APPLICATIONS OF MEMBRANE COMPUTING (PB)
ASPECTS OF MOLECULAR COMPUTING (PB)
AUTOMATA, LANGUAGES AND PROGRAMMING (PB)
AUTOMATA-THEORETIC ASPECTS OF FORMAL POWER SERIES (HB)
AUTOMATA-THEORETIC ASPECTS OF FORMAL POWER SERIES (PB)
BEHAVIORAL AND SOCIAL SCIENCES IN 21ST CENTURY HEALTH CARE (HB)
BEHAVIORAL AND SOCIAL SCIENCES IN 21ST CENTURY HEALTH CARE (PB)
BEHAVIORAL SOCIAL WORK IN HEALTH CARE SETTINGS
BEHAVIORAL SOCIAL WORK IN HEALTH CARE SETTINGS
BEHAVIORAL SOCIAL WORK IN HEALTH CARE SETTINGS
BEHAVIORAL SOCIAL WORK IN HEALTH CARE SETTINGS (HB)
BEHAVIORAL SOCIAL WORK IN HEALTH CARE SETTINGS (PB)
BIBLIOMETRICS IN SOCIAL WORK
BIBLIOMETRICS IN SOCIAL WORK
BIBLIOMETRICS IN SOCIAL WORK
BIBLIOMETRICS IN SOCIAL WORK (HB)
BIBLIOMETRICS IN SOCIAL WORK (PB)
BIO-INSPIRED COMPUTING: THEORIES AND APPLICATIONS (PB)
BOOK OF TRACES, THE (HB)
BORDERLINE PERSONALITY DISORDER (HB)
BORDERLINE PERSONALITY DISORDER (PB)
CARL ADAM PETRI: IDEAS, PERSONALITY, IMPACT (HB)
CHINESE REMAINDER THEOREM: APPLICATIONS IN COMPUTING, CODING, CRYPTOGRAPHY (HB)
CLINICAL CASE MANAGEMENT FOR PEOPLE WITH MENTAL ILLNESS
CLINICAL CASE MANAGEMENT FOR PEOPLE WITH MENTAL ILLNESS
CLINICAL CASE MANAGEMENT FOR PEOPLE WITH MENTAL ILLNESS
CLINICAL CASE MANAGEMENT FOR PEOPLE WITH MENTAL ILLNESS (HB)
CLINICAL CASE MANAGEMENT FOR PEOPLE WITH MENTAL ILLNESS (PB)
COMPUTATION AND AUTOMATA
COMPUTATION AND AUTOMATA (HB)
COMPUTATION AND AUTOMATA (PB)
COMPUTING WITH BIO-MOLECULES (PB)
COMPUTING WITH CELLS AND ATOMS
COMPUTING WITH CELLS AND ATOMS (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)
DEVELOPMENTS IN LANGUAGE THEORY (HB)
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)
DNA COMPUTING (HB)
DNA COMPUTING (PB)
DNA COMPUTING (PB)
FINITE VERSUS INFINITE (PB)
FORMAL LANGUAGES AND APPLICATIONS (HB)
FORMAL LANGUAGES AND APPLICATIONS (PB)
FOUNDATIONS OF OBJECT-ORIENTED LANGUAGES (PB)
FUNDAMENTALS OF COMPUTATION THEORY (PB)
GRAMMAR SYSTEM:GRAMMATIC APP/D
GRAMMAR SYSTEM:GRAMMATIC APP/D
GRAMMAR SYSTEM:GRAMMATIC APP/D
GRAMMAR SYSTEM:GRAMMATIC APP/D (HB)
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)
HALF-CENTURY OF AUTOMATA THEORY, A: CELEBRATION AND INSPIRATION (HB)
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)
INTERNATIONAL SOCIAL HEALTH CARE POLICY, PROGRAM AND STUDIES (HB)
INTERNATIONAL SOCIAL HEALTH CARE POLICY, PROGRAM AND STUDIES (PB)
J.UCS THE JOURNAL OF UNIVERSAL COMPUTER SCIENCE (PB)
J.UCS. THE JOURNAL OF UNIVERSAL COMPUTER SCIENCE
J.UCS. THE JOURNAL OF UNIVERSAL COMPUTER SCIENCE (HB)
J.UCS. THE JOURNAL OF UNIVERSAL COMPUTER SCIENCE (HB)
J.UCS. THE JOURNAL OF UNIVERSAL COMPUTER SCIENCE (HB)
JEWELS ARE FOREVER (PB)
LAVENDER FIELDS OF AMERICA, A NEW CROP OF AMERICAN FARMERS
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)
MARCUS CONTEXTUAL GRAMMARS (HB)
MARCUS CONTEXTUAL GRAMMARS (PB)
MATHEMATICAL ASPECTS OF NATURAL AND FORMAL LANGUAGES (HB)
MEMBRANE COMPUTING (HB)
MEMBRANE COMPUTING (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)
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)
NEUROINFLAMMATION IN VASCULAR DEMENTIA
NEW TRENDS IN FORMAL LANGUAGES (PB)
PETRI NET TECHNOLOGY FOR COMMUNICATION-BASED SYSTEMS (PB)
PETRI NETS (PB)
PUBLIC-KEY CRYPTOGRAPHY (HB)
PUBLIC-KEY CRYPTOGRAPHY (PB)
QUALITY OF LIFE IN LONG-TERM CARE (HB)
RAINBOW OF COMPUTER SCIENCE (PB)
REGULATED REWRITING IN FORMAL LANGUAGE THEORY (HB)
REGULATED REWRITING IN FORMAL LANGUAGE THEORY (PB)
RESULTS AND TRENDS IN THEORETICAL COMPUTER SCIENCE (PB)
SEMANTICS, FOUNDATIONS AND APPLICATIONS (PB)
SOCIAL WORK ADMINISTRATION IN HEALTH CARE (HB)
SOCIAL WORK ADMINISTRATION IN HEALTH CARE (PB)
SOCIAL WORK IN AMBULATORY CARE
SOCIAL WORK IN AMBULATORY CARE
SOCIAL WORK IN AMBULATORY CARE
SOCIAL WORK IN AMBULATORY CARE (HB)
SOCIAL WORK IN PEDIATRICS (HB)
SOCIAL WORK LEADERSHIP IN HEALTHCARE
SOCIAL WORK LEADERSHIP IN HEALTHCARE
SOCIAL WORK LEADERSHIP IN HEALTHCARE
SOCIAL WORK LEADERSHIP IN HEALTHCARE (HB)
SOCIAL WORK LEADERSHIP IN HEALTHCARE (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)
THE SOCIAL WORK MEDICINE RELATIONSHIP (HB)
THE SOCIAL WORK MEDICINE RELATIONSHIP (PB)
THE SOCIAL WORK-MEDICINE RELATIONSHIP
THE SOCIAL WORK-MEDICINE RELATIONSHIP
THE SOCIAL WORK-MEDICINE RELATIONSHIP
THEORY IS FOREVER (PB)
THEORY OF 2-STRUCTURES, THE: A FRAMEWORK FOR DECOMPOSITION AND TRANSFORMATION OF GRAPHS (HB)
UNCONVENTIONAL COMPUTATION (PB)
UNCONVENTIONAL COMPUTATION (PB)
WORDS, SEMIGROUPS, AND TRANSDUCTIONS: FESTSCHRIFT IN HONOR OF GABRIEL THIERRIN (HB)

TOP SELLERS IN THIS CATEGORY
BTEC First in I&CT Revision Workbook (Paperback)
By:
Pearson Education Limited
Our Price : £5.54
more details
OCR AS and A Level Computer Science (Paperback)
PG Online Limited
Our Price : £32.30
more details
Innovators (Paperback)
Simon & Schuster Ltd
Our Price : £8.02
more details
BTEC Nationals Information Technology (Mixed media product)
Pearson Education Limited
Our Price : £29.84
more details
Deep Learning (Hardback)
MIT Press Ltd
Our Price : £76.00
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
Ramadan and Eid al-Fitr A celebratory, inclusive and educational exploration of Ramadan and Eid al-Fitr for both children that celebrate and children who want to understand and appreciate their peers who do.
add to basket

Learning
That''s My Story!: Drama for Confidence, Communication and C... The ability to communicate is an essential life skill for all children, underpinning their confidence, personal and social wellbeing, and sense of self.
add to basket