RIMS symposia on software science and engineering, Kyoto, 1982 : proceedings /

প্রকাশিত 1983

Software metrics /

অনুযায়ী Gilb, Tom
প্রকাশিত 1977

Specification and design of software systems : Conference on Operating Systems Visegrad, Hungary, January 23-27, 1982, proceedings /

প্রকাশিত 1983

Elements of software science /

অনুযায়ী Halstead, Maurice H. (Maurice Howard), 1918-
প্রকাশিত 1977

Principles of artificial intelligence and expert systems development /

অনুযায়ী Rolston, David W.
প্রকাশিত 1988

VDM '88 : VDM, the way ahead : 2nd VDM-Europe symposium, Dublin, Ireland, September, 1988 : proceedings /

প্রকাশিত 1988

Artificial intelligence : applications in the future of software engineering /

অনুযায়ী Partridge, D. A.
প্রকাশিত 1986

Foundations of software technology and theoretical computer science : fifth conference, New Delhi, India, December 16-18, 1985 : proceedings /

প্রকাশিত 1985

MetaSoft primer : towards a metalanguage for applied denotational semantics /

অনুযায়ী Blikle, Andrzej
প্রকাশিত 1987

Foundations of software technology and theoretical computer science : seventh conference, Pune, India, December 17-19, 1987 : proceedings /

প্রকাশিত 1987

Foundations of software technology and theoretical computer science : eighth conference, Pune, India, December 21-23, 1988 : proceedings /

প্রকাশিত 1988

Software reliability modelling and identification /

প্রকাশিত 1988

Microprocessor software project management /

অনুযায়ী Fathi, Eli T.
প্রকাশিত 1985

RIMS symposia on software science and engineering II : proceedings of the symposia 1983 and 1984, Kyoto, Japan /

প্রকাশিত 1986

Object-oriented programming an evolutionary approach /

অনুযায়ী Cox, Brad J.
প্রকাশিত 1986

Software validation : inspection, testing, verification, alternatives : proceedings of the Symposium on Software Validation held in Darmstadt, FRG, September 25-30, 1983 /

প্রকাশিত 1984

Computer organization : hardware/software /

অনুযায়ী Gorsline, George W.
প্রকাশিত 1986

Empirical foundations of information and software science III /

প্রকাশিত 1987

Software system design methods : the challenge of advanced computing technology /

প্রকাশিত 1986

The Software catalog.

প্রকাশিত 1983