Showing 13,301 - 13,310 results of 15,143 for search 'Springer Springer', query time: 0.04s Refine Results
  1. 13301

    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
  2. 13302

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

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

    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.
  5. 13305

    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
  6. 13306

    Non-equilibrium thermodynamics with application to solids

    Published 1993
    Book

    Non-equilibrium thermodynamics with application to solids
  7. 13307

    Evaluation of global bearing capacities of structures by Landriani, G. Sacchi

    Published 1993
    Book

    Evaluation of global bearing capacities of structures
  8. 13308

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

    Published 1993
    Book

    Dynamic stiffness and substructures
  9. 13309

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

    Dynamics of rotors and foundations by Kramer, E. (Erwin)

    Published 1993
    Book

    Dynamics of rotors and foundations

Search Tools: