Teacher: Kamran Khowaja, Dr. Mutee U Rahman
Welcome to
Isra University Hyderabad Campus
A hallmark of the future
The university is owned by Isra Islamic Foundation, a non-profit organization, certified by Pakistan Centre for Philanthropy (PCP). The University is highly ranked by HEC. The easily accessible and beautiful campuses provide services that create an academic environment of learning and intellectual growth.
Available courses
Industrial Electronics and Robotics (LAB)
Employment in the manufacture, merchandising, testing, installation, maintenance, modification or repair of electrical and electronic equipment and systems
Teacher: Rabia Kazi
Advanced Database Systems
The course focuses generally on the advanced concepts prevail in databases. This course covers files storage and structures; query processing component of a relational database system; fundamental knowledge of concurrency control and database recovery; transaction Processing Concepts and Theory; concurrency control techniques; database recovery techniques; relational algebra; physical storage; indexing and hashing; query processing and optimization; object oriented databases and distributed databases.
Teacher: Dr. Hameedullah Kazi
Pakistan Studies DMS/DCS/DEE/DCE
Ideology of Pakistan, Ideology of Pakistan in the Light of Statements of Quaid e Azam and Allama Iqbal, The Aligarh Movement, Sir Syed Ahmad Khan and His Contributions, Major Political Developments 1857-1918, The Khilafat Movement, Muslim Politics in British India 1924-1935, Allama Iqbal's Presidential Address December 1930, Muslim Politics and Chaudhry Rahmat Ali, The Congress Ministries-- Policies towards Muslims, The Lahore Resolution, 1940, Major Political Developments in 1945-46, Towards Independence, 1947, Constitutional Development in British India, The Problems of the New State, The Objectives Resolution (1949), Constitutional Issues, Constitution Making (1947-56), The 1956 Constitution, The 1962 Constitution, The 1973 Constitution, Political History, Political History (1972-2003), eography, Land, Boundaries and Neighborhoods, Natural Resources, Agriculture, Industrial Development, Education in Pakistan, Foreign Policy of Pakistan, Pakistan and the Muslim World
Teacher: Dr. Mufti Hafiz Jahanzaib Rana
Antenna and Wave Propagation
Identify basic antenna parameters. Design and analyze antenna arrays. Design and analyze wire and aperture antennas. Identify the characteristics of radio-wave propagation
Teacher: Kainat Soomro
Programming Fundamentals
To be able to understand basic structured programming skills with special emphasis on implementation in C++. To able to learn requirement analysis, algorithm design, development and testing. To have ability to write basic computer programs.
Teacher: Muhammad Shaheer Memon
Control Systems (TH)
Control theory deals with the control of continuously operating dynamical systems in engineered processes and machines. The objective is to develop a control model for controlling such systems using a control action in an optimum manner without delay or overshoot and ensuring control stability. Control theory may be considered a branch of control engineering, computer engineering, mathematics, cybernetics and operations research, since it relies on the theoretical and practical application of the related disciplines
Teacher: Muhammad Nabeel Khan
Object Oriented Analysis & Design
Principles of Object Technology. OOP Review. Principles of Modeling. OOA&D Overview. OO Development Process. Requirements Engineering, Analysis, and Specification: Requirements Engineering, Use Cases, Prototyping, Class Models. Interaction Diagrams. Verification and Validation. Architectural and Detailed Design. Class Diagrams.
Teacher: Muhammad Shaheer Memon
Operating Systems (TH)
Operating systems basics, system calls, process concept and scheduling, inter-process communication, multithreaded programming, multithreading models, threading issues, process scheduling algorithms, thread scheduling, multiple-processor scheduling, synchronization, critical section, synchronization hardware, synchronization problems, deadlocks, detecting and recovering from deadlocks, memory management, swapping, contiguous memory allocation, segmentation & paging, virtual memory management, demand paging, thrashing, memory-mapped files, file systems, file concept, directory and disk structure, directory implementation, free space management, disk structure and scheduling, swap space management, system protection, virtual machines, operating system security
Teacher: Hira Gul
Software Quality Assurance
What Is Software Quality: Quality Assurance, Quality Engineering Software Testing: Testing: Concepts, Issues, and Techniques, Test Activities, Management, and Automation, Coverage and Usage Testing Based on Checklists and Partitions, Input Domain Partitioning and Boundary Testing, Coverage and Usage Testing Based on Finite-State Machines and Markov Chains, Control Flow, Data Dependency, and Interaction Testing, Testing Techniques: Adaptation, Specialization, and Integration.
Quality Assurance Beyond Testing: Defect Prevention and Process
Improvement, Software Inspection, Formal Verification, Fault Tolerance and
Failure Containment, Comparing Quality Assurance Techniques and
Activities.
Quantifiable Quality Improvement: Feedback Loop and Activities for
Quantifiable Quality Improvement, Quality Models and Measurements, Defect
Classification and Analysis.
Risk Identification for Quantifiable Quality Improvement, Software Reliability
Engineering.
Quality Assurance Beyond Testing: Defect Prevention and Process
Improvement, Software Inspection, Formal Verification, Fault Tolerance and
Failure Containment, Comparing Quality Assurance Techniques and
Activities.
Quantifiable Quality Improvement: Feedback Loop and Activities for
Quantifiable Quality Improvement, Quality Models and Measurements, Defect
Classification and Analysis.
Risk Identification for Quantifiable Quality Improvement, Software Reliability
Engineering.
Teacher: Imtiaz Koondhar
Electrical Circuits
To learn about using engineering abstractions to analyze and design simple circuits, employ modeling for actual circuit components, such as representing a bulb with a resistor, analyze electrical circuits, give an idea of linearity and superposition and then employ it on the circuits, construct a thevenin & Norton equivalent for a large circuit and substitute.
Teacher: Kainat Soomro
Linear Algebra
Algebra of linear transformations and matrices. determinants, rank, systems of equations, vector spaces, orthogonal transformations, linear dependence, linear Independence and bases, eigenvalues and eigenvectors ,characteristic equations, Inner product space and quadratic forms
Teacher: Mir Afzal Talpur
Discrete Structures
Mathematical reasoning: introduction to logic, propositional and predicate
calculus; negation disjunction and conjunction; implication and equivalence;
truth tables; predicates; quantifiers; natural deduction; rules of Inference;
methods of proofs; use in program proving; resolution principle; Set theory:
Paradoxes in set theory; inductive definition of sets and proof by induction;
Relations, representation of relations by graphs; properties of relations,
equivalence relations and partitions; Partial orderings; Linear and well- ordered sets; Functions: mappings, injection and surjection, composition of
functions; inverse functions; special functions; Peano postulates; Recursive
20
function theory; Elementary combinatorics; counting techniques; recurrence
relation; generating functions.
Graph Theory: elements of graph theory, Planar Graphs, Graph Colouring,
Euler graph, Hamiltonian path, trees and their applications.
calculus; negation disjunction and conjunction; implication and equivalence;
truth tables; predicates; quantifiers; natural deduction; rules of Inference;
methods of proofs; use in program proving; resolution principle; Set theory:
Paradoxes in set theory; inductive definition of sets and proof by induction;
Relations, representation of relations by graphs; properties of relations,
equivalence relations and partitions; Partial orderings; Linear and well- ordered sets; Functions: mappings, injection and surjection, composition of
functions; inverse functions; special functions; Peano postulates; Recursive
20
function theory; Elementary combinatorics; counting techniques; recurrence
relation; generating functions.
Graph Theory: elements of graph theory, Planar Graphs, Graph Colouring,
Euler graph, Hamiltonian path, trees and their applications.
Teacher: Rabia Siddiqui
Probability and Statistics
Introduction to Statistics, Descriptive Statistics, Statistics in decision making,
Graphical representation of Data Stem-and Lead plot, Box-Cox plots, measures of central tendencies and dispersion, moments of frequency
distribution; Counting techniques, introduction to probability, sample space,
events, laws of probability, Conditional probability and Baye’s theorem with
application to random variable (Discrete and continuous) Binomial, Poisson,
Geometric, Negative Binomial Distributions; Exponential Gamma and Normal distributions; Regression and Correlation, Estimation and testing of
hypotheses, use of elementary statistical packages for explanatory Data
analysis.
Graphical representation of Data Stem-and Lead plot, Box-Cox plots, measures of central tendencies and dispersion, moments of frequency
distribution; Counting techniques, introduction to probability, sample space,
events, laws of probability, Conditional probability and Baye’s theorem with
application to random variable (Discrete and continuous) Binomial, Poisson,
Geometric, Negative Binomial Distributions; Exponential Gamma and Normal distributions; Regression and Correlation, Estimation and testing of
hypotheses, use of elementary statistical packages for explanatory Data
analysis.
Teacher: Dr. Ahsanullah Baloch