Search Results - "Dissertations Computer science"

Refine Results
  1. Cover Image

    A comparison of two different model checking techniques by Bull, J. J. D

    Published 2012
    Subjects: “…Dissertations -- Computer science…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  2. Cover Image

    Modelling algorithms for the South African telephone network by Engelbrecht, Andries Petrus

    Published 2012
    Subjects: “…Dissertations -- Computer science…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  3. Cover Image

    Investigating the non-termination of affine loops by Durant, Kevin

    Published 2013
    Subjects: “…Dissertations -- Computer science…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  4. Cover Image

    Extended probabilistic symbolic execution by Uwimbabazi, Aline

    Published 2013
    Subjects: “…Dissertations -- Computer science…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  5. Cover Image

    Modeling online social networks using Quasi-clique communities by Botha, Leendert W.

    Published 2011
    Subjects: “…Dissertations -- Computer science…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  6. Cover Image

    A visual programming environment for authoring ASD therapy tools by Msiska, Mwawi Fred

    Published 2011
    Subjects: “…Dissertations -- Computer science…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  7. Cover Image

    Symbolic string execution by Redelinghuys, Gideon

    Published 2012
    Subjects: “…Dissertations -- Computer science…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  8. Cover Image

    Dynamic control of the permanent magnet assisted reluctance synchronous machine with constant current angle by De Kock, Hugo Werner

    Published 2008
    Subjects: “…Dissertations -- Computer science…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  9. Cover Image

    IGP traffic engineering : a comparison of computational optimization algorithms by Wang, Hong Feng

    Published 2012
    Subjects: “…Dissertations -- Computer science…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  10. Cover Image

    The design of a specification language suitable for the generation of compilers by Lockley, Graeme J.(Graeme James)

    Published 2012
    Subjects: “…Dissertations -- Computer science…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  11. Cover Image

    Constructing topic-based Twitter lists by De Villiers, Francois

    Published 2013
    Subjects: “…Dissertations -- Computer science…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  12. Cover Image

    A program slicer for LF by Louw, Francoise

    Published 2011
    Subjects: “…Dissertations -- Computer science…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  13. Cover Image

    A model checker for the LF system by Gerber, Erick D. B.

    Published 2012
    Subjects: “…Dissertations -- Computer science…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  14. Cover Image

    Reducing communication in distributed model checking by Fourie, Jean Francois

    Published 2009
    Subjects: “…Dissertations -- Computer science…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  15. Cover Image

    Neural network ensembles by De Jongh, Albert

    Published 2012
    Subjects: “…Dissertations -- Computer science…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  16. Cover Image

    Computer facial animation for sign language visualization by Barker, Dean

    Published 2012
    Subjects: “…Dissertations -- Computer science…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  17. Cover Image

    Traffic engineering label switched paths by Bagula, Bigomokero Antoine

    Published 2012
    Subjects: “…Dissertations -- Computer science…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  18. Cover Image

    Distributed binary decision diagrams by Fasan, Mary Oluwasola

    Published 2010
    Subjects: “…Dissertations -- Computer science…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  19. Cover Image

    Visualizing Qos in networks by Grift, Werner

    Published 2011
    Subjects: “…Dissertations -- Computer science…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  20. Cover Image

    Collection, evaluation and selection of scientific literature : machine learning, bibliometrics and the World Wide Web by Connan, James

    Published 2012
    Subjects: “…Dissertations -- Computer science…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:

Search Tools: