top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
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
Opac: Controlla la disponibilità qui
Boole's logic and probability : a critical exposition from the standpoint of contemporary algebra, logic, and probability theory / Theodore Hailperin
Boole's logic and probability : a critical exposition from the standpoint of contemporary algebra, logic, and probability theory / Theodore Hailperin
Autore Hailperin, Theodore
Pubbl/distr/stampa Amsterdam : North-Holland ; New York : sole distributors for the U.S.A. and Canada American Elsevier, 1976
Descrizione fisica x, 245 p. ; 23 cm.
Disciplina 511.3
Collana Studies in logic and the foundations of mathematics, ISSN 0049237X ; 85
Soggetto topico Algebraic logic
Boolean algebra
Probabilities
ISBN 0444110372
Classificazione AMS 03B48
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991000720629707536
Hailperin, Theodore  
Amsterdam : North-Holland ; New York : sole distributors for the U.S.A. and Canada American Elsevier, 1976
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Boolean function complexity / edited by M. S. Paterson
Boolean function complexity / edited by M. S. Paterson
Autore Paterson, Michael S.
Pubbl/distr/stampa Cambridge : Cambridge University Press, 1992
Descrizione fisica 201 p. : ill. ; 23 cm
Disciplina 519.4
Collana London Mathematical Society lecture note series, 0076-0552 ; 169
Soggetto topico Boolean algebra
Computational complexity - Congresses
ISBN 0521408261
Classificazione AMS 68-06
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991000720779707536
Paterson, Michael S.  
Cambridge : Cambridge University Press, 1992
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Boolean functions and equations / Sergiu Rudeanu
Boolean functions and equations / Sergiu Rudeanu
Autore Rudeanu, Sergiu
Pubbl/distr/stampa Amsterdam : North-Holland ; New York : American Elsevier, 1974
Descrizione fisica xix, 442 p. ; 24 cm.
Disciplina 511.324
Soggetto topico Boolean algebra
Switching theory
ISBN 0444105204
Classificazione AMS 06E30
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991000720849707536
Rudeanu, Sergiu  
Amsterdam : North-Holland ; New York : American Elsevier, 1974
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Boolean-valued models and independence proofs in set theory / by J. L. Bell
Boolean-valued models and independence proofs in set theory / by J. L. Bell
Autore Bell, John L.
Pubbl/distr/stampa Oxford : Clarendon Press, 1977
Descrizione fisica xviii, 126 p. ; 24 cm.
Disciplina 511.32
Collana Oxford logic guides
Soggetto topico Axiomatic set theory
Boolean algebra
Induction
Model theory
ISBN 0198531680
Classificazione AMS 03E
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991000720899707536
Bell, John L.  
Oxford : Clarendon Press, 1977
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Cardinal invariants on Boolean algebras / J. Donald Monk
Cardinal invariants on Boolean algebras / J. Donald Monk
Autore Monk, James Donald
Pubbl/distr/stampa Basel ; Boston ; Berlin : Birkhauser, c1996
Descrizione fisica ix, 298 p. ; 24 cm
Disciplina 511.324
Collana Progress in mathematics [Birkhauser], ISSN 0743-1643; 142
Soggetto topico Boolean algebra
Cardinal numbers
Functions
ISBN 376435402X (alk. paper)
Classificazione AMS 03E10
AMS 03G05
AMS 04A10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991000732749707536
Monk, James Donald  
Basel ; Boston ; Berlin : Birkhauser, c1996
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Exercices de calcul booléien avec leurs solutions / par Maurice Denis-Papin, Yves Malgrange
Exercices de calcul booléien avec leurs solutions / par Maurice Denis-Papin, Yves Malgrange
Autore Denis-Papin, Maurice
Pubbl/distr/stampa Paris : Editions Eyrolles, 1966
Descrizione fisica 298 p. ; 24 cm.
Disciplina 511.324
Altri autori (Persone) Malgrange, Yvesauthor
Soggetto topico Boolean algebra
Classificazione AMS 06E
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione fre
Record Nr. UNISALENTO-991000881179707536
Denis-Papin, Maurice  
Paris : Editions Eyrolles, 1966
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Nearly projective Boolean algebras / Lutz Heindorf, Leonid B. Shapiro ; with an appendix by Sakaé Fuchino
Nearly projective Boolean algebras / Lutz Heindorf, Leonid B. Shapiro ; with an appendix by Sakaé Fuchino
Autore Heindorf, Lutz
Pubbl/distr/stampa Berlin : Springer-Verlag, c1994
Descrizione fisica x, 202 p. : ill. ; 24 cm.
Disciplina 511.324
Altri autori (Persone) Shapiro, Leonid B.
Collana Lecture notes in mathematics, 0075-8434 ; 1596
Soggetto topico Boolean algebra
ISBN 354058787X
Classificazione AMS 06E05
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991001164569707536
Heindorf, Lutz  
Berlin : Springer-Verlag, c1994
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Pseudo-Boolean methods for bivalent programming / P. L. Ivanescu, S. Rudeanu
Pseudo-Boolean methods for bivalent programming / P. L. Ivanescu, S. Rudeanu
Autore Ivanescu, Petru L.
Pubbl/distr/stampa Berlin ; New York : Springer-Verlag, 1966
Descrizione fisica 120 p. ; 28 cm
Disciplina 519.7
Altri autori (Persone) Rudeanu, Sergiu
Altri autori (Enti) Econometric Institute
Institute of Management Sciences
Collana Lecture notes in mathematics, 0075-8434 ; 23
Soggetto topico Boolean algebra
Programming
Classificazione AMS 90C09
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991001272059707536
Ivanescu, Petru L.  
Berlin ; New York : Springer-Verlag, 1966
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Pseudo-Boolean programming and applications : [lectures] presented at the Colloquium on Mathematics and Cybernetics in the Economy, Berlin, October 1964 / Petru L. Ivanescu
Pseudo-Boolean programming and applications : [lectures] presented at the Colloquium on Mathematics and Cybernetics in the Economy, Berlin, October 1964 / Petru L. Ivanescu
Autore Ivanescu, Petru L.
Pubbl/distr/stampa Berlin ; New York : Springer-Verlag, 1965
Descrizione fisica 50 p. ; 30 cm.
Disciplina 519.7
Collana Lecture notes in mathematics, 0075-8434 ; 9
Soggetto topico Boolean algebra
Programming
Classificazione AMS 90C06
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991001272139707536
Ivanescu, Petru L.  
Berlin ; New York : Springer-Verlag, 1965
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui