Jump to main content

yr 〜
yr

Search results 12

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 -- Congresses. C...

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 books.

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.

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.

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.

Theory and applications of satisfiability testing - SAT 2017 : 20th International Conference, Melbourne, VIC, Australia, August 28-September 1, 2017 : proceedings

Theory and applications of satisfiability testing - SAT 2017 : 20th International Conference, Melbourne, VIC, Australia, August 28-September 1, 2017 : proceedings
Paper図書
Serge Gaspers, Toby Walsh (eds.)Springerc2017
Other Libraries in Japan

Theory and applications of satisfiability testing - SAT 2016 : 19th International Conference, Bordeaux, France, July 5-8, 2016 : proceedings

Theory and applications of satisfiability testing - SAT 2016 : 19th International Conference, Bordeaux, France, July 5-8, 2016 : proceedings
Paper図書
Nadia Creignou, Daniel Le Berre (eds.)Springer2016
Other Libraries in Japan

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

Handbook of satisfiability

Handbook of satisfiability
Paper図書
edited by Armin Biere ... [et al.]IOS Pressc2009
Other Libraries in Japan

Kinetic logic : a Boolean approach to the analysis of complex regulatory systems : proceedings of the EMBO course "Formal analysis of genetic regulation," held in Brussels, September 6-16, 1977 / edited by René Thomas. (Lecture notes in biomathematics ; 29)

Kinetic logic : a Boolean approach to the analysis of complex regulatory systems : proceedings of the EMBO course "Formal analysis of genetic regulation," held in Brussels, September 6-16, 1977 / edited by René Thomas. (Lecture notes in biomathematics ; 29)
Paper図書
Springer-Verlag1979.<RA111-351>
National Diet Library
  • Subject Heading...-- Congresses. Algebra, Boolean -- Congresses. Genetics, Biochemical -- cong...

Kinetic logic : a Boolean approach to the analysis of complex regulatory systems : proceedings of the EMBO course "Formal analysis of genetic regulation," held in Brussels, September 6-16, 1977 : Berlin : New York

Kinetic logic : a Boolean approach to the analysis of complex regulatory systems : proceedings of the EMBO course "Formal analysis of genetic regulation," held in Brussels, September 6-16, 1977 : Berlin : New York
Paper図書
edited by René ThomasSpringer-Verlag1979
Other Libraries in Japan

Reached to the end of result.

RSS