CENTRAL LIBRARY

Welcome to Online Public Access Catalogue (OPAC)

Your search returned 17 results. Subscribe to this search

|
1. Elements of the theory of computation / Harry R. Lewis, Christos H. Papadimitriou.

by Lewis, Harry R | Papadimitriou, Christos H.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi : Prentice-Hall, c1998.[Reprinted 2003]Availability: Items available for loan: [Call number: 511.3 LEW] (10).
2. Elements of the theory of computation / Harry R. Lewis, Christos H. Papadimitriou.

by Lewis, Harry R | Papadimitriou, Christos H.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Upper Saddle River, N.J. : Prentice-Hall ; Pearson education Asia, c1998.[reprinted 2001]Availability: Items available for loan: [Call number: 511.3 LEW] (5).
3. Logic and structured design for computer programmers / Harold J. Rood.

by Rood, Harold J.

Edition: 3rd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Pacific Grove, CA : Singapore : Brooks/Cole-Thomson Learning ; Thomson Asia Pte. Ltd., 2001 [reprinted 2001]Availability: Items available for loan: [Call number: 005.131 ROO] (1).
4. Elements of the theory of computation / Harry R. Lewis, Christos H. Papadimitriou.

by Lewis, Harry R | Papadimitriou, Christos H [joint author.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Englewood Cliffs, N.J. ; New Delhi : Prentice-Hall, c1981 [reprinted 2001]Availability: Items available for loan: [Call number: 511 LEW] (12).
5. Elements of the theory of computation / Harry R. Lewis, Christos H. Papadimitriou.

by Lewis, Harry R | Papadimitriou, Christos H [joint author.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Englewood Cliffs, N.J. : New Delhi : Prentice-Hall ; Prentice-Hall of India, c1981.[Reprinted 2001]Availability: Items available for loan: [Call number: 511 LEW] (1).
6. Logic design theory / Nripendra N. Biswas.

by Biswas, Nripendra Nath, 1928-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Englewood Cliffs, N.J. : New Delhi : Prentice Hall ; Prentice Hall of India Pvt. Ltd., c1993 [reprinted 2005]Availability: Items available for loan: [Call number: 621.395 BIS] (5).
7. Discrete mathematics / Seymour Lipschutz, Marc Lars Lipson.

by Lipschutz, Seymour | Lipson, Marc.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York : New Delhi : McGraw-Hill ; Tata McGraw-Hill,, c1997.[Reprinted 2008, 2006]Online access: Contributor biographical information | Publisher description | Table of contents Availability: Items available for loan: [Call number: 512.02 LIP] (1).
8. Ones and zeros : understanding Boolean algebra, digital circuits, and the logic of sets / John Gregg.

by Gregg, John.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York : New Delhi : IEEE Press ; Prentice Hall of India, c1998 [reprinted 2000]Online access: Publisher description Availability: Items available for loan: [Call number: 511.324 GRE] (2). Items available for reference: [Call number: 511.324 GRE] (1).
9. Elements of set theory / [by] Peter W. Zehna [and] Robert L. Johnson.

by Zehna, Peter W | Johnson, Robert L. (Robert Leo) [joint author.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boston, Allyn and Bacon, 1962Availability: Items available for loan: [Call number: 512.817 ZEH] (1).
10. Symbolic logic / Irving M Copy.

by Copy, Irving M.

Edition: 5th ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi : Printice Hall Of India, c1999Availability: Items available for loan: [Call number: 511.3 COP] (1).
11. Discrete mathematics / Seymour Lipschutz, Marc Lars Lipson.

by Lipschutz, Seymour | Lipson, Marc.

Edition: 3rd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York : New Delhi : McGraw-Hill ; Tata McGraw-Hill,, c1997.[Reprinted 2012]Online access: Contributor biographical information | Publisher description | Table of contents Availability: Items available for loan: [Call number: 512.02 LIP] (1).
12. Qualitative Spatial and Temporal Reasoning.

by Ligozat, Gérard.

Material type: book Book; Format: available online remote; Literary form: Not fiction Publisher: London, UK : Hoboken, N.J. : ISTE ; Wiley, 2012Online access: Wiley Online Library Availability: No items available
13. Temporality : universals and variation / Maria Bittner.

by Bittner, Maria.

Edition: First edition.Material type: book Book; Format: available online remote; Literary form: Not fiction Publisher: Chichester, West Sussex, UK : Wiley-Blackwell, 2014Online access: Wiley Online Library Availability: No items available
14. Introduction to mathematical proofs [electronic resource] : a transition / Charles E. Roberts, Jr.

by Roberts, Charles E, 1942-.

Material type: book Book; Format: available online remote; Literary form: Not fiction Publisher: Boca Raton : CRC Press, 2009Online access: Distributed by publisher. Purchase or institutional license may be required for access. Availability: No items available
15. Logical labyrinths [electronic resource] / Raymond M. Smullyan.

by Smullyan, Raymond M.

Material type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Wellesley, Mass. : A.K. Peters, c2009Online access: Distributed by publisher. Purchase or institutional license may be required for access. Availability: No items available
16. Roads to infinity [electronic resource] : the mathematics of truth and proof / John Stillwell.

by Stillwell, John.

Material type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Natick, Mass. : A.K. Peters, c2010Online access: Distributed by publisher. Purchase or institutional license may be required for access. Availability: No items available
17. Games, puzzles, and computation [electronic resource] / Robert A. Hearn, Erik D. Demaine.

by Hearn, Robert A | Demaine, Erik D, 1981-.

Material type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Wellesley, Mass. : A.K. Peters, Ltd., c2009Online access: Distributed by publisher. Purchase or institutional license may be required for access. Availability: No items available

Khulna University of Engineering & Technology

Funded by: HEQEP, UGC, Bangladesh