Showing 501 - 510 results of 594 for search '"Lecture Notes in Computer Science"', Forespørselstid: 0.02s Refine Results
  1. 501

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

    Udgivet 1995
    Bog

    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

    Udgivet 1995
    Bog

    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

    Udgivet 1995
    Bog

    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

    Udgivet 1995
    Bog

    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

    Udgivet 1995
    Bog

    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

    Udgivet 1995
    Bog

    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

    Udgivet 1995
    Bog

    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

    Udgivet 1995
    Bog

    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

    Udgivet 1995
    Bog

    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

    Udgivet 1995
    Bog

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

Søgeredskaber: