Jump to main content

yr 〜
yr

Search results 207

Boolean models and methods in mathematics, computer science, and engineering / edited by Yves Crama, Peter L. Hammer. (Encyclopedia of mathematics and its applications ; 134)

Boolean models and methods in mathematics, computer science, and engineering / edited by Yves Crama, Peter L. Hammer. (Encyclopedia of mathematics and its applications ; 134)
Paper図書
Cambridge University Press2010.<MA67-B63>
National Diet LibraryOther Libraries in Japan
  • Subject HeadingAlgebra, Boolean. Probabilities.

From objects to diagrams for ranges of functors / Pierre Gillibert, Friedrich Wehrung. (Lecture notes in mathematics ; 2029)

From objects to diagrams for ranges of functors / Pierre Gillibert, Friedrich Wehrung. (Lecture notes in mathematics ; 2029)
Paper図書
Springer-Verlagc2011.<MA67-B68>
National Diet Library
  • Subject HeadingFunctor theory. Algebra, Boolean. Algebraic logic.

Boolean functions : theory, algorithms, and applications / Yves Crama, Peter L. Hammer. (Encyclopedia of mathematics and its applications ; 142)

Boolean functions : theory, algorithms, and applications / Yves Crama, Peter L. Hammer. (Encyclopedia of mathematics and its applications ; 142)
Paper図書
Cambridge University Press2011.<MA115-B21>
National Diet LibraryOther Libraries in Japan
  • Subject HeadingAlgebraic functions. Algebra, Boolean. MATHEMATICS / Linear Program...

Boolean structures : combinatorics, codification, representation

Boolean structures : combinatorics, codification, representation
Paper図書
Gennaro AulettaWorld Scientificc2021
Other Libraries in Japan
  • Subject HeadingAlgebra, Boolean Algebra, Boolean.GBC2L6553
  • Subject Heading (ID)Algebra, Boolean Algebra, Boolean.GBC2L6553

Boolean functions in cryptology and information security. : NATO Advanced Study Institute on Boolean functions in cryptology and information security : NATO-Russia Advanced Study Institute "Boolean functions in cryptology and information security" : Sep 2007, Zvenigorod, Russia. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 18)

Boolean functions in cryptology and information security. : NATO Advanced Study Institute on Boolean functions in cryptology and information security : NATO-Russia Advanced Study Institute "Boolean functions in cryptology and information security" : Sep 2007, Zvenigorod, Russia. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 18)
Paper図書
IOS Pressc2008.<M17-09-582>
National Diet Library
  • Subject HeadingAlgebra, Boolean -- Congresses. Cryptography -...

Theory and applications of satisfiability testing -- SAT 2011 : 14th international conference, SAT 2011 : Ann Arbor, MI, USA, June 19-22, 2011 : proceedings. : 14th SAT meeting : Jun 2011, Ann Arbor, MI. (Lecture Notes in Computer Science ; 6695)

Theory and applications of satisfiability testing -- SAT 2011 : 14th international conference, SAT 2011 : Ann Arbor, MI, USA, June 19-22, 2011 : proceedings. : 14th SAT meeting : Jun 2011, Ann Arbor, MI. (Lecture Notes in Computer Science ; 6695)
Paper図書
Springerc2011.<M17-11-3217>
National Diet Library
  • Subject Heading...-- Congresses. Algebra, Boolean -- Congresses. Electronic boo...

Theory and applications of satisfiability testing -- SAT 2010 : 13th international conference, SAT 2010 : Edinburgh, UK, July 11-14, 2010 : proceedings. : 2010 federated logic conference : FLoC : Jul 2010, Edinburgh, UK. (Lecture Notes in Computer Science ; 6175)

Theory and applications of satisfiability testing -- SAT 2010 : 13th international conference, SAT 2010 : Edinburgh, UK, July 11-14, 2010 : proceedings. : 2010 federated logic conference : FLoC : Jul 2010, Edinburgh, UK. (Lecture Notes in Computer Science ; 6175)
Paper図書
Springerc2010.<M17-11-152>
National Diet Library
  • Subject Heading...-- Congresses. Algebra, Boolean -- Congresses.

Theory and applications of satisfiability testing -- SAT 2009 : 12th international conference, SAT 2009 : Swansea, UK, June 30-July 3, 2009 : proceedings. : Jun 2009, Swansea, UK. (Lecture Notes in Computer Science ; 5584)

Theory and applications of satisfiability testing -- SAT 2009 : 12th international conference, SAT 2009 : Swansea, UK, June 30-July 3, 2009 : proceedings. : Jun 2009, Swansea, UK. (Lecture Notes in Computer Science ; 5584)
Paper図書
Springerc2009.<M17-10-304>
National Diet Library
  • Subject Heading...-- Congresses. Algebra, Boolean -- Congresses.

Boolean functions : topics in asynchronicity : hardback

Boolean functions : topics in asynchronicity : hardback
Paper図書
Serban E. VladWiley2019
Other Libraries in Japan
  • Subject HeadingAlgebra, Boolean
  • Subject Heading (ID)Algebra, Boolean

Theory and applications of satisfiability testing -- SAT 2008 : 11th international conference, SAT 2008 : Guangzhou, China, May 12-15, 2008 : proceedings. : May 2008, Guangzhou, China. (Lecture Notes in Computer Science ; 4996)

Theory and applications of satisfiability testing -- SAT 2008 : 11th international conference, SAT 2008 : Guangzhou, China, May 12-15, 2008 : proceedings. : May 2008, Guangzhou, China. (Lecture Notes in Computer Science ; 4996)
Paper図書
Springerc2008.<M17-08-1264>
National Diet Library
  • Subject Heading...-- Congresses. Algebra, Boolean -- Congresses.

Boolean functions for cryptography and coding theory

Boolean functions for cryptography and coding theory
Paper図書
Claude CarletCambridge University Press2020
Other Libraries in Japan
  • Subject HeadingCoding theory Cryptography Algebra, Boolean
  • Subject Heading (ID)Coding theory Cryptography Algebra, Boolean

Handbook of satisfiability pt. 2 2nd ed

Handbook of satisfiability pt. 2 2nd ed
Paper図書
edited by Armin Biere ... [et al.]IOS Pressc2021
Other Libraries in Japan
  • Subject Heading... -- Congresses Algebra, Boolean -- Congresses ......ter algorithms Algebra, Boolean Algebra, Boolean. fast (OCoLC)fst00804924 Comp...
  • Subject Heading (ID)... -- Congresses Algebra, Boolean -- Congresses ......ter algorithms Algebra, Boolean Algebra, Boolean. fast (OCoLC)fst00804924 Comp...

Theory and applications of satisfiability testing -- SAT 2006 : 9th international conference : Seattle, WA, USA, August 12-15, 2006 : proceedings. : FLoC 2006 : 4th federated logic conference : Aug 2006, Seattle, WA. (Lecture Notes in Computer Science ; 4121)

Theory and applications of satisfiability testing -- SAT 2006 : 9th international conference : Seattle, WA, USA, August 12-15, 2006 : proceedings. : FLoC 2006 : 4th federated logic conference : Aug 2006, Seattle, WA. (Lecture Notes in Computer Science ; 4121)
Paper図書
Springerc2006.<M17-06-2345>
National Diet Library
  • Subject Heading...-- Congresses. Algebra, Boolean -- Congresses.

0と1の話 : ブール代数とシャノン理論

0と1の話 : ブール代数とシャノン理論
Paper図書
ポール・J・ナーイン 著, 松浦俊輔 訳青土社2013.10<M157-L3>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）Logic circuits ブール環 Algebra, Boolean

Complexity of constraints : an overview of current research themes. : Dagstuhl seminar on "complexity of constraints" : international Dagstuhl-seminar on complexity of constraints : Oct 2006, Wadern, Germany. (Lecture Notes in Computer Science ; 5250. State-of-the-Art Survey)

Complexity of constraints : an overview of current research themes. : Dagstuhl seminar on "complexity of constraints" : international Dagstuhl-seminar on complexity of constraints : Oct 2006, Wadern, Germany. (Lecture Notes in Computer Science ; 5250. State-of-the-Art Survey)
Paper図書
Springerc2008.<M17-09-797>
National Diet Library
  • Subject Heading...-- Congresses. Algebra, Boolean.

Bent functions : fundamentals and results

Bent functions : fundamentals and results
Paper図書
Sihem MesnagerSpringerc2016
Other Libraries in Japan
  • Subject HeadingAlgebra, Boolean Algebraic functions
  • Subject Heading (ID)Algebra, Boolean Algebraic functions

Boolean functions : theory, fundamentals and engineering applications : hardcover

Boolean functions : theory, fundamentals and engineering applications : hardcover
Paper図書
Allen Hines, editorNova Publishersc2015
Other Libraries in Japan
  • Subject HeadingAlgebra, Boolean Symmetric functions
  • Subject Heading (ID)Algebra, Boolean Symmetric functions

Boolean domain

Boolean domain
Paper図書
Jin-Yi Cai, Xi ChenCambridge University Pressc2017
Other Libraries in Japan
  • Subject Heading... (Mathematics) Algebra, Boolean
  • Subject Heading (ID)... (Mathematics) Algebra, Boolean

Logic functions and equations : binary models for computer science 2nd ed

Logic functions and equations : binary models for computer science 2nd ed
Paper図書
Christian Posthoff, Bernd SteinbachSpringerc2019
Other Libraries in Japan
  • Subject HeadingAlgebra, Boolean Logic, Symbolic and mathemati...
  • Subject Heading (ID)Algebra, Boolean Logic, Symbolic and mathemati...

Duality theories for Boolean algebras with operators

Duality theories for Boolean algebras with operators
Paper図書
Steven GivantSpringerc2014
Other Libraries in Japan
  • Subject HeadingAlgebra, Boolean
  • Subject Heading (ID)Algebra, Boolean
RSS