Showing 1 - 20 results of 508 for search '', query time: 0.21s Refine Results
  1. 1
    The specification of computer programs /
    by Turski, Władysław
    Published 1987
    Book
  2. 2
    Paulp 2 : a plastic analysis computer program user manual /
    by Grierson, Donald E., 1939-
    Published 1980
    Book
  3. 3
    Compiler specification and verification /
    by Polak, Wolfgang, 1950-
    Published 1981
    Connect to the full text of this electronic book
    eBook
  4. 4
    Verifying concurrent processes using temporal logic /
    Connect to the full text of this electronic book
    eBook
  5. 5
    Program specification : proceedings of a workshop, Aarhus, Denmark, August 1981 /
    Published 1982
    Connect to the full text of this electronic book
    eBook
  6. 6
    STRESS: a reference manual; a problem-oriented computer language for structural engineering
    Published 1965
    Book
  7. 7
    Portability of numerical software workshop, Oak Brook, Illinois, June 21-23, 1976 /
    Published 1977
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  8. 8
    Logics of programs and their applications : proceedings, Poznan, August 23-29, 1980 /
    Published 1983
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  9. 9
    Time series package (TSPack) /
    Published 1985
    Connect to the full text of this electronic book
    eBook
  10. 10
    Up and running : adventures of software entrepreneurs /
    by Sherman, Charles E.
    Published 1984
    Book
  11. 11
    Guidance on software package selection /
    Published 1986
    Government Document Book
  12. 12
    The Internationalisation of software and computer services.
    Published 1989
    Government Document Book
  13. 13
    Finite element models for two-dimensional steady and transient groundwater flow-programs, case studies, and comparison with finite difference method /
    by Ghassemi, F. (Farhad)
    Published 1984
    Book
  14. 14
    Proceedings of the ISMM International Symposium : software and hardware applications of microcomputers : Fort Collins, Colorado, U.S.A., February 4-6, 1987 /
    Published 1987
    Conference Proceeding Book
  15. 15
    Advances in electrical engineering software : proceedings of the First International Conference on Electrical Engineering Analysis and Design, Lowell, Massachusetts, USA, 21-23 August 1990 /
    Published 1990
    Inhaltstext
    Conference Proceeding Book
  16. 16
    Architectural interior systems workbook : analytical procedures and examples /
    by Kremers, Jack A. (Jack Alan)
    Published 1992
    Book
  17. 17
    Numerical recipes in FORTRAN : the art of scientific computing /
    Published 1992
    Table of contents
    Publisher description
    Book
  18. 18
    Cost control in forest harvesting and road construction.
    Published 1992
    Book
  19. 19
    Configuration management within PRINCE /
    by Bentley, Colin
    Published 1993
    Book
  20. 20
    Formal methods in circuit design /
    by Stavridou, V. (Victoria)
    Published 1993
    Table of contents
    Publisher description
    Book
Search Tools: RSS Feed – Email Search