Advanced Boolean Techniques

Selected Papers from the 13th International Workshop on Boolean Problems de

,

Éditeur :

Springer


Paru le : 2019-07-08

eBook Téléchargement , DRM LCP 🛈 DRM Adobe 🛈
Lecture en ligne (streaming)
94,94

Téléchargement immédiat
Dès validation de votre commande
Image Louise Reader présentation

Louise Reader

Lisez ce titre sur l'application Louise Reader.

Description

Ce livre décrit les découvertes récentes dans le domaine de la logique booléenne et de l'algèbre booléenne, couvrant les domaines d'application de la conception de circuits et de systèmes, mais aussi la recherche fondamentale en mathématiques et en informatique théorique, avec des chapitres invités et une sélection des meilleurs articles présentés au 13e Atelier international annuel sur les problèmes booléens.

Fournit une référence unique aux recherches les plus récentes dans le domaine de la synthèse logique et des techniques booléennes ;Comprend une sélection des meilleures communications présentées au 13e Atelier international annuel sur les problèmes booléens ;Couvre les algèbres booléennes, la logique booléenne, la modélisation booléenne, la recherche combinatoire, l'arithmétique booléenne et binaire, les logiciels et outils pour la résolution des problèmes booléens, les applications de la logique booléenne et des algèbres, les applications aux problèmes réels, la résolution des contraintes booléennes et les extensions de la logique booléenne.
Pages
265 pages
Collection
n.c
Parution
2019-07-08
Marque
Springer
EAN papier
9783030203221
EAN PDF
9783030203238

Informations sur l'ebook
Nombre pages copiables
2
Nombre pages imprimables
26
Taille du fichier
4659 Ko
Prix
94,94 €
EAN EPUB
9783030203238

Informations sur l'ebook
Nombre pages copiables
2
Nombre pages imprimables
26
Taille du fichier
15882 Ko
Prix
94,94 €

Suggestions personnalisées