Your search returned 227 results.

Sort
Results
1.
Automatic construction of algorithms and data structures using knowledge base of programming rules. by David R. Barstow. by
  • Barstow, David R
Series: Artificial Intelligence Laboratory - AIM-308
Material type: Text Book
Publication details: Stanford AIL 1977
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 001.6425 N779.

2.
Automating the construction of programs. by Jack R. Buchana. by
  • Buchanan, Jack R
Series: Stanford university -CS-74-433
Material type: Text Book
Publication details: Stanford Stanford Univ. 1974
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.6425 N744.

3.
Evolution of programs a system for automatic program modification /by Nachum Dershowitz and Zohar Manna. by
  • Dershowitz, Nachum. Manna, Zohar
Series: Stanford Artificial Intelligence Laboratory -CS-76-586, AIM-294
Material type: Text Book
Publication details: Stanford Stanford Univ. 1976
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.6425 N767.

4.
On program synthesis knowledge by Cordell Green, David Barstow. by
  • Green, Cordell
  • Barstow, David
Series: Stanford University CS-77-639,AIM-306
Material type: Text Book
Publication details: California Stanford University 1977
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.6424 N7712.

5.
Automatic programming a section of the handbook of artificial intelligence by Robert Elschlanger, Jorge Phillips by
  • Elschlager, Robert
  • Jorge, Phillips
Material type: Text Book
Publication details: Stanford Stanford University 1979
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.6424 N7914.

6.
Compile-time partitioning and scheduling of parallel programs by Vivek Sarkar, John Hennessy. by
  • Sarkar, Vivek
  • John, Hennessy
Series: Stanford Univ., computer systems laboratory
Material type: Text Book
Publication details: Stanford Stanford University 1987
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.64404 N8750.

7.
Partitioning parallel programs for macro-data flow by Vivek Sarkar, John Hennessy. by
  • Sarkar, Vivek
  • Hennessy, John
Series: Stanford Univ., computer systems laboratory
Material type: Text Book
Publication details: Stanford Stanford University 1987
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.64404 N8751.

8.
Analysis of synchronous computing arrays by J. M. Jover, T. Kailath, H. Lev-Ari, et al. by
  • Jover, J.M., et al
Series: Stanford University, Dept. of Electrical Engineering
Material type: Text Book
Publication details: Stanford Stanford Univ. 1986
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 621.3819583506 N862.

9.
Self-propagating search a unified theory of memory. by
  • Kanerava, Peutti
Series: Centre for the study of language and information report No. CSLI-84-7
Material type: Text Book
Publication details: Stanford CSIL 1984
Availability: Items available for reference: Electronic Systems Engineering: Not for loan (1)Call number: 004.5 N84.

10.
Strength, plastic flow and microstructure. by
  • Sherby, Olego
  • NASA - LEWIS Laboratory short course on mechanical behavior of solids
Material type: Text Book
Publication details: Stanford Stanford Univ. 1983
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 620.112 N833.

11.
Stochastic processes by Emanuel Parzen. by
  • Parzen, Emanuel
Material type: Text Book
Publication details: Stanford Holden-Day 1962
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 519.2 N626;1.

12.
Computation of turbulent boundary layers-1968. AFOSR-IFP-Stanford conf. proc. v.1 methods, predictions evaluation and flow structure
Material type: Text Book
Publication details: Stanford Univ. 1969
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 538.0527 N68.1;1.

13.
Heat transfer and fluid mechanics institute - proceedings ed. by Paul A. Libby, [et al] by
  • Proceedings of the 1967 Heat Transfer and Fluid Mechanics Unistitute, University of California, 1967
  • Libby, Paul A., [et al]
Material type: Text Book
Publication details: California Stanford Univ. Press 1967
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 621.402206 N67.

14.
Proc. computation of turbulent boundary layers-1968 AFOSR-IFP-STANFORD Conf, vol.1
Material type: Text Book
Publication details: Stanford University, California 1969
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 532.0527 N68.1.

15.
Proc. computation of turbulent boundary layers-1968 AFOSR-IFP-STANFORD Conf, vol.2
Material type: Text Book
Publication details: Stanford University California 1969
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 532.0527 N68.2.

16.
Ecological psychology Concepts and methods for studying the environment of human behavior by Roger G. Barker by
  • Barker, Roger G
Material type: Text Book
Publication details: Stanford Stanford University Press 1968
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 150.1943 N681.

17.
Proc. of the 1970 heat transfer and fluid mechanics institute held at the Naval postgraduate school, Monterey Calif. June 10-12, 1970
Material type: Text Book
Publication details: Stanford Univ. Press 1970
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 536.206 N70 "R".

18.
Language in social groups
Material type: Text Book
Publication details: Stanford 1971
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 491.408 N71.

19.
Proc. of the 1972 heat transfer and fluid mechanic institute held at San Fernando Valley State College, Northridge California June 14-16 1972
Material type: Text Book
Publication details: Stanford Univ. Press 1972
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 536.206 N72.

20.
Use of Optical Feedback in Computer Control of an Arm Stanford Artificial Intelligence Project Memo No. A.I.55 by William M. Wichman by
  • Wichman,William M
Material type: Text Book
Publication details: Stanford Computer Science Dept., Stanford Univ. 1967
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.535 N67.

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