Showing 1 - 20 results of 169 for search 'COMPUTER PROGRAMMING', query time: 0.82s Refine Results
  1. 1
    A program slicer for LF
    by Louw, Francoise
    Published 2011
    Subjects: “...LF (Computer program language)...”
    Get full text
    Others
  2. 2
    Open-source software and the rationale for copyright protection of computer programs
    by Karjiker, Sadulla
    Published 2013
    Subjects: “...Copyright law -- Computer programs...”
    Get full text
    Others
  3. 3
    Automated program generation : bridging the gap between model and implementation
    by Bezuidenhout, Johannes Abraham
    Published 2012
    Subjects: “...Computer software -- Verification...”
    Get full text
    Others
  4. 4
    A support environment for the teaching of programming.
    by Stewart, Rosanne.
    Published 2012
    Subjects: “...Programming (Electronic Computers)--Study and Teaching....”
    Get full text
  5. 5
    Providing mechanical support for program development in a weakest precondition calculus
    by Ackerman, Charlotte Christene
    Published 2013
    Subjects: “...Calculus -- Computer programs...”
    Get full text
    Others
  6. 6
    A visual programming environment for authoring ASD therapy tools
    by Msiska, Mwawi Fred
    Published 2011
    Subjects: “...Visual programming...”
    Get full text
    Others
  7. 7
    Bug-finding and test case generation for java programs by symbolic execution
    by Bester, Willem Hendrik Karel
    Published 2013
    Subjects: “...ARTEMIS (Computer program)...”
    Get full text
    Others
  8. 8
    LF : a language for reliable embedded systems
    by Van Riet, F. A.
    Published 2012
    Subjects: “...Programming languages (Electronic computers)...”
    Get full text
    Others
  9. 9
    A study of genetic algorithms for solving the school timetabling problem.
    by Raghavjee, Rushil.
    Published 2013
    Subjects: “...Genetic programming (Computer science)...”
    Get full text
  10. 10
    Geogebra, tool for mediating knowledge in the teaching and learning of transformation of functions in mathematics.
    by Uddin, Razack Sheriff.
    Published 2012
    Subjects: “...Algebra--Computer programs....”
    Get full text
  11. 11
    The impact of capital gains tax on estate planning : a practical decision making model for investing and estate planning
    by Rademeyer, Conrad
    Published 2012
    Subjects: “...Capital gains tax -- Computer programs...”
    Get full text
    Others
  12. 12
    A language to support verification of embedded software
    by Swart, Riaan
    Published 2012
    Subjects: “...Programming languages (Electronic computers)...”
    Get full text
    Others
  13. 13
    A model checker for the LF system
    by Gerber, Erick D. B.
    Published 2012
    Subjects: “...Computer programs -- Verification...”
    Get full text
    Others
  14. 14
    Integrated species distribution modelling system : a user friendly front end to the GARP modelling toolkit
    by Sutton, T. P.
    Published 2012
    Subjects: “...Zoogeography -- Computer programs...”
    Get full text
    Others
  15. 15
    Computer facial animation for sign language visualization
    by Barker, Dean
    Published 2012
    Subjects: “...VRML (Computer program language)...”
    Get full text
    Others
  16. 16
    Representation of regular formal languages.
    by Safla, Aslam.
    Published 2014
    Subjects: “...Programming languages (Electronic computers)...”
    Get full text
  17. 17
    A Java bytecode compiler for the 8051 micro-controller
    by Mbhambhu, Tsakani Joseph
    Published 2012
    Subjects: “...Compilers (Computer programs)...”
    Get full text
    Others
  18. 18
    Extended probabilistic symbolic execution
    by Uwimbabazi, Aline
    Published 2013
    Subjects: “...Computer programming...”
    Get full text
    Others
  19. 19
    An educational computer programme designed for companies in South Africa to facilitate employee housing assistance
    by Fullard, Alexandra J. E.
    Published 2012
    Subjects: “...Computer programs -- Testing...”
    Get full text
    Others
  20. 20
    Addressing the incremental risks associated with adopting a Bring Your Own Device program by using the COBIT 5 framework to identify keycontrols
    by Weber, Lyle
    Published 2014
    Subjects: “...Computer networks -- Security measures...”
    Get full text
    Others
Search Tools: Get RSS Feed — Email this Search