Get Free Shipping on orders over $89
Texts in Theoretical Computer Science. an Eatcs : Texts in Theoretical Computer Science - Peter Clote

Texts in Theoretical Computer Science. an Eatcs

By: Peter Clote, Evangelos Kranakis

Hardcover | 19 September 2002

At a Glance

Hardcover


$129.75

or 4 interest-free payments of $32.44 with

 or 

Ships in 5 to 7 business days

This textbook presents a survey of research on boolean functions, circuits, parallel computation models, function algebras, and proof systems. Its main aim is to elucidate the structure of "fast" parallel computation. The complexity of parallel computation is emphasized through a variety of techniques ranging from finite combinatorics, probability theory and finite group theory to finite model theory and proof theory. Nonuniform computation models are studied in the form of boolean circuits; uniform ones in a variety of forms. Steps in the investigation of non-deterministic polynomial time are surveyed as is the complexity of various proof systems. The book will benefit advanced undergraduates and graduate students as well as researchers in the field of complexity theory.
Industry Reviews

From the reviews:

"The monograph gives the most recent and complete description of lower bounds for depth-restricted circuits, and propositional proof systems. ... the authors present a research monograph on important subjects and provide many very recent results. I would recommend it for any university library and also for researchers." (Ingo Wegener, The Computer Journal, Vol. 46 (3), 2003)

Other Editions and Formats

Paperback

Published: 21st October 2010

More in Mathematical Foundation

Oxford Maths for Australian Schools Year 3 Value Pack : 3rd Edition - Annie Facchinetti
Oxford Maths for Australian Schools Year 4 Value Pack : 3rd Edition - Annie Facchinetti
Oxford Maths for Australian Schools Year 6 Value Pack : 3rd Edition - Brian Murray
Oxford Maths for Australian Schools Year 2 Value Pack : 3rd Edition - Annie Facchinetti
Oxford Maths for Australian Schools Value Pack Year 5 : Oxford Maths - Brian Murray
Oxford Maths for Australian Schools Year 1 Value Pack : 3rd Edition - Annie Facchinetti
Handbook of Automated Reasoning - Rachel Phillips
Current Trends in Automated Reasoning - Erika Bach
Foundation Maths : 7th Edition - Anthony Croft

RRP $140.65

$124.75

11%
OFF
Oxford Maths for Australian Schools Year F Value Pack : 3rd Edition - Annie Facchinetti
Teaching Secondary Mathematics : 2nd Edition - Bing H.  Ngu

RRP $80.95

$66.99

17%
OFF
Unequal : The Maths of When Things Do and Don't Add Up - Eugenia Cheng
The Language of Mathematics : The Stories behind the Symbols - Raul Rojas
Teaching Mathematics 3e & Open Ended Maths Activities Revised Ed Value Pack - Dianne Siemon