Refine your search

Your search returned 3481 results.

Sort
Results
Higher order logic theorem proving and its applications Luc J M Claesen by Series:
Edition:
Material type: Text Text
Publication details: North-Holland Publishing Co., Amsterdam 1993
Availability: Items available for loan: Dept. of Mathematics (1)Call number: 005.1 CLA-H.
Neural networks: Fundamentals, applications, examples W Kineebrock by Series:
Edition:
Material type: Text Text
Publication details: Galgotia Publications Pvt. Ltd., New Delhi 1995
Availability: Items available for loan: Dept. of Mathematics (1)Call number: 004.678 KIN-N.
Logic of programming Eric C R Hehner by Series:
Edition:
Material type: Text Text
Publication details: Prentice-Hall of India Pvt. Ltd., New Delhi 1991
Availability: Items available for loan: Dept. of Mathematics (1)Call number: 005.1 HEH-L.
Timed boolean functions: A unified formalism for exact timimg analysis William K C Lam and Robert K Brayton by Series:
Edition:
Material type: Text Text
Publication details: Kluwer Academic Publishers, Dordrecht 1994
Availability: Items available for loan: Dept. of Mathematics (1)Call number: 004 LAM-T.
Network reliability and algebraic structures Douglas R Shier by Series:
Edition:
Material type: Text Text
Publication details: Clarendon Press, Oxford 1991
Availability: Items available for loan: Dept. of Mathematics (1)Call number: 004.678 SHI-N.
Rapidex computer course Vikas Gupta by Series:
Edition: 23
Material type: Text Text
Publication details: Pustak Mahal, New Delhi 1995
Availability: Items available for loan: Dept. of Mathematics (1)Call number: 004 VIK-R3.
Lotus 1-2-3: Made simple: Releases 2.2 and 2.01 Ravi Kant Taxali and Pardeep Chopra by Series:
Edition:
Material type: Text Text
Publication details: TATA McGraw-Hill Publishing Co., New Delhi 1994
Availability: Items available for loan: Dept. of Mathematics (1)Call number: R 005.3L TAX-L.
Lotus 1-2-3: Made simple: Releases 2.2 and 2.01 Ravi Kant Taxali and Pardeep Chopra by Series:
Edition:
Material type: Text Text
Publication details: TATA McGraw-Hill Publishing Co., New Delhi 1994
Availability: Items available for loan: Dept. of Mathematics (1)Call number: 005.3L TAX-L.
WordStar professional 4.0: Made simple-With an overview of release 5.5 Ravi Kant Taxali by Series:
Edition:
Material type: Text Text
Publication details: TATA McGraw-Hill Publishing Company Ltd., New Delhi 1994
Availability: Items available for loan: Dept. of Mathematics (1)Call number: 005.3W TAX-W;1.
WordStar professional 4.0: Made simple-With an overview of release 5.5 Ravi Kant Taxali by Series:
Edition:
Material type: Text Text
Publication details: TATA McGraw-Hill Publishing Company Ltd., New Delhi 1994
Availability: Items available for loan: Dept. of Mathematics (1)Call number: 005.3W TAX-W.
P C software: Made simple Ravi Kant Taxali by Series:
Edition:
Material type: Text Text
Publication details: TATA McGraw-Hill Publishing Co., New Delhi 1995
Availability: Items available for loan: Dept. of Mathematics (1)Call number: R 005.3 TAX-P.
Advances on computer mathematics and its applications Elias A Lipitakis by Series:
Edition:
Material type: Text Text
Publication details: World Scientific, Singapore 1993
Availability: Items available for loan: Dept. of Mathematics (1)Call number: 004 LIP-A.
et al. M O Ball by Series:
Edition:
Material type: Text Text
Publication details: Elsevier Publishing, Amsterdam 1995
Availability: Items available for loan: Dept. of Mathematics (1)Call number: 004.678 BAL-H.7.
Trends in discrete mathematics W Deuber by Series:
Edition:
Material type: Text Text
Publication details: Elsevier Publishing, Amsterdam 1995
Availability: Items available for loan: Dept. of Mathematics (1)Call number: 004 DEU-T.
WordStar professional 4.0: Made simple-With an overview of release 5.5 Ravi Kant Taxali by Series:
Edition:
Material type: Text Text
Publication details: TATA McGraw-Hill Publishing Company Ltd., New Delhi 1994
Availability: Items available for loan: Dept. of Mathematics (1)Call number: 005.3W TAX-W;2.
Lotus 1-2-3: Made simple: Releases 2.2 and 2.01 Ravi Kant Taxali and Pardeep Chopra by Series:
Edition:
Material type: Text Text
Publication details: TATA McGraw-Hill Publishing Co., New Delhi 1994
Availability: Items available for loan: Dept. of Mathematics (1)Call number: R 005.3L TAX-L;1.
Randomized algorithms Rajeev Motwani and Prabhakar Raghavan by Series:
Edition:
Material type: Text Text
Publication details: Cambridge University Press, Cambridge 1995
Availability: Items available for loan: Dept. of Mathematics (1)Call number: 005.1 MOT-R.
Discrete mathematics for computing Peter Grossman by Series:
Edition:
Material type: Text Text
Publication details: Macmillan press Ltd,Hampshire 1995
Availability: Items available for loan: Dept. of Mathematics (1)Call number: 004 GRO-D.
Parallel substitution algorithm: Theory and application S Achasova et al. by Series:
Edition:
Material type: Text Text
Publication details: World Scientific, Singapore 1994
Availability: Items available for loan: Dept. of Mathematics (1)Call number: 005.1 ACH-P.
Recent trends in optimization theory and applications R P Agarwal by Series:
Edition:
Material type: Text Text
Publication details: World Scientific, Singapore 1995
Availability: Items available for loan: Dept. of Mathematics (1)Call number: 004 AGA-R.
Local area networks and their applications Brendan Tangney and Donal O'Mahony by Series:
Edition:
Material type: Text Text
Publication details: Prentice-Hall of India Pvt. Ltd., New Delhi 1995
Availability: Items available for loan: Dept. of Mathematics (1)Call number: 004.678 TAN-L.
Graph-based proof procedures for horn clauses Stan Raatz by Series:
Edition:
Material type: Text Text
Publication details: Birkhauser, Boston 1990
Availability: Items available for loan: Dept. of Mathematics (1)Call number: 004 RAA-G.
Numerical algorithms: Computations in science and engineering E V Krishnamurthy and S K Sen by Series:
Edition:
Material type: Text Text
Publication details: Affiliated East-West Press Pvt. Ltd., New Delhi 1996
Availability: Items available for loan: Dept. of Mathematics (1)Call number: 005.1 KRI-N;5.
Local area networks Suresh K Basandra and S Jaiswal by Series:
Edition:
Material type: Text Text
Publication details: Galgotia Publications, New Delhi 1996
Availability: Items available for loan: Dept. of Mathematics (1)Call number: 004.678 BAS-L.
System simulation with digital computer Narsingh Deo by Series:
Edition:
Material type: Text Text
Publication details: Prentice-Hall of India Pvt. Ltd., New Delhi 1997
Availability: Items available for loan: Dept. of Mathematics (1)Call number: 004.611 DEO-S.
PC companion Subhash Mehta by Series:
Edition:
Material type: Text Text
Publication details: BPB Publications, New Delhi 1991
Availability: Items available for loan: Dept. of Mathematics (1)Call number: 004 SUB-P.
Computer networks Andrew S Tanenbaum by Series:
Edition: 23
Material type: Text Text
Publication details: Prentice-Hall of India Pvt. Ltd., New Delhi 1997
Availability: Items available for loan: Dept. of Mathematics (1)Call number: 004.678 TAN-C3.
IBM PC and clones: Hardware, troubleshooting and maintenance B Govindarajalu by Series:
Edition:
Material type: Text Text
Publication details: TATA McGraw-Hill Publishing Company, New Delhi 1997
Availability: Items available for loan: Dept. of Mathematics (1)Call number: 004.6 GOV-I.
Mastering intranets: The Windows 95/NT Edition Pat Coleman and Peter Dyson by Series:
Edition:
Material type: Text Text
Publication details: BPB Publications, New Delhi 1997
Availability: Items available for loan: Dept. of Mathematics (1)Call number: 004.678 COL-M.
ABCs of intranets Peter Dyson et al. by Series:
Edition:
Material type: Text Text
Publication details: BPB Publications, New Delhi 1997
Availability: Items available for loan: Dept. of Mathematics (1)Call number: 004.678 DYS-A.
Fundamentals of computers V Rajaraman by Series:
Edition: 23
Material type: Text Text
Publication details: Prentice-Hall of India Pvt. Ltd., New Delhi 1997
Availability: Items available for loan: Dept. of Mathematics (1)Call number: 004 RAJ-F2.
Computer graphics programming: GKS-The graphics standard G Enderle et al. by Series:
Edition:
Material type: Text Text
Publication details: Narosa Publishing House, New Delhi 1990
Availability: Items available for loan: Dept. of Mathematics (1)Call number: 006.6 END-C.
How to solve it by computer R G Dromey by Series:
Edition:
Material type: Text Text
Publication details: Prentice-Hall of India Pvt. Ltd., New Delhi 1997
Availability: Items available for loan: Dept. of Mathematics (1)Call number: 004 DRO-H.
Building business web sites Adam Blum by Series:
Edition:
Material type: Text Text
Publication details: BPB Publications, New Delhi 1997
Availability: Items available for loan: Dept. of Mathematics (1)Call number: 004 BLU-B.
X window applications and programming Eric I Johnson and Kevin Richard by Series:
Edition: 23
Material type: Text Text
Publication details: BPB Publications, New Delhi 1994
Availability: Items available for loan: Dept. of Mathematics (1)Call number: 004 JOH-X2.
Interfacing to the PowerPC Microprocessor Ron Rahmel and Dan Rahmel by Series:
Edition:
Material type: Text Text
Publication details: Prentice-Hall of India Pvt. Ltd., New Delhi 1996
Availability: Items available for loan: Dept. of Mathematics (1)Call number: 004.16 RAH-I.
Introducing systems analysis and design, Vol.1 Lee by Series:
Edition:
Material type: Text Text
Publication details: Galgotia Booksource Publications, New Delhi 1995
Availability: Items available for loan: Dept. of Mathematics (1)Call number: 004 LEE-I.1.
Introducing systems analysis and design, Vol.2 Lee by Series:
Edition:
Material type: Text Text
Publication details: Galgotia Booksource Publications, New Delhi 1995
Availability: Items available for loan: Dept. of Mathematics (1)Call number: 004 LEE-I.2.
Fundamentals of assembly language programming: Using the IBM PC and compatibles Richard C Detmer by Series:
Edition:
Material type: Text Text
Publication details: Galgotia Publications Pvt. Ltd., New Delhi 1996
Availability: Items available for loan: Dept. of Mathematics (1)Call number: 004 DET-F.
Graphics programming and animation Peder Jungck by Series:
Edition:
Material type: Text Text
Publication details: BPB Publications, New Delhi 1995
Availability: Items available for loan: Dept. of Mathematics (1)Call number: 004 JUN-G.
Introduction to networking Barry Nance by Series:
Edition: 23
Material type: Text Text
Publication details: Prentice-Hall of India Pvt. Ltd., New Delhi 1997
Availability: Items available for loan: Dept. of Mathematics (1)Call number: 004.678 NAN-I3.
Quick reference to computer graphics terms Roger T Stevens by Series:
Edition:
Material type: Text Text
Publication details: Academic Press Professional, Boston 1994
Availability: Items available for loan: Dept. of Mathematics (1)Call number: 006.6 STE-Q.
Computer professional's guide to effective communications Alan R Simon and Jordan S Simon by Series:
Edition:
Material type: Text Text
Publication details: McGraw-Hill book Co, Inc, New York 1993
Availability: Items available for loan: Dept. of Mathematics (1)Call number: 004 SIM-C.
Schaum's outline of theory and problems of essential computer mathematics Seymour Lipschutz by Series:
Edition:
Material type: Text Text
Publication details: McGraw-Hill Book Co., New York 1982
Availability: Items available for loan: Dept. of Mathematics (1)Call number: R 004 LIP-S.
Discrete mathematics and its applications Kenneth H Rosen by Series:
Edition: 23
Material type: Text Text
Publication details: McGraw-Hill book Co, Inc, NewYork 1995
Availability: Not available: Dept. of Mathematics: Checked out (1).
Schaum's solved problems series: Discrete mathematics Seymour Lipschutz and Marc Lars Lipson by Series:
Edition:
Material type: Text Text
Publication details: McGraw-Hill book Co, Inc, New York 1992
Availability: Items available for loan: Dept. of Mathematics (1)Call number: R 004 LIP-S.
Elements of discrete mathematics C L Liu by Series:
Edition:
Material type: Text Text
Publication details: McGraw-Hill book Co, Inc, New York 1985
Availability: Items available for loan: Dept. of Mathematics (1)Call number: 004 LIU-E.
et al. M P Fourman by Series:
Edition:
Material type: Text Text
Publication details: Cambridge University Press, Cambridge 1992
Availability: Items available for loan: Dept. of Mathematics (1)Call number: 004 FOU-A.
Computer algebra and differential equations E Tournier by Series:
Edition:
Material type: Text Text
Publication details: Cambridge University Press, Cambridge 1994
Availability: Items available for loan: Dept. of Mathematics (1)Call number: 004 TOU-C.
Fractal mania Phil Laplante by Series:
Edition:
Material type: Text Text
Publication details: Windcrest/ Mcgraw-Hill; New York 1993
Availability: Items available for loan: Dept. of Mathematics (1)Call number: 004 LAP-F.
Pages