Prikaz rezultata 461 – 470 od 594 za pretragu '"Lecture notes in computer science."', vrijeme upita: 0,02s Detaljiziraj rezultate
  1. 461

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

    Izdano 1995
    Knjiga

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

    Izdano 1995
    Knjiga

    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

    Izdano 1995
    Knjiga

    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

    Izdano 1995
    Knjiga

    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

    Izdano 1995
    Knjiga

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

    Izdano 1995
    Knjiga

    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

    Izdano 1995
    Knjiga

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

    Izdano 1995
    Knjiga

    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

    Izdano 1995
    Knjiga

    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

    Izdano 1995
    Knjiga

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

Alati za pretragu: