Jump to main content

yr 〜
yr

Search results 8

Unifying theories of programming : 5th international symposium, UTP 2014 : Singapore, May 13, 2014 : revised selected papers : May 2014, Singapore. (Lecture Notes in Computer Science ; 8963)

Unifying theories of programming : 5th international symposium, UTP 2014 : Singapore, May 13, 2014 : revised selected papers : May 2014, Singapore. (Lecture Notes in Computer Science ; 8963)
Paper図書
Springer[2015]<M17-15-1609>
National Diet Library
  • Summary, etc....f Programming, UTP 2014, held in Singapore, Sing...
  • Author HeadingUTP 2014 (2014 : Singapore) Nauma...

Unifying theories of programming : First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006 : revised selected papers

Unifying theories of programming : First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006 : revised selected papers
Paper図書
Steve Dunne, Bill Stoddart (eds.)Springerc2006
Other Libraries in Japan
  • Author HeadingUTP Dunne, Steve Stoddart, Bill

Unifying theories of programming : third international symposium, UTP 2010 : Shanghai, China, November 15-16, 2010 : proceedings. : UTP event : Nov 2010, Shanghai, China. (Lecture Notes in Computer Science ; 6445)

Unifying theories of programming : third international symposium, UTP 2010 : Shanghai, China, November 15-16, 2010 : proceedings. : UTP event : Nov 2010, Shanghai, China. (Lecture Notes in Computer Science ; 6445)
Paper図書
Springerc2010.<M17-11-2054>
National Diet Library
  • Note (General)...rogram for the UTP 2010 symposium includes one i...
  • Alternative Title...nal symposium, UTP 2010 : Shanghai, China, Novem...
  • Alternative Title...nal symposium, UTP 2010 : Shanghai, China, Novem...

Unifying theories of programming : second international symposium, UTP 2008 : Dublin, Ireland, September 8-10, 2008 : revised selected papers. : Sep 2008, Dublin, Ireland. (Lecture Notes in Computer Science ; 5713)

Unifying theories of programming : second international symposium, UTP 2008 : Dublin, Ireland, September 8-10, 2008 : revised selected papers. : Sep 2008, Dublin, Ireland. (Lecture Notes in Computer Science ; 5713)
Paper図書
Springerc2010.<M17-10-4254>
National Diet Library
  • Alternative Title...nal symposium, UTP 2008 : Dublin, Ireland, Septe...
  • Alternative Title...nal symposium, UTP 2008 : Dublin, Ireland, Septe...
  • Author HeadingButterfield, A. (Andrew) UTP 2008 (2008 : Dublin, Ireland)

Unifying theories of programming : 4th international symposium, UTP 2012 : Paris, France, August 27-28, 2012 : revised selected papers : Aug 2012, Paris, France. (Lecture Notes in Computer Science ; 7681)

Unifying theories of programming : 4th international symposium, UTP 2012 : Paris, France, August 27-28, 2012 : revised selected papers : Aug 2012, Paris, France. (Lecture Notes in Computer Science ; 7681)
Paper図書
Springerc2013.<M17-13-1622>
National Diet Library
  • Author HeadingUTP 2012 (2012 : Paris, France) W...

Unifying theories of programming : first international symposium, UTP 2006 : Walworth Castle, County Durham, UK : February 5-7, 2006 : revised selected papers. : Feb 2006, ------. (Lecture Notes in Computer Science ; 4010)

Unifying theories of programming : first international symposium, UTP 2006 : Walworth Castle, County Durham, UK : February 5-7, 2006 : revised selected papers. : Feb 2006, ------. (Lecture Notes in Computer Science ; 4010)
Paper図書
Springerc2006.<M17-06-2270>
National Diet Library
  • Alternative Title...nal symposium, UTP 2006 : Walworth Castle, Count...
  • Alternative Title...nal symposium, UTP 2006 : Walworth Castle, Count...
  • Author HeadingDunne, Steve. Stoddart, Bill, 1946- UTP 2006 (1st : County Durham, UK...

帝国陸軍陸戦兵器ガイド : 1872-1945

帝国陸軍陸戦兵器ガイド : 1872-1945
Paper図書
UTP実行委員会 著新紀元社1997.3<PS134-G20>
National Diet LibraryOther Libraries in Japan
  • Author HeadingUTP実行委員会
  • Authority（Author Heading/altLabel）UTP実行委員会

高速道路とクルマ社会 : 英国の道路交通政策の変遷

高速道路とクルマ社会 : 英国の道路交通政策の変遷
PaperDigital図書
ディビッド・スターキー 著, UTP研究会 訳学芸出版社1991.11<DK35-E17>
National Diet LibraryOther Libraries in Japan
  • Author HeadingStarkie, David Nicholas Martin, 1942- UTP研究会
  • Authority（Author Heading/altLabel）スターキー, ディビッド UTP研究会

Reached to the end of result.

RSS