Jump to main content

yr 〜
yr

Search results 7

Computer aided verification : 26th international conference, CAV 2014 : held as part of the Vienna summer of logic, VSL 2014 : Vienna, Austria, July 18-22, 2014 : proceedings : federated logic conference (FLoC) : CAV workshops : Jul 2014, Vienna, Austria. (Lecture Notes in Computer Science ; 8559)

Computer aided verification : 26th international conference, CAV 2014 : held as part of the Vienna summer of logic, VSL 2014 : Vienna, Austria, July 18-22, 2014 : proceedings : federated logic conference (FLoC) : CAV workshops : Jul 2014, Vienna, Austria. (Lecture Notes in Computer Science ; 8559)
Paper図書
Springer[2014]<M17-15-1518>
National Diet Library
  • Author Heading...enna, Austria) Biere, Armin. Bloem, Roderick P. Kurt Godel...

Hardware and software: verification and testing : 8th international Haifa verification conference, HVC 2012 : Haifa, Israel, November 6-8, 2012 : revised selected papers : Nov 2012, Haifa, Israel. (Lecture Notes in Computer Science ; 7857)

Hardware and software: verification and testing : 8th international Haifa verification conference, HVC 2012 : Haifa, Israel, November 6-8, 2012 : revised selected papers : Nov 2012, Haifa, Israel. (Lecture Notes in Computer Science ; 7857)
Paper図書
Springerc2013.<M17-14-543>
National Diet Library
  • Author Heading...Haifa, Israel) Biere, Armin. Nahir, Amir. Vos, Tanja. IBM ...

2009 formal methods in computer-aided design : (FMCAD 2009) : Austin, Texas, USA : 15-18 November 2009. : FMCAD 2009 conference : Nov 2009, Austin, TX.

2009 formal methods in computer-aided design : (FMCAD 2009) : Austin, Texas, USA : 15-18 November 2009. : FMCAD 2009 conference : Nov 2009, Austin, TX.
Paper図書
IEEEc2009.<M17-10-3132>
National Diet Library
  • Author HeadingBiere, Armin. Pixley, Carl. FMCAD 2009 (200...

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

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
  • Author HeadingBiere, Armin. Gomes, Carla. SAT 2006 (2006 ...

Handbook of satisfiability

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

Theory and applications of satisfiability testing - SAT 2006 : 9th international conference, Seattle, WA, USA, August 12-15, 2006, proceedings

Theory and applications of satisfiability testing - SAT 2006 : 9th international conference, Seattle, WA, USA, August 12-15, 2006, proceedings
Paper図書
ed. Armin Biere, Carla P. GomesSpringer2006
Other Libraries in Japan

Reached to the end of result.

RSS