Showing 571 - 580 results of 601 for search '"Lectures notes in computer science"', query time: 0.02s Refine Results
  1. 571

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

    Published 1993
    Book

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

    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.

    Published 1993
    Book

    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.
  3. 573

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

    Published 1993
    Book

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

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

    Published 1993
    Book

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

    Formal methods in programming and their applications international conference, Academgorodok, Russia, June/July 1993 proceedings

    Published 1993
    Book

    Formal methods in programming and their applications international conference, Academgorodok, Russia, June/July 1993 proceedings
  6. 576

    Mathematical foundations of computer science 1993 18th International Symposium, MFCS'93, Gdansk, Poland, August 30-September 3, 1993 : proceedings

    Published 1993
    Book

    Mathematical foundations of computer science 1993 18th International Symposium, MFCS'93, Gdansk, Poland, August 30-September 3, 1993 : proceedings
  7. 577

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

    Published 1993
    Book

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

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

    Published 1993
    Book

    Ray shooting, depth orders and hidden surface removal
  9. 579

    Advances in databases 11th British National Conference on Databases, BNCOD 11, Keele, UK, July 7-9, 1993 : proceedings

    Published 1993
    Book

    Advances in databases 11th British National Conference on Databases, BNCOD 11, Keele, UK, July 7-9, 1993 : proceedings
  10. 580

    Algorithms and computation 4th International Symposium, ISAAC '93, Hong Kong, December 1993 : proceedings

    Published 1993
    Book

    Algorithms and computation 4th International Symposium, ISAAC '93, Hong Kong, December 1993 : proceedings

Search Tools: