yr 〜
yr

Search results 29

Logical framework analysis in participatory project planning (ADBI lecture series : stakeholder participation)

Logical framework analysis in participatory project planning (ADBI lecture series : stakeholder participation)
Recording Media電子資料
[by] Brett Tan[Asian Development Bank Institute]c2005<YH245-B373>
National Diet Library

4th international workshop on logical frameworks and meta-languages: theory and practice 2009 : (LFMTP 2009) : Montreal, Canada : 2 August 2009. : joint LFMTP/PSTT : international workshop on proof-search in type theories (PSTT) : Aug 2009, Montreal, Canada. (ACM International Conference Proceedings Series)

4th international workshop on logical frameworks and meta-languages: theory and practice 2009 : (LFMTP 2009) : Montreal, Canada : 2 August 2009. : joint LFMTP/PSTT : international workshop on proof-search in type theories (PSTT) : Aug 2009, Montreal, Canada. (ACM International Conference Proceedings Series)
Paper図書
ACMc2009.<M17-10-1780>
National Diet Library
  • Author Heading...al Workshop on Logical Frameworks and Meta-Languages: Theory an...

Logical Framework Approach (LFA) : Handbook for objectives-oriented planning

Logical Framework Approach (LFA) : Handbook for objectives-oriented planning
Digital電子書籍・電子雑誌図書
1999
Available onlineNational Diet Library

Logical frameworks for truth and abstraction : an axiomatic study / Andrea Cantini. (Studies in logic and the foundations of mathematics ; v. 135)

Logical frameworks for truth and abstraction : an axiomatic study / Andrea Cantini. (Studies in logic and the foundations of mathematics ; v. 135)
Paper図書
Elsevier Science B.V.1996.<MA41-A102>
National Diet Library

Using the logical framework : for sector analysis and project design : a user's guide / Cedric Saldanha, John Whittle.

Using the logical framework : for sector analysis and project design : a user's guide / Cedric Saldanha, John Whittle.
Paper図書
Asian Development Bank1998.<DD31-A39>
National Diet Library

Project cycle management : integrated approach and logical framework : manual / Commission of the European Communities. (Evaluation unit methods and instruments for project cycle management ; no. 1)

Project cycle management : integrated approach and logical framework : manual / Commission of the European Communities. (Evaluation unit methods and instruments for project cycle management ; no. 1)
Paper図書
Office for Official Publications of the European Communities1993.<Y561-1999-84>
National Diet Library

P2M理論と実践の統合開発に関する研究 ： 変革事業志向の日本型プログラムマネジメント論理体系化

P2M理論と実践の統合開発に関する研究 ： 変革事業志向の日本型プログラムマネジメント論理体系化
Digital博士論文障害者向け資料あり
小原, 重信東京農工大学2015-03-25
National Diet Library

Logical frameworks

Logical frameworks
Paper図書
edited by Gérard Huet, G. PlotkinCambridge Univ. Press1991
Other Libraries in Japan

4th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2009) : Montreal, Canada, 2 August 2009

4th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2009) : Montreal, Canada, 2 August 2009
Paper図書
Association for Computing Machineryc2009
Other Libraries in Japan
  • Author HeadingInternational Workshop on Logical Frameworks and Meta-languages Theory and...

All about maude - a high-performance logical framework : how to specify, program and verify systems in rewriting logic

All about maude - a high-performance logical framework : how to specify, program and verify systems in rewriting logic
Paper図書
Manuel Clavel ... [et al.]Springerc2007
Other Libraries in Japan

Three year (2005-2006-2007) rolling work programme and business plan & logical framework

Three year (2005-2006-2007) rolling work programme and business plan & logical framework
Paper図書
Forum for Agricultural Research in Africac2005
Other Libraries in Japan

FUZZY LOGIC FRAMEWORK FOR INTEGRATING MULTIPLE LEARNED MODELS (THESIS). (LA ; LA-13494-T)

FUZZY LOGIC FRAMEWORK FOR INTEGRATING MULTIPLE LEARNED MODELS (THESIS). (LA ; LA-13494-T)
Paper図書
BOBI KAI DEN HARTOG1999.
Other Libraries in Japan

Using the logical framework : for sector analysis and project design : a user's guide

Using the logical framework : for sector analysis and project design : a user's guide
Paper図書
Cedric Saldanha, John WhittleAsian Development Bankc1998
Other Libraries in Japan

Logical frameworks for truth and abstraction : an axiomatic study

Logical frameworks for truth and abstraction : an axiomatic study
Paper図書
Andrea CantiniElsevier Science B.V.1996
Other Libraries in Japan

INTEGRATED EVALUATION FRAMEWORK. BASED ON THE LOGICAL FRAMEWORK APPROACH FOR PROJECT CYCLE MANAGEMENT. (IAEA ; IAEA-TCSEV-GAP-96/01)

INTEGRATED EVALUATION FRAMEWORK. BASED ON THE LOGICAL FRAMEWORK APPROACH FOR PROJECT CYCLE MANAGEMENT. (IAEA ; IAEA-TCSEV-GAP-96/01)
Paper図書
International Atomic Energy Agency(International Atomic Energy Agency)1996.
Other Libraries in Japan

Systems construction and analysis : a mathematical and logical framework

Systems construction and analysis : a mathematical and logical framework
Paper図書
Norman Fenton and Gillian HillMcGraw-Hillc1993
Other Libraries in Japan

Project cycle management : integrated approach and logical framework : manual

Project cycle management : integrated approach and logical framework : manual
Paper図書
Commission of the European Communities, Evaluation Unit, Methods and Instruments for Project Cycle Management1993
Other Libraries in Japan

A Logical framework for planning agricultural research programs.

A Logical framework for planning agricultural research programs.
Paper図書
International Rice Research InstituteIRRI1991
Other Libraries in Japan

Logical framework for identifying equipment important to safety in nuclear power plants (SAND ; SAND-82-2726)

Logical framework for identifying equipment important to safety in nuclear power plants (SAND ; SAND-82-2726)
Paper図書
Sandia National Laboratories(Sandia National Laboratories)1983.
Other Libraries in Japan

LOGICAL FRAMEWORK FOR INDENTIFYING EQUIPMENT IMPORTANT TO SAFETY IN NUCLEAR POWER PLANTS. (NUREG ; NUREG-CR-2631)

LOGICAL FRAMEWORK FOR INDENTIFYING EQUIPMENT IMPORTANT TO SAFETY IN NUCLEAR POWER PLANTS. (NUREG ; NUREG-CR-2631)
Paper図書
GALLUP, D.R.(et al.)NUREG (U.S. Nuclear Regulatory Commission)(NUREG (U.S. Nuclear Regulatory Commission))1983.
Other Libraries in Japan