1 : pt. 1 Fonctions de base. XI, 113 p.pt. 2 Fonctions universelles. X, 121p |
Autore | Degoulange, F. |
Edizione | [4 ed. augmentée] |
Pubbl/distr/stampa | Paris : Dunod, 1971 |
Descrizione fisica | 1 v. in 2 (p. 234 compless.) ; 24 cm |
Disciplina | 511.324 |
ISBN | 2-04-009602-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNINA-990000871920403321 |
Degoulange, F. | ||
Paris : Dunod, 1971 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Advanced Boolean Techniques [[electronic resource] ] : Selected Papers from the 13th International Workshop on Boolean Problems / / edited by Rolf Drechsler, Mathias Soeken |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (268 pages) |
Disciplina | 511.324 |
Soggetto topico |
Electronic circuits
Logic design Electronics Microelectronics Circuits and Systems Logic Design Electronics and Microelectronics, Instrumentation |
ISBN | 3-030-20323-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Chapter 1. Self-Explaining Digital Systems: Technical View, Implementation Aspects, and Completeness -- Chapter 2.Secure Implementation of Lattice-Based Encryption Schemes -- Chapter 3. Derivative Operations for Classes CN of Boolean Functions -- Chapter 4.Towards the Structure of a Class of Permutation Matrices Associated With Bent Functions -- Chapter 5. Improving SAT Solving Using Monte Carlo Tree Search-based Clause Learning -- Chapter 6.Synthesis of Majority Expressions through Primitive Function Manipulation -- Chapter 7. Literal Selection in Switching Lattice Design -- Chapter 8. Exact Synthesis of ESOP Forms -- Chapter 9.An Algorithm for Linear, Affine and Spectral Classification of Boolean Functions -- Chapter 10.New Results on Reversible Boolean Functions Having Component Functions with Specified Properties -- Chapter 11. Efficient hardware operations for the residue number system by Boolean minimization. |
Record Nr. | UNINA-9910366584903321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Advanced Topics in Relation Algebras [[electronic resource] ] : Relation Algebras, Volume 2 / / by Steven Givant |
Autore | Givant Steven |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XIX, 605 p.) |
Disciplina | 511.324 |
Soggetto topico |
Mathematical logic
Algebra Mathematical Logic and Foundations General Algebraic Systems |
ISBN | 3-319-65945-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Preface -- Introduction -- 14. Canonical Extensions -- 15. Completions -- 16. Representations -- 17. Representation Theorems -- 18. Varieties of Relation Algebras -- 19. Atom Structures -- Epilogue -- References -- Index. . |
Record Nr. | UNINA-9910254307303321 |
Givant Steven | ||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Algebra and logic |
Pubbl/distr/stampa | [New York, N.Y.], : Plenum Pub |
Disciplina | 511.324 |
Soggetto topico |
Algebraic logic
Algebra Logic, Symbolic and mathematical Logique algébrique Algèbre Logic Logica |
Soggetto genere / forma | Periodicals. |
ISSN | 1573-8302 |
Formato | Materiale a stampa |
Livello bibliografico | Periodico |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910141124203321 |
[New York, N.Y.], : Plenum Pub | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Algebra and logic |
Pubbl/distr/stampa | [New York, N.Y.], : Plenum Pub |
Disciplina | 511.324 |
Soggetto topico |
Algebraic logic
Algebra Logic, Symbolic and mathematical Logique algébrique Algèbre Logic Logica |
Soggetto genere / forma | Periodicals. |
ISSN | 1573-8302 |
Formato | Materiale a stampa |
Livello bibliografico | Periodico |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996215985703316 |
[New York, N.Y.], : Plenum Pub | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Algebra di Boole e circuiti di commutazione / Elliott Mendelson |
Autore | Mendelson, Elliott |
Edizione | [2. ed] |
Pubbl/distr/stampa | Milano : Etas Libri, 1977 |
Descrizione fisica | 212 p. ; 27 cm |
Disciplina | 511.324 |
Collana | Collana Schaum |
Soggetto non controllato | Algebra booleana |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Titolo uniforme | |
Record Nr. | UNIPARTHENOPE-000020471 |
Mendelson, Elliott | ||
Milano : Etas Libri, 1977 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Parthenope | ||
|
Algebra di Boole e circuiti di commutazione : 150 esercizi risolti / Elliott Mendelson |
Autore | MENDELSON, Elliott |
Pubbl/distr/stampa | Milano : Etas libri, 1977 |
Disciplina | 511.324 |
Soggetto topico | Algebra Booleana |
ISBN | 88-453-0155-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNISA-990001272390203316 |
MENDELSON, Elliott | ||
Milano : Etas libri, 1977 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Algebra di Boole e circuiti di commutazione : [150 esercizi risolti] / Elliott Mendelson |
Autore | MENDELSON, Elliott |
Edizione | [Nuova ed] |
Pubbl/distr/stampa | Milano : Etas Libri, 1977 |
Disciplina | 511.324 |
Soggetto topico | algebra booleana |
ISBN | 88-453-0155-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNISA-990000138070203316 |
MENDELSON, Elliott | ||
Milano : Etas Libri, 1977 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Algebra di Boole e circuiti di commutazione : 150 esercizi risolti / Elliott Mendelson ; [traduzione di Franco Cianflone] |
Autore | MENDELSON, Elliott |
Pubbl/distr/stampa | Milano, : Etas libri, copyr. 1974 |
Descrizione fisica | 213 p. : graf. e tab. ; 27 cm |
Disciplina | 511.324(algebra degl'insiemi (algebra booleana)) |
Collana | Collana Schaum |
Soggetto topico | Algebra lineare |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNISA-990005447710203316 |
MENDELSON, Elliott | ||
Milano, : Etas libri, copyr. 1974 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Algebra di Boole e circuiti di commutazione / Elliott Mendelson |
Autore | Mendelson, Elliott |
Pubbl/distr/stampa | Milano : ETAS libri, 1974 |
Descrizione fisica | 212 p. ; 27 cm |
Disciplina | 511.324 |
Collana | Collana Schaum |
Soggetto topico | Boolean algebra |
Classificazione | AMS 06E |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNISALENTO-991000652949707536 |
Mendelson, Elliott | ||
Milano : ETAS libri, 1974 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|