Showing 851 - 860 results of 2,559 for search 'SpringerVerlag', query time: 0.02s Refine Results
  1. 851

    Dynamic stiffness and substructures by Leung, A. Y. T.

    Published 1993
    Book

    Dynamic stiffness and substructures
  2. 852

    Vibration of buildings to wind and earthquake loads by Balendra, T. (Thambirajah) 1951-

    Published 1993
    Book

    Vibration of buildings to wind and earthquake loads
  3. 853

    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.
  4. 854

    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. 855

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

    Published 1993
    Book

    Ray shooting, depth orders and hidden surface removal
  6. 856

    Systematic introduction to expert systems knowledge representations and problem-solving methods by Puppe, Frank

    Published 1993
    Book

    Systematic introduction to expert systems knowledge representations and problem-solving methods
  7. 857

    Formal methods in databases and software engineering proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 15-16 May 1992

    Published 1993
    Book

    Formal methods in databases and software engineering proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 15-16 May 1992
  8. 858

    Theory and formal methods proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate,...

    Published 1993
    Book

    Theory and formal methods proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31 March 1993
  9. 859

    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.
  10. 860

    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.

Search Tools: