Your search returned 43 results.

Sort
Results
1.
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.

2.
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.

3.
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.

4.
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.

5.
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.

6.
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.

7.
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.

8.
Some decidability results on grammatical inference and complexity (Stanford Artifical intelligence Project Memo AI-93) by Jerome Feldman. by
  • Feldman, Jerome
Material type: Text Book
Publication details: Stanford Stanford University 1969
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.535 N691.

9.
Grammatical complexity and inference (Tech. Report No.CS 125, Memo AI-89) by Jerome A. Feldman, J. Gips, J. J. Horning and S. Reder. by
  • Feeldman, Jerome A
  • Gips, J
  • Horning, J. J
  • Reder, S
Material type: Text Book
Publication details: Stanford Dept. of computer science, Stanford university 1969
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.535 N69.

10.
Automatic program verification I a logical basis and its implementation by Shigeru Igarashi, Ralph L. London and David C. Luckham by
  • Igarashi, Shigeru
  • London, Ralph L
  • Luckham, David C
Material type: Text Book
Publication details: Stanford Stanford University 1973
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.642 N738.

11.
Switching theory in space technology ed. by Howard Aiken and William F. Main. by
  • Aiken, Howard., ed
  • Main, William F., ed
Material type: Text Book
Publication details: Stanford Stanford University 1963
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 621.381537 N63.

12.
Experimental study of amonia and amonia nitric oxide reaction kinetics by Thomas Robert Roose. by
  • Roose, Thomas Robert
Material type: Text Book
Publication details: Stanford University Microfilms International 1982
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 546.72159 N81.

13.
Multistage inventory models and techniques ed. by Herbert E. Scarf by
  • Scarf, Herbert E., ed
Series: Office of naval research on mathcal. mthds logistics
Material type: Text Book
Publication details: Stanford Stanford university press 1963
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 658.311 N58;1.

14.
Studies in applied probability and management science ed.by Kenneth J. Arrow, [et al] by
  • Arrow, Kenneth J., [et al] ed
Series: Stanford mathematical studies in the social sciences VII
Material type: Text Book
Publication details: Stanford Stanford University Press 1962
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 519.2 N629.

15.
Studies in linear and nonlinear programming by Kenneth J. Arrow, [et al] by
  • Arrow, Kenneth J., [et al]
Material type: Text Book
Publication details: Stanford University 1958
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 519.7 N582.

16.
Plasma acceleration ed. by Sidney W. Kash. by
  • lockheed symp. on magnetohydrodynamics (fourth)
  • Kash, Sidney W., ed
Material type: Text Book
Publication details: Stanford Stanford university press 1960
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 530.44 N60.

17.
Satellite environment handbook ed. by Francis S. Johnson by
  • Johnson, Francis S., ed
Edition: 2nd
Material type: Text Book
Publication details: Stanford Stanford University Press 1965
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 523.98 N65;1.

18.
Propagation and instabilities in plasmas by Walter I. Futterman. by
  • seventh lockheed symposium on magnetohydrodynamics
  • Futterman, Walter I., ed
Material type: Text Book
Publication details: Stanford Stanford University 1963
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 530.44 N632.

19.
Heat transfer and fluid mechanics institute, preprints of papers (1957)
Material type: Text Book
Publication details: Stanford University 1957
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 536.206 N57.

20.
Heat transfer and fluid mechanics institute, preprints of papers (1958)
Material type: Text Book
Publication details: Stanford University 1958
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 536.206 N58.

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