Boolean Functions and Computation Models

Boolean Functions and Computation Models

Weitere Versionen anzeigen (1)

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 o...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Clote, Peter (VerfasserIn), Kranakis, Evangelos (VerfasserIn)
Format: Elektronisch E-Book
Sprache:English
Veröffentlicht: Berlin, Heidelberg Springer Berlin Heidelberg 2002
Ausgabe:1st ed. 2002
Schriftenreihe:Texts in Theoretical Computer Science. An EATCS Series
Schlagworte:
Computer System Implementation
Computation by Abstract Devices
Mathematical Logic and Formal Languages
Programming Techniques
Mathematical Logic and Foundations
Architecture, Computer
Computers
Mathematical logic
Computer programming
Computer
Berechnungskomplexität
Boolesche Funktion
Mathematisches Modell
Online-Zugang:DE-706
URL des Eerstveröffentlichers
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

Wegen Wartungsarbeiten nicht verfügbar

Unser Bibliotheksverwaltungssystem ist momentan wegen Wartungsarbeiten nicht verfügbar.

Bestandes- und Verfügbarkeitsinformationen können momentan leider nicht angezeigt werden. Wir entschuldigen uns für die Umstände und stehen für weitere Fragen gerne zur Verfügung:

it.bib-wue@thws.de

Online

DE-706
URL des Eerstveröffentlichers

Ähnliche Einträge