Livrare gratuită pentru comenzile de peste 349 LEI prin Easybox, FAN BOX și Coletăria.

Verifică starea comenzii

Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit

Transport gratuit la punctele de livrare Pick Up peste 349.00 lei

Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei FAN Courier 25.00 lei

Contact

Cum să cumpăr

Ajutor

Contul meu

▸ Gol :-(

Livrare gratuită pentru comenzile de peste 349 LEI prin Easybox, FAN BOX și Coletăria.

Boolean Functions and Computation Models

Name: Boolean Functions and Computation Models
Brand: Springer, Berlin
SKU: 01653254
Price: 428.24 RON
Availability: InStock
Author: Peter Clote
ISBN: 9783642082177

Peter Clote

Evangelos Kranakis

Limba

engleză

Carte Carte broșată

Codul Libristo: 01653254

Editura Springer, Berlin, octombrie 2010

The two internationally renowned authors elucidate the structure of "fast" parallel computation. Its... Descrierea completă

Codul Libristo: 01653254

197 b

428.24 lei

În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Bandera Orlan Mac

Carte broșată

48.39 lei

parlamentarische Regierungssystem der Bundesrepublik Deutschland Marko Rossmann

Carte broșată

89.92 lei

Timur und sein Trupp Arkadi Gaidar

Copertă tare

61.44 lei

Fotbalový pohár Jaroslav Kolář

Copertă tare

109.22 lei

Fühl dich wohl, m. 2 Audio-CDs Bianca Joggerst

Carte broșată

117.04 lei

Weitblick in Teilbanden Claudia Böschel

Carte broșată

97.74 lei

Kita aktiv Projektmappe "Piraten" Cornelia Emde

Foaie

77.08 lei

Manual de modelado y animación con Blender Pablo Suau Pérez

Carte broșată

155.33 lei

EDEN´S BOWY 02 (COMIC)

Carte broșată

59.35 lei

Pendant La Revolution ARENE-J

Carte broșată

111.82 lei

Cinderella (Puzzle) Thomas Kinkade

Joc

70.20 lei

complexidade na educacao e na organizacao do trabalho formal Da Silva Juarez Francisco

Carte broșată

208.32 lei

The two internationally renowned authors elucidate the structure of "fast" parallel computation. Its complexity is emphasised through a variety of techniques ranging from finite combinatorics, probability theory and finite group theory to finite model theory and proof theory. Non-uniform 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. Providing a survey of research in the field, the book will benefit advanced undergraduates and graduate students as well as researchers.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 undergraduate and graduate students as well as researchers in the field of complexity theory.