by
Sachdev, Manoj
Author
Sachdev, Manoj, De Gyves, Jpse Pineda
Format:
Call Number
TK7871.99.M44 S22 2007
Edition
2nd ed.
Publisher
Springer,
Publication Date
2007
ISBN
9780387465463
Holds:
Copies:
by
International Haifa Verification Conference (2nd : 2006 : Haifa, Israel)
Author
International Haifa Verification Conference (2nd : 2006 : Haifa, Israel), Bin, Eyal, Ziv, Avi, Ur, Shmuel
Format:
Call Number
QA76.76.V47 I57 2006
Publisher
Springer-Verlag,
Publication Date
2007
ISBN
9783540708889
Holds:
Copies:
by
Perelroyzen, Evgeni
Author
Perelroyzen, Evgeni
Format:
Call Number
TK7874 P47 2007
Publisher
CRC Press,
Publication Date
2007 2006
ISBN
9780849330575
Holds:
Copies:
by
Da Silva, Francisco
Author
Da Silva, Francisco, McLaurin, Teresa, Waayers, Tom
Format:
Call Number
TK7895.E42 D37 2006
Publisher
Springer,
Publication Date
2006
ISBN
9780387307510
Holds:
Copies:
by
Leow, Chun Heap
Author
Leow, Chun Heap
Format:
Call Number
TK7874.75 L46 2006
Publisher
Universiti Teknologi Malaysia,
Publication Date
2006
Project Paper (Sarjana Muda Kejuruteraan (Elektrik - Elektronik)) - Universiti Teknologi Malaysia, 2006
Holds:
Copies:
by
Wang, Laung-Terng
Author
Wang, Laung-Terng, Wu, Cheng-Wen, EE Ph. D., Wen, Xiaoqing
Format:
Call Number
TK7874.75 V47 2006
Publisher
Morgan Kaufmann,
Publication Date
2006
ISBN
9780123705976
Holds:
Copies:
by
Huisman, Leendert M.
Author
Huisman, Leendert M.
Format:
Call Number
TK7874 H84 2005
Publisher
Springer Verlag,
Publication Date
2005
ISBN
9780387249933
Holds:
Copies:
by
Perry, Douglas L.
Author
Perry, Douglas L., Foster, Harry, 1956-
Format:
Call Number
TK7874.58 P47 2005
Publisher
McGraw-Hill,
Publication Date
2005
ISBN
9780071443722
Holds:
Copies:
by
Kabisatpathy, Prithviraj
Author
Kabisatpathy, Prithviraj, Barua, Alok, Sinha, Satyabroto
Format:
Call Number
TK7874.654 K32 2005
Publisher
Springer,
Publication Date
2005
ISBN
9780387257426
Holds:
Copies:
by
Mishra, Prabhat, 1973-
Author
Mishra, Prabhat, 1973-, Dutt, Nikil
Format:
Call Number
TK7895.E42 M57 2005
Publisher
Springer,
Publication Date
2005
ISBN
9780387261430
Holds:
Copies:
by
Larsson, Erik
Author
Larsson, Erik
Format:
Call Number
TK7895.E42 L37 2005
Publisher
Springer,
Publication Date
2005
ISBN
9781402032073
Holds:
Copies:
by
Fanucci, Luca
Author
Fanucci, Luca
Format:
Call Number
TK5103.452 E96 2004
Publisher
Kluwer Academic Pubs.,
Publication Date
2004
ISBN
9781402077234
Holds:
Copies: