iBerry

basic constructs of the language and how to do basic numerical analysis, SciPy library, scientific plotting, advanced topics in scientific computing such as integrating Python with other languages and parallel programming

Symbolic Programming, Matlab, Pascal, C, Unix, C++, Java, Python

concepts and techniques relevant to the production of large software systems, a programming method based on the recognition and description of useful abstractions: modularity, specification, data abstraction, object modeling, design patterns and testing: Labs, Assignments, Quizzes, Projects, Tools, Related Resources, Recitations, Course Download

engineering of computer software and hardware systems, techniques for controlling complexity, strong modularity using client-server design, virtual memory, and threads, networks, atomicity and coordination of parallel activities, recovery and reliability, privacy, security, and encryption and impact of computer systems on society, case studies of working systems and readings from current literature: Projects, Study Materials, Course Download

Iterative Algorithms & Loop Invariants, Recursion, Optimization Problems, slides (Iterative Technique, Recursion, Searching Graphs, Network Flows, Greedy Algorithms, Recursive Back Tracking and Dynamic Programming, NP-Completeness, Lower Bounds & Models, Review)

applications, BSD, basic computing, DOS, databases, handheld devices, hardware, Linux, Macintosh, misc, networking, Novell, OS2, programming, webmaster, windows, resources (TUTORIAL SEARCH, TECH REFERENCE, TECH BLOGS, WHITE PAPERS, FREE MAGAZINES, TECH JOBS, FORUMS, CERTIFICATIONS), newsletter

common application layer protocols on the Internet, general principles and methods used in these protocols: standards (ASN.1, ABNF, DNS, E-mail, LDAP, FTP, cookies, usenet news, HTTP, URLs, port numbers & media types), HTML 4.01 specification, networking basics, GIF, JPEG, CGI, FTP, HTTP, IRC, PICS, X.500, coding, ABNF, ASN.1, XML, CGI, XSL: exams with answers, links

requirements specifications, structured analysis, modeling, top down design, testability, maintainability, portability, verification & validation, modification, configuration, management, reliability, efficiency, complexity, compatibility, modularity, interfacing, hardware & language issues: resources, case studies, projects

courses (global software, internet devices & services, mobile middleware, distributed programming using Java, program development using Unix, electronic commerce (technical issues), IT project, client server computing, system software, operating systems): resources, slides

set theory, abstract machines, formal definitions of relations, functions & sequences, library case study, predicate logic & substitutions, discharging proof obligations, preconditions and guards, specifying simple file system, generalised substitutions, machine composition, traffic lights, structuring specifications, refinement, beyond specification, data Design, loop correctness