yr 〜
yr

Search results 246

Nuclear physics in astrophysics conference (NPA VII) : York, United Kingdom : 18-22 May 2015 : May 2015, York, UK. (Journal of Physics: Conference Series ; 940)

Nuclear physics in astrophysics conference (NPA VII) : York, United Kingdom : 18-22 May 2015 : May 2015, York, UK. (Journal of Physics: Conference Series ; 940)
Paper図書
Institute of Physics[2015]<M17-19-1017>
National Diet Library
  • Author HeadingUniversity of York. University of Edinburgh.

6th workshop on statistical machine translation 2011 : (WMT 2011) : held at EMNLP 2011 : Edinburgh, Scotland, UK : 30-31 July 2011 : WMT-2011 : conference on empirical methods on natural language processing (EMNLP) 2011 : WMT11 : WMT2011 : EMNLP-WMT 2011 : Jul 2011, Edinburgh, UK.

6th workshop on statistical machine translation 2011 : (WMT 2011) : held at EMNLP 2011 : Edinburgh, Scotland, UK : 30-31 July 2011 : WMT-2011 : conference on empirical methods on natural language processing (EMNLP) 2011 : WMT11 : WMT2011 : EMNLP-WMT 2011 : Jul 2011, Edinburgh, UK.
Paper図書
Association for Computational Linguisticsc2011.<M17-12-2450>
National Diet Library
  • Author HeadingUniversity of Edinburgh.

Edinburgh German yearbook

Edinburgh German yearbook
Paper雑誌
University of EdinburghCamden House<Z62-A996>
National Diet Library
  •  
  •  
  •  
  •  
  •  
    •  

Proceedings of the 29th annual international computer software and applications conference : COMPSAC 2005 : July 26-28, 2005 : Edinburgh, Scotland. : Jul 2005, Edinburgh, UK.

Proceedings of the 29th annual international computer software and applications conference : COMPSAC 2005 : July 26-28, 2005 : Edinburgh, Scotland. : Jul 2005, Edinburgh, UK.
Paper図書
IEEE Computer Societyc2005.<M17-06-124>
National Diet Library
  • Author HeadingUniversity of Edinburgh.

2010 international conference on emerging security technologies : (EST 2010) : Canterbury, United Kingdom : 6-7 September 2010. : EST-2010 : ROBOSEC 2010 : LAB-RS 2010 : symposium on robotics and security : symposium on learning and adaptive behaviours for robotic systems : Sep 2010, Canterbury, UK.

2010 international conference on emerging security technologies : (EST 2010) : Canterbury, United Kingdom : 6-7 September 2010. : EST-2010 : ROBOSEC 2010 : LAB-RS 2010 : symposium on robotics and security : symposium on learning and adaptive behaviours for robotic systems : Sep 2010, Canterbury, UK.
Paper図書
IEEEc2010.<M17-11-1511>
National Diet Library
  • Author Heading...wells, Gareth. University of Edinburgh. International Conference on ...

LAB-RS 2008 : 2008 ECSIS symposium on learning and adaptive behaviors for robotic systems : proceedings : 6-8 August 2008 : Edinburgh, Scotland, United Kingdom. : 2008 ECSIS symposium on learning and adaptive behavior in robotic systems : Aug 2008, Edinburgh, UK.

LAB-RS 2008 : 2008 ECSIS symposium on learning and adaptive behaviors for robotic systems : proceedings : 6-8 August 2008 : Edinburgh, Scotland, United Kingdom. : 2008 ECSIS symposium on learning and adaptive behavior in robotic systems : Aug 2008, Edinburgh, UK.
Paper図書
IEEE Computer Societyc2008.<M17-09-1601>
National Diet Library
  • Author Heading...toica, Adrian. University of Edinburgh. ECSIS Symposium on Learning ...

Society and culture in the early modern Middle East : studies on Iran in the Safavid period / edited by Andrew J. Newman. (Islamic history and civilization. Studies and texts ; v. 46)

Society and culture in the early modern Middle East : studies on Iran in the Safavid period / edited by Andrew J. Newman. (Islamic history and civilization. Studies and texts ; v. 46)
Paper図書
Brill2003.<X>
National Diet Library
  • Author HeadingNewman, Andrew J. University of Edinburgh. International......ia (3rd : 1998 University of Edinburgh)

16th international conference on computer-aided production engineering : CAPE 2000 : Aug 2000, Edinburgh, UK. (IMechE Conference Transactions ; 2000-5)

16th international conference on computer-aided production engineering : CAPE 2000 : Aug 2000, Edinburgh, UK. (IMechE Conference Transactions ; 2000-5)
Paper図書
Professional Engineering Publishing2000.<M17-01-0893>
National Diet Library
  • Author HeadingUniversity of Edinburgh.

'The hardest kind of archetype' : reflections on Roy Lichtenstein

'The hardest kind of archetype' : reflections on Roy Lichtenstein
Paper図書
Hal FosterNational Galleries of Scotland, in association with the University of Edinburgh and VARIE2011
Other Libraries in Japan
  • Author Heading...ry of Scotland University of Edinburgh Visual Arts Research Institut...

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 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...

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. Stric...

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.

The rectors of the University of Edinburgh 1859-2000

The rectors of the University of Edinburgh 1859-2000
Paper図書
Donald WintersgillDunedin Academic Pressc2005
Other Libraries in Japan
  • Subject HeadingUniversity of Edinburgh -- History College administra...
  • Subject Heading (ID)University of Edinburgh -- History College administra...
  • Author HeadingWintersgill, Donald University of Edinburgh

2008 IEEE international conference on microelectronic test structures : conference proceedings : March 24-27 : the University of Edinburgh, UK. : Mar 2008, Edinburgh, UK.

2008 IEEE international conference on microelectronic test structures : conference proceedings : March 24-27 : the University of Edinburgh, UK. : Mar 2008, Edinburgh, UK.
Paper図書
IEEEc2008.<M17-09-1000>
National Diet Library
  • Author HeadingIEEE International Conference on Microelectronic Test Structures (2008 : University of Edinburgh)

Characterisation of porous solids 8 : proceedings of the 8th international symposium on the characterisation of porous solids. : COPS 8 : Jun 2008, Edinburgh, UK. (Special Publication ; 318)

Characterisation of porous solids 8 : proceedings of the 8th international symposium on the characterisation of porous solids. : COPS 8 : Jun 2008, Edinburgh, UK. (Special Publication ; 318)
Paper図書
RSC Publishingc2009.<M17-09-1587>
National Diet Library
  • Author Heading... (8th : 2008 : University of Edinburgh)

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.

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.

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. Touil...