Showing 501 - 510 results of 594 for search '"Lecture Notes in Computer Science"', 查询时间: 0.03s Refine Results
  1. 501

    Efficient checking of polynomials and proofs and the hardness of approximation problems 由 Sudan, Madhu

    出版 1995
    图书

    Efficient checking of polynomials and proofs and the hardness of approximation problems
  2. 502

    Tools and algorithms for the construction and analysis of systems first international workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995 : selected papers

    出版 1995
    图书

    Tools and algorithms for the construction and analysis of systems first international workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995 : selected papers
  3. 503

    Algorithms and data structures 4th International Workshop, WADS '95, Kingston, Canada, August 16-18, 1995 : proceedings

    出版 1995
    图书

    Algorithms and data structures 4th International Workshop, WADS '95, Kingston, Canada, August 16-18, 1995 : proceedings
  4. 504

    Advances in cryptology - EUROCRYPT '95 International Conference on the Theory and Application of cryptographic Techniques, Saint-malo, France, May 21-25, 1995 : proceedings

    出版 1995
    图书

    Advances in cryptology - EUROCRYPT '95 International Conference on the Theory and Application of cryptographic Techniques, Saint-malo, France, May 21-25, 1995 : proceedings
  5. 505

    Correct hardware design and verification methods IFIP WG10.5 advanced research working conference, CHARME 95, Frankfurt/Main, Germany, October 2-4, 1995 : proceedings

    出版 1995
    图书

    Correct hardware design and verification methods IFIP WG10.5 advanced research working conference, CHARME 95, Frankfurt/Main, Germany, October 2-4, 1995 : proceedings
  6. 506

    Objective software quality objective quality : Second Symposium on Software Quality Techniques and Acquisition Criteria, Florence, Italy, May 29-31, 1995 : proceedings

    出版 1995
    图书

    Objective software quality objective quality : Second Symposium on Software Quality Techniques and Acquisition Criteria, Florence, Italy, May 29-31, 1995 : proceedings
  7. 507

    Advances in cryptology--ASIACRYPT '94 International Conference on the Theory and Applications of Cryptology Wollongong, Australia, November/December 1994 : proceedings

    出版 1995
    图书

    Advances in cryptology--ASIACRYPT '94 International Conference on the Theory and Applications of Cryptology Wollongong, Australia, November/December 1994 : proceedings
  8. 508

    Artificial neural networks an introduction to ANN theory and practice

    出版 1995
    图书

    Artificial neural networks an introduction to ANN theory and practice
  9. 509

    Digital libraries current issues : Digital Libraries Workshop DL '94, Newark NJ, USA, May 19-20, 1994 : selected papers

    出版 1995
    图书

    Digital libraries current issues : Digital Libraries Workshop DL '94, Newark NJ, USA, May 19-20, 1994 : selected papers
  10. 510

    Computer vision, virtual reality, and robotics in medicine first international conference, CVRMed '95, Nice, France, April 3-6, 1995 : proceedings

    出版 1995
    图书

    Computer vision, virtual reality, and robotics in medicine first international conference, CVRMed '95, Nice, France, April 3-6, 1995 : proceedings

检索工具: