Proceedings
Proceedings: Fourth International Symposium on Mine Mechanisation and Automation, Brisbane, Queensland 6-9 July, 1997
Proceedings
Proceedings
H. J. Keisler, Model theory for infinitary logic, North-Holland, Amsterdam, 1971. 13. ... 14. , Choice of infinitary languages by means of definability criteria; generalized recursion theory, Lecture Notes in Math., vol.
Proceedings
This work contains the proceedings of the 8th International Workshop on Program Comprehension, 2000. Papers address: theories and models for software comprehension; cognitive processes in program comprehension; tools facilitating software...
Proceedings
Proceedings
Proceedings
Proceedings
Proceedings
This four volume document contains papers that were presented at the AWWA Annual Conference in Philadelphia. Pennsylvania in June 1991.
Proceedings
In this paper , we will show how to use this model of integration testing in a regression testing mode , where ... error is a misunderstanding by the module user about Sa , in that it differs from the interpreted specification Si .
Proceedings: 26th European Conference on Modelling and Simulation
Proceedings: AI, Simulation and Planning in High Autonomy Systems
Proceedings: SBCCI ...
Proceedings: Compte Rendu
As a complement to the general paper collection published by Springer-Verlag, this volume collects 80 workshop papers from the June/July 2008 conference on data storage devices, future security services, unconventional high performance ...