Your search returned 20 results.

Sort
Results
1.
Visual database systems, II Proceedings of the IFIP Tc2/2.6 secon working conference on visual database systems by
  • ed by Knuth Elod
  • IFIP TC2 / WG 2.6 Second Workshop Conference
  • Wegner, Lutz M
Series: IFIP Transactions : Computer Science and Technology
Material type: Text Book
Publication details: Amsterdam North-Holland 1992
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 006.37 N925.

2.
Logic for computer science foundation of automatic theorem proving by Jean H. Gallier by
  • Gallier, Jean H
Series: Harper and Row Computer Science and Technology Series
Material type: Text Book
Publication details: New York Harper & Row, Pub. 1986
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N861;2.

3.
Logic for computer science foundations of automatic theorem proving by Jean H. Gallier by
  • Gallier, Jean H
Series: Harper And Row Computer Science and Technology Series
Material type: Text Book
Publication details: Cambridge Harper & Row, Pub. 1986
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N861.

4.
Guideline on major job accounting systems system management facilities(SMF) for IBM systems under OS/MVT by Gary Durbin, [et al] by
  • Durbin, Gary., [et al]
Series: Computer Science and Technology
Material type: Text Book
Publication details: Washington National Bureau of Standards 1978
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.642 N7811.

5.
Effective use of computing technology in vote-Tallying by G Saltman by
  • Saltman, G
Series: Computer science and technology | NBS special publication ; 500-30
Material type: Text Book
Publication details: NBS 1978
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 324.242302854 N78.

6.
Computer performance evaluation users group proceedings ed. by James E. Weatherbee. by
  • Proceedings on Computer Performance Evaluation Users Group (14th 1978 Boston, Mass)
  • Weatherbee, James E., ed
Series: Computer science and technology
Material type: Text Book
Publication details: U.S. NBS 1978
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 621.38195 N782.

7.
Tested for providing uniformity to user computer interaction languages by Seigfried Treu by
  • Treu, Siegfried
Series: Computer Science and Technology
Material type: Text Book
Publication details: Washington National Bureau of Standards 1980
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.642 N802.

8.
Computer performances evaluation users group - Proceedings ed. by Terry W. Potter by
  • Computer Performance Evaluation Users Group (17th 1981 San Antonio, Texas)
  • Potter, Terry W., ed
Series: Computer science and technology
Material type: Text Book
Publication details: US U.S. Department of Commerce 1981
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 621.38195 N811.

9.
NBS programming environment workshop report ed. by Martha A. Branstad, W. Richards Adrion by
  • Branstad, Martha A., ed
  • Richards Adrion, W., ed
Series: Computer science and technology NBS special publication 500-78
Material type: Text Book
Publication details: Washington US Dept. of Commerce 1981
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.642 N81.

10.
Database architectures a feasibility workshop report by John L. Berg, Mark Grahm, Kevin Whitney by
  • Berg, John L
  • Graham, Marc
  • Whitney, Kevin
Series: Computer science and technology
Material type: Text Book
Publication details: Washington U.S. Department of Commerce 1981
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.642 N811.

11.
Methodology for the selection of internactive computer services. by Sandra A. Mamrk and Paul D Amer. by
  • Mamrk, Sandra A
  • Amer, Paul D
Series: Computer science and technology
Material type: Text Book
Publication details: US dept. of Commerce 1979
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.6 N792.

12.
Selection of microcomputer systmes by John Barkley, Dennis Gilbert, Al Hankinson by
  • Barkley, John
  • Gilbert Dennis
  • Hankinson, Al
Series: Computer science and technology NBS special publication 500-112
Material type: Text Book
Publication details: Washington U.S. department of commerce 1984
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.6404 N84.

13.
Introduction to software packages by Shelia Frankel. by
  • Frankel, Shelia
Series: Computer science and technology
Material type: Text Book
Publication details: washington U.S.Department of Commerce 1984
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.6425 N843.

14.
Computer model documentation guide by
  • Federal computer performance evalution and simulation center
Series: Computer science and technology
Material type: Text Book
Publication details: Washington U. S. Dept. of Commerce 1978
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.642 N812.

15.
Technology assessment Methods for measuring the level of computer security by William Neugent,[et al] by
  • Neugent, William.[et al]
Series: Computer science and technology
Material type: Text Book
Publication details: Washington U.S.Department of Commerce 1985
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.64044 N855.

16.
Issues in the management of micro computer systems by L. S. Rosenthal , John Barkley. by
  • Rosenthal, L. S
  • Barkely, John
Series: Computer science and technology
Material type: Text Book
Publication details: Washington U.S. Department of Conference 1985
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.64044 N856.

17.
Starting and operating a microcomputer support center by Stanley Winkler, Ted Landberg. by
  • Winkler, Stanley
  • Landberg, Ted
Series: Computer science and technology
Material type: Text Book
Publication details: Washington U.S.Department of Commerce 1985
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.64044 N857.

18.
Logic for computer science - foundations of automatic theorem proving by Jean H. Gallier by
  • Gallier, Jean H
Series: Harper & Row computer science and technology series
Material type: Text Book
Publication details: Cambridge Harper & Row 1986
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N861;1 R(T).

19.
Prolog programming techniques and applications by susan Garavaglia by
  • Garavaglia, susan
Series: Harper & Row computer science and technology series ;
Material type: Text Book
Publication details: cambridge Harper and Row 1987
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.133 N8718.

20.
Electronic digital computers. Vol.7 by G.D. Smirnov by
  • Smirnov, G.D
Series: Computer science and technology and their application
Material type: Text Book
Publication details: New York Pergamon Press 1961
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.64044 N612.

Pages

                                                                                                                                                                                                    Facebook    Twitter

                             Copyright © 2023. J.R.D. Tata Memorial Library, Indian Institute of Science, Bengaluru - 560012

                             Contact   Phone: +91 80 2293 2832

Powered by Koha