Jump to main content

yr 〜
yr

Search results 90

日本児童図書研究文献目次総覧 : 1945-1999

日本児童図書研究文献目次総覧 : 1945-1999
Paper図書
佐藤苑生, 杉山きく子, 西田美奈子 編遊子館2006.3<YU7-H3438>
National Diet Library
  • Author Heading (ID)01037740 01037741 01037742

Proceedings : 26th Annual IEEE Symposium on Logic in Computer Science : Toronto, Ontario, Canada 21-24 june 2011

Proceedings : 26th Annual IEEE Symposium on Logic in Computer Science : Toronto, Ontario, Canada 21-24 june 2011
Paper図書
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of ComputingIEEE Computer Societyc2011
Other Libraries in Japan
  • Author Heading (ID)...7CDA01987694 DA01037742 https://ci.nii......ac.jp/author/DA01037742#entity https:/......urceID/NII%7CDA01037742

Proceedings : 22nd Annual IEEE Symposium on Logic in Computer Science : LICS 2007 : Wroclaw , Poland 10-14 July 2007,

Proceedings : 22nd Annual IEEE Symposium on Logic in Computer Science : LICS 2007 : Wroclaw , Poland 10-14 July 2007,
Paper図書
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of ComputingIEEE Computer Societyc2007
Other Libraries in Japan
  • Author Heading (ID)DA01037742 https://ci.nii......ac.jp/author/DA01037742#entity https:/......urceID/NII%7CDA01037742

Proceedings 48th Annual IEEE Symposium on Foundations of Computer Science : October 20-23, 2007, Providencd, Rhode Island

Proceedings 48th Annual IEEE Symposium on Foundations of Computer Science : October 20-23, 2007, Providencd, Rhode Island
Paper図書
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of ComputingIEEE Computer Societyc2007
Other Libraries in Japan
  • Author Heading (ID)...7CDA00826769 DA01037742 https://ci.nii......ac.jp/author/DA01037742#entity https:/......urceID/NII%7CDA01037742

Proceedings : 21st Annual IEEE Symposium on Logic in Computer Science : LICS 2006 : 12-15 August 2006, Seattle, Washington

Proceedings : 21st Annual IEEE Symposium on Logic in Computer Science : LICS 2006 : 12-15 August 2006, Seattle, Washington
Paper図書
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; with support from Cadence ... [et al.]IEEE Computer Societyc2006
Other Libraries in Japan
  • Author Heading (ID)...7CDA01987694 DA01037742 https://ci.nii......ac.jp/author/DA01037742#entity https:/......urceID/NII%7CDA01037742

Proceedings : 25th Annual IEEE Symposium on Logic in Computer Science : LICS 2010 : 11-14 July 2010 Edinburgh, United Kingdom

Proceedings : 25th Annual IEEE Symposium on Logic in Computer Science : LICS 2010 : 11-14 July 2010 Edinburgh, United Kingdom
Paper図書
supported by IEEE Technical Committee on Mathematical Foundations of Computing ; in cooperation with Association for Symbolic Logic and the European Association for Theoretical Computer ScienceIEEE Computer Societyc2010
Other Libraries in Japan
  • Author Heading (ID)...7CDA01987694 DA01037742 https://ci.nii......ac.jp/author/DA01037742#entity https:/......urceID/NII%7CDA01037742 DA01977227 https://ci.nii.ac....

Proceedings : 46th Annual IEEE Symposium on Foundations of Computer Science : 23-25 October 2005, Pittsburgh, Pennsylvania, USA

Proceedings : 46th Annual IEEE Symposium on Foundations of Computer Science : 23-25 October 2005, Pittsburgh, Pennsylvania, USA
Paper図書
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of ComputingIEEE Computer Societyc2005
Other Libraries in Japan
  • Author Heading (ID)...7CDA00826769 DA01037742 https://ci.nii......ac.jp/author/DA01037742#entity https:/......urceID/NII%7CDA01037742

Proceedings : twenty-third Annual IEEE Conference on Computational Complexity CCC 2008 : 23-26 June 2008, College Park, Maryland

Proceedings : twenty-third Annual IEEE Conference on Computational Complexity CCC 2008 : 23-26 June 2008, College Park, Maryland
Paper図書
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with ACM SIGACT and EATCSIEEE Computer Societyc2008
Other Libraries in Japan
  • Author Heading (ID)...7CDA10214394 DA01037742 https://ci.nii......ac.jp/author/DA01037742#entity https:/......urceID/NII%7CDA01037742 DA10013712 https://ci.nii.ac....

Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science : LICS 2004 : Turku, Finland, 13-17 July 2004

Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science : LICS 2004 : Turku, Finland, 13-17 July 2004
Paper図書
sponsored by IEEE Technical Committee on Mathematical Foundations of Computing ; with support from Academy of Finland ... [et al.]IEEE Computer Societyc2004
Other Libraries in Japan
  • Author Heading (ID)...7CDA01987694 DA01037742 https://ci.nii......ac.jp/author/DA01037742#entity https:/......urceID/NII%7CDA01037742

Proceedings 47th Annual IEEE Symposium on Foundations of Computer Science : 21-24 October 2006, Berkeley, California

Proceedings 47th Annual IEEE Symposium on Foundations of Computer Science : 21-24 October 2006, Berkeley, California
Paper図書
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of ComputingIEEE Computer Societyc2006
Other Libraries in Japan
  • Author Heading (ID)...7CDA00826769 DA01037742 https://ci.nii......ac.jp/author/DA01037742#entity https:/......urceID/NII%7CDA01037742

Proceedings : twenty-third Annual IEEE Symposium on Logic in Computer Science : 24-27 June 2008 Pittsburgh, Pennsylvania

Proceedings : twenty-third Annual IEEE Symposium on Logic in Computer Science : 24-27 June 2008 Pittsburgh, Pennsylvania
Paper図書
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with Association for Symbolic Logic, European Association for Theoretical Computer ScienceIEEE Computer Societyc2008
Other Libraries in Japan
  • Author Heading (ID)...7CDA01987694 DA01037742 https://ci.nii......ac.jp/author/DA01037742#entity https:/......urceID/NII%7CDA01037742 DA01977227 https://ci.nii.ac....

Proceedings : twenty-second Annual IEEE Conference on Computational Complexity CCC 2007 : San Diego, California, June 13-16, 2007

Proceedings : twenty-second Annual IEEE Conference on Computational Complexity CCC 2007 : San Diego, California, June 13-16, 2007
Paper図書
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with ACM SIGACT and EATCSIEEE Computer Societyc2007
Other Libraries in Japan
  • Author Heading (ID)...7CDA10214394 DA01037742 https://ci.nii......ac.jp/author/DA01037742#entity https:/......urceID/NII%7CDA01037742 DA00183308 https://ci.nii.ac....

Proceedings, 18th IEEE Annual Conference on Computational Complexity, 7-10 July 2003, Aarhus, Denmark

Proceedings, 18th IEEE Annual Conference on Computational Complexity, 7-10 July 2003, Aarhus, Denmark
Paper図書
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing (TCMF) ; in cooperation with ACM SIGACT, EATCSIEEE Computer Societyc2003
Other Libraries in Japan
  • Author Heading (ID)...7CDA10214394 DA01037742 https://ci.nii......ac.jp/author/DA01037742#entity https:/......urceID/NII%7CDA01037742

Proceedings : twenty-first Annual IEEE Conference on Computational Complexity (CCC 2006) : 16-20 June 2006, Prague, Czech Republic

Proceedings : twenty-first Annual IEEE Conference on Computational Complexity (CCC 2006) : 16-20 June 2006, Prague, Czech Republic
Paper図書
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing (TCMF) ; in cooperation with ACM SIGACT and EATCSIEEE Computer Societyc2006
Other Libraries in Japan
  • Author Heading (ID)...7CDA10214394 DA01037742 https://ci.nii......ac.jp/author/DA01037742#entity https:/......urceID/NII%7CDA01037742 DA00183308 https://ci.nii.ac....

Proceedings : twentieth Annual IEEE Conference on Computational Complexity : 11-15 June 2005, San Jose, CA

Proceedings : twentieth Annual IEEE Conference on Computational Complexity : 11-15 June 2005, San Jose, CA
Paper図書
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing (TCMF) ; in cooperation with ACM SIGACTIEEE Computer Societyc2005
Other Libraries in Japan
  • Author Heading (ID)...7CDA10214394 DA01037742 https://ci.nii......ac.jp/author/DA01037742#entity https:/......urceID/NII%7CDA01037742 DA00183308 https://ci.nii.ac....

Proceedings, 16th Annual IEEE Symposium on Logic in Computer Science, 16-19 June 2001・Boston, Massachusetts

Proceedings, 16th Annual IEEE Symposium on Logic in Computer Science, 16-19 June 2001・Boston, Massachusetts
Paper図書
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of ComputingIEEE Computer Societyc2001
Other Libraries in Japan
  • Author Heading (ID)...7CDA01987694 DA01037742 https://ci.nii......ac.jp/author/DA01037742#entity https:/......urceID/NII%7CDA01037742

Proceedings, 17th Annual IEEE Conference on Computational Complexity, 21-24 May, 2002, Montreal, Canada : pbk : case : microfiche

Proceedings, 17th Annual IEEE Conference on Computational Complexity, 21-24 May, 2002, Montreal, Canada : pbk : case : microfiche
Paper図書
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing (TCMF) ; in cooperation with SIGACT and EATCSIEEE Computer Societyc2002
Other Libraries in Japan
  • Author Heading (ID)...7CDA10214394 DA01037742 https://ci.nii......ac.jp/author/DA01037742#entity https:/......urceID/NII%7CDA01037742

Proceedings : 20th Annual IEEE Symposium on Logic in Computer Science : LICS 2005 : 26-29 June 2005, Chicago, Illinois

Proceedings : 20th Annual IEEE Symposium on Logic in Computer Science : LICS 2005 : 26-29 June 2005, Chicago, Illinois
Paper図書
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; with support from Forall Systems IBMIEEE Computer Societyc2005
Other Libraries in Japan
  • Author Heading (ID)...7CDA01987694 DA01037742 https://ci.nii......ac.jp/author/DA01037742#entity https:/......urceID/NII%7CDA01037742 DA00739948 https://ci.nii.ac....

Proceedings : 19th IEEE Annual Conference on Computational Complexity : 21-24 June 2004, Amherst, Massachusetts

Proceedings : 19th IEEE Annual Conference on Computational Complexity : 21-24 June 2004, Amherst, Massachusetts
Paper図書
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing (TCMF) ; in cooperation with ACM SIGACTIEEE Computer Societyc2004
Other Libraries in Japan
  • Author Heading (ID)...7CDA10214394 DA01037742 https://ci.nii......ac.jp/author/DA01037742#entity https:/......urceID/NII%7CDA01037742 DA00183308 https://ci.nii.ac....

Proceedings : 45th Annual IEEE Symposium on Foundations of Computer Science : 17-19 October 2004, Rome, Italy

Proceedings : 45th Annual IEEE Symposium on Foundations of Computer Science : 17-19 October 2004, Rome, Italy
Paper図書
sponsored by IEEE Computer Society Technical Society on Foundations of ComputingIEEE Computer Societyc2004
Other Libraries in Japan
  • Author Heading (ID)...7CDA00826769 DA01037742 https://ci.nii......ac.jp/author/DA01037742#entity https:/......urceID/NII%7CDA01037742 DA00183308 https://ci.nii.ac....
RSS