0
Your cart

Your cart is empty

Books > Computing & IT > Computer programming

Buy Now

Boolean Functions and Computation Models (Hardcover, 2002 ed.) Loot Price: R2,344
Discovery Miles 23 440
You Save: R349 (13%)
Boolean Functions and Computation Models (Hardcover, 2002 ed.): Peter Clote, Evangelos Kranakis

Boolean Functions and Computation Models (Hardcover, 2002 ed.)

Peter Clote, Evangelos Kranakis

Series: Texts in Theoretical Computer Science. An EATCS Series

 (sign in to rate)
List price R2,693 Loot Price R2,344 Discovery Miles 23 440 | Repayment Terms: R220 pm x 12* You Save R349 (13%)

Bookmark and Share

Expected to ship within 10 - 15 working 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.

General

Imprint: Springer-Verlag
Country of origin: Germany
Series: Texts in Theoretical Computer Science. An EATCS Series
Release date: September 2002
First published: September 2002
Authors: Peter Clote • Evangelos Kranakis
Dimensions: 235 x 155 x 29mm (L x W x T)
Format: Hardcover
Pages: 602
Edition: 2002 ed.
ISBN-13: 978-3-540-59436-9
Categories: Books > Computing & IT > General theory of computing > Mathematical theory of computation
Books > Computing & IT > Computer programming > General
Books > Computing & IT > Computer hardware & operating systems > Computer architecture & logic design > Parallel processing
Promotions
LSN: 3-540-59436-1
Barcode: 9783540594369

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Problem Solving with C++ - Global…
Walter Savitch Paperback R2,189 R1,762 Discovery Miles 17 620
Programming Logic & Design
Joyce Farrell Paperback R757 Discovery Miles 7 570
C++ Programming - Program Design…
D. Malik Paperback R1,646 R1,523 Discovery Miles 15 230
Program Construction - Calculating…
Roland Backhouse Paperback R1,384 Discovery Miles 13 840
Programming Logic & Design…
Joyce Farrell Paperback R1,256 R1,170 Discovery Miles 11 700
Hardware Accelerator Systems for…
Shiho Kim, Ganesh Chandra Deka Hardcover R3,950 Discovery Miles 39 500
Dark Silicon and Future On-chip Systems…
Suyel Namasudra, Hamid Sarbazi-Azad Hardcover R3,940 Discovery Miles 39 400
Temporal Data Mining via Unsupervised…
Yun Yang Paperback R1,173 Discovery Miles 11 730
Creativity in Computing and DataFlow…
Suyel Namasudra, Veljko Milutinovic Hardcover R4,204 Discovery Miles 42 040
News Search, Blogs and Feeds - A Toolkit
Lars Vage, Lars Iselid Paperback R1,332 Discovery Miles 13 320
Microcontroller Projects in C for the…
Dogan Ibrahim Paperback R1,455 Discovery Miles 14 550
Essential Java for Scientists and…
Brian Hahn, Katherine Malan Paperback R1,266 Discovery Miles 12 660

See more

Partners