Journal on Satisfiability, Boolean Modeling and Computation. :: SCD d'Orléans

Journal on Satisfiability, Boolean Modeling and Computation.

Journal on Satisfiability, Boolean Modeling and Computation.

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Μορφή:	Revue numérique
Γλώσσα:	Indéterminée
Έκδοση:	University of Cincinnati
Διαθέσιμο Online:	Accès libre
État de collection:	Revue numérique .- État de collection : 2026 à nos jours
Variante du titre:	Journal on Satisfiability, Boolean Modeling and Computation

Παρόμοια τεκμήρια

High quality test pattern generation and boolean satisfiability
ανά: Eggersglüß, Stephan, 19..-, κ.ά.
Έκδοση: (2012)

Handbook of Satisfiability : Second Edition
ανά: Biere, Armin, 1967-
Έκδοση: (2021)

Boolean Functions : With Engineering Applications and Computer Programs
ανά: Schneeweiss, Winfrid G.

Boolean Reasoning : The Logic of Boolean Equations
ανά: Brown, Frank Markham, 1930-

Boolean algebras
ανά: Sikorski, Roman, 1920-1983, mathématicien
Έκδοση: (1964)

Boolean algebras
ανά: Sikorski, Roman, 1920-1983, mathématicien
Έκδοση: (1969)

Boolean Algebras
ανά: Sikorski, Roman, 1920-1983, mathématicien

Boolean Algebras
ανά: Sikorski, Roman, 1920-1983, mathématicien

Theory and applications of satisfiability testing : SAT 2013 : 16th International Conference, Helsinki, Finland, July 8-12, 2013 : proceedings
ανά: Jarvisalo, Matti
Έκδοση: (2013)

Theory and applications of satisfiability testing : 6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8, 2003 : selected revised papers

Logic and boolean algebra
ανά: Arnold, Bradford H., 1916-2012
Έκδοση: (1962)

Lectures on Boolean algebras
ανά: Halmos, Paul Richard, 1916-2006, mathématicien
Έκδοση: (1963)

Boolean algebras in analysis
ανά: Vladimirov, Denis Artemievich, 1929-1994

Boolean Valued Analysis
ανά: Kusraev, A. G., κ.ά.

Lectures on Boolean Algebras
ανά: Halmos, Paul Richard, 1916-2006, mathématicien

Introduction to boolean algebras
ανά: Givant, Steven R., 1943-, κ.ά.

Boolean calculus of differences
ανά: Thayse, André, 1940-

Boolean experimental designs
ανά: J. Goupy
Έκδοση: (2000)

Boolean Algebras : Reihe: Reelle Funktionen
ανά: Sikorski, Roman, 1920-1983, mathématicien

Boolean algebra and its application : including Boolean matrix algebra
ανά: Flegg, H. Graham
Έκδοση: (1964)

Boolean Function Complexity : Advances and Frontiers
ανά: Jukna, Stasys, 1953-

Binary arithmetic and Boolean algebra
ανά: Gillie, Angelo Christopher, 1925-
Έκδοση: (1965)

Boolean algebra and its uses
ανά: South, G. F.
Έκδοση: (1974)

Boolean constructions in universal algebras
ανά: Pinus, Aleksandr Georgievič, 1946-

Cardinal Invariants on Boolean Algebras
ανά: Monk, J. Donald

Nearly Projective Boolean Algebras
ανά: Heindorf, Lutz, 1953-, κ.ά.

Cardinal Functions on Boolean Algebras
ανά: Monk, J. Donald, 1930-

Cryptographic Boolean Functions and Applications
ανά: Cusick, Thomas W., 1943-...., mathématicien, κ.ά.
Έκδοση: (2017)

Cryptographic Boolean Functions and Applications
ανά: Cusick, Thomas W., 1943-...., mathématicien, κ.ά.
Έκδοση: (2009)

Bebop to the Boolean Boogie : An Unconventional Guide to Electronics
ανά: Maxfield, Clive

Modeling and Computer Simulation
Έκδοση: (2023)

Probability theory on boolean algebras of events.
ανά: Onicescu, O.

Sheaves of Algebras over Boolean Spaces
ανά: Knoebel, Arthur, 1934-
Έκδοση: (2012)

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

Reasoning in Boolean Networks : Logic Synthesis and Verification using Testing Techniques
ανά: Kunz, Wolfgang, 19..-, κ.ά.

Timed Boolean Functions : A Unified Formalism for Exact Timing Analysis
ανά: Lam, William K. C., κ.ά.

Analysis and control of boolean networks : a semi-tensor product approach
ανά: Cheng, Daizhan, 19..-, κ.ά.
Έκδοση: (2011)

Computer Modeling of Gas Lasers
ανά: Smith, Kenneth, 1932-...., auteur en physique, κ.ά.

Evolutionary computation for modeling and optimization
ανά: Ashlock, Daniel, 19..-
Έκδοση: (2006)

Numerical Modeling and Computer Simulation
Έκδοση: (2021)

© 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