Εμφανίζονται 501 - 510 Αποτελέσματα από 594 για την αναζήτηση '"Lecture notes in computer science."', χρόνος αναζήτησης: 0,02δλ Περιορισμός αποτελεσμάτων
  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

Εργαλεία αναζήτησης: