Showing 461 - 470 results of 594 for search '"Lecture Notes in Computer Science"', query time: 0.02s Refine Results
  1. 461

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

    Published 1995
    Book

    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 by Rao, Josyula Ramachandra 1962-

    Published 1995
    Book

    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

    Published 1995
    Book

    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

    Published 1995
    Book

    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

    Published 1995
    Book

    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 by Muller, Silvia M.

    Published 1995
    Book

    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

    Published 1995
    Book

    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...

    Published 1995
    Book

    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

    Published 1995
    Book

    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

    Published 1995
    Book

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

Search Tools: