dc.contributor.editor	Gruner, Stefan
dc.contributor.editor	Watson, Bruce William
dc.date.accessioned	2009-02-26T12:55:58Z
dc.date.available	2009-02-26T12:55:58Z
dc.date.created	2008-06-28
dc.date.issued	2009-02-26T12:55:58Z
dc.description	The Post-Proceedings of this Festschrift will be formally published in The South African Computer Journal number 41.
dc.description.abstract	Table of contents : A Burden of Wonder, by Tinus Strauss. A Computing Medley on Program Verification, by John Andre van der Poll. A Means to an End, by Gertjan Zwartjes. An Assertion-Guided Derivation, by Bruce Watson. The Boyer-Moore-Horspool Algorithm, by Loek Cleophas. Deterministic Finite Automata, by Jan Holub and Stanislav Stekr. Architectural Design, by Andrew Boake. Mobile Spectrum Auctions, by Vali Lalioti. Domain Ontologies, by Thomas Meyer. Text Redundancy and Compression, by Stefan Gruner. Querying Code Bases, by Alexandru Telea and Heorhiy Byelas. Finite Automata over Regular Languages, by Lynette van Zijl and Lesley Raitt. Coding Standards, by Vreda Pieterse. Inventive Ideation, by Marlene Ross. Software Engineering Professionalism, by Morkel Theunissen. Ethical Research, by Dewald Roode. The Lazy Programmer, by Judith Bishop. Postgraduate Studies in Computer Science, by Martin Olivier. CSP Prover, by Yoshi Isobe and Markus Roggenbach. Web-based Development, by Iwan Vosloo.	en_US
dc.identifier.citation	Gruner, S & Watson, B 2008, 'Table of contents', in Colloquium and Festschrift at the occasion of the 60th birthday of Derrick Kourie (Computer Science), Windy Brow, South Afica, 28 June 2008. [http://www.cs.up.ac.za/cs/sgruner/Festschrift/]
dc.identifier.uri	http://hdl.handle.net/2263/9048
dc.language.iso	en	en_US
dc.rights	Stefan Gruner	en_US
dc.subject	Table of contents	en_US
dc.subject	Scientific part of the colloquium
dc.subject.lcsh	Computer science
dc.title	Table of contents	en_US
dc.type	Text	en_US