Lectures on Boolean Algebras :: SCD d'Orléans

$Lectures on Boolean Algebras$

Lectures on Boolean Algebras

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Prif Awdur:	Halmos, Paul Richard, 1916-2006, mathématicien
Fformat:	Livre numérique
Iaith:	Anglais
Cyhoeddwyd:	Cham : Springer International Publishing [20..]. Cham : Springer Nature
Mynediad Ar-lein:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nodyn:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Lectures on Boolean algebras, Paul R. Halmos, New York, Springer, 1974, 1 vol. (147 p.), 3-540-90094-2

Eitemau Tebyg

Lectures on Boolean algebras
gan: Halmos, Paul Richard, 1916-2006, mathématicien
Cyhoeddwyd: (1963)

Introduction to boolean algebras
gan: Givant, Steven R., 1943-, et al.

Boolean algebras
gan: Sikorski, Roman, 1920-1983, mathématicien
Cyhoeddwyd: (1964)

Boolean algebras
gan: Sikorski, Roman, 1920-1983, mathématicien
Cyhoeddwyd: (1969)

Boolean Algebras
gan: Sikorski, Roman, 1920-1983, mathématicien

Boolean Algebras
gan: Sikorski, Roman, 1920-1983, mathématicien

Logic and boolean algebra
gan: Arnold, Bradford H., 1916-2012
Cyhoeddwyd: (1962)

Boolean Algebras : Reihe: Reelle Funktionen
gan: Sikorski, Roman, 1920-1983, mathématicien

Boolean algebras in analysis
gan: Vladimirov, Denis Artemievich, 1929-1994

Boolean algebra and its application : including Boolean matrix algebra
gan: Flegg, H. Graham
Cyhoeddwyd: (1964)

Categories of Boolean Sheaves of Simple Algebras
gan: Diers, Yves, 1937-...., mathématicien

Binary arithmetic and Boolean algebra
gan: Gillie, Angelo Christopher, 1925-
Cyhoeddwyd: (1965)

Boolean algebra and its uses
gan: South, G. F.
Cyhoeddwyd: (1974)

Boolean constructions in universal algebras
gan: Pinus, Aleksandr Georgievič, 1946-

Cardinal Invariants on Boolean Algebras
gan: Monk, J. Donald

Nearly Projective Boolean Algebras
gan: Heindorf, Lutz, 1953-, et al.

Cardinal Functions on Boolean Algebras
gan: Monk, J. Donald, 1930-

Probability theory on boolean algebras of events.
gan: Onicescu, O.

Sheaves of Algebras over Boolean Spaces
gan: Knoebel, Arthur, 1934-
Cyhoeddwyd: (2012)

L'algèbre linéaire en problèmes
gan: Halmos, Paul Richard, 1916-2006, mathématicien
Cyhoeddwyd: (2011)

Boolean Reasoning : The Logic of Boolean Equations
gan: Brown, Frank Markham, 1930-

Cryptographic Boolean Functions and Applications
gan: Cusick, Thomas W., 1943-...., mathématicien, et al.
Cyhoeddwyd: (2017)

Cryptographic Boolean Functions and Applications
gan: Cusick, Thomas W., 1943-...., mathématicien, et al.
Cyhoeddwyd: (2009)

Lectures on ergodic theory
gan: Halmos, Paul Richard, 1916-2006, mathématicien
Cyhoeddwyd: (1956)

Boolean Valued Analysis
gan: Kusraev, A. G., et al.

Boolean calculus of differences
gan: Thayse, André, 1940-

Boolean experimental designs
gan: J. Goupy
Cyhoeddwyd: (2000)

Boolean Functions : With Engineering Applications and Computer Programs
gan: Schneeweiss, Winfrid G.

Boolean Function Complexity : Advances and Frontiers
gan: Jukna, Stasys, 1953-

Bebop to the Boolean Boogie : An Unconventional Guide to Electronics
gan: Maxfield, Clive

Pseudo-boolean programming and applications : presented at the Colloquium on mathematics and cybernetics in the economy, Berlin, October 1964
gan: Hammer, Peter L., 1936-2006, et al.

Reasoning in Boolean Networks : Logic Synthesis and Verification using Testing Techniques
gan: Kunz, Wolfgang, 19..-, et al.

Timed Boolean Functions : A Unified Formalism for Exact Timing Analysis
gan: Lam, William K. C., et al.

Journal on Satisfiability, Boolean Modeling and Computation.

Pseudo-boolean methods for bivalent programming : lecture at the First European Meeting of the Institute of Management Sciences and of the Econometric Institute, Warsaw, September 2-7, 1966
gan: Hammer, Peter L., 1936-2006, et al.

From Boolean Logic to Switching Circuits and Automata : Towards Modern Information Technology
gan: Stanković, Radomir S., 1945-, et al.

Analysis and control of boolean networks : a semi-tensor product approach
gan: Cheng, Daizhan, 19..-, et al.
Cyhoeddwyd: (2011)

The method of densities for non-isotropic Boolean models
gan: Hörrmann, Julia
Cyhoeddwyd: (2021)

High quality test pattern generation and boolean satisfiability
gan: Eggersglüß, Stephan, 19..-, et al.
Cyhoeddwyd: (2012)

Test pattern generation using boolean proof engines
gan: Drechsler, Rolf, et al.
Cyhoeddwyd: (2009)

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales