Books

Search Books...

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

Taxation 2

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 image

Administration, Social and Management science

Agriculture and Veterinary Medicine image

Agriculture and Veterinary Medicine

Arts and Humanities image

Arts and Humanities

Education image

Education

Engineering image

Engineering

General studies image

General studies

Law image

Law

Medical, Pharmaceutical and Health science image

Medical, Pharmaceutical and Health science

Science and Technology image

Science and Technology