年 〜
年

検索結果 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)
紙図書
Institute of Physics[2015]<M17-19-1017>
国立国会図書館
  • 著者標目University 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.
紙図書
Association for Computational Linguisticsc2011.<M17-12-2450>
国立国会図書館
  • 著者標目University of Edinburgh.

Edinburgh German yearbook

Edinburgh German yearbook
紙雑誌
University of EdinburghCamden House<Z62-A996>
国立国会図書館
  •  
  •  
  •  
  •  
  •  
    •  

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.
紙図書
IEEE Computer Societyc2005.<M17-06-124>
国立国会図書館
  • 著者標目University 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.
紙図書
IEEEc2010.<M17-11-1511>
国立国会図書館
  • 著者標目...wells, Gareth. University of Edinburgh. International Conference on E...

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.
紙図書
IEEE Computer Societyc2008.<M17-09-1601>
国立国会図書館
  • 著者標目...toica, Adrian. University of Edinburgh. ECSIS Symposium on Learning a...

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)
紙図書
Brill2003.<X>
国立国会図書館
  • 著者標目Newman, Andrew J. University of Edinburgh. International Round Table on ...

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)
紙図書
Professional Engineering Publishing2000.<M17-01-0893>
国立国会図書館
  • 著者標目University of Edinburgh.

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

'The hardest kind of archetype' : reflections on Roy Lichtenstein
紙図書
Hal FosterNational Galleries of Scotland, in association with the University of Edinburgh and VARIE2011
全国の図書館

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.
紙図書
IEEEc2010.<M17-11-2065>
国立国会図書館
  • 著者標目University 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.
紙図書
IEEEc2010.<M17-11-1397>
国立国会図書館
  • 著者標目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)
紙図書
Springerc2010.<M17-11-149>
国立国会図書館
  • 著者標目University 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)
紙図書
Springerc2010.<M17-11-152>
国立国会図書館
  • 著者標目University of Edinburgh. School of Informatics. Strich...

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)
紙図書
Springerc2013.<M17-14-692>
国立国会図書館
  • 著者標目...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
紙図書
Donald WintersgillDunedin Academic Pressc2005
全国の図書館

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.
紙図書
IEEEc2008.<M17-09-1000>
国立国会図書館

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)
紙図書
RSC Publishingc2009.<M17-09-1587>
国立国会図書館

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)
紙図書
Springerc2005.<M17-05-1140>
国立国会図書館
  • 著者標目University 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)
紙図書
Springerc2005.<M17-05-1145>
国立国会図書館
  • 著者標目University 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)
紙図書
Springerc2010.<M17-11-153>
国立国会図書館
  • 著者標目University of Edinburgh. School of Informatics. Touili...