Online Public Access Catalogue (OPAC)
Library,Documentation and Information Science Division

“A research journal serves that narrow

borderland which separates the known from the unknown”

-P.C.Mahalanobis


Your search returned 28 results. Subscribe to this search

|
1. Explorations in quantum computing

by Williams Colin P | Clearwater Scott H [Auth.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: California TELOS 1998Availability: Items available for loan: [Call number: 004 W722] (2).
2. Refinement calculus a systematic introduction

by Back Ralph-Johan | Wright Joakim von [Auth.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: New York Springer-Verlag 1998Availability: Items available for loan: [Call number: 005.14 B126] (1).
3. Symbolic model checking

by McMillan Kenneth L.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Boston Kluwer Academic 1993Availability: Items available for loan: [Call number: 621.392 M167] (1).
4. Computers and intractability a guide to the theory of NP-completeness

by Garey Michael R | Johnson David S [Auth.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: New York W.H.Freeman 1999Availability: Items available for loan: [Call number: 519.4 G229] (1).
5. Computational beauty of nature computer explorations of fractals, chaos, complex systems, and adaptation

by Flake Gary William.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Cambridge MIT Press 1999Availability: Items available for loan: [Call number: 003.3 F576] (1).
6. Introduction to fuzzy reliability

by Cai Kai-Yuan.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Boston Kluwer Academic 1996Availability: Items available for loan: [Call number: 004.015113 C133] (1).
7. Quantum computing

by Gruska Josef.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: London Mc-Graw Hill 1999Availability: Items available for loan: [Call number: 004 G892] (1).
8. Computability and complexity from a programming perspective

by Jones Neil D.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Cambridge MIT Press 1997Availability: Items available for loan: [Call number: 005.131 J78] (1).
9. Designing digital computer systems with Verilog

by Lilja David J | Sapatnekar Sachin S [Auth.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Canbridge CUP 2005Availability: Items available for loan: [Call number: 621.392 L728] (1).
10. Computers and intractability a guide to the theory of NP-completeness

by Garey Michael R | Johnson David S [Auth.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: New York W H Freeman 1999Availability: Items available for loan: [Call number: 519.4 G229] (1).
11. Digital logic and computer design

by Mano M Morris.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: New Delhi Prentice-Hall of India 2007Availability: Items available for loan: [Call number: 621.391 M285] (1).
12. Digital systems design with VHDL and synthesis an integrated approach

by Chang K C.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Los Alamitos IEEE Computer Society 2005Availability: Items available for loan: [Call number: 621.392 C456] (1).
13. Digital VLSI systems design a design manual for implementation of projects on FPGAs and ASICs using Verilog

by Ramachandran S.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Dordrecht Springer-Verlag 2007Availability: Items available for loan: [Call number: 621.395 R165] (1).
14. Domestic electronic digital computing systems

by Weik M H.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Maryland Ballistic Reserach Laboratories Availability: Items available for loan: [Call number: 681.142 W421] (1).
15. Digital logic and computer design

by Mano M Morris.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: New Jersey Prentice-Hall 1979Availability: Items available for loan: [Call number: 621.38153 M285] (1).
16. Digital logic circuit analysis and design

by Nelson Victor P | Carroll Bill D [Auth.] | Irwin J David [Auth.] | Nagle H Troy [Auth.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: New Jersey Prentice Hall 1995Availability: Items available for loan: [Call number: 621.395 N431] (1).
17. Computational beauty of nature computer explorations of fractals, chaos, complex systems and adaptation

by Flake Gary William.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: London MIT 1999Availability: Items available for loan: [Call number: 003.3 F576] (1).
18. Introduction to algorithms

by Cormen Thomas H | Leiserson Charles E [Auth.] | Rivest Ronald L [Auth.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Cambridge MIT Press 1997Availability: No items available Checked out (1).
19. Digital systems design with VHDL and synthesis an integrated approach

by Chang K C.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Los Alamitos IEEE Computer Society 1999Availability: Items available for loan: [Call number: 621.392 C456] (1).
20. Introduction to data structures with applications

by Tremblay Jean- Paul | Sorenson Paul G [Auth.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: New Delhi Tata McGraw Hill 1984Availability: Items available for loan: [Call number: 005.73 T789] (2).
Library, Documentation and Information Science Division, Indian Statistical Institute, 203 B T Road, Kolkata 700108, INDIA
Phone no. 91-33-2575 2100, Fax no. 91-33-2578 1412, ksatpathy@isical.ac.in


Visitor Counter