Your search returned 16762 results.

Sort
Results
1321.
Computer aided verification /ed. by K.G. Larsen, A. Skou. by Series: Lecture notes in computer science ; 575
Material type: Text Text
Publication details: Berlin S-V 1992
Availability: Items available for reference: Computer Science and Automation: Not for loan (1)Call number: 005.14 N92.

1322.
Constitutive equations for granular non-cohensive soils ed. by A.Saada and G.Bianchini. by
Material type: Text Text
Publication details: Rotterdam Balkema 1989
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 624.1513 N89.

1323.
Automated and algorithmic debugging ed. by Peter A. Fritzson by Series: Lecture Notes in Computer science ; 749
Material type: Text Text
Publication details: Berlin Springer-Verlag 1993
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.14 N93;1.

1324.
Meta-programming in logic - Proceedings ed. by A. Pettorossi by Series: Lecture Notes in computer science ; 649
Material type: Text Text
Publication details: Berin Springer-Verlag 1992
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.131 N921.

1325.
Zeolites facts, figures, future. 2V /ed. (by) P.A. Jacobs, R.A. Van Santen. by Series: Studies in surface science and catalysis ; V.49
Material type: Text Text
Publication details: Amsterdam Elsevier 1989
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 546.6832 N89.A,N89.B.

1326.
Inter-noise 81 practice of noise control engineering V.1 ed. by V.M.A. Peutz, A. De Bruijn. by
Material type: Text Text
Publication details: Delft NAS 1981
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 620.2306 N81.1.

1327.
Retinal proteins by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Utrecht, Netherlands : VNU Science Press, ©1987
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 574.19245 OVC.

1328.
Structural safety & reliability proceedings. 3v /ed. by A.H-S. Ang (...) by Series: ICOSSAR'89
Material type: Text Text
Publication details: New York ASCE 1990
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 624.17 N90.1-N90.3.

1329.
Math/Chem/Comp 1988 - proceedings ed. by A. Graovac. by Series: Studies in physical and theoreticl chemistry V.63
Material type: Text Text
Publication details: Amsterdam Elsevier 1989
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 510 N894.

1330.
VDM '90 : VDM & Z -formal methods in software development by Series: Lecture notes in computer science ;
Material type: Text Text
Publication details: Berlin Springer-Verlag 1990
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.3 N90.

1331.
Electrets Proceedings ed. by D. K. Das-Gupta, A. W. Pattullo. by
Material type: Text Text
Publication details: New York IEEE 1988
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 621.3742 N88 "SER".

1332.
Statistical modelling proceedings /ed. by A. Decarli (...) by Series: Lecture notes in statistics ; 57
Material type: Text Text
Publication details: New York S-V 1989
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 519.5 N895.

1333.
Machine learning Proceedings of the eighth international workshop:ML '91 /ed. by Lawrence A. Birnbaum, Gregg C. Collins by Series: ML '91
Material type: Text Text
Publication details: San Mateo Morgan Kaufmann 1991
Availability: Items available for reference: Electrical Engineering: Not for loan (1)Call number: 006.31 N915.

1334.
New advances in computer graphics by R. A. Earnshaw and B. Wyvill. by
Material type: Text Text
Publication details: Tokyo S-V 1989
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 006.6 N89.

1335.
Boundary elements X /ed. by C.A. Brebbia. 4v. by
Material type: Text Text
Publication details: Southampton Computational Mech. 1988
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 620.001515353 N88.1-N88.4.

1336.
Boundary elements. IX ed. by C. A. Brebbia (...) by
Material type: Text Text
Publication details: Southampton CMP 1987
Availability: Items available for loan: Aerospace Engineering (1)Call number: 620.001515353 N87.2.

1337.
Computational methods in water resources; v.2 ed. by M. A. Celia (...) by Series: Developments in water science ; v. 35 & 36
Material type: Text Text
Publication details: Amsterdam Elsevier 1988
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 628.161 N88.1,N88.2.

1338.
Mathematics of program construction. by Series: Lecture notes in computer science ; 375
Material type: Text Text
Publication details: Berlin Springer-Verlag 1989
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N892.

1339.
Shallow impurity centre in semiconductors ed. by A. Baldereschi,R. Resta. by
Material type: Text Text
Publication details: Amsterdam North-Holland 1987
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 537.622 N873.

1340.
Physical and biological processing of images /ed. by O.J. Braddick and A.C. Sleigh. by Series: Springer series in information science. vol.11
Material type: Text Text
Publication details: New York S-V 1983
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 621.367 N837.

Pages

                                                                                                                                                                                                    Facebook    Twitter

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

                             Contact   Phone: +91 80 2293 2832