Results
|
1.
|
Computer aided verification : 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 Proceedings / Allen, Emerson E. and A Prasad Sistla, by
- Emerson E. Allen
- Sistla, A Prasad
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: New York : Springer, c2000
Availability: Items available for loan: Central Library, SUST (1)Call number: 004.24 EMC.
|
|
2.
|
|
|
3.
|
The physics of quantum information : quantum cryptography, quantum teleportation, quantum computation / Dirk Bouwmeester, Artur K. Ekert, Anton Zeilinger, eds. by
- Bouwmeester, Dirk, 1967-
- Ekert, Artur K, 1961-
- Zeilinger, Anton
Edition: 1st ed.
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Berlin ; New York : Springer, c2000
Availability: Items available for loan: Central Library, SUST (3)Call number: 004.1 PHY, ...
|
|
4.
|
Computer aided verification : 12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 proceedings / Editors:E. Allen Emerson, A. Prasad Sistla by
- CAV (Conference) (18th : 2006 : Seattle, Wash.)
- Emerson, E. Allen
- Sistla, A. Prasad
Material type: Text; Format:
microfiche
; Literary form:
Not fiction
Publication details: New York : Springer, c2000
Availability: Items available for loan: Central Library, SUST (2)Call number: 004.24 COM, ...
|
|
5.
|
Advanced theory of semiconductor devices / Karl Hess. by
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: New York : IEEE Press, c2000
Availability: Items available for loan: Central Library, SUST (2)Call number: 621.38152 HEA, ...
|
|
6.
|
C: the complete reference / Herbert Schildt. by
Edition: 4th ed.
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: New delhi : McGraw-Hill, c2000
Availability: Items available for loan: Central Library, SUST (4)Call number: 005.133 SCC, ...
|