Your search returned 1813 results.

Sort
Results
101.
Formal VLSI correctness verification : VLSI design methods-I by
Material type: Text Text
Publication details: Amsterdam North-Holland 1990
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 621.395 N9028.

102.
Highly parallel computers ed. by Gerard L. Reijns and Michael H. Barton. by
Material type: Text Text
Publication details: Amsterdam North-Holland 1987
Availability: Items available for reference: Electronic Systems Engineering: Not for loan (1)Call number: 004.35 N871.

103.
Knowledge based systems for test and diagnosis ed. by G. Saucier ,[et al] by
Material type: Text Text
Publication details: Amsterdam North-Holland 1989
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 006.33 N892;1.

104.
Knowledge based systems for test and diagnosis ed. by G. Saucier, A. Ambler and M. A. Breuer. by
Material type: Text Text
Publication details: Amsterdam North-Holland 1989
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 006.33 N8913.

105.
Aspects of computation on asynchronous parallel processors bu Margaret Wright. by
Material type: Text Text
Publication details: Amsterdam North-Holland 1989
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 001.64404 N8925.

106.
Intelligent computer aided design ed. by David C. Brown, Manjula B. Waldron, Hiroyuki Yoshikawa by Series: IFIP Transactions B-4
Material type: Text Text
Publication details: Amsterdam North-Holland 1992
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 620.0042028563 N921.

107.
Knowledge engineering in computer aided design ed. by John S. Gero by
Material type: Text Text
Publication details: Amsterdam North-Holland 1985
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 620.0042028563 N85.

108.
Fast-prototyping of VLSI ed. by Gabriele Saucier, Eileen read and Jaques Trilhe by
Material type: Text Text
Publication details: Amsterdam North-Holland 1987
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 621.395 N878.

109.
Constructing quality software - Proceedings ed. by P.G. Hibbard, S.A. Schuman. by
Material type: Text Text
Publication details: Amsterdam North-Holland 1978
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1 N78.

110.
Databases in the humanities and social sciences ed. by Joseph Raben and Gregory Marks. by
Material type: Text Text
Publication details: Amsterdam North-Holland 1980
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 025.063 N80.

111.
Information processing 83; Proceedings ed. by R. E. A. Mason. by Series: IFIP congress series V.9
Material type: Text Text
Publication details: Amsterdam North-Holland 1983
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004 N83.

112.
VLSI '91 : proceedings ... by Series: IFIP Transactions A: Computer Science & Technology ;
Material type: Text Text
Publication details: Amsterdam North-Holland 1992
Availability: Items available for reference: Supercomputer Education and Research Centre: Not for loan (1)Call number: 621.395 N92.

113.
Discrete simulation and related fields ed. by A.Javor by
Material type: Text Text
Publication details: Amsterdam North-Holland 1982
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 003.3 N821.

114.
Expert systems for scientific computing by Series: International Association for Mathematics and Computer Simulation ;
Material type: Text Text
Publication details: Amsterdam North-Holland 1992
Availability: Items available for reference: Supercomputer Education and Research Centre: Not for loan (1)Call number: 510.285633 N92.

115.
Computational acoustics. v.1 wave propagation /ed. by Ding Lee (...) by
Material type: Text Text
Publication details: Amsterdam North-Holland 1988
Availability: Items available for reference: Electrical Communication Engineering: Not for loan (1)Call number: 534.2 N88.1.

116.
Artificial intelligence III Methodology, systems, applications/edited by T.O'Shea V. Sgurev by
Material type: Text Text
Publication details: Amsterdam North-Holland 1988
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.535 N8829.

117.
Artificial intelligence III Methodology, systems, applications/edited by T.O'Shea, V. Sgurev. by
Material type: Text Text
Publication details: Amsterdam North-Holland 1988
Availability: Items available for reference: Electronic Systems Engineering: Not for loan (1)Call number: 001.535 N8829;1.

118.
Entity-relationship approach ed. by Salvatore T. March. by
Material type: Text Text
Publication details: Amsterdam North-Holland 1988
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.644 N886.

119.
Exchangeability in probability and statistics ed. by G. Koch, F. Spizzichino by
Material type: Text Text
Publication details: Amsterdam North-Holland publishing company 1982
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 519.2 N8211.

120.
High-Performance Computing by
Material type: Text Text
Publication details: Amsterdam North-Holland 1989
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004 N89;1.

Pages

                                                                                                                                                                                                    Facebook    Twitter

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

                             Contact   Phone: +91 80 2293 2832