Title: Dependability of Critical Computer Systems, Author: P.G. Bishop
Title: Parallel Algorithm Derivation and Program Transformation, Author: Robert Paige
Title: A Practical Theory of Programming, Author: Eric C.R. Hehner
Title: Subrecursive Programming Systems: Complexity & Succinctness, Author: James S. Royer
Title: Software Quality and Productivity: Theory, practice, education and training, Author: M. Lee
Title: Reliability and Optimization of Structural Systems: Proceedings of the sixth IFIP WG7.5 working conference on reliability and optimization of structural systems 1994, Author: Rudiger Rackwitz
Title: A Knowledge-Based Approach to Program Understanding, Author: Salwa K. Abd-El-Hafiz
Title: A Paradigm for Decentralized Process Modeling, Author: I. Ben-Shaul
Title: Environmental Software Systems: Proceedings of the International Symposium on Environmental Software Systems, 1995, Author: Ralf Denzer
Title: Achieving Quality in Software: Proceedings of the third international conference on achieving quality in software, 1996, Author: S. Bologna
Title: Software Performability: From Concepts to Applications, Author: Ann T. Tai
Title: Quasidifferentiability and Nonsmooth Modelling in Mechanics, Engineering and Economics, Author: Vladimir F. Demyanov
Title: Computer Aided Software Engineering, Author: Hausi A. Muller
Title: Object-Oriented Behavioral Specifications, Author: Haim Kilov
Title: Developments in Global Optimization, Author: Immanuel M. Bomze
Title: Reliability, Quality and Safety of Software-Intensive Systems: IFIP TC5 WG5.4 3rd International Conference on Reliability, Quality and Safety of Software-Intensive Systems (ENCRESS '97), 29th-30th May 1997, Athens, Greece, Author: Dimitris Gritzalis
Title: Algorithimic Languages and Calculi, Author: Richard Bird
Title: Environmental Software Systems: IFIP TC5 WG5.11 International Symposium on Environmental Software Systems (ISESS '97), 28 April-2 May 1997, British Columbia, Canada, Author: Ralf Denzer
Title: Semi-Infinite Programming, Author: Rembert Reemtsen
Title: New Trends in Mathematical Programming: Homage to Steven Vajda, Author: F. Giannessi

Pagination Links