|
|
Verification of systems and circuits using LOTOS, Petri Nets, and CCS /
by Yoeli, Michael,
Publication:
Hoboken, N.J. : Wiley-Interscience, 2008
. xv, 231 p. :
25 cm.
Date:2008
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
High-performance parallel database processing and grid databases /
Publication:
Hoboken, N.J. : Wiley, 2008
. xvii, 551 p. :
25 cm.
Date:2008
Availability:
Copies available:
AUM Main Library
(2),
|
|
|
Fundamentals of computer organization and architecture /
by Abd-El-Barr, Mostafa,
Publication:
Hoboken, N.J. : Wiley, 2005
. xiv, 273 p. :
24 cm.
Date:2005
Availability:
Copies available:
AUM Main Library
(1),
|
No cover image available
|