yr 〜
yr

Search results 13

2010 25th annual IEEE symposium on logic in computer science : (LICS 2010) : Edinburgh, United Kingdom : 11-14 July 2010. : federated logic conference : FLoC meetings : Jul 2010, Edinburgh, UK.

2010 25th annual IEEE symposium on logic in computer science : (LICS 2010) : Edinburgh, United Kingdom : 11-14 July 2010. : federated logic conference : FLoC meetings : Jul 2010, Edinburgh, UK.
Paper図書
IEEEc2010.<M17-11-2065>
National Diet Library
  • Author HeadingUniversity of Edinburgh. School of Informatics.

2010 23rd IEEE computer security foundations symposium : (CSF 2010) : Edinburgh, United Kingdom : 17-19 July 2010. : 2010 federated logic conference : Jul 2010, Edinburgh, UK.

2010 23rd IEEE computer security foundations symposium : (CSF 2010) : Edinburgh, United Kingdom : 17-19 July 2010. : 2010 federated logic conference : Jul 2010, Edinburgh, UK.
Paper図書
IEEEc2010.<M17-11-1397>
National Diet Library
  • Author HeadingUniversity of Edinburgh. School of Informatics.

Automated deduction in geometry : 9th international workshop, ADG 2012 : Edinburgh, UK, September 17-19, 2012 : revised selected papers : Sep 2012, Edinburgh, UK. (Lecture Notes in Computer Science ; 7993. Lecture Notes in Artificial Intelligence)

Automated deduction in geometry : 9th international workshop, ADG 2012 : Edinburgh, UK, September 17-19, 2012 : revised selected papers : Sep 2012, Edinburgh, UK. (Lecture Notes in Computer Science ; 7993. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2013.<M17-14-692>
National Diet Library
  • Author Heading...Jacques, 1972- University of Edinburgh. School of Informatics.

Automated reasoning : 5th international joint conference, IJCAR 2010 : Edinburgh, UK, July 16-19, 2010 : proceedings. : 2010 federated logic conference : CASC-J5: 5th IJCAR ATP system competition : 7th international termination competition : Jul 2010, Edinburgh, UK. (Lecture Notes in Computer Science ; 6173. Lecture Notes in Artificial Intelligence)

Automated reasoning : 5th international joint conference, IJCAR 2010 : Edinburgh, UK, July 16-19, 2010 : proceedings. : 2010 federated logic conference : CASC-J5: 5th IJCAR ATP system competition : 7th international termination competition : Jul 2010, Edinburgh, UK. (Lecture Notes in Computer Science ; 6173. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2010.<M17-11-149>
National Diet Library
  • Author HeadingUniversity of Edinburgh. School of Informatics. Giesl, Jürgen. Hähnle, Reiner...

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
  • Author HeadingUniversity of Edinburgh. School of Informatics. Strichman, Ofer. Szeider, Ste...

Computer aided verification : 22nd international conference, CAV 2010 : Edinburgh, UK, July 15-19, 2010 : proceedings. : 22nd international conference on computer-aided verification : federated logic conference (FLoC 2010) : Jul 2010, Edinburgh, UK. (Lecture Notes in Computer Science ; 6174)

Computer aided verification : 22nd international conference, CAV 2010 : Edinburgh, UK, July 15-19, 2010 : proceedings. : 22nd international conference on computer-aided verification : federated logic conference (FLoC 2010) : Jul 2010, Edinburgh, UK. (Lecture Notes in Computer Science ; 6174)
Paper図書
Springerc2010.<M17-11-153>
National Diet Library
  • Author HeadingUniversity of Edinburgh. School of Informatics. Touili, Tayssir. Cook, Byron....

Tools and algorithms for the construction and analysis of systems : 11th international conference, TACAS 2005 : held as part of the joint European conferences on theory and practice of software, ETAPS 2005 : Edinburgh, UK, April 4-8, 2005 : proceedings. : 8th European joint conference [i.e. conferences] on theory and practice of software : Apr 2005, Edinburgh, UK. (Lecture Notes in Computer Science ; 3440)

Tools and algorithms for the construction and analysis of systems : 11th international conference, TACAS 2005 : held as part of the joint European conferences on theory and practice of software, ETAPS 2005 : Edinburgh, UK, April 4-8, 2005 : proceedings. : 8th European joint conference [i.e. conferences] on theory and practice of software : Apr 2005, Edinburgh, UK. (Lecture Notes in Computer Science ; 3440)
Paper図書
Springerc2005.<M17-05-1145>
National Diet Library
  • Author HeadingUniversity of Edinburgh. School of Informatics.

Programming languages and systems : 14th European symposium on programming, ESOP 2005 : held as part of the joint European conferences on theory and practice of software, ETAPS 2005 : Edinburgh, UK, April 4-8, 2005 : proceedings. : Apr 2005, Edinburgh, UK. (Lecture Notes in Computer Science ; 3444)

Programming languages and systems : 14th European symposium on programming, ESOP 2005 : held as part of the joint European conferences on theory and practice of software, ETAPS 2005 : Edinburgh, UK, April 4-8, 2005 : proceedings. : Apr 2005, Edinburgh, UK. (Lecture Notes in Computer Science ; 3444)
Paper図書
Springerc2005.<M17-05-1140>
National Diet Library
  • Author HeadingUniversity of Edinburgh. School of Informatics.

Database theory -- ICDT 2005 : 10th international conference : Edinburgh, UK, January 5-7, 2005 : proceedings. : Jan 2005, Edinburgh, UK. (Lecture Notes in Computer Science ; 3363)

Database theory -- ICDT 2005 : 10th international conference : Edinburgh, UK, January 5-7, 2005 : proceedings. : Jan 2005, Edinburgh, UK. (Lecture Notes in Computer Science ; 3363)
Paper図書
Springerc2005.<M17-05-948>
National Diet Library
  • Author HeadingUniversity of Edinburgh. School of Informatics. UK National e-Science Centre.

IJCAI-05 : proceedings of the nineteenth international joint conference on artificial intelligence : Edinburgh, Scotland : July 30-August 5, 2005. : IJCAI conference : Jul 2005, Edinburgh, UK.

IJCAI-05 : proceedings of the nineteenth international joint conference on artificial intelligence : Edinburgh, Scotland : July 30-August 5, 2005. : IJCAI conference : Jul 2005, Edinburgh, UK.
Paper図書
Professional Book Centerc2005.<M17-06-449>
National Diet Library
  • Author Heading... Intelligence. University of Edinburgh. School of Informatics.

Foundations of software science and computation structures : 8th international conference, FOSSACS 2005 : held as part of the joint European conferences on theory and practice of software, ETAPS 2005 : Edinburgh, UK, April 4-8, 2005 : proceedings. : Apr 2005, Edinburgh, UK. (Lecture Notes in Computer Science ; 3441)

Foundations of software science and computation structures : 8th international conference, FOSSACS 2005 : held as part of the joint European conferences on theory and practice of software, ETAPS 2005 : Edinburgh, UK, April 4-8, 2005 : proceedings. : Apr 2005, Edinburgh, UK. (Lecture Notes in Computer Science ; 3441)
Paper図書
Springerc2005.<M17-06-959>
National Diet Library
  • Author HeadingUniversity of Edinburgh. School of Informatics. Sassone, Vladimiro. FOSSACS 2...

Compiler construction : 14th international conference, CC 2005 : held as part of the joint European conferences on theory and practice of software, ETAPS 2005 : Edinburgh, UK, April 4-8, 2005 : proceedings. : Apr 2005, Edinburgh, UK. (Lecture Notes in Computer Science ; 3443)

Compiler construction : 14th international conference, CC 2005 : held as part of the joint European conferences on theory and practice of software, ETAPS 2005 : Edinburgh, UK, April 4-8, 2005 : proceedings. : Apr 2005, Edinburgh, UK. (Lecture Notes in Computer Science ; 3443)
Paper図書
Springerc2005.<M17-06-993>
National Diet Library
  • Author HeadingUniversity of Edinburgh. School of Informatics. Bodik, Rastislav. CC 2005 (20...

Fundamental approaches to software engineering : 8th international conference, FASE 2005 : held as part of the joint European conferences on theory and practice of software, ETAPS 2005 : Edinburgh, UK, April 4-8, 2005 : proceedings. : Apr 2005, Edinburgh, UK. (Lecture Notes in Computer Science ; 3442)

Fundamental approaches to software engineering : 8th international conference, FASE 2005 : held as part of the joint European conferences on theory and practice of software, ETAPS 2005 : Edinburgh, UK, April 4-8, 2005 : proceedings. : Apr 2005, Edinburgh, UK. (Lecture Notes in Computer Science ; 3442)
Paper図書
Springerc2005.<M17-06-1264>
National Diet Library
  • Author HeadingUniversity of Edinburgh. School of Informatics. Cerioli, Maura. FASE 2005 (20...

Reached to the end of result.