國立高雄大學圖資館 |

Search result for [ subject:"Algebra, Boolean"]

10 records (0.032s)· Page 1 of 1 • 1

1.

Boolean functions in cryptology and ...

~
(1998 :)
- Boolean functions in cryptology and information security /
- by: (1998 :); Logachev, Oleg A.; NATO Science for Peace and Security Programme.; North Atlantic Treaty Organization.; Preneel, Bart, (1963-)
- Language materials, printed : Monograph/item
- Publisher: IOS Press,
- Place of Publication: Washington, DC :
- Year of Publication: 2008
- ISBN: 1586038788; 9781586038786
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
2.

Boolean functions in cryptology and ...

~
(1998 :)
- Boolean functions in cryptology and information security
- by: (1998 :); Logachev, Oleg A.; NATO Science for Peace and Security Programme.; North Atlantic Treaty Organization.; Preneel, Bart, (1963-)
- Electronic resources : Monograph/item
- Publisher: IOS Press,
- Place of Publication: Washington, DC :
- Year of Publication: 2008
- ISBN: 1586038788; 9781586038786
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
3.

Recent findings in Boolean technique...

~
(1998 :)
- Recent findings in Boolean techniquesselected papers from the 14th International Workshop on Boolean Problems /
- by: (1998 :); Drechsler, Rolf.; GroBe, Daniel.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer International Publishing :
- Place of Publication: Cham :
- Year of Publication: 2021
- ISBN: 9783030680701; 9783030680718
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
4.

Handbook of satisfiability

~
Biere, Armin.
- Handbook of satisfiability
- by: Biere, Armin.
- Electronic resources : Monograph/item
- Publisher: IOS Press,
- Place of Publication: Washington, DC :
- Year of Publication: 2009
- ISBN: 9781586039295; 9781607503767
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
5.

Advanced Boolean techniquesselected ...

~
(1998 :)
- Advanced Boolean techniquesselected papers from the 13th International Workshop on Boolean Problems /
- by: (1998 :); Drechsler, Rolf.; Soeken, Mathias.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer International Publishing :
- Place of Publication: Cham :
- Year of Publication: 2020
- ISBN: 9783030203221; 9783030203238
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
6.

Theory and applications of satisfiab...

~
(1998 :)
- Theory and applications of satisfiability testing - SAT 200912th international conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009 ; proceedings /
- by: (1998 :); Kullmann, Oliver.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Publisher: Springer Berlin Heidelberg,
- Place of Publication: Berlin, Heidelberg :
- Year of Publication: 2009
- ISBN: 9783642027765; 9783642027772
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
7.
- Advanced Boolean techniquesselected papers from the 15th International Workshop on Boolean Problems /
- by: (1998 :); Drechsler, Rolf.; Huhn, Sebastian.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer International Publishing :
- Place of Publication: Cham :
- Year of Publication: 2023
- ISBN: 9783031289156; 9783031289163
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
8.

Theory and applications of satisfiab...

~
(1998 :)
- Theory and applications of satisfiability testing - SAT 201013th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010 : proceedings /
- by: (1998 :); SpringerLink (Online service); Strichman, Ofer.; Szeider, Stefan.
- Electronic resources : Monograph/item
- Publisher: Springer-Verlag Heidelberg Berlin,
- Place of Publication: Berlin, Heidelberg :
- Year of Publication: 2010
- ISBN: 9783642141850; 9783642141867
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
9.

Theory and Applications of Satisfiab...

~
(1998 :)
- Theory and Applications of Satisfiability Testing - SAT 20069th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings /
- by: (1998 :); Biere, Armin.; Gomes, Carla P.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Publisher: Springer-Verlag GmbH.,
- Place of Publication: Berlin Heidelberg :
- Year of Publication: 2006
- ISBN: 9783540372066; 9783540372073
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
10.
- Theory and Applications of Satisfiability Testing7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers /
- by: (1998 :); Hoos, Holger H.; Mitchell, David G.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Publisher: Springer-Verlag GmbH.,
- Place of Publication: Berlin Heidelberg :
- Year of Publication: 2005
- ISBN: 9783540278290; 9783540315803
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)

Bibliographic level:
Material type:
Only with items