Your search returned 5 results.

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

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

3.
Modern theory of polymer solutions by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York: Harper & Row Pub, 1971
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 547.84 YAM.

4.
Decision-making interaction by Bobby R. Patton, Kim Giffin. by
Edition: 2nd
Material type: Text Text
Publication details: New York Harper & Row pub. 1978
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 301.185 N78.

5.
Taking the quantum leap : The new physics for nonscientists by Fred Alan Wolf by
Material type: Text Text
Publication details: Cambridge Harper & Row Pub 1981
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 530.12 N811.

Pages

                                                                                                                                                                                                    Facebook    Twitter

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

                             Contact   Phone: +91 80 2293 2832