Computer Science II
This course note explains computer programming concepts includes object-oriented programming techniques: class methods, wrapper classes for primitive types, inheritance, abstract classes, events and listeners, packaging your code as a stand-alone program or an applet, interfaces, garbage collection, introduction to exceptions; structured programming techniques: switch statements, nested loops, arrays (seaching, sorting, multidimensional).
Author(s): Pete Nordquist
NA Pages 
Introduction to Theoretical Computer Science
This note covers Mathematical background, Computation and representation, Finite computation, Uniform computation, Efficient algorithms, Randomized computation and advanced topics.
Author(s): Boaz Barak
656 Pages
This PDF covers the following topics related to Computer Science, Data the raw materialRepresenting information, Putting Computers to WorkAlgorithms, Telling Computers What To DoRepresenting Procedures, Really hard problemsIntractability, Sharing secrets and fighting crimeCryptography, The human face of computingInteracting with computers.
Author(s): Tim Bell, Ian H. Witten, Mike Fellows
243 Pages
Mathematics for Computer Science
This PDF covers the following topics related to Computer Science,Intro to Proofs, Well Ordering Principle, Logical Formulas, Mathematical Data Types, Induction, Recursive Data Types, Infinite Sets, Number Theory, Directed Graphs and Partial Orders, Communication Networks, Simple Graphs, Planar Graphs, Sums and Asymptotics, Cardinality Rules, Generating Functions, Events and Probability Spaces, Conditional Probability, Random Variables, Deviation From the Mean, Random Walks.
Author(s): Eric Lehman, F. Thomson Leighton, Alberty R. Meyer
427 Pages
The PDF covers the following topics related to Computer Science, Introduction to Logics, Propositional Calculus, Predicate Calculus, Applications of Predicate Calculus, Automated Deduction in Propositional Calculus, Automated Deduction in Predicate Calculus, SecondOrder Logic, SecondOrder Quantifier Elimination, Modal Logics, Temporal Logic, Logics of Programs, Fixpoint Calculus, Rough Concepts.
Author(s): Andrzej Szalas
125 Pages
