検索結果 461 - 470 結果 / 594 検索語 '"Lecture notes in computer science"', 処理時間: 0.02秒 結果の絞り込み
  1. 461

    Higher order logic theorem proving and its applications 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings

    出版事項 1995
    図書

    Higher order logic theorem proving and its applications 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings
  2. 462

    Extensions of the UNITY methodology compositionality, fairness, and probability in parallelism 著者: Rao, Josyula Ramachandra 1962-

    出版事項 1995
    図書

    Extensions of the UNITY methodology compositionality, fairness, and probability in parallelism
  3. 463

    Information management in computer integrated manufacturing a comprehensive guide to state-of-the-art CIM solutions

    出版事項 1995
    図書

    Information management in computer integrated manufacturing a comprehensive guide to state-of-the-art CIM solutions
  4. 464

    Programming languages implementations, logics, and programs : 7th international symposium, PLILP '95, Utrecht, The Netherlands, September 20-22, 1995 : proceedings

    出版事項 1995
    図書

    Programming languages implementations, logics, and programs : 7th international symposium, PLILP '95, Utrecht, The Netherlands, September 20-22, 1995 : proceedings
  5. 465

    Progress in artificial intelligence 7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3-6, 1995 : proceedings

    出版事項 1995
    図書

    Progress in artificial intelligence 7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3-6, 1995 : proceedings
  6. 466

    The complexity of simple computer architectures 著者: Muller, Silvia M.

    出版事項 1995
    図書

    The complexity of simple computer architectures
  7. 467

    EURO-PAR '95 parallel processing First International EURO PAR Conference, Stockholm, Sweden, August 29-31, 1995 : proceedings

    出版事項 1995
    図書

    EURO-PAR '95 parallel processing First International EURO PAR Conference, Stockholm, Sweden, August 29-31, 1995 : proceedings
  8. 468

    Quantitative evaluation of computing and communication systems 8th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, Performance Tools...

    出版事項 1995
    図書

    Quantitative evaluation of computing and communication systems 8th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, Performance Tools '95, 8th GI/ITG Conference on Measuring, Modelling, and Evaluating Computing, and Communication Systems, MMB '95, Heidelberg, Germany, September 20-22, 1995 : proceedings
  9. 469

    Memory management international workshop, IWMM '95, Kinross, UK, September 27-29, 1995 : proceedings

    出版事項 1995
    図書

    Memory management international workshop, IWMM '95, Kinross, UK, September 27-29, 1995 : proceedings
  10. 470

    Theorem provers in circuit design theory, practice, and experience : second international conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings

    出版事項 1995
    図書

    Theorem provers in circuit design theory, practice, and experience : second international conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings

検索ツール: