ICCBS Libraries
WELCOME TO THE ICCBS LIBRARIES CATALOG

Your search returned 124 results.

Not what you expected? Check for suggestions
Sort
Results
21.
22.
Semantics of Digital Circuits by Carlos Delgado Kloos. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

23.
Programming Languages and System Architectures International Conference Zurich, Switzerland, March 2-4,1994 Proceedings / edited by Jürg Gutknecht. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

24.
FM8501: A Verified Microprocessor edited by Warren A. Hunt. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

25.
Computer Aided Verification 6th International Conference, CAV '94 Stanford, California, USA, June 21-23, 1994 Proceedings / edited by David L. Dill. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

26.
Automated Modeling of Physical Systems by P. Pandurang Nayak. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

27.
28.
Graph Drawing DIMACS International Workshop, GD '94 Princeton, New Jersey, USA, October 10-12, 1994 Proceedings / edited by Roberto Tamassia, Ioannis G. Tollis. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

29.
Theorem Provers in Circuit Design Theory, Practice and Experience Second International Conference, TPCD '94 Bad Herrenalb, Germany, September 26-28, 1994 Proceedings / edited by Ramayya Kumar, Thomas Kropf. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

30.
Computer Aided Verification 7th International Conference, CAV '95 Liège, Belgium, July 3-5, 1995 Proceedings / edited by Pierre Wolper. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

31.
Correct Hardware Design and Verification Methods IFIPWG10.2 Advanced Research Working Conference, CHARME'93 Arles France May 24-26, 1993 Proceedings / edited by George J. Milne, Laurence Pierre. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

32.
33.
Optical SuperComputing First International Workshop, OSC 2008, Vienna, Austria, August 26, 2008. Proceedings / edited by Shlomi Dolev, Tobias Haist, Mihai Oltean. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

34.
VLSI Engineering Beyond Software Engineering / edited by Tosiyasu L. Kunii. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

35.
Pulse and Fourier transform NMR Farrar, Thomas C. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York, ; Academic Press, ; 1971
Availability: Items available for loan: The National Library of Chemical Sciences, HEJ Research Institute of Chemistry (HEJ) Library (1)Call number: QD-272.S65.N8-.F37-1971.

36.
Inorganic materials: by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New Delhi ; Narosa Pub. House, ; c2004
Availability: Items available for loan: The National Library of Chemical Sciences, HEJ Research Institute of Chemistry (HEJ) Library (1)Call number: TA-403.6-.I56-2004.

37.
Chemistry of advanced materials by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Oxford; Boston; Boca Raton, Fla. ; Blackwell Scientific Publications ; ; Distributed in the USA ... by CRC Press, ; 1993
Availability: Items available for loan: The National Library of Chemical Sciences, HEJ Research Institute of Chemistry (HEJ) Library (1)Call number: TA-403.6-.C44-1993.

38.
Electricity-electronics fundamentals: Zbar, Paul B., by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York ; Gregg Division, McGraw-Hill, ; c1977
Availability: Items available for loan: The National Library of Chemical Sciences, HEJ Research Institute of Chemistry (HEJ) Library (1)Call number: TK-146-.Z35-1977.

39.
Basic electronics for scientists Brophy, James John, by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York ; McGraw-Hill, ; c1977
Availability: Items available for loan: The National Library of Chemical Sciences, HEJ Research Institute of Chemistry (HEJ) Library (1)Call number: TK-7815-.B74-1977.

40.
Introduction to bioMEMS Folch i Folch, Albert, by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Boca Raton ; CRC Press, ; c2013
Availability: Items available for loan: The National Library of Chemical Sciences, HEJ Research Institute of Chemistry (HEJ) Library (1)Call number: TP-248.-25.-N35.-F65-2012.

Pages