Computation Books
Introduction to Languages and the Theory of Computation ,4th edition
Author: John Martin
School: University of Ibadan
Department: Science and Technology
Course Code: CSC242
Topics: Computation, languages, Mathematical Tools, Regular Expressions, Nondeterminism, Kleeneās Theorem, Context-Free Languages, Finite Automata, Pushdown Automata, Non-Context-Free Languages, Undecidable Problems, Decision Problems Involving Turing Machines, turing machines, computable functions, Recursively Enumerable Languages, Computational Complexity
Introduction to Automata Theory, Languages, and Computation, 3rd edition
Author: John Hopcroft, Rajeev Motwani, Jeffrey Ullman
School: Edo University
Department: Science and Technology
Course Code: CSC314
Topics: Automata Theory, Languages, Computation, finite automata, regular expressions, ContextFree Grammars, Pushdown Automata, Turing machines, Undecidability, Intractable Problems
Preparing tax computations and returns
Author: ABWA
School: National Open University of Nigeria
Department: Administration, Social and Management science
Course Code: ACC318
Topics: Tax Law, Taxation, Tax Cut, Nigerian Tax System, Tax Administration, Tax Structure, Tax Appeal Tribunal, Tax Appeal Tribunal, PERSONAL INCOME TAX, Companies Income Tax, Loss Reliefs, Withholding Tax, Capital Gains Tax, Value Added Tax, TERTIARY EDUCATION TAX, GIFT TAX, STAMP DUTIES
Bending moment and Shear Force
Author: ENG305
School: Federal University of Technology, Owerri
Department: Engineering
Course Code: ENG305
Topics: Computation of reactions, Computation of forces and moments, bending moment and shear force, bending moment diagram, beams of composite cross section
Discrete mathematics and its applications ,8th edition
Author: Kenneth Rosen
School: University of Ibadan
Department: Science and Technology
Course Code: CSC242
Topics: Discrete mathematics, logic, sets, functions, sequences, matrices, algorithms, Number theory, cryptography, induction, recursion, counting, discrete probability, advanced counting techniques, counting techniques, Linear Recurrence Relations, modelling computation, Finite-State Machines, relations, graphs, trees, boolean algebra, modelling computation, Boolean Functions, Logic Gates, Minimization of Circuits.Tree Traversal, Spanning Trees, Minimum Spanning Trees, Graph Models, Graph Terminology, Graph Isomorphism, Connectivity, Euler path, Hamilton Path, Shortest-Path Problems, Planar Graphs, Graph Coloring, Representing Relations, Equivalence Relations, Probability Theory, Bayes Theorem, variance, Pigeonhole Principle, permutation combination, binomial coefficient, Recursive Algorithms, Program Correctness, Divisibility, Modular Arithmetic, Integer Representations, Set Operations, Cardinality of Sets
Author: Edirin JEROH
School: National Open University of Nigeria
Department: Administration, Social and Management science
Course Code: ACC318
Topics: Business Taxation, Capital Allowance Computation, Loss Relief, Taxation of Partnership, Company Income Tax, Capital Allowance Computation, Loss Relief, Tax Provisions, Taxation Provisions
Languages and Machines, 3rd edition
Author: Thomas Sudkamp
School: Edo University
Department: Science and Technology
Course Code: CSC314
Topics: Languages, regular expression, text searching, grammars, automata, languages, Chomsky normal form, finite automata, deterministic finite automata, Myhill-Nerode theorem, homky, undecidability, Rice's theorem, Mu-recursive functions, numeric computation, incomputable functions, linear-bounded automata, computational complexity, linear speedup, Hamiltonian circuit problem, polynomial-time reduction, satisfiability problem, complexity class relations, optimization problems, approximation algorithms, approximation schemes, space complexity, deterministic parsing
An Introduction to Formal Languages and Automata, 6th edition
Author: Peter Linz
School: Edo University
Department: Science and Technology
Course Code: CSC314
Topics: finite automata, regular expressions, regular languages, parsing, turing machines, algorithmic computation, recursive functions, computational complexity
Applied Strength of Materials, 6th Edition
Author: Robert Mott, Joseph Untener
School: Bayero University, Kano
Department: Engineering
Course Code: CIV3308
Topics: Direct Normal stress, stress, strain, Direct shear stress, Screw Threads, Experimental stress analysis, Computational stress analysis, Fundamental of statics, Materials design properties, Properties of steel, Properties of Cast Iron, Properties of Aluminum, Wood, Concrete, Plastics, Composites, Direct stress, Deformation, Computing design stress, Thermal stress, Bearing stress, Design bearing stress, Twisting, Elastic Torsional Deformation, Torsion, Beam loading, Beams supports, Beam types, Supports reactions, Centroids, Complex shapes centroid, Radius of Gyration, section modulus, Flexure formula, General shear formula, Special shear formulas, Shear flow, Beams deflection, combined stress, Columns, Slenderness Ratio, Buckling formula, Pressure vessels, Bolted connections design, Rivet joints, Eccentrically loaded riveted joints, Eccentrically loaded Bolted joints
Parallel programming, 2nd edition
Author: Barry Wilkinson, Michael Allen
School: Edo University
Department: Science and Technology
Course Code: CMP221
Topics: Parallel programming, parallel computers, cluster computing, message-passing computing, message-passing programming, parallel programs, Partitioning, synchronous computations, synchronous iteration program, load balancing, Distributed Termination Detection Algorithms, Shared Memory Multiprocessors, Parallel Programming Languages, distributed shared memory, distributed shared memory programming, algorithms, sorting algorithms, numerical algorithms, matrices, image processing, Hough transform, branch-and-bound search, genetic algorithms
Departments
Administration, Social and Management science
Agriculture and Veterinary Medicine
Arts and Humanities
Education
Engineering
General studies
Law
Medical, Pharmaceutical and Health science
Science and Technology