Jump to main content

yr 〜
yr

Search results 5

Programming languages and systems : 22nd European symposium on programming, ESOP 2013 : held as part of the European joint conferences on theory and practice of software, ETAPS 2013 : Rome, Italy, March 16-24, 2013 : proceedings : Mar 2013, Rome, Italy. (Lecture Notes in Computer Science ; 7792. Advanced Research in Computing and Software Science)

Programming languages and systems : 22nd European symposium on programming, ESOP 2013 : held as part of the European joint conferences on theory and practice of software, ETAPS 2013 : Rome, Italy, March 16-24, 2013 : proceedings : Mar 2013, Rome, Italy. (Lecture Notes in Computer Science ; 7792. Advanced Research in Computing and Software Science)
Paper図書
Springerc2013.<M17-13-2119>
National Diet Library
  • Author Heading...sen, Matthias. Gardner, Philippa. 'Sapienza' University of Rome...

Database programming languages : 12th international symposium, DBPL 2009 : Lyon, France, August 24, 2009 : proceedings. : Aug 2009, Lyon, France. (Lecture Notes in Computer Science ; 5708)

Database programming languages : 12th international symposium, DBPL 2009 : Lyon, France, August 24, 2009 : proceedings. : Aug 2009, Lyon, France. (Lecture Notes in Computer Science ; 5708)
Paper図書
Springerc2009.<M17-10-1595>
National Diet Library
  • Author HeadingGardner, Philippa. Geerts, Floris. International...

CONCUR 2004 -- concurrency theory : 15th international conference : London, UK, August 31 -- September 3, 2004 : proceedings. : Aug 2004, London, UK. (Lecture Notes in Computer Science ; 3170)

CONCUR 2004 -- concurrency theory : 15th international conference : London, UK, August 31 -- September 3, 2004 : proceedings. : Aug 2004, London, UK. (Lecture Notes in Computer Science ; 3170)
Paper図書
Springerc2004.<M17-05-589>
National Diet Library
  • Author HeadingGardner, Philippa. Yoshida, Nobuko. Internationa...

CONCUR 2004 - concurrency theory : 15th International Conference, London, UK, August 31-September 3, 2004 : proceedings

CONCUR 2004 - concurrency theory : 15th International Conference, London, UK, August 31-September 3, 2004 : proceedings
Paper図書
Philippa Gardner, Nobuko Yoshida (eds.)Springerc2004
Other Libraries in Japan

Representing logics in type theory

Representing logics in type theory
Paper図書
Philippa GardnerUniversity of Edinburgh, Department of Computer Science1992
Other Libraries in Japan

Reached to the end of result.

RSS