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 37 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. Fundamentals of digital computers

by Mandl Matthew.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: N J Prentice-Hall 1958Availability: Items available for loan: [Call number: 681.142 M272] (1).
16. Computer engineering

by Lebedev S A [ed.] | Stuart Jane [].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: London Pergamon Press 1960Availability: Items available for loan: [Call number: 681.142 L442] (1).
17. Cathode ray tube memory of the high speed electronic computer of the USSR Academy of Sciences

by Feinstein Ruth [] | Lyubovich L A [Auth.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: London Pergamon Press 1960Availability: Items available for loan: [Call number: 681.142 L389] (1).
18. Digital computer fundamentals

by Bartee T C.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: London McGraw-Hill 1960Availability: Items available for loan: [Call number: 681.142 B283] (4).
19. Electronic computers

by Froom R P [] | Krinitskii N A [Auth.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: London Pergamon Press 1962Availability: Items available for loan: [Call number: 681.142 K62] (1).
20. Electronic digital components and circuits

by Richards R K.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: London D Van Nostrand 1967Availability: Items available for loan: [Call number: 681.142 R517] (1).
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