खोज परिणाम - "Lecture notes in computer science"

परिणाम को परिष्कृत करें
  1. 551

    Formal techniques in real-time and fault-tolerant systems third international symposium organized jointly with the Working Group Provably Correct Systems, ProCoS, Lubeck, Germany,...

    प्रकाशित 1994
    पुस्तक


    कवर छवि
  2. 552

    Algorithmic number theory first international symposium, ANTS-I, Ithaca, NY, USA, May 6-9, 1994 : proceedings

    प्रकाशित 1994
    पुस्तक


    कवर छवि
  3. 553

    Compiler construction 5th International Conference, CC '94, Edinburgh, U.K., April 7-9, 1994 : proceedings

    प्रकाशित 1994
    पुस्तक


    कवर छवि
  4. 554

    Computer science logic 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers

    प्रकाशित 1994
    पुस्तक


    कवर छवि
  5. 555

    Foundations of software technology and theoretical computer science 13th conference, Bombay, India, December 15-17, 1993.

    प्रकाशित 1993
    पुस्तक


    कवर छवि
  6. 556

    Object technologies for advanced software first JSSST international symposium, Kanazawa, Japan, November 4-6, 1993 : proceedings

    प्रकाशित 1993
    पुस्तक


    कवर छवि
  7. 557

    Ray shooting, depth orders and hidden surface removal द्वारा Berg, Mark de

    प्रकाशित 1993
    पुस्तक


    कवर छवि
  8. 558

    Computer aided verification 4th international workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992.

    प्रकाशित 1993
    पुस्तक


    कवर छवि
  9. 559

    TAPSOFT '93 theory and practice of software development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 : M.C. Gaudel, J.-P. Jouannaud, eds.

    प्रकाशित 1993
    पुस्तक


    कवर छवि
  10. 560

    Advanced information systems engineering 5th International Conference, CAiSE '93, Paris, France, June 8-11, 1993 proceedings

    प्रकाशित 1993
    पुस्तक


    कवर छवि

खोज साधन: