|
|
1.
|
Verilog Designer's Library
by Zeidman, Bob. Material type:  Book; Format:
print
; Literary form:
Not fiction
Publisher: New Jersey: Prentice Hall, 1999Availability: Items available for loan: [Call number: 621.392 ZEI] (2).
|
|
|
2.
|
Programming : the derivation of algorithms
by Kaldewaij, Anne. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Prentice Hall, 1990Availability: Items available for loan: [Call number: 005.1 KAL] (1).
|
|
|
3.
|
VHDL for designers
by Sjoholm, Stefan | Lindh, Lennart. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Harlow: Prentice Hall, 1997Availability: Items available for loan: [Call number: 621.392 SJO] (1).
|
|
|
4.
|
Verilog digital computer design : algorithms into hardware
by Arnold, Mark Gordon. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Jersey: Prentice Hall, 1999Availability: Items available for loan: [Call number: 621.392 ARN] (1).
|
|
|
5.
|
Program construction and verification
by Backhouse, Roland C. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Englewood: Prentice Hall, 1986Availability: Items available for loan: [Call number: 005 BAC] (1).
|
|
|
6.
|
Computational beauty of nature: Computer explorations of fractals, chaos, complex systems and adaptation
by Flake, Gary William. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: The MIT Press, 2001Availability: Items available for loan: [Call number: 003.3 FLA] (1).
|
|
|
7.
|
SystemVerilog for design
by Sutherland, Stuart | Davidmann, Simon | Flake, Peter. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2006Availability: Items available for loan: [Call number: 621.392 SUT] (1).
|
|
|
8.
|
High speed digital system design : a handbook of interconnect theory and design practices
by Hall, Stephen H | Hall, Garrett W | McCall, James A. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: John Wiley & Sons, 2000Availability: Items available for loan: [Call number: 621.398 HAL] (1).
|
|
|
9.
|
Digital design
by Vahid, Frank. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Jersey: John Wiley & Sons, 2006Availability: Items available for loan: [Call number: 621.395 VAH] (1).
|
|
|
10.
|
Art of computer systems performance analysis
by Jain, Raj. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: John Wiley & Sons, 1991Availability: Items available for loan: [Call number: 004.24 JAI] (1).
|
|
|
11.
|
Performance of computer communication systems : a model-based approach
by Haverkort, Boudewijn R. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Chichester: John Wiley & Sons, 1998Availability: Items available for loan: [Call number: 004.6 HAV] (1).
|
|
|
12.
|
Analytical engine : an introduction to computer science using the Internet
by Decker, Rick | Hirshfield, Stuart. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Australia: Thompson Learning, 2004Availability: Items available for loan: [Call number: 004 DEC] (2).
|
|
|
13.
|
Analytical engine : an introduction to computer science using the Internet
by Decker, Rick | Hirshfield, Stuart. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: PWS Publishing, 1998Availability: Items available for loan: [Call number: 004 DEC] (2).
|
|
|
14.
|
Software engineering mathematics : formal methods demystified
by Loomes, Martin | Woodcock, Jim. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Taylor & Francis, 1988Availability: Items available for loan: [Call number: 005.13119 WOO] (1).
|
|
|
15.
|
Principles of verifiable RTL design : a functional coding style supporting verification processes in verilog
by Bening, Lionel | Foster, Harry D. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Kluwer Academic Publishers, 2000Availability: Items available for loan: [Call number: 621.392 BEN] (1).
|
|
|
16.
|
Analog and mixed-signal boundary-scan : a guide to the IEEE 1149.4 test standard
by Osseiran, Adam. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Kluwer Academic Publishers, 1999Availability: Items available for loan: [Call number: 621.381548 OSS] (1).
|
|
|
17.
|
Performance modeling for computer architects
by Krishna, C. M. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: California: IEEE Computer Society, 1996Availability: Items available for loan: [Call number: 004.24011 KRI] (1).
|
|
|
18.
|
Computer Safety, Reliability, and Security : 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003 : Proceedings
by Anderson, Stuart | Felici, Massimo | Littlewood, Bev. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 LIT] (1).
|
|
|
19.
|
Dependable Computing EDCC 2005 : fifth European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005 ; proceedings
by Dal Cin, MArio | Kaaniche, Mohamed | Pataricza, Andras. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 004 DAL] (1).
|
|
|
20.
|
Computer safety, reliability, and security : 21st international conference, SAFECOMP 2002, Catania, Italy, September 10-13, 2002 : proceedings
by Anderson, Stuart | Bologna, Sandro | Felici, Massimo. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 004 AND] (1).
|
