Отображение 461 - 470 результаты of 594 для поиска '"Lecture Notes in Computer Science"', время запроса: 0.03сек. Отмена результатов
  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

Инструменты поиска: