Your search returned 6 results.

Sort
Results
An Industrial Strength Theorem Prover for a Logic Based on Common lisp by
  • Kaufmann, Matt
  • Moore, J. S
Source: IEEE Transactions on Software Engineering
Material type: Article Article; Format: print
Availability: Items available for loan: Engr Abul Kalam Library (1).
Automatic Testing of Metalilzed Ceramic-Polyimide (Mcp) Substrates by
  • Zalesinski, Jerzy
  • Mancini, Martin
  • Defoster, Steven
Source: IEEE Transactions on Components Hybrids and Manufacturing Technology
Material type: Article Article; Format: print
Availability: Items available for loan: Engr Abul Kalam Library (1).
Very Low-Noise, High-Accuracy Programmable Voltage Reference by
  • Pace, C
Source: Ieee Transactions on Instrumentation and Measurement
Material type: Article Article; Format: print
Availability: Items available for loan: Engr Abul Kalam Library (1).
An Automoated Guaded Bridge System for Comparison of 10 K Standard Resistors. by
  • Dziuba, Ronald F
  • Kile, Lisa L
Source: Ieee Transactions on Instrumentation and Measurement
Material type: Article Article; Format: print
Availability: Items available for loan: Engr Abul Kalam Library (1).
Multiprobe Impedance Measurement System for Nondestructive Evaluation and Test of " Greent State" Power Metallurgy Parts. by
  • Mcneill, J. A
  • Stander, J
Source: Ieee Transactions on Instrumentation and Measurement
Material type: Article Article; Format: print
Availability: Items available for loan: Engr Abul Kalam Library (1).
Measurement System for a Preliminary Characterization of Flash Memory Cells for Multilevel Applications. by
  • Faccio, M
  • Bucci, G
Source: Ieee Transactions on Instrumentation and Measurement
Material type: Article Article; Format: print
Availability: Items available for loan: Engr Abul Kalam Library (1).
Pages