Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
1 : pt. 1 Fonctions de base. XI, 113 p.pt. 2 Fonctions universelles. X, 121p
| 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 : Selected Papers from the 13th International Workshop on Boolean Problems / / edited by Rolf Drechsler, Mathias Soeken
| Advanced Boolean Techniques : 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 : Relation Algebras, Volume 2 / / by Steven Givant
| Advanced Topics in Relation Algebras : 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 |
Logic, Symbolic and mathematical
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
| 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 and logic
| 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 di Boole e circuiti di commutazione / Elliott Mendelson
| 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
| 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
| 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]
| 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
| 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 | ||
| ||
