 |
0 索取号:TN85/E20051 作者:Laskar、 Joy.、Matinpour、 Babak.、Chakraborty、 Sudipto.、 出版社:Hoboken, N.J. : Wiley-Interscience, c2004.
|  |
0 索取号:TP301-53/E991/17 作者:Symposium on Logic in Computer Science (17th : 2002 : Copenhagen、 Denmark)、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、IEEE Xplore (Online service)、Federated Logic Conference (3rd : 2002 : Copenhagen、 Denmark)、 出版社:Los Alamitos, Calif. : IEEE Computer Society, c2002.
|
 |
0 索取号:TP331.1/E20041.5 作者:Roth、 Charles H.、 出版社:北京 : China Machine Press, 2003.
|  |
0 索取号:TP312/E20049.2 作者:Armstrong、 James R.、 1939-、Gray、 F. Gail.、Armstrong、 James R.、 1939- Structured logic design with VHDL.、 出版社:北京 : China Machine Press, 2003.
|
 |
0 索取号:C93/E20045 作者:Carlsson、 C. (Christer)、 1946-、Fedrizzi、 Mario、 1949-、Full·Œr Robert、 1958-、 出版社:Boston : Kluwer Academic, c2004.
|  |
0 索取号:TN43-532/E20041/2001 作者: 出版社:Boston, MA : Birkhauser Verlag, 2003.
|
 |
0 索取号:TN911.4/E20041 作者:Mehrotra、 Amit.、Sangiovanni-Vincentelli、 Alberto.、 出版社:Boston : Kluwer Academic, c2004.
|  |
0 索取号:TP302/E20041 作者:Lemieux、 Guy.、Lewis、 David.、 出版社:Boston : Kluwer Academic, c2004.
|
 |
0 索取号:TN431.2/E20041 作者:Mezhiba、 Andrey V.、Friedman、 Eby G.、 出版社:Boston : Kluwer Academic Publishers, c2004.
|  |
0 索取号:TN491/E20041 作者:Zimmermann、 Horst、 1957-、 出版社:Berlin ; New York : Springer, c2004.
|
 |
0 索取号:TN0/E20041.6 作者:Floyd、 Thomas L.、 出版社:Upper Saddle River, N.J. : Pearson/Prentice Hall, c2004.
|  |
0 索取号:D082/E20041 作者:Heinze、 Eric.、 出版社:London ; New York : Routledge, 2003.
|
 |
0 索取号:009883 作者:Nilsson、 James William.、Riedel、 Susan A.、 出版社:北京 : 科学出版社, 2003.
|  |
0 索取号:TM13/E991.6-2 作者:Nilsson、 James William.、Riedel、 Susan A.、 出版社:北京 : 科学出版社, 2003.
|
 |
0 索取号:TM571.61/E20041 作者:Hackworth、 John R.、Hackworth、 Frederick D.、 出版社:Upper Saddle River, N.J. : Pearson/Prentice Hall, c2004.
|  |
0 索取号:TP18/E20042 作者:Buckley、 James J.、 1936-、Eslami、 Esfandiar、 1954-、 出版社:Heidelberg ; New York : Physica-Verlag, c2002.
|