Algorithm Books
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
Artificial intelligence lecture note
Author: COS454
School: University of Nigeria, Nsukka
Department: Science and Technology
Course Code: COS454
Topics: Artificial intelligence, agent communication, knowledge representation, knowledge procession, symbolic reasoning, Artificial intelligence techniques, artificial neural network, expert systems, genetic algorithm, genetic algorithm maximization function
Author: Yetunde Folajimi
School: University of Ibadan
Department: Science and Technology
Course Code: CSC103
Topics: Programming, computer programming, computer languages, programming process, compilation, coding, debugging, syntax, Programming languages, low-Programming languages, high-Programming languages, Modular Programming Languages, Structured Programming Language, Business Oriented Language, Object oriented programming language, Visual Programming Languages, Algorithm, Problem-Solving, Problem Solving Process, Algorithmic Problem Solving, Pseudo-Codes, Pseudocode, Flowcharts, Flowchart Symbols, Flowcharting, Programming Environment, flowchart, Variables, Reserved Words, operators, Data Types, functions, Data Type, Numbers Manipulation, character manipulation, String Manipulation, Decision-Making, Loops, Conditional Statements, arrays, Computer Files, file input, file output, File Operation Modes
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
Communication Systems Engineering, 2nd Edition
Author: John Proakis, Masoud Salehi
School: Edo University
Department: Engineering
Course Code: CPE312
Topics: Communication Systems Engineering, Electrical Communication System, Communication Channel, frequency domain analysis, Fourier series, Fourier transforms, Bandlimited Signals sampling, bandpass signals, analog signal transmission, modulation, amplitude modulation, Conventional Amplitude Modulation, angle modulation, radio broadcasting, television broadcasting, mobile radio systems, random processes, Gaussian Processes, White Processes, Bandlimited Processes, Bandpass Processes, Linear-Modulation Systems, information sources, source coding, source-coding theorem, Source-Coding Algorithms, Rate-Distortion Theory, quantization, Analysis-Synthesis Techniques, waveform coding, Digital Audio Transmission, Digital Audio Recording, Pulse Amplitude Modulation, Two-dimensional Signal Waveforms, Multidimensional Signal Waveforms, White Gaussian Noise, Symbol Synchronization, Bandlimited Channels, Digitally Modulated Signals, channel; capacity, channel coding, linear block code, cyclic codes, Convolutional Codes, wireless communications, Continuous Carrier-Phase Modulation, Spread-Spectrum Communication Systems, Digital Cellular Communication Systems
Digital Logic Circuit Analysis and Design
Author: Victor Nelson, Troy Nagle, Bill Carroll, David Irwin
School: Edo University
Department: Engineering
Course Code: EEE314
Topics: Digital Logic Circuit Analysis, Digital Logic Circuit Design, computing, digital systems, number systems, positional notation, arithmetic, binary arithmetic, octal arithmetic, hexadecimal arithmetic, base conversions, signed number representation, computer codes, numeric codes, error detection codes, correction codes, Boolean algebra, Venn diagram, Duality, switching functions, truth tables, switching circuits, electronic logic gates, combinational circuits, algebraic methods, combinational logic circuits, computer aided design, design cycle, digital circuit modelling, design synthesis, logic simulation, Karnaugh maps, Quine-McCluskey tabular minimization method, Petrick's algorithm, computer aided minimization of switching functions. Modular combinational logic, Decodes, encoders, decoder circuit structures, encoders, multiplexers, demultiplexers, data distributors, adder circuits, comparators, semi custom logic devices, logic array circuits, field-programmable logic arrays, programmable read-only memory, programmable array logic, sequential devices, sequential circuits, memory devices, latches, flip-flops, timing circuits, modular sequential logic shift registers, counters, serial adder unit, serial accumulators, parallel accumulators, multiple-sequence counters, digital fractional rate multipliers, synchronous sequential circuit models, synchronous sequential circuits, registered programmable logic device, programmable gate arrays, sequential circuit design, logic circuit testing, digital logic circuit testing, combinational logic circuit testing, sequential logic circuit testing, electronic slot machine, keyless auto entry system
Operating System Concepts, 10th edition
Author: Abraham Silberschatz, Greg Gagne, Peter Galvin
School: Edo University
Department: Science and Technology
Course Code: CSC212
Topics: Operating System, Computer-System Organization, Computer-System Architecture, Operating-System Operations, Operating-System Structures, Operating-System Services, user interface, operating system interface, distributed systems, kernel data structures, Operating-System Debugging, process management, process scheduling, interprocess communication, Multicore Programming, Multithreading Models, Implicit Threading, CPU Scheduling, Multi-Processor Scheduling, Real-Time CPU Scheduling, Algorithm Evaluation, process synchronization, POSIX Synchronization, dead locks, memory management, Contiguous Memory Allocation, virtual memory, storage management, HDD Scheduling, NVM Scheduling, error detection, storage device management, RAID structure, file system, file-system interface, file-system implementation, file-system structure, file-system operations, directory implementation, Free-Space Management, File-System Internals, File-System Mounting, file sharing, virtual file systems, remote file systems, security, program threats, Cryptography, Role-Based Access Control, access matrix, virtual machines, networks, Distributed File Systems, remote file access, Linux system, Kernel Modules, programmer interface
Advanced Compiler Design and Implementation
Author: Steven Muchnick
School: Edo University
Department: Science and Technology
Course Code: CSC312
Topics: Compiler Design, compiler Implementation, informal compiler algorithm notation, Low-Level Intermediate Languages, Multi-Level Intermediate Languages, run-time support, Data Representations, control-flow analysis, Data-Flow Analysis, Procedure Optimizations, Register Allocation, code scheduling, Memory Hierarchy optimization, Data-Cache Optimization
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
Java by Dissection, 2nd edition
Author: Charlie McDowell, Ira Pohl
School: Edo University
Department: Science and Technology
Course Code: CSC314
Topics: Java, algorithms, data types, variable declarations, number types, arithmetic expressions, statements, control flow, Boolean expressions, functional abstraction, recursion, arrays, objects, data abstraction, enumeration operation, inheritance, graphical user interface, dynamic data structures, concurrent programming
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