Rezultati - "Lecture Notes in Computer Science"

Refine Results
  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,...

    Izdano 1994
    Knjiga


    Slika na naslovnici
  2. 552

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

    Izdano 1994
    Knjiga


    Slika na naslovnici
  3. 553

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

    Izdano 1994
    Knjiga


    Slika na naslovnici
  4. 554

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

    Izdano 1994
    Knjiga


    Slika na naslovnici
  5. 555

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

    Izdano 1993
    Knjiga


    Slika na naslovnici
  6. 556

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

    Izdano 1993
    Knjiga


    Slika na naslovnici
  7. 557

    Ray shooting, depth orders and hidden surface removal od Berg, Mark de

    Izdano 1993
    Knjiga


    Slika na naslovnici
  8. 558

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

    Izdano 1993
    Knjiga


    Slika na naslovnici
  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.

    Izdano 1993
    Knjiga


    Slika na naslovnici
  10. 560

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

    Izdano 1993
    Knjiga


    Slika na naslovnici

Iskalna orodja: