Koha online

HTML5 Icon

Your search returned 19 results.

1.
Laws of nature

by Mittelstaedt, Peter | Weingartner, Paul.

Language: English Publisher: New York Springer 2005Availability: Items available for loan: CENTRAL LIBRARY [Call number: 530 MIT/L] (4). Items available for reference: CENTRAL LIBRARY [Call number: 530 MIT/L] (1).
Place hold
2.
Digital design: with an Introduction to Verilog HDL

by Mano, M.Morris | Ciletti, Michael D.

Edition: 5th ed. Language: English Publisher: New Delhi Pearson 2013Availability: Items available for loan: CENTRAL LIBRARY [Call number: 621.395 MAN/D] (4). Items available for reference: CENTRAL LIBRARY [Call number: 621.395 MAN/D] (1).
Checked out (6).
Place hold
3.
Fundamentals of logic design (with CD)

by Roth, Charles H | Kinney, Larry L.

Edition: 7th ed. Language: English Publisher: Delhi Cengage Learning 2014Availability: Items available for loan: CENTRAL LIBRARY [Call number: 621.395 ROT/F] (4). Items available for reference: CENTRAL LIBRARY [Call number: 621.395 ROT/F] (1).
Place hold
4.
Fundamentals of digital logic with VHDL design (with CD)

by Brown, Stephen | Vranesic, Zvonko.

Edition: 3rd ed. Language: English Publisher: New Delhi McGraw Hill Education 2012Availability: Items available for loan: CENTRAL LIBRARY [Call number: 621.395 BRO/F] (3). Items available for reference: CENTRAL LIBRARY [Call number: 621.395 BRO/F] (1).
Checked out (1).
Place hold
5.
Digital design: principles and practices

by Wakerly, John F.

Edition: 4th ed. Language: English Publisher: New Delhi Pearson 2008Availability: Items available for loan: CENTRAL LIBRARY [Call number: 621.395 WAK/D] (3). Items available for reference: CENTRAL LIBRARY [Call number: 621.395 WAK/D] (1).
Checked out (1).
Place hold
6.
Fundamentals of digital logic with VHDL design [electronic resource]

by Brown, Stephen | Vranesic, Zvonko.

Edition: 3rd.Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publisher: New Delhi McGraw Hill Education 2012Availability: Items available for reference: CENTRAL LIBRARY [Call number: 621.395 BRO/F] (5).
7.
Fundamentals of logic design [electronic resource]

by Roth, Charles H | Kinney, Larry L.

Edition: 7th ed.Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Availability: Items available for reference: CENTRAL LIBRARY [Call number: 621.395 ROT/F ] (5).
8.
The Lady or the tiger? & other logic puzzles

by Smullyan, Raymond M.

Language: English Publisher: New York Dover Publications 1982Availability: Items available for loan: CENTRAL LIBRARY [Call number: 793.73 SMU/L] (1).
Place hold
9.
A beginner's guide to mathematical logic

by Smullyan, Raymond M.

Language: English Publisher: New York Dover Publications 2014Availability: Items available for loan: CENTRAL LIBRARY [Call number: 511.3 SMU/B] (1).
Place hold
10.
The Godelian puzzle book: puzzles, paradoxes and proofs

by Smullyan, Raymond M.

Language: English Publisher: New York Dover Publications 2013Availability: Items available for loan: CENTRAL LIBRARY [Call number: 793.74 SMU/G] (1).
Place hold
11.
Power system protection (with CD)

by Anderson, P. M.

Language: English Publisher: New Delhi Wiley c1999Availability: Items available for loan: CENTRAL LIBRARY [Call number: 621.317 AND/P] (6). Items available for reference: CENTRAL LIBRARY [Call number: 621.317 AND/P] (1).
Place hold
12.
Power system protection [electronic resource]

by Anderson, P. M.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publisher: New Delhi Wiley 1999Availability: Items available for reference: CENTRAL LIBRARY [Call number: 621.317 AND/P] (7).
13.
Advanced digital design with the Verilog HDL

by Ciletti, Michael D.

Edition: 2nd ed. Language: English Publisher: Noida Pearson 2017Availability: Items available for loan: CENTRAL LIBRARY [Call number: 621.395 CIL/A] (4). Items available for reference: CENTRAL LIBRARY [Call number: 621.395 CIL/A] (1).
Place hold
14.
Logic in computer science: modelling and reasoning about systems

by Huth, Michael | Ryan, Mark.

Edition: 2nd ed. Language: English Publisher: Cambridge Cambridge University Press 2018Availability: Items available for loan: CENTRAL LIBRARY [Call number: 005.1015113 HUT/L] (9). Items available for reference: CENTRAL LIBRARY [Call number: 005.1015113 HUT/L] (1).
Place hold
15.
Proof and the art of mathematics

by Hamkins, Joel David.

Language: English Publisher: United States of America -- The MIT Press -- 2020Availability: Items available for reference: CENTRAL LIBRARY [Call number: 511.36 HAM/P] (1). Checked out (2).
Place hold
16.
Proof and the Art of Mathematics: Examples and Extensions

by Hamkins, Joel David.

Language: English Publisher: United States of America -- The MIT Press -- 2021Availability: Items available for reference: CENTRAL LIBRARY [Call number: 511.36 HAM/P] (1).
17.
Complexity lower bounds using linear algebra

by Lokam, Satyanarayana V.

Language: English Publisher: United States of America -- Now Publishers -- 2009Availability: Items available for loan: CENTRAL LIBRARY [Call number: 004.6 LOK/C] (1). Items available for reference: CENTRAL LIBRARY [Call number: 004.6 LOK/C] (1).
Place hold
18.
Godel's proof: where old and new media collide

by Nagel, Ernest | Newman, James R | Hofstadter, Douglas R.

Edition: Rev. ed. Language: English Publisher: United States of America -- New York University Press -- 2008Availability: Items available for reference: CENTRAL LIBRARY [Call number: 511.3 NAG/G] (1).
19.
Sets, logic and categories

by Cameron, Peter J.

Language: English Publisher: United Kingdom -- Springer -- 1999Availability: Items available for loan: CENTRAL LIBRARY [Call number: 511.322 CAM/S] (1). Items available for reference: CENTRAL LIBRARY [Call number: 511.322 CAM/S] (1).
Checked out (3).
Place hold

Imp. Notice: It is hereby requested to all the library users to very carefully use the library resources. If the library resources are not found in good condition while returning to the library, the Central Library will not accept the damaged items and a fresh copy of the same should be replaced by the user. Marking/ highlighting on library books with pencil or ink, scribbling, tearing the pages or spoiling the same in any other way will be considered damaged.