検索結果 1 - 7 結果 / 7 検索語 '', 処理時間: 0.01秒 結果の絞り込み
  1. 1

    Type theory and formal proof an introduction 著者: Nederpelt, Rob, Geuvers, Herman

    出版事項 2014
    図書

    Type theory and formal proof an introduction
  2. 2

    Theory of automata and formal languages 著者: Sharma, Anand

    出版事項 2006
    図書

    Theory of automata and formal languages
  3. 3

    Introduksiyon sa organisasyon ng computer at low-level programming 著者: Macatangay, Joel E., Umali-Macatangay, Leonila C.

    出版事項 1998
    図書

    Introduksiyon sa organisasyon ng computer at low-level programming
  4. 4

    The Generic Network Modeling language (GNM) 著者: Magtubo, Erville D.

    論文

    The Generic Network Modeling language (GNM)
  5. 5

    C++ nuts & bolts for experienced programmers 著者: Schildt, Herbert

    出版事項 1995
    図書

    C++ nuts & bolts for experienced programmers
  6. 6

    Comprehensive COBOL 著者: Philippakis, Andrew S

    出版事項 1991
    図書

    Comprehensive COBOL
  7. 7

    Formal specification of programming languages a panoramic primer 著者: Pagan, Frank G.

    出版事項 1981
    図書

    Formal specification of programming languages a panoramic primer

検索ツール: