yr 〜
yr

Search results 4

Theory and applications of satisfiability testing - SAT 2018 : 21st International Conference, SAT 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018 : proceedings

Theory and applications of satisfiability testing - SAT 2018 : 21st International Conference, SAT 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018 : proceedings
Paper図書
Olaf Beyersdorff, Christoph M. Wintersteiger (eds.)Springerc2018
Other Libraries in Japan
  • Author Heading..., Christoph M. Federated Logic Conference

Theoretical and practical aspects of SPIN model checking : 5th and 6th International SPIN workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : proceedings

Theoretical and practical aspects of SPIN model checking : 5th and 6th International SPIN workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : proceedings
Paper図書
Dennis Dams ... [et al.], (eds.)Springerc1999
Other Libraries in Japan
  • Author HeadingSPIN Federated Logic Conference World Congress on Formal Meth...

17th annual IEEE symposium on logic in computer science : proceedings : held in conjunction with the third federated logic conference : 22-25 July 2002 : Copenhagen, Denmark. : LICS 2002 : FLoC : Jul 2002, Copenhagen, Denmark.

17th annual IEEE symposium on logic in computer science : proceedings : held in conjunction with the third federated logic conference : 22-25 July 2002 : Copenhagen, Denmark. : LICS 2002 : FLoC : Jul 2002, Copenhagen, Denmark.
Paper図書
IEEE Computer Societyc2002.<M17-03-4442>
National Diet Library
  • Alternative Title...n with the 3rd federated logic conference : 22-25 July 2002 : Copenhage...
  • Alternative Title...n with the 3rd federated logic conference : 22-25 July 2002 : Copenhage...
  • Author Heading...agen, Denmark) Federated Logic Conference (3rd : 2002 : Copenhagen, Den...

FME 2002 : formal methods -- getting it right : international symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings. : Jul 2002, Copenhagen, Denmark. (Lecture Notes in Computer Science ; 2391)

FME 2002 : formal methods -- getting it right : international symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings. : Jul 2002, Copenhagen, Denmark. (Lecture Notes in Computer Science ; 2391)
Paper図書
Springer2002.<M17-03-105>
National Diet Library
  • Note (General)...rt of the 2002 Federated Logic Conference (FLoC 2002) . 11th symposium ...
  • Author Heading...der, 1957- 3rd Federated Logic Conference (FLoC) International Symposiu...

Reached to the end of result.