Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 5-10 Tagen versandfertig
Veröffentlichung:	Oktober 2010
Genre:	EDV / Informatik
	Beweissysteme / Booleanfunction / BoolescheFunktionen / Combinatorics / complexity / complexitytheory / Computerprogrammierung und Softwareentwicklung / ErfüllbarkeitsproblemderAussagenlogik / Komplexitätstheorie / ParallelesRechnen / ProofTheory / Systemanalyse und -design / Theoretische Informatik mehr...
ISBN:	9783642082177
EAN-Code:	9783642082177
Verlag:	Springer
Einband:	Kartoniert
Sprache:	English
Serie:	Texts in Theoretical Computer Science. An EATCS Series
Dimensionen:	H 235 mm / B 155 mm / D 34 mm
Gewicht:	925 gr
Seiten:	620
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

This advanced textbook surveys research on boolean functions, circuits, parallel computation models, function algebras, and proof systems, with an overriding focus on the structure of "fast" parallel computation.