Jump to main content

yr 〜
yr

Search results 64

Typed lambda calculi and applications : 11th international conference, TLCA 2013 : Eindhoven, the Netherlands, June 26-28, 2013 : proceedings : 7th international conference on rewriting, deduction, and programming (RDP 2013) : Jun 2013, Eindhoven, the Netherlands. (Lecture Notes in Computer Science ; 7941. Advanced Research in Computing and Software Science)

Typed lambda calculi and applications : 11th international conference, TLCA 2013 : Eindhoven, the Netherlands, June 26-28, 2013 : proceedings : 7th international conference on rewriting, deduction, and programming (RDP 2013) : Jun 2013, Eindhoven, the Netherlands. (Lecture Notes in Computer Science ; 7941. Advanced Research in Computing and Software Science)
Paper図書
Springerc2013.<M17-13-3388>
National Diet Library
  • Note (General)...part of (...) (RDP 2013), together with the 24th...

Rewriting techniques and applications : 20th international conference, RTA 2009 : Brasilia, Brazil, June 29-July 1, 2009 : proceedings. : 5th international conference on rewriting, deduction, and programming (RDP 2009) : Jun 2009, Brasilia, Brazil. (Lecture Notes in Computer Science ; 5595)

Rewriting techniques and applications : 20th international conference, RTA 2009 : Brasilia, Brazil, June 29-July 1, 2009 : proceedings. : 5th international conference on rewriting, deduction, and programming (RDP 2009) : Jun 2009, Brasilia, Brazil. (Lecture Notes in Computer Science ; 5595)
Paper図書
Springerc2009.<M17-10-755>
National Diet Library
  • Note (General)...d Programming (RDP 2009) together with (...) (TL...

Typed lambda calculi and applications : 10th international conference, TLCA 2011 : Novi Sad, Serbia, June 1-3, 2011 : proceedings. : 6th international conference on rewriting, deduction, and programming (RDP 2011) : Jun 2011, Novi Sad, Serbia. (Lecture Notes in Computer Science ; 6690. Advanced Research in Computing and Software Science)

Typed lambda calculi and applications : 10th international conference, TLCA 2011 : Novi Sad, Serbia, June 1-3, 2011 : proceedings. : 6th international conference on rewriting, deduction, and programming (RDP 2011) : Jun 2011, Novi Sad, Serbia. (Lecture Notes in Computer Science ; 6690. Advanced Research in Computing and Software Science)
Paper図書
Springerc2011.<M17-11-3213>
National Diet Library
  • Note (General)...d Programming (RDP 2011) , together with (...) (...

Typed lambda calculi and applications : 9th international conference, TLCA 2009 : Brasilia, Brazil, July 1-3, 2009 : proceedings. : 5th international conference on rewriting, deduction, and programming (RDP 2009) : Jul 2009, Brasilia, Brazil. (Lecture Notes in Computer Science ; 5608)

Typed lambda calculi and applications : 9th international conference, TLCA 2009 : Brasilia, Brazil, July 1-3, 2009 : proceedings. : 5th international conference on rewriting, deduction, and programming (RDP 2009) : Jul 2009, Brasilia, Brazil. (Lecture Notes in Computer Science ; 5608)
Paper図書
Springerc2009.<M17-10-382>
National Diet Library
  • Note (General)...d Programming (RDP 2009) together with (...) (RT...

Term rewriting and applications : 18th international conference, RTA 2007 : Paris, France, June 26-28, 2007 : proceedings. : 18th international conference on rewriting techniques and applications : federated conference on rewriting, deduction, and programming (RDP) : Jun 2007, Paris, France. (Lecture Notes in Computer Science ; 4533)

Term rewriting and applications : 18th international conference, RTA 2007 : Paris, France, June 26-28, 2007 : proceedings. : 18th international conference on rewriting techniques and applications : federated conference on rewriting, deduction, and programming (RDP) : Jun 2007, Paris, France. (Lecture Notes in Computer Science ; 4533)
Paper図書
Springerc2007.<M17-07-2341>
National Diet Library

Typed lambda calculi and applications : 7th international conference, TLCA 2005 : Nara, Japan, April 21-23, 2005 : proceedings. : joint conference on rewriting, deduction and programming (RDP 2005) : Apr 2005, Nara, Japan. (Lecture Notes in Computer Science ; 3461)

Typed lambda calculi and applications : 7th international conference, TLCA 2005 : Nara, Japan, April 21-23, 2005 : proceedings. : joint conference on rewriting, deduction and programming (RDP 2005) : Apr 2005, Nara, Japan. (Lecture Notes in Computer Science ; 3461)
Paper図書
Springerc2005.<M17-05-1682>
National Diet Library

Term rewriting and applications : 16th international conference, RTA 2005 : Nara, Japan, April 19-21, 2005 : proceedings. : 16th international conference on rewriting techniques and applications : federated conference on rewriting, deduction, and programming (RDP) : Apr 2005, Nara, Japan. (Lecture Notes in Computer Science ; 3467)

Term rewriting and applications : 16th international conference, RTA 2005 : Nara, Japan, April 19-21, 2005 : proceedings. : 16th international conference on rewriting techniques and applications : federated conference on rewriting, deduction, and programming (RDP) : Apr 2005, Nara, Japan. (Lecture Notes in Computer Science ; 3467)
Paper図書
Springerc2005.<M17-05-1684>
National Diet Library

Direct measurement of source RDP's and yields from near-field Soviet seismic data. Final report. Progress rept LA-SUB-94-13 DE94 017048

Direct measurement of source RDP's and yields from near-field Soviet seismic data. Final report. Progress rept LA-SUB-94-13 DE94 017048
Microform規格・テクニカルリポート類
Saikia, C. K, McLaren, J. P, Helmberger, D. V1994<LS-DE94/017048>
National Diet Library

図説RDP(航空路レーダ情報処理)システム : 入門から専門用語まで

図説RDP(航空路レーダ情報処理)システム : 入門から専門用語まで
PaperDigital図書障害者向け資料あり
日本電信電話公社 編航空振興財団1977.12<NC131-38>
Available onlineNational Diet LibraryOther Libraries in Japan

RDP, 1959- : LO (Folder 2 of 2). Original File No.: 080 (文書名:USCAR Records, The Liaison Department = 琉球列島米国民政府渉外局文書) (シリーズ名:1603-03 Political Parties Activity Files, 1952-1970) (ボックス番号:100 ; フォルダ番号:2)

RDP, 1959- : LO (Folder 2 of 2). Original File No.: 080 (文書名:USCAR Records, The Liaison Department = 琉球列島米国民政府渉外局文書) (シリーズ名:1603-03 Political Parties Activity Files, 1952-1970) (ボックス番号:100 ; フォルダ番号:2)
Microform文書・図像類
1958.12-1959.09<USCAR 08226>
National Diet Library

RDP, 1953-1958: LO (Folder 1 of 2). Original File No.: 080 (文書名:USCAR Records, The Liaison Department = 琉球列島米国民政府渉外局文書) (シリーズ名:1603-03 Political Parties Activity Files, 1952-1970) (ボックス番号:100 ; フォルダ番号:1)

RDP, 1953-1958: LO (Folder 1 of 2). Original File No.: 080 (文書名:USCAR Records, The Liaison Department = 琉球列島米国民政府渉外局文書) (シリーズ名:1603-03 Political Parties Activity Files, 1952-1970) (ボックス番号:100 ; フォルダ番号:1)
Microform文書・図像類
1954.04-1958.11<USCAR 08223-08226>
National Diet Library

Optimizing the architecture of SFQ-RDP (Single Flux Quantum- Reconfigurable Datapath)

Optimizing the architecture of SFQ-RDP (Single Flux Quantum- Reconfigurable Datapath)
Digital文書・図像類
Mehdipour, Farhad, 本田, 宏明, 片岡, 広志, 井上, 弘士, 村上, 和彰九州大学システムLSI研究センター2009-06-15SLRC プレゼンテーションp.1-
Available onlineOther Libraries in Japan
  • Toc / Article...e Data-Path (LSRDP) General Architecture and Spe...
  • Subject HeadingSFQ-RDP LSRDP

Instruction book for panoramic radio adaptor, Navy model RDP PB-39310

Instruction book for panoramic radio adaptor, Navy model RDP PB-39310
Microform規格・テクニカルリポート類
U.S. Bureau of Ships1945<F-39-10>
National Diet Library

ＳＯＮＹ　デジタルメディアプレーヤー用アクティブスピーカー取扱説明書 : ＲＤＰ－ＮＷＴ１９　ＳＯＮＹウォークマン専用品

ＳＯＮＹ　デジタルメディアプレーヤー用アクティブスピーカー取扱説明書 : ＲＤＰ－ＮＷＴ１９　ＳＯＮＹウォークマン専用品
Paper文書・図像類障害者向け資料あり
ソニ－ 編ソニ－2012年1月
Other Libraries in Japan

ＳＯＮＹ　デジタルメディアプレーヤー用アクティブスピーカー取扱説明書 : ＲＤＰ－ＮＷＴ１９　ＳＯＮＹウォークマン専用品

ＳＯＮＹ　デジタルメディアプレーヤー用アクティブスピーカー取扱説明書 : ＲＤＰ－ＮＷＴ１９　ＳＯＮＹウォークマン専用品
Recording Media図書障害者向け資料あり
ソニ－ 編ソニ－2012年1月
Other Libraries in Japan

Chapter 6 An Assessment of Smallholder Farmers' Access to Produce Markets in Malawi: The Case of Kasungu RDP

Chapter 6 An Assessment of Smallholder Farmers' Access to Produce Markets in Malawi: The Case of Kasungu RDP
Digital図書
Thabbie, ChilongoInstitute of Developing Economies (IDE-JETRO)2004Agricultural and Rural Development in Malawi: Macro and Micro Perspectivesp.141-164
Other Libraries in Japan

An RDP policy audit

An RDP policy audit
Paper図書
by research teams of the University of the Witwatersrand, Graduate School of Public and Development Management and the Human Sciences Research Council ; [edited by Patrick Bond, Meshack Khosa]HSRC Publishersc1999
Other Libraries in Japan

An exploratory study of land use, management and degradation : west Malombe catchment, mangochi RDP Malawi

An exploratory study of land use, management and degradation : west Malombe catchment, mangochi RDP Malawi
Paper図書
Welbon Mcrodger Kasweswe MwafongoOrganization for Social Science Research in Eastern and Southern Africac2000
Other Libraries in Japan

Participatory development management and the RDP

Participatory development management and the RDP
Paper図書
Sybert Liebenberg, Peter Stewart (editors)Juta1997
Other Libraries in Japan

RDPシステム概論

RDPシステム概論
Paper図書
NTTデータ通信[編]航空振興財団1997.2
Other Libraries in Japan
RSS