Boolean Functions and Computation Models Image close
Boolean Functions and Computation Models on Hardback by Peter Clote
Boolean Functions and Computation Models on Hardback by Peter Clote
Show Hide Adult Content
Boolean Functions and Computation Models close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Theory & Design  
Mathematical theory of computation

Boolean Functions and Computation Models

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Hardback
$217.99
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $54.50 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 13-25 June using International Courier

Explore more Texts in Theoretical Computer Science: An EATCS Series

See all products in this series

Interactive Theorem Proving and Program Development on Hardback by Yves Bertot
$296.99
Interactive Theorem Proving and Program Development
by Yves Bertot ~ Hardback
Available - Usually ships in 3-4 weeks
Information and Randomness by Cristian S. Calude Save $15
$165.99
$181.95
Information and Randomness
by Cristian S. Calude ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Structural Complexity I by Josep Diaz Save $45
$135.99
$181.95
Structural Complexity I
by Josep Diaz ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Petri Net Synthesis on Hardback by Eric Badouel
$164.99
Petri Net Synthesis
by Eric Badouel ~ Hardback
Available - Usually ships in 3-4 weeks
Graphs and Algorithms in Communication Networks on Hardback
$413.99
Graphs and Algorithms in Communication Networks
Hardback
Available - Usually ships in 3-4 weeks
DNA Computing by Gheorghe Pa?un
$288.99
DNA Computing
by Gheorghe Pa?un ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Dissemination of Information in Optical Networks: on Hardback by Subir Bandyopadhyay Save $6
$140.99
$147.95
Dissemination of Information in Optical Networks:
by Subir Bandyopadhyay ~ Hardback
Available - Usually ships in 3-4 weeks
Decision Procedures on Hardback by Daniel Kroening
$189.99
Decision Procedures
by Daniel Kroening ~ Hardback
Available - Usually ships in 3-4 weeks
Finite Model Theory and Its Applications on Hardback by Erich Gradel
$246.99
Finite Model Theory and Its Applications
by Erich Gradel ~ Hardback
Available - Usually ships in 3-4 weeks
Modelling Distributed Systems on Hardback by Wan Fokkink
$135.99
Modelling Distributed Systems
by Wan Fokkink ~ Hardback
Available - Usually ships in 3-4 weeks
Theoretical Computer Science by Juraj Hromkovic
$265.99
Theoretical Computer Science
by Juraj Hromkovic ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Decision Procedures on Hardback by Daniel Kroening
$211.99
Decision Procedures
by Daniel Kroening ~ Hardback
Available - Usually ships in 3-4 weeks
Temporal Logic and State Systems on Hardback by Stephan Merz
$213.99
Temporal Logic and State Systems
by Stephan Merz ~ Hardback
Available - Usually ships in 3-4 weeks
Models of Computation on Hardback by Roberto Bruni
$165.99
Models of Computation
by Roberto Bruni ~ Hardback
Available - Usually ships in 3-4 weeks
Graphs and Algorithms in Communication Networks
$408.99
Graphs and Algorithms in Communication Networks
Paperback / softback
Available - Usually ships in 3-4 weeks
Information and Randomness on Hardback by Cristian S. Calude
$225.99
Information and Randomness
by Cristian S. Calude ~ Hardback
Available - Usually ships in 3-4 weeks

Description

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.
Release date Australia
September 19th, 2002
Audiences
  • Postgraduate, Research & Scholarly
  • Professional & Vocational
  • Undergraduate
Illustrations
XIV, 602 p.
Pages
602
Dimensions
155x235x33
ISBN-13
9783540594369
Product ID
2495084

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Explore more by Peter Clote

See all books by this author

Boolean Functions and Computation Models by Peter Clote
$271.99
Boolean Functions and Computation Models
by Peter Clote ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Computational Molecular Biology by Peter Clote
$247.99
Computational Molecular Biology
by Peter Clote ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Computational Molecular Biology on Hardback by Peter Clote
$724.99
Computational Molecular Biology
by Peter Clote ~ Hardback
Available - Usually ships in 3-4 weeks

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Theory & Design >
Mathematical theory of computation
Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations
Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations >
Mathematical logic
Books >
Computers & Internet >
Hardware & Operating Systems >
Computer architecture & logic design >
Parallel processing
Books >
Computers & Internet >
Computer Programming
Books >
Computers & Internet >
Computer programming / software development
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Systems analysis & design
Books >
Computers & Internet >
Computer science >
Computer architecture & logic design >
Parallel processing